[论文解读] Discrete invariants of varieties in positive characteristic

B.J. Moonen, Torsten Wedhorn|ArXiv.org|Jun 24, 2003

Algebraic Geometry and Number Theory参考文献 6被引用 15

一句话总结

本文引入了F-zips——将向量丛与滤子结构及半线性同构相结合的代数结构——作为在正特征下对光滑射影概形的离散不变量进行统一分类的框架。通过利用Weyl群的组合数据，本文对代数闭域上的F-zips给出了完整分类，并为基概形构造了方案化的Ekedahl-Oort分层，推广了阿贝尔簇与K3曲面的已知分层结果。

ABSTRACT

If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism $X o S$ satisfying certain conditions the de Rham bundles $H^n_{ m dR}(X/S)$ have a natural structure of an $F$-zip. We give a complete classification of $F$-zips over an algebraically closed field by studying a semi-linear variant of a variety that appears in recent work of Lusztig. For every $F$-zip over $S$ our methods give a scheme-theoretic stratification of $S$. If the $F$-zip is associated to an abelian scheme over $S$ the underlying topological stratification is the Ekedahl-Oort stratification. We conclude the paper with a discussion of several examples such as good reductions of Shimura varieties of PEL type and K3-surfaces.

研究动机与目标

• 开发一种系统框架，利用F-zips对正特征下概形的离散不变量进行分类。
• 将Ekedahl-Oort分层从阿贝尔簇推广到满足条件(D)的任意光滑射影态射。
• 在特征p的概形模空间中，提供一种方案化而非仅集合理论的分层定义。
• 统一并拓展此前关于模空间分层的研究成果，包括K3曲面与PEL型希米拉曲面的分层。
• 通过群论与代数几何方法，建立F-zip结构与Hodge理论数据退化之间的几何对应关系。

提出的方法

• 将特征为p的概形S上的F-zip定义为带有Hodge滤子、共轭滤子，以及由逆Cartier算子诱导的其分次项之间半线性同构的向量丛。
• 引入模空间$X_{\tau}$，用于参数化给定类型$\tau$的F-zip结构，其自然作用于$\mathrm{GL}_n$。
• 使用Lusztig的概形的半线性变体来研究$X_{\tau}$中的$\mathrm{GL}_n$-轨道，从而通过Weyl群中的双陪集实现分类。
• 通过为每个$u \in {}^JW$定义子函子$S^u_{\underline{M}} \subset S$，构造广义的Ekedahl-Oort分层，这些子函子由局部闭子概形表示。
• 将理论应用于K3曲面，通过在其第二de Rham上同调上赋予正交F-zip结构，并将分层与高度和Artin不变量分层联系起来。
• 从de Rham丛的平凡化torsor到F-zip结构模空间的周期映射$\#S \to X_\tau$，其构造类似于Hodge理论中的经典周期映射。

实验结果

研究问题

• RQ1 如何利用代数几何结构系统地对正特征下概形的离散不变量进行分类？
• RQ2 在正特征的代数闭域上，F-zips的完整分类是什么？
• RQ3 Ekedahl-Oort分层如何从阿贝尔簇推广到满足条件(D)的任意光滑射影态射？
• RQ4 在特征p的概形模空间中，分层的方案化结构是什么？它与de Rham上同调几何有何关联？
• RQ5 K3曲面上的F-zip结构如何反映并统一高度与Artin不变量分层？

主要发现

• 在代数闭域$k$上，类型为$\tau$的F-zips的同构类与集合$({}^JW)$之间存在双射，其中$({}^JW)$是Weyl群中的最小陪集代表元集合。
• 每个定义在$k$上的F-zip都同构于唯一的标准F-zip$\underline{M}^u_\tau \otimes_{\mathbb{F}_p} k$，其中$u \in {}^JW$，从而建立了完全的组合分类。
• 基概形$S$的广义Ekedahl-Oort分层是$S$的一个分划，由局部闭子概形$S^u_{\underline{M}}$组成，每个对应一个$u \in {}^JW$，且其并集是双射且为单态射。
• 对于阿贝尔概形，由$H^1_{\rm dR}$上的F-zip结构诱导的分层与经典的Ekedahl-Oort分层一致。
• 对于极化度为$2d$的K3曲面，其在初等上同调上的F-zip分层与高度和Artin不变量分层一致：$S^{(j)} = S_j \setminus S_{j+1}$，其中$1 \leq j \leq 11$，且$S_{11} = S_\infty$。
• 在$k$-点上，超奇异点集$S_{\infty,l}(k)$可分解为不相交的分层之并：$S_{\infty,l}(k) = \coprod_{i \geq 21-l} S^{(i)}(k)$，与Ogus的结果一致。