[論文レビュー] Quantum general relativity and the classification of smooth manifolds

Hendryk Pfeiffer|ArXiv.org|Apr 21, 2004

Noncommutative and Quantum Gravity Theories参考文献 53被引用数 10

ひとこと要約

本稿は、一般相対性理論の経路積分的量論が $d=3+1$ 時空次元において微分同相変換不変性により滑らかな多様体の形式的不変量を生じることを確立し、量子重力と微分位相幾何学を結びつける。主な貢献は、滑らかな 4 次元多様体の分類、特に異種微分構造の存在が $d=3+1$ を特異的に重要なものとしていることの特定にある。これは、この次元における量子重力がその分配関数によってこのような構造を検出できる可能性を示唆する。

ABSTRACT

The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth manifolds. This is an opportunity to review results on the classification of smooth, piecewise-linear and topological manifolds. It turns out that differential topology distinguishes the space-time dimension d=3+1 from any other lower or higher dimension and relates the sought-after path integral quantization of general relativity in d=3+1 with an open problem in topology, namely to construct non-trivial invariants of smooth manifolds using their piecewise-linear structure. In any dimension d<=5+1, the classification results provide us with triangulations of space-time which are not merely approximations nor introduce any physical cut-off, but which rather capture the full information about smooth manifolds up to diffeomorphism. Conditions on refinements of these triangulations reveal what replaces block-spin renormalization group transformations in theories with dynamical geometry. The classification results finally suggest that it is space-time dimension rather than absence of gravitons that renders pure gravity in d=2+1 a `topological' theory.

研究の動機と目的

• 一般相対性理論の経路積分的量論が微分同相変換不変性により滑らかな多様体の形式的不変量を生じることを確立する。
• $C^\infty$-QFT（滑らかな多様体）と $C^0$-QFT（位相的多様体）の違い、特に $d=3+1$ における違いを明確にする。
• 微分位相幾何学における分類結果が、さまざまな次元における量子重力の経路積分の構造をどのように制限するかを調査する。
• 3+1次元における量子重力が、分配関数を通じて位相的に同値な4次元多様体上の異種微分構造を検出できるかどうかを検討する。
• 三角形分割とその精錬が物理的カットオフを導入せずに時空幾何学を離散化する役割を果たすかを検討する。

提案手法

• 一般相対性理論の時空微分同相変換に関するゲージ対称性を用いて、経路積分が滑らかな多様体の形式的不変量であると主張する。
• 特に、非可算無限個の異種 $\mathbb{R}^4$ の存在や、微分同相でないが位相的に同相な4次元多様体の存在を含む、微分位相幾何学の分類定理を適用する。
• $d \leq 5+1$ の次元では、滑らかな多様体が、PL同型に関してのホワイトヘッド三角形分割によって微分同相型まで分類可能であるという事実に依拠する。
• スメールとフリードマンの $h$-cobordism 定理が、$d=4$ および $d\geq 5$ においてホモトピー型と位相同相の関係をどのように結びつけるかを分析する。
• 2+1次元量子重力におけるトゥレイヴォ＝ヴィロ不変量と、3+1次元における分配関数が滑らかさの構造を検出する可能性とを比較する。
• 三角形分割の精錬が、動的幾何学を伴う理論におけるブロックスピンの自己同形群変換の離散的類似として機能するかを検討する。

実験結果

リサーチクエスチョン

• RQ1 $d=3+1$ 時空次元が、他の次元と比較して滑らかな多様体の分類においてなぜ特異的であるのか。
• RQ2 3+1次元における一般相対性理論の量子重力の分配関数が、位相的に同値な4次元多様体上の異種微分構造を検出できるか。
• RQ3 $d \leq 5+1$ における時空の三角形分割が、物理的カットオフを導入せずに、微分同相型まで完全な滑らかな多様体の情報を捉えられるか。
• RQ4 一般相対性理論の経路積分と、さまざまな次元における $C^\infty$-QFT と $C^0$-QFT の関係は何か。
• RQ5 3+1次元量子重力において有限次元ヒルベルト空間が存在しないことは、4次元における滑らかさ構造の非自明性とどのように関係するか。

主な発見

• $d=3+1$ においては、滑らかな多様体がその位相型によって完全に分類されない。これは、$\mathbb{R}^4$ 上に非可算無限個の互いに微分同相でない異なる微分構造が存在するためである。
• 同一の位相的4次元多様体上に無限に多くの同値でない微分構造が存在することは、$d=4$ に特有である（定理1.1）。
• $d \leq 5+1$ においては、滑らかな多様体は、PL同型に関してのホワイトヘッド三角形分割によって微分同相型まで分類可能であり、滑らかな幾何学の離散的かつ正確な記述を提供する。
• 一般相対性理論の3+1次元における経路積分は、形式的に滑らかな多様体不変量である。これは、異種滑らかさ構造を検出できる可能性を示唆する。
• $d=2+1$ においては、滑らかさと位相的構造が一致するため、一般相対性理論は真に位相的（$C^0$-QFT）であるが、$d=3+1$ では微分位相幾何学の複雑さのため、この性質は成立しない。
• $d \leq 5+1$ における三角形分割の精錬は、動的幾何学を伴う理論におけるブロックスピンの自己同形群変換の離散的類似を提供する。