On the Hodge and Tate conjectures for moduli spaces of curves

技術的概要：曲線のモジュライ空間におけるホッジ予想とテート予想について

問題提起
ホッジ予想とテート予想は、代数多様体のコホモロジーと代数サイクルを関連付ける中心的かつ未解決の主要な問題である。歴史的な進展は、非自明な族の中で変形する多様体（例えば、アーベル多様体や K3 曲面）や、特殊な自己準同型を持つ多様体に依存してきたが、安定曲線のモジュライ空間 $\mathcal{M}_{g,n}$ は、これらとは異なる検証の場を提供する。これらの空間は族の中で変形せず、豊かな複雑なホッジ構造とガロア表現を持つ無限の離散的な集合を形成する。本論文は、$\mathcal{M}_{g,n}$ のコホモロジーに対するホッジ予想とテート予想の検証、特にそれらの一般化されたコニベ形式における検証に取り組む。一般化された形式は、偶数次のクラスがサイクルに由来するかどうかを問うだけでなく、コホモロジー内の特定の部分構造（部分ホッジ構造またはガロア部分表現）が、予測された余次元の代数部分集合上で支えられているかどうかを問うものである。

手法
本論文は、最近のコホモロジー計算を、アルベッラロとコルナッロによって確立された帰納的枠組みと統合する。手法は以下の 3 つの主要な柱に依存している。

1. 帰納的境界層化：証明戦略は、安定曲線の位相的タイプによる $\mathcal{M}_{g,n}$ の層化を利用する。境界除数 $\bar{D}_{g,n}$ は、より小さなモジュライ空間の積の非交和である。局所化系列と重み論理を用いることで、$\mathcal{M}_{g,n}$ 上のコホモロジー類は、より小さなモジュライ空間上のクラスおよび内部コホモロジーの純粋重み部分に関連付けられる。
2. タウトロジー的生成：中核的な手法は、コホモロジー群がタウトロジー的クラス（$\kappa$-、$\psi$-、および境界クラスによって生成される）によって生成されるかどうかを決定することである。$H^{2k}(\mathcal{M}_{g,n})$ がタウトロジー的であれば、ホッジ予想とテート予想は余次元 $k$ のサイクルに対して成り立つ。本論文は、高次コホモロジーを制御するために「半タウトロジー的拡張」を採用し、問題を基本ケースに帰着させる。
3. 算術的インスピレーションと分類：結果は、Chenevier と Lannes によるモティーフィック重みが $\le 22$ の自己同型表現の分類によって導かれている。この分類は、$\mathbb{Z}$ 上で滑らかかつ固有な多様体のコホモロジーに現れる特定のモティーフィック構造（例えば、$S_{12}$、$S_{16}$）を予測する。本論文は、これらの予測を用いて、特に奇数次における非タウトロジー的クラスが予想される支持軌跡を特定する。
4. 基本ケースの検証：帰納的議論は、小さな $g$ と $n$ に対する基本ケースの明示的な検証を必要とする。これらは以下の手法によって確立される。
   • 有限体上の点の数え上げと Behrend–Grothendieck–Lefschetz 跡公式。
   • Chow–Künneth 生成性。
   • 明示的な幾何学的構成（例えば、Mukai による標準曲子の記述）。
   • 位相的消滅定理（例えば、Harer による仮想コホモロジー次元の上限）。

主要な貢献と結果

