[論文レビュー] Correspondence theorems for tropical curves I

Takeo Nishinou|arXiv (Cornell University)|Dec 27, 2009

Polynomial and algebraic computation参考文献 11被引用数 30

ひとこと要約

本稿では、退化するトーリック多様体上の genus 1 のトロピカル曲線の障害コhomology類を計算するための退化に基づく手法を開発し、このような曲線が代数的曲線に滑らかにできるかどうかを体系的に決定可能にする。主な貢献は、Speyerのwell-spacedness条件を拡張した組合せ的基準であり、これは高次元の頂点と辺の重みを考慮し、従来扱いにくかった過剰な（superabundant）ケースを解消し、重み2の辺を持つある種の埋め込みトロピカル曲線が滑らかにできないことを示している。

ABSTRACT

In this paper, we study the deformation theory of degenerate algebraic curves on singular varieties which appear as the degenerate limit of families of varieties. For this purpose, we systematically develop a new method to calculate the obstruction cohomology class of degenerate algebraic curves. This enables us to judge whether a given degenerate curve can be deformed to a smooth curve or not in variety of situations. In this paper, we apply it to curves of genus one on degeneration of toric varieties. In particular, we obtain the necessary and sufficient condition for the realizability of tropical curves of genus one, extending various results obtained so far.

研究の動機と目的

• 退化代数幾何における障害コhomology類を体系的に計算する手法を開発すること、特に過剰な（superabundant）トロピカル曲線に対して。
• 退化するトーリック多様体の内部に埋め込まれた genus 1 トロピカル曲線が滑らかにできるかどうかの必要十分条件を特定すること。
• 高次元の頂点と辺の重みが曲線の滑らか化を妨げるか、あるいは可能にする役割を明らかにすること。
• Speyerのwell-spacedness条件を、非正則かつ過剰な（superabundant）トロピカル曲線、複雑な組合せ的構造を持つものに一般化すること。
• 障害理論とトロピカル曲線の明示的な組合せ的構造を結びつけることで、長年の未解決問題を解決すること。

提案手法

• 特異なトーリック多様体上の退化曲線の変形理論において、Kuranishi写像と障害コhomology類を計算するための退化技術が用いられる。
• 障害類は、環境空間の局所座標近傍における曲線の局所変形から導かれるČech 1-コホモロジー類として表現される。
• Kuranishi写像の直接計算を避けるために退化極限を利用するため、従来扱いにくかったケースにおいても障害を明示的に計算可能となる。
• 辺の重み、頂点の次数、ループからの整数距離といった組合せ的データを用いて、障害類が消えるかどうかを特定する。
• 複数の辺が同じ像へ写される場合や高次元の頂点を含むケースを統合することで、Speyerのwell-spacedness条件を一般化する。
• 非埋め込みおよび埋め込みトロピカル曲線を一様に取り扱う枠組みが構築され、重み2の辺や同じ像へ写される複数の辺を含む場合もカバーする。

実験結果

リサーチクエスチョン

• RQ1 退化するトーリック多様体に埋め込まれた genus 1 トロピカル曲線が、族の滑らかなファイバーに滑らかにできる組合せ的条件は何か？
• RQ2 高次元の頂点（次数 ≥ 4）は、トロピカル曲線の滑らか化に対する障害にどのように影響するか？
• RQ3 辺の重みや同じ像へ写される複数の辺は、古典的なwell-spacedness条件をどのように変更するか？
• RQ4 退化技術を用いて障害コhomology類を明示的に計算できるか？ また、それはいつ消えるか？
• RQ5 重み2の辺を持つある種の埋め込みトロピカル曲線が、標準的なwell-spacedness条件を満たしているにもかかわらず、なぜ滑らかにできないのか？

主な発見

• genus 1 トロピカル曲線の障害類が消えるのは、辺の重みと複数の辺を考慮した一般化されたwell-spacedness条件が成り立つ場合に限る。これは滑らか化の必要十分条件を提供する。
• 高次元の頂点は、Speyerの元々のwell-spacedness条件とは異なるメカニズムにより障害を相殺でき、従来は遮断と見なされていたケースでも滑らかに可能になる。
• 1本の重み2の辺（例えば、トーリック除集合との2重交差に対応）を持つトロピカル曲線は、曲線が埋め込みであっても障害類が消えない限り滑らかにできない。
• P³における三次曲線の例から、線形変換が辺の長さと重みを変えることができ、重み2の辺の整数長を半分にすることにより、拡張されたwell-spacedness条件を満たす必要があることが示された。
• トロピカルハイパープランに埋め込まれたすべてのトロピカル三次曲線が滑らかにできるわけではない。ある種の埋め込み曲線は、重み2の辺を持つにもかかわらず遮断されている。
• 本手法は、genus 1 曲線の過剰な（superabundant）ケースを効果的に解消し、従来は正則または非過剰なトロピカル曲線にしか適用されなかった結果を拡張した。