[论文解读] From geometric to function-theoretic Langlands (or how to invent shtukas)

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

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

一句话总结

本文通过证明自守函数空间作为自守层范畴上弗罗贝尼乌斯自同态的迹而建立了一个范畴框架，将函数域上的几何朗兰兹对偶与函数论朗兰兹对偶联系起来。关键贡献是通过迹运算将几何朗兰兹结构范畴性地提升为函数论结构，最终构造出一个精细对象 $τ_{ ext{Drinf}_x}$，该对象恢复了全局无瑕德林费尔德-赫克特征对象。

ABSTRACT

This is an informal note that explains that the classical Langlands theory over function fields can be obtained from the geometric one by taking the trace of Frobenius. The operation of taking the trace of Frobenius takes place at the categorical level, and this we deduce that the space of automorphic functions is the trace of the Frobenius on the category of automorphic sheaves.

研究动机与目标

• 建立函数域上几何朗兰兹与函数论朗兰兹程序之间的概念性桥梁。
• 证明自守函数作为自守 $D$-模范畴上弗罗贝尼乌斯自同态的迹而出现。
• 在几何朗兰兹范畴构造的基础上进行精细化，以在函数论设定中产生特征对象。
• 证明全局无瑕德林费尔德特征对象源自包含局部与全局赫克代数的迹构造。

提出的方法

• 使用对偶可对角化 $DG$-范畴（特别是 $\operatorname{D-mod}(\mathcal{Y})$）上的范畴迹，提取自守函数。
• 应用基变换与韦代尔对偶，将迹计算为固定点子簇 $\mathcal{Y}^F$ 的博雷尔-莫尔同调。
• 引入一个二范畴框架以实现迹的函子性，从而与赫克对应保持兼容。
• 在局部与全局 $\operatorname{LocSys}$ 上的 $\operatorname{QCoh}$-范畴张量积中构造一个精细对象 $\operatorname{Drinf}_x$，利用 $D(\operatorname{Bun}_G^{\text{level}_x})$ 上的弗罗贝尼乌斯迹。
• 利用德林费尔德的核形式理论，即使张量积不精确，也将函子视为导出范畴中的核。
• 证明 $\operatorname{Drinf}_x$ 在一个典范函子下的像即为全局无瑕德林费尔德特征对象 $\operatorname{Drinf}$。

实验结果

研究问题

• RQ1 函数论朗兰兹对应能否通过范畴迹运算从其几何对应推导而出？
• RQ2 在 $\mathbb{F}_q$ 上的栈背景下，对自守层取弗罗贝尼乌斯迹的范畴意义是什么？
• RQ3 迹构造的函子性如何与赫克算子及自守形式相互作用？
• RQ4 能否从局部与全局赫克范畴上的迹构造重构全局无瑕德林费尔德特征对象？
• RQ5 $D(G(\mathcal{K}))^{\operatorname{Ad}_{\operatorname{Frob}}(G(\mathcal{K}))}$ 的作用在编码自守函数中扮演什么角色？

主要发现

• 在 $\mathbb{F}_q$ 上，自守函数空间同构于范畴 $D(\operatorname{Bun}_G^{\text{level}_x})$ 上几何弗罗贝尼乌斯的迹，即 $\operatorname{Tr}(\operatorname{Frob}^{!}, D(\operatorname{Bun}_G^{\text{level}_x})) \simeq \operatorname{Funct}(\operatorname{Bun}_G^{\text{level}_x}(\mathbb{F}_q), \overline{\mathbb{Q}}_\ell)$。
• $\Gamma(\operatorname{LocSys}^\text{arthm}_\text{glob}, \mathcal{O})$ 在自守函数上的作用通过弗罗贝尼乌斯迹实现，从而恢复标准赫克作用。
• $\operatorname{Drinf}_x$ 被构造为局部与全局 $\operatorname{LocSys}$ 上 $\operatorname{QCoh}$-范畴张量积中的迹，编码了一个精细的特征结构。
• $\operatorname{Drinf}_x$ 在一个典范函子下的像与全局无瑕德林费尔德特征对象 $\operatorname{Drinf}$ 一致，确立了特征性质的范畴提升。
• 该构造表明，全局无瑕特征对象并非新构造，而是源自几何数据上的迹运算，统一了几何与函数论视角。
• 该框架为通过范畴迹‘发明’施图卡提供了一种系统方法，即通过将层范畴上的弗罗贝尼乌斯作用提升至函数空间。