[论文解读] Tautological rings of stable map spaces

Anca Mustaţǎ, Andrei Mustaţǎ|ArXiv.org|Jul 18, 2006

Algebraic Geometry and Number Theory参考文献 6被引用 6

一句话总结

本文以广义下拉类和k-类生成的广义下拉类环为工具，对射影空间上零亏格稳定映射模空间的上同调环与查尔斯环给出了完整的代数表述。该研究明确给出了生成元与关系式，恢复并推广了已知的d=2和d=3情形的结果，并为格罗莫夫-威滕不变量提供了几何直观框架。

ABSTRACT

We find a set of generators and relations for the system of extended tautological rings associated to the moduli spaces of stable maps in genus zero, admitting a simple geometrical interpretation. In particular, when the target is $\PP^n$, these give a complete presentation for the cohomology and Chow rings in the cases with/without marked points.

研究动机与目标

• 为光滑射影代数簇X上零亏格稳定映射模空间构造广义下拉类环系统。
• 明确识别这些环的显式生成元与关系式，特别是当X = P^n时的情形。
• 以边界分量与k-类为语言，提供下拉类及其关系的几何解释。
• 恢复并推广关于格罗莫夫-威滕不变量与下拉关系的已知结果，包括贝伦德与奥哈拉南对d=2,3的情形的结论。
• 对Mbar_{0,0}(P^n,d)（带与不带标记点）的上同调环与查尔斯环建立完全的代数表述。

提出的方法

• 通过X的上同调生成元关联的评估类与k-类k_{-1}(α_i)的上推，定义广义下拉类环。
• 利用遗忘映射与粘合映射，使系统在上推下封闭，确保与虚拟基本类的一致性。
• 应用边界分量上的普遍关系，并通过虚拟类公理推导k-类的递归公式。
• 利用Gysin映射处理粘合映射，并通过纤维积与虚拟类定义交积。
• 通过如D_{h''h} = D_{hh'} + D_{h'h''}等关系，对边界除子项进行递归简化，以简化下拉关系。
• 从转移矩阵构造k-类的递归矩阵，并通过代数消去法推导关系理想。

实验结果

研究问题

• RQ1 Mbar_{0,0}(P^n,d)的广义下拉类环的一组完整生成元与关系式是什么？
• RQ2 H^*(X)中的关系如何诱导出稳定映射模空间下拉类环中的关系？
• RQ3 Mbar_{0,0}(P^n,d)中边界分量的几何结构是怎样的？它们如何贡献于下拉类环？
• RQ4 能否通过下拉类与k-类完全表述Mbar_{0,0}(P^n,d)的上同调环与查尔斯环？
• RQ5 k-类k_{-1}(α)与边界除子在零亏格情形下如何相互作用以生成下拉类环？

主要发现

• 当X = P^n时，Mbar_{0,0}(P^n,d)的广义下拉类环可通过生成元k(H^2), ρ, σ₁, σ₂, σ₃, τ完全表述，关系式为τσ₃, ρσ₃, τ² − ρσ₂, 以及U_{n+1}。
• 理想U_{n+1}编码了来自k-类k_h(H^l)与D_{h\bar{h}}项的关系，且在k-类的可加性下等价于k(H^{n+1})σ₃。
• 当d=3时，环H^*(Mbar_{0,0}(P^n,3))由k(H^2), ρ, σ₁, σ₂, σ₃, τ生成，关系式为τσ₃, ρσ₃, τ² − ρσ₂, 以及U_{n+1}，与贝伦德与奥哈拉南的猜想4.19一致。
• 类ρ被识别为每个边界分量上的(ψ')² = ψ_h²，且ρσ₃是来自恒等式ψ_h² = ρ在Mbar_{h\bar{h}}上的下拉关系。
• 关系τ² = ρσ₂由引理3.1与公式(3.1)导出，反映了余维二子分量的结构。
• 下拉类环系统在遗忘映射与粘合映射下保持不变，且通过虚拟类与Gysin拉回定义的交积是良定义的。