[论文解读] A note on Brill-Noether thoery and rank determining sets for metric graphs

Chang Mou Lim, Sam Payne+1 more|arXiv (Cornell University)|Jun 27, 2011

Algebraic Geometry and Number Theory参考文献 18被引用 11

一句话总结

本文构建了不含分离边的四阶度量图，其布里尔-诺特簇 $W^1_3(\Gamma)$ 的维数为正，超过预期的布里尔-诺特数 $\rho(4,1,3) = 0$。此外，本文表明这些图上的最小秩决定集的大小可超过 $g+1$，从而反驳了罗的猜想，并引入了一种新的布里尔-诺特秩概念，该概念具有上半连续性，且满足类似于代数曲线的专门化不等式。

ABSTRACT

We produce open subsets of the moduli space of metric graphs without separating edges where the dimensions of Brill-Noether loci are larger than the corresponding Brill-Noether numbers. These graphs also have minimal rank determining sets that are larger than expected, giving couterexamples to a conjecture of Luo. Furthermore, limits of these graphs have Brill-Noether loci of the expected dimension, so dimensions of Brill-Noether loci of metric graphs do not vary upper semicontinuously in families. Motivated by these examples, we study a notion of rank for the Brill-Noether locus of a metric graph, closely analogous to the Baker-Norine definition of the rank of a divisor. We show that ranks of Brill-Noether loci vary upper semicontinuously in families of metric graphs and are related to dimensions of Brill-Noether loci of algebraic curves by a specialization inequality.

研究动机与目标

• 研究度量图上布里尔-诺特簇的维数是否如代数几何中那样具有上半连续性。
• 检验罗的猜想：度量图上的最小秩决定集大小不超过 $g+1$。
• 构造不含分离边的四阶度量图，使得 $\dim W^1_3(\Gamma) > \rho(4,1,3) = 0$，从而违背预期行为。
• 定义并研究度量图的一种新布里尔-诺特秩概念，其类似于贝克-诺林的除子秩。
• 建立专门化不等式，将度量图的布里尔-诺特秩与代数曲线上布里尔-诺特簇的维数联系起来。

提出的方法

• 构造‘环环’——三价度量图，阶数 $g \geq 3$，具有 $2g-2$ 个顶点及特定边连接，采用单边与双边交替的循环模式。
• 应用罗的秩决定集理论，证明三价顶点集合构成大小为 $2g-2$ 的最小秩决定集。
• 利用 $v$-约化与在阶数为1的子图上的发射移动，分析除子等价性，确定某些3度除子的秩为零。
• 引入新不变量：布里尔-诺特秩 $w^r_d(\Gamma)$，定义为最大的 $k$，使得 $\Gamma$ 上任意一个度数为 $r + k$ 的有效除子均包含于某个度数为 $d$ 且秩为 $r$ 的有效除子中。
• 通过有理逼近与对称积的紧致性，证明布里尔-诺特秩在度量图族中具有上半连续性。
• 建立专门化不等式：若 $X$ 是具有特殊纤维 $\Gamma$ 的曲线，则 $w^r_d(\Gamma) \geq \dim W^r_d(X)$，推广了贝克的专门化引理。

实验结果

研究问题

• RQ1 度量图上布里尔-诺特簇 $W^r_d(\Gamma)$ 的维数是否可能超过布里尔-诺特数 $\rho(g,r,d)$？
• RQ2 度量图上的最小秩决定集是否总是满足大小不超过 $g+1$，如罗所猜想？
• RQ3 在不含分离边的度量图族中，$W^r_d(\Gamma)$ 的维数是否具有上半连续性？
• RQ4 能否为度量图的布里尔-诺特簇定义一种秩概念，使其类似于贝克-诺林的除子秩？
• RQ5 度量图的布里尔-诺特秩是否满足相对于代数曲线的专门化不等式？

主要发现

• 在四阶度量图模空间的一个开子集上，若不含分离边，则 $\dim W^1_3(\Gamma) = 1 > \rho(4,1,3) = 0$，表明布里尔-诺特簇维数并非上半连续。
• 环环图在阶数 $g$ 时的最小秩决定集大小为 $2g-2$，当 $g \geq 4$ 时超过 $g+1$，从而为罗的猜想提供了反例。
• 布里尔-诺特秩 $w^r_d(\Gamma)$ 定义良好，且在度量图族中具有上半连续性。
• 对于任意具有正规半稳定模型且特殊纤维为 $\Gamma$ 的光滑曲线 $X$，不等式 $w^r_d(\Gamma) \geq \dim W^r_d(X)$ 成立，推广了贝克的专门化引理。
• 在四阶环环图中，除子 $v_1 + w_1$ 不包含于任何度数为3且秩至少为1的有效除子中，因此 $w^1_3(\Gamma) = 0$，与预期值 $\rho(4,1,3)$ 一致。