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

ひとこと要約

本稿は、古典的代数幾何、グラフ理論、トロピカル幾何を統合する枠組みとして、代数的曲線の計量的複体を導入する。この複体に対してリーマン・ロッホ定理を確立し、特殊化不等式を証明する。これは、非アーケメデス的体上の曲線からその関連する計量的複体への特殊化において、除数のランクが減少しないことを示しており、エイセンバーグ＝ハリスの極限線形系理論とベイカーの特殊化補題を一般化する。

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.

研究の動機と目的

• 代数閉体上での古典的リーマン・ロッホ定理と、トロピカル的・グラフ論的類似定理を統合する。
• 計量的複体の代数的曲線上で、線形同値と除数のランクを定義する。
• 非アーケメデス的体上の曲線の除数から、その特別化された計量的複体への特殊化写像を確立する。
• 除数のランクが特殊化によって減少しないことを証明し、ベイカーの特殊化補題を一般化する。
• 除数の特殊化をアイゼンバーグ＝ハリスの極限線形系理論に結びつけ、コンpakto型でない曲線へも拡張する。

提案手法

• 各頂点にマークされた代数的曲線を備えた有限のメトリックグラフとして計量的複体を構成し、マークが接続する辺に対応する。
• 還元とカット条件を用いて、計量的複体上の除数、線形同値、ランクを定義する。
• 非アーケメデス的体上の曲線の除数から、その特別化された曲線の計量的複体への標準的特殊化写像を導入する。
• メトリックグラフ上のランク決定集合と削減された除数の理論を応用し、特殊化不等式を証明する。
• 還元写像と連続性の議論を用いて、もし除数が複体のすべての点でランク ≥1 を持てば、一般化された意味で有効であることを示す。
• 計量的複体上の有効除数と、半安定曲線上の極限線形系との間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的リーマン・ロッホ定理、グラフ論的リーマン・ロッホ定理、トロピカル的リーマン・ロッホ定理を統合する共通の枠組みは可能か？
• RQ2 非アーケメデス的体上の曲線の除数のランクは、その計量的複体への特殊化において下から有界に保たれるか？
• RQ3 特殊化写像は線形同値と除数ランクとどのように作用するか？
• RQ4 アイゼンバーグ＝ハリスの極限線形系理論は、コンパクト型でない曲線へ一般化可能か？
• RQ5 計量的複体への除数の特殊化と極限線形系の存在との間の明確な関係は何か？

主な発見

• 計量的複体の曲線に対して、古典的・トロピカル的・グラフ論的バージョンを統合したリーマン・ロッホ定理を確立した。
• 曲線からその計量的複体への特殊化写像は、除数の次数と線形同値を両方保存する。
• 除数のランクは特殊化によって減少しない。これは、ベイカーの特殊化補題およびその重み付きグラフ版を一般化する。
• 計量的複体への除数の特殊化とアイゼンバーグ＝ハリスの極限線形系との間の明確な結びつきを確立した。
• 極限線形系の理論を、コンパクト型でない曲線へ一般化した。任意の正則な半安定曲線族における g^r_d の退化は、特別化された特別ファイバー上で極限 g^r_d であることを証明した。
• 複体内のランク決定集合に対して、適切な条件下で、全複体上のランクはその集合に台を持つ除数の部分群上のランクに等しい。