• 特定範囲における予想の検証：本論文は、ホッジ予想とテート予想の一般化された形式が、驚くほど広い次数範囲で $\mathcal{M}_{g,n}$ に対して成り立つことを証明する。

  • 余次元 1 および 2：すべての $g, n$ に対して成り立つ。
  • 余次元 3：すべての $n$ および $g \notin \{7, 8, 9\}$ に対して成り立つ。
  • 次元 $\le 7$：すべての $g, n$ に対して成り立つ。
  • 一般化ホッジ予想：偶数 $k \le 4$（すべての $g,n$）、$k=6$（$g \notin \{7,8,9\}$）、奇数 $k \le 13$（すべての $g,n$）、および $k = 2d-j$（$0 \le j \le 15$）に対する $H^k(\mathcal{M}_{g,n})$ に対して成り立つ。
  • 一般化テート予想：有限生成体 $L$ 上、同じ範囲で成り立つが、$L$ の標数 $p$ に関する通常性条件に依存する（具体的には、$p$ は $S_{12}$ に対する Ramanujan の $\tau$-関数や、$S_{16}$ に対する重み 16 の尖点形式のフーリエ係数を割り切ってはならない）。

• コホモロジー群の構造：

  • 偶数次：低い偶数次（$k \le 6$、ただし $k=6$ において $g \in \{7,8,9\}$ の場合は例外）では、コホモロジーはタウトロジー的クラスによって生成される。
  • 奇数次：奇数 $k < 11$ に対して $H^k(\mathcal{M}_{g,n}) = 0$ である。$k=11$ において、コホモロジーは $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$ のテートねじれの直和であり、これは Ramanujan の尖点形式 $\Delta$ に関連している。$k=13$ において、コホモロジーは除数（境界層）上で支えられ、$S_{12}$ のテートねじれからなる。
  • 高次：ポアンカレ双対性と Hard Lefschetz 定理により、低次の結果は高次（$2d-k$）の結果を意味する。

• モティーフィック構造：本論文は、重み 15 までの $H^*(\mathcal{M}_{g,n})$ に現れるモティーフィック構造が Chenevier–Lannes の分類と整合することを確認する。具体的には、11 次未満の奇数次コホモロジーは消滅し、$H^{11}$ は $S_{12}$ に由来し、$H^{13}$ は境界で支えられた $S_{12}$ のテートねじれに由来する。

• Chow 群に関する予想：本論文は、有理数係数 Chow 群 $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$ が $k \le 10$ に対してタウトロジー的サイクルによって生成されることを主張するChow 10 予想を提案する。これは、$k \le 10$ に対してサイクル類写像が同型であることを意味する。

意義と主張
本論文は、境界層化の帰納的構造が、現代の算術的予測と明示的な低種数計算と組み合わさることで、以前はアクセス不可能だった範囲で一般化されたホッジ予想とテート予想を検証することを主張する。

• アプローチの新規性：族内の変動に依存する従来のアプローチとは異なり、本作業は、$\mathcal{M}_{g,n}$ の「タウトロジー的接着と忘却射」および境界層化が、これらの深遠な予想を検証するのに十分な構造を提供することを示す。
• 算術と幾何の架け橋：本論文は、$\mathbb{Z}$ 上のモティーフに関する算術的予測（Chenevier–Lannes）が幾何学的証明の指針として機能する方法を浮き彫りにする。幾何学的結果は、曲線のモジュライ空間に対してこれらの予測を無条件に確認する。
• 未解決問題：本論文は、以下の具体的な残存課題を特定する。
  • $g \in \{7, 8, 9\}$ の場合の $H^6(\mathcal{M}_{g,n})$ に対するタウトロジー的生成の証明。
  • $H^{15}(\mathcal{M}_{g,n})$ に対する一般化ホッジ予想の検証。
  • 予想されたコニベがジャンプする非通常素数（$p | \tau(p)$ となる $p$）におけるコホモロジーの支持の調査。
  • 既知の幾何学的説明なしに、異なるモジュライ空間（例えば、$\mathcal{M}_{1,17}$ と $\mathcal{M}_{2,14}$ における $S_{18}$）に現れる同型のモティーフィック構造に対する代数サイクルの構成。

本作業は、$\mathcal{M}_{g,n}$ をモティーフィック予想のための堅牢な検証の場として確立し、検証されたケースの「驚くほど広い範囲」を提供すると同時に、新しい現象（非タウトロジー的クラスや非通常素数など）が出現する正確な境界を画定する。