[论文解读] Recent progress in geometric Langlands theory

Dennis Gaitsgory|arXiv (Cornell University)|Jun 30, 2016

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文综述了几何朗兰兹理论的最新进展，重点在于G-主丛模堆上的D-模与朗兰兹对偶局部系统堆上的拟相干层之间的范畴对偶性。论文提出，带 punctured formal disk 上的局部系统堆是1-仿射的，从而建立了局部几何朗兰兹对应的基础等价关系，其关键结果是局部设定下局部化函子的完全忠实性。

ABSTRACT

The is the English version of the text of the talk at Séminaire Bourbaki on February 16, 2016

研究动机与目标

• 将范畴几何朗兰兹对应形式化并加以动机化，作为Bun_G(X)上的D-模与LocSys_{\check{G}}(X)上的拟相干层之间的对偶性。
• 提出猜想：带 punctured formal disk 上的局部系统堆 LocSys_{\check{G}}(\hat{\mathcal{D}}) 是1-仿射的。
• 阐明1-仿射性在几何朗兰兹背景下，对几何堆上范畴的范畴识别中的作用。
• 通过 LocSys_{\check{G}}(\hat{\mathcal{D}}) 上的层范畴及其在局部设定下与 QCoh(·) 的等价性，为局部几何朗兰兹对应提供一个框架。

提出的方法

• 引入预堆（特别是 LocSys_{\check{G}}(\hat{\mathcal{D}}) 这类堆）的1-仿射性概念，以比较层范畴与拟相干模范畴。
• 利用 G(\mathcal{K}) 对 \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}} 的规范作用，将堆 LocSys_{\check{G}}(\hat{\mathcal{D}}) 定义为一个商预堆。
• 应用 ind-概形与 ind-代数堆的理论，以处理局部几何朗兰兹设定中出现的无限维几何对象。
• 利用 Beilinson-Drinfeld 提出的局部化函子与生成元-关系技术，构造自守 D-模。
• 证明函子 \mathbf{Loc} 在 LocSys_{\check{G}}(\hat{\mathcal{D}}) 上是完全忠实的，这是证明1-仿射性的关键步骤。
• 利用 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 是紧生成的这一事实，支持其与 ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}})) 之间猜想等价性的合理性。

实验结果

研究问题

• RQ1 预堆 LocSys_{\check{G}}(\hat{\mathcal{D}})（即带 punctured formal disk 上 \check{G}-局部系统的堆）是否是1-仿射的？
• RQ2 LocSys_{\check{G}}(\hat{\mathcal{D}}) 的1-仿射性如何与范畴几何朗兰兹对应相关联？
• RQ3 在局部设定下，ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}})) 与 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 之间的精确关系是什么？
• RQ4 尽管 LocSys_{\check{G}}(\hat{\mathcal{D}}) 具有无限维结构，且其分量不满足1-仿射性，为何其本身仍可能保持1-仿射性？
• RQ5 通过这一1-仿射性猜想，局部几何朗兰兹对应在多大程度上可推广经典与全局情形？

主要发现

• 猜想 LocSys_{\check{G}}(\hat{\mathcal{D}}) 是1-仿射的，若成立，则意味着 ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}})) 与 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 作为范畴是等价的。
• 当 G 为环面时，该猜想已被证明成立，为一般猜想提供了基础情形。
• LocSys_{\check{G}}(\hat{\mathcal{D}}) 上的函子 \mathbf{Loc} 是完全忠实的，这是证明1-仿射性的关键步骤。
• 范畴 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 是紧生成的，支持其作为范畴等价目标的适用性。
• 尽管 \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}} 具有 ind-概形结构，且群 G(\mathcal{K}) 为无限型，但商堆 LocSys_{\check{G}}(\hat{\mathcal{D}}) 由于规范作用的结构，避开了典型阻碍1-仿射性的障碍。
• 在相关对象（如 \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}} 或伴随作用下的商）中1-仿射性不成立，凸显了规范作用在保持潜在1-仿射性中的特殊作用。