A classification of triangular Riemann surfaces with $2p^2$ automorphisms

技術的概要：$2p^2$ 個の自己同型群を持つ三角形リーマン面の分類

問題提起
本論文は、$p$ を奇素数とする $2p^2$ 階の有限群による「三角形」作用を許容する種数 $g \geq 2$ のコンパクトリーマン面の分類に取り組む。三角形作用とは、商空間の種数が 0 であり、被写体写像がちょうど 3 点で分岐する作用（符号 $(0; m_1, m_2, m_3)$）として定義される。このような面は「準正多面体的（quasiplatonic）」と呼ばれる。著者らは、$2p^2$ 階の抽象群が三角形作用を許容するための必要十分条件を決定し、同型を除いて得られる面を分類し、それらの種数と完全自己同型群を計算し、明示的な代数的モデルを提供することを目的としている。この研究は、$pq$ 階の群（Streit および Wolfart）や巡回群・可換群に対する先行する分類を、より複雑な $2p^2$ 階のケースへと拡張するものであり、ここでは複数の非同型な群と、各群に対する複数の異なる作用が生じる。

手法
著者らは、Fuchs 群の組合せ論およびそれらの包含関係の研究（Singerman によって発展させられた枠組み）を採用している。核心的な手法は以下の通りである：

1. 符号解析: $2p^2$ 階の 5 つの非同型な群（$D_{p^2}$、$Z_{p^2} \rtimes Z_2$、$Z_{2p} \times Z_p$、$D_p \times Z_p$、および $Z_{2p^2}$）のうち、どれが三角形作用を許容するかを特定する。これは、符号 $(0; m_1, m_2, m_3)$ の Fuchs 群から対象群への全射的な写像に必要な生成元を解析することによって達成される。
2. 面核全射（SKEs）: Fuchs 群 $\Gamma$ から対象群 $G$ への全射 $\Phi: \Gamma \to G$ を構成する。このような写像の核はリーマン面 $S \cong \mathbb{H}/\ker(\Phi)$ を定義する。
3. 作用の拡張: Bujalance、Cirre、Conder によって確立された基準および Singerman の最大符号リストを用いて、与えられた作用がより大きな自己同型群へ拡張可能かどうかを判定する。これには、Fuchs 群の包含関係のチェックと、拡張条件を満たす自己同型群内の特定の対合の存在確認が含まれる。
4. 代数的モデリング: 分類された面を射影直線の巡回被覆（巡回 $n$-角曲線）として記述する。著者らは、分岐値と自己同型群の回転数を解析することで、$y^n = \prod (x - \alpha_i)^{n_i}$ の形の明示的なアフィン平面曲線を導き出す。
5. 同型分類: Fuchs 群および対象群の自己同型群による SKEs の軌道を解析することで、非同型な面の数を決定する。

主要な貢献と結果
本論文は、$2p^2$ 階の群による三角形作用を許容するコンパクトリーマン面の完全な分類を提供する。主な発見は以下の通りである：

• 存在と数:

  • 群 $D_{p^2}$ および $Z_p^2 \rtimes Z_2$ は、$g \geq 2$ に対して三角形作用を許容しない。
  • $p \geq 5$ の場合、そのような作用を許容する互いに非同型なコンパクトリーマン面は、正確に $\frac{p^2 + 2p + 3}{2}$ 個存在する。
  • $p = 3$ の場合、そのような面は正確に 8 個存在する。
  • これらの面は、群 $Z_{2p} \times Z_p$、$D_p \times Z_p$、および $Z_{2p^2}$ の間で分布している。

• 具体的な分類:

  • $Z_{2p} \times Z_p$: 符号 $(2p, 2p, p)$ を持つ一意の三角形作用を許容する。得られる面の種数は $g = (p-1)^2$ であり、$y^p = x^{2p} - 1$ の正規化と同型である。その完全自己同型群は $D_p \times Z_{2p}$ である。
  • $D_p \times Z_p$: 符号 $(2, p, 2p)$ および $(2p, 2p, p)$ を持つ作用を許容する。
    • 符号 $(2, p, 2p)$ は、種数 $\frac{(p-1)(p-2)}{2}$ の一意の面を生じさせ、$y^p = (x^p - 1)^2$ に同型であり、完全自己同型群は $Z_p^2 \rtimes D_3$ である。
    • 符号 $(2p, 2p, p)$ は、種数 $(p-1)^2$ の $\frac{p+1}{2}$ 個の非同型な面を生じさせる。これらは曲線 $y^p = (x^p - 1)^2(x^p + 1)^{\epsilon}$ によって記述される。それらの完全自己同型群は、1 つの場合には $D_p^2 \rtimes Z_2$、別の場合には $D_p \times Z_{2p}$、残りの場合には $D_p \times Z_p$ となる。
  • $Z_{2p^2}$: 4 つの異なる符号、すなわち $(2, p^2, 2p^2)$、$(2p^2, 2p^2, p)$、$(2p, p^2, 2p^2)$、および $(2p^2, 2p^2, p^2)$ を持つ作用を許容する。
    • これらは $1 + \frac{p-1}{2} + (p-1) + \frac{p^2 - 2p + 1}{2}$ 個の異なる同型類を生じさせる。
    • 各ケースに対して明示的な代数的モデルが提供される（例：$y^{p^2} = x^2 + 1$、$y^p = x^2(x^{2p}-1)^m$ など）。
    • 完全自己同型群は一般的に $Z_{2p^2}$ であるが、特定のケースでは $Z_{p^2} \rtimes D_4$ に拡張する。

• 定義体:

  • 重要な結果として、特定されたすべてのリーマン面は有理数体（$\mathbb{Q}$）上で定義される。これは、それらの代数的モデルが有理係数の多項式によって与えられるという事実に由来する。

• ハイパーマップ分類:

  • 副産物として、著者らは向きを保つ自己同型群が $2p^2$ 階である向き正則ハイパーマップ（またはdessins d'enfants）を分類する。$p \geq 5$ の場合、そのような非同値なハイパーマップは正確に $p^2 + p$ 個存在する。

意義
本論文は、以下のいくつかの分野において重要性を主張している：

1. 完全性: 非可換群の存在と複数の作用タイプの存在により、以前に研究された $pq$階よりも複雑な、特定の$2p^2$ 階に対する決定的な分類を提供する。
2. 有理数性: このようなすべての面が $\mathbb{Q}$ 上で定義されるという結果は、数体が必要とされることが多い、自己同型群を持つリーマン面の一般的な振る舞いと対照的である。これは、準正多面体的面の特別な算術的性質を強化する。
3. 代数的モデル: 各同型類に対するアフィン平面曲線の明示的な構成は、具体的な計算的研究を可能にし、幾何学的な分類を代数幾何学へと結びつける。
4. モジュライ空間の幾何学: これらの特定の群作用に対応するモジュライ空間 $M_g$ の特異点軌跡を特定することにより、リーマン面のモジュライ空間の幾何学の理解に貢献する。
5. 組合せ論的接続: この分類は、リーマン面の理論とハイパーマップの組合せ論の間の溝を埋め、この特定の自己同型階数に対する向き正則ハイパーマップの完全なリストを提供する。

著者らは、彼らの結果が Fuchs 群理論の厳密な適用から導き出されたものであり、証明されていない仮説に依存していないことを強調しており、これらの面の算術的および幾何学的性質のさらなる研究のための堅固な基盤を提供している。