[论文解读] Tropicalizing abelian covers of algebraic curves

Paul Alexander Helminck|arXiv (Cornell University)|Mar 8, 2017

Algebraic Geometry and Number Theory参考文献 16被引用 9

一句话总结

该论文提出一种算法方法，通过射影直线的阿贝尔覆盖的热带化，计算代数曲线在离散赋值域上的伯克维奇骨架。利用伽罗瓦闭包与稳定模型，通过覆盖与扭结数据重建骨架，为三性曲线提供构造性解法，并给出椭圆曲线潜在良好减少准则的新证明。

ABSTRACT

In this thesis, we study the Berkovich skeleton of an algebraic curve over a discretely valued field $K$. We do this using coverings $C ightarrow{\mathbb{P}^{1}}$ of the projective line. To study these coverings, we take the Galois closure of the corresponding injection of function fields $K(\mathbb{P}^{1}) ightarrow{K(C)}$, giving a Galois morphism $\overline{C} ightarrow{\mathbb{P}^{1}}$. A theorem by Liu and Lorenzini tells us how to associate to this morphism a Galois morphism of semistable models $\mathcal{C} ightarrow{\mathcal{D}}$. That is, we make the branch locus disjoint in the special fiber of $\mathcal{D}$ and remove any vertical ramification on the components of $\mathcal{D}_{s}$. This morphism $\mathcal{C} ightarrow{\mathcal{D}}$ then gives rise to a morphism of intersection graphs $Σ(\mathcal{C}) ightarrow{Σ(\mathcal{D})}$. Our goal is to reconstruct $Σ(\mathcal{C})$ from $Σ(\mathcal{D})$ and we will do this by giving a set of covering and twisting data. These then give algorithms for finding the Berkovich skeleton of a curve $C$ whenever that curve has a morphism $\overline{C} ightarrow{\mathbb{P}^{1}}$ with a solvable Galois group. In particular, this gives an algorithm for finding the Berkovich skeleton of any genus three curve. These coverings also give a new proof of a classical result on the semistable reduction type of an elliptic curve, saying that an elliptic curve has potential good reduction if and only if the valuation of the $j$-invariant is positive.

研究动机与目标

• 显式计算代数曲线在离散赋值域上的伯克维奇骨架。
• 开发一种系统方法，利用伽罗瓦覆盖与稳定模型重建骨架。
• 为在 P¹ 上具有可解伽罗瓦群覆盖的曲线提供算法解法，特别是三性曲线。
• 给出经典结果的新证明：椭圆曲线具有潜在良好减少当且仅当其 j-不变量的赋值为正。

提出的方法

• 通过曲线 C → P¹ 的伽罗瓦闭包获得伽罗瓦态射 C̄ → P¹。
• 使用刘和洛伦齐尼定理构造稳定模型 C → D，以在特殊纤维中分离分支点。
• 将模型的态射映射到其对应的相交图 Σ(C) → Σ(D)。
• 利用来自分解群与扭结群的覆盖与扭结数据，从 Σ(D) 重构 Σ(C)。
• 通过估值理论与离散赋值环中的正规化分析分歧，将方法应用于阿贝尔覆盖。
• 为循环、S₃ 及可解伽罗瓦覆盖开发显式算法，包括热带超椭圆曲线。

实验结果

研究问题

• RQ1 当伽罗瓦群为可解时，如何从 P¹ 上的伽罗瓦覆盖重建曲线的伯克维奇骨架？
• RQ2 重建阿贝尔覆盖骨架所需的覆盖与扭结数据为何种形式，且其必要充分条件为何？
• RQ3 稳定模型特殊纤维中的分歧行为如何决定伯克维奇骨架的结构？
• RQ4 阿贝尔覆盖的热带化能否为椭圆曲线潜在良好减少准则提供新证明？
• RQ5 通过覆盖数据观察，j-不变量的赋值与椭圆曲线的稳定减少类型之间的确切关系为何？

主要发现

• 构建了一种算法，可利用 P¹ 上的三次态射计算任意三性曲线的伯克维奇骨架。
• 该方法给出了新证明：椭圆曲线具有潜在良好减少当且仅当其 j-不变量的赋值为正。
• 对于 S₃ 覆盖，论文通过扭结群的连续性与二次子域，推导出显式覆盖数据，实现骨架的算法重建。
• 论文确立了特殊纤维中某点的扭结群决定了热带骨架中的边权与顶点结构。
• 在超椭圆与超椭圆曲线情形，该方法基于判别式与系数的赋值，给出骨架的显式公式。
• 对三种情形（v(p) 为偶数、奇数，以及 3v(p)=2v(q)）的分析，完全分类了分歧情况，并以正规化与素理想分解的形式确定了伽罗瓦闭包的结构。