查看“︁几何朗兰兹纲领”︁的源代码

几何朗兰兹纲领(geometric Langlands program)是由[[数论]]中的[[朗兰兹纲领]]陈述在代数曲线的[[函数域]]上而得到的一系列猜想与结论。它联系了[[代数几何]]、[[表示论]]与[[量子场论]]，并对这些学科都产生了深远的影响。在定义于[[有限域]]的代数曲线上证明朗兰兹纲领的想法出自于[[德林費爾德]]对<math>\mathrm{GL}_2</math>情形的证明。[[洛朗·拉福格]]推广了他的技巧，给出了<math>\mathrm{GL}_n</math>情形的证明<ref>Séminaire Bourbaki, [https://arxiv.org/pdf/math/0003131.pdf, La correspondence de Langlands sur les corps de fonctions]</ref>，而后[[樊尚·拉福格]]给出了对于一般约化群<math>G</math>的自守形式的伽罗华分解<ref>Lafforgue, V., [https://arxiv.org/abs/1209.5352, Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale]</ref>。另一方面，[[柏林森]]与[[德林費爾德]]提出了特征为零的代数曲线上的朗兰兹纲领，并运用无穷维李代数的表示论构造了赫克特征<math>\mathcal D</math>-模<ref name="BD1">Beilinson, A., and Drinfel'd, V., [http://math.uchicago.edu/~drinfeld/langlands/hitchin/BD-hitchin.pdf "Quantization of Hitchin's integrable system and Hecke eigensheaves"] {{Wayback|url=http://math.uchicago.edu/~drinfeld/langlands/hitchin/BD-hitchin.pdf |date=20190618184200 }}</ref>。[[阿林金]]与[[盖茨哥利]]根据他们的构造提出了范畴化几何朗兰兹纲领，将[[伽罗华表示]]与[[自守形式]]之间的关系解释为两个[[无穷范畴]]的等价关系<ref>Arinkin, D., and Gaitsgory, D., [https://arxiv.org/abs/1201.6343 "Singular support of coherent sheaves, and the geometric Langlands conjecture"] {{Wayback|url=https://arxiv.org/abs/1201.6343 |date=20200517011448 }}</ref>。[[卡普斯汀]]与[[爱德华·威滕]]将黎曼曲面上的几何朗兰兹纲领解释为量子场论的[[S-对偶性]]<ref name="KW">Kapustin, A., and Witten, E., [https://arxiv.org/abs/hep-th/0604151, Electric-Magnetic Duality And The Geometric Langlands Program]</ref>。

== 基本想法 ==

根据[[安德烈·韦伊]]的想法，数域与黎曼曲面的函数域之间有密切的关系，而定义于有限域<math>\mathbb F_q</math>上的代数曲线与两者都有相似之处。在数域上困难的命题，往往可以在代数曲线、甚至黎曼曲面上陈述并给出证明。几何朗兰兹纲领可以视为数域上的朗兰兹纲领在代数曲线上的表述。

若给定数域<math>F</math>和约化群<math>G</math>，则自守形式是<math>G(\mathbb A_F)</math>上满足特定性质的函数（这里，<math>\mathbb A_F</math>指的是<math>F</math>的[[賦值向量環]]）。朗兰兹纲领的目标是把自守形式联系到伽罗华群<math>\mathrm{Gal}(\overline F/F)</math>在对偶群<math>\check G</math>中取值的表示。在定义于<math>\mathbb F_q</math>的代数曲线<math>X</math>上，（不分歧的）自守形式应当理解为定义于<math>G</math>-主丛构成的模空间<math>\mathrm{Bun}_G</math>的有理点上的<math>\overline{\mathbb Q}_l</math>-值函数，而伽罗华表示应当理解为<math>X</math>的[[平展基本群]]<math>\pi_1(X)</math>到<math>\check G(\overline{\mathbb Q}_l)</math>的映射。

== 有限域上的几何朗兰兹纲领 ==

考虑定义在<math>\mathbb F_q</math>上的光滑、射影、[[几何连通]]的代数曲线<math>X</math>。

=== 几何类域论 ===

在<math>G = \mathrm{GL}_1</math>的情形下，朗兰兹纲领等价于类域论。后者指的是一个拓扑群的同态，称作'''阿廷互反律'''(Artin reciprocity)：

<math> \theta : \mathrm{Pic}(\mathbb F_q) \rightarrow \pi_1(X)_{\mathrm{ab}}</math>。

这里，<math>\pi_1(X)</math>是曲线<math>X</math>的[[平展基本群]]，<math>\pi_1(X)_{\mathrm{ab}}</math>是它的阿贝尔化。阿廷互反律在投射有限化后会成为同构。不严格地说，几何类域论所表达的现象是<math>\pi_1(X)_{\mathrm{ab}}</math>内所有的关系都由<math>X</math>上的亚纯函数给出。

我们现在解释[[德利涅]]构造阿廷互反律的方法。首先，通过[[格罗滕迪克]]的faisceaux-fonctions对应，若给定概形<math>\mathrm{Pic}</math>上的一个平展<math>\overline{\mathbb Q}_l</math>-层，则在每一个<math>\mathbb F_q</math>点上，我们可以取弗羅貝尼烏斯自同构的迹而得到一个<math>\overline{\mathbb Q}_l</math>-值，这样就能构造<math>\mathrm{Pic}(\mathbb F_q)</math>上的一个函数。另一方面，一个映射<math>\pi_1(X) \rightarrow \overline{\mathbb Q}_l^{\times}</math>可以视为<math>X</math>上的光滑<math>\overline{\mathbb Q}_l</math>-层<math>E</math>。所以，给定<math>E</math>，如果我们可以构造<math>\mathrm{Pic}</math>上的一个一阶平展<math>\overline{\mathbb Q}_l</math>-层（且满足一定性质），那么通过取迹，我们就能构造<math>\theta</math>的拓扑对偶：

<math>\theta^* : \mathrm{Hom}(\pi_1(X), \overline{\mathbb Q}_l^{\times}) \rightarrow \mathrm{Hom}(\mathrm{Pic}(\mathbb F_q), \overline{\mathbb Q}_l^{\times})</math>。

这个方法几何化了阿廷互反律。通过取<math>X</math>的交换积，并使用阿贝尔-雅可比映射的性质，德利涅解决了这个几何问题。

=== 一般约化群的情形 ===

在一般约化群的情形下，现在最强的定理由[[樊尚·拉福格]]给出，它描述了[[尖点自守形式]]的向量空间按伽罗华参量的正交分解：

<math>C_c^{\mathrm{cusp}}(G(F)\backslash G(\mathbb A_F)/K_N\Xi; \overline{\mathbb Q}_l) \xrightarrow{\sim} \bigoplus_{\sigma} \mathfrak{H}_{\sigma}</math>。

在<math>G = \mathrm{GL}_n</math>的情形下，上述正交分解由[[德林费尔德]]和[[洛朗·拉福格]]给出，并且构成了从尖点自守表示到伽罗华表示的一一对应。樊尚·拉福格的定理并不能用来证明朗兰兹所预测的一一对应，所以可以被视为“自守-到-伽罗华”单方面的结果。

我们现在解释上述分解中各项的含义。首先，<math>F</math>是代数曲线<math>X</math>的函数域，<math>\mathbb A_F</math>是它的[[賦值向量環]]。我们取<math>X</math>的一个有限子概形<math>N</math>；这是我们考虑的自守形式和伽罗华表示允许分歧的位置。假定<math>G</math>是定义在<math>F</math>上的分解可约群(split reductive group)，设<math>K_N</math>为<math>G(\mathbb O_F)\rightarrow G(\mathcal O_N)</math>的核，<math>\Xi</math>为由<math>G</math>的中心(center)引出的拓扑群<math>Z(F)\backslash Z(\mathbb A_F)</math>中的格(lattice)。左侧的含义是定义在<math>G(F)\backslash G(\mathbb A_F)/K_N\Xi</math>上满足尖点性质的<math>\overline{\mathbb Q}_l</math>-值紧支撑函数。右侧的下标是伽罗华表示<math>\mathrm{Gal}(\overline F/F)\rightarrow \check G(\overline{\mathbb Q}_l)</math>（满足如下性质：定义在一个有限扩张<math>\mathbb Q_l\subset E</math>、连续、半单(semisimple)、且在<math>N</math>外非分歧）的共轭类。樊尚·拉福格的正交分解可以推广到<math>G</math>不分解(non-split)的情形，以及元辛(metaplectic)的情形<math>\widetilde G</math>。

在证明这个分解中，拉福格使用的主要工具是[[几何佐武同构]]和德林费尔德的[[штука]]。他运用佐武同构构造了一个作用在自守形式上的交换代数<math>\mathcal B</math>，其元素称为'''远足算符'''(excursion operator)。不严格地说，<math>\mathcal B</math>可以被视为伽罗华表示所构成的模空间上的结构层，所以每个伽罗华表示都呈现于他们的共同特征值；上述分解即是向量空间<math>C_c^{\mathrm{cusp}}(G(F)\backslash G(\mathbb A_F)/K_N\Xi; \overline{\mathbb Q}_l)</math>关于<math>\mathcal B</math>-作用的特征分解。

=== <math>\ell</math>-进赫克特征层 ===

德利涅对几何类域论的证明启发了一个更强的“伽罗华-到-自守”的几何问题：给定一个<math>\check G(\overline{\mathbb Q}_l)</math>-值的伽罗华表示<math>E</math>，是否能构造一个对应于<math>E</math>的、定义在代数栈<math>\mathrm{Bun}_G</math>上的<math>\overline{\mathbb Q}_l</math>-层<math>\mathrm{Aut}_E</math>？为了表述这个对应关系，我们要求<math>\mathrm{Aut}_E</math>满足以<math>E</math>为特征值的[[赫克特征条件]]。

在<math>G = \mathrm{GL}_n</math>的情形下，这个构造由[[弗兰克尔]]-[[盖茨哥利]]-[[维罗宁]]给出。它基于一个'''消灭猜想'''(vanishing conjecture)。在有限域的情形下，这个消灭猜想可以从洛朗·拉福格的工作中得出。2004年，盖茨哥利给出了消灭猜想的单独证明，从而将赫克特征层的构造推广到任意域的情形。

== 零特征域上的几何朗兰兹纲领 ==

设<math>k</math>是一个特征为零的代数闭域，并考虑定义在<math>k</math>上的光滑、射影代数曲线<math>X</math>。这一情形下的几何朗兰兹纲领与[[无穷维李代数]]的表示论和[[共形场论]]密切相关。在零特征域的情形下，自守形式由代数栈<math>\mathrm{Bun}_G</math>上的<math>\mathcal D</math>-模取代。因为弗洛贝尼乌斯同态的缺失，层与函数之间不再具有直接关系，所以零特征域上的朗兰兹纲领不能直接用来获得“古典”信息。

=== 希钦系统的量子化 ===

[[希钦系统]]诞生于于微分几何学家[[奈杰尔·希钦]]对希格斯场(Higgs field)的研究。他发现由希格斯场构成的模空间上有一个完全可积系统。在代数几何的观点下，希格斯场的模空间可以理解为<math>\mathrm{Bun}_G</math>的余切空间<math>T^*\mathrm{Bun}_G</math>。这一空间具有射向一个向量概形<math>\mathrm{Hitch}_G</math>的映射：

<math> h: T^*\mathrm{Bun}_G \rightarrow \mathrm{Hitch}_G </math>。

而希钦系统由<math>\mathrm{Hitch}_G</math>上函数的拉回给出。[[柏林森]]与[[德林費爾德]]提出了这一可积系统的量子化。对于[[半单群]]<math>G</math>，他们证明了如下结论：若给定一个<math>X</math>上具有[[oper结构]]的局部系统<math>\mathcal E</math>，则在<math>\mathrm{Bun}_G</math>上存在一个以<math>\mathcal E</math>为特征值的赫克特征<math>\mathcal D</math>-模<math>\mathcal F</math>。

=== 范畴化几何朗兰兹纲领 ===
范畴化几何朗兰兹纲领(categorical geometric Langlands program)由[[阿林金]]与[[盖茨哥利]]提出。它有两个分支：局部与全局，且两者都具有量子形变。全局的朗兰兹纲领描述了两个[[无穷范畴]]间的等价关系。设<math>G</math>为<math>k</math>上的约化群，<math>\check{G}</math>为它的朗兰兹对偶群。我们可以构造两个[[代数栈]]：
* <math>G</math>-主丛构成的模空间 <math>\mathrm{Bun}_G</math>；
* <math>\check G</math>-局部系统构成的模空间 <math>\mathrm{LocSys}_{\check G}</math>。

范畴化几何朗兰兹纲领猜想如下的无穷范畴等价：

<math>\mathbb L_G : \mathcal D\text{-}\mathrm{Mod}(\mathrm{Bun}_G) \xrightarrow{\sim} \mathrm{IndCoh}_{\mathrm{Nilp}}(\mathrm{LocSys}_{\check G})</math>。

这里，[[自守形式]]方面的范畴由<math>\mathrm{Bun}_G</math>上的<math>\mathcal D</math>-模构成，而伽罗华方面的范畴需要一些额外的解释。首先，<math>\mathrm{IndCoh}(Y)</math>指的是一个代数栈<math>Y</math>上的[[归纳凝聚层]]。若<math>Y</math>是[[拟光滑]]的，则它具有一个奇点栈<math>\mathrm{Sing}(Y)</math>，并且任意一个<math>Y</math>上的归纳凝聚层<math>\mathcal F</math>都有一个奇支撑<math>\mathrm{SingSupp}(\mathcal F)</math>，是<math>\mathrm{Sing}(Y)</math>上的一个锥形闭子集。[[阿林金]]与[[盖茨哥利]]证明<math>\mathrm{LocSys}_{\check G}</math>是拟光滑的，并且描述了<math>\mathrm{Sing}(\mathrm{LocSys}_{\check G})</math>中的一个闭子集<math>\mathrm{Nilp}</math>，称为'''全局幂零锥'''(global nilpotent cone)。在上述等价中，伽罗华方面的范畴<math>\mathrm{IndCoh}_{\mathrm{Nilp}}(\mathrm{LocSys}_{\check G})</math>指的是<math>\mathrm{IndCoh}(\mathrm{LocSys}_{\check G})</math>中由奇支撑属于<math>\mathrm{Nilp}</math>的归纳凝聚层构成的完全子范畴。伽罗华方面幂零锥的出现可以理解为数论中[[亚瑟参量]]的几何体现。上述无穷范畴间的等价可以用来实现赫克特征<math>\mathcal D</math>-模的构造；对于任意一个<math>X</math>上的<math>\check G</math>-局部系统<math>E</math>，它对应于<math>\mathrm{LocSys}_{\check G}</math>上的一个skyscraper层，于是它在<math>\mathbb L_G</math>下的像即是以<math>E</math>为特征值的赫克特征<math>\mathcal D</math>-模。

在<math>G = \mathrm{GL}_1</math>时，上述等价关系即是[[傅立叶-向井-洛蒙变换]]。在<math>G = \mathrm{GL}_2</math>的情形下，盖茨哥利给出了上述等价关系的证明题纲<ref>Gaitsgory, D., [https://arxiv.org/abs/1302.2506 "Outline of the proof of the geometric Langlands conjecture for GL(2)"] {{Wayback|url=https://arxiv.org/abs/1302.2506 |date=20200517011448 }}</ref>。范畴化几何朗兰兹的研究在很大程度上需要依靠[[导出代数几何]]的工具。

=== 量子几何朗兰兹纲领 ===
为了描述全局几何朗兰兹纲领的量子形变，需要引入'''带旋<math>\mathcal D</math>-模''' (twisted D-module)的概念。对于一个光滑的代数簇<math>X</math>，一个带旋<math>\mathcal D</math>-算子是一个带有<math>\mathbb{Z}_{\ge 0}</math>{{link-en|流|Filtration (mathematics)}} (filtration)的结合代数层，其{{link-en|关联有次代数|Associated graded ring}}与<math>X</math>的切丛<math>TX</math>所生成的{{link-en|对称代数|Symmetric algebra}}作为[[泊松代数]]同构。该代数的模称为带旋<math>\mathcal D</math>-模。这一定义可以拓张到任何光滑代数栈。<ref name="BD1" />
为了说明的简便，在本节中我们限制<math>G</math>是一个单群，并引入以下记号：
* <math>\mathfrak{g}</math>是<math>G</math>所对应的李代数；
* <math>h^\vee</math>是<math>\mathfrak{g}</math>的对偶考克斯特数(dual Coxeter number)；
* <math>r</math>是<math>\mathfrak{g}</math>的'''带数'''(lacing number)，亦即其{{link-en|登金图|Dynkin diagram}}中相邻两顶点间最大的边数；
* 对于任何<math>c \in k</math>，令<math>[c] = \frac{c - h^\vee}{2 h^\vee}</math>。

在这种情况下，对于每一个<math>c \in k</math>（对应于<math>\mathfrak{g}</math>所对应的{{link-en|仿射李代数|Affine Lie algebra}}的一个[[群擴張|中心扩张]]），存在一个<math>\mathrm{Bun}_G</math>上的带旋<math>\mathcal D</math>-算子<math>\mathcal{D}^c</math>，对应于<math>\mathcal{L}_\mathrm{det}^{[c]}</math>到自身的微分算子，其中<math>\mathcal{L}_\mathrm{det}</math>是<math>\mathrm{Bun}_G</math>上的自带的行列式线丛。其对应的带旋<math>\mathcal D</math>-模范畴记作<math>\mathcal{D}\text{-}\mathrm{Mod}^c(\mathrm{Bun}_G)</math>。

在柏林森与德林費爾德对量子化希钦系统的研究中，赫克特征<math>\mathcal D</math>-模自然处于的范畴是对应于'''临界值'''(critical level) <math>c = 0</math>（对应于<math>[c] = -\frac{1}{2}</math>）的<math>\mathcal D</math>-模范畴，而该范畴与<math>[c] = 0</math>的范畴（亦即上文中的<math>\mathcal{D}\text{-}\mathrm{Mod}(\mathrm{Bun}_G)</math>）等价。而另一方面，伽罗华侧的对象<math>\mathrm{IndCoh}_{\mathrm{Nilp}}(\mathrm{LocSys}_{\check G})</math>的某种''近似''<math>\mathrm{QCoh}(\mathrm{LocSys}_{\check G})</math>与<math>\mathcal{D}\text{-}\mathrm{Mod}^c(\mathrm{Bun}_{\check G})</math>在<math>c \to \infty</math>时同构。这自然地引出几何朗兰兹纲领是否可以沿着<math>c</math>的方向形变的问题。'''量子全局几何朗兰兹纲领'''<ref>Gaitsgory, D., [https://arxiv.org/abs/1601.05279 "Quantum Langlands Correspondence"] {{Wayback|url=https://arxiv.org/abs/1601.05279 |date=20200603012328 }}</ref>猜想如下的无穷范畴等价：

<math>\mathbb L_G^c : \mathcal D\text{-}\mathrm{Mod}^c(\mathrm{Bun}_G) \xrightarrow{\sim} \mathcal D\text{-}\mathrm{Mod}^{-\frac{1}{r c}}(\mathrm{Bun}_{\check G})</math>。

这一猜想亦隐式地出现于卡普斯汀与威滕对于几何朗兰兹纲领的物理诠释中。<ref name="KW" />

== 文献 ==

[[Category:表示论]]
[[Category:代数几何]]