Reduction Types of Genus 2 Curves

技術的要約：種数2の曲線の減少型

問題設定
局所体上の代数曲線の算術的不変量は、その大域的な振る舞いを理解する上で極めて重要である。楕円曲線については、J. テイトが、コダイラ記号を用いて、最小正規モデルの減少型、ネロン成分群、導手指数、および判別式の評価といった不変量をまとめた画期的な分類を提供した（シルバーマンによる再現）。本論文は、種数2の曲線に対して、これに類する包括的な分類が欠如しているという問題に対処するものである。南川と上野は、以前に $\mathbb{C}[t]$ 上の種数2曲線の特殊ファイバーを分類したが、一般的な局所体（特に）における算術的不変量（最小正規モデル、ネロン成分群、および判別式に関して）と、これらの減少型を体系的に結びつける表は存在していなかった。著者らは、種数2曲線の主要な算術的不変量をその減少型によって分類する一連の表を提示することにより、この空白を埋めることを目的としている。

手法
著者らは、減少型を（特定の残留特性を除いて）基礎となる体に依存しない、正規モデルの特殊ファイバーの幾何学によって定義される対象として扱う、組合せ論的なアプローチを採用している。その手法は、以下の3つの主要な柱に基づいている：

1. 減少型の定義： 著者らは、「最小正規モデル（MRM）」および「正規交差を持つ最小正規モデル（MRNC）」の「減少型」を形式的に定義する。このデータには、特殊ファイバーの成分、その多重度と幾何学的種数、交差形式、および特異性の性質が含まれる。著者らは、種数2の曲線におけるMRMとMRNCの減少型の間の1対1の対応関係を確立しており、これにより、潜在的な安定型（stable type）を含めるように洗練させた上で、既存の南川・上野の分類を利用することを可能にしている。
2. クラスター・ピクチャー（Cluster Pictures）： 種数2において減少型を直接決定しない $j$ 不変量や判別式の代わりとして、著者らは「クラスター・ピクチャー」を利用している。Dokchitserらによって導入されたこれらは、ハイパーエリプティック曲線 $y^2=f(x)$ の定義多項式 $f(x)$ の根の $v$ 進的な配置を符号化するものである。著者らは、$K$ 上のヴェイエルシュトラス方程式の変化に対応する抽象的なクラスター・ピクチャーの同値関係を定義した。そして、端的な（tame）曲線（$p \neq 2$）に対して、これらの同値類が（MRM減少型、潜在的安定型の）ペアと全単射であることを証明した。
3. 不変量の計算：
   • ネロン成分群： 大きな交差行列を操作する代わりに、著者らは、補助的な $\mathbb{C}[t]$ 上の曲線のホモロジーに作用するモノドロミー作用素の余係数部分群と、ネロン成分群を関連付ける新しい手法（定理1.3）を用いている。彼らは、南川と上野によって分類されたモノドロミー行列を利用して、これらの群を明示的に計算している。
   • 導手および判別式： 端的な導手指数は、特殊ファイバーのアーベル的部分およびトーリック的部分から導出される。最小判別式の評価（$v(\Delta_{min})$）およびBSDの「ファッジ因子」（$v(\omega_{min}/\omega_0)$）は、一般化されたオッグの公式と、クラスター・ピクチャーの特性（特にどのクラスター・ピクチャーが最小ヴェイエルシュトラスモデルに対応するかの特定）を用いて計算される。

主な貢献と結果
主要な成果は、106の減少型のファミリー（潜在的安定型によってグループ化されている）を分類し、関連する算術的不変量を列挙した表7.1から7.7の提示である。各減少型について、表は以下を提供する：

• 対応するMRNC減少型。
• ヤコビアンのネロン成分群。
• 導手の端的な部分。
• 端的な減少の条件（残留特性 $p$ への依存性）。
• 潜在的安定型（$p \neq 2$ の場合）。
• 最小ヴェイエルシュトラスモデルの判別式の評価（$v(\Delta_{min})$）。
• 最小体積形式とネロン体積形式の比の評価（$v(\omega_{min}/\omega_0)$）。
• その減少型を生じさせるクラスター・ピクチャーの完全なリスト（先駆係数の評価 $v_c$ を含む）。

具体的な技術的知見には以下が含まれる：

• 系 1.4： $p \neq 2$ の端的な曲線に対して、有限拡大 $L/K$ 上のMRM減少型は、$K$ 上のMRM減少型、潜在的安定型、および拡大次数によって決定される。
• 定理 1.10： 理論的な応用として、群 $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$ は、潜在的に良減少を持つ主極化アーベル面（principally polarized abelian surface）のネロン成分群の $p$ 除不純部分としては現れないことを証明している。
• 明示的な実現： 表は、与えられた減少型を実現するヴェイエルシュトラス方程式を構成するための明示的なレシピ（クラスター・ピクチャーを介して）を提供している（ただし $p \neq 2$、およびワイルドなケースでは $p \neq 3, 5$ であること）。

意義と主張
著者らは、自らの研究が、楕円曲線のテイトの表に類する「一連の表」を提供し、種数2曲線の局所算術に関する実用的なリファレンスとして機能すると述べている。彼らは、この分類が本質的に基礎となる局所体に依存しないものであり、減少型が純粋に組合せ論的な対象として機能することを強調している。

著者らは、端的な曲線に対しては、クラスター・ピクチャーがMRM型単独よりも優れた不変量であり、MRM減少型と $\ell$ 進ガロア表現の両方を復元できると主張している。また、MRM型は（南川・上野のラベル $II^*_{t-m}$ や $2I^*_{m-t}$ のような特定のケースにおいて）重要なデータ（潜在的安定型など）を見落とす可能性があることを謙虚に認めつつ、彼らの表は潜在的安定型を入力パラメータとして含めることで、この曖昧さを解決している。

本研究は、新しい理論的な予想の源泉というよりも、分類ツールとして提示されている。著者らは、減少型が既知であれば、特定の曲線の方程式に対して複雑なアルゴリズムを実行することなく、導手や判別式のような不変量を直接計算できることを強調している。彼らは、残留特性 $p=2$ のケースがより複雑であり、特性2におけるすべての減少型の実現はまだ完全には解明されていないことを認めている。最後に、提供された分類は、彼らの定義に基づくすべての種数2曲線のあらゆる特性における、可能なすべてのMRM型をカバーしている（南川・上野の分類の完全性に基づき）と述べている。