[論文レビュー] 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

ひとこと要約

本稿では、射影直線へのタウム度3被覆のトロピカル化を用いて、種数3曲線のバーキホフスケルトンを計算するアルゴリズムを提示する。$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.

研究の動機と目的

• 種数3曲線が $\mathbb{P}^1$ へのタウム度3被覆から生じる場合に、そのバーキホフスケルトンを体系的に計算するためのアルゴリズムを開発すること。
• 超楕円曲線に限らない、任意の半安定ガロア被覆に対して、分岐群の連続性に関する記述および分解群の公式を一般化すること。
• 被覆データからスケルトンを再構成するための「ねじれデータ」としてのグラフコホモロジー2-コホモロジー類を導入すること。
• 本フレームワークを楕円曲線に適用し、標準的な2:1ハイペルエリプティック写像の代わりに自然な3:1射影写像を用いて、楕円曲線の乗法的還元基準を再証明すること。

提案手法

• 曲線 $C \to \mathbb{P}^1$ のガロア閉包をとることで、$\overline{C} \to \mathbb{P}^1$ という $S_3$-ガロア被覆が得られ、$\overline{C}$ は幾何的に既約である。
• 標準的なトロピカル木の辺上での分岐群の連続性に関する記述を適用し、分岐の性質をスケルトン構造に関連付ける。
• 半安定モデルの特別ファイバー内の既約成分 $\Gamma \subset \mathcal{C}_{s}$ の分解群の公式を導出する。
• トロピカル木上のラプラシアン作用素を用いて、被覆データ（頂点および辺の逆像）を分岐点の言語で表現する。
• 被覆データから $\overline{C}$ の全スケルトンに至る成分の貼り合わせ方を符号化する2-コホモロジー類としてねじれデータを構成する。
• $S_3$-作用を用いて、$\overline{C}$ のスケルトンを $C$ のスケルトンへと降下させ、元の曲線のトロピカル構造を回復する。

実験結果

リサーチクエスチョン

• RQ1 種数3曲線が $\mathbb{P}^1$ への度3被覆によって定義される場合、そのバーキホフスケルトンをどのようにアルゴリズム的に計算できるか？
• RQ2 分岐群および分解群は、半安定ガロア被覆のスケルトン構造を決定づける役割を果たすか？
• RQ3 2-コホモロジーとして表現されるねじれデータは、被覆データから全スケルトンを再構成するためにどのように利用できるか？
• RQ4 古典的な楕円曲線の半安定性基準（$K$ の有限拡大上での乗法的還元の条件）は、標準的な2:1ハイペルエリプティック写像の代わりに自然な3:1射影写像を用いて再導出可能か？

主な発見

• 本稿では、被覆およびねじれデータに基づき、任意の種数3曲線のバーキホフスケルトンを完全に計算するためのアルゴリズムを提供する。
• 超楕円曲線に限らない、任意の半安定ガロア被覆に対して、トロピカル木の辺上での分岐群の連続性に関する記述が証明され、以前の結果が一般化される。
• 半安定モデルの特別ファイバー内の既約成分の分解群の公式が導出され、群論的データと幾何的構造との間の関係が明示される。
• $\overline{C}$ のスケルトンは、分岐点を用いた被覆データと2-コホモロジー類によるねじれデータから完全に再構成可能であり、後者は貼り合わせの情報を符号化する。
• 本手法により、楕円曲線が $K$ の有限拡大上で乗法的還元をもつことと $v(j) < 0$ が同値であるという基準を、標準的な2:1ハイペルエリプティック写像の代わりに自然な3:1射影写像を用いて再証明する。
• 半安定モデルにおける残差体拡大の明示的構成が $\pi$-adic展開および吹き上げ列を用いて与えられ、ねじれデータの正規化データの計算が可能になる。