Level structures on cyclic covers of $\mathbb{P}^n$ and the homology of Fermat hypersurfaces

エドゥアルド・ルイジェンガ（Eduard Looijenga）による論文「$P^n$ の巡回被覆上のレベル構造とフェルマー超曲面のホモロジー」の技術的サマリーを以下に記します。

1. 問題設定 (Problem)

本論文は、代数幾何学とトポロジーの交差点にある以下の問題を取り扱っています。

• 対象: $P^n$ 内の滑らかな射影超曲面 $Z'$（次数 $d > 1$）と、$Z'$ 上で完全に分岐する $\mu_d$（$d$ 乗根のなす群）被覆 $Z \to P^n$。
• 核心的な問い: 被覆空間 $Z$ の原始ホモロジー（primitive homology）と、分岐 locus（分岐多様体）$Z'$ の原始コホモロジーの間の関係を、特に「レベル $d$ 構造（level $d$ structure）」の観点から明確にすること。
• 具体的な動機:
  • 三次曲面（$n=3, d=3$）のモジュライ空間と、Allcock-Carlson-Toledo による球商（ball quotient）記述との関係。
  • Beauville が提起した、「滑らかな三次曲面のマーキング（marking）が、関連する三次超曲面（cubic threefold）のレベル 3 構造を決定するか」という問いへの回答。
  • フェルマー超曲面の対称性群に関する加群としてのコホモロジーの正確な記述（既存の誤りの修正）。

2. 手法 (Methodology)

著者は、代数的トポロジーと群環上の加群論を組み合わせた手法を用いています。

• 群環上の加群論の一般化:
  有限群 $G$ の群環 $\mathbb{Z}G$ 上の加群 $M$ に対して、増大写像（augmentation）$\varepsilon_G$ とその双対（co-augmentation）$\varepsilon_G$ を定義し、これらを用いた 2 つの写像（$r_M$ と $s_M$）を構成します。これらは、加群の不变部分（invariants）と余不变部分（co-invariants）の間の関係を記述します。
• Lefschetz 理論の適用:
  $Z$ から $Z'$ を除いたアフィン超曲面 $\mathring{Z} = Z \setminus Z'$ のホモロジー $\tilde{H}_n(\mathring{Z})$ を $Z\mu_d$-加群として捉えます。Lemma 1.1 に基づき、$Z'$ の原始コホモロジーと $\mathring{Z}$ のホモロジー、そして $Z$ の原始コホモロジーの間に完全列が存在することを示します。
• フェルマー超曲面への具体化:
  一般性を失わずに $Z'$ をフェルマー超曲面（$F = \sum z_i^d = 0$）と仮定し、Pham や Milnor の結果を用いて、$\tilde{H}_n(\mathring{Z})$ を群環 $\mathbb{Z}\mu_d$ のイデアルのテンソル積として具体的に記述します。これにより、写像の核と余核を代数的に厳密に計算できます。
• 双対性と対称性:
  交差積（intersection pairing）が $\mu_d$-不変であることを利用し、$R_d = \mathbb{Z}\mu_d$ 上のエルミート形式を定義します。これにより、$n$ の偶奇に応じて、対称形式または斜対称形式の性質が導かれます。

3. 主要な貢献と結果 (Key Contributions and Results)

主定理 (Theorem 3.3)

$Z'$ の原始コホモロジー $H_P(Z')$ と、被覆 $Z$ の原始ホモロジー $H_P(Z)$ の $\mu_d$-余不变部分 $H_P(Z)_{\mu_d}$ の間の関係を記述します。

• 偶数次 ($n$ が偶数) の場合:
  写像 $r_{Z'}: H_P(Z)_{\mu_d} \to \mathbb{Z}/d \otimes H_P(Z')$ は全射であり、その核は $\mathbb{Z}/d$ の部分群です。さらに、$Z'$ の原始コホモロジーへの射影と、$Z$ の原始コホモロジーへの埋め込みを組み合わせることで、ある可換図式が成立します。
• 奇数次 ($n$ が奇数) の場合:
  双対的な写像 $s_{Z'}: \mathbb{Z}/d \otimes H_P(Z') \to H_P(Z)_{\mu_d}$ が全射となります。
• 素数次数 ($d=p$) の場合:
  上記の全射の核が具体的に記述可能であり、特に $H_P(Z') \otimes \mathbb{F}_p$ と $H_P(Z)_{\mu_d} \otimes \mathbb{F}_p$ の間の自然な同型（または像の同定）が得られます。

具体的な応用と発見

1. 三次曲面と三次超曲面 ($n=3, d=3$):
   • 滑らかな三次曲面 $Z'$ の原始ホモロジーは $E_6$ 型ルート格子の双対と関連します。
   • 本論文の結果により、三次曲面 $Z'$ の「マーキング（Weyl 群 $W(E_6)$ による標識付け）」が、関連する三次超曲面 $Z$ 上の「主レベル 3 構造（principal level 3 structure）」を決定することが示されました。
   • これにより、Beauville の問いに回答し、三次曲面のモジュライ空間が球商であることのより直接的な証明を提供しました。
2. フェルマー超曲面の修正:
   • 著者自身の過去の論文 [7] および Gvirtz と Skorobogatov [4] によって指摘された、フェルマー超曲面のコホモロジーに関する記述の誤りを修正しました。
   • フェルマー超曲面の（コ）原始コホモロジーを、その対称性群（$\mu_d$ 作用を含む）上の加群として正確に記述しました（Corollary 4.2）。
3. 他の多様体への拡張:
   • 次数 2 の del Pezzo 曲面（$P^2$ の 2 重被覆）、次数 4 の K3 曲面、次数 6 の K3 曲面など、他の球商記述を持つモジュライ空間（種数 3, 4 の曲線など）に対しても、レベル構造を課すことで同様の記述が成り立つことを示唆しています（Remark 3.6）。

4. 意義 (Significance)

• モジュライ理論への貢献:
  代数多様体のモジュライ空間が球商（ball quotient）として記述される現象（Allcock-Carlson-Toledo の仕事など）において、レベル構造の導入がどのように機能するかを、ホモロジー論の観点から厳密に解明しました。これは、特定のレベル構造を持つ多様体のモジュライ空間が、より単純な幾何学的対象（球商）と同一視できることを保証します。
• 代数的トポロジーと代数幾何の架け橋:
  有限群作用を持つ空間の共変量（equivariant cohomology）と固定点集合のホモロジーを比較する古典的なトポロジーのテーマを、具体的な代数多様体の文脈で発展させました。
• 誤りの修正と理論の精緻化:
  フェルマー超曲面という基本的かつ重要な例において、コホモロジーの構造に関する既存の誤りを正し、その加群構造を明確にしました。これにより、後の研究における基礎的なデータが確実なものとなりました。
• 一般化の可能性:
  本論文で用いられた「群環上の加群に対する写像のペア」という手法は、他の分岐被覆（abelian 群の被覆など）や、より一般的な滑らかな $G$-被覆に対しても適用可能であり、ホモロジーと分岐 locus の関係を研究する新しい枠組みを提供しています。

要約すると、この論文は、特定のレベル構造を持つ代数多様体のモジュライ空間の幾何学的記述（球商）と、そのホモロジー群の代数的構造（レベル構造）の間の深い対応関係を解明し、特に三次曲面の理論における重要な未解決問題に回答を与えた画期的な成果です。