[論文レビュー] The kappa ring of the moduli of curves of compact type: II

Rahul Pandharipande|ArXiv.org|Jun 15, 2009

Algebraic Geometry and Number Theory参考文献 16被引用数 13

ひとこと要約

本論文は、コンpact型曲線のモジュライ空間の$κ$環に関する普遍性定理を確立し、安定写像の仮想的幾何を介して、 genus 0 における$κ$類の関係が、すべての高次の genus に普遍的に拡張されることを証明する。主な結果は、高次の genus における$κ$環が、genus 0 の$κ$環の自然な商であることを確認し、socleペアリングの非退化性を検証することで、Gorenstein予想に対する強い証拠を提供する。

ABSTRACT

The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied. Relations, constructed via the virtual geometry of the moduli of stable maps, are used to prove universality results relating the kappa rings in genus 0 to higher genus. Predictions for kappa classes of the Gorenstein conjecture are proven.

研究の動機と目的

• コンpact型曲線のモジュライ空間の$κ$環について、すべての genus にわたる普遍性の性質を確立すること。
• genus 0 における$κ$類の関係が、すべての高次の genus における関係を示すこと。
• $M_{g,n}^c$ のタウトロジカルな環における socle 評価ペアリングの非退化性を検証することで、Gorenstein予想に対する証拠を提供すること。
• genus 0 の$κ$環を普遍的源泉として用いて、高次の genus における$κ$環の基底を導出すること。

提案手法

• 安定写像のモジュライ空間の仮想的幾何を用いて、$κ$類の間の普遍的関係を構成する。
• $R^*(M_{g,n}^c)$ のタウトロジカルな環におけるストラタクラスにわたる交線論を適用して関係を導出する。
• 生成関数と$κ$および$ψ$類を含む行列恒等式を用いて、$κ$環の構造を分析する。
• 忘却写像による$ψ$単項式の押し出しを活用して、$ψ$類と$κ$類を関連付ける。
• $x\frac{d}{dx}\mathsf{F}_{\emptyset} = -\mathsf{F}_0$ および生成関数を用いて、重要な行列の三角性を証明する。
• $\mathsf{L}_0(d)$ の下三角行列性と$\pm1$ の対角成分を証明することで、行列式の公式とランクの上限を確立する。

実験結果

リサーチクエスチョン

• RQ1 genus 0 における$κ$類のすべての関係が、$M_{g,n}^c$ の$κ$環において、すべての高次の genus に拡張可能か？
• RQ2 $g>0$ における$M_{g,n}^c$ の$κ$環が、genus 0 の$κ$環の自然な商として実現可能か？
• RQ3 $κ$環における socle 評価ペアリングが非退化しているか。これは Gorenstein 予想に対する証拠を提供する。
• RQ4 $κ$単項式を用いた$\kappa^d(M_{g,n}^c)$ 空間の正確な基底は何か？

主な発見

• genus $g$ で $n$ 個のマークド点を持つ$κ$環は、$\iota_{g,n}$ を通じて、$2g+n$ 個のマークド点を持つ genus 0 の$κ$環の自然な商として与えられる。
• $n>0$ のとき、$\kappa^d(M_{g,n}^c)$ の$\mathbb{Q}$-基底は $\{\kappa_{\mathbf{p}} \mid \mathbf{p} \in P(d, 2g-2+n-d)\}$ で与えられる。
• $\kappa^d(M_{0,n}^c)$ の次元は $|P(d, n-2-d)|$ であり、これは genus 0 の$κ$環のランクを確認する。
• 固定された $\zeta = 2g-2+n$ を持つすべての $M_{g,n}^c$ において、$κ$単項式の次数 $d$ の関係の空間のランクは、$|P(d)| - |P(d, \zeta - d)|$ 以上である。
• $\mathsf{L}_0(d)$ は、対角成分が $\pm1$ の下三角行列であり、行列式の公式を証明し、普遍性結果を支持する。
• 定理2により、$\xi \neq 0$ のとき、socle 評価 $L_\xi(\gamma) = \int_{\overline{M}_{g,n}} \overline{\gamma} \cdot \lambda_g \cdot \xi$ が非自明であることが確認され、Gorenstein予想に対する強い証拠が得られる。