[论文解读] Moduli of abelian varieties and p-divisible groups

Ching-Li Chai, Frans J. Oort|ArXiv.org|Jan 17, 2007

Algebraic Geometry and Number Theory参考文献 67被引用 11

一句话总结

本文在有限域上建立了普通 Hecke 轨道在极化阿贝尔簇模空间中的稠密性，并证明了关于 $p$-除子群变形的格罗滕迪克猜想。利用塞尔-塔特理论、迪厄多内模理论和牛顿多边形分层，证明了 Hecke 轨道在其牛顿多边形层中稠密，关键工具来自正特征下的 $p$-进霍奇理论与变形理论。

ABSTRACT

Lecture notes at a conference on Arithmetic Geometry, Goettingen, July/August 2006: Density of ordinary Hecke orbits and a conjecture by Grothendieck on deformations of p-divisible groups.

研究动机与目标

• 在正特征下，建立普通 Hecke 轨道在模空间 $\mathcal{A}_{g,1,n} \otimes \mathbb{F}_p$ 中的稠密性，解决阿贝尔簇算术几何中的一个核心问题。
• 证明格罗滕迪克关于 $p$-除子群变形函子的拟表示性的猜想，为模空间的局部结构提供基础洞见。
• 展示正特征下的技术——特别是 $p$-进与 $\ell$-进单值性、迪厄多内模与卡蒂埃模——即使在分析方法失效时，也能成为研究模空间的强大工具。
• 阐明 Hecke 轨道、中心叶与同源叶在牛顿多边形分层中的关系，表明 Hecke-$\alpha$ 作用在超奇异点的几何连通分支上是传递的。
• 通过构造形式概形 $\mathop{\mathrm{Spf}}(B_{\xi})$ 与 $B_{(\xi;\xi^*)}$，为模空间在满足 $a \leq 1$ 的点处的形式完备化提供坐标几何解释。

提出的方法

• 利用塞尔-塔特理论将阿贝尔簇的变形与它们的 $p$-除子群的变形联系起来，建立算术与 $p$-进几何之间的桥梁。
• 应用迪厄多内模理论与卡蒂埃模理论分析 $p$-除子群，使变形函子与牛顿多边形分层的研究成为可能。
• 运用卡莱尔-哈密顿猜想与弱格罗滕迪克猜想分析自同态代数的结构及其在 $p$-除子群上的作用。
• 以希尔伯特模曲面为关键例子，说明 Hecke 轨道的行为及其在牛顿层中的稠密性。
• 应用 GAGA 型定理（蔡-格罗滕迪克）将形式变形代数化，证明变形函子的拟表示性。
• 引入形式概形 $\mathop{\mathrm{Spf}}(B_{\xi})$ 与 $B_{(\xi;\xi^*)}$，以参数化牛顿层形式完备化中的局部坐标，其中 $B_{(\xi;\xi^*)}$ 定义为在指标集 $\triangle(\xi;\xi^*)$ 上的幂级数环。

实验结果

研究问题

• RQ1 在 $\mathbb{Q}$-同源作用下，普通 Hecke 轨道是否在模空间 $\mathcal{A}_{g,1,n} \otimes \mathbb{F}_p$ 中稠密？
• RQ2 在正特征域上，$p$-除子群的变形函子是否如格罗滕迪克所猜想的那样具有普遍变形？
• RQ3 Hecke 轨道的闭包能否描述为牛顿多边形层的并集？中心叶与同源叶如何与之关联？
• RQ4 形式完备化 $({\cal W}_{\xi}({\cal A}_{g,1,n}))^{\wedge x}$ 中的坐标的几何意义是什么，特别是与子环 $B_{(\xi;\xi^*)}$ 的关系？
• RQ5 包含关系 $\triangle(\xi;\xi^*) \subset \triangle(\xi)$ 是否诱导出包含映射 $({\cal C}(x))^{\wedge x} \subset ({\cal W}_{\xi}({\cal A}_{g,1,n}))^{\wedge x}$，这对中心叶的结构有何含义？

主要发现

• 普通 Hecke 轨道在其牛顿多边形层中稠密，轨道的闭包等于整个层，此结论通过 Hecke-$\alpha$ 作用在超奇异点局部的传递性得以证明。
• 格罗滕迪克关于 $p$-除子群变形函子的拟表示性的猜想已得证，普遍变形通过代数化实现为 $\mathrm{Spec}(R)$ 上的极化阿贝尔概形。
• $\mathcal{A}_{g,1,n} \otimes K$ 在任意正特征 $p > 0$ 的域 $K$ 上均为几何不可约的，该结果通过 $p$-进方法建立，并由法尔廷斯与柴互证。
• 在满足 $a \leq 1$ 的点 $x$ 处，模空间的形式完备化允许坐标系 $\mathop{\mathrm{Spf}}(B_{\xi})$，其中 $B_{\xi} = k[[Z_{x,y} \mid (x,y) \in \triangle(\xi)]]$，而商环 $B_{(\xi;\xi^*)}$ 对应于中心叶的一个子簇。
• $\triangle(\xi;\xi^*) \subset \triangle(\xi)$ 的包含关系诱导出闭浸入 $\mathop{\mathrm{Spf}}(B_{(\xi;\xi^*)}) \to \mathop{\mathrm{Spf}}(B_{\xi})$，暗示这些坐标可从牛顿多边形层的角度进行几何解释。
• 普通点的中心叶即为整个开牛顿多边形层，而超奇异点的中心叶为有限集，同源叶则为整个超奇异点集，此结果有助于解释 Hecke 轨道的稠密性。