几何朗兰兹纲领
几何朗兰兹纲领(geometric Langlands program)是由数论中的朗兰兹纲领陈述在代数曲线的函数域上而得到的一系列猜想与结论。它联系了代数几何、表示论与量子场论，并对这些学科都产生了深远的影响。在定义于有限域的代数曲线上证明朗兰兹纲领的想法出自于德林費爾德对formula_1情形的证明。洛朗·拉福格推广了他的技巧，给出了formula_2情形的证明，而后樊尚·拉福格给出了对于一般约化群formula_3的自守形式的伽罗华分解。另一方面，柏林森与德林費爾德提出了特征为零的代数曲线上的朗兰兹纲领，并运用无穷维李代数的表示论构造了赫克特征formula_4-模。阿林金与盖茨哥利根据他们的构造提出了范畴化几何朗兰兹纲领，将伽罗华表示与自守形式之间的关系解释为两个无穷范畴的等价关系。卡普斯汀与爱德华·威滕将黎曼曲面上的几何朗兰兹纲领解释为量子场论的S-对偶性。
根据安德烈·韦伊的想法，数域与黎曼曲面的函数域之间有密切的关系，而定义于有限域formula_5上的代数曲线与两者都有相似之处。在数域上困难的命题，往往可以在代数曲线、甚至黎曼曲面上陈述并给出证明。几何朗兰兹纲领可以视为数域上的朗兰兹纲领在代数曲线上的表述。
若给定数域formula_6和约化群formula_3，则自守形式是formula_8上满足特定性质的函数（这里，formula_9指的是formula_6的賦值向量環）。朗兰兹纲领的目标是把自守形式联系到伽罗华群formula_11在对偶群formula_12中取值的表示。在定义于formula_5的代数曲线formula_14上，（不分歧的）自守形式应当理解为定义于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_62、连续、半单(semisimple)、且在formula_51外非分歧）的共轭类。樊尚·拉福格的正交分解可以推广到formula_3不分解(non-split)的情形，以及元辛(metaplectic)的情形formula_65。
在证明这个分解中，拉福格使用的主要工具是几何佐武同构和德林费尔德的штука。他运用佐武同构构造了一个作用在自守形式上的交换代数formula_66，其元素称为远足算符(excursion operator)。不严格地说，formula_66可以被视为伽罗华表示所构成的模空间上的结构层，所以每个伽罗华表示都呈现于他们的共同特征值；上述分解即是向量空间formula_68关于formula_66-作用的特征分解。
德利涅对几何类域论的证明启发了一个更强的“伽罗华-到-自守”的几何问题：给定一个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_139所对应的的一个中心扩张），存在一个formula_16上的带旋formula_4-算子formula_151，对应于formula_152到自身的微分算子，其中formula_153是formula_16上的自带的行列式线丛。其对应的带旋formula_4-模范畴记作formula_156。
在柏林森与德林費爾德对量子化希钦系统的研究中，赫克特征formula_4-模自然处于的范畴是对应于临界值(critical level) formula_158（对应于formula_159）的formula_4-模范畴，而该范畴与formula_161的范畴（亦即上文中的formula_162）等价。而另一方面，伽罗华侧的对象formula_118的某种"近似"formula_164与formula_165在formula_166时同构。这自然地引出几何朗兰兹纲领是否可以沿着formula_167的方向形变的问题。量子全局几何朗兰兹纲领猜想如下的无穷范畴等价：
formula_168。
这一猜想亦隐式地出现于卡普斯汀与威滕对于几何朗兰兹纲领的物理诠释中。