[論文レビュー] Linear Systems on Tropical Curves

Christian Haase, Gregg Musiker+1 more|arXiv (Cornell University)|Sep 21, 2009

Polynomial and algebraic computation参考文献 6被引用数 10

ひとこと要約

この論文はトロピカル曲線上の線形系 |D| の理論を展開し、それが有限次元セル複体であり、有限生成トロピカル加群の商であることを示している。主な貢献は、|D| がトロピカル射影空間への写像のトロピカル凸包と同型であることを証明し、非常に豊富でない canonical divisor が双曲的であることを示したことである。

ABSTRACT

A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree equal to °(D). The tropical convex hull of the image realizes the linear system |D| as a polyhedral complex. We show that curves for which the canonical divisor is not very ample are hyperelliptic. We also show that the Picard group of a \Q-tropical curve is a direct limit of critical groups of finite graphs converging to the curve.

研究の動機と目的

• 古典的代数幾何学に類似した、トロピカル曲線上の線形系 |D| の組合せ的かつ代数的枠組みを確立すること。
• |D| を多面体セル複体としての構造を特徴づけ、それが有理関数の有限生成集合から生じることを示すこと。
• ある divisor の写像 φ_F によるトロピカル射影空間への像のトロピカル凸包を用いて、|D| が多面体複体として実現されることを示すこと。
• canonical divisor の豊富性とトロピカル曲線の双曲的性質との関係を調査すること。
• 辺の分割による有限グラフモデルの Picard 群の直和限界として、Q-トロピカル曲線の Picard 群を記述すること。

提案手法

• トロピカル曲線を有理数スロープを持つ連続的で折れ線的な関数としての有理関数を備えた、非有界辺を有する距離グラフとして定義する。
• 重み付きチップ・ファイアリング移動を用いて線形同値を導入し、有限グラフのチップ・ファイアリングを連続的距離グラフへ一般化する。
• R(D) を D+(f) ≥ 0 を満たす有理関数 f の集合とするとき、線形系 |D| を R(D)/1 の商として構成する。
• R(D) が有限生成トロピカル半加群であることを示し、その生成子がセル複体 |D| の頂点に対応することを示す。
• 写像 φ_F による像のトロピカル凸包を用いて、|D| をセル複体と同型な多面体複体として実現する。
• 直和限界構成を用いて、Q-トロピカル曲線の Picard 群を辺の分割によって得られる有限グラフモデルの Picard 群の極限として記述する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル曲線上の線形系 |D| はどのように有限セル複体として記述できるか？
• RQ2 |D| の幾何的性質と、トロピカル射影空間への写像による像のトロピカル凸包との関係は何か？
• RQ3 canonical divisor が非常に豊富である条件は何か？ そしてそれは双曲的性質とどのように関係するか？
• RQ4 Q-トロピカル曲線の Picard 群は、辺の分割によって得られる有限グラフモデルの Picard 群とどのように関係するか？
• RQ5 divisor の Baker-Norine 階数は、その線形系 |D| の組合せ的構造とどのように関連するか？

主な発見

• 線形系 |D| は有限セル複体であり、その頂点集合はトロピカル半加群 R(D) の有限生成集合に正確に対応する。
• 写像 φ_F の像のトロピカル凸包は、|D| と折れ線的同型であり、線形系の幾何的実現を提供する。
• canonical divisor K が非常に豊富でない場合、トロピカル曲線は双曲的である。これは古典的代数幾何学の結果に対するトロピカル版を確立する。
• トロピカル曲線上の正の次数の任意の divisor は豊富である。これは古典的性質をトロピカル設定へ拡張する。
• Q-トロピカル曲線の Picard 群は、辺を分割して得られる有限グラフの Picard 群の直和限界と同型である。
• 種数 2 のバナナ・グラフに対して、Q 上の Picard 群は Q/Z × Q/Z と同型であり、有理数代表をもつ divisor 群によって生成される。