[论文解读] The stable trace formula for Shimura varieties of abelian type

Mark Kisin, Sug Woo Shin+1 more|arXiv (Cornell University)|Oct 11, 2021

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

一句话总结

本文通过将其紧支cohomology上的Frobenius–Hecke迹表示为内插群上稳定Arthur–Selberg迹公式的椭圆部分，建立了阿类别Shimura簇的稳定迹公式。该结果在具有超特殊水平的素数上确认了Langlands与Kottwitz的猜想，通过内插转移在群与反射域的温和假设下，提供了关于自守表示的cohomology谱分解。

ABSTRACT

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.

研究动机与目标

• 验证阿类别Shimura簇的Langlands–Rapoport–τ猜想。
• 建立一个稳定迹公式，将Shimura簇的紧支cohomology与内插群上的椭圆稳定分布联系起来。
• 通过p进整Hodge理论与纤维丛理论的点计数方法，将迹公式框架从Hodge型推广至阿类别Shimura簇。
• 在超特殊水平与大m条件下，无条件地提供cohomology关于自守表示的谱分解，通过内插转移实现。

提出的方法

• 利用Galois纤维丛与Kottwitz参数，开发一种点计数公式，以参数化有限域上Shimura簇的点。
• 应用整p进Hodge理论，将晶体表示与G-结构联系到Shimura簇的cohomology。
• 使用z-扩张与中心特征数据，定义内插群上的稳定分布，推广Kottwitz原始迹公式框架。
• 在几何侧与纤维丛侧之间建立可接受态射与特殊点之间的双射，从而实现上同调不变量的比较。
• 应用Langlands–Shelstad–Kottwitz转移，将G上的轨道积分与内插群H1上的轨道积分联系起来。
• 通过约化至局部转移与谱恒等式，证明迹公式的稳定化，最终得出紧支cohomology的稳定迹公式恒等式。

实验结果

研究问题

• RQ1 如何通过内插转移，将阿类别Shimura簇的紧支cohomology上的Frobenius–Hecke迹表示为自守L函数？
• RQ2 Langlands–Rapoport–τ猜想在阿类别Shimura簇上在何种程度成立？如何利用纤维丛理论与晶体方法加以证明？
• RQ3 Shimura簇的cohomology与其中心群的稳定迹公式之间存在何种精确关系，特别是当其导出群非单连通时？
• RQ4 在超特殊水平结构下，能否证明内插群的稳定迹公式的椭圆部分与Shimura簇上的几何迹相匹配？
• RQ5 在何种条件下，内插侧的稳定分布与谱侧匹配？这与自守表示的内插分类有何关联？

主要发现

• 本文证明：对于阿类别Shimura数据(G, X)及在p处为超特殊水平的情形，紧支cohomology上的Frobenius–Hecke迹T(m, f)等于对所有椭圆内插数据e的求和，其形式为ι(e)乘以内插群z-扩张H1上的椭圆稳定分布ST H1,χH1(f H1)。
• 该结果在水平在p处为超特殊时，对所有充分大的m无条件成立。
• 稳定分布ST H1,χH1通过z-扩张与固定中心特征定义，推广了Kottwitz原始构造至非单连通导出群的情形。
• 证明依赖于一种新的点计数公式，利用Galois纤维丛与可接受态射，将算术几何与自守形式联系起来。
• 作者在几何侧的特殊点与纤维丛侧的可接受态射之间建立了双射，从而实现了上同调不变量的比较。
• 通过证明轨道积分的局部转移与谱恒等式，完成了稳定化过程，最终得出紧支cohomology的稳定迹公式恒等式。