一個黎曼面
上的
維Yang-mills理論的作用量為:
這是一個關於聯絡的泛函,其中的
為常數通常稱為規範耦合常數,
為
上的度規,
為黎曼面上的測度。當
時,相應的Yang-mills理論是嚴格可解的。在2維的情況下,上面的作用量僅僅只和測度
有關。這是因為如果
是定向的黎曼面,那麼
上的度規
給出了一個體積形式
,此時我們可以定義一個
值的0-形式
使得
,而當黎曼面
未定向時,體積形式
未必存在,但是我們仍然可以給出一個取值在一個結構群為
的1維線叢:定向叢
上的2-形式
,這個時候我們仍然可以寫出
其中的
為
上的
值的截面。於是作用量
變成:
即2維情況下,定義在黎曼面
上的Yang-mills理論僅僅依賴於測度而與度規無關,這一特性使得作用量
在標度變換
下保持不變。在量子理論中,我們關心的是與作用量
對應的配分函式:
其中的
為整個黎曼面的面積。除了上面的標度不變性之外,黎曼面上的2D Yang-mills理論也是一個超可重整性的理論。要說明這一點,假設我們在作用量中引入如下的兩個counterterm:
其中第二項依賴於黎曼面的幾何特徵,而第三項中的積分為黎曼面的尤拉示性數依賴於黎曼面的拓撲特徵,那麼在不同的正規化條件下就會有不同的引數
。在引入counterterm的情況下,配分函式就有:
由於理論本身應當保持原本具有的標度不變性,所以就必須有:
是和
無關的常數,這就說明該理論本身是超可重整化的。因此通常情況下,我們不需要考慮不同的正規化方法對於黎曼面上的2D Yang-mills理論的影響,只有當規範耦合常數
的時候,這個時候引入counterterm的作用量滿足:
此時對於正規化方法的選擇將會對配分函式產生影響。
考慮一個如下的新的作用量
該作用量對應的配分函式為:
利用高斯積分
可以得到該作用量對應的配分函式與黎曼面上2D Yang-mills理論的配分函式相等:
因此在量子層面上,我們可以認為這兩個理論描述是一樣的。採用(1。1)式的作用量的好處在於,當規範耦合常數
時,作用量(1。1)的形式為:
相應的配分函式為
這個時候整個理論為拓撲不變的,作用量
和相應的配分函式中都不再出現測度項。作用量
式稱為一個BF理論,它是一個拓撲場論,它可以視為3維中的Chern-Simons理論在邊界緊化下的結果。考慮一個定向的三維流形
,
為
上的
主叢。那麼給定一個
取值的1-形式聯絡
,Chern-Simons理論的作用量為:
現在給出定義在黎曼面
上的邊界緊化
其中的
用引數
來表徵。令
為
上
取值的0-形式,1-形式,對映
那麼在
分解式
下,作用量(1。4)約化為:
這與作用量
僅僅差了一個常數因子。由於BF理論是一個拓撲場論,所以作用量
對應的配分函式是一個拓撲不變數。我們現在使用
規範固定的方法來計算該配分函式。引入如下的
取值0-形式
及相應的
變換律:
相應規範固定項
局域的定義在場函式空間模掉規範變換之後的空間上,因此對於任意的聯絡
,取規範固定項為:
那麼上式關於
的變分得到的EL方程為:
此時在規範固定下的配分函式表示式為:
前面的
可以理解為歸一化因子。這裡的
都是取值在
上的0-形式。為了計算式子(1。8),先對
進行積分,得到:
注意前面的BRST規範固定是區域性定義的,所以方程:
將所有
上的聯絡所構成的空間
的空間區域性的劃分成平坦聯絡的模空間
。而(1。9)式中對
積分的計算需要用到一個事實:如果
是一個光滑對映,僅僅在原點處具有非退化的孤立零點,那麼我們有:
這裡de
為對映
在零點附近將對映
線性化的算符。而對於
的積分是高斯型積分,因此其結果為相應的橢圓算符
的算符行列式。現在需要討論平坦聯絡方程(1。10)的解對於整個(1。9)式計算結果的影響。方程
的線性化版本為:
如果
為方程
的孤立解,那麼應用(1。11)的結果,對
式最終結果就為:
上式中出現的橢圓算符算符行列式的組合在數學上稱為對平坦聯絡
的analytic torsion這是數學上的一個拓撲不變數。(不像上同調/同調之類的,這個小可愛都沒有一個合適的中文翻譯(@‘^’@)在更一般的情況下,
不是方程
的孤立解,那麼此時方程
的解構成了一個向量空間,且該向量空間同構於
,此時
應當分解為
,
為
的正交補,因此相應的
式最終結果就為:
由於
,而在黎曼面
可定向時,
和
的譜是相同的,所以在黎曼面
可定向時,
和
式的結果都僅僅只剩下
。
現在回到對於2D Yang-mills理論的討論中,類似於對BF理論的討論,我們的重點是計算配分函式式
。為了計算的方便,這裡取
。這裡我們將採用所謂的“剪下-貼上法”來計算
式。在函式空間
上計算路徑積分時,一個常用的方法是對函式
進行截斷使之成為某個有限
維空間,隨後在令
並最終得到與截斷方式無關的結果。在2D Yang-mills理論中,這一截斷可以透過“格點規範場論”的方式來實現。我們將黎曼面
用多邊形來覆蓋,而
上的
主叢
則成為包含了多邊形邊緣的有限集
。此時的格點規範變換為
到
的對映,也就是對於每一個
都對應於一個
。在此基礎上引入,格點規範場論中的聯絡:對於以
和
為頂點的邊緣
都對應於一個
中的元素
並將其視為把頂點
變換為
的沿著多項式邊緣的parallel transport。並且在規範變換下,格點規範場論中的聯絡的變換規律為:
。這正是Yang-mills理論的格點規範場版本。
格點規範場的示意圖
在任意維度中,都可以用這樣的方法來近似計算Yang-mills理論的配分函式和可觀測量,而2維的情況特殊的地方在於2維情況下無論對格點進行怎樣的切割與劃分,配分函式都不會變化。在格點化的情況下,配分函式的表示式變為:
其中的
為一塊塊多邊形。對於每一塊
都對應於一個
使得
對於給定的多邊形
,它由邊緣
所決定,每一個邊緣
都對應於一個格點規範聯絡
,於是在該多邊形上規範不變數為環繞整個多邊型的和樂
一塊小多邊形及其邊緣上的聯絡
更確切的說,對於每一個
其在規範變換下的等價類都是一個規範不變數。於是對於每一個和樂的規範等價類
,都有一個區域性的因子:
這裡的下標是對
在李群
上所有同構的表示類進行求和,
為相應表示類的特徵標,
為
上表示類的卡西米爾算符。那麼在給定黎曼面
上的一個覆蓋
之後,配分函式
式的格點規範近似為:
其中的
為群
上的哈爾測度。要證明配分函式
式與格點的劃分方式無關,只需要證明區域性因子
式與格點的劃分方式無關。為此考慮下面的一個正方形的情況:
對於前者四個頂點正方形,相應的區域性因子為:
現在把該正方形切割成帶有公共邊的兩個三角形,於是對於兩個三角形區域就有:
要證明
就相當於證明
。但是該積分式是恆成立的,因為在群
上,有基本的正交性關係:
這就證明了黎曼面2D Yang-mills理論在格點規範近似下與格點的劃分方式無關。基於上面的敘述我們最終得到:
這就是定義在虧格為
的黎曼面
上的2D Yang-mills理論的配分函式
上一節中我們用的是格點規範場論近似的計算方法,不是特別能夠體現出“剪下-貼上”在黎曼面2D Yang-mills理論配分函式中的應用,因此本節將運用一個新的框架來敘述。考慮一個如下左圖所示的封閉曲面
,當沿著其上一條閉曲線
對
進行切割時該曲面分成面積分別為
和
的兩個曲面
和
。如果用1維單形對閉曲線
進行覆蓋時,在格點規範場論的框架中這相當於對
賦予了一個群元素
,而其他的群元素
,
則與
和
上的邊緣相關。
圖示為對封閉曲面\Sigma沿著封閉曲線進行切割的示意圖
於是在
給定的情況下可以對變數
和
進行積分,這兩個積分定義了關於
的函式:
利用特徵標的運算性質可以得到:
以及
於是當我們反過來沿著邊緣
把兩個區域
和
拼接起來時,相應的就相當於固定群元素
把兩個函式拼接起來,得到的總的配分函式也因此就為:
在此基礎上可以自然的引入通常量子理論中的希爾伯特空間描述:群
上的無窮維類函式關於如下的內積
構成希爾伯特空間
,對於其中的兩個元素
配分函式定義為
於是自然的在量子理論希爾伯特空間框架的描述下,就有:
其中第二行的公式如果用路徑積分形式寫出來的話,其實就相當於用兩者共同的邊界元來展開,其中的具體表達式含義即為:
這相當於是一個區域性的路徑積分。那麼按照這樣子的希爾伯特空間
框架,不難證明在最一般的情況下對整個黎曼面
按照多個不同的閉合曲線進行分割時,其上的區域性路徑積分為:
最後在把這些區域性路徑積分按照閉合曲線逐步拼回來後,整個黎曼面上的配分函式就是
該式實際上正是前一節的
式,由此也可以看得出來黎曼面上2D Yang-mills理論配分函式計算和曲面用格點/曲線分割的方式無關。
事實上面這種希爾伯特空間框架可以被推廣到一般情況下的Yang-mills理論。在
維的Yang-mills理論中,它們的希爾伯特空間為
總是和一個帶有
主叢
的
維流形
相聯絡,其中的
為
上所有的聯絡構成的空間而
。
一般情況下把曲面\Sigma沿著不同的閉曲線C_i進行切割的示意圖。透過賦予每個C_i一個表示\alpha_i的方式,我們可以對\Sigma切割後的得到的每一個小塊進行區域性的路徑積分計算並最終再拼湊黏合回來得到整個曲面\Sigma本身的路徑積分,這就是所謂的“剪下-貼上”法。
更進一步地,因為
維Yang-mills理論的拉氏量在保持面積的微分同胚對映群的作用下保持不變,並且對於每一條
上的閉合曲線
,
大的每一個微分同態都是
鄰域中的一個保持面積的微分同態的限制限制,所以從形式推理上不難得知
的微分同胚對映群
會作用在希爾伯特空間
上。而
作用的具體作用也不難得出,對於保持定向的微分同胚會保持環繞
的和樂
不變,從而它對函式
的作用相當於是
上的恆等變換;另外一方面對於逆轉定向的微分同胚則會將環繞
的和樂
對映為
從而它對函式
的作用是把
對映為
。這樣子一來,在給定出
上的基:特徵標
就可以具體的把保持定向的同胚對映和逆轉定向的同胚對映兩者的不同作用寫成算符,並因此得到可觀測量,最後只需要仿照本節前面的內容便能逐步建立起完整的量子理論體系。這也是“剪下-貼上法”的真正實質:把希爾伯特空間的構造同流形上沿著閉合曲線的分割得到的邊緣和子流形聯絡起來。
實際上黎曼面上2D Yang-mills理論中的配分函式與特定模空間上的體積公式有著十分深刻聯絡,在這篇文章的最後一節中我們來著重分析這一點。為此考慮一個帶若干個洞的黎曼面
,其上的洞的邊界由閉曲線
所給出,環繞每個閉曲線
的和樂記為
,現在給定規範群
的一個表示
,那麼根據前面的討論,每一個區域性的路徑積分為:
現在假設我們已經根據上一節最後的內容給出了希爾伯特空間的構造,那麼對於其上一般的態矢
,
是具有Delta函式支撐的定義在群
表示共軛類上的類函式,滿足:
於是區域性路徑積分用一般態矢來表達的話,就是
把所有的區域性路徑積分粘合起來,我們便得到
上的配分函式為:
現在暫時將上面經過簡單計算得到的結果放到一邊。對於黎曼面
上平坦的
主叢的模空間
,當其上給定了一個復結構以後,
可以被視為
上的全純叢
的模空間。全純叢
上自然的帶有一個辛結構
上的第一陳類由關於上述辛結構的de Rham cohomology來給出。Verlinde曾經給出了共形場論中conformal blocks所組成的空間的維數公式,這一公式可以寫成:
其中這裡的求和指標
遍歷
階環路群
的所有最大權可積表示,
則是出現在這些表示中的矩陣。對於
的情況下,
的所有可積表示的維度為
,對於某個
的
維可積表示,有:
那麼根據Verlinde公式就有:
當
遠遠大於
的情況下時,上面的式子有如下的近似行為:
而另外一方面,根據Riemann-Roch公式,我們有:
這裡的
是Todd類,在
的值很大的情況下上面的式為:
由於第一陳類
是透過辛結構
的de Rham cohomology來表示的,所以式
的右邊剛好給出的是模空間
的體積
,聯立
和
式我們得到:
這正是
情況下模空間的體積公式。如果把
式和
式以及
式進行比較的話可以發現,
時,黎曼面上2D Yang-mills理論的配分函式可以寫成
上面模空間體積的公式則可以表達為:
其中的2來自於群
中心的維數,
則來自於
定義配分函式時的重整化條件。在更一般的情況下,令
為帶有固定點
的虧格為
的黎曼面,令
為
中相應的共軛類。令
為
上平坦聯絡的模空間,其中環繞
的和樂是在
的共軛類中。此時Verlinde公式為:
其中
,仿照上面的計算過程我們得到:
剩下的繼續仿照前面的計算過程便得到:
利用
的
維表示的特徵標公式
於是此時
情況下的2D Yang-mills理論中的配分函式為
那麼配分函式與模空間體積之間的關係為:
這裡的
為某些類函式,這與前面的關係式也是剛好相符合的。