[论文解读] Vector bundles on curves and theta functions

Arnaud Beauville|ArXiv.org|Feb 9, 2005

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

一句话总结

本论文研究了从曲线 C 上秩 r 且行列式为平凡的向量丛模空间到雅可比簇 J 上线性系统 |rΘ| 的 θ 映射，将其识别为由行列式线丛定义的自然映射。关键贡献在于，对于 r=2，以及当 g=2,3 或 C 为一般曲线时的 r=3，确立了 θ 映射为态射（因此为有限映射且在一般情况下为单射），解决了关于其基点纯量和行为的长期悬而未决的问题。

ABSTRACT

This is a (short) survey lecture on the "theta map" from the moduli space of SL_r bundles on a curve C to the projective space of r-th order theta functions on JC . Some recent results and a few open problems about that map are discussed.

研究动机与目标

• 理解从秩 r 向量丛模空间（行列式为平凡）到雅可比簇上线性系统 |rΘ| 的 θ 映射 θ: M_r → |rΘ| 的结构与性质。
• 确定 θ 映射何时为态射，即其基点纯量为空集，这对理解 M_r 的几何结构至关重要。
• 分析低秩与低亏格下该映射的行为，特别是针对 r=2 和 r=3 的情形，并确立其有限性与单射性性质。
• 探讨 θ 除子的存在性与向量丛稳定性之间的联系，并将其与代数几何中的经典问题关联起来。

提出的方法

• 通过同构 |L|* ≅ |rΘ|，将 θ 映射 θ: M_r → |rΘ| 与由 M_r 上行列式线丛 L 定义的有理映射 φ_L: M_r → |L|* 识别为同一映射。
• 利用 Riemann-Roch 定理与上同调准则，刻画向量丛 E 何时存在 θ 除子 Θ_E ⊂ J^{g-1}。
• 应用 r-挠子群 J[r] 在 M_r 与 |rΘ| 上的作用，证明 θ 是 J[r]-等变的，从而有助于分析其像与纤维。
• 采用退化技术，并将问题约化为具有 g 个节点的有理曲线，以证明当 r=3 且 C 为一般曲线时，基点纯量为空。
• 将条件 Θ_E ⊃ Θ 转化为射影空间中线性系的几何条件，利用 Morin 对 P^5 中相交 2-平面族的分类。
• 应用 Verlinde 公式计算当 θ 为态射时其度数，并通过切空间分析研究其单射性。

实验结果

研究问题

• RQ1 θ 映射 θ: M_r → |rΘ| 是否对所有 r 和 g 都是态射，还是仅在特殊情形下成立？
• RQ2 M_r 上行列式线丛的基点纯量是什么？何时为空？
• RQ3 对于非双椭圆曲线，θ 映射是否在一般情况下为单射？对于双椭圆曲线，其是否为二对一？
• RQ4 θ 除子的存在是否意味着向量丛的稳定性？
• RQ5 θ 映射的度数能否被计算或估计，特别是在高亏格情形下？

主要发现

• θ 映射 θ: M_r → |rΘ| 是态射（即基点纯量为空）当且仅当 r=2，或当 r=3 且 g=2 或 3，或当 C 为一般曲线时，该结果由 Raynaud 证明。
• 当 r=3 且亏格为 3 时，θ 映射为有限态射，且通过 P^5 中 2-平面族的几何分类，完全确定了所有满足 Θ_E ⊃ Θ 的稳定丛 E。
• 映射 θ 是 J[r]-等变的，其像在 J[r] 作用下不变，这有助于分析其纤维与单射性。
• 条件 Θ_E ⊃ Θ 在几何上对应于 P^5 中所有相交的 2-平面族，此类族由 Morin 分类为三类线性型与三类几何型。
• θ 在 Θ + Θ_F 上的纤维（其中 F ∈ M_2）被证明为 {O_C ⊕ F}，提示 θ 可能为度数 1，尽管其单射性尚未被证明。
• 当 θ 为态射时，其度数预计随 g 指数增长，但尚无显式公式；Verlinde 公式可给出此时的度数。