Galois subspaces for compact Riemann surfaces of genus 2

以下は、Juan-Pablo Llerena-Córdova による論文「GALOIS SUBSPACES FOR COMPACT RIEMANN SURFACES OF GENUS 2（種数 2 のコンパクトリーマン曲面に対するガロア部分空間）」の技術的な要約です。

1. 問題の背景と定義

本論文は、コンパクトリーマン曲面 $X$（特に種数 $g=2$）と、その上の非常に ample（非常に ample）な除数 $D$ に関連する**ガロア埋め込み（Galois embedding）とガロア部分空間（Galois subspaces）**の構造を研究するものです。

• 設定: $D$ によって誘導される埋め込み $\phi_D: X \to \mathbb{P}^N$ を考えます。
• ガロア部分空間: $\mathbb{P}^N$ 内の余次元 2 の線形部分空間 $W$ に対し、$W$ からの射影 $\pi_W: \mathbb{P}^N \to \mathbb{P}^1$ と $\phi_D$ の合成写像 $f_W = \pi_W \circ \phi_D$ が、体拡大 $f_W^* k(\mathbb{P}^1) \subseteq k(X)$ としてガロア拡大となる場合、$W$ を $D$ に対するガロア部分空間と呼びます。
• 対象集合: $G_{X,D} := \{W \in G(N-2, N) \mid \pi_W \circ \phi_D \text{ is Galois}\}$ と定義されます。
• 既知の事実: Auffarth と Rahausen の研究により、$g \ge 2$ の場合、この集合 $G_{X,D}$ は、$X/H \cong \mathbb{P}^1$ となる自己同型群 $G = \text{Aut}(X)$ の部分群 $H$ に関する射影空間の非交和として分解されることが知られています。
  $$G_{X,D} \cong \bigsqcup_{\substack{H \le \text{Aut}(X) \\ X/H \cong \mathbb{P}^1}} X_{D, \pi_H}$$
  ここで、各成分 $X_{D, \pi_H}$ は次元 $\ell(D - D_H) - 1$ の射影空間です（$D_H$ は $H$ によって誘導される除数）。

本研究の目的: 種数 $g=2$ の場合において、$D$ が $\text{Aut}(X)$ の部分群によって誘導される場合（$D \sim D_H$）に、上記分解における射影空間の次元を具体的に計算し、特に**0 次元成分（離散的なガロア部分空間）**の存在と数を明らかにすることです。

2. 手法と理論的枠組み

著者は、種数 2 のリーマン曲面の特性と、除数の線形同値性に関する補題を駆使して解析を進めています。

• 種数 2 の特性: 種数 2 の曲面はすべて双有理的（hyperelliptic）であり、一意な双有理対合 $\sigma$ を持ちます。また、$\text{Aut}(X)$ の同型類は有限個（$C_2, C_2 \times C_2, D_4, C_{10}, D_6, C_3 \rtimes D_4, GL_2(\mathbb{F}_3)$ など）に分類されます。
• 主要な補題:
  1. 除数の独立性: $X/H \cong \mathbb{P}^1$ となる部分群 $H$ に対して、点 $p$ の選び方によらず、誘導される除数 $D_H$ は線形同値（linear equivalence）のクラスで一意に定まります（Lemma 1.1）。
  2. 線形同値の計算: 部分群 $H, N, L$ 間の関係（$L \subseteq N \cap H$ など）を用いて、$D_H - D_N$ の線形同値性を決定します（Lemma 1.2, 1.4）。特に、$|H| - |N| = 2$ かつ $\langle \sigma \rangle \subseteq N \cap H$ の場合、$D_H - D_N \sim K$（標準除数）となり、$\ell(D_H - D_N) = g = 2$ となることが示されます（Corollary 1.3）。
  3. 非常に ample 性の条件: 種数 2 において、除数 $D$ が非常に ample であるための必要十分条件は $\deg(D) \ge 5$ です（Lemma 1.5）。したがって、$|H| \ge 5$ となる部分群のみが対象となります。
• 計算手法:
  • 各 $\text{Aut}(X)$ の部分群の格子（lattice）を調査します。
  • $H$ と $N$ の共通部分や、それらが生成する商空間が $\mathbb{P}^1$ になる条件を確認します。
  • 「ジグザグ（Zig-Zag）」と呼ばれるプロセスを用いて、任意の $H, N$ 対に対して $\ell(D_H - D_N)$ を計算します。これは、共通部分 $L$ を介して $D_H \sim D_{H \cap N}$ や $D_H - D_N \sim K$ などの関係を導き出し、次元を決定する手法です。

3. 主な結果

定理 0.2（主要定理）:
$X$ を種数 2 のコンパクトリーマン曲面、$G = \text{Aut}(X)$、$H \le G$ とします。

1. $G \not\cong C_{10}$ の場合、$G$ の部分群によって誘導される 2 つの非常に ample な除数は、標準除数 $K$ の倍数だけ異なります。
2. $G_{X, D_H}$ において、**離散ガロア部分空間（0 次元成分）**と、位数 $|H|$ の部分群の間には 1 対 1 の対応が存在します。

具体的な計算結果（セクション 3 の表）:
著者は、$\text{Aut}(X)$ の各同型類（$D_4, C_{10}, D_6, C_3 \rtimes D_4, GL_2(\mathbb{F}_3)$）および各部分群 $H$ に対して、$G_{X, D_H}$ の分解における射影空間の次元分布を計算し、表 1〜5 にまとめました。

• 具体的には、$D_H$ に対するガロア部分空間の集合が、どのような次元の射影空間の和集合として構成されるかを数値化しています。
• 特に、0 次元成分（離散的なガロア部分空間）が存在する条件と、その個数を各ケースで特定しています。
• $|H| \ge 5$ の場合、多くのケースで 0 次元成分が存在し、その数は部分群の構造に依存することが示されました。

4. 意義と貢献

• 既存研究の拡張: 種数 0, 1 の場合や、一般的な $g \ge 2$ における集合 $G_{X,D}$ の構造に関する既存の研究（Yoshihara, Fukasawa, Auffarth & Rahausen など）を、種数 2という具体的なケースにおいて、次元の明示的な計算まで落とし込んで完成させました。
• 離散ガロア部分空間の分類: ガロア部分空間が連続的な族（高次元射影空間）として現れる場合と、離散的な点（0 次元）として現れる場合を区別し、特に離散的な場合の存在条件と数を部分群論の観点から完全に記述しました。
• 技術的限界の示唆: 種数 2 では $\text{Aut}(X)$ の構造が比較的単純で、$X/H \cong \mathbb{P}^1$ となる部分群が多数存在するため、定理 0.2 のような結果が得られます。しかし、種数 $g > 2$ の場合、そのような部分群が存在しない、あるいは構造が複雑すぎるため、同様の手法では一般化が困難であることを指摘しています（Remark 1）。これは、高次種数におけるガロア埋め込み研究の難しさを浮き彫りにしています。

5. 結論

本論文は、種数 2 のリーマン曲面におけるガロア埋め込みの幾何学的構造を、自己同型群の部分群の格子と除数の線形同値性を組み合わせることで完全に解明しました。特に、ガロア部分空間の集合がどのような次元構成を持つのかを数値的に明らかにし、離散ガロア部分空間と部分群の位数の間の 1 対 1 対応という明確な結果を得ています。これは、代数幾何学におけるガロア埋め込みの理論、特に低種数曲面における具体例の理解を深める重要な貢献です。