[论文解读] Moduli of weighted stable maps and their gravitational descendants

Valery Alexeev, G. Michael Guy|ArXiv.org|Jul 26, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 3

一句话总结

本文构建了关于权重数据 $A = (a_1, \dots, a_n)$，$0 \leq a_i \leq 1$ 的射影代数簇 $V$ 上的加权稳定映射的模空间，建立了重力下 Descendants 的墙穿跃公式。证明了加权 Descendants 可以用无权重者表示（反之亦然），推广了经典 Gromov-Witten 不变量，并将弦、稀释和除子方程推广至加权情形。

ABSTRACT

We study the intersection theory on the moduli spaces of maps of $n$-pointed curves $f:(C,s_1,... s_n) o V$ which are stable with respect to a weight data $(a_1,..., a_n)$, $0\le a_i\le 1$. After describing the structure of these moduli spaces, we prove a formula describing the way each descendant changes under a wall crossing. As a corollary, we compute the weighted descendants in terms of the usual ones, i.e. for the weight data $(1,...,1)$, and vice versa.

研究动机与目标

• 构建关于任意权重数据 $A = (a_1, \dots, a_n)$，$0 \leq a_i \leq 1$ 的加权稳定映射模空间 $\overline{M}_{g,A}(V,\beta)$，推广无权重情形。
• 在这些模空间上定义 $\psi$-类与重力下 Descendants，尤其在某些权重为零的情形下。
• 建立一个墙穿跃公式，描述当权重参数空间中穿过一条墙时，重力下 Descendants 的变化。
• 推导弦、稀释和除子方程的加权类比，将经典不变量推广至加权情形。
• 证明普通 Gromov-Witten 不变量与它们的加权对应物一致，并提供加权与无权重 Descendants 之间转换的显式公式。

提出的方法

• 通过两种方法构造 $\overline{M}_{g,A}(V,\beta)$：一种是直接从无权重情形约化（在除有限多个特征外均成立），另一种是使用阿廷叠与任意诺特基底上的粗模空间进行一般构造。
• 通过限制余切丛到截面来定义 $\psi$-类；当某些 $a_i = 0$ 时调整构造以确保良好定义。
• 将权重空间 $[0,1]^n$ 划分为若干区域（墙间区域），在这些区域内模空间结构保持不变，墙分隔不同区域。
• 将每个墙间区域与集合 $\{1, \dots, n\}$ 上的一个单纯复形相关联，穿过墙对应于添加或移除一个单纯形。
• 证明一个墙穿跃公式，将单条墙两侧的重力下 Descendants 差表示为在标记点更少的简化模空间上的 Descendants 之和。
• 通过分析约化与锥构造下 Descendants 的行为，推导出弦、稀释和除子方程的加权版本。

实验结果

研究问题

• RQ1 当权重数据 $A$ 在参数空间中穿过一条墙时，$\overline{M}_{g,A}(V,\beta)$ 上的重力下 Descendants 如何变化？
• RQ2 加权 Descendants 是否能用无权重者表示（反之亦然），其精确转换公式是什么？
• RQ3 Gromov-Witten 理论中经典弦、稀释和除子方程的加权类比是什么？
• RQ4 集合 $\{1, \dots, n\}$ 上的单纯复形结构如何编码模空间 $\overline{M}_{g,A}(V,\beta)$ 的几何性质？
• RQ5 关于 $\kappa$-类与加权 Descendants 之间有何关系，特别是对于权重数据 $(0^n)$ 或 $(\epsilon^n)$ 时？

主要发现

• 墙穿跃公式将单条墙两侧重力下 Descendants 的差异表示为在标记点更少的简化模空间上的 Descendants 之和，其中简化对应于将标记点合并为一个顶点。
• 无权重 Gromov-Witten 不变量与加权者相等，意味着当所有权重为 1 或 0 时，不变量不随权重变化而改变。
• Morita-Miller-Mumford 的 $\kappa$-类被识别为权重数据 $(0^n)$ 或等价地 $(\epsilon^n)$ 下的加权 Descendants，建立了经典示性类与加权不变量之间的直接联系。
• 对称 $A$-弦方程成立：当 $k_{n+1} = 0$ 且 $A$ 对应 $\Delta_{n+1,r}$ 时，若复形为锥，则 Descendants 为零；否则可分解为对各面的带符号和。
• $A$-除子方程被推广：当 $k_{n+1} = 0$ 时，带有 $D$ 插入的 Descendants 分解为一项涉及 $D$ 沿 $\beta$ 积分的项，以及对各面的和，反映了单纯复形的几何结构。
• 模空间 $\overline{M}_{g,A}(V,\beta)$ 的构造在任意局部诺特基底上均成立，通过一般阿廷叠方法实现，将先前结果推广至更广泛的几何背景。