The Parity of Invariant Characteristics

技術的要約：不変な特性のパリティ（奇偶性）

問題提起
本論文は、有限自己同型群 $G \leq \text{Aut}(S)$ の作用の下で不変なリーマン面 $S$ 上のテータ特性（theta characteristics）のパリティ（偶奇）の決定について扱う。テータ特性とは、線束 $L$ であって $L^{\otimes 2} \cong K_S$ （標準束）を満たすものである。そのパリティは $q(L) = \dim H^0(S, L) \pmod 2$ として定義される。特定の曲線（Hurwitz曲線やモジュラー曲線など）における一意な不変特性の存在は既に確立されているが、そのパリティを決定することは依然として困難な課題であった。

この困難さは、テータ特性を研究するための2つの主要な手法の間の断絶に起因する：

1. ホモロジー的アプローチ： シンプレクティックなホモロジー基底および誘導される表現 $G \to \text{Sp}(2g, \mathbb{Z})$ を決定する。これはパリティの計算を可能にするが、低次種数（genus）の計算に限定される。
2. 群論的アプローチ： $G$-線形化された線束、不変線束、およびシュア乗手 $H^2(G, \mathbb{C}^\times)$ を関連付けるアーベル群の完全系列を利用する。この手法は、不変特性の存在（特に $S/G \cong \mathbb{P}^1$ の場合）を証明するには効果的であるが、パリティを先験的に決定することはできない。

手法
著者は、二重被覆 $\tilde{G} = 2 \cdot G$ の表現論を活用することで、このギャップを埋める手法を提案している。このアプローチは、群 $G$ および $S$ へのその作用に関する特定の簡略化に基づいている：

1. 群の制約： 手法は、$G$ が完全群（$[G, G] = G$）であることを仮定する。これは以下を意味する：

   • $\text{Hom}(G, \mathbb{C}^\times) = 0$ である。
   • $G$ は普遍中心拡大 $\tilde{G}$ を持つ。
   • 任意の $G$-不変線束 $L$ は、一意な $\tilde{G}$-線形化を伴い、それによって線形表現 $\rho: \tilde{G} \to \text{GL}(\Gamma(L))$ が得られる。

2. 中心拡大とパリティ： 著者は $|H^2(G, \mathbb{C}^\times)| = 2$ であると仮定しており、これにより $\tilde{G}$ は一意な中心単元（central involution）$z$ を含む二重被覆となる。

   • 補題 2.1： もし $\rho(z) = -I_n$（ここで $n = \dim \rho$）ならば、$n$ は必ず偶数でなければならない。テータ特性のパリティは切断の空間の次元のモジュロ2に対応するため、$\rho(z) = -I_n$ を証明することは、その特性が偶であることを証明することになる。

3. 作用の制約： 商写像 $\pi: S \to S/G$ のシグネチャが $(0; c_1, \dots, c_r)$（すなわち商が球面）であると仮定する。

   • 著者は、$G$-線形化された束の自由部分の生成元を分析する。$L$ が非 $G$-線形化的であるための条件（これは二重被覆への持ち上げが非自明に作用することを強制する）は、等質群の位数 $c_i$ から導かれる特定の整数 $F$ のパリティに関連している。
   • 具体的には、$c_i = 2^{a_i}b_i$（ただし $b_i$ は奇数）とし、$A = \max(a_i)$ とすると、特性が偶であるための条件は、$A \neq 0$ かつ $a_i = A$ となるインデックス $i$ の個数が奇数であることである。

主な貢献と結果
本論文は、低次のホモロジー計算に頼ることなく、不変なテータ特性が偶であることを証明するための一般的な基準を提供している。主な結果は以下の通りである：

• 定理 1.3： $S$ がHurwitz曲線（$|\text{Aut}(S)| = 84(g-1)$）であり、単純な自己同型群と一意な不変特性 $L$ を持つ場合、$L$ は偶である。
• 予想 1.2 の証明： 本論文は、モジュラー曲線 $X(p)$（ここで $p \geq 7$ は奇素数）に関するBroughton & Disney-Hoggの予想を確認した。これらの曲線において、一意な不変テータ特性は常に偶である。
• Bringの曲線への適用： この手法はBringの曲線（種数4、自己同型群 $A_5$）に適用され、その一意な不変特性が偶であることを検証している。
• 反例の分析： 本論文は、$A_5$ 作用を持つ種数5のハイパーエリプティック曲面（シグネチャ $(0; 3, 3, 5)$）について、一意な不変特性が奇数であることを指摘している。これは、シグネチャ（具体的には $F$ のパリティ）から導かれるパリティ条件が非自明であり、必要であることを示している。

意義
本論文は、Hurwitz曲線の不変特性の分類における特定のギャップを解消したと主張している。先行研究（[BDH25]）は、どの曲線が一意な不変特性を持つかを分類できたが、そのパリティを決定することはできなかった。二重被覆 $\tilde{G}$ の表現論を用いることで、本研究はパリティを決定するための純粋に群論的なメカニズムを提供している。

著者は、これらの特性のパリティを知ることは、関連するファノ多様体のK-安定性を決定するなどの実用的な応用があることを述べている。この手法は、単純な自己同型群を持つすべてのHurwitz曲線に適用可能であるほど十分に一般的であり、それらの一意な不変特性のパリティの分類を完結させるものである。