論文「Superelliptic curves with large Galois images」の技術的サマリー

論文情報: arXiv:2011.14461v2 [math.NT]
著者: Pip Goodman
分野: 数論（代数幾何、ガロア表現）

1. 研究の背景と問題設定

本論文は、超楕円曲線（superelliptic curves）$C: y^r = f(x)$ に付随するモジュラー $\ell$ 次ガロア表現の像（image）の研究に焦点を当てています。ここで、$r > 2$ と $\ell$ は素数、$f(x)$ は単項多項式であり、その係数は $r$ 乗分円体 $\mathbb{Q}(\zeta_r)$ に属します。

従来の研究（例：Dieulefait, [ALS16], [AD20] など）は、主に以下の制約の下で進められてきました。

• 基底体が $\mathbb{Q}$ であること。
• 基底体が非分岐拡大を持たないこと（類数が 1 など）。
• 低次元（特に $g \le 3$）のアーベル多様体や、$\mathrm{GL}_2$ 型のアーベル多様体に限られること。
• 曲線が至る所で半安定減少（semistable reduction）を持つこと。

本研究の目的:

1. 基底体が $\mathbb{Q}(\zeta_r)$（$r$ 乗分円体）であり、かつ奇数の類数を持つ場合（つまり非自明な非分岐拡大を持つ場合）でも適用可能な条件を確立すること。
2. 次元が 2 を超える（$g > 2$）かつ $\mathrm{GL}_2$ 型ではないアーベル多様体（超楕円曲線のヤコビアン）に対して、明示的な係数を持つ例を構成し、そのガロア表現の像が「大きい（large）」ことを証明すること。
3. 特定のケース（$r=3$）において、ガロア表現の完全な像を決定すること。これは文献において初めて達成された成果です。

2. 主要な手法と理論的枠組み

著者は、以下の複数の数学的ツールを組み合わせてアプローチしています。

2.1. $\lambda$-進表現と Endomorphism Character

• ヤコビアン $J$ 上の $\ell$ ねじれ点 $J[\ell]$ に対するガロア表現 $\rho_\ell$ を考察します。
• $J$ は $\mathbb{Z}[\zeta_r]$ を自己準同型環として持ちます。この構造により、$\rho_\ell$ の像は $\mathrm{GSp}_{2g}(\ell)$ 内の $[\zeta_r]$ の中心化群に含まれます。
• 行列式 $\det \circ \rho_\lambda$ は、**Endomorphism Character（自己準同型チャラクター）**と呼ばれる代数的ヘッケ指標 $\Omega$ によって記述されます。この指標の無限型（infinity type）を解析することで、像の行列式部分の構造を特定します。

2.2. 群論的アプローチ（最大部分群の分類）

• ガロア像が「大きい」ことを示すためには、像が $\mathrm{SL}_n$ や $\mathrm{SU}_n$ などの単純群を含むことを示す必要があります。
• Aschbacher の分類や Kleidman-Liebeck の理論を用いて、古典群の最大部分群を分類します。
• 特に、**転移（transvection）**や特定の位数を持つ元を含む部分群が、どの最大部分群（$\mathcal{C}_1 \sim \mathcal{C}_8$ や $\mathcal{S}$）に含まれ得ないかを排除する論法を用います。

2.3. 慣性群の制御と $\Delta_v$-正則曲線

• 曲線の係数を適切に選ぶことで、特定の素点 $p$ における**慣性群（inertia group）**の作用を制御します。
• Dokchitser の $\Delta_v$-正則曲線（$\Delta_v$-regular curves）の理論を用いることで、ニュートン多面体（Newton polytope）の形状から、慣性群の表現がどのような直和分解を持つかを明示的に計算できます。
• これにより、ガロア像が部分群に含まれないことを示すための「十分条件」として、特定の素数 $p$ における慣性群の作用（$p$-system）を利用します。

2.4. 原始性（Primitivity）の証明

• 基底体が非分岐拡大を持つ場合、従来の「非分岐拡大を持たない」という仮定が使えません。
• 著者は、$r=23, 31$ のような特定の分円体における非分岐拡大の Galois 群の構造（類数や根の判別式を用いた制約）を詳細に解析し、不変分解（imprimitivity decomposition）が存在しないことを証明しています。

