[論文レビュー] Complex hyperbolic triangle groups

Richard Evan Schwartz|ArXiv.org|Apr 18, 2003

Geometric and Algebraic Topology参考文献 9被引用数 65

ひとこと要約

本稿は、古典的双曲三角形群の変形としての複素双曲三角形群を調査し、ハイブリッドコーンや組み合わせ的単体的複体といった新しい幾何的技法を導入して離散性を証明する。主な結果は、射影化写像における単射性のコンピュータ支援による検証を経て、複素双曲離散群の「無限遠の多様体」として閉じた実双曲3次元多様体が構成されたことである。

ABSTRACT

The theory of complex hyperbolic discrete groups is still in its childhood but promises to grow into a rich subfield of geometry. In this paper I will discuss some recent progress that has been made on complex hyperbolic deformations of the modular group and, more generally, triangle groups. These are some of the simplest nontrivial complex hyperbolic discrete groups. In particular, I will talk about my recent discovery of a closed real hyperbolic 3-manifold which appears as the manifold at infinity for a complex hyperbolic discrete group.

研究の動機と目的

• 古典的三角形群、特にモジュラー群と(p,q,r)反射群を含めた複素双曲変形を研究すること。
• 実双曲空間から複素双曲空間への離散埋め込みの拡張によって、複素双曲幾何における変形問題を扱うこと。
• 新しい幾何的・計算的手法を用いて、複素双曲三角形群の離散性を証明すること。
• 最後の理想三角形群の基本領域を構成し、その無限遠における軌道体の構造を計算すること。
• 不連続領域と群作用を介して、トポロジカル不変量（具体的にはホワイトヘッドリンク補集合）を確立すること。

提案手法

• R-円弧の弧で foliated されたハイブリッドコーンを用い、クラッフォードトーラスを変形し、群の像との適合性を向上させる。
• 切り欠きのある表面で基本領域を変形した後、ピングポーン補題の変種を適用して離散性を証明する。
• 群の元の固定点の標準的リフトから、$ Z \subset \mathbb{C}^{2,1} $ における単体的複体を構成する。
• 射影化写像 $[\ ]$ が $ Z $ 内の四面体のペアに対して単射であることを、厳密な機械支援計算により検証し、$[Z]$ における忠実な位相的再構成を保証する。
• 基本領域 $ F $ のタイル張り性質（$ G $-軌道が $ \mathbb{C}H^2 $ をタイル張りする）を用い、ポアンカレ定理の変種を適用する。
• $[Z_0] = [Z] \cap S^3$ のトポロジーを分析し、無限遠における軌道体構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 複素双曲三角形群は、実双曲三角形群の非自明な変形として構成可能か？
• RQ2 最後の理想三角形群 $ L $ の不連続領域 $ \Delta(L) $ は、$ \mathbb{C}H^2 $ をタイル張りする基本領域を持ち、無限遠に閉じた3次元多様体を導くか？
• RQ3 射影化写像における単射性のコンピュータ支援検証を用いて、複素双曲群の離散性を厳密に証明可能か？
• RQ4 複素双曲三角形群の無限遠における軌道体の位相的構造は何か？
• RQ5 ハイブリッドコーンと修正されたクラッフォードトーラスは、複素双曲空間における群作用の解析をどのように改善するか？

主な発見

• 閉じた実双曲3次元多様体が、複素双曲離散群の「無限遠の多様体」として実現され、変形プログラムにおける主要な位相的問題が解決された。
• 最後の理想三角形群 $ L $ の不連続領域 $ \Delta(L) $ は、R-円弧に沿って接する3つのトポロジー的球面で構成される基本領域を持つ。
• 商 $ \Delta(L)/L $ は、ホワイトヘッドリンク補集合と可換であることが明示的に計算された。
• 群 $ \rho_7(\Gamma(4,4,4)) $ の固定点から構成された単体的複体 $ Z \subset \mathbb{C}^{2,1} $ は、要素 $ I_2I_1I_3 $ に関して不変であり、この元による商をとると、有限個の四面体しか含まない。
• 厳密なコンピュータ支援検証により、約130万個の四面体において射影化写像の単射性が確認され、$[Z]$ の位相的再構成が可能になった。
• 基本領域 $ F $ のタイル張り性質（$ G $-軌道が $ \mathbb{C}H^2 $ をタイル張りする）が確立され、離散性の確認にポアンカレ型定理を適用可能となった。