[论文解读] A toy model for the Drinfeld-Lafforgue shtuka construction

Dennis Gaitsgory, David Kazhdan+2 more|arXiv (Cornell University)|Aug 15, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 9

一句话总结

本文在拓扑设定下，利用范畴迹与穿插算子，为德林费尔德-拉福戈构造的希图卡发展了一套范畴框架，为几何兰道斯纲领提供了一个简化模型。它通过迹构造建立了赫克作用与希图卡之间的对应关系，证明了在 Bun_G 上的层上，弗罗贝尼乌斯作用的范畴迹恢复了带有穿插算子的自守形式空间。

ABSTRACT

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas à la Drinfeld and of excursion operators à la V. Lafforgue. We take as the point of departure the Hecke action of Rep(G^L) on the category Shv(Bun_G) of sheaves on Bun_G, and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

研究动机与目标

• 为德林费尔德与拉福戈风格的希图卡构造及穿插算子提供一个概念性、范畴化的框架。
• 在简化的拓扑背景下，对几何兰道斯纲领的关键结构——赫克作用、弗罗贝尼乌斯算子以及 S=T 恒等式——进行建模。
• 通过弗罗贝尼乌斯自函子的范畴迹，建立自守层与表示之间的对应关系。
• 通过范畴迹，形式化穿插算子作为对称张量范畴中单位对象的自同态的角色。
• 通过在更易处理的 DG 范畴与层论语境下工作，为完整的 ℓ-进希图卡构造奠定基础。

提出的方法

• 在 DG 范畴的 2-范畴中使用范畴迹构造，从 Shv(Bun_G) 上的弗罗贝尼乌斯自函子中提取自守数据。
• 应用对称张量范畴在空间上的积分作用概念，特别是通过空间 Y 的张量积 A^⊗Y。
• 将 A^⊗Y 中的对象表征为从有限集到 A 的函子，并利用 Y 的基本群描述其结构。
• 引入穿插算子作为 A^⊗Y 中单位对象的自同态的概念，通过有限集上的上极限实现。
• 使用 2-范畴迹，将几何弗罗贝尼乌斯算子的作用与自守形式空间联系起来。
• 应用普遍局部无瑕性（ULA）的概念，以确保迹构造与对偶性及基变换的相容性，并保证紧致性。

实验结果

研究问题

• RQ1 如何在简化的拓扑设定下，利用范畴迹与穿插算子形式化希图卡构造？
• RQ2 赫克作用在 Shv(Bun_G) 上与通过迹构造产生的自守层之间，其精确的范畴关系为何？
• RQ3 穿插算子如何自然地从弗罗贝尼乌斯自函子的范畴迹中产生？
• RQ4 范畴迹在何种意义上恢复了带有局部系统上函数代数作用的自守形式空间？
• RQ5 在 D-模与 ind-凝聚层的语境下，何种条件可确保范畴迹构造保持紧致性与对偶性？

主要发现

• Shv(Bun_G) 上弗罗贝尼乌斯自函子的范畴迹同构于自守形式空间，且局部系统上函数代数的作用通过穿插算子编码。
• 穿插算子被实现为 A^⊗Y 中单位对象的自同态，通过有限集上的上极限构造，并可通过迹构造作用于任意模范畴。
• 在真空情形下，S=T 恒等式通过将迹识别为层范畴的范畴霍赫希尔德链而得证。
• 该构造与对偶性及基变换相容，这由 ULA（普遍局部无瑕性）条件保证，该条件确保紧致对象在遗忘函子下仍保持紧致。
• 遗忘函子 oblv 下像的紧致性等价于 ULA 性质，且该性质被用于证明范畴迹保持紧致性。
• 主定理的证明依赖于光滑作用的谱特征刻画，以及赫克作用下零化奇点支持的保持，从而确保迹构造的有效性。