[论文解读] On linear series with negative Brill-Noether number

Nathan Pflueger|arXiv (Cornell University)|Nov 22, 2013

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

一句话总结

本文通过引入扭曲的魏尔斯特拉斯点并界定其位移难度，证明了在负的布里尤阿内-诺特数情况下，存在维数适当的线性系列。利用极限线性系列与组合技巧，证明当 $\rho \geq -\frac{r}{r+2}g + 3r - 3$ 时，模空间 $\mathcal{W}^r_{d,g}$ 具有维数为 $\dim\mathcal{M}_g + \rho$ 的分量，从而证实了负 $\rho$ 情况下布里尤阿内-诺特猜想的改进版本。关键贡献在于对盒形分拆的位移难度建立了一个组合界，该界蕴含了主定理。

ABSTRACT

Brill-Noether theory studies the existence and deformations of curves in projective spaces; its basic object of study is $\mathcal{W}^r_{d,g}$, the moduli space of smooth genus $g$ curves with a choice of degree $d$ line bundle having at least $(r+1)$ independent global sections. The Brill-Noether theorem asserts that the map $\mathcal{W}^r_{d,g} ightarrow \mathcal{M}_g$ is surjective with general fiber dimension given by the number $ρ= g - (r+1)(g-d+r)$, under the hypothesis that $0 \leq ρ\leq g$. One may naturally conjecture that for $ρ< 0$, this map is generically finite onto a subvariety of codimension $-ρ$ in $\mathcal{M}_g$. This conjecture fails in general, but seemingly only when $-ρ$ is large compared to $g$. This paper proves that this conjecture does hold for at least one irreducible component of $\mathcal{W}^r_{d,g}$, under the hypothesis that $0 < -ρ\leq \frac{r}{r+2} g - 3r+3$. We conjecture that this result should hold for all $0 < -ρ\leq g + C$ for some constant $C$, and we give a purely combinatorial conjecture that would imply this stronger result.

研究动机与目标

• 通过识别 $\mathcal{W}^r_{d,g}$ 具有预期维数分量的条件，解决负 $\rho$ 情况下布里尤阿内-诺特维数估计的失效问题。
• 通过证明当 $-\rho$ 相对于 $g$ 不太大时，存在维数适当的线性系列，将布里尤阿内-诺特定理推广至 $\rho < 0$ 的情形。
• 引入并分析与分拆（特别是对应于 $\mathfrak{g}^r_d$ 线性系列的盒形分拆）相关的扭曲魏尔斯特拉斯点概念。
• 通过位移难度建立一个组合框架，使借助归纳极限线性系列技术构造此类线性系列成为可能。
• 猜想结果对所有 $0 < -\rho \leq g + C$ 成立（$C$ 为某常数），并识别出维数估计成立所必需的组合条件（原始性）。

提出的方法

• 通过分拆 $P$ 引入扭曲魏尔斯特拉斯点，定义参数化在亏格 $g$ 曲线上此类点的模空间 $\mathcal{W}_g(P)$。
• 利用极限线性系列技术，从亏格 $g$ 中的维数适当扭曲魏尔斯特拉斯点构造亏格 $g+1$ 中的维数适当点，实现归纳构造。
• 定义分拆 $P$ 的位移难度 $\delta(P)$，其衡量沿等差数列向上位移以达到维数适当点所需的最少步数。
• 证明若 $\delta(P) \leq g - |P|$，则 $\mathcal{W}_g(P)$ 包含维数适当的点，从而将组合界与几何存在性联系起来。
• 建立盒形分拆的界 $\delta((a^b)) \leq a + 3b - 5$，此类分拆与 $\mathfrak{g}^r_d$ 线性系列一一对应，其中 $a = g - d + r$，$b = r + 1$。
• 将该界应用于证明：当 $\rho \geq -\frac{r}{r+2}g + 3r - 3$ 时，空间 $\mathcal{W}^r_{d,g}$ 具有维数为 $\dim\mathcal{M}_g + \rho$ 的分量，其在 $\mathcal{M}_g$ 中的像的余维数为 $-\rho$。

实验结果

研究问题

• RQ1 当 $\rho < 0$ 时，$\mathcal{W}^r_{d,g}$ 的朴素维数估计是否仍成立，特别是对预期维数的分量？
• RQ2 在 $-\rho$ 有定量界时，是否能保证 $\rho < 0$ 情况下维数适当的线性系列的存在？
• RQ3 分拆的位移难度是否为确保维数适当扭曲魏尔斯特拉斯点存在的充分不变量？
• RQ4 在不破坏结果的前提下，能否从魏尔斯特拉斯点的维数估计中移除原始性组合条件？
• RQ5 是否存在一个统一常数 $C$，使得对所有 $\rho < 0$，$\mathcal{W}^r_{d,g}$ 的分量维数至少为 $C(r)g$？

主要发现

• 当 $\rho \geq -\frac{r}{r+2}g + 3r - 3$ 时，模空间 $\mathcal{W}^r_{d,g}$ 具有维数为 $\dim\mathcal{M}_g + \rho$ 的不可约分量，其在 $\mathcal{M}_g$ 中的像的余维数为 $-\rho$。
• 盒形分拆 $(a^b)$ 的位移难度满足 $\delta((a^b)) \leq a + 3b - 5$，该界足以在给定的 $\rho$ 界下确保维数适当线性系列的存在。
• 界 $\rho \geq -\frac{r}{r+2}g + 3r - 3$ 确保 $g \geq \frac{1}{2}(ab + a + 3b - 5)$，其中 $a = g - d + r$，$b = r + 1$，从而验证了维数估计。
• 结果证实，朴素维数估计仅在 $-\rho$ 相对于 $g$ 较大时失效，并为此提供了精确的临界阈值。
• 本文表明，艾森施特拉斯-哈里斯定理中的原始性条件是必要的：若无此条件，魏尔斯特拉斯点的维数估计将不成立。
• 通过极限线性系列与位移序列的构造，只要 $\delta(P) \leq g - |P|$，即可在 $\mathcal{W}_g(P)$ 中得到维数适当的点，而该不等式在所述界下成立。