[論文レビュー] Tropical Convexity and Canonical Projections

Ye Luo|arXiv (Cornell University)|Apr 30, 2013

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 5

ひとこと要約

本稿は、測定グラフ $
Gamma$ 上の次数 $d$ の有効 $\mathbb{R}$-除法の空間において、一般化されたトロピカル凸性の概念を導入し、標準的な距離構造を確立するとともに、一般化された削減済み除法を用いた標準的な射影を定義する。主な貢献は、単一の点を基準とする削減済み除法を任意の除法へと拡張することであり、これによりトロピカル凸幾何学および除法空間上の距離位相の強固な枠組みが構築される。

ABSTRACT

Using a potential theory on metric graphs "Gamma", we introduce the notion of tropical convexity to the space "RDiv^d(Gamma)" of effective R-divisors of degree d on "Gamma" and show that a natural metric can be defined on "RDiv^d(Gamma)". In addition, we extend the notion of reduced divisors which is conventionally defined in a complete linear system |D| with respect to a single point in "Gamma". In our general setting, a reduced divisor is defined uniquely as an R-divisor in a compact tropical convex subset "T" of "RDiv^d(Gamma)" with respect to a certain R-divisor "E" of the same degree d. In this sense, we consider reduced divisors as canonical projections onto "T". We also investigate some basic properties of tropical convex sets using techniques developed from general reduced divisors.

研究の動機と目的

• 測定グラフ上の次数 $d$ の有効 $\mathbb{R}$-除法の空間における完全線形系から、任意のコンパクトなトロピカル凸部分集合へのトロピカル凸性の一般化を図ること。
• ポテンシャル理論とエネルギー対を用いて、$\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 上に標準的な距離を定義すること。
• 単一の点を基準とする削減済み除法の概念を、次数 $d$ の任意の基準除法 $E$ へと拡張し、トロピカル凸集合への標準的射影としてのそれらを確立すること。
• 一般化された削減済み除法を用いて、トロピカル凸包の位相的および幾何的性質（コンパクト性や可縮性など）を分析するための道具を開発すること。

提案手法

• 測定グラフ上のポテンシャル理論、特に $b$-関数とエネルギー対を用いて、$\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 上に距離を定義する。
• トロピカル凸性を、除法のすべてのトロピカル凸結合の集合として $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 内で定義し、トロピカル幾何学における古典的概念を一般化する。
• コンパクトなトロピカル凸集合 $T$ 内で、基準除法 $E$ からの距離を最小化する唯一の除法としての一般化された削減済み除法を定義し、これにより標準的射影が得られる。
• $b$-関数とエネルギー対を用いて削減済み除法を特徴付け、その存在および一意性の基準を導出する。
• さまざまな構成における $\rho(D', D) < 2 \cdot \rho(D_n, D)$ などの距離の性質を応用し、射影写像の連続性および凸性を証明する。
• 距離関数 $\rho_T$ の下位集合を用いて、誘導された距離に関してトロピカル凸包が閉かつ凸であることを示す。

実験結果

リサーチクエスチョン

• RQ1 トロピカル凸性は、完全線形系から $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 内の任意のコンパクトなトロピカル凸部分集合へとどのように拡張可能か？
• RQ2 $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 上の標準的距離構造とは何か？ そして、それがトロピカル凸幾何学をどのように支援するか？
• RQ3 削減済み除法は、単一の点ではなく、任意の基準除法 $E$ を用いて定義可能か？
• RQ4 $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 内のトロピカル凸包の位相的性質（コンパクト性や可縮性など）は何か？
• RQ5 標準的射影（一般化された削減済み除法）は、距離的およびトロピカル凸性の制約下でどのように振る舞うか？

主な発見

• ポテンシャル理論を用いて $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 上に標準的距離が定義され、トロピカル凸性の幾何的基盤が得られる。
• 任意のコンパクトなトロピカル凸集合 $T \subset \mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ と基準除法 $E \in \mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ に対して、一般化された削減済み除法が一意に存在し、これにより標準的射影が得られる。
• $\mathbb{R}\mathrm{Div}_{+}^{d}(\Gamma)$ 内の任意の有限個の除法のトロピカル凸包は、誘導された距離に関してコンパクトかつ可縮である。
• 射影写像 $h(t,X)$ は連続的かつトロピカルに凸であり、大多数の構成において $\rho(D_n', D') < 2 \cdot \rho(D_n, D)$ が成り立つため、距離構造の安定性が保証される。
• $\rho_T$ の下位集合はトロピカルに凸であり、$D_1$ と $D_2$ のトロピカル凸包に属する $D$ に対して $\rho_T(D) \leq \max(\rho_T(D_1), \rho_T(D_2))$ が成り立つ。これにより、距離構造の凸性が確認される。
• $b$-関数とエネルギー対を用いて削減済み除法を特徴付け、その最小化により、コンパクトなトロピカル凸集合内に一意な標準的射影が得られる。