An introduction to the intersection theory of the moduli space of curves

技術的要約：曲線のモジュライ空間の交差理論への導入

問題提起
本サーベイが扱う中心的な問題は、曲線のモジュライ空間 $M_g$ の交差理論、特にその Chow 環 $A^*(M_g)$ の構造に関する理解である。著者は、完全な Chow 環と、普遍族の幾何学から自然に生じる類によって生成される部分環であるトートロジー的環（tautological ring） $R^*(M_g)$ との関係を調査している。本サーベイは、以下の2つの根本的な問いに焦点を当てている：

1. 生成（Generation）: Chow 環 $A^*(M_g)$ はトートロジー的な類によって生成されるか？
2. 関係式（Relations）: トートロジー的な類の間にある完全な関係式の集合は何か？

本論文は、低次数の種数においては Chow 環がよく理解されている一方で、種数 $g$ が大きくなるにつれて状況はますます複雑になり、高次の種数における非トートロジー的な類の存在が重要な未解決領域として残っていることを強調している。

手法と枠組み
本論文は、代数幾何学の標準的な道具立て、具体的にはモジュライ空間（しばしば Deligne–Mumford スタックとして扱われる）に適応させた交差理論および Chow 環を用いている。

• 基礎的な道具: 本サーベイでは、有理同値によるサイクルとしての Chow 群 $A_*(X)$ の定義を復習する。また、適切な押し出し（proper pushforward） $f_*$、平坦な引き戻し（flat pullback） $f^*$、および開集合／閉集合の部分スキームに対する切除完全列（excision sequence）を利用する。交差の計算には、push-pull 公式や、過剰交差（excess intersection）を介した自己交差公式が中心的な役割を果たす。
• トートロジー的な類: マムフォードの哲学に従い、トートロジー的な類は普遍族から生じるものとして定義される。$M_g$ においては、以下が含まれる：
  • $\kappa$-類: 普遍曲線 $f: C_g \to M_g$ に沿った相対的双対層 $\omega_f$ の第1 Chern 類の冪の押し出しとして定義される。
  • $\lambda$-類: Hodge バンドル $E = f_*\omega_f$ の Chern 類として定義される。
  • $\psi$-類: 点付きモジュライ空間 $M_{g,n}$ 上で、普遍曲線の切断を通じて定義される。
• 層化と貼り合わせ（Stratification and Gluing）: 手法は、モジュライ空間を（柄性（gonality）による、あるいはコンパクト化のための安定グラフによる）層化すること、および切除完全列を用いて各層の Chow 環を全体に関連付けることに大きく依存している。コンパクト化 $\overline{M}_{g,n}$ については、トートロジー的環は、貼り合わせ写像（安定グラフに関連）および忘却写像の下での押し出しに関して閉じている最小の部分環の体系として定義される。
• 計算手法: 本論文では、退化軌跡（degeneracy loci）のための Porteous 公式、押し出しの Chern 類を関連付けるための Grothendieck–Riemann–Roch、および非トートロジー的な類を検出するためのコホモロジーにおける Künneth 分解の使用について論じている。

主要な貢献と結果

1. トートロジー的環の概観:

   • 本論文は、$R^*(M_g)$ の構造に関する Faber 予想（$\kappa$-類による次数 $\lfloor g/3 \rfloor$ までの生成、次数 $> g-2$ での消滅、および最高次における完全なペアリングの存在）を概観している。
   • Faber–Zagier 関係式（Faber と Zagier によって提唱され、Pixton と Pandharipane によって証明されたもの）が広範な関係式を提供しているものの、それらが「すべての」関係式であるかどうかは依然として未解決の問題であることを指摘している。最近の計算的証拠（Canning）は、$g=24$ において次数 $g-2$ でのペアリングが完全ではないことを示唆しており、これは Faber 予想（第3部）が偽であるか、あるいは Faber–Zagier 関係式が不完全であることを意味している。

