[论文解读] Geometric Satake, categorical traces, and arithmetic of Shimura varieties

Xinwen Zhu|arXiv (Cornell University)|Oct 17, 2018

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

一句话总结

本文为p进李群上的几何Satake等价性建立了一个范畴化迹构造，通过动机与上同调对应，将几何表示论与算术几何联系起来。该框架被应用于研究希米勒簇在模p纤维上的上同调对应与Tate循环，通过范畴化迹与动机Satake范畴，为几何朗兰兹与算术问题之间提供了概念性桥梁。

ABSTRACT

We survey some recent work on the geometric Satake of p-adic groups and its applications to some arithmetic problems of Shimura varieties. We reformulate a few constructions appeared in the previous works more conceptually.

研究动机与目标

• 在动机框架中重新表述p进群上的几何Satake等价性，为算术应用提供概念性基础。
• 开发一种适用于几何Satake的范畴化迹构造，推广层理论中的迹类运算。
• 将此框架应用于研究希米勒簇模p纤维上的上同调对应与Tate循环。
• 通过范畴化迹，建立几何表示论与希米勒簇中算术问题之间的概念性联系。
• 在自守形式与算术几何的背景下，为迹构造提供统一的范畴论解释。

提出的方法

• 引入动机Satake范畴作为p进群上几何Satake等价性的概念性模型。
• 通过导出范畴中的上同调对应，发展一种范畴化迹构造，推广经典迹映射。
• 通过局部Shtuka的模空间，特别是范畴PHk(Shtloc¯k)，将范畴化迹应用于几何Satake范畴。
• 利用基变换与正规上推导形式化，定义并组合2范畴设定中的上同调对应。
• 运用Barr-Beck-Lurie定理，描述上同调对应范畴的∞-范畴增强。
• 建立上推导函子f!通过上同调对应范畴的分解，确保在正规性条件下全忠实性。

实验结果

研究问题

• RQ1 如何在动机与范畴论框架中重新表述p进群上的几何Satake等价性？
• RQ2 范畴化迹构造在连接几何Satake与希米勒簇算术不变量之间起到何种作用？
• RQ3 希米勒簇模p纤维上的上同调对应如何从几何Satake的范畴化迹中产生？
• RQ4 范畴化迹构造能否用于证明希米勒簇模p纤维上Tate循环的存在性？
• RQ5 动机Satake范畴与局部Shtuka的算术几何之间存在何种关系？

主要发现

• 动机Satake范畴为p进群上的几何Satake等价性提供了概念性框架，推广了经典Satake同构。
• 范畴化迹构造通过上同调对应定义，且与基变换和复合相容，使导出范畴中的迹类运算成为可能。
• 几何Satake范畴的范畴化迹通过局部Shtuka的模空间实现，自然作用于上同调。
• 该构造在希米勒簇模p纤维之间产生显式的上同调对应，推广了经典Hecke对应。
• 该框架证明了某些希米勒簇模p纤维上的循环为Tate循环，通过将其作为范畴化迹的像实现。
• 通过使用正规上推导的单子描述，证明了上同调对应范畴与正规态射下的上推导范畴等价。