[论文解读] Smoothing of Limit Linear Series of Rank One on Saturated Metrized Complexes of Algebraic Curves

Ye Luo, Madhusudan Manjunath|arXiv (Cornell University)|Nov 10, 2014

Algebraic Geometry and Number Theory参考文献 28被引用 3

一句话总结

本文为饱和度度量代数曲线复形上的秩一极限线性系列的光滑化提供了一个完整且可有限验证的判别准则。它刻画了所有光滑化的空间，并将该判别准则扩展至度量复形，证明了在类型为紧致的曲线上所有此类系列均可光滑化，并为双图由独立环构成的曲线建立了组合判别准则。

ABSTRACT

We investigate the smoothing problem of limit linear series of rank one on an enrichment of the notions of nodal curves and metrized complexes called saturated metrized complexes. We give a finitely verifiable full criterion for smoothability of a limit linear series of rank one on saturared metrized complexes, characterize the space of all such smoothings, and extend the criterion to metrized complexes. As applications, we prove that all limit linear series of rank one are smoothable on saturated metrized complexes corresponding to curves of compact-type, and prove an analogue for saturated metrized complexes of a theorem of Harris and Mumford on the characterization of nodal curves contained in a given gonality stratum. In addition, we give a full combinatorial criterion for smoothable limit linear series of rank one on saturated metrized complexes corresponding to nodal curves whose dual graphs are made of separate loops.

研究动机与目标

• 为饱和度度量复形上的秩一极限线性系列光滑化发展一个完整且可有限验证的判别准则。
• 刻画此类极限线性系列所有光滑化的空间。
• 将光滑化判别准则从饱和度度量复形扩展至一般度量复形。
• 证明所有秩一极限线性系列在对应于紧致类型曲线的饱和度度量复形上均可光滑化。
• 为双图由独立环构成的饱和度度量复形上的光滑化极限线性系列建立完整的组合判别准则。

提出的方法

• 引入饱和度度量复形作为度量复形的增强形式，为度量图的所有点分配代数曲线，而不仅限于有限子集。
• 通过在每个分量上定义相容的线性系列，并在对偶图上施加相容性条件，定义这些复形上的秩一极限线性系列。
• 利用局部图的可解性条件，以及涉及微分形式在边上积分的全局相容性条件。
• 对分叉树进行投影，以分析极限线性系列的结构，并通过局部与全局相容性测试光滑化。
• 应用算法2.13，通过求解涉及顶点处截面与标记点的线性方程来测试光滑化。
• 分析边上的重数变化及其沿边的非增行为，推导出微分形式积分的必要约束。

实验结果

研究问题

• RQ1 在饱和度度量复形上，秩一极限线性系列光滑化的完整且可有限验证的判别准则是什么？
• RQ2 此类极限线性系列的所有光滑化空间应如何刻画？
• RQ3 当双图由独立环构成时，饱和度度量复形上的秩一极限线性系列在何种条件下可光滑化？
• RQ4 饱和度度量复形上的光滑化判别准则能否扩展至一般度量复形？
• RQ5 在紧致类型曲线上，秩一极限线性系列光滑化的组合条件是什么？

主要发现

• 在饱和度度量复形上，秩一极限线性系列可光滑化，当且仅当满足以下两个条件之一：(1) 在中心边的两个顶点之一，三个前向切线方向在局部等价；或 (2) 线性方程组 αₚ + fₚ(uᵢ)βₚ = α_q + f_q(vᵢ)β_q 存在解，且满足 βₚ ≠ 0 与 β_q ≠ 0。
• 所有在对应于紧致类型曲线的饱和度度量复形上的秩一极限线性系列均可光滑化。
• 为双图由独立环构成的饱和度度量复形，建立了完整的组合判别准则以判断光滑化。
• 光滑化判别准则已从饱和度度量复形扩展至一般度量复形。
• 为使全局图可解，微分形式 ω 在每个连通分支的所有边上积分必须相等。
• 度量图向分叉树的投影决定了相容性条件的结构，其中根节点在树中具有唯一的前向方向。