[論文レビュー] 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

ひとこと要約

本稿は、飽和メトリック複体の代数的曲線の族におけるランク1の極限線形系統の滑らか可能性について、完全かつ有限に検証可能な基準を提供する。この基準は、すべての滑らか化の空間を特徴づけ、メトリック複体へと拡張され、コンpact型の曲線に対応するすべての極限線形系統が滑らか可能であることを証明するとともに、別々のループからなる双対グラフを持つ曲線についての組合せ的基準を確立する。

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.

研究の動機と目的

• 飽和メトリック複体におけるランク1の極限線形系統の滑らか可能性について、完全かつ有限に検証可能な基準を構築すること。
• このような極限線形系統のすべての滑らか化の空間を特徴づけること。
• 飽和メトリック複体から一般のメトリック複体への滑らか可能性基準の拡張すること。
• 飽和メトリック複体がコンパクト型の曲線に対応する場合、すべてのランク1の極限線形系統が滑らか可能であることを証明すること。
• 双対グラフが別々のループからなる飽和メトリック複体における滑らか可能極限線形系統の完全な組合せ的基準を確立すること。

提案手法

• メトリック複体の拡張として、すべてのメトリックグラフの点に代数的曲線を割り当てる飽和メトリック複体を導入する。
• 各成分における整合性を持つ線形系統と、双対グラフ上の整合性条件を用いて、これらの複体上のランク1の極限線形系統を定義する。
• 局所的図の可解性条件と、辺を渡る微分形式の積分を含むグローバル整合性条件を用いる。
• 分岐木への射影を用いて極限線形系統の構造を解析し、局所的およびグローバル整合性を用いて滑らか可能性をテストする。
• アルゴリズム2.13を用いて、頂点におけるセクションとマークドポイントを含む線形方程式を解くことで、滑らか可能性をテストする。
• 辺の重みの変化と辺に沿った非増加的挙動を分析し、微分形式の積分に必要な制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 飽和メトリック複体におけるランク1の極限線形系統の滑らか可能性について、完全かつ有限に検証可能な基準は何か？
• RQ2 このような極限線形系統のすべての滑らか化の空間はどのように特徴づけられるか？
• RQ3 双対グラフが別々のループからなる場合、飽和メトリック複体におけるランク1の極限線形系統が滑らか可能である条件は何か？
• RQ4 飽和メトリック複体における滑らか可能性基準を一般のメトリック複体へ拡張できるか？
• RQ5 コンパクト型の曲線におけるランク1の極限線形系統の滑らか可能性の組合せ的条件は何か？

主な発見

• 飽和メトリック複体におけるランク1の極限線形系統は、次のいずれかが成り立つ場合に限り滑らか可能である：(1) 中央辺の2つの頂点のいずれかで、3つの前方接線方向が局所的に同値である、または (2) 線形方程式 αₚ + fₚ(uᵢ)βₚ = α_q + f_q(vᵢ)β_q が βₚ ≠ 0 かつ β_q ≠ 0 を満たす解をもつ。
• コンパクト型の曲線に対応する飽和メトリック複体において、すべてのランク1の極限線形系統は滑らか可能である。
• 双対グラフが別々のループからなる飽和メトリック複体に対して、滑らか可能性の完全な組合せ的基準が確立された。
• 滑らか可能性基準は、飽和メトリック複体から一般のメトリック複体へ拡張された。
• グローバル図が可解であるためには、各連結成分内のすべての辺で微分形式 ω の積分値が等しくなければならない。
• メトリックグラフを分岐木へ射影することにより、整合性条件の構造が特定され、木の根には一意な前方方向が存在する。