[論文レビュー] Teichmuller geometry of moduli space, II: M(S) seen from far away

Benson Farb, Howard Masur|arXiv (Cornell University)|Jul 11, 2008

Geometric and Algebraic Topology参考文献 5被引用数 4

ひとこと要約

本稿は、曲線複体 $Σ(S)$ を用いて、リーマン面のモジュライ空間 $Σ(S)$ の単体的距離モデル $Π(S)$ を構築し、このモデルが $Σ(S)$ に対して一様な加法的歪みを伴って準等長であることを示している。主な結果は、$Σ(S)$ の無限遠における接錐が、曲線複体を写像類群で割った商のコーンと等長であることであり、写像類群のテイヒミュラー空間への作用に関する幾何的還元理論を提供する。

ABSTRACT

We construct a metric simplicial complex which is an almost isometric model of the moduli space M(S) of Riemann surfaces. We then use this model to compute the "tangent cone at infinity" of M(S): it is the topological cone on the quotient of the complex of curves C(S) by the mapping class group of S, endowed with an explicitly described metric. The main ingredient is Minsky's product regions theorem.

研究の動機と目的

• リーマン面のモジュライ空間 $Σ(S)$ の粗い幾何的モデルを、曲線複体 $Σ(S)$ を用いて構築すること。
• $Σ(S)$ の無限遠における接錐の構造を特定すること。これは対称空間理論におけるティーツのビルディングに類似している。
• 構築されたモデル $Π(S)$ と実際のモジュライ空間 $Σ(S)$ の間の準等長性を確立すること。このとき、歪みは一様な加法的定数である。
• $Σ(S)$ の大規模構造および写像類群作用のダイナミクスを理解するための幾何的枠組みを提供すること。

提案手法

• 曲線複体 $Σ(S)$ の上に、最大単体に対応するオルソント上の $∞$-ノルムに基づく路度量を備えた、位相的コーン $Ϫ(S)$ を構成する。
• 各最大単体のコーンに、テイヒミュラー距離の定義に整合するように、$∞$-ノルムを $1/2$ 倍した度量を導入する。
• 写像類群による作用が等長的であることを踏まえ、商 $Π(S) = Ϫ(S)/\operatorname{Mod}(S)$ を形成し、これに一意に定まる度量を誘導する。
• ミンスキーの定理を用いて、曲線の長さ比と $Σ(S)$ 内の距離との関係を関係づけ、準等長的制御を可能にする。
• 有限個のコーン領域に制限された測地線に置き換えることができるパスの補正（geodesic straightening）の議論を適用し、歪みに一様な制御をもたらす。
• 両側からの距離制御により主定理を証明する。具体的には、モデル $Π(S)$ が $Σ(S)$ に対して $(1,D)$-準等長であることを示し、距離の差が常に一様な定数 $D$ 以内に収まるようにする。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $Σ(S)$ の無限遠における接錐の構造は何か？
• RQ2 $Σ(S)$ の大規模幾何は、曲線複体から導かれる単体的複体によってモデル化可能か？
• RQ3 モジュライ空間 $Σ(S)$ と、曲線複体を写像類群で割ったもののコーンとの間には、準等長写像が存在するか？
• RQ4 テイヒミュラー距離は漸近的にどのように振る舞い、その振る舞いは曲線の長さ比によって捉えられるか？

主な発見

• $Σ(S)$ の無限遠における接錐は、商複体 $Σ(S)/\operatorname{Mod}(S)$ のコーンと等長であり、直接的な幾何的対応関係が確立された。
• ある定数 $D = D(S)$ に対して、写像 $Ψ: Π(S) \to Σ(S)$ が $(1,D)$-準等長である。これは、モデル上の距離と $Σ(S)$ 上の実際の距離との差が、常に $D$ 以内に収まるということを意味する。
• モデル $Π(S)$ は、曲線複体のコーンの商として構成され、各最大単体のコーン上の度量は $d((x_i),(y_i)) = \frac{1}{2}\max_i |x_i - y_i|$ で与えられる。
• この構成により、$Π(S)$ 内の任意の測地線は、有限個のコーン領域に収まるパスに置き換え可能であり、歪みに一様な制御が可能になる。
• 証明はミンスキーの定理に依拠し、テイヒミュラー距離と曲線の長さ比の対数との差を、$ϵ$ に依存する定数で抑え込む。
• 準等長写像における加法的歪み $D$ は一様であり、表面 $S$ の位相的型にのみ依存し、$Π(S)$ 内の特定の点には依存しない。