[論文レビュー] On the Chow and cohomology rings of moduli spaces of stable curves

Samir Canning, Hannah Larson|arXiv (Cornell University)|Aug 3, 2022

Algebraic Geometry and Number Theory被引用数 7

ひとこと要約

本稿は、$g=2$ および $n\leq9$、また $3\leq g\leq7$ および $2g+n\leq14$ の場合に、安定曲線のモジュライ空間 $\overline{\mathcal{M}}_{g,n}$ の有理チャウ環およびコホモロジー環が、タウトロジカルクラスによって生成されることを確立する。著者らは、ブローアップ分解、プッシュ・プル論法、およびCKgP（チャウ・キュンネンス性質）を組み合わせた幾何的技法を用いて、タウトロジカル環がゴレーンシュタイン的であり、これらのケースにおいてモジュライ空間が多項式的点数を持つことを証明する。

ABSTRACT

In this paper, we ask: for which $(g, n)$ is the rational Chow or cohomology ring of $\overline{\mathcal{M}}_{g,n}$ generated by tautological classes? This question has been fully answered in genus $0$ by Keel (the Chow and cohomology rings are tautological for all $n$) and genus $1$ by Belorousski (the rings are tautological if and only if $n \leq 10$). For $g \geq 2$, work of van Zelm shows the Chow and cohomology rings are not tautological once $2g + n \geq 24$, leaving finitely many open cases. Here, we prove that the Chow and cohomology rings of $\overline{\mathcal{M}}_{g,n}$ are isomorphic and generated by tautological classes for $g = 2$ and $n \leq 9$ and for $3 \leq g \leq 7$ and $2g + n \leq 14$. For such $(g, n)$, this implies that the tautological ring is Gorenstein and $\overline{\mathcal{M}}_{g,n}$ has polynomial point count.

研究の動機と目的

• $(g,n)$ のどの組に対して、$\overline{\mathcal{M}}_{g,n}$ の有理チャウ環およびコホモロジー環がタウトロジカルクラスによって生成されるかを特定すること。
• genus 0 および 1 における既知の結果を、特に $g=2$ および $3\leq g\leq7$ に拡張し、タウトロジカル環が全チャウ環であると予想される場合に適用すること。
• 特定のケースにおいて、タウトロジカル環がゴレーンシュタイン的であり、$\overline{\mathcal{M}}_{g,n}$ が多項式的点数を持つことを確立すること。
• 幾何的分解技法およびチャウ・キュンネンス性質（CKgP）を用いて、チャウ群の写像の上への性質およびタウトロジカル生成を証明すること。
• $g\leq7$ における $\overline{\mathcal{M}}_{g,n}$ のタウトロジカル環の分類における残りの未解決ケースを埋め、全体像を完成させること。

提案手法

• CKgPを用いて、特定のモジュライ空間およびそのストラトゥムがタウトロジカルクラスによってチャウ群を生成することを示すこと。
• 特に $\beta_n'$ を通じた、正規写像に沿った切除およびプッシュ・プル公式の適用により、$\mathcal{M}_{g,n}$ のストラトゥムのチャウ環を $\mathcal{H}_{4,g,n}^f$ のようなより構造的な空間のチャウ環と関係づけること。
• $\mathcal{M}_{g,n}$ のストラティフィケーションを、$\mathcal{M}_{g,n}^3$ や $PQ_n$ などの局所的集合を用いて構成し、各ストラトゥムがCKgPを満たすことを証明すること。
• 既知の低世代（例えば、genus 0 および 1）におけるタウトロジカル生成の結果を活用し、帰納的幾何的議論によりそれらを拡張すること。
• アフィン空間の $\mathrm{GL}_d$ および $\mathrm{SL}_2$ による商構造とベクトルバンドル構造を用いて、スタックをCKgPを持つ商として実現すること。
• Lemma 3.3, 3.5, 3.8 および 4.1/4.3（埋め込み条件）を用いて、CKgPおよびタウトロジカル生成をモジュライ空間全体に伝搬させること。

実験結果

リサーチクエスチョン

• RQ1 どの $(g,n)$ に対して、$\overline{\mathcal{M}}_{g,n}$ の有理チャウ環がタウトロジカルクラスによって生成されるか？
• RQ2 どの $(g,n)$ に対して、$\overline{\mathcal{M}}_{g,n}$ の有理コホモロジー環がタウトロジカルクラスによって生成されるか？
• RQ3 特定のケースにおいて、$\overline{\mathcal{M}}_{g,n}$ のタウトロジカル環はゴレーンシュタイン性質を満たすか？
• RQ4 チャウ環がタウトロジカルである場合、モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ は有限体上で多項式的点数を持つか？
• RQ5 CKgPおよびプッシュ・プル技法を用いて、開ストラトゥムから全コンパクト化モジュライ空間へのタウトロジカル生成を拡張できるか？

主な発見

• $g=2$ および $n\leq9$ の場合、$\overline{\mathcal{M}}_{g,n}$ のチャウ環およびコホモロジー環は同型であり、タウトロジカルクラスによって生成される。
• $3\leq g\leq7$ および $2g+n\leq14$ の場合、$\overline{\mathcal{M}}_{g,n}$ のチャウ環およびコホモロジー環は同型であり、タウトロジカルクラスによって生成される。
• これらのケースにおいて、タウトロジカル環はゴレーンシュタイン的であり、チャウ環に双対性構造が存在することを示唆する。
• 特定の $(g,n)$ に対して、モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ は有限体上で多項式的点数を持つ。
• 証明は、$\mathcal{M}_{g,n}\setminus\mathcal{M}_{g,n}^3$ や $\mathcal{M}_{g,n}\setminus(\mathcal{M}_{g,n}^3\cup PQ_n)$ のような重要なストラトゥムがCKgPを満たし、$\mathcal{H}_{4,g,n}^f$ からのプッシュフォワードがチャウ群に上への写像を誘導することに依拠している。
• タウトロジカル生成は、$n\leq4f-2g+1$ のとき $A^*((\mathbb{P}\mathcal{E}^\vee)^n)$ から $A^*(\mathcal{H}_{4,g,n}^f)$ への上への写像により確立され、主なケースでは $f=4$ である。