[论文解读] A perfect stratification of M_g for g at most 5

Claudio Fontanari, Eduard Looijenga|ArXiv.org|Aug 25, 2007

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

一句话总结

该论文通过分析通过canonical曲线的二次系统几何结构，为 $ g \leq 5 $ 构造了模空间 $\mathcal{M}_g$ 的完美分层。证明了这些分层是仿射的，且其闭包构成 Chow 环的 $\mathbb{Q}$-基，从而给出了 Faber 和 Izadi 结果的新且更简洁的证明，确认在此范围内 $A^\bullet(\mathcal{M}_g) = \mathbb{Q}[\lambda]/(\lambda^{g-1})$，即 Chow 环由 $\lambda$-类生成。

ABSTRACT

We find for g at most 5 a stratification of depth g-2 of the moduli space of curves M_g with the property that its strata are affine and the classes of their closures provide a Q-basis for the Chow ring of M_g. The first property confirms a conjecture of one of us. The way we establish the second property yields new (and simpler) proofs of theorems of Faber and Izadi which, taken together, amount to the statement that in this range the Chow ring is generated by the lambda-class.

研究动机与目标

• 为 $g \leq 5$ 构造深度为 $g-2$ 的 $\mathcal{M}_g$ 仿射分层，验证关于此类分层存在的猜想。
• 证明此类分层中各分层闭包构成 Chow 环 $A^\bullet(\mathcal{M}_g)$ 的 $\mathbb{Q}$-基，从而确立‘完美’分层。
• 提供一种新且简化的证明，表明 $g \leq 5$ 时 $\mathcal{M}_g$ 的典型 Chow 环由 $\lambda$-类生成，即 $A^\bullet(\mathcal{M}_g) = \mathbb{Q}[\lambda]/(\lambda^{g-1})$。
• 证明由无有效偶 theta 特征的曲线所定义的开分层是仿射的，作为构造中的顶层分层。

提出的方法

• 作者利用通过 genus $g$ 曲线 canonical 映射的二次系统来定义分层，依据该系统维数的不同进行划分。
• 对于 $g=3,4,5$，他们根据几何条件定义分层：无偶 theta 特征（余维数 1）、非三线性曲线（余维数 2），以及具有奇点的平面五次曲线（余维数 3）。
• 通过证明分层的补集是加权射影空间去掉一个超曲面的有限覆盖，利用引理 2.2 关于仿射商的性质，证明每个分层是仿射的。
• 每个分层的 Chow 环是平凡的，且 $\lambda$-类在逐级差分中的限制为零，意味着 $\lambda^k$ 与第 $k$ 个分层的类成比例。
• 他们利用 $A^1(\mathcal{M}_g \setminus \mathcal{T}_g) = 0$ 以及 $\mathcal{R}^\bullet(\mathcal{M}_g \setminus \mathcal{T}_g)$ 由 $\kappa_2$ 生成，而 $\kappa_2$ 在 Chow 环中因 $\lambda$ 的消失而为零，从而得出 Chow 环为 $\mathbb{Q}$。
• 该证明依赖于 Mumford、Faber、Izadi 和 Teixidor i Bigas 的已知结果，并结合关于 canonical 曲线及其二次系统的全新几何论证。

实验结果

研究问题

• RQ1 对于 $g \leq 5$，是否存在深度为 $g-2$ 的 $\mathcal{M}_g$ 仿射分层？
• RQ2 此类分层中各分层的闭包是否能构成 Chow 环 $A^\bullet(\mathcal{M}_g)$ 的 $\mathbb{Q}$-基？
• RQ3 $g \leq 5$ 时 $\mathcal{M}_g$ 的 Chow 环是否由 $\lambda$-类生成？且能否在不依赖先前工作的前提下独立证明？
• RQ4 $\lambda$ 在开分层 $\mathcal{M}_g \setminus \mathcal{T}_g$ 的 Chow 环中消失的几何意义是什么？
• RQ5 能否通过一个滤子结构完全描述 $\mathcal{M}_g$ 的典型 Chow 环，使得每一级差分的 Chow 环平凡，且 $\lambda$-类消失？

主要发现

• 对于 $g \leq 5$，模空间 $\mathcal{M}_g$ 具有深度为 $g-2$ 的完美分层，且所有分层均为仿射。
• 该分层中各分层闭包构成 Chow 环 $A^\bullet(\mathcal{M}_g)$ 的 $\mathbb{Q}$-基。
• $k$-阶分层闭包在 $A^\bullet(\mathcal{M}_g)$ 中表示 $\lambda^k$ 的非零倍数，因此 $\lambda^k$ 在 $k \leq g-2$ 时非零，且 $\lambda^{g-1} = 0$。
• $g \leq 5$ 时，Chow 环 $A^\bullet(\mathcal{M}_g)$ 同构于 $\mathbb{Q}[\lambda]/(\lambda^{g-1})$，且该结论通过一种新且更简洁的论证独立于 Faber 和 Izadi 的原始证明。
• 开分层 $\mathcal{M}_g \setminus \mathcal{T}_g$（即无有效偶 theta 特征的曲线）是仿射的，且其 Chow 环平凡。
• 对于 $g=5$，构造了两种不同的完美分层：一种基于具有点 $p$ 满足 $h^0(3p) \geq 2$ 的曲线的闭包 $\mathcal{T}_5$，另一种基于 $\mathcal{M}_5'$，二者均给出相同的 Chow 环基。