[論文レビュー] First steps in tropical geometry

Jürgen Richter-Gebert, Bernd Sturmfels+1 more|ArXiv.org|Jun 25, 2003

Mathematics and Applications被引用数 6

ひとこと要約

この論文は、min-plus半環 $(\mathbb{R}, \min, +)$ を用いてトロピカル幾何学の基礎的概念を導入し、複素代数的多様体に類似したポリハedralセル複体の幾何的枠組みを確立する。トロピカル線形空間および線の安定的かつ退化のない定義を、トロピカル線形代数およびトロピカル外積を用いて提案し、古典的合同定理（例えばパップスの定理）がトロピカル設定において一般に成り立たないことを示し、具体的な反例を提示する。

ABSTRACT

Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.

研究の動機と目的

• min-plus半環 $(\mathbb{R}, \min, +)$ を用いてトロピカル代数幾何学の厳密な幾何的基盤を確立すること。
• 退化を避ける安定的で幾何的に一貫した定義を提案することで、トロピカル線形空間を定義する際の曖昧さを解消すること。
• 古典的合同定理（例えばパップスの定理）が一般にトロピカル幾何学で成り立たないことを示すこと。
• トロピカル射影平面における安定的ジョイン（2点を通る直線）およびメート（直線の交点）を計算するためのアルゴリズム的ツールを提供すること。

提案手法

• トロピカル線形方程式の解としてトロピカル線形空間を定義し、1次元性と安定性を保証すること。
• 2点を通る安定的直線を計算するために、トロピカル外積 $a \otimes b$ を導入すること。
• トロピカルクラメルの定理を用いて、トロピカル線形方程式系の安定解を計算すること。
• トロピカル多項式から導かれるポリハedralセル複体を用いて、トロピカル曲線および多様体を構成すること。
• トロピカル射影平面における幾何的配置を分類するために、直線および三角形の組み合わせ的型を用いること。
• 具体的な座標行列を用いて、特にパップスの定理に対して明示的な反例を検証すること。

実験結果

リサーチクエスチョン

• RQ1 基本的な合同公理を満たす、トロピカル線または線形空間の正しい幾何的定義は何か？
• RQ2 2点が一致する、またはそれらを通る直線が無限に存在するような退化ケースですら、安定的交差を定義できるか？
• RQ3 古典的射影幾何学の基盤たるパップスの定理は、トロピカル射影平面でも成り立つか？
• RQ4 トロピカル代数を用いて、トロピカル線形方程式系およびその解を体系的にどのように計算できるか？
• RQ5 トロピカル射影平面におけるトロピカル直線および二次曲線の完全な組み合わせ的型は何か？

主な発見

• パップスの定理の合同版がトロピカル幾何学で成り立たないことを示す反例が構成され、自然な一般化が否定された。
• 古典幾何学が失敗する状況であっても、$\mathbb{TP}^2$ 内の2点の安定的ジョインは、トロピカル外積 $a \otimes b$ を用いて一意に定義される。
• 2本のトロピカル直線の安定的メートは、それらの係数のトロピカル外積によって与えられ、一意の交点を保証する。
• $\mathbb{TP}^2$ 内にはトロピカル直線が正確に12種類の組み合わせ的型を持つのに対し、古典幾何学では2種類である。
• $\mathbb{TP}^2$ 内の4点を通るトロピカル二次曲面の族は完全に分類され、多様な配置の可能性を示した。
• 安定解の存在のおかげで、線を結ぶことや交点をとるといった基本的演算において、トロピカル幾何学は退化を認めない。