幾何朗蘭茲綱領(geometric Langlands program)是由數論中的朗蘭茲綱領陳述在代數曲線的函數域上而得到的一系列猜想與結論。它聯繫了代數幾何、表示論與量子場論,並對這些學科都產生了深遠的影響。在定義於有限域的代數曲線上證明朗蘭茲綱領的想法出自於德林費爾德對
情形的證明。洛朗·拉福格推廣了他的技巧,給出了
情形的證明[1],而後樊尚·拉福格給出了對於一般約化群
的自守形式的伽羅華分解[2]。另一方面,柏林森與德林費爾德提出了特徵為零的代數曲線上的朗蘭茲綱領,並運用無窮維李代數的表示論構造了赫克特徵
-模[3]。阿林金與蓋茨哥利根據他們的構造提出了範疇化幾何朗蘭茲綱領,將伽羅華表示與自守形式之間的關係解釋為兩個無窮範疇的等價關係[4]。卡普斯汀與愛德華·威滕將黎曼曲面上的幾何朗蘭茲綱領解釋為量子場論的S-對偶性[5]。
基本想法 [編輯]
根據安德烈·韋伊的想法,數域與黎曼曲面的函數域之間有密切的關係,而定義於有限域
上的代數曲線與兩者都有相似之處。在數域上困難的命題,往往可以在代數曲線、甚至黎曼曲面上陳述並給出證明。幾何朗蘭茲綱領可以視為數域上的朗蘭茲綱領在代數曲線上的表述。
若給定數域
和約化群
,則自守形式是
上滿足特定性質的函數(這裏,
指的是
的賦值向量環)。朗蘭茲綱領的目標是把自守形式聯繫到伽羅華群
在對偶群
中取值的表示。在定義於
的代數曲線
上,(不分歧的)自守形式應當理解為定義於
-主叢構成的模空間
的有理點上的
-值函數,而伽羅華表示應當理解為
的平展基本群
到
的映射。
有限域上的幾何朗蘭茲綱領[編輯]
考慮定義在
上的光滑、射影、幾何連通的代數曲線
。
幾何類域論[編輯]
在
的情形下,朗蘭茲綱領等價於類域論。後者指的是一個拓撲群的同態,稱作阿廷互反律(Artin reciprocity):
。
這裏,
是曲線
的平展基本群,
是它的阿貝爾化。阿廷互反律在投射有限化後會成為同構。不嚴格地說,幾何類域論所表達的現象是
內所有的關係都由
上的亞純函數給出。
我們現在解釋德利涅構造阿廷互反律的方法。首先,通過格羅滕迪克的faisceaux-fonctions對應,若給定概形
上的一個平展
-層,則在每一個
點上,我們可以取弗羅貝尼烏斯自同構的跡而得到一個
-值,這樣就能構造
上的一個函數。另一方面,一個映射
可以視為
上的光滑
-層
。所以,給定
,如果我們可以構造
上的一個一階平展
-層(且滿足一定性質),那麼通過取跡,我們就能構造
的拓撲對偶:
。
這個方法幾何化了阿廷互反律。通過取
的交換積,並使用阿貝爾-雅可比映射的性質,德利涅解決了這個幾何問題。
一般約化群的情形[編輯]
在一般約化群的情形下,現在最強的定理由樊尚·拉福格給出,它描述了尖點自守形式的向量空間按伽羅華參量的正交分解:
。
在
的情形下,上述正交分解由德林費爾德和洛朗·拉福格給出,並且構成了從尖點自守表示到伽羅華表示的一一對應。樊尚·拉福格的定理並不能用來證明朗蘭茲所預測的一一對應,所以可以被視為「自守-到-伽羅華」單方面的結果。
我們現在解釋上述分解中各項的含義。首先,
是代數曲線
的函數域,
是它的賦值向量環。我們取
的一個有限子概形
;這是我們考慮的自守形式和伽羅華表示允許分歧的位置。假定
是定義在
上的分解可約群(split reductive group),設
為
的核,
為由
的中心(center)引出的拓撲群
中的格(lattice)。左側的含義是定義在
上滿足尖點性質的
-值緊支撐函數。右側的下標是伽羅華表示
(滿足如下性質:定義在一個有限擴張
、連續、半單(semisimple)、且在
外非分歧)的共軛類。樊尚·拉福格的正交分解可以推廣到
不分解(non-split)的情形,以及元辛(metaplectic)的情形
。
在證明這個分解中,拉福格使用的主要工具是幾何佐武同構和德林費爾德的штука。他運用佐武同構構造了一個作用在自守形式上的交換代數
,其元素稱為遠足算符(excursion operator)。不嚴格地說,
可以被視為伽羅華表示所構成的模空間上的結構層,所以每個伽羅華表示都呈現於他們的共同特徵值;上述分解即是向量空間
關於
-作用的特徵分解。
-進赫克特徵層[編輯]
德利涅對幾何類域論的證明啟發了一個更強的「伽羅華-到-自守」的幾何問題:給定一個
-值的伽羅華表示
,是否能構造一個對應於
的、定義在代數棧
上的
-層
?為了表述這個對應關係,我們要求
滿足以
為特徵值的赫克特徵條件。
在
的情形下,這個構造由弗蘭克爾-蓋茨哥利-維羅寧給出。它基於一個消滅猜想(vanishing conjecture)。在有限域的情形下,這個消滅猜想可以從洛朗·拉福格的工作中得出。2004年,蓋茨哥利給出了消滅猜想的單獨證明,從而將赫克特徵層的構造推廣到任意域的情形。
零特徵域上的幾何朗蘭茲綱領 [編輯]
設
是一個特徵為零的代數閉域,並考慮定義在
上的光滑、射影代數曲線
。這一情形下的幾何朗蘭茲綱領與無窮維李代數的表示論和共形場論密切相關。在零特徵域的情形下,自守形式由代數棧
上的
-模取代。因為弗洛貝尼烏斯同態的缺失,層與函數之間不再具有直接關係,所以零特徵域上的朗蘭茲綱領不能直接用來獲得「古典」信息。
希欽系統的量子化[編輯]
希欽系統誕生于于微分幾何學家奈傑爾·希欽對希格斯場(Higgs field)的研究。他發現由希格斯場構成的模空間上有一個完全可積系統。在代數幾何的觀點下,希格斯場的模空間可以理解為
的餘切空間
。這一空間具有射向一個向量概形
的映射:
。
而希欽系統由
上函數的拉回給出。柏林森與德林費爾德提出了這一可積系統的量子化。對於半單群
,他們證明了如下結論:若給定一個
上具有oper結構的局部系統
,則在
上存在一個以
為特徵值的赫克特徵
-模
。
範疇化幾何朗蘭茲綱領[編輯]
範疇化幾何朗蘭茲綱領(categorical geometric Langlands program)由阿林金與蓋茨哥利提出。它有兩個分支:局部與全局,且兩者都具有量子形變。全局的朗蘭茲綱領描述了兩個無窮範疇間的等價關係。設
為
上的約化群,
為它的朗蘭茲對偶群。我們可以構造兩個代數棧:
-主叢構成的模空間
;
-局部系統構成的模空間
。
範疇化幾何朗蘭茲綱領猜想如下的無窮範疇等價:
。
這裏,自守形式方面的範疇由
上的
-模構成,而伽羅華方面的範疇需要一些額外的解釋。首先,
指的是一個代數棧
上的歸納凝聚層。若
是擬光滑的,則它具有一個奇點棧
,並且任意一個
上的歸納凝聚層
都有一個奇支撐
,是
上的一個錐形閉子集。阿林金與蓋茨哥利證明
是擬光滑的,並且描述了
中的一個閉子集
,稱為全局冪零錐(global nilpotent cone)。在上述等價中,伽羅華方面的範疇
指的是
中由奇支撐屬於
的歸納凝聚層構成的完全子範疇。伽羅華方面冪零錐的出現可以理解為數論中亞瑟參量的幾何體現。上述無窮範疇間的等價可以用來實現赫克特徵
-模的構造;對於任意一個
上的
-局部系統
,它對應於
上的一個skyscraper層,於是它在
下的像即是以
為特徵值的赫克特徵
-模。
在
時,上述等價關係即是傅立葉-向井-洛蒙變換。在
的情形下,蓋茨哥利給出了上述等價關係的證明題綱[6]。範疇化幾何朗蘭茲的研究在很大程度上需要依靠導出代數幾何的工具。
量子幾何朗蘭茲綱領[編輯]
為了描述全局幾何朗蘭茲綱領的量子形變,需要引入帶旋
-模 (twisted D-module)的概念。對於一個光滑的代數簇
,一個帶旋
-算子是一個帶有
流 (filtration)的結合代數層,其關聯有次代數與
的切叢
所生成的對稱代數作為泊松代數同構。該代數的模稱為帶旋
-模。這一定義可以拓張到任何光滑代數棧。[3]
為了說明的簡便,在本節中我們限制
是一個單群,並引入以下記號:
是
所對應的李代數;
是
的對偶考克斯特數(dual Coxeter number);
是
的帶數(lacing number),亦即其登金圖中相鄰兩頂點間最大的邊數;
- 對於任何
,令
。
在這種情況下,對於每一個
(對應於
所對應的仿射李代數的一個中心擴張),存在一個
上的帶旋
-算子
,對應於
到自身的微分算子,其中
是
上的自帶的行列式線叢。其對應的帶旋
-模範疇記作
。
在柏林森與德林費爾德對量子化希欽系統的研究中,赫克特徵
-模自然處於的範疇是對應於臨界值(critical level)
(對應於
)的
-模範疇,而該範疇與
的範疇(亦即上文中的
)等價。而另一方面,伽羅華側的對象
的某種近似
與
在
時同構。這自然地引出幾何朗蘭茲綱領是否可以沿着
的方向形變的問題。量子全局幾何朗蘭茲綱領[7]猜想如下的無窮範疇等價:
。
這一猜想亦隱式地出現於卡普斯汀與威滕對於幾何朗蘭茲綱領的物理詮釋中。[5]
- ^ Séminaire Bourbaki, La correspondence de Langlands sur les corps de fonctions
- ^ Lafforgue, V., Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale
- ^ 3.0 3.1 Beilinson, A., and Drinfel'd, V., "Quantization of Hitchin's integrable system and Hecke eigensheaves" (頁面存檔備份,存於互聯網檔案館)
- ^ Arinkin, D., and Gaitsgory, D., "Singular support of coherent sheaves, and the geometric Langlands conjecture" (頁面存檔備份,存於互聯網檔案館)
- ^ 5.0 5.1 Kapustin, A., and Witten, E., Electric-Magnetic Duality And The Geometric Langlands Program
- ^ Gaitsgory, D., "Outline of the proof of the geometric Langlands conjecture for GL(2)" (頁面存檔備份,存於互聯網檔案館)
- ^ Gaitsgory, D., "Quantum Langlands Correspondence" (頁面存檔備份,存於互聯網檔案館)