我的學習群裡全是真大佬 第210章

作者:胖胖的小橘

第213章 沒有被標準答案汙染過

  PDF的第一頁乾淨利落。

  標題:【四維緊緻歐幾里得流形上SU(N)規範場手徵反常的一個完整推導】

  然後開篇直接引理開場。

  “引理1:設D為作用在四維緊緻歐幾里得流形M上的SU(N)規範場耦合Dirac咚阍瑒t其本徵函式系{φn}構成作用在Dirac旋量叢截面上的一組完備正交基。”

  周啟峰默默點了一下頭。

  規範,沒毛病。

  他把費米子場按Dirac咚阍谋踞绾较狄粋一個展開,然後盯著測度在手徵變換下的變化去推雅可比行列式。

  這個思路本身並不新鮮。

  但周啟峰注意到的是……

  李東在寫到“此和式發散,需作正則化”的時候,他用的是熱核方法做高斯截斷。

  A(x)=lim(M→∞)tr[γ5e^(-D2/M2)]

  這一步,他處理得相當老練。

  然後他直接把D2的熱核展開搬了出來,非常乾淨利落地告訴你。

  由於tr(γ5)在維度不夠高的時候直接為零,所以只有a2(x)這一項才能留下來。

  整個求跡的過程一點都不黏糊,連中間幾步很容易繞暈的符號問題都處理得相當乾淨。

  最後直接推出了:

  ?_μj_5^μ=[g2/(16π2)]tr(F_μνF^μν)

  周啟峰盯著這頁整整看了兩分鐘,然後輕輕地“嗯”了一聲。

  “這小子的熱核正則化處理,比我想象中乾淨得多。”

  他甚至發現……

  李東在熱核展開的時候,用的那個中間換元技巧,跟自己當年在普林斯頓做博士後時跟一位老教授學的那一手有點相似。

  但又不完全一樣。

  李東的那一手,更直接,也更……自然。

  像是一個完全沒受過傳統教材汙染的人,自己從頭把這條路走了一遍。

  “有點意思。”

  周啟峰繼續往下翻。

  第二問是整道題裡最嚇人的那一問。

  它要求把手徵反常的積分和Atiyah-Singer指標定理給掛上鉤。

  指標定理這玩意兒,是二十世紀數學界最深刻的成就之一。

  你要用得順手,首先得懂纖維叢,懂陳-韋伊同態,懂示性類,懂橢圓咚阍淖V理論。

  每一個都是研究生得啃一兩年的東西。

  周啟峰以為李東會老老實實地沿著教科書上的標準套路,先寫陳-韋伊,再寫陳特徵,再把Agenus一個一個算出來,最後對齊到指標公式上去。

  結果他翻開第二問的第一頁,就愣住了。

  李東並沒有這麼做。

  而是上來就構造了一組和規範叢主聯絡相適配的“截斷流”,然後把熱核展開的那一套,從第一問一路延伸到了拓撲一側。

  然後把第一問裡推出來的那個tr(F∧F)拉回到了熱核裡,沿著熱核隨時間的演化行為,一步一步地把拓撲不變數從分析側反推了出來。

  整個過程沒有提一次“陳-韋伊同態”這六個字。

  但是他用的每一步,其實都在悄悄地復刻陳-韋伊同態的精神。

  周啟峰看到這一步的時候只感覺憋的慌,原來他剛才忘了呼吸了。

  不是因為有多驚豔。

  而是他突然意識到……

  這小子不是在做這道題。

  他是在“重新發現”這道題背後的結構。

  換句話說,他可能根本就沒系統學過指標定理的標準證明,所以他壓根不知道教科書上是怎麼處理這一步的。

  他只能靠著手裡現成的工具,從頭把這條路自己走出來。

  結果呢……

  他走出來的這條路,比教科書上的那條路要短。

  周啟峰在心裡默默地把李東和自己的那條思路做了個對比。

  自己的是:纖維叢、聯絡、陳類……,一層一層搭上去,穩是穩,但複雜得讓人頭皮發麻。

  說人話就是比較蠢萌蠢萌的……

  而李東這邊呢……

  從熱核出發,一路順水推舟,直接從分析側滑到了拓撲側,中間只用了兩個輔助引理。

  哪一條更漂亮?

  周啟峰是一個搞學術的人,他不會因為自己熟悉哪一條就說哪一條漂亮。

  他會老老實實地承認,李東的這條路更漂亮,也更有靈性。

  “這思路很不錯……”

  他下意識的想摸一支新的煙,但伸到一半又停住了。

  他不想在看這份稿子的時候分神。

  於是他繼續往下翻。

  ……

  第三問是他自己的主場。

  重整化。

  量子場論裡這一塊的水有多深,他比誰都清楚。

  要把Adler-Bardeen定理講明白,也就要說清楚“為什麼手徵反常的係數在所有微擾階都精確成立”。

  /p

  你不但要對單圈精確這個結論本身有感覺,你還得能從重整化群流的結構上給出一個讓人信服的論證。

  這是一道既考數學、又考物理直覺、還考對整個量子場論框架全域性理解的題。

  周啟峰原本以為李東如果真能把前兩問寫完,第三問大機率也會寫得比較虛。

  無非就是從一些教材裡摘一點對話式的論述,然後加一些因此可以看到、顯然之類的萬金油詞。

  結果……

  他上來就寫了一句話:

  “反常的本質,是路徑積分測度在手徵變換下產生的非平凡雅可比行列式,它的來源是幾何的,而非動力學的。”

  然後他從這句話出發,做了一個看起來非常大膽的切入……

  他把反常係數的來源從動力學層面徹底剝離,挪到了測度的幾何層面。

  他接下來做的所有推導,都是圍繞這一句話展開的。

  既然反常係數是幾何的產物,那它就必然和那個被指標定理保護住的整數拓撲不變數捆綁在一起。

  而整數拓撲不變數是在連續形變下不能被改變的。

  那麼……

  任何微擾修正,只要它是連續的,就不可能去改動這個整數。

  所以反常係數必然是單圈精確的。

  周啟峰看到這裡的時候,他整整沉默了五分鐘。

  這個切入角度,他見過。

  但但凡用這個切入角度的人,一般都是那種在量子場論這條路上浸淫了十幾二十年的老手。

  這種人是因為見得多了,才會把動力學這一面和幾何這一面看穿,才會知道反常這東西,根本就不在動力學那一側。

  可李東是一個大一的本科生。

  他前一陣子還在數學圈裡亂殺。

  他怎麼可能對量子場論的這一層幾何直覺有這麼精準的把握?

  周啟峰一時間甚至產生了一種很荒謬的感覺……

  這不像是一個十九歲的本科生的思路。

  反而更像是一個在量子場論領域拔尖的老教授的想法。

  周啟峰深吸了一口氣。

  他自己能不能想到這個思路?

  他承認,如果給他足夠的時間,他大概能想到其中的一條。

  但是讓他在三天之內把這三條思路全部打通、全部寫成一份乾淨的十七頁推導稿?

  絕對不可能。

  不是他做不了,是他壓根就不會朝這個方向去想。

  周啟峰呆呆地坐在椅子上……

  書房外,他的小女兒在客廳裡喊了一聲:“爸,吃飯啦!”

  他下意識地回了一句:“你們先吃,我等會兒。”

第214章 閉門會

  隨後周啟峰又把這份PDF又從頭到尾翻了一遍。

  翻到一半,他就停下來了。

  他開啟自己的郵箱,新建了一封郵件。

  收件人:高元林。

  附件:一份PDF。

  點選傳送。

  然後他又直接給高元林去了一個電話。

  電話接通得很快。

  那邊似乎在一個很嘈雜的地方,像是什麼飯局。

  “哎喲老周啊,什麼事呀。”

  周啟峰沒有像平時那樣跟老朋友逗兩句嘴。

  “老高。”

  “我不知道該怎麼跟你說。”

  “我把李東做的那道題發你郵箱了。”

  電話那頭明顯愣了一下。

  “誒?”

  “什麼題?”