[论文解读] The Stack of Rational Nodal Curves

Damiano Fulghesu|ArXiv.org|Jan 9, 2009

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

一句话总结

本文构建了有理节点曲线的模堆栈 M₀，并证明其可被分层为由对偶图 Γ 索引的光滑商子堆栈 MΓ₀，从而可应用 Kresch 的理论来定义一个查尔斯环。关键贡献在于通过包含 10 个生成元（包括典型类与超越标准 Mumford κ-类的新类）的表示，建立了 M₀≤3 的有理查尔斯环，即具有至多三个节点的有理曲线子堆栈。

ABSTRACT

In this series of three papers we start to investigate the rational Chow ring of the stack consisting of nodal curves of genus 0, in particular we determine completely the rational Chow ring of the substack consisting of curves with at most 3 nodes. In this first paper we construct the stack of rational nodal curves and its stratification by nodes and show that the map from the universal curve to the stack is not representable in the category of schemes.

研究动机与目标

• 在复数概形上构建有理节点曲线的模堆栈 M₀ 作为阿廷堆栈。
• 通过有理节点曲线的对偶图 Γ 对 M₀ 进行拓扑类型分层，得到光滑商子堆栈 MΓ₀。
• 在通用曲线态射非表示性的情况下，建立在 M₀ 上定义查尔斯环的框架。
• 为计算 M₀≤3（即具有至多三个节点的有理曲线子堆栈）的有理查尔斯环奠定基础。

提出的方法

• 使用在概形上具有 h⁰ = 1 且 h¹ = 0 的平坦、完备、有限表示的节点曲线族的范畴，来定义堆栈 M₀。
• 通过有理节点曲线的对偶图 Γ 对 M₀ 进行分层，证明每个层 MΓ₀ 是一个光滑商堆栈。
• 应用 Kresch 对阿廷堆栈的查尔斯环理论，通过分层来定义 A*(M₀)。
• 利用等变交点理论以及 Edidin-Graham 和 Kresch 的工作，处理非表示性态射。
• 通过对偶图分析曲线的自同构群，证明对具有 Δ₁ 个单节点分支和 Δ₂ 个双节点分支的曲线，有 Aut(C) ≅ Aut(Γ) ⋉ (Gₘ)^Δ₂ × E^Δ₁。
• 证明 π*ω∨C/T 在 M₀≤3 上是局部自由的秩 3 线丛，从而可定义对偶化丛。

实验结果

研究问题

• RQ1 有理节点曲线的模堆栈 M₀ 是否可被分层为由对偶图索引的光滑商堆栈？
• RQ2 尽管通用曲线态射非表示，如何在 M₀ 上定义有理查尔斯环？
• RQ3 具有至多三个节点的有理曲线的有理查尔斯环 A*(M₀≤3) ⊗ ℚ 的结构为何？
• RQ4 在 A*(M₀≤3) 中是否存在超越标准 Mumford 类 κᵢ 的新典型类？
• RQ5 对 n ≥ 2，M₀≤n 是否为商堆栈，特别是当 n = 3 时？

主要发现

• 有理节点曲线的堆栈 M₀ 是一个阿廷堆栈，其几何点为有理树（即由 P¹ 分量构成、无环的连通节点曲线）。
• 通用曲线态射 C → M₀ 在概形范畴中非表示性，此结论通过 Hironaka 的三空间反例得以证明。
• 与对偶图 Γ 对应的每个层 MΓ₀ 是形如 B(Aut(Γ) ⋉ (Gₘ)^Δ₂ × E^Δ₁) 的光滑商堆栈。
• 在 M₀≤3 上，层 π*ω∨C/T 是秩 3 的局部自由丛，且其构造与基变换可交换，从而可定义对偶化丛。
• 有理查尔斯环 A*(M₀≤3) ⊗ ℚ 有 10 个生成元的表示：5 个对应于至多三个节点的曲线的拓扑类型，1 个为 Mumford 类 κ₂，以及 4 个此前在稳定曲线典型环中未见的新类。
• 在 MΓ₀ 上的法丛 Nin 同构于一阶形变空间模自同构群，其中 NΓ = ⊕_{P∈E(Γ)} TP(Cα) ⊗ TP(Cβ)。