[论文解读] Arbres de Hurwitz et automorphismes d'ordre p des disques et des couronnes p-adiques formels

Yannick Henrio|ArXiv.org|Nov 15, 2000

Algebraic Geometry and Number Theory参考文献 1被引用 32

一句话总结

本文引入了Hurwitz树这一组合概念，用于分类形式$p$-进圆盘与环面的阶$p$自同构。它建立了此类自同构存在的充分必要条件——基于树的结构与微分形式——从而推广并完善了Green与Matignon的早期结果。主要贡献在于通过树的顶点与边上的微分条件，给出了Hurwitz树实现性的判别准则。

ABSTRACT

Let R be a complete discrete valuation ring of mixed characteristics (0,p). Given an order p-automorphism of a formal disc (or annulus) over R, we describe the minimal semi-stable model for which the specialisations of fixed points are distincts and lie in the smooth locus of the special fiber. The description leads to a combinatorial object called Hurwitz tree. Our main result is a necessary and sufficient condition for a Hurwitz tree to arise from an order p-automorphism.

研究动机与目标

• 将形式$p$-进圆盘与环面的阶$p$自同构的分类研究，推广至现有结果之外。
• 引入Hurwitz树的组合概念，以编码固定点与特殊化的几何与度量约束。
• 为Hurwitz树能否由实际的$R$-自同构（在形式圆盘或环面上）实现，提供必要且充分的条件。
• 将Green与Matignon的结果推广至环面情形，并建立相关Hurwitz树的结构定理。
• 给出在树分量上存在对数微分形式与恰当微分形式的判别准则，将其与自同构在切空间上的作用联系起来。

提出的方法

• 将Hurwitz树定义为带有顶点类型（乘法型、加法型）与边重数的度量树，以编码固定点与奇点的特殊化。
• 利用形式几何与奇点的最小解析展开，构造爆破的特殊纤维，其即为Hurwitz树。
• 应用Kummer环面及其约化的理论，分析自同构在边界与特殊纤维上的作用。
• 在树分量上使用对数与恰当微分形式，推导出重数与赋值的必要条件。
• 通过验证Hurwitz树满足以下三个条件，建立实现性定理：(D1) 根的度数为1，(D2) 极大顶点为叶节点，(D3) 度数≥3的顶点可通过微分形式实现。
• 利用洛朗级数展开与留数分析，当条件不满足时导出矛盾，从而证明判别准则的必要性。

实验结果

研究问题

• RQ1 何时一个给定的组合Hurwitz树可由形式$p$-进圆盘或环面的阶$p$自同构实现？
• RQ2 树的结构与边重数需满足何种必要且充分条件，才能使此类自同构存在？
• RQ3 在一般纤维上固定点的特殊化如何与特殊纤维树的几何结构相关联？
• RQ4 对数与恰当微分形式在约束可能的自同构类型中起何种作用？
• RQ5 自同构在切空间上的作用的赋值如何与树的顶点类型及边重数相关联？

主要发现

• 当且仅当Hurwitz树满足条件(D1)、(D2)与(D3)时，其可由形式圆盘的阶$p$自同构实现：根的度数为1，极大顶点为叶节点，且度数≥3的顶点可通过微分形式实现。
• 圆盘自同构的最小解析展开产生一个特殊纤维，其为剩余域上射影直线的度量树，具有由严格提升带来的自然方向。
• 在树的极大叶节点上，存在唯一的对数微分形式，其极点恰好位于固定点的特殊化位置，且在二重点处有零点，其留数与切空间上的作用相关。
• 在树的内部分量上，存在唯一的恰当微分形式，其除子仅在该分量的二重点处非零。
• 对于环面，建立了与Green和Matignon的定理III 3.1类似的结构定理，描述了在小导子条件下可能的树构型。
• 证明表明，至多有一条正基本边具有正重数，且至多有一条负基本边具有负重数，从而导致三类树（I、II、III），每类具有不同的几何与赋值约束。