[论文解读] The rationality of the moduli spaces of trigonal curves

Shouhei Ma|arXiv (Cornell University)|Jul 1, 2012

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

一句话总结

本文通过利用 $\mathrm{SL}_2 \times \mathrm{SL}_2$ 的不变量理论，证明了当 $g = 4N$ 时，三枝曲线模空间是有理的。通过精心选择的双二次型变分，构造了一个支配有理映射，将商空间 $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 的有理性问题约化为格拉斯曼簇的稳定有理性，从而完成了对所有 $g \geq 5$ 的有理性分类。结果确认了对所有 $g \geq 5$，$\mathcal{T}_g$ 是有理的，解决了三枝模空间分类中的最后一个情形。

ABSTRACT

The moduli spaces of trigonal curves are proven to be rational when the genus is divisible by 4.

研究动机与目标

• 完成对所有 $g \geq 5$ 的三枝曲线模空间 $\mathcal{T}_g$ 的有理性分类，此前已知 $g \equiv 2 \pmod{4}$ 与奇数 $g$ 的情形，但尚未解决 $g \equiv 0 \pmod{4}$ 的情形。
• 建立对所有奇数 $b \geq 5$，$\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 的有理性，该空间通过 $\mathbb{P}^1 \times \mathbb{P}^1$ 中的典范嵌入参数化三枝曲线的亏格 $g = 4N$。
• 开发一种计算方法，利用 $\mathrm{SL}_2 \times \mathrm{SL}_2$-双线性映射（双二次型变分），从 $V_{3,b}$ 构造到格拉斯曼簇的支配有理映射，从而将有理性问题约化为格拉斯曼簇的稳定有理性。
• 验证所诱导的有理映射 $v \mapsto \operatorname{Ker}(T(v, \cdot))$ 的非退化性，通过精心选择的双二次型变分，确保丛结构定义良好且为支配映射。

提出的方法

• 本文使用双丛方法：构造一个双二次型变分 $T: V_{3,b} \times V_{a',b'} \to V_{a'',b''}$，使得 $\dim V_{a',b'} > \dim V_{a'',b''}$，从而定义从 $V_{3,b}$ 到格拉斯曼簇 $G(c, V_{a',b'})$ 的有理映射 $v \mapsto \operatorname{Ker}(T(v, \cdot))$，其中 $c = \dim V_{a',b'} - \dim V_{a'',b''}$。
• 双二次型变分的选择依赖于 $b \mod 5$，针对每个剩余类分别构造，以确保 $c$ 较小且 $a', b', c$ 均为奇数，这对处理群作用中的 $-1$ 数乘作用至关重要。
• 通过分析单变量基上的诱导线性映射，利用 Clebsch-Gordan 公式与显式变分公式，验证核映射的非退化性，特别关注 $r = e$ 与 $r = e-1$ 的情形。
• $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 的有理性被约化为 $G(c, V_{a',b'})/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 的稳定有理性，后者通过不变量理论的标准技术得以确立。
• 证明分别处理了 $b \equiv 0 \pmod{5}$、$b \equiv 1 \pmod{5}$、$b \equiv 2 \pmod{5}$、$b \equiv 3 \pmod{5}$ 与 $b \equiv 4 \pmod{5}$ 的情形，对每种情况均进行了详细验证，包括特殊情形 $b = 7$。
• 对于 $b = 7$，构造了特定向量 $v \in V_{3,7}$ 与 $w \in V_{3,3}$，使得 $w$ 张成 $T(v, \cdot)$ 的核，并通过检查单变量子空间上的像包含关系，确认 $T(\cdot, w)$ 的满射性。

实验结果

研究问题

• RQ1 三枝曲线模空间 $\mathcal{T}_g$ 在 $g \equiv 0 \pmod{4}$ 时是否为有理的？
• RQ2 能否通过不变量理论方法，证明对所有奇数 $b \geq 5$，$\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 的有理性？
• RQ3 是否存在一个由双二次型变分诱导的支配有理映射 $V_{3,b} \dashrightarrow G(c, V_{a',b'})$，其中 $c$ 较小且 $a', b', c$ 均为奇数，从而实现向稳定有理性的约化？
• RQ4 当 $b \equiv 4 \pmod{5}$ 时，$T(v, \cdot)$ 在 $V_{1,3n+4}$ 上的核是否为一维，对某个合适的 $v \in V_{3,5n+4}$ 成立，以确保映射定义良好且为支配映射？
• RQ5 对所选的 $w \in V_{3,3}$，映射 $T(\cdot, w): V_{3,7} \to V_{2,4}$ 是否为满射，从而确认证明的最后一种情形？

主要发现

• 对所有 $g \geq 5$，三枝曲线模空间 $\mathcal{T}_g$ 是有理的，完成了对三枝模空间有理性的完整分类。
• 对所有奇数 $b \geq 5$，商空间 $\mathbb{P}V_{3,b}/(\mathrm{SL}_2 \times \mathrm{SL}_2)$ 是有理的，该空间对应于通过 $\mathbb{P}^1 \times \mathbb{P}^1$ 中的典范嵌入参数化的亏格 $g = 4N$ 的三枝曲线模空间，其中 $b = 2N+1$。
• 通过精心选择的双二次型变分，从 $V_{3,b}$ 构造了一个到格拉斯曼簇 $G(c, V_{a',b'})$ 的支配有理映射 $v \mapsto \operatorname{Ker}(T(v, \cdot))$，其中 $c$ 较小且 $a', b', c$ 均为奇数，确保与群作用中 $-1$ 数乘的兼容性。
• 通过分析单变量基并利用当次数互素时变分 $T^{(r)}$ 的非退化性，对 $b \mod 5$ 的每种子类验证了核映射的非退化性。
• 当 $b = 7$ 时，证明了 $T(v, \cdot)$ 在 $V_{3,3}$ 上的核为一维，且通过检查 $x^2$、$xy$ 与 $y^2$ 分量上的像包含关系，证明了映射 $T(\cdot, w): V_{3,7} \to V_{2,4}$ 的满射性。
• 作为关键中间步骤，建立了格拉斯曼簇 $G(c, V_{a',b'})$ 在 $\mathrm{SL}_2 \times \mathrm{SL}_2$ 作用下的稳定有理性，从而将原始商空间的有理性问题约化为已知的稳定有理性结果。