[论文解读] Tropicalizing tame degree three coverings of the projective line

Paul Alexander Helminck|arXiv (Cornell University)|Nov 19, 2017

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

一句话总结

本文提出了一种通过 $\mathbb{P}^1$ 的可 tame 度三覆盖的热带化方法，计算三型亏格曲线的 Berkovich 骨架。通过分析具有 $S_3$ 伽罗瓦群的半稳定伽罗瓦覆盖中的分歧群与分解群，并引入图上同调的 2-上循环作为扭曲数据，该方法从覆盖数据与几何数据重构骨架，利用自然的 3:1 映射为椭圆曲线的半稳定准则提供了新证明。

ABSTRACT

In this paper, we study the problem of tropicalizing tame degree three coverings of the projective line. Given any degree three covering $C\longrightarrow{\mathbb{P}^{1}}$, we give an algorithm that produces the Berkovich skeleton of $C$. In particular, this gives an algorithm for finding the Berkovich skeleton of a genus $3$ curve. The algorithm uses a continuity statement for inertia groups of semistable Galois coverings, which we prove first. After that we give a formula for the decomposition group of an irreducible component $Γ\subset{\mathcal{C}_{s}}$ for a semistable Galois covering $\mathcal{C}\longrightarrow{\mathcal{D}}$. We conclude the paper with a simple application of these $S_{3}$-coverings to elliptic curves, giving another proof of the familiar semistability criterion for elliptic curves using a natural degree three morphism to $\mathbb{P}^{1}$ instead of the usual degree two morphism.

研究动机与目标

• 开发一种系统算法，用于计算由 $\mathbb{P}^1$ 的可 tame 度三覆盖所导出的三型亏格曲线的 Berkovich 骨架。
• 将分歧群的连续性陈述与分解群的公式推广至任意半稳定伽罗瓦覆盖，而不仅限于超椭圆曲线。
• 引入图上同调的 2-上循环作为“扭曲数据”，以确定如何从覆盖数据组装预像骨架。
• 将该框架应用于椭圆曲线，通过使用 3:1 映射而非标准的 2:1 双椭圆映射，为椭圆曲线的乘法减少准则提供新证明。

提出的方法

• 利用度三覆盖 $C \to \mathbb{P}^1$ 的伽罗瓦闭包，得到一个 $S_3$-伽罗瓦覆盖 $\overline{C} \to \mathbb{P}^1$，其中 $\overline{C}$ 为几何不可约。
• 应用关于热带树边上的分歧群的连续性陈述，将分歧性与骨架结构关联。
• 推导出半稳定模型的特殊纤维中一个不可约分量 $\Gamma \subset \mathcal{C}_{s}$ 的分解群公式。
• 使用热带树上的拉普拉斯算子，将覆盖数据（顶点与边的预像）用分支点表示。
• 将扭曲数据构造为图上同调中的 2-上循环，以编码如何将预像分量粘合为 $\overline{C}$ 的完整骨架。
• 利用 $S_3$-作用，将 $\overline{C}$ 的骨架下降至 $C$ 的骨架，从而恢复原曲线的热带结构。

实验结果

研究问题

• RQ1 如何通过算法计算由 $\mathbb{P}^1$ 的度三覆盖定义的三型亏格曲线的 Berkovich 骨架？
• RQ2 分歧群与分解群在确定半稳定伽罗瓦覆盖骨架结构中的作用是什么？
• RQ3 如何利用以 2-上循环形式表达的扭曲数据，从覆盖数据重构完整骨架？
• RQ4 能否通过自然的 3:1 映射到 $\mathbb{P}^1$，重新推导椭圆曲线的经典半稳定准则？

主要发现

• 本文提供了完整的算法，基于覆盖数据与扭曲数据，计算任意三型亏格曲线的 Berkovich 骨架。
• 证明了关于热带树边上分歧群的连续性陈述，将先前仅适用于超椭圆曲线的结果推广至任意半稳定伽罗瓦覆盖。
• 推导出半稳定模型特殊纤维中不可约分量的分解群公式，将群论数据与几何结构相联系。
• 通过分支点、覆盖数据与 2-上循环扭曲数据，完全重构了伽罗瓦闭包 $\overline{C}$ 的骨架，后者编码了粘合信息。
• 该方法为椭圆曲线在 $K$ 的有限扩张上具有乘法减少的准则提供了新证明：当且仅当 $v(j) < 0$，该准则成立，且使用 3:1 映射而非标准的 2:1 双椭圆映射。
• 通过 $\pi$-进展开与爆破序列，提供了半稳定模型中剩余域扩张的显式构造，从而可计算扭曲的正规化数据。