[論文レビュー] Tropicalizing abelian covers of algebraic curves

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

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

ひとこと要約

本稿では、射影直線へのアーベル被覆のトロピカル化を用いて、離散的価付値体上の代数曲線のバーキョフスキー スケルトンを計算するアルゴリズム的手法を開発する。ガロア閉包と安定モデルを用いて、被覆およびねじれデータによりスケルトンを再構成し、特に genus 3 曲線に対して構成的解法を提供するとともに、楕円曲線の潜在的良い還元の基準について新しい証明を与える。

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.

研究の動機と目的

• 離散的価付値体上の代数曲線のバーキョフスキー スケルトンを明示的に計算すること。
• ガロア被覆と安定モデルを用いたスケルトン再構成の体系的メソッドの開発。
• 特に genus 3 曲線に対して、P¹ 上の可解ガロア群被覆を持つ曲線のためのアルゴリズム的解法の提供。
• 楕円曲線が潜在的良い還元をもつことと、j-不変量の価付値が正であることは同値である、という古典的結果の新しい証明。

提案手法

• 曲線 C → P¹ のガロア閉包を用いて、C̄ → P¹ なるガロア被覆を得る。
• リウとローレンツィーニの定理を用いて、分岐点を特別ファイバーで分離する安定モデル C → D を構成する。
• モデルの被覆をそれらに付随する交差グラフ Σ(C) → Σ(D) にマッピングする。
• 分解・インertial群から得られる被覆およびねじれデータを用いて、Σ(D) から Σ(C) を再構成する。
• 分岐の解析に価値論と離散的価値環における正規化を用い、アーベル被覆のトロピカル化を分析する。
• 巡回被覆、S₃、および可解ガロア被覆の明示的アルゴリズムを構築し、トロピカル超楕円曲線を含む。

実験結果

リサーチクエスチョン

• RQ1 ガロア群が可解であるとき、P¹ 上のガロア被覆から曲線のバーキョフスキー スケルトンをどのように再構成できるか。
• RQ2 商曲線からアーベル被覆のスケルトンを再構成するために必要な被覆およびねじれデータは何か。
• RQ3 安定モデルの特別ファイバーにおける分岐の性質が、バーキョフスキー スケルトンの構造にどのように影響するか。
• RQ4 アーベル被覆のトロピカル化は、楕円曲線の潜在的良い還元基準について新しい証明を提供できるか。
• RQ5 j-不変量の価付値と、被覆データを通して観察される楕円曲線の安定還元型態との正確な関係は何か。

主な発見

• P¹ への3次射影を用いた genus 3 曲線のバーキョフスキー スケルトンを計算するためのアルゴリズムが構築された。
• 本手法により、楕円曲線が潜在的良い還元をもつことと、その j-不変量の価付値が正であることは同値である、という事実の新しい証明が得られた。
• S₃-被覆の場合、インテンシル群の連続性と二次部分体を用いて明示的な被覆データが導出され、スケルトン再構成のアルゴリズム的実装が可能になった。
• 本稿では、特別ファイバーにおける点のインテンシル群が、トロピカルスケルトンにおける辺の重みと頂点構造を決定することを確立した。
• 超楕円曲線および超楕円曲線の場合、判別式および係数の価付値に基づく、明示的なスケルトンの公式が得られた。
• 3つの場合（v(p) が偶数、奇数、および 3v(p)=2v(q)）の解析により、分岐が完全に分類され、正規化および素因数分解の観点からガロア閉包の構造が特定された。