[论文解读] Generalized Hasse invariants for Shimura varieties of Hodge type

Jean-Stefan Koskivirta, Torsten Wedhorn|arXiv (Cornell University)|Jan 1, 2015

Advanced Algebra and Geometry参考文献 19被引用 12

一句话总结

本文利用典范线丛和形变理论，为所有霍奇型志村簇构造了广义的哈塞不变量，建立了一个统一的框架，将经典哈塞不变量推广至高维及非典型情形。关键贡献在于系统构造了这些不变量，以控制族中阿贝尔簇的 $p$-挠结构。

ABSTRACT

We construct canonical Hasse invariants for arbitrary Shimura varieties of Hodge type. MSC 2010. 14G35, 14K10, 20G40, 11G18

研究动机与目标

• 将经典哈塞不变量推广至非 PEL 型或非典型阿贝尔簇的志村簇霍奇型情形。
• 定义可检测此类志村簇参数化之阿贝尔簇的 $p$-挠结构的典范 $p$-进不变量。
• 为所有霍奇型志村簇提供一个统一的构造方法，包括非 PEL 和非典型情形。
• 建立研究这些簇的 $p$-进性质和模 $p$ 几何的基础工具。

提出的方法

• 利用与霍奇结构相关的志村簇上的典范线丛，定义一个全局截面。
• 应用带有附加结构的阿贝尔簇的形变理论，分析哈塞不变量在 $p$-进形变下的行为。
• 通过霍奇-泰特分解和 $p$-进霍奇理论，将不变量构造为特殊纤维上线丛的截面。
• 确保该不变量仅在非典型点处消失，推广了经典哈塞不变量的性质。
• 利用志村簇的整模型理论，在 $p$-进整数上定义该不变量。
• 依赖于通过半单群和霍奇余特征数据对霍奇型志村簇的分类。

实验结果

研究问题

• RQ1 如何将经典哈塞不变量推广至非 PEL 型或非典型的霍奇型志村簇？
• RQ2 何种典范线丛或模形式结构可作为检测此类志村簇上阿贝尔簇族中 $p$-挠行为的 $p$-进不变量？
• RQ3 能否通过几何与 $p$-进方法，在所有霍奇型志村簇上实现哈塞不变量的统一构造？
• RQ4 广义哈塞不变量精确在何处消失？其与非典型点集的关系为何？
• RQ5 该构造在 $p$-进设定下的基变换与形变下表现如何？

主要发现

• 作为霍奇型志村簇的整模型特殊纤维上线丛的全局截面，构造了典范哈塞不变量。
• 该不变量仅在非典型点集上消失，推广了经典哈塞不变量的性质。
• 该构造是内在且函子性的，仅依赖于霍奇结构和阿贝尔簇族的 $p$-进几何。
• 该方法可统一应用于所有霍奇型志村簇，包括非 PEL 和非典型情形。
• 该不变量与基变换和形变相容，确保在 $p$-进族中具有鲁棒性。
• 该结果为研究这些簇的模 $p$ 几何和 $p$-进自守形式提供了基础工具。