[论文解读] Brill-Noether-type Theorems with a Movable Ramification Point

Rebecca Lehman|ArXiv.org|Apr 29, 2008

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

一句话总结

本文研究了一般曲线上具有指定消去序列的可移动分支点的线性系列 $g^r_d$ 的存在性与维数。通过在Picard簇上使用交点理论并退化到旗曲线，本文在 $r \geq 2$ 时建立了存在的数值准则，证明了 $r=1$ 和 $r=2$ 时的精确维数，并给出了维数的一般上界。主要贡献在于低维情形下的完整解法以及高维情形下精确的存在性条件。

ABSTRACT

The classical Brill-Noether theorems count the dimension of the family of maps from a general curve of genus g to non-degenerate curves of degree d in r-dimensional projective space. These theorems can be extended to include ramification conditions at fixed general points. This paper deals with the problem of imposing a ramification condition at an unspecified point. We solve the problem completely in dimensions 1 and 2, and provide an existence test and bound the dimension of the family in the general case.

研究动机与目标

• 确定在一般曲线上是否存在一个 $g^r_d$，其在某一点具有指定的分支类型，而非固定于某一点。
• 计算满足给定消去序列的点 $Q$ 的线丛 $\mathcal{L}$ 与对 $(\mathcal{L}, Q)$ 的族的维数。
• 为 $r \geq 2$ 建立存在的数值准则，该准则在经典朴素猜想下不成立。
• 使用退化技术，在一般情形下（特别是 $r \geq 2$ 时）对族的维数进行上界估计。
• 表明旗曲线对于可移动分支点而言不够一般，揭示了 $\overline{M_g}$ 上新的Brill-Noether子簇。

提出的方法

• 本文使用Theta类与滤子向量丛的退化点公式，在Picard簇上计算分支点的交点类。
• 通过在由有理曲线与椭圆曲线组成的可约旗曲线上应用极限线性系列理论，利用上半连续性来界定维数。
• 对于 $r=1$，通过曲线上线丛与线性系统结构的直接证明，完成维数定理。
• 对于 $r=2$，利用平面曲线的外蕴几何时，通过计算自由度与条件数来界定具有给定亏格与分支的 $d$ 次平面曲线空间的维数。
• 该方法涉及对映射 $\phi: C \to \mathbb{P}^r$ 下像曲线的奇点进行解析，通过爆破操作追踪亏格损失与条件施加。
• 基于消去序列 $m_0, m_1$ 上的欧几里得算法，采用望远镜求和法计算由分支引起的净维数损失，从而导出关键准则。

实验结果

研究问题

• RQ1 在一般曲线上是否存在一个 $g^r_d$，其在某点具有给定的消去序列，且该点不固定？
• RQ2 此类对 $(\mathcal{L}, Q)$ 的族的维数是多少，何时为零？
• RQ3 当分支点可移动时，是否能恢复经典Brill-Noether期望（维数为 $\rho$）？
• RQ4 为何退化论证在 $r \geq 2$ 且分支点可移动时失败，尽管其在固定分支点时成立？
• RQ5 当分支点可移动与固定时，$\overline{M_g}$ 上的Brill-Noether子簇是否不同？

主要发现

• 对于 $r=1$，具有类型为 $(m_0, m_1)$ 的可移动分支点的 $g^1_d$ 的族的维数恰好为预期维数 $\rho$，且该族非空当且仅当 $\rho \geq 0$。
• 对于 $r=2$，当 $\rho \geq 0$ 时，族的维数恰好为 $\rho$，其证明依赖于平面曲线的外蕴几何与通过奇点解析的亏格计算。
• 对于 $r \geq 2$，建立了存在的数值准则：给定消去序列的 $g^r_d$ 存在当且仅当Picard簇上的某个交点类非零，该条件可转化为一个可计算的不等式。
• 在一般情形下，此类 $g^r_d$ 的族的维数上界为 $\rho + 3g + m_0 + m_1$，且在低维情形下该上界是紧的。
• 退化到旗曲线在可移动分支点情形下的失败表明，此类曲线对于这些条件而言不够一般，暗示了 $\overline{M_g}$ 上存在新的、不同的Brill-Noether子簇。
• 当 $\gcd(m_0, m_1) = 1$ 时，分支引起的维数损失为 $m_0 + m_1 - 4$；当 $\gcd(m_0, m_1) \neq 1$ 时，损失为 $m_0 + m_1 - 2$，由此导致的净维数下降影响了预期维数。