[論文レビュー] Algebraic and tropical curves: comparing their moduli spaces

Lucia Caporaso|arXiv (Cornell University)|Jan 25, 2011

Algebraic Geometry and Number Theory参考文献 27被引用数 50

ひとこと要約

本稿は、重み付き曲線による境界付加と拡張曲線によるコンパact化を含めた、 genus $g$ の $n$-点付きトロピカル曲線のモジュライ空間を構成し、安定代数的曲線の Deligne-Mumford モジュライ空間 $\overline{M}_{g,n}$ と比較する。主な貢献は、トロピカルおよび代数的モジュライ空間の間の深い組合せ論的・位相的・タイヒミュラー的類似性を確立し、$M_{g,n}^{\text{trop}}$ が純粋次元 $3g-3+n$ の連結でハウスドルフな位相空間であり、$M_{g,n}^{\text{pure}}$ がその中に稠密で開であることを示している。

ABSTRACT

We construct the moduli space for equivalence classes of n-pointed tropical curves of genus g, together with its compactification given by weighted tropical curves, and establish some of its basic topological properties. We compare it to the moduli spaces of smooth and stable algebraic curves, from the combinatorial, the topological, and the Teichmüller point of view. The paper is written in an expository style, and it generalizes some results contained in sections 4-6 of arXiv:1001.2815v3.

研究の動機と目的

• genus $g$ の $n$-点付きトロピカル曲線のモジュライ空間を、境界付加およびコンパクト化を含めて構成すること。
• トロピカルモジュライ空間と代数的モジュライ空間 $\overline{M}_{g,n}$ の位相的および組合せ論的構造を比較すること。
• 複素曲線のタイヒミュラー理論とメトリックグラフのタイヒミュラー理論の類似性を調査すること。
• 特にコンパクト化、除集合論、カテゴリカル基盤に関する未解決問題を、トロピカルモジュライ理論の文脈で特定すること。

提案手法

• 頂点の次数が3未満であるものが存在しないメトリックグラフとして純粋トロピカル曲線を定義し、頂点上の重み関数を導入することで重み付きトロピカル曲線に拡張する。
• genus $g$ の重み付き $n$-点付きトロピカル曲線の等長同型類をパラメトライズする位相空間として $M_{g,n}^{\text{trop}}$ を構成する。
• 安定代数的曲線の双対グラフを用いて $\overline{M}_{g,n}$ の組合せ論的分割を定義し、それを安定グラフによって分割される $M_{g,n}^{\text{trop}}$ と比較する。
• 複素曲線のティヒミュラー空間 $T_g$ のトロピカル版として、Culler-Vogtmann の外部空間 $O_g$ を用いる。
• ストラト分離の閉包の包含関係を介して、$\overline{M}_{g,n}$ と $M_{g,n}^{\text{trop}}$ の両方のポセット構造の間の対応を確立する。
• 特殊化補題とグラフ上の線型系理論を用いて、トロピカル線型系と代数的線型系との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 純粋トロピカル曲線のモジュライ空間はどのようにコンパクト化可能であり、そのようなコンパクト化に幾何学的意味はあるか？
• RQ2 $M_{g,n}^{\text{pure}}$ の代替的コンパクト化または境界付加は存在するか？ それらは拡張トロピカル曲線によるコンパクト化とどのように関係するか？
• RQ3 重み付きトロピカル曲線上の線分束に対してリーマン・ロッホ定理は成り立つか？ また、クリフォードの定理はこの設定に拡張可能か？
• RQ4 トロピカルモジュライ空間の幾何を最もよく捉えるカテゴリカル枠組み（例：トロピカルスタックやオビルド）は何か？

主な発見

• 重み付き $n$-点付きトロピカル曲線のモジュライ空間 $M_{g,n}^{\text{trop}}$ は、純粋次元 $3g-3+n$ の連結でハウスドルフな位相空間である。
• 純粋トロピカル曲線の空間 $M_{g,n}^{\text{pure}}$ は $M_{g,n}^{\text{trop}}$ の中で稠密で開である。
• $M_{g,n}^{\text{trop}}$ は特殊化に関して閉じているがコンパクトではない。その自然なコンパクト化は拡張重み付きトロピカル曲線によって与えられる。
• genus $g=0$ の場合、モジュライ空間 $M_{0,n}^{\text{trop}}$（これは $M_{0,n}^{\text{pure}}$ に等しい）は $n \geq 3$ のときトロピカル的多様体である。
• 安定グラフによってインデックス付けられる $\overline{M}_{g,n}$ と $M_{g,n}^{\text{trop}}$ のストラト分離の間には、閉包の包含関係を保つポセット同型が存在する。
• 複素曲線のティヒミュラー理論（$T_g$ を通じて）とメトリックグラフのティヒミュラー理論（$O_g$ を通じて）には、有限群作用や商構造といった強い類似性が存在する。