Tropical curves with parallel rays

技術的サマリー：平行な射线を有するトロピカル曲線

問題提起
本論文は、既存の抽象トロピカル曲線の理論における根本的な限界に取り組む。古典的なトロピカル曲線（代数多様体のトロピカル化に由来するもの）は、自然に辺の重みを持ち、つり合い条件を満たすが、「抽象トロピカル曲線」の標準的な定義（計量グラフとして定義される）は、この格子情報を捨象している。その結果、従来の枠組みでは「平行な射线」（同じ方向ベクトルを持ち、互いに包含関係にない射线）を扱うことができない。これは古典的なトロピカル平面曲線において一般的に見られる現象である。

この欠陥は、有理関数半体の特性付けにおいて代数的に現れる。先行研究（特に [18] の定理 1.1）は、抽象トロピカル曲線と特定の $T$-代数（トロピカル半体 $\mathbb{T}$ 上の半体）との間の反変的圏同値を確立していた。しかし、この同値は、基礎となる幾何学的実現における平行な射线の存在を禁止する条件（定理 1.1 の条件 5）に依存していた。この制限は、以下の 3 つの具体的な問題を生じさせる：

1. 辺の重みとつり合い条件を抽象的な枠組みに組み込むことを妨げる。
2. 有限生成部分半体が部分曲線の有理関数半体に対応するという期待される対応関係を破綻させる（特に、平行な射线を生み出す写像によって生成される部分半体において失敗する）。
3. 先行文献で使用された射の定義（Chan の調和的射）に対する正当性が欠如する（代数的構造が一般的な圏同値を完全に支えていなかったため）。

手法
著者は、「平行な射线を有する抽象トロピカル曲線（$\Gamma_{par}$）」と呼ばれる、抽象トロピカル曲線の概念の拡張を導入する。この構造は、標準的な抽象トロピカル曲線 $\Gamma$ に、その射线集合上の同値関係 $\sim$ を備えたものであり、$L_1 \subset L_2$ または $L_2 \subset L_1$ の場合 $L_1 \sim L_2$ とするが、無限遠で同じ方向ベクトルを共有する場合、異なる射线も同値（平行）となり得ることを許容する。

手法は以下の手順で進められる：

1. 有理関数半体: 有理関数の集合 $\text{Rat}(\Gamma_{par})$ を、$\text{Rat}(\Gamma)$ の部分集合として定義する。ここで、関数は任意の平行な射线のペアに対して無限遠で同じ傾きを持たなければならない。
2. 代数的特性付け: 本論文は、これらの新しい半体を、以前の定理（定理 4.9）の修正版を通じて特性付ける。平行な射线を禁止する制限的な条件 5 を除去し、関連する合同多様体が連結であり、次元が 0 または 1 であることを保証する条件に置き換える。
3. 圏同値: 平行な射线を平行な射线へ、かつ次数が一致するように写す射を要請する、平行な射线を有するトロピカル曲線の新しい圏を定義する。著者は、この幾何学的圏と、新しい代数的条件を満たす有限生成 $T$-代数の圏との間の反変的圏同値を証明する（系 4.17）。
4. 幾何学的概念の代数的翻訳:
   • 重み: 曲線間の全射的射（重み）を通じて定義され、代数的には半体の特定の埋め込みとして解釈される。辺の重みは、生成する有理関数の傾きの最大公約数に対応することが示される。
   • つり合い条件: 有理関数の調和性を通じて解釈される。関数が点において調和的であるとは、その点からの outgoing な傾きの和がゼロであることをいう。本論文は、重み付き多面体複体がつり合い条件を満たすことと、無限遠点以外のすべての点で調和的な有理関数によって定義される写像の像であることが同値であることを確立する。
   • 局所化: 著者は点 $x$ における代数的局所化を導入し、$n$（$x$ の次数）を次元とする $\mathbb{R}^n$ に同型な半体を構成することで、局所的な幾何学的性質（次数や重みなど）を代数的な用語に翻訳する。

主要な貢献と結果

• 新しい幾何学的対象: 平行な射线を有するトロピカル曲線の定義。これにより、トロピカル平面曲線における平行な射线のような古典的な現象を、抽象的な枠組み内でモデル化することが可能となる。
• 完全な圏同値: 平行な射线を有するトロピカル曲線の圏と、特定の $T$-代数の圏との間の反変的同値の確立（系 4.17）。これにより、トロピカル幾何学で使用される射の定義に対する最初の厳密な正当性が提供され、それらが $T$-代数準同型の幾何学的実現として同定される。
• 部分半体問題の解決: 平行な射线を有するトロピカル曲線の有理関数半体の有限生成部分半体が、それ自体、ある平行な射线を有するトロピカル曲線の有理関数半体であることを示す（系 4.12）。これは、以前の理論における条件 5 によって排除されていたような部分半体を扱うという、同条件が提起した問題を解決する。
• 重みとつり合いの代数的定式化:
  • 重みは、射の次数と局所化された半体の構造を通じて代数的に特性付けられる（命題 4.36、系 4.37）。
  • つり合い条件は、生成する有理関数の調和性と同値であることが示される（命題 4.50、定理 4.54）。
• 交差理論: 本論文は、これらの曲線の重み付き実現に対する交点数を、純粋に有理関数とその傾きを用いて定義し、古典的なトロピカル交差理論との整合性を示す（命題 4.56）。

意義と主張
本論文は、平行な射线を導入し代数的枠組みを洗練させることで、トロピカル幾何学における格子情報のより「洗練された」扱いを提供すると主張する。主な意義は、幾何学的概念（重み、つり合い、交点数）を、$T$-代数の圏内において完全に代数的言語へ翻訳できる点にある。

著者は、本論文が明示的に高次元への一般化を追求するものではないと指摘しつつも、新しい枠組みの代数的性質から、そのような一般化が可能であることを示唆している。その根拠として [2] の結果を挙げており、この研究は、計量グラフという抽象化と、トロピカル化の格子重み付けされた現実との間の溝を埋め、抽象トロピカル曲線の研究とトロピカル多様体の古典的性質の研究を統合する役割を果たす。