[論文レビュー] Dual Teichmuller and lamination spaces

V. V. Fock, A. B. Goncharov|ArXiv.org|Oct 14, 2005

Algebraic structures and combinatorial models参考文献 10被引用数 66

ひとこと要約

本稿は、境界にマークされた点を持つciliated surface（くちびるのある表面）という、開いた2次元表面に対して、基本的な代数および幾何学的手法を用いて、双対Teichmüller空間およびラミネーション空間の明示的な座標記述を提供する。これらの空間の間には標準的ペアリングが存在し、ラミネーション空間はTeichmüller空間のトロピカル極限として解釈できる。また、マッピングクラス群の作用、ポisson構造、シンプレクティック形式が、図形的座標系から自然に生じることを示し、特に一回の穴あきトーラスの場合には、これらがクラスター多様体およびMarkov三つ組と関連することを明らかにする。

ABSTRACT

We survey explicit coordinate descriptions for two (A and X) versions of Teichmuller and lamination spaces for open 2D surfaces, and extend them to the more general set-up of surfaces with distinguished collections of points on the boundary. Main features, such as mapping class group action, Poisson and symplectic structures and others, are described in these terms. The lamination spaces are interpreted as the tropical limits of the Teichmuller ones. Canonical pairings between lamination and Teichmuller spaces are constructed. The paper could serve as an introduction to higher Teichmuller theory developed by the authors in math.AG/0311149, math.AG/0311245.

研究の動機と目的

• 開いた2次元表面に境界上のマークされた点を持つciliated surfaceに対して、Teichmüller空間およびラミネーション空間の明示的かつ基本的な代数的・幾何的記述を提供すること。
• 古典的なTeichmüller空間およびラミネーション空間理論をciliated surfaceに拡張し、構造を単純化しながらも主要な特徴を保つこと。
• $τ^x$（Teichmüller）空間と$τ^a$（ラミネーション）空間の間の双対性を、標準的ペアリングおよびトロピカル極限を通じて明確にすること。
• 三角形分割および辺の重みに基づく座標系から、マッピングクラス群の作用、ポisson構造、シンプレクティック形式がどのように自然に生じるかを示すこと。
• これらの幾何的構成がクラスター代数理論とどのように関連するかを示し、$τ^x$空間と$τ^a$空間がそれぞれクラスター多様体の正の実数点およびトロピカル点に対応することを示すこと。

提案手法

• ciliated surfaceの三角形分割を用い、辺の長さまたはシアー座標によりTeichmüller空間に座標を割り当てる。$τ^x$空間は辺上に正の実数によってパラメトライズされる。
• ラミネーション空間はTeichmüller空間のトロピカル極限として構成され、曲線上に整数重みを割り当てることで、長さ関数を通してTeichmüller空間上の関数が得られる。
• 本稿では、特にciliated surfaceの文脈で、ラミネーション空間とTeichmüller空間の間の標準的ペアリングを導入し、$τ^x$と$τ^a$空間の双対性に基づくものである。
• 三角形分割における辺のフリップは、座標上で明示的な代数的変換として作用し、例えば巡回的対称性の下では$(x,y,z) \mapsto (x, y, z)$、フリップ則の下では$(x,y,z) \mapsto (x, (x^2 + z^2)/y, z)$となる。
• 一回の穴あきトーラスの場合、辺パラメータを用いてトレース座標$(X, Y, Z)$の明示的表現を導出し、$xyz$およびその逆数を含む対称的立方関係を満たすことを示す。
• 本稿では、面積が1の装飾付きTeichmüller空間上でモジュラー変換を施すことによりMarkov三つ組が得られ、幾何学的構造が古典的Markov方程式と関連することを確立する。

実験結果

リサーチクエスチョン

• RQ1 マッピングクラス群の作用やシンプレクティック構造が明確に現れるように、ciliated surfaceのTeichmüller空間およびラミネーション空間をどのように座標化できるか？
• RQ2 $τ^x$（Teichmüller）空間と$τ^a$（ラミネーション）空間の間の正確な関係は何か？また、ラミネーション空間はTeichmüller空間のどのようないくつかの極限として生じるか？
• RQ3 ciliated surfaceの文脈におけるラミネーション空間とTeichmüller空間の間の標準的ペアリングとは何か？また、クラスター双対性とどのように関連するか？
• RQ4 一回の穴あきトーラスのTeichmüller空間上の座標が、モジュラー変換の下でどのようにMarkov方程式およびMarkov三つ組を生じるか？
• RQ5 一回の穴あきトーラスのTeichmüller空間上のトレース座標$(X, Y, Z)$は、$xyz$およびその逆数を含む対称的立方恒等式をどのように満たすか？

主な発見

• ciliated surfaceのラミネーション空間は、Teichmüller空間のトロピカル極限として実現され、整数ラミネーションは長さ関数を通してTeichmüller空間上の関数に対応する。
• 標準的ペアリングが$τ^x$空間と$τ^a$空間の間で構成され、特にciliated discの場合には、型$A_n$クラスター多様体のクラスター双対性が予測する標準的ペアリングと一致する。
• 一回の穴あきトーラスにおいて、Teichmüller空間の座標$x,y,z$から得られるトレース座標$X,Y,Z$は、対称的立方関係$X^2 + Y^2 + Z^2 - 3XYZ = -\frac{1}{9}(xyz - 2 + (xyz)^{-1})$を満たし、幾何学的構造がMarkov方程式と関連する。
• 三角形分割における辺のフリップは、座標上で代数的変換$(U,V,W) \mapsto (W, (U^2 + W^2)/V, U)$を引き起こし、シンプレクティック構造を保存するとともに、モジュラー群の作用と整合的である。
• 装飾付きTeichmüller空間において面積$A = 3$のとき、モジュラー変換によりすべてのMarkov三つ組が生成され、座標$U=V=W=1$は、単純閉曲線の長さに対してフィボナッチ数列を与える。
• 本稿は、一回の穴あきトーラスから得られるMarkov三つ組が、Bondalが観察したように、$\mathbb{C}P^2$上の特徴的な層の次元に一致することを確認したが、その幾何的つながりは依然として謎のままである。