The minimum genus of Galois covers of curves

技術要約：代数曲線におけるガロア被覆の最小種数

問題設定
本論文は、標数 $p > 0$ の代数閉体 $k$ 上の滑らかな射影連結曲線のガロア被覆の最小種数を決定する問題に取り組んでいる。具体的には、$\Gamma$ を基本可換 $l$ 群 $H \cong (\mathbb{Z}/l\mathbb{Z})^n$ による巡回 $p$ 群 $G \cong \mathbb{Z}/p^a\mathbb{Z}$ の有限群の拡大とし、有限個の閉点集合 $S_X \subset X$ の外側でエタールであるような $\Gamma$-被覆 $W \to X$ の存在および最小種数を調査している。

この研究は、エタール基本群 $\pi_1^{\text{ét}}(X \setminus S_X)$ の構造によって動機付けられている。アビアンカーの予想（レイノーおよびハーバーターによって証明済み）は、どの有限群がこの基本群の商として現れるかを特徴付けているが、有限商の逆系を完全に記述するものではない。ある $G$-被覆 $V \to X$ が与えられたとき、著者らは $V$ を支配する $\Gamma$-被覆 $W$ を特徴付け、そのような被覆の最小種数を決定することを目的としている。これは、作用が固定されているか、あるいは制限されている交代群や特定の半直積に関する先行研究を拡張するものである。

手法
著者らは、代数幾何学、表現論、および組合せ最適化を組み合わせた手法を用いている：

1. 捩角点の加群構造： 手法の核となるのは、中間被覆 $V$ のピカール群の $l$ 捩角部分群 $Pl(V \setminus S_V)$（ここで $S_V$ は $S_X$ の逆像）の解析である。この群は右 $G$-加群である。著者らは、この加群を $\mathbb{F}_l$ 上の既約 $G$-表現への分解を利用して分析している。
2. ガロア対応： 先行研究（特に [13]）に基づき、著者らは $V$ の $H$-被覆（これらは $X$ の $\Gamma$-被覆を形成する）と、$Pl(V \setminus S_V)$ の $H$ に同型な $G$-安定部分加群との間の全単射を確立している。
3. 分解定理： 著者らは、$Pl(V \setminus S_V)$ を既約成分へと明示的に分解している。彼らは、次数ゼロのピカール群に由来する部分 $Pic^0(V)[l]$ と、分岐因子に由来する部分 $Pram(S_V, l)$ を区別している。$Pram(S_V, l)$ の構造は、$G$-被覆 $V \to X$ の分岐指数に基づく分岐集合 $S_X$ の層化によって決定される。
4. 線形計画法による最適化： 最小種数を求めるために、問題は整数線形計画問題へと帰着される。被覆 $W$ の種数は、$H$-被覆 $W \to V$ における分岐点の数に関する関数である。種数の最小化は、既約 $G$-加モジュールの乗数（$H/H'$、ここで $H'$ は $Pic^0(V)[l]$ に埋め込み可能な $H$ の極大部分加モジュル）による制約の下での、分岐点の重み付き和の最小化に対応する。

主要な貢献と結果

• 最小種数の一般公式（定理 1.1）： 本論文は、固定された $G$-被覆 $V$ を支配する $\Gamma$-被覆の最小種数 $g$ を計算する方法を提供している。これは以下の通り整数線形計画問題として定式化される：

  • 目的関数： $\sum_{s=0}^a p^s y_s$ を最小化する。ここで $y_s$ は、特定の分岐特性を持つ $S_X$ 内の分岐点の数を示す。
  • 制約条件： 変数 $y_s$ は $S_X$ 内の利用可能な点数によって抑えられ、かつ既約 $G$-加モジュール（$M_{s,t}$）の商 $H/H'$ における乗数から導かれる不等式を満たさなければならない。
  • 種数公式： 目的関数の最小値 $c_{\min}$ が得られたとき、最小種数は次式で与えられる：
    $$g = 2 + l^n(2g_V - 2) + \frac{l^{n-1}(l-1)c_{\min}}{2}$$
    これは、任意の作用 $\theta: G \to \text{Aut}(H)$ および変化するベース被覆 $V$ の分岐構造を考慮することで、先行研究を一般化している。

• 特定のケースと明示的な公式：

  • 定理 4.2： 分岐集合が完全に分岐している点、またはちょうど $p$ 個の前像を持つ点で構成される場合に、一般の結果を特化させ、種数方程式における定数 $c$ の明示的な公式を提供する。
  • 定理 5.6 および系 5.7： $X = \mathbb{P}^1$ であり、被覆が $\mathbb{A}^1$ 上でエタールである（無限遠点でのみ分岐する）ケースに焦点を当てる。著者らは、分岐のフィルトレーションにおける上ジャンプ（upper jumps）を定義し、それらを加モジュール $H$ の分解に関連付ける。彼らは、「上ジャンプ」$u_i$ に基づいて最小種数を計算する再帰的手法を提供する。

• 変化する作用に対する最小種数（定理 1.2）： 有力な貢献は、すべての可能な群作用 $\theta: \mathbb{Z}/p^2\mathbb{Z} \to \text{Aut}((\mathbb{Z}/l\mathbb{Z})^n)$ およびすべての有効な $n$ に対して、最小種数を計算することである。$a=2$ の場合、著者らは $(\mathbb{Z}/p\mathbb{Z})^\times$ および $(\mathbb{Z}/p^2\mathbb{Z})^\times$ における $l$ の位数に依存する、最小種数の閉形式の式を導出している。

  • $d_1 = d_2$ （位数が等しい）の場合、最小値は $n=d_1$ のときに達成される。
  • $d_1 < d_2$ の場合、最小値は $p=2$ か $p \neq 2$ かによって異なり、特定の定数（$p=2$ のときは $15$、$p \neq 2$のときは$2p^2+2$）を与える。

意義と主張
本論文は、特定の半直積構造を持つガロア被覆の「埋め込み問題」を解決するための、系統的かつアルゴリズム的なアプローチを提供すると主張している。$l$-捩角部分群を既約 $G$-加モジュールへと分解することにより、著者らは（最小種数の被覆を見つけるという）幾何学的な問題を、組合せ最適化問題へと翻訳している。

その意義は以下の点にある：

1. 一般化： 既知の最小種数被覆の結果（例えば $a=1$ の場合の [5]）を、より高い $p$ 冪巡回群（$a \geq 2$）および任意の作用へと拡張している。
2. 完全性： 群作用 $\theta$ が固定されず、かつ変化する場合に対しても、群 $(\mathbb{Z}/l\mathbb{Z})^n \rtimes \mathbb{Z}/p^a\mathbb{Z}$ のクラス内で達成可能な絶対的な最小種数を決定している。
3. 明示的な計算： 論文は、単に存在を証明するだけでなく、これらの最小種数を明示的に計算することを可能にする具体的な公式や線形計画法の制約を提供している。

著者らは、自らの結果が先行研究（例：[5, 定理 4.2 および 4.3]）を特殊なケースとして回収しており、正標数におけるアフィン曲線のエタール基本群の有限商の逆系を理解するための枠組みを提供していると述べている。