幾何朗蘭茲綱領

幾何朗蘭茲綱領(geometric Langlands program)是由數論中的朗蘭茲綱領陳述在代數曲線的函式域上而得到的一系列猜想與結論。它聯絡了代數幾何、表示論與量子場論，並對這些學科都產生了深遠的影響。在定義於有限域的代數曲線上證明朗蘭茲綱領的想法出自於德林費爾德對formula_1情形的證明。洛朗·拉福格推廣了他的技巧，給出了formula_2情形的證明，而後樊尚·拉福格給出了對於一般約化群formula_3的自守形式的伽羅華分解。另一方面，柏林森與德林費爾德提出了特徵為零的代數曲線上的朗蘭茲綱領，並運用無窮維李代數的表示論構造了赫克特徵formula_4-模。阿林金與蓋茨哥利根據他們的構造提出了範疇化幾何朗蘭茲綱領，將伽羅華表示與自守形式之間的關係解釋為兩個無窮範疇的等價關係。卡普斯汀與愛德華·威滕將黎曼曲面上的幾何朗蘭茲綱領解釋為量子場論的S-對偶性。基本想法.根據安德烈·韋伊的想法，數域與黎曼曲面的函式域之間有密切的關係，而定義於有限域formula_5上的代數曲線與兩者都有相似之處。在數域上困難的命題，往往可以在代數曲線、甚至黎曼曲面上陳述並給出證明。幾何朗蘭茲綱領可以視為數域上的朗蘭茲綱領在代數曲線上的表述。若給定數域formula_6和約化群formula_3，則自守形式是formula_8上滿足特定性質的函式自守形式應當理解為定義於formula_3-主叢構成的模空間formula_16的有理點上的formula_17-值函式，而伽羅華表示應當理解為formula_14的平展基本群formula_19到formula_20的對映。有限域上的幾何朗蘭茲綱領.考慮定義在formula_5上的光滑、射影、幾何連通的代數曲線formula_14。幾何類域論.在formula_23的情形下，朗蘭茲綱領等價於類域論。後者指的是一個拓撲群的同態，稱作阿廷互反律(Artin reciprocity)：formula_24。這裡，formula_19是曲線formula_14的平展基本群，formula_27是它的阿貝爾化。阿廷互反律在投射有限化後會成為同構。不嚴格地說，幾何類域論所表達的現象是formula_27內所有的關係都由formula_14上的亞純函式給出。我們現在解釋德利涅構造阿廷互反律的方法。首先，透過格羅滕迪克的faisceaux-fonctions對應，若給定概形formula_30上的一個平展formula_17-層，則在每一個formula_5點上，我們可以取弗羅貝尼烏斯自同構的跡而得到一個formula_17-值，這樣就能構造formula_34上的一個函式。另一方面，一個對映formula_35可以視為formula_14上的光滑formula_17-層formula_38。所以，給定formula_38，如果我們可以構造formula_30上的一個一階平展formula_17-層，那麼透過取跡，我們就能構造formula_42的拓撲對偶：formula_43。這個方法幾何化了阿廷互反律。透過取formula_14的交換積，並使用阿貝爾-雅可比對映的性質，德利涅解決了這個幾何問題。一般約化群的情形.在一般約化群的情形下，現在最強的定理由樊尚·拉福格給出，它描述了尖點自守形式的向量空間按伽羅華參量的正交分解：formula_45。在formula_46的情形下，上述正交分解由德林費爾德和洛朗·拉福格給出，並且構成了從尖點自守表示到伽羅華表示的一一對應。樊尚·拉福格的定理並不能用來證明朗蘭茲所預測的一一對應，所以可以被視為“自守-到-伽羅華”單方面的結果。我們現在解釋上述分解中各項的含義。首先，formula_6是代數曲線formula_14的函式域，formula_9是它的賦值向量環。我們取formula_14的一個有限子概形formula_51；這是我們考慮的自守形式和伽羅華表示允許分歧的位置。假定formula_3是定義在formula_6上的分解可約群(split reductive group)，設formula_54為formula_55的核，formula_56為由formula_3的中心(center)引出的拓撲群formula_58中的格(lattice)。左側的含義是定義在formula_59上滿足尖點性質的formula_17-值緊支撐函式。右側的下標是伽羅華表示formula_61的共軛類。樊尚·拉福格的正交分解可以推廣到formula_3不分解(non-split)的情形，以及元辛(metaplectic)的情形formula_65。在證明這個分解中，拉福格使用的主要工具是幾何佐武同構和德林費爾德的штука。他運用佐武同構構造了一個作用在自守形式上的交換代數formula_66，其元素稱為遠足算符(excursion operator)。不嚴格地說，formula_66可以被視為伽羅華表示所構成的模空間上的結構層，所以每個伽羅華表示都呈現於他們的共同特徵值；上述分解即是向量空間formula_68關於formula_66-作用的特徵分解。formula_70-進赫克特徵層.德利涅對幾何類域論的證明啟發了一個更強的“伽羅華-到-自守”的幾何問題：給定一個formula_20-值的伽羅華表示formula_38，是否能構造一個對應於formula_38的、定義在代數棧formula_16上的formula_17-層formula_76？為了表述這個對應關係，我們要求formula_76滿足以formula_38為特徵值的赫克特徵條件。在formula_46的情形下，這個構造由弗蘭克爾-蓋茨哥利-維羅寧給出。它基於一個消滅猜想(vanishing conjecture)。在有限域的情形下，這個消滅猜想可以從洛朗·拉福格的工作中得出。2004年，蓋茨哥利給出了消滅猜想的單獨證明，從而將赫克特徵層的構造推廣到任意域的情形。零特徵域上的幾何朗蘭茲綱領.設formula_80是一個特徵為零的代數閉域，並考慮定義在formula_80上的光滑、射影代數曲線formula_14。這一情形下的幾何朗蘭茲綱領與無窮維李代數的表示論和共形場論密切相關。在零特徵域的情形下，自守形式由代數棧formula_16上的formula_4-模取代。因為弗洛貝尼烏斯同態的缺失，層與函式之間不再具有直接關係，所以零特徵域上的朗蘭茲綱領不能直接用來獲得“古典”資訊。希欽系統的量子化.希欽系統誕生於於微分幾何學家奈傑爾·希欽對希格斯場(Higgs field)的研究。他發現由希格斯場構成的模空間上有一個完全可積系統。在代數幾何的觀點下，希格斯場的模空間可以理解為formula_16的餘切空間formula_86。這一空間具有射向一個向量概形formula_87的對映：formula_88。而希欽系統由formula_87上函式的拉回給出。柏林森與德林費爾德提出了這一可積系統的量子化。對於半單群formula_3，他們證明了如下結論：若給定一個formula_14上具有oper結構的區域性系統formula_92，則在formula_16上存在一個以formula_92為特徵值的赫克特徵formula_4-模formula_96。範疇化幾何朗蘭茲綱領.範疇化幾何朗蘭茲綱領(categorical geometric Langlands program)由阿林金與蓋茨哥利提出。它有兩個分支：區域性與全域性，且兩者都具有量子形變。全域性的朗蘭茲綱領描述了兩個無窮範疇間的等價關係。設formula_3為formula_80上的約化群，formula_99為它的朗蘭茲對偶群。我們可以構造兩個代數棧：範疇化幾何朗蘭茲綱領猜想如下的無窮範疇等價：formula_104。這裡，自守形式方面的範疇由formula_16上的formula_4-模構成，而伽羅華方面的範疇需要一些額外的解釋。首先，formula_107指的是一個代數棧formula_108上的歸納凝聚層。若formula_108是擬光滑的，則它具有一個奇點棧formula_110，並且任意一個formula_108上的歸納凝聚層formula_96都有一個奇支撐formula_113，是formula_110上的一個錐形閉子集。阿林金與蓋茨哥利證明formula_103是擬光滑的，並且描述了formula_116中的一個閉子集formula_117，稱為全域性冪零錐(global nilpotent cone)。在上述等價中，伽羅華方面的範疇formula_118指的是formula_119中由奇支撐屬於formula_117的歸納凝聚層構成的完全子範疇。伽羅華方面冪零錐的出現可以理解為數論中亞瑟參量的幾何體現。上述無窮範疇間的等價可以用來實現赫克特徵formula_4-模的構造；對於任意一個formula_14上的formula_12-區域性系統formula_38，它對應於formula_103上的一個skyscraper層，於是它在formula_126下的像即是以formula_38為特徵值的赫克特徵formula_4-模。在formula_23時，上述等價關係即是傅立葉-向井-洛蒙變換。在formula_130的情形下，蓋茨哥利給出了上述等價關係的證明題綱。範疇化幾何朗蘭茲的研究在很大程度上需要依靠匯出代數幾何的工具。量子幾何朗蘭茲綱領.為了描述全域性幾何朗蘭茲綱領的量子形變，需要引入帶旋formula_4-模 (twisted D-module)的概念。對於一個光滑的代數簇formula_14，一個帶旋formula_4-運算元是一個帶有formula_134 (filtration)的結合代數層，其與formula_14的切叢formula_136所生成的作為泊松代數同構。該代數的模稱為帶旋formula_4-模。這一定義可以拓張到任何光滑代數棧。為了說明的簡便，在本節中我們限制formula_3是一個單群，並引入以下記號：在這種情況下，對於每一個formula_145，存在一個formula_16上的帶旋formula_4-運算元formula_151，對應於formula_152到自身的微分運算元，其中formula_153是formula_16上的自帶的行列式線叢。其對應的帶旋formula_4-模範疇記作formula_156。在柏林森與德林費爾德對量子化希欽系統的研究中，赫克特徵formula_4-模自然處於的範疇是對應於臨界值(critical level) formula_158等價。而另一方面，伽羅華側的物件formula_118的某種"近似"formula_164與formula_165在formula_166時同構。這自然地引出幾何朗蘭茲綱領是否可以沿著formula_167的方向形變的問題。量子全域性幾何朗蘭茲綱領猜想如下的無窮範疇等價：formula_168。這一猜想亦隱式地出現於卡普斯汀與威滕對於幾何朗蘭茲綱領的物理詮釋中。