[论文解读] Outline of the proof of the geometric Langlands conjecture for GL(2)

Dennis Gaitsgory|arXiv (Cornell University)|Feb 11, 2013

Advanced Algebra and Geometry被引用 20

一句话总结

本文提出了一项策略，通过将其简化为两个猜想来证明 GL(2) 的范畴几何 Langlands 猜想：一个涉及扩展 Whittaker 族，另一个涉及局部系统上的谱侧 ind-凝聚层。关键贡献是一个框架，通过引入一个修正的谱侧类别来解决 Eisenstein 系列函子无法保持紧致性的问题，从而通过扩展 Whittaker 系数和粘合函子实现全纯嵌入比较。

ABSTRACT

We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.

研究动机与目标

• 将 GL(2) 的几何 Langlands 猜想简化为两个猜想：一个涉及扩展 Whittaker 族，另一个涉及谱侧。
• 通过引入修正的 ind-凝聚层类别，解决谱侧 Eisenstein 系列函子无法保持紧致性的问题。
• 通过粘合构造和扩展 Whittaker 系数，建立自守侧与谱侧之间的全纯嵌入比较。
• 表明自守侧的尖形式类别作为谱侧通过不可约局部系统得到的商类。
• 证明猜想的几何 Langlands 等价性与 Eisenstein 系列、Hecke 函子以及 Kac-Moody 局部化相容。

提出的方法

• 通过扩展 Whittaker 系数函子将自守侧嵌入扩展 Whittaker 族，该函子猜想为全纯嵌入。
• 通过基于具有幂零奇点支撑的 ind-凝聚层的粘合构造，将谱侧嵌入记为 Glue(Ǧ)spec 的类别。
• 使用函子 Glue(CT^enh_spec) 将修正的谱侧与 Glue(Ǧ)_spec 关联，该函子由定理 9.3.8 保证为全纯嵌入。
• 构建从 Glue(Ǧ)_spec 到扩展 Whittaker 族的典范全纯嵌入函子 L_G,G^Whit^ext，以实现比较。
• 应用伴随关系与正交性，证明尖形式类别在扩展 Whittaker 函子下消失，从而证明余核映射的消失。
• 利用猜想之间的相互依赖性，证明在主猜想（猜想 3.4.2）成立的前提下，猜想 8.2.9 和 10.2.8 可由其推出。

实验结果

研究问题

• RQ1 在几何 Langlands 框架内，如何解决谱侧 Eisenstein 系列函子无法保持紧致性的问题？
• RQ2 QCoh(LocSys_Ǧ) 的朴素谱侧类别应如何修正，以确保与自守侧 Eisenstein 函子的相容性？
• RQ3 能否通过将两个类别嵌入一个共同的、更易处理的类别（如扩展 Whittaker 族）来建立几何 Langlands 等价性？
• RQ4 尖形式自守类别与不可约局部系统的谱类别之间的确切关系是什么？
• RQ5 在几何 Langlands 对应下，Kac-Moody 表示类别如何与自守类别关联？

主要发现

• 通过用 IndCoh_Nilp^glob_Ǧ(LocSys_Ǧ) 替代 QCoh(LocSys_Ǧ)，修正了谱侧，解决了 Eisenstein 系列函子中的紧致性问题。
• 扩展 Whittaker 系数函子 coeff^ext_{G,G} 猜想为全纯嵌入，将 D-mod(Bun_G) 嵌入扩展 Whittaker 族。
• 函子 Glue(CT^enh_spec) 为全纯嵌入，将修正的谱侧嵌入 Glue(Ǧ)_spec，由定理 9.3.8 证实。
• 在猜想 3.4.2 下，自守侧的尖形式类别被识别为 QCoh(LocSys_Ǧ^irred) 通过 j_* 与 Ξ_Ǧ 复合后的像。
• 证明了自守尖形式类别同构于 QCoh(LocSys_Ǧ^irred) ⊗_QCoh(LocSys_Ǧ) D-mod(Bun_G)，确认了关键的对偶结构。
• 在猜想 10.5.10 成立的前提下，局部化函子 Loc_G 将温和地区自守类别在同伦范畴上识别为 Kac-Moody 类别 KL(G,κ)_Ran(X) 的 Verdier 商。