[论文解读] Linear series on metrized complexes of algebraic curves

Omid Amini, Matthew Baker|arXiv (Cornell University)|Apr 16, 2012

Algebraic Geometry and Number Theory参考文献 36被引用 4

一句话总结

本文引入了代数曲线的度量复形作为统一框架，整合了经典代数几何、图论与热带几何。它为这些复形建立了黎曼-罗赫定理，并证明了专门化不等式，表明当从非阿基米德域上的曲线专门化到其对应的度量复形时，除子的秩不会下降，从而推广了Eisenbud-Harris的极限线性系列理论与Baker的专门化引理。

ABSTRACT

A metrized complex of algebraic curves is a finite metric graph together with a collection of marked complete nonsingular algebraic curves, one for each vertex, the marked points being in bijection with incident edges. We establish a Riemann-Roch theorem for metrized complexes of curves which generalizes both the classical Riemann-Roch theorem and its graph-theoretic and tropical analogues due to Baker-Norine, Gathmann-Kerber, and Mikhalkin-Zharkov. We also establish generalizations of the second author's specialization lemma and its weighted graph analogue due to Caporaso and the first author, showing that the rank of a divisor cannot go down under specialization from curves to metrized complexes. As an application of these considerations, we formulate a generalization of the Eisenbud-Harris theory of limit linear series to semistable curves which are not necessarily of compact type.

研究动机与目标

• 将代数闭域上的经典黎曼-罗赫定理与热带及图论的类比统一起来。
• 在代数曲线的度量复形上定义线性等价性与除子的秩。
• 建立从非阿基米德域上曲线的除子到其关联度量复形的专门化映射。
• 证明除子的秩在专门化过程中不会下降，推广了Baker的专门化引理。
• 将除子专门化与Eisenbud-Harris的极限线性系列理论联系起来，将其推广至非紧致类型的曲线。

提出的方法

• 将度量复形构造为带有标记代数曲线的有限度量图，其中标记对应于关联的边。
• 通过约化与切割条件，在度量复形上定义除子、线性等价性与秩。
• 引入从非阿基米德域上曲线的除子到其特殊纤维关联度量复形除子的典范专门化映射。
• 应用度量图上秩决定集与约化除子的理论，证明专门化不等式。
• 利用约化映射与连续性论证，证明若一个除子在复形的所有点上秩≥1，则其在广义意义上是有效的。
• 建立度量复形上有效除子与半稳定曲线上极限线性系列之间的对应关系。

实验结果

研究问题

• RQ1 是否存在一个共同框架，能够统一经典黎曼-罗赫定理、图论黎曼-罗赫定理与热带黎曼-罗赫定理？
• RQ2 非阿基米德域上曲线的除子的秩在专门化到其度量复形时是否保持有下界？
• RQ3 专门化映射如何与线性等价性及除子秩相互作用？
• RQ4 Eisenbud-Harris的极限线性系列理论能否推广至非紧致类型的曲线？
• RQ5 除子专门化到度量复形与极限线性系列存在性之间的精确关系是什么？

主要发现

• 为曲线的度量复形建立了黎曼-罗赫定理，整合了经典、热带与图论版本。
• 从曲线到其度量复形的专门化映射保持了除子的次数与线性等价性。
• 除子的秩在专门化过程中不会下降，推广了Baker的专门化引理及其加权图类比。
• 建立了除子专门化到度量复形与Eisenbud-Harris极限线性系列之间的明确联系。
• 该理论将极限线性系列推广至非必然紧致类型的曲线，证明在半稳定曲线的正规族中，任何g^r_d的退化都是特殊纤维上极限g^r_d。
• 对于复形中的任意秩决定集，在适当条件下，复形上整体的秩等于该集合上支持的除子子群上的秩。