[論文レビュー] Some open questions on anti-de Sitter geometry

Thierry Barbot, Francesco Bonsante+7 more|arXiv (Cornell University)|May 28, 2012

Geometric and Algebraic Topology参考文献 41被引用数 27

ひとこと要約

本稿は、曲率が−1である局所的に一様なローレンツ多様体に焦点を当て、反ド・ジッター（AdS）幾何学における未解決問題の包括的リストを提示する。テイコフラー理論、離散群の作用、双曲幾何の類似、多ブラックホールや質量を持つ粒子（タキオン）といった物理的モデルとの関連も探る。主な貢献は、凸核幾何、複素AdS空間における適切な作用、3次元AdS多様体内の極大表面に関するものである。

ABSTRACT

We present a list of open questions on various aspects of AdS geometry, that is, the geometry of Lorentz spaces of constant curvature -1. When possible we point out relations with homogeneous spaces and discrete subgroups of Lie groups, to Teichm\\"uller theory, as well as analogs in hyperbolic geometry.

研究の動機と目的

• 反ド・ジッター（AdS）幾何における広範な未解決問題を体系的に整理・集積すること、特に次元3以上に焦点を当てる。
• AdS幾何と他の数学的分野（テイコフラー理論、離散群の作用、双曲幾何）との深い関係を強調すること。
• グローバルに因果的構造を持つ時空、多ブラックホール、質量を持つ粒子（タキオン）といった物理的動機を検討すること。
• 複素AdS空間 $X_{\mathbb{C}}$ が $\mathrm{AdS}_3$ と $\mathbb{H}^3$ の共通の複素化としての役割を果たし、ホロモルフィックリーマン幾何に与える関連性を調査すること。
• 離散群が $X_{\mathbb{C}}$ 上で適切に不連続に作用するための幾何学的・力学的条件を特定すること、特に準フクシアンまたは凸コンパクトな表現のペアによるものに注目する。

提案手法

• 曲率型 $(n-1,2)$ の双一次形式から誘導されるローレンツ計量を備えた、$\mathrm{AdS}_n$ の標準的モデルとしての $\{x \in \mathbb{R}^{n-1,2} \mid b(x,x) = -1\}$ を用いる。
• $\mathrm{AdS}_n \cong \mathrm{O}(n-1,2)/\mathrm{O}(n-1,1)$ の同型を活用し、局所的に一様な構造およびクライフォールド＝クライン形式を研究する。
• テイコフラー理論および測度付きラミネーション空間の技術を用いて、3次元AdS多様体における凸核および境界計量を研究する。
• 幾何的時間関数および $F$-時間関数を分析し、AdS時空におけるファイブレーションおよび因果的構造を理解する。
• ホロモルフィックリーマン3次元多様体の定数曲率モデルとしての複素化 $X_{\mathbb{C}} = \{z \in \mathbb{C}^4 \mid b(z,z) = -1\}$ を用いる。
• $\rho_l \times \rho_r(\pi_1(S)) \subset \mathrm{PSL}_2(\mathbb{C}) \times \mathrm{PSL}_2(\mathbb{C})$ が $X_{\mathbb{C}}$ 上で適切に不連続に作用するかを、長さおよびリプシッツ不変量 $C_{\text{length}}$ と $C_{\text{Lip}}$ を用いて調査する。

実験結果

リサーチクエスチョン

• RQ1 任意の準フクシアン表現のペアは、普遍被覆空間を複素AdS空間 $X_{\mathbb{C}}$ に等変な時空的埋め込みとして実現可能であろうか？
• RQ2 双曲的3次元多様体の基本群の凸コンパクトな表現 $\rho_l, \rho_r$ のペアに対して、$\rho_l \times \rho_r(\pi_1(M))$ の作用が適切に不連続となるような $X_{\mathbb{C}}$ 内の最大領域が存在するであろうか？
• RQ3 $\rho_l \times \rho_r(\pi_1(M))$ の $X_{\mathbb{C}}$ 上の作用が適切であるための幾何的条件は何か？ これは $C_{\text{length}}(\rho_l, \rho_r) < 1$ を用いてどのように特徴付けられるであろうか？
• RQ4 3次元AdS多様体の凸核の境界に誘導される計量または測度付き湾曲ラミネーションを任意に指定可能であろうか？
• RQ5 グローバルに因果的構造を持つ3次元AdS多様体における凸核の体積と幅の関係は何か？ また、変形の下で最小値をとるか？

主な発見

• 複素AdS空間 $X_{\mathbb{C}}$ は、$\mathrm{AdS}_3$ と $\mathbb{H}^3$ の共通の複素化として機能し、等長群は $\mathrm{O}(4,\mathbb{C}) \cong \mathrm{PSL}_2(\mathbb{C}) \times \mathrm{PSL}_2(\mathbb{C})$ に有限指数の違いを除いて一致する。
• 凸コンパクトな表現 $\rho_l, \rho_r$ に対して、$\rho_l \times \rho_r(\pi_1(M))$ の $X_{\mathbb{C}}$ 上の作用が適切に不連続であるための必要十分条件は $C_{\text{length}}(\rho_l, \rho_r) < 1$ である。
• すべての空間で適切でないにもかかわらず、最大の領域で適切に不連続に作用するような凸コンパクトな表現のペアが存在する。
• 双曲的曲面の単位接束に沿った閉曲線上にタキオン特異点を実現することは、標準的なAdS構造の小さな変形では達成できない。
• 3次元AdS多様体における凸核の体積は、ある幾何的制約の下で最小化されると予想されており、変形の下での凸性は未解決の問題のままである。
• AdS 3多様体内の極大表面は、シンプレクティック写像を生じさせ、円の準対称なホメオモルフィズムの調和延長と関連し、テイコフラー理論と結びつく。