[论文解读] Brill-Noether theory of binary curves

Lucia Caporaso|ArXiv.org|Jul 9, 2008

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

一句话总结

本文通过其紧化雅可比簇，建立了二元曲线上线丛的布里尤阿-诺特理论的基础定理——黎曼、克莱夫和马尔滕斯定理。它证明了在一般二元曲线上，当 $ r \leq 2 $ 时的布里尤阿-诺特定理，表明布里尤阿-诺特簇的维数与预期值 $ \rho^r_d(g) $ 一致，并通过克莱夫指标刻画了双椭圆与三线性曲线，为代数几何中退化稳定曲线提供了一个新框架。

ABSTRACT

Final version, to appear in Mathematical Research Letters.

研究动机与目标

• 通过聚焦于在 $ g+1 $ 个点处相交的两个有理分支的二元曲线——即节点型的可约奇异曲线，将经典布里尤阿-诺特理论推广至可约奇异曲线。
• 建立由二元曲线的紧化Picard概形参数化的线丛的黎曼、克莱夫与马尔滕斯定理。
• 利用克莱夫指标刻画双椭圆与三线性二元曲线，为光滑曲线理论提供退化类比。
• 证明在一般二元曲线上 $ r \leq 2 $ 的布里尤阿-诺特定理，表明布里尤阿-诺特簇的预期维数 $ \rho^r_d(g) $ 成立。

提出的方法

• 使用紧化通用Picard概形 $ \overline{P}_{d,g} \to \overline{M}_g $ 作为二元曲线上线丛的环境空间。
• 应用稳定映射的模空间 $ M_{0,n}(\mathbb{P}^r, d) $ 来参数化从有理曲线到射影空间的 $ d $ 次映射。
• 构造一个态射 $ \gamma_g: M_{0,g+1} \times M_{0,g+1} \to B_g $，通过在 $ g+1 $ 个点处粘合带标记的有理曲线来参数化二元曲线。
• 分析从 $ J \subset M_{0,g+1}(\mathbb{P}^2, d_1) \times M_{0,g+1}(\mathbb{P}^2, d_2) $ 到 $ B_g $ 的评估映射的像，根据 $ \operatorname{Im}\phi_1 \subset \operatorname{Im}\phi_2 $ 的情况区分不同情形。
• 通过公式 $ \dim M_{0,n}(\mathbb{P}^r, d) = (r+1)d + r - 3 + n $ 进行维数计数，以控制布里尤阿-诺特簇的维数。
• 利用 $ PGL(3) $ 与 $ PGL(2) $ 作用下的不变性，控制纤维维数并确定映射到 $ B_g $ 的支配性。

实验结果

研究问题

• RQ1 克莱夫定理是否对二元曲线的紧化雅可比簇上的线丛成立？
• RQ2 克莱夫指标是否能如光滑情形一样刻画双椭圆与三线性二元曲线？
• RQ3 在一般二元曲线上，$ r \leq 2 $ 的布里尤阿-诺特定理是否成立，且 $ W^r_{\underline{d}}(X) $ 的维数是否等于 $ \rho^r_d(g) $？
• RQ4 对于一般二元曲线 $ X $，布里尤阿-诺特簇 $ W^r_{\underline{d}}(X) $ 的维数是多少？
• RQ5 当有理分支的映射不横截时，$ W^r_{\underline{d}}(X) $ 的簇如何表现？

主要发现

• 所有由二元曲线的紧化雅可比簇参数化的线丛，其黎曼、克莱夫与马尔滕斯定理均成立。
• 二元曲线的克莱夫指标为零，当且仅当其为双椭圆曲线；为一，当且仅当其为三线性曲线。
• 当 $ r = 1 $ 时，对于一般二元曲线 $ X $，$ W^1_{\underline{d}}(X) $ 的维数为 $ \rho^1_d(g) $，且当 $ \rho^1_d(g) < 0 $ 时为空集。
• 当 $ r = 2 $ 时，对于一般二元曲线 $ X $，$ W^2_{\underline{d}}(X) $ 的维数为 $ \rho^2_d(g) $，且当 $ \rho^2_d(g) < 0 $ 时为空集，该结果通过映射模空间的维数计数得出。
• 簇 $ \beta_{\underline{d}}(J_b) $ 在 $ B_g $ 中从不稠密，确保仅 $ J_a $ 分量对布里尤阿-诺特簇的维数有贡献。
• 对 $ r \leq 2 $ 的布里尤阿-诺特定理的证明独立于光滑曲线情形，因此为经典定理提供了新证明。