2. 生成の結果（$A^*(M_g) = R^*(M_g)$ となる場合）:

   • 本論文は、$2 \le g \le 9$ において、Chow 環がトートロジー的な類によって生成されること（$A^*(M_g) = R^*(M_g)$）を確認している。この結果は、Mumford、Faber、Izadi、Penev–Vakil、および Canning–Larson の研究を統合したものである。
   • ケーススタディ：種数 3: 著者は $g=3$ の詳細な証明スケッチを提供している。戦略としては、$M_3$ をハイパーエリプティック軌跡 $H$ と滑らかな平面四角形の軌跡 $P$ に層化した上で進める。
     • $H$ は、$M_{0,8}/S_8$ との関連を通じて、有理的に自明な Chow 環を持つことが示される。
     • $P$ は商スタック $U/GL_3$ として分析され、その Chow 環は Hodge バンドルの Chern 類（これはトートロジー的である）によって生成される。
     • 切除完全列を用いることで、証明は $[H]$ がトートロジー的であることを示すことに帰着される。これは、$H$ を $C_2$ 上のベクトル束の間の写像の退化軌跡として実現することで達成される。

3. 非トートロジー的な類（$A^*(M_g) \neq R^*(M_g)$ となる場合）:

   • 本論文は、$g=12$ および $g \ge 16$ において、Chow 環がトートロジー的な類によって生成されないことを確立している。
   • ケーススタディ：種数 12: 著者は Van Zelm による非トートロジー的な類の構成を詳述している。問題となる類は、バイエリプティック軌跡（bielliptic locus） $B_{12}$（楕円曲線への次数 2 の写像を持つ曲線）の基本類である。
     • 証明は、貼り合わせ写像 $i: M_{1,11} \times M_{1,11} \to M_{12}$ を利用している。
     • $i$ を通じて $[B_{12}]$ を引き戻すことで、$M_{1,11} \times M_{1,11}$ における対角成分 $\Delta$ を含む類が得られる。
     • 論証は Hodge 理論 と Künneth 成分 に依拠している。具体的には、$H^{11,0}(M_{1,11}) \neq 0$ である。対角成分の類は $H^{11,0} \otimes H^{0,11}$ に非ゼロの成分を持つ。
     • $M_{12}$ の境界上に支持される類（およびその引き戻し）は、特定の Hodge 型を欠いていることが示される。具体的には、貼り合わせ写像を通じて引き戻されたトートロジー的な類は、特定の Hodge 制約（具体的には、対角成分に見られる特定の奇数次の Hodge 型を生成できないこと）を尊重しなければならないため、$[B_{12}]$ はトートロジー的ではあり得ない。

意義と主張
本論文は、$M_g$ の交差理論における最新の状態への導入として位置づけられている。その意義は以下の点にある：

• 統一的な枠組み: 古典的な例（グラスマン多様体、分類スタック $BGL_k$）から現代の曲線のモジュライ理論へと接続し、「トートロジー的」な類がいかに普遍的性質から自然に生じるかを明らかにしている。
• 知識の境界の明確化: Chow 環がトートロジー的である既知のケース（$g \le 9$）と、そうでないケース（$g=12, g \ge 16$）を明確に区別し、問題が未解決である種数（$10, 11, 13, 14, 15$）を浮き彫りにしている。
• 手法の提示: 生成（$g=3$）と非生成（$g=12$）の証明スケッチを通じて、これらの問題に対処するために必要な具体的な技術的道具（層化と切除、および Hodge 理論を用いた Künneth 解析）を示している。

著者は、整な Chow 環は $g=2$ の場合のみ既知であるが、有理的な Chow 環は $g \le 9$ まで理解されており、特定の高次種数において非トートロジー的な類の存在が確立されていると控えめに主張している。本論文は未解決のケースを解決することを目的としているのではなく、それらに取り組むために用いられる「最先端の道具の趣旨（flavor of the state-of-the-art tools）」を提供することを目指している。