[論文レビュー] Tautological classes on the moduli spaces of stable maps to projective spaces

Dragos Oprea|ArXiv.org|Apr 16, 2004

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

ひとこと要約

本稿では、点と超平面を固定する非一般のトーラス作用を用いた新規な局在化アプローチにより、射影空間 ℙʳ への genus 0 の安定写像のモジュライ空間上のすべての有理 Chow 級層が tautological であることを確立する。Bialynicki-Birula 分解をモジュライスタックに対して構成することで、Kontsevich-Manin 空間と Gathmann 空間のファイバー積を通じて有理 Chow 群が tautological 級層によって生成されることを示し、明示的な余次元の公式と帰納的構造を特定する。

ABSTRACT

We present a localization proof of the fact that the cohomology of the moduli spaces of genus zero stable maps to projective spaces is entirely tautological. In addition, we obtain a description of a Bialynicki-Birula stratification in the context of Gathmann's moduli spaces of maps with prescribed contact order to a fixed hyperplane.

研究の動機と目的

• ℙʳ への genus 0 の安定写像のモジュライ空間上のすべての有理 Chow 級層が tautological であることを証明すること。
• 点と超平面を固定する非一般のトーラス作用を用いた、新しい局在化手法の開発。
• 安定写像のモジュライスタックに対して、フィルタブルな Bialynicki-Birula 分解の構成により、Chow 群の帰納的計算を可能にすること。
• これらのモジュライ空間において、有理コホモロジーと有理 Chow 群が同型であることを示すこと。
• Gathmann 空間と Kontsevich-Manin 空間のファイバー積を通じて、tautological 級層が有理 Chow 群を生成することを示すこと。

提案手法

• ℙʳ に作用する非一般のトーラス作用 t·[z₀:…:zᵣ] = [z₀:tz₁:…:tzᵣ] を用い、点 p と超平面 H を固定する。
• 安定写像のモジュライスタックに対する Bialynicki-Birula 分解を構成し、固定局所有の局所的閉部分スタック（＋セル）に分解する。
• 固定局所を符号化するための装飾付きグラフ Γ を定義し、頂点を p や H に写像する成分でラベル付けし、辺を次数ラベル付きの成分で表す。
• ＋セルの閉包を、ℙʳ 上の Kontsevich-Manin 空間と Gathmann 空間のファイバー積 YΓ への写像の像として表現する。
• 各＋セルの閉包が、それより小さいグラフに対応する＋セルの和集合に含まれるように、装飾付きグラフに部分順序を定義し、フィルタブル性を保証する。
• 帰納法と超平面へのインシデント条件の還元を用い、一般の場合を扱う。Gathmann の関係を用いて、重複度を 0 または 1 に還元する。

実験結果

リサーチクエスチョン

• RQ1 ℙʳ への genus 0 の安定写像のモジュライ空間上のすべての有理 Chow 級層は tautological か？
• RQ2 非一般のトーラス作用を用いて、安定写像のモジュライスタックに対する Bialynicki-Birula 分解を構成できるか？
• RQ3 安定写像のモジュライスタックの Bialynicki-Birula 分解はフィルタブルか？ これにより Chow 群の帰納的計算が可能か？
• RQ4 各＋セルの余次元は、装飾付きグラフ構造から明示的に計算可能か？
• RQ5 Gathmann 空間と Kontsevich-Manin 空間のファイバー積は、モジュライ空間の有理 Chow 群を生成するか？

主な発見

• ℙʳ への genus 0 の安定写像のモジュライ空間上のすべての有理 Chow 級層は tautological であり、tautological 環の強い構造的性質を確認する。
• モジュライスタックの Bialynicki-Birula 分解はフィルタブルであり、各＋セルの閉包がより小さいグラフに対応するセルの和集合に含まれるような、装飾付きグラフへの部分順序が存在する。
• 各＋セル 𝒻⁺_Γ の余次元は d + s − u で与えられ、ここで d は総次数、s は正の次数または次数 ≥3 の H-ラベル付き頂点の数、u は次数 0 で次数 1 の H-ラベル付き頂点の数である。
• モジュライ空間の有理コホモロジーと有理 Chow 群は同型であり、すべての有理クラスが tautological であることを支持する。
• 有理 Chow 群は、Gathmann 空間と Kontsevich-Manin 空間の線形部分空間への tautological 部分スタックのファイバー積の像によって生成され、インシデント条件の還元による明示的帰納的構成が可能である。
• tautological 級層は Chow 群を生成し、その構造は装飾付きグラフとトーラス作用の組み合わせ論によって制御され、体系的な計算が可能になる。