[论文解读] Tautological classes on the moduli spaces of stable maps to projective spaces

Dragos Oprea|ArXiv.org|Apr 16, 2004

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

一句话总结

本文通过一种新颖的局部化方法，利用固定一个点和一个超平面的非一般环面作用，证明了射影空间上 genus zero 稳定映射模空间的所有有理 Chow 类都是典型的。通过构建模堆栈的可滤 Bialynicki-Birula 分解，作者表明有理 Chow 群通过 Kontsevich-Manin 空间与 Gathmann 空间的纤维积生成，且具有显式的亏格公式与归纳结构。

ABSTRACT

We present a localization proof of the fact that the cohomology of the moduli spaces of genus zero stable maps to projective spaces is entirely tautological. In addition, we obtain a description of a Bialynicki-Birula stratification in the context of Gathmann's moduli spaces of maps with prescribed contact order to a fixed hyperplane.

研究动机与目标

• 证明射影空间 ℙʳ 上 genus zero 稳定映射模空间的所有有理 Chow 类都是典型的。
• 开发一种使用固定 ℙʳ 中一点与一个超平面的非一般环面作用的新局部化方法。
• 为稳定映射的模堆栈构建一个可滤的 Bialynicki-Birula 分解，以实现 Chow 群的归纳计算。
• 证明这些模空间的有理上同调与有理 Chow 群同构。
• 证明通过 Gathmann 空间与 Kontsevich-Manin 空间的纤维积可生成有理 Chow 群的典型类。

提出的方法

• 在 ℙʳ 上使用非一般环面作用，定义为 t·[z₀:…:zᵣ] = [z₀:tz₁:…:tzᵣ]，固定一点 p 与一个超平面 H。
• 构建稳定映射模堆栈的 Bialynicki-Birula 分解，将其分解为流入固定点的局部闭子堆栈（正细胞）。
• 定义带装饰的图 Γ 以编码固定点，顶点标记为映射到 p 或 H 的分量，边标记为度数的分量。
• 将正细胞闭包表示为 Kontsevich-Manin 空间与 Gathmann 空间在 ℙʳ 上的纤维积 YΓ 的像。
• 在带装饰的图上定义偏序，使得每个正细胞的闭包包含于更小图的正细胞并集中，从而保证可滤性。
• 通过归纳法与将关联条件约化至超平面的方法处理一般情形，利用 Gathmann 的关系将重数约化为 0 或 1。

实验结果

研究问题

• RQ1 射影空间 ℙʳ 上 genus zero 稳定映射模空间的所有有理 Chow 类是否都是典型的？
• RQ2 能否使用非一般环面作用为稳定映射模堆栈构建 Bialynicki-Birula 分解？
• RQ3 稳定映射模堆栈的 Bialynicki-Birula 分解是否可滤，从而允许 Chow 群的归纳计算？
• RQ4 每个正细胞的亏格是否可由带装饰图结构显式计算？
• RQ5 Gathmann 空间与 Kontsevich-Manin 空间的纤维积是否生成模空间的有理 Chow 群？

主要发现

• 射影空间 ℙʳ 上 genus zero 稳定映射模空间的所有有理 Chow 类都是典型的，确认了典型环的强结构性质。
• 模堆栈的 Bialynicki-Birula 分解是可滤的，且在带装饰图上存在偏序，使得每个正细胞的闭包包含于更小图的正细胞并集中。
• 每个正细胞 𝒻⁺_Γ 的亏格为 d + s − u，其中 d 为总度数，s 为度数 ≥1 或价数 ≥3 的 H 标记顶点数，u 为价数为 1 的 H 标记零度顶点数。
• 模空间的有理上同调与有理 Chow 群同构，支持所有有理类的典型性质。
• 有理 Chow 群由 Gathmann 空间与 Kontsevich-Manin 空间到线性子空间的典型子堆栈的纤维积的像生成，且通过将关联条件约化实现显式归纳构造。
• 典型类张成 Chow 群，其结构由带装饰图的组合与环面作用控制，从而实现系统的计算。