[论文解读] Relative virtual localization and vanishing of tautological classes on moduli spaces of curves

Tom Graber, Ravi Vakil|ArXiv.org|Sep 14, 2003

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

一句话总结

本文提出了一种关于稳定相对映射模空间的相对虚拟局部化公式，用于证明：在稳定n个点标记的曲线模空间上，所有余维数为i的塔洛克类仅在曲线至少具有i − g + 1个亏格0分量时才不为零。其核心贡献在于揭示了模空间理论中众多消去定理背后的几何原理，通过惠特尼类和多项式技巧在塔洛克环与格罗莫夫-威滕理论中具有广泛应用。

ABSTRACT

We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension i tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least i-g+1 genus 0 components. (The proof of this result is quite short and naive.) As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Getzler, Ionel, Faber, Looijenga, Pandharipande, Diaz, and others). This theorem appears to be the geometric content behind these results; the rest is straightforward graph combinatorics. The theorem also suggests the importance of the stratification of the moduli space by number of rational components.

研究动机与目标

• 建立稳定相对映射模空间的相对虚拟局部化公式，将局部化技术推广至相对情形。
• 证明余维数为i的塔洛克类仅在具有至少i − g + 1个亏格0分量的层上不为零，统一并推广了先前的猜想。
• 为曲线模空间塔洛克环中已知的消去结果提供几何基础。
• 表明按有理分量数量划分的分层结构在理解塔洛克类支撑中的核心作用。
• 提供一种系统化方法，用于推导消去定理并生成低维塔洛克群中的关系。

提出的方法

• 构建稳定相对映射模空间到光滑德利涅-芒福德堆的C*-等变局部闭浸入。
• 验证C*-固定点上的虚拟基本类源自障碍理论的固定部分。
• 利用相对障碍理论计算固定点的虚拟法丛。
• 应用相对虚拟局部化公式，通过多项式技巧将塔洛克类表示为惠特尼类的线性组合。
• 通过将目标P¹进行形变，证明惠特尼类位于具有多个亏格0分量的深层层中。
• 利用图的组合结构，推导出低余维数下塔洛克群的消去与生成结果。

实验结果

研究问题

• RQ1 在Mg,n上，余维数为i的塔洛克类消去的几何机制是什么？
• RQ2 稳定曲线上亏格0分量的数量如何限制塔洛克类的支撑？
• RQ3 相对虚拟局部化能否统一并推广模空间中塔洛克类的已知消去定理？
• RQ4 按有理分量数量划分的分层结构在塔洛克环结构中起什么作用？
• RQ5 惠特尼类与格罗莫夫-威滕理论中的多项式性在多大程度上能生成低余维数下的塔洛克类？

主要发现

• 在Mg,n中，所有余维数为i的塔洛克类在亏格0分量数量少于i − g + 1的开集上均消去。
• 余维数为i的塔洛克类有理等价于在至少具有i − g + 1个亏格0分量的层上支撑的类的推出。
• 塔洛克群R1(Mg,n)由类型为M0,4或M1,1的边界层生成，R2(Mg,n)仅由边界层生成。
• 在余维数3时，R3(Mg,n)由边界层和在M2,1 × ∏M0,3上支撑的类生成，其中存在一个唯一的非边界生成元ψ1 ∈ M2,1。
• 在余维数4时，R4(Mg,n)由边界类和在M2,2、M2,1 × M0,4、以及M2,1 × M1,1上的ψ1-类生成，利用了M0,4 ≅ M1,1 ≅ P¹的事实。
• 在余维数6时，M3,2 × ∏M0,3上的余维数2类可能产生一个新的生成元，但其塔洛克性质尚待A2(M3,2)的计算结果确认。