[論文レビュー] Amoebas, tropical varieties and compactification of Teichmuller spaces

Daniele Alessandrini|ArXiv.org|May 12, 2005

Polynomial and algebraic computation参考文献 13被引用数 3

ひとこと要約

本稿は、アモーバとマスロフ脱量子化を用いて、テイヒミュラー空間のコンパクト化をトロピカル幾何学的手法により行う新規なアプローチを提示する。境界は、その錐がトロピカル多様体をなす球面上の多面体的部分集合として構成される。この方法により、境界に自然なピecewise線形構造が与えられ、これはサーストンの元来の構成と同値である。さらに、トレース関数の多項式関係のトロピカル化を理論的に裏付ける枠組みを提供する。

ABSTRACT

In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via tropical varieties. When we apply this construction to the Teichmuller spaces we see that they can be mapped in a real algebraic hypersurface in such a way that the cone over the boundary is a subpolyhedron of a tropical hypersurface. We want to show how some properties of the boundary becomes straightforward if looked at from this point of view. For example there is a PL structure that appears naturally on the boundary, and it is shown to be equivalent to the one defined by Thurston. Also we may see easily that every polynomial relation among trace functions on Teichmuller space may be turned automatically in a tropical relation among intersection forms over the boundary.

研究の動機と目的

• トロピカル幾何学とアモーバを用いて、テイヒミュラー空間の新たなコンパクト化手法を開発すること。
• サーストン境界上のピecewise線形構造に、幾何学的・代数的根拠を与えること。
• テイヒミュラー空間上でのトレース関数の多項式関係が、境界上で自然にトロピカル関係を誘導することを示すこと。
• 無限遠点の代わりに価値論的理論に基づくトロピカル的境界点を導入することで、モーガン–シャレンのコンパクト化を一般化すること。

提案手法

• 本稿は、マスロフ脱量子化を用いて、実代数的多様体をトロピカル半体に変形し、その漸近的挙動を研究可能にする。
• 多様体のアモーバを対数写像による像として定義し、その漸近的挙動を用いて価値論的写像によって境界を構成する。
• 境界は、座標環上の実数値価値論の写像 $ U_{\mathbb{R}} $ から得られる像として構成され、生成集合への非ゼロ値制限が施される。
• コンパクト化は、座標がゼロである点を削除し、価値論的極限によって定義される新規な点に置き換えることで達成され、球面上の閉部分集合として得られる。
• この境界の錐が、トロピカル多様体であることが示され、特にトロピカル超曲面の部分多面体であることが特定される。
• 本手法は、理想点とその境界上への像を特徴付けるために、価値論と準価値論的列の理論に依拠している。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、トロピカル幾何学とアモーバを用いて、テイヒミュラー空間の境界を自然に記述できるか？
• RQ2 サーストン境界上のピecewise線形構造と、トロピカル多様体の多面体構造との関係は何か？
• RQ3 テイヒミュラー空間上でのトレース関数の多項式関係を、境界上でのトロピカル関係に体系的に変換できるか？
• RQ4 本稿の新しいコンパクト化は、構造的および幾何的解釈の観点から、古典的なモーガン–シャレンの構成とどのように異なるか？

主な発見

• テイヒミュラー空間の境界が、実数値価値論からの写像 $ U_{\mathbb{R}} $ の像と同相であることが示され、価値論的理論とコンパクト化との直接的な関係が確立された。
• 境界上のピecewise線形構造は、自然にトロピカル多様体の多面体構造から引き継がれ、サーストンの元来のPL構造と同値であることが確認された。
• テイヒミュラー空間上でのトレース関数の多項式関係は、すべて境界上での交差形式の対応するトロピカル関係を誘導する。これにより、既知の結果の理論的基盤が提供された。
• コンパクト化は球面上の閉部分集合として実現され、境界の錐はトロピカル多様体であることが示され、特にトロピカル超曲面の部分多面体である。
• 『無限遠点』の焦点を、ゼロ座標点の価値論的置換に置き換えることで、モーガン–シャレンのコンパクト化が一般化された。
• 既約多様体に対しては、境界 $ B(V^\prime) $ が正確に像 $ U_{\mathbb{R}}(S_{\mathbb{R}}^\prime) $ に一致し、可約な場合にも既約成分の和集合による拡張が可能である。