[论文解读] Intermediate Moduli Spaces of Stable Maps

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

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

一句话总结

本文完整描述了模空间 $\overline{M}_{0,1}(\mathbb{P}^n,d)$ 的有理查环，将其作为对称群 $S_d$ 作用下更大环 $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ 的不变子环。关键贡献在于通过配置空间的对称爆破系统构造中间模空间，从而利用等变技术与递归关系，实现对查环生成元与关系的显式计算。

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).

研究动机与目标

• 描述参数化 $\mathbb{P}^n$ 中度 $d$ 有理曲线并带有一个标记点的模空间 $\overline{M}_{0,1}(\mathbb{P}^n,d)$ 的有理查环。
• 克服关于此类模空间上同调与查环的一般知识的缺乏，特别是当 $m=1$ 且 $d>1$ 时，此前结果有限。
• 开发一种新方法，基于一系列介于图空间 $G(\mathbb{P}^n,d)$ 与目标空间 $\mathbb{P}^n_d$ 之间的中间模空间，实现系统化计算。
• 为 $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ 提供一组完整的生成元与关系，该环是查环作为其 $S_d$-不变子环的构造基础。

提出的方法

• 构造一系列中间模空间 $G(\mathbb{P}^n,d,k)$，通过逐次爆破因子化双有理态射 $\Phi: G(\mathbb{P}^n,d) \to \mathbb{P}^n_d$。
• 使用 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 如何以对称不变量的形式描述 $\overline{M}_{0,1}(\mathbb{P}^n,d)$ 的有理查环？
• RQ2 可构造哪些中间模空间以因子化态射 $\Phi: G(\mathbb{P}^n,d) \to \mathbb{P}^n_d$，并促进查环的计算？
• RQ3 构成查环作为其 $S_d$-不变子环基础的环 $B^*(\overline{M}_{0,1}(\mathbb{P}^n,d);\mathbb{Q})$ 的完整生成元与关系集为何？
• 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})$ 由分划索引的单体上的 $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}$ 的表达式生成，且通过归纳法证明其包含于由 $r(Ih')$（$h'$ 互不相交）生成的理想中。
• 证明依赖于对指标集 $I$ 的递减归纳，表明 $r(I)$ 属于由 $r(Ih')$ 生成的理想，从而确认关系系统的自洽性。
• 最终结果为：有理查环完全由具有显式生成元与关系的环的 $S_d$-不变部分决定，为格罗莫夫-威滕不变量提供了计算框架。