[论文解读] Specialization of $F$-Zips

Torsten Wedhorn|ArXiv.org|Jul 8, 2005

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

一句话总结

本文提出了一种组合准则，用于判断在半单群概形中，一个 $F$-zip 轨道何时位于另一个的闭包中，方法是使用 Frobenius 线性化的 de Concini-Procesi 完善化变体。关键结果通过涉及 Weyl 群与 Frobenius 自同构的扭曲 Bruhat 顺序建立了闭包关系，该结果被应用于分类在正特征下主极化阿贝尔簇模空间中的 Ekedahl-Oort 轨形。

ABSTRACT

In \cite{MW}, B. Moonen and the author defined a new invariant, called $F$-Zips, of certain varieties in positive characteristics. We showed that the isomorphism classes of these invariants can be interpreted as orbits of a certain variety $Z$ with an action of a reductive group $G$. In loc. cit. we gave a combinatorial description of the set of these orbits. In this manuscript we give an explicit combinatorial recipe to decide which orbits are in the closure of a given orbit. We do this by relating $Z$ to a semi-linear variant of the wonderful compactification of $G$ constructed by de Concini and Procesi. As an application we give an explicit criterion of the closure relation for Ekedahl-Oort strata in the moduli space of principally polarized abelian varieties.

研究动机与目标

• 确定与半单群 $G$ 及其单反射子集 $J$ 相关的概形 $Z_{G,J}$ 中 $F$-zip 轨道之间的闭包关系。
• 将 $F$-zip 同构类的组合分类扩展至包含特化行为，即哪些轨道位于其他轨道的闭包中。
• 将闭包准则应用于主极化阿贝尔簇模空间 $\mathcal{A}_g$ 在正特征下的 Ekedahl-Oort 轨形。
• 建立 Ekedahl-Oort 轨形包含关系的精确、可计算条件，从而解决该领域的一个开放问题。

提出的方法

• 从 $Z_{G,J}$ 构造一个 $(G \times G)$-等变的光滑满射态射，映射到 $G^{\mathrm{ad}}$ 的伴随群的 de Concini-Procesi 完善化中 $(G \times G)$-轨道的 Frobenius 线性化变体。
• 利用在完善化中已知的 $(B \times B)$-轨道的闭包关系，通过 $(B \times B)$-轨道与 $G$-轨道之间的双射关系，将闭包关系诱导到 $Z_{G,J}$ 上。
• 通过条件 $u^{-1} w \delta(u) \leq w'$ 在集合 ${}^J W$ 上定义一个偏序，其中 $\delta(u) = x F(u) x^{-1}$ 且 $x = w_0^J$，即 $W^J$ 中的最大元。
• 通过一个忠实平坦态射 $\pi: \mathcal{A}_g \to [G \backslash Z_{G,J}]$，将 $G$-轨道 $Z_{G,J}^w$ 与 $\mathcal{A}_g$ 中的 Ekedahl-Oort 轨形联系起来，该态射在轨形与 $F$-zip 轨形之间诱导出一个双射。
• 证明 $G$-轨道 $Z_{G,J}^w$ 的闭包是所有满足扭曲 Bruhat 不等式的 $w'$ 的 $Z_{G,J}^{w'}$ 的并集。
• 将一般闭包准则应用于 $G = \mathrm{Sp}_{2g}$，$J$ 为 Siegel 伴群的类型的情形，从而获得 $\mathcal{A}_g$ 中 Ekedahl-Oort 轨形的准则。

实验结果

研究问题

• RQ1 在概形 $Z_{G,J}$ 中，哪些 $F$-zip 轨道会特化到其他轨道？这种闭包关系的精确组合条件是什么？
• RQ2 如何利用 Weyl 群与 Frobenius 作用来描述 $Z_{G,J}$ 中 $G$-轨道的闭包关系？
• RQ3 能否基于 Weyl 群与 Frobenius 扭转，用组合闭包规则完全描述 $\mathcal{A}_g$ 的 Ekedahl-Oort 轨形？
• RQ4 是否存在一种统一方法，通过群论数据来确定 Shimura 变体 PEL 型中轨形的闭包？

主要发现

• 在 $Z_{G,J}$ 中，$G$-轨道 $Z_{G,J}^w$ 的闭包是所有满足存在 $u \in W_J$ 使得 $u^{-1} w \delta(u) \leq w'$ 的 $Z_{G,J}^{w'}$ 的并集，其中 $\delta(u) = x F(u) x^{-1}$ 且 $x = w_0^J$。
• 对 $F$-zip 轨道的闭包关系完全由涉及 Frobenius 自同构与 Weyl 群作用的扭曲 Bruhat 顺序决定。
• 态射 $\pi: \mathcal{A}_g \to [G \backslash Z_{G,J}]$ 是忠实平坦的，确保 $Z_{G,J}$ 中的闭包关系可提升至模空间 $\mathcal{A}_g$。
• 在 $\mathcal{A}_g$ 中的 Ekedahl-Oort 轨形由 ${}^J W$ 参数化，且轨形 $\mathcal{A}_g^w$ 的闭包是所有满足 $u^{-1} w \delta(u) \leq w'$ 的 $\mathcal{A}_g^{w'}$ 的并集，其中 $\delta(u) = w_{0,J} u w_{0,J}$。
• 该结果为 Ekedahl-Oort 轨形包含关系提供了完整且显式的准则，解决了 [EMO] 中提出的一个开放问题。
• 该方法可推广至其他 PEL 型 Shimura 变体，为通过 $F$-zips 与群作用研究轨形提供统一框架。