[论文解读] The Hurwitz space Picard rank conjecture for $d>g-1$

Scott Mullane|arXiv (Cornell University)|Sep 21, 2020

Algebraic Geometry and Number Theory参考文献 31被引用 6

一句话总结

该论文证明了当 $d > g - 1$ 时，简单Hurwitz空间 $H_{g,d}$ 的有理Picard群是平凡的，扩展了此前对 $d ≤ 5$ 和 $d > 2g - 2$ 的结果。作者通过精确微分的扭Hodge丛构造了紧化，利用测试曲线和双有理映射分析边界分量，并确立了边界除子的线性无关性，从而得出有理Chow群和Picard群的秩为零，完成了对所有 $d > g - 1$ 的猜想。该结果意味着当 $d > g + 1$ 时空间是有理链状的，而当 $g \geq 10$ 时则非有理链状。关键贡献在于在 $d > g - 1$ 范围内完全解决了Picard群秩猜想。

ABSTRACT

We show the simple Hurwitz space $\mathcal{H}_{g,d}$ has trivial rational Picard group for $d>g-1$ and is uniruled for $d>g+1$.

研究动机与目标

• 该论文旨在解决长期存在的猜想：当 $d > g - 1$ 时，简单Hurwitz空间 $H_{g,d}$ 的有理Picard群是平凡的。
• 该研究关注Hurwitz空间的全局几何，特别是其双有理分类和Picard群结构，尽管这些空间在曲线模空间中具有核心地位，但其性质仍知之甚少。
• 目标包括使用固定符号的精确微分的射影化扭Hodge丛，构造 $H_{g,d}^+$（带标记分支点的空间）的自然紧化。
• 该研究旨在证明紧化空间的有理Chow群和Picard群秩完全由边界分量解释，从而得出 $\operatorname{Pic}_{\mathbb{Q}}(H_{g,d}) = 0$ 的结论。
• 该论文通过处理此前方法因映射到带标记点的曲线模空间不再主导而失效的最后情形 $d = g$，完成了分类。

提出的方法

• 作者通过度为 $d$ 的单分支覆盖与固定符号的亚纯精确微分之间的对应关系，将 $H_{g,d}^+$ 识别为 $\mathcal{M}_{g,1+[d-2]}$ 上射影化扭Hodge丛内的开子簇。
• 他们通过在射影化扭Hodge丛中取闭包，构造了部分紧化 $\widetilde{\mathbb{P}H}_{g,d}^X$，并利用 $\mathcal{M}_{g,1+[d-2]}$ 上的稳定微分构造了完全紧化 $\mathbb{P}H_{g,d}^X$。
• 当 $d > g + 1$ 时，他们证明边界 $\widetilde{\mathbb{P}H}_{g,d}^X \setminus \widetilde{\mathbb{P}H}_{g,d}^X$ 是 $\mathcal{M}_{g,1+[d-2]} \setminus X$ 上的射影丛，且 $X$ 与 $\widetilde{X}$ 的余维数至少为二，从而推出 $\rho(\widetilde{\mathbb{P}H}_{g,d}^X) = 4$。
• 当 $d = g + 1$ 时，他们使用一个合适的双有理态射 $\pi: \widetilde{\mathbb{P}H}_{g,g+1}^X \to \mathcal{M}_{g,1+[g-1]}$，并借助 $\mathcal{M}_{g,1+[g-1]}$ 的Kodaira维数结果来界定有理Chow秩。
• 当 $d = g$ 时，他们构造了一个双有理映射 $H_{g,g} \dashrightarrow C_{g,g-2}$（即通用对称积），并利用部分紧化 $H_{g,g} \setminus Y$ 将有理Chow群与 $C_{g,g-2}$ 关联起来，其中 $\rho(C_{g,g-2}) = 3$。
• 他们通过拉回论证和测试曲线，证明了 $\widetilde{\mathbb{P}H}_{g,d}^X$ 和 $H_{g,d} \setminus Y$ 中边界分量的线性无关性，确保有理Chow群中不存在非平凡关系。

实验结果

研究问题

• RQ1 当所有 $d > g - 1$ 时，简单Hurwitz空间 $H_{g,d}$ 的有理Picard群是否为零？
• RQ2 能否通过边界分量完全解释 $H_{g,d}^+$ 的紧化空间的有理Chow群？
• RQ3 当 $d > g + 1$ 时，$H_{g,d}$ 的双有理几何如何，特别是其有理链状性与Kodaira维数？
• RQ4 在临界情形 $d = g$ 下，当自然映射到 $\mathcal{M}_{g,1+[d-2]}$ 不再主导时，有理Picard群的行为如何？
• RQ5 紧化Hurwitz空间的边界在有理Chow群中是否线性无关，从而确保Picard群为平凡？

主要发现

• 当所有 $d > g - 1$ 时，有理Picard群 $\operatorname{Pic}_{\mathbb{Q}}(H_{g,d})$ 是平凡的，证实了长期存在的猜想。
• 当 $d > g + 1$ 时，空间 $H_{g,d}^+$ 是有理链状的，因为紧化 $\widetilde{\mathbb{P}H}_{g,d}^X$ 在 $\mathcal{M}_{g,1+[d-2]} \setminus X$ 上存在一个有理规则。
• 当 $d > g + 1$ 时，$\widetilde{\mathbb{P}H}_{g,d}^X$ 的有理Chow秩恰好为 4，完全由边界分量解释。
• 当 $d = g + 1$ 时，$\widetilde{\mathbb{P}H}_{g,g+1}^X$ 的有理Chow秩满足 $\rho(\widetilde{\mathbb{P}H}_{g,g+1}^X) = \rho(\mathcal{M}_{g,1+[g-1]}) + 1$，且边界分量线性无关。
• 当 $d = g$ 时，$H_{g,g} \setminus Y$ 的有理Chow群满足 $\rho(H_{g,g} \setminus Y) = \rho(C_{g,g-2}) = 3$，且 $H_{g,g}$ 的边界分量线性无关，从而推出 $\operatorname{Pic}_{\mathbb{Q}}(H_{g,g}) = 0$。
• 最后的情形 $d = g$ 通过构造到 $C_{g,g-2}$ 的双有理映射并证明奇点集的余维数为二而得以解决，从而保持了有理Chow群秩不变。