[論文レビュー] Proper affine deformation spaces of two-generator Fuchsian groups

Virginie Charette, Todd A. Drumm+1 more|arXiv (Cornell University)|Jan 19, 2015

Geometric and Algebraic Topology参考文献 17被引用数 7

ひとこと要約

本稿は、関連する双曲的曲面が1つの穴あきトーラスである2生成子のフクシアン群の適切なアフィン変形を分類し、そのようなマーガリス時空が、理想三角形分割に対応するくねくねした理想三角形に分解されることを示している。主な結果は、適切なアフィン変形の空間が幾何的に安定な変形の空間と一致しており、無限の辺をもつ凸多角形としての変形空間を形成することである。

ABSTRACT

A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangulation of S. This paper classifies and analyzes the structure of crooked ideal triangles, which play the same role for Margulis spacetimes as ideal triangles play for hyperbolic surfaces. This extends our previous work on affine deformations of three-holed sphere and two-holed cross surfaces.

研究の動機と目的

• 関連する双曲的曲面が1つの穴あきトーラスであるマーガリス時空の適切なアフィン変形を分類すること。
• 従来の3つの穴あき球面および2つの穴あきクロス曲面の研究を、より複雑な1つの穴あきトーラスのケースに拡張すること。
• マーガリス時空をくねくねした理想三角形に分解する幾何的分解を確立すること。
• このような時空の変形空間を、無限の辺をもつ凸多角形として特徴づけること。
• 適切なアフィン変形の空間が幾何的に安定な変形の空間と一致することを証明すること。

提案手法

• 自由群 F₂ のスーパー基本系に関連するタイルを用いて、変形空間のタイル張りを構成する。
• 1つの穴あきトーラスの理想三角形分割を用いて、マーガリス時空をくねくねした理想三角形に分解する。
• くねくねした理想三角形を、双曲幾何における理想三角形のアフィン版として定義し、特定の幾何的・代数的性質を持つ。
• 特に原始的群元に対するマーガリス不変量 α(γ) に注目した、フクシアン群のアフィン変形理論を適用する。
• 曲面の曲線複体の双対としてのパンツ複体を用いて、変形空間のタイル張りを整理する。
• スーパー基本系に関連するタイルの列を用いて、帰納的にネストされた凸多角形を構成することで、幾何的に安定な変形空間の凸性を証明する。

実験結果

リサーチクエスチョン

• RQ1 基本群が F₂ で関連する1つの穴あきトーラスをもつマーガリス時空の適切なアフィン変形の変形空間の構造は何か？
• RQ2 くねくねした理想三角形は、マーガリス時空の分解における基本的構成要素としてどのように機能するか？
• RQ3 1つの穴あきトーラスの場合に、適切なアフィン変形と幾何的に安定な変形の関係は何か？
• RQ4 なぜ1つの穴あきトーラスの変形空間は、3つの穴あき球面や2つの穴あきクロス曲面とは異なり、無限の辺をもつのか？
• RQ5 原始的要素に対するマーガリス不変量 α(γ) は、アフィン変形の適切性をどのように制約するか？

主な発見

• 1つの穴あきトーラスのマーガリス時空の適切なアフィン変形の空間は、凸であり、幾何的に安定な変形の空間と完全に一致する。
• 変形空間は、F₂ のスーパー基本系に関連するタイルから構成される凸多角形の増大列の合併として得られる、無限の辺をもつ凸多角形である。
• 変形空間の各タイルは、スーパー基本系に対応し、方向の球面 S H¹(F₂, V) 内の凸な三角形領域である。
• 隣接するタイルは、非向き付き基本系に対応する辺に沿って接する。このタイル張りは、曲面の曲線複体の双対となる3価の木構造を反映している。
• くねくねした理想三角形は、双曲的曲面における理想三角形と同様に、マーガリス時空の基本的分解を提供する。
• 適切な変形と幾何的に安定な変形の空間の一致を示す証明は、タイルの合併の凸性と、安定領域から点を分離する直線を用いた背理法に依存している。