[论文解读] On ramification filtrations and $p$-adic differential modules, I: equal characteristic case

Liang Xiao|arXiv (Cornell University)|Jan 31, 2008

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

该论文证明了在正特征 $p>0$ 的完备离散赋值域上，对有限局部单值的 $p$-进伽罗瓦表示，三种 $p$-进导子——算术导子（Abbes-Saito）、微分导子（Kedlaya）以及 Borger 的一般完美化导子——彼此等价。通过证明这些导子完全一致且为非负整数，作者在残数域不完美的情形下建立了算术分歧过滤的 Hasse-Arf 定理，从而解决了 $p$-进霍奇理论与分歧理论中长期悬而未决的问题。

ABSTRACT

Let $k$ be a complete discretely valued field of equal characteristic $p > 0$ with possibly imperfect residue field and let $G_k$ be its Galois group. We prove that the conductors computed by the arithmetic ramification filtrations on $G_k$ coincide with the differential Artin conductors and Swan conductors of Galois representations of $G_k$. As a consequence, we give a Hasse-Arf theorem for arithmetic ramification filtrations in this case. As applications, we obtain a Hasse-Arf theorem for finite flat group schemes; we also give a comparison theorem between the differential Artin conductors and Borger's conductors.

研究动机与目标

• 解决一个长期悬而未决的问题：在等特征 $p>0$ 且残数域不完美的情形下，Abbes 与 Saito 定义的算术分歧过滤是否与 Kedlaya 定义的微分导子一致。
• 证明有限局部单值的 $p$-进伽罗瓦表示的算术导子、微分导子以及 Borger 的导子完全相同。
• 在等特征 $p>0$ 情形下，即使残数域不完美，也建立算术分歧过滤的 Hasse-Arf 定理。
• 比较并关联通过一般完美化定义的 Borger 导子与微分导子及算术导子之间的关系。
• 将 Hasse-Arf 定理推广至有限平坦群概形，并证明微分导子在添加一般 $p^{ u}$-次根扩张下保持不变。

提出的方法

• 为有限局部单值的 $p$-进伽罗瓦表示构造了罗巴环上的 $p$-进微分模。
• 沿用 Kedlaya 的框架，利用微分算子的谱范数计算微分 Artin 导子与 Swan 导子。
• 应用加厚技巧与刚性解析几何，比较 Abbes-Saito 空间及其提升上的谱范数。
• 通过将刚性空间从 $k$ 提升到 $k'$（其中 $k'$ 通过添加一般 $p^{ u}$-次根得到），构造保持谱范数的提升。
• 利用微分模上的旋转自同构，证明微分导子在该类扩张下保持不变。
• 通过逐次添加 $p^{ u}$-次根，将一般情形约化为有限 $p$-基的情形，并构造与一般残数完美化 $k^g$ 兼容的同态。

实验结果

研究问题

• RQ1 在等特征 $p>0$ 情形下，Abbes 与 Saito 定义的算术分歧过滤是否与 Kedlaya 定义的微分导子一致？
• RQ2 当残数域不完美时，算术分歧过滤的 Hasse-Arf 定理是否仍然成立？
• RQ3 通过一般完美化定义的 Borger 导子是否与该设定下的微分导子及算术导子一致？
• RQ4 微分导子在向基域添加一般 $p^{ u}$-次根后是否保持不变？
• RQ5 能否通过导子等价性将 Hasse-Arf 定理推广至有限平坦群概形？

主要发现

• 在任意正特征 $p>0$ 的完备离散赋值域上，对有限局部单值的 $p$-进伽罗瓦表示，算术 Artin 导子、微分 Artin 导子与 Borger 的导子完全一致。
• 算术 Swan 导子与微分 Swan 导子完全相同，且均为非负整数，从而在残数域不完美的情形下确认了算术分歧过滤的 Hasse-Arf 定理。
• 算术分歧过滤的子商群 $\mathrm{Fil}^a G_k / \mathrm{Fil}^{a+} G_k$ 在 $a \notin \mathbb{Q}$ 时平凡，在 $a \in \mathbb{Q}_{>1}$ 时为初等 $p$-交换群，与 Hasse-Arf 预言的结构一致。
• 微分导子在向基域添加一般 $p^{ u}$-次根后保持不变，从而可将一般情形约化为有限 $p$-基的情形。
• 表示 $\rho$ 的微分 Artin 导子等于其在一般残数完美化 $k^g$ 的伽罗瓦群上的限制的微分 Artin 导子，而后者已知满足 Hasse-Arf 定理。
• Hasse-Arf 定理对这类域上的有限平坦群概形成立，因为其导子通过关联的伽罗瓦表示定义。