[論文レビュー] Intermediate Moduli Spaces of Stable Maps

Andrei Mustaţǎ, Magdalena Anca Mustaţǎ|ArXiv.org|Sep 29, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 4

ひとこと要約

本稿は、対称群 $S_d$ の作用におけるより大きな環 $B^*(​​ퟠ_{0,1}(​​ퟠ^n,d);​​\mathbb{Q})$ の不変部分環として、モジュライ空間 $\overline{M}_{0,1}(​​ퟠ^n,d)$ の有理チャウ環を完全に記述する。主な貢献は、対称的 blown-up を通じた中間的モジュライ空間の体系的構成であり、これにより、等変的手法と再帰的関係を用いて、チャウ環の生成子と関係式を明示的に計算可能にする。

ABSTRACT

We describe the Chow ring with rational coefficients of Mbar_{0,1}(P^n,d) as the subring of invariants of a ring B(Mbar_{0,1}(P^n,d);Q), relative to the action of the group of symmetries S_d. We compute B(Mbar_{0,1}(P^n,d);Q) by following a sequence of intermediate spaces for Mbar_{0,1}(P^n,d).

研究の動機と目的

• モジュライ空間 $\overline{M}_{0,1}(\mathbb{P}^n,d)$ の有理チャウ環を記述すること。この空間は、$\mathbb{P}^n$ 内の次数 $d$ の有理曲線に1つのマークド点を備えたものをパラメトライズする。
• 特に $m=1$ かつ $d>1$ の場合に、このようなモジュライ空間のコホロジーおよびチャウ環に関する一般的知識が不足していることに対処すること。
• グラフ空間 $G(\mathbb{P}^n,d)$ とターゲット空間 $\mathbb{P}^n_d$ の間を補間する一連の中間的モジュライ空間に基づく、新しい体系的計算手法を開発すること。
• チャウ環がその $S_d$-不変部分環として構成される母体となる環 $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ の完全な生成子と関係式のセットを提供すること。

提案手法

• 写像 $\Phi: G(\mathbb{P}^n,d) \to \mathbb{P}^n_d$ を、逐次的 blown-up を通じて因数分解する一連の中間的モジュライ空間 $G(\mathbb{P}^n,d,k)$ を構成する。
• Fulton-MacPherson の配置空間 $\mathbb{P}^1[(n+1)d]$ 上の局所的 $(S_d)^{n+1}$-被覆 $G(\mathbb{P}^n,d,k,\bar{t})$ を用い、$\mathbb{P}^n$ の同次座標 $\bar{t}$ を用いて、剛性化されたモジュライ空間構成を一般化する。
• 配置空間上のトーラスバンドルの引き戻しとして中間空間 $\overline{M}_{0,1}(\mathbb{P}^n,d,k)$ を定義し、対称群作用と整合性を保つようにする。
• 分割でインデックス付けられたストラトス上での $T_h$-類と $\psi$-類の再帰的関係を用い、式 $T_h H_{h,\emptyset}^{n+1} = \sum_{h' \supset h} \psi_{h'} P^{d-1}_{\emptyset,h}(\{T_{h''}\}, t_{h'})|_{t_{h'}=0}$ を用いて高次項を削減する。
• 分割の成分数に関する帰納法を用い、すべての関係式が提示されたイデアルによって生成されることを証明する。$P^{d-1}_{\emptyset,h}$ の構造と、$\psi$-類の特殊化における振る舞いを用いる。
• 有理チャウ環 $A^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ が、$B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ の $S_d$-不変元の部分環に同型であることを確立し、後者環が生成子と関係式によって完全に記述されることを示す。

実験結果

リサーチクエスチョン

• RQ1 有理チャウ環 $A^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ は、どのように対称的不変量として記述可能か？
• RQ2 写像 $\Phi: G(\mathbb{P}^n,d) \to \mathbb{P}^n_d$ を因数分解し、チャウ環の計算を容易にするために、どのような中間的モジュライ空間を構成できるか？
• RQ3 $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ の完全な生成子と関係式のセットは何か？この環は、チャウ環がその $S_d$-不変部分環として構成される母体となる。
• RQ4 $\psi$-類と $T_h$-類は、次数 $d$ の成分の分割でインデックス付けされたストラトス上でどのように相互作用するか？
• RQ5 $P^{d-1}_{\emptyset,h}$ と $\psi$-類を含む再帰的関係式を用いて、任意の単項式を関係式のイデアルに関して基底に還元できるか？

主な発見

• 有理チャウ環 $A^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ は、$B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ の $S_d$-不変元の部分環に同型であり、完全な構造的記述が得られる。
• $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ は、次数 $d$ の成分の分割でインデックス付けされたストラトス上の $T_h$-類と $\psi$-類によって生成され、関係式は $P^{d-1}_{\emptyset,h}$ を含む再帰的公式から導かれる。
• 生成子間の関係は再帰的構造に符号化されている：$T_h H_{h,\emptyset}^{n+1} = \sum_{h' \supset h} \psi_{h'} P^{d-1}_{\emptyset,h}(\{T_{h''}\}, t_{h'})|_{t_{h'}=0}$ であり、高次項の削減を可能にする。
• 関係式のイデアルは、$r(I) = \prod_{h \in I} T_h \cdot \psi^{|I|-1} \cdot \prod_{i=1}^{d-l_I} (H + i\psi)^{n+1}$ の形の式によって生成され、これらが $I$ と互いに素な $h'$ に対して $r(Ih')$ が生成するイデアルに含まれることが、帰納法により示される。
• 証明はインデックス集合 $I$ に関する減少帰納法に依拠し、$r(I)$ が $r(Ih')$ が生成するイデアルに属することを示し、関係式系の整合性を確認する。
• 最終的な結果として、有理チャウ環は、明示的な生成子と関係式を持つ環の $S_d$-不変部分環として完全に決定され、グロモフ＝ウィッテン不変量の計算フレームワークを提供する。