[論文レビュー] Gravity, Cartan geometry, and idealized waywisers

Hans Westman, Tom Złośnik|arXiv (Cornell University)|Mar 26, 2012

Advanced Differential Geometry Research参考文献 33被引用数 6

ひとこと要約

この論文は、距離と回転を測定する仮想的な計測器「ウェイワイザー」を用いて、カルタン幾何学の新しい幾何的解釈を提示する。一般相対性理論は、接触点を表す変数 {V^A, A^{AB}} を用いて再定式化され、V^A は多様体上の接触点を表し、A^{AB} は回転的ホロノミーを符号化する。この枠組みにより、ド・ジッターおよび反ド・ジッター時空における重力の洗練された作用原理が得られ、宇宙定数を含むアインシュタイン方程式が再現され、運動方程式によりトーションがゼロであることが確認される。

ABSTRACT

The primary aim of this paper is to provide a simple and concrete interpretation of Cartan geometry in terms of the mathematics of idealized waywisers. Waywisers, also called hodometers, are instruments traditionally used to measure distances. The mathematical representation of an idealized waywiser consists of a choice of symmetric space called a {\em model space} and represents the `wheel' of the idealized waywiser. The geometry of a manifold is then completely characterized by a pair of variables $\{V^A(x),A^{AB}(x)\}$, each of which admit simple interpretations: $V^A$ is the point of contact between the waywiser's idealized wheel and the manifold whose geometry one wishes to characterize, and $A^{AB}=A_μ^{\phantomμ AB}dx^μ$ is a connection one-form dictating how much the idealized wheel of the waywiser has rotated when rolled along the manifold. The familiar objects from differential geometry (e.g. metric $g_{μν}$, affine connection $Γ^ρ_{μν}$, co-tetrad $e^I$, torsion $T^I$, spin-connection $ω^{IJ}$, Riemannian curvature $R^{IJ}$) can be seen as compound objects made out of the waywiser variables $\{V^A,A^{AB}\}$. We then generalize this waywiser approach to relativistic spacetimes and exhibit action principles for General Relativity in terms of the waywiser variables for two choices of model spacetimes: De Sitter and anti-De Sitter spacetimes.

研究の動機と目的

• 理想化されたウェイワイザー（距離と回転を測定する装置）の比喩を用いて、カルタン幾何学の明確で直感的な幾何的解釈を提供すること。
• 従来の計量および接続変数に代えて、ウェイワイザー変数 {V^A, A^{AB}} を用いて一般相対性理論を再定式化すること。
• これらの変数を用いて、ド・ジッターおよび反ド・ジッター時空における重力の作用原理を導出し、アインシュタイン＝ヒルベルト作用と同等であることを示すこと。
• 作用から導かれる運動方程式が、宇宙定数を含む標準的なアインシュタイン場の方程式を再現し、トーションがゼロであることを示すこと。

提案手法

• 時空は対称空間（例：ド・ジッターまたは反ド・ジッター）として表現され、理想化されたウェイワイザーの「車輪」として機能する。
• 変数 V^A はウェイワイザーの車輪と時空多様体との接触点を表し、局所的な幾何を符号化する。
• 接続1形式 A^{AB} は、ウェイワイザーが多様体に沿って転がる際の回転的ホロノミーを符号化し、平行移動の概念を一般化する。
• 完全な幾何は、{V^A, A^{AB}} のペアに符号化され、そこから計量、アフィン接続、余テトラッド、スピン接続といった標準的な幾何的対象が導出される。
• マクドウェル＝マナウリ作用はウェイワイザー変数に書き直され、{V^A, A^{AB}} における多項式作用が得られる。
• 変分原理が適用され、運動方程式が導かれ、それがアインシュタインの場の方程式を再現し、トーションをゼロに強制することが示される。

実験結果

リサーチクエスチョン

• RQ1 カルタン幾何学は、理想化されたウェイワイザーという物理的比喩を通じて、どのように直感的に理解できるか？
• RQ2 重力の基本変数は、計量および接続の代わりにウェイワイザー変数 {V^A, A^{AB}} で表現可能か？
• RQ3 ウェイワイザー形式は、ド・ジッターおよび反ド・ジッター時空における一般相対性理論の整合的な作用原理をもたらすか？
• RQ4 ウェイワイザー作用から導かれる運動方程式は、宇宙定数を含む標準的なアインシュタイン場の方程式を再現するか？
• RQ5 ウェイワイザー形式においてトーションは必然的にゼロであり、その動力学的強制はどのように行われるか？

主な発見

• ウェイワイザー変数 {V^A, A^{AB}} は多様体の幾何を完全に特徴づけ、V^A は接触点を表し、A^{AB} は回転的ホロノミーを符号化する。
• ド・ジッターおよび反ド・ジッター時空における重力の作用はウェイワイザー変数を用いて導出され、多項式作用が得られ、アインシュタイン＝ヒルベルト作用と一致する。
• 作用から導かれる運動方程式は、宇宙定数 Λ = ∓3/ℓ² を含む標準的なアインシュタイン場の方程式を再現する。
• トーションの消滅は運動方程式によって強制され、条件 ε_{IJKL}e_μ^L T_νρ^K ε^{μνρσ} = 0 によって示され、これにより T^σ_IJ = 0 が導かれる。
• 余テトラッド e^I とスピン接続 ω^{IJ} は、e^I = DV^I および F^{I4} = ∓(1/ℓ)T^I を通じてウェイワイザー変数から再構成される。
• この形式は、計量、接続、曲率といった標準的な幾何的対象が、基本的なウェイワイザー変数から合成された対象として現れる統一的な幾何的枠組みを提供する。