[论文解读] Dimension counts for singular rational curves via semigroups

Ethan Cotterill, Lia Feital+1 more|arXiv (Cornell University)|Nov 26, 2015

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

一句话总结

本文通过分析其值半群，研究了参数化射影空间中奇异有理曲线的 Severi 型簇的维数。作者使用 $\gamma^*$-超椭圆半群来模拟尖点奇点，构造了显式的一cuspidal 有理曲线族，其参数化所施加的线性条件少于预期，从而证明当 $n \geq 8$ 时，Severi 型簇 $M^n_{d,g}$ 包含不在 $g$-节点曲线闭包中的多余分量——因此证明了其不可约性，并否定了一个自然的余维数直觉。

ABSTRACT

We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.

研究动机与目标

• 确定在 $\mathbb{P}^n$ 中，非退化有理曲线（算术亏格 $g > 0$，次数 $d$）的模空间的余维数是否与基于节点曲线直觉的预期维数一致。
• 通过分析值半群在奇点分类中的作用，研究该直觉在 $n \geq 3$ 时对一cuspidal 有理曲线是否成立。
• 构造具有 $g = 3\gamma + 1$ 亏格的有理曲线的显式例子，其参数化未能施加 $ (n-2)g $ 个独立条件，从而违背节点曲线直觉。
• 通过展示不属于 $g$-节点闭包的多余分量，证明当 $n \geq 8$ 时，Severi 型簇 $M^n_{d,g}$ 不可约。

提出的方法

• 作者将 $\gamma^*$-超椭圆半群定义为满足以下两个条件的数值半群：包含从 1 到 $4\gamma - 2$ 的所有偶数，并包含 $4\gamma$。
• 他们构造了 $t$-幂级数参数化 $f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$（$i = 0, \dots, \gamma - 1$），并使用通用的高阶系数，以模拟单分支奇点。
• 由此得到的尖点的值半群 $\mathrm{S}^*$ 分解为 $\mathrm{S}^* = \mathrm{S}^*_0 + \mathrm{S}^*_1$，其中 $\mathrm{S}^*_0 = \langle 2\gamma, \dots, 4\gamma - 2 \rangle$ 生成偶数阶值，$\mathrm{S}^*_1 = \langle 4\gamma + 5, \dots, 6\gamma + 3 \rangle$ 生成奇数阶值。
• 通过公式 $r(f) = \frac{(5\gamma - 3)\gamma}{2} - 1$ 计算尖点带来的权条件，该公式用于计数使偏导数为零的系数所施加的线性条件。
• 半群的亏格计算为 $g(\mathrm{S}^*) = 3\gamma + 1$，其来源于间隙集 $G_0 = \{2, 4, \dots, 2\gamma - 2\}$ 和 $G_1 = \{1, 3, \dots, 4\gamma + 3\}$ 的不相交并集。
• 通过比较 $r(f)$ 与预期余维数 $(n-2)g(\mathrm{S}^*)$，他们证明当 $n \geq 8$ 且 $\gamma \geq 8$ 时，$r(f) < (n-2)g(\mathrm{S}^*)$，从而证明了多余维数的存在。

实验结果

研究问题

• RQ1 当 $n \geq 3$ 时，$\mathbb{P}^n$ 中亏格 $g > 0$ 的非退化有理曲线的模空间余维数是否与基于 $g$-节点曲线的直觉一致？
• RQ2 单分支奇点的值半群能否系统性地用于分类并估计有理曲线的 Severi 型簇的维数？
• RQ3 是否存在 $\mathbb{P}^n$ 中 $n \geq 8$ 的一cuspidal 有理曲线，其参数化施加的独立条件少于 $ (n-2)g $ 个，从而违背节点曲线直觉？
• RQ4 当 $n \geq 8$ 时，Severi 型簇 $M^n_{d,g}$ 是否保持不可约？还是包含不属于 $g$-节点闭包的多余分量？
• RQ5 能否将 $\gamma^*$-超椭圆半群的构造推广，以生成更多不可约的 Severi 型簇的例子？

主要发现

• 当 $n \geq 8$ 时，存在 Severi 型簇 $M^n_{d,g}$，其中 $g = 3\gamma + 1$ 且 $d \gg g$，其包含不属于 $g$-节点有理曲线闭包的多余分量。
• 所构造的尖点奇点的值半群 $\mathrm{S}^*$ 是 $\gamma^*$-超椭圆半群，其亏格 $g(\mathrm{S}^*) = 3\gamma + 1$，来源于大小分别为 $\gamma - 1$ 和 $2\gamma + 2$ 的间隙集 $G_0$ 和 $G_1$。
• 尖点所施加的权条件数 $r(f)$ 为 $\frac{(5\gamma - 3)\gamma}{2} - 1$，当 $n \geq 8$ 且 $\gamma \geq 8$ 时，该值严格小于 $(n-2)g(\mathrm{S}^*)$，从而违背了预期余维数直觉。
• 当 $n \geq 8$ 时，Severi 型簇 $M^n_{d,g}$ 不可约，因为 $\gamma^*$-超椭圆尖点带来的多余分量不在 $g$-节点闭包中。
• 该构造依赖于 $t$-幂级数 $f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$，并使用通用的高阶系数，从而产生具有明确定义且可分解值半群的单分支奇点。
• 结果表明，基于节点曲线的自然直觉在高维环境空间中失效，且基于半群的分层方法对于奇异有理曲线模空间的准确维数估计至关重要。