[论文解读] Remarks on Ekedahl-Oort stratifications

Chao Zhang|arXiv (Cornell University)|Jan 26, 2014

Advanced Algebra and Geometry参考文献 9被引用 4

一句话总结

本文证明了在霍德格型希默拉变体上，Ekedahl-Oort分层独立于辛嵌入，并在相关映射可延拓为$`mathbb{Z}_p$`-代数群概形时，建立了这些分层在希默拉变体间映射下的函子性。关键结果是Ekedahl-Oort映射$`zeta$`是典范的且由希默拉数据和共轭$`mu$`唯一确定，确保了在不同辛实现下的统一性，并通过$G_0$-zip的典范交换图与希默拉变体的映射相容。

ABSTRACT

This short paper is a continuation of the author's Ph.D thesis, where Ekedahl-Oort strata are defined and studied for Shimura varieties of Hodge type. The main results here are as follows. 1. The Ekedahl-Oort stratification is independent of the choices of symplectic embeddings. 2. Under certain reasonable assumptions, there is certain functoriality for Ekedahl-Oort stratifications with respect to morphisms of Shimura varieties.

研究动机与目标

• 解决关于霍德格型希默拉变体上Ekedahl-Oort分层是否依赖于辛嵌入选择的开放问题。
• 研究Ekedahl-Oort分层在希默拉变体间映射下的行为，特别是其函子性。
• 建立一个独立于辛数据的Ekedahl-Oort映射$`zeta$`的典范、内在构造。
• 证明当相关映射可延拓为$`mathbb{Z}_p$`-群概形时，Ekedahl-Oort分层与希默拉变体的映射相容。

提出的方法

• 通过辛嵌入构造Ekedahl-Oort映射$`zeta: \mathscr{S}_{0,K}(G,X) \to G_0\texttt{-Zip}_\kappa^\mu$`，并分析其对嵌入选择的依赖性。
• 利用$O_{E,(v)}$上的积分典范模型$`mathscr{S}_K(G,X)$及其特殊纤维$`mathscr{S}_0$`，通过$G_0$-zip定义分层。
• 应用类型为$`mu$`的$G_0$-zip理论，并通过相同的$G_0$-zip结构比较不同辛嵌入下的构造。
• 证明两个不同的辛嵌入在$`mathscr{S}_0$`上诱导出同构的$G_0$-zip结构，因此映射$`zeta$`独立于嵌入选择。
• 在函子性方面，构造一个包含$G'_0$-zip拉回的交换图，并利用$f_{\mathbb{Q}_p}$向$`mathbb{Z}_p$`-群概形的延拓，诱导出$G_0$-zip的相容映射。
• 利用张量构造和主齐性空间同构，在不同嵌入和映射间比较$G_0$-zip结构，依赖于定理1.19和$`mu$`-结构的性质。

实验结果

研究问题

• RQ1 霍德格型希默拉变体上的Ekedahl-Oort分层是否独立于辛嵌入的选择？
• RQ2 Ekedahl-Oort分层能否在希默拉变体的映射下实现函子性？
• RQ3 在何种条件下，希默拉数据的映射会诱导出相关Ekedahl-Oort分层上的相容映射？
• RQ4 Ekedahl-Oort映射$`zeta$`是否依赖于如辛嵌入等辅助选择，还是其本身是希默拉数据的内在结构？

主要发现

• Ekedahl-Oort映射$`zeta: \mathscr{S}_{0,K}(G,X) \to G_0\texttt{-Zip}_\kappa^\mu$`由希默拉数据$(G,X)$和共轭$`mu$`唯一确定，且独立于辛嵌入的选择。
• Ekedahl-Oort分层的构造是典范的，不依赖于如辛嵌入等辅助数据，从而解决了先前工作中存在的关键歧义。
• 当霍德格型希默拉数据的映射$f: (G,X) \to (G',X')$可延拓为$`mathbb{Z}_p$`-代数群概形时，其特殊纤维上的Ekedahl-Oort映射之间存在一个典范交换图。
• 诱导出的$G_0$-zip映射与映射$f$及共轭$`mu$`相容，确保了在满足条件的映射下分层的函子性。
• 该相容性通过$G_0$-zip结构的同构及$G'_0$-zip的拉回建立，表明$G_0$-zip结构在沿$f$的基变换下保持不变。
• 例子验证了在PEL型和一般霍德格型情形下的结果，表明在Zarhin技巧或典范嵌入等标准情形下，该典范交换图是可交换的。