3. 主要な結果

3.1. 大きなガロア像の存在定理（Theorem 1.2, 7.2）

$r > 2$ が素数で、$\mathbb{Q}(\zeta_r)$ の類数が奇数であるとき、次数 $d$ が $2r$ の倍数であり、かつ特定の条件（2 つの異なる素数の和など）を満たす多項式 $f(x)$ を構成できます。
このとき、有限個の例外素数 $\ell$ を除き、ガロア表現 $\rho_\ell$ の像は以下のようになります（$n = 2g/(r-1)$ とする）：

• $\ell$ の $\mathbb{Q}(\zeta_r)$ における慣性次数 $i$ が奇数の場合:
  像は $\mathrm{SL}_n(\ell^i)^{(r-1)/2}$ を含む。
• $i$ が偶数の場合:
  像は $\mathrm{SU}_n(\ell^{i/2})^{(r-1)/2}$ を含む。

これは、基底体が非分岐拡大を持つ場合でも、高次元のアーベル多様体に対して「大きい」ガロア像が得られることを示す最初の明示的な結果です。

3.2. 完全な像の決定（$r=3$ の場合）

$r=3$ の場合、Endomorphism Character の詳細な解析により、ガロア像の完全な構造を決定することに成功しました（Theorem 7.5）。

• $\ell \equiv 1 \pmod 3$ の場合:
  $\rho_\ell(G_{\mathbb{Q}(\zeta_3)}) = \mathrm{GL}_n(\ell)^{\lceil g/3 \rceil, 6} \rtimes \langle \chi_\ell \rangle$
• $\ell \equiv 2 \pmod 3$ の場合:
  $\rho_\ell(G_{\mathbb{Q}(\zeta_3)}) = \mathrm{GU}_n(\ell)^{\lceil g/3 \rceil, 6} \rtimes \langle \chi_\ell \rangle$
  ここで、$\chi_\ell$ はモジュラー $\ell$ 次分円体指標です。この結果は、文献において初めて正確に記述されたものです。

3.3. 具体的な例の構成（Section 7.1）

著者は、係数が比較的小さな具体的な多項式 $f(x)$ を構成し、そのヤコビアンのガロア像が大きいことを示しました。

• 例: $r=3, \deg(f)=12, 18, 24, 30$
• 例: $r=5, \deg(f)=20$
• 例: $r=7, \deg(f)=14$
  これらの例は、種数（genus）が 10 から 36 の範囲にあり、高次元のケースを扱っています。また、逆ガロア問題（Inverse Galois Problem）への応用も示唆されています。

4. 論文の意義と貢献

1. 基底体の一般化: 従来の研究が依存していた「基底体が非分岐拡大を持たない」という制約を解除し、類数が奇数である分円体 $\mathbb{Q}(\zeta_r)$ 上で高次元のアーベル多様体を扱えるようにしました。
2. 高次元・非 $\mathrm{GL}_2$ 型への拡張: 次元 2 を超える非 $\mathrm{GL}_2$ 型のアーベル多様体に対して、明示的な係数を持つ例を初めて構成し、そのガロア像を特定しました。
3. 完全な像の特定: $r=3$ の場合、ガロア像の完全な構造（行列式部分を含む）を決定しました。これは、単に「大きい」ことを示すだけでなく、正確な群構造を同定した点で画期的です。
4. 手法の革新: $\Delta_v$-正則曲線の理論と、現代群論（Aschbacher 分類など）を組み合わせることで、係数を小さく保ちながら高次元の例を構成する効率的な手法を確立しました。これにより、計算検証が容易な例を多数提示しています。

5. 結論

Pip Goodman によるこの論文は、超楕円曲線のガロア表現に関する分野において、基底体の制約を緩和し、高次元かつ非自明な自己準同型環を持つアーベル多様体に対するガロア像の構造を解明した重要な業績です。特に、$r=3$ における完全な像の決定と、具体的な高次元例の構成は、逆ガロア問題や数論的幾何学の将来の研究にとって重要な基盤を提供しています。