[论文解读] The stabilization of the Frobenius--Hecke traces on the intersection cohomology of orthogonal Shimura varieties

Yihang Zhu|arXiv (Cornell University)|Jan 29, 2018

Advanced Algebra and Geometry参考文献 21被引用 5

一句话总结

本文通过朗兰兹–科特维茨方法与内播分类法，建立了关于有理数域上正交施瓦茨簇交叠上同调的弗罗贝尼乌斯–赫克迹的稳定化，基于莫雷尔公式的推广。关键成果是得到了一个稳定化的迹公式，使得借助阿瑟与泰比在自守表示方面的近期工作，能够显式计算交叠上同调的哈塞–韦伊zeta函数的特殊情况。

ABSTRACT

We study Shimura varieties associated with special orthogonal groups over the field of rational numbers. We prove a version of Morel's formula for the Frobenius--Hecke traces on the intersection cohomology of the Baily--Borel compactification. Our main result is the stabilization of this formula. As an application, we compute the Hasse--Weil zeta function of the intersection cohomology in some special cases, using the recent work of Arthur and Taïbi on the endoscopic classification of automorphic representations of special orthogonal groups.

研究动机与目标

• 将莫雷尔关于弗罗贝尼乌斯–赫克迹的公式推广至正交施瓦茨簇的巴尔-博雷尔紧化交叠上同调。
• 利用朗兰兹–科特维茨方法与内播技术，对这一迹公式进行稳定化。
• 通过自守表示的内播分类法，计算交叠上同调的哈塞–韦伊zeta函数在特殊情况下的值。
• 通过迹公式方法，为研究正交施瓦茨簇的算术不变量提供一个上同调框架。

提出的方法

• 将朗兰兹–科特维茨方法适配至正交施瓦茨簇交叠上同调的设定。
• 使用截断的李代数上同调与科斯坦特–韦尔项，描述迹公式的几何侧。
• 应用科特维茨的不动点公式，将上同调上的迹与稳定轨道积分联系起来。
• 构建施瓦茨簇的积分模型，以确保迹计算中的算术相容性。
• 利用特殊正交群自守表示的内播分类法（阿瑟–泰比）对谱侧进行稳定化。
• 建立科斯坦特–韦尔项与稳定离散系列特征之间的比较，以匹配几何项与谱项。

实验结果

研究问题

• RQ1 如何将莫雷尔关于弗罗贝尼乌斯–赫克迹的公式推广至正交施瓦茨簇巴尔-博雷尔紧化交叠上同调？
• RQ2 该上同调群的迹公式的稳定形式是什么？它与内播数据有何关系？
• RQ3 如何利用稳定化的迹公式计算交叠上同调在特定情况下的哈塞–韦伊zeta函数？
• RQ4 在正交群的背景下，科斯坦特–韦尔项与稳定离散系列特征之间的精确关系是什么？
• RQ5 自守表示的内播分类法在多大程度上能够实现正交施瓦茨簇上同调中显式的算术计算？

主要发现

• 本文证明了关于有理数域上正交施瓦茨簇交叠上同调的弗罗贝尼乌斯–赫克迹的稳定化版本的莫雷尔公式。
• 通过朗兰兹–科特维茨方法实现稳定化，利用内播数据显式匹配几何项与谱项。
• 稳定化公式使得在特定情况下（如相关自守表示为离散系列时）能够计算交叠上同调的哈塞–韦伊zeta函数。
• 公式中的科斯坦特–韦尔项被证明与稳定离散系列特征相匹配，从而为内播转移提供了上同调实现。
• 该方法建立了正交施瓦茨簇上同调与阿瑟与泰比所发展的自守表示内播分类法之间的精确联系。
• 研究成果为利用迹公式技术与自守L函数计算施瓦茨簇的算术zeta函数提供了基础框架。