[论文解读] The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support

D. Arinkin, Dennis Gaitsgory+4 more|arXiv (Cornell University)|Oct 5, 2020

Advanced Algebra and Geometry参考文献 11被引用 8

一句话总结

本文引入了具有受限变差的局部系统丛这一新几何对象，该对象使得在构造层理论（包括ℓ进与de Rham情形）下对范畴化几何朗兰兹对应关系的精细表述成为可能。本文证明了关于Bun_G上具有幂零奇异支集的层的谱分解定理，表明此类层可通过贝林森谱投影算子由Hecke特征层生成，从而通过精确的范畴等价关系将自守层与自守函数联系起来。

ABSTRACT

We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves). We formulate a conjecture that makes precise the connection between the category of automorphic sheaves and the space of automorphic functions.

研究动机与目标

• 定义一种新的几何对象——受限变差局部系统丛，以实现在不同层理论下几何朗兰兹的统一表述。
• 提出适用于构造层理论（包括ℓ进与de Rham层）的范畴化几何朗兰兹猜想形式。
• 通过谱分解建立具有幂零奇异支集的自守层范畴与自守函数空间之间的精确对应关系。
• 证明Bun_G上具有幂零奇异支集的层范畴是紧生成的，并通过贝林森谱投影算子实现谱分解。
• 将理论扩展至Betti与de Rham情形，证明不同局部系统实现之间的兼容性与等价性。

提出的方法

• 通过Tannakian形式语言与ind-表示技术，将局部系统丛LocSysrestr_G(X)定义为分类受限单值变差的预丛。
• 建立形变理论并计算余切复形，通过分析某一点的正式邻域证明LocSysrestr_G(X)的ind-表示性。
• 利用统一化态射与正规性论证，将问题约化至代数群情形，借助刚性与不可约性结果。
• 通过因子同调与Ran空间技术，将贝林森谱投影算子构造为Hecke函子的上极限，从而定义普遍谱投影算子。
• 证明谱投影算子作为局部化函子作用，其本质像即为支持在幂零奇异支集上的层。
• 应用对偶性与1-仿射性技术于映射丛的QCoh范畴，证明自守层范畴的紧生成性与半刚性。

实验结果

研究问题

• RQ1 如何在不同层理论（如ℓ进、de Rham与Betti层）之间统一表述几何朗兰兹对应？
• RQ2 参数化具有受限单值变差的局部系统的正确几何对象是什么？它与经典局部系统丛之间有何关系？
• RQ3 贝林森谱投影算子在具有幂零奇异支集的层范畴上如何作用？其本质像为何？
• RQ4 在范畴设定下，具有幂零奇异支集的自守层与自守函数之间的确切关系是什么？
• RQ5 此类层的范畴是否为紧生成？其生成元是什么？

主要发现

• 丛LocSysrestr_G(X)是ind-表示的，并在Betti、de Rham与ℓ进等不同几何背景下具有统一构造。
• Bun_G上具有幂零奇异支集的层范畴ShvNilp(Bun_G)是紧生成的，其生成元集来自谱投影算子。
• 贝林森谱投影算子将本质像识别为支持在幂零奇异支集上的层，从而实现该范畴的谱分解。
• 谱投影算子被构造为Ran空间上的上极限，其作用实现了自守层向Hecke特征层的局部化。
• LocSysrestr_G(X)的正式粗模空间满足性质W与A，确保其与对偶性及1-仿射性的兼容性。
• 谱分解定理在Betti、de Rham与平展情形下普遍成立，通过上同调与Tannakian方法实现显式识别。