[论文解读] On the Chow ring of the Hurwitz space of degree three covers of ${\bf P}^{1}$

Anand Patel, Ravi Vakil|arXiv (Cornell University)|May 16, 2015

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

一句话总结

本文确定了参数化 $\mathbb{P}^1$ 上度 3 覆盖的 Hurwitz 空间在有理系数下的 Chow 环，证明其同构于 $\mathbb{Q}[\kappa_1]/(\kappa_1^2)$，从而证明该环是典型的。该结果源于对空 Hurwitz 剖分及其在 Chow 环中关系的分析，利用已知的典型类和除子型剖分，消去变量并确立 $\kappa_1^2$ 的消失。此结果解决了度 3 情况下关于典型结构的疑问。

ABSTRACT

We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with special marked points.

研究动机与目标

• 计算参数化 $\mathbb{P}^1$ 上度 3 覆盖的 Hurwitz 空间 $\mathcal{H}_{3,g}$ 在有理系数下的 Chow 环。
• 确定 Chow 环是否为典型环，回答 Penev 和 Vakil 提出的问题。
• 计算带有标记点的度 3 映射的辅助空间的有理 Picard 群。
• 分析除子型 Hurwitz 剖分的结构及其在 Chow 环中的关系。

提出的方法

• 使用典型类，特别是 $\kappa_1 = \phi_*(c_1^2(\omega_\phi))$，作为 Chow 环的生成元。
• 利用 Kazaryan 和 Lando（2004 年）在度 3 情况下对 Hurwitz 剖分基本类的已知公式。
• 应用某些 Hurwitz 剖分（如 $S_{1^2}, S_{3^1}, S_{1^12^1}$）在 $\mathcal{H}_{3,g}$ 中为空的事实，从而在 Chow 环中导出关系。
• 通过空剖分关系消去变量：$\xi_1 = \frac{1}{6}b(b+2)\psi$ 和 $-b\psi^2 + 2\xi_1\psi = 0$，从而得出 $\psi^2 = 0$。
• 通过证明 $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$ 非零，确立 $\psi$ 为非平凡类，因此 $\psi$ 是 $\kappa_1$ 的非零倍数，故 $\kappa_1^2 = 0$。
• 最终得出 $A^*(\mathcal{H}_{3,g}) = \mathbb{Q}[\kappa_1]/(\kappa_1^2)$，确认了典型结构。

实验结果

研究问题

• RQ1 Hurwitz 空间 $\mathcal{H}_{3,g}$ 的 Chow 环是否为典型环，即是否由 $\kappa_1$ 等内在类生成？
• RQ2 对于 $\mathbb{P}^1$ 上度 3 覆盖，Chow 环 $A^*(\mathcal{H}_{3,g})$ 在 $\mathbb{Q}$-系数下的结构如何？
• RQ3 Chow 环中的关系是否源于某些 Hurwitz 剖分的空性，例如具有四重分支点或多个单分支点映射到同一像点的剖分？
• RQ4 是否可采用类似方法计算带框架的 Hurwitz 空间 $\mathcal{H}^\dagger_{3,g}$ 的有理 Picard 群？
• RQ5 在高次度情形（$d \geq 2g+1$）下上同调的稳定性是否暗示 $\mathcal{H}_{3,g}$ 的 Chow 环也存在类似稳定性？

主要发现

• 在 $\mathbb{Q}$-系数下，Chow 环 $A^*(\mathcal{H}_{3,g})$ 同构于 $\mathbb{Q}[\kappa_1]/(\kappa_1^2)$，证明其为典型环。
• $\kappa_1^2$ 在 $A^*(\mathcal{H}_{3,g})$ 中消失，这是通过从空 Hurwitz 剖分导出的关系中消去变量而证明的。
• 除子类 $\psi$ 为非平凡类且与 $\kappa_1$ 成比例，因为 $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$ 非零，且 $\sigma_{2^1} = [\mathcal{T}_1]$ 为非平凡除子。
• 关系 $\xi_1 = \frac{1}{6}b(b+2)\psi$ 源于 $S_{1^2}$ 剖分的空性，而这对度 3 覆盖是不可能的。
• 关系 $-b\psi^2 + 2\xi_1\psi = 0$ 源于 $S_{3^1}$ 和 $S_{1^12^1}$ 剖分的空性条件的结合，从而推出 $\psi^2 = 0$。
• 结果确认了 $A^*(\mathcal{H}_{3,g})$ 中的所有关系均由特定 Hurwitz 剖分的空性所捕获，支持了关于典型关系的更广泛猜想。