[論文レビュー] Space and Time models

Ll. Bel|arXiv (Cornell University)|Mar 19, 2011

Noncommutative and Quantum Gravity Theories参考文献 2被引用数 3

ひとこと要約

この論文は、一般相対性理論におけるヘルムホルツの自由移動性仮説を再評価し、一貫した時空モデルを定義する。3次元空間幾何における剛体運動が可能となる条件を導出し、時間モデル（コーディス的、エフェマリス的、ユニバーサル）が整合的である条件を特定する。定曲率空間計量が自由移動性を満たすことを確立し、適応座標系と接続記号が一貫して変換されることを示し、計量および接続成分の明示的変換則を伴う、相対論的時空における参照枠の幾何的枠組みを構築する。

ABSTRACT

We derive line-element's templates of space-time models with Space models complying with Helmholtz's Free mobility postulate, and discuss some of the Time models compatible with them.

研究の動機と目的

• 剛体運動に伴う変形なしを要請するヘルムホルツの経験主義的自由移動性仮説を、一般相対性理論の文脈で再解釈すること。
• 3次元空間幾何が定曲率を持つリーマン計量であるような時空モデルを定義し、自由移動性を満たすようにすること。
• そのような時空枠組み内での時間モデル（コーディス的、エフェマリス的、ユニバーサル）の分類と分析を行うこと。
• 適応座標変換における計量および接続成分の変換則を導出し、幾何的構造を保存すること。
• 球対称モデルが自由移動性を満たし、一貫した時間モデルを許容するための条件を確立すること。

提案手法

• 時間的付随ベクトル場によって定義される時間的付随曲線を用い、$ A(t,x^i) $, $ f_i(t,x^i) $, および $ \bar{g}_{ij} $ を用いて、時間と空間成分に分離された線素を導出する。
• 適応変換下での幾何的一致性を保証するため、商多様体のベクトルとしての性質を示す補助的ベクトル $ L^i $ を導入する。
• 時間微分作用素 $ \bar{\partial}_k $ を用いて定義される時間接続 $ \bar{\Gamma}^i_{jk} $ を定義し、適応時間変換下でも不変であることを保証する。
• 球対称モデルに自由移動性仮説を適用する際、空間計量 $ d\bar{s}^2 $ の定曲率 $ k $ を要請することで、等長的剛体運動を保証する。
• 適応時間変換 $ t = t(t', r) $ における $ A $, $ f_i $, $ B $, $ C $, および $ \bar{g}_{ij text{}} $ の変換則を導出し、$ \bar{\Gamma}^i_{jk} $ が不変であることを示す。
• コーディス的時間において $ f_i = 0 $ を保証するため、$ \partial_t f_i + f_j \partial_j f_i = 0 $ の条件を課すことで、モデルを $ f^\prime = 0 $ に簡略化する。

実験結果

リサーチクエスチョン

• RQ1 ヘルムホルツの自由移動性仮説を、一般相対性理論において一貫して実装する方法は何か？ これにより、剛体運動を伴う空間モデルが定義可能であるか？
• RQ2 そのような空間モデルと整合的であるための、時間モデル（コーディス的、エフェマリス的、ユニバーサル）の幾何的および変換的条件は何か？
• RQ3 適応座標変換における計量成分および空間接続の変換則は何か？ また、どのような不変量が出現するか？
• RQ4 球対称時空モデルが自由移動性を保ち、一貫した時間枠組みを許容するための制約条件は何か？
• RQ5 適応時間変換下でも不変であるような時間接続 $ \bar{\Gamma}^i_{jk} $ を定義可能か？ その物理的意味は何か？

主な発見

• 自由移動性仮説を満たすためには、空間計量 $ \bar{g}_{ij} $ が定曲率 $ k $ を持つ必要があり、これにより等長的剛体運動が保証される。
• 時間微分作用素 $ \bar{\partial}_k = \partial_{x^k} + f_k \partial_t $ を用いて定義される時間接続 $ \bar{\Gamma}^i_{jk} $ は、適応時間変換下でも不変であり、幾何的に整合的な枠組みを提供する。
• 適応時間変換 $ t = t(t', r) $ において、$ A $, $ B $, $ C $ は $ \partial t / \partial t' $ に比例してスケーリングされ、$ f $ は $ f' = (\partial t / \partial t')^{-1}(f - \partial t / \partial r) $ として変換され、線素構造が保存される。
• コーディス的時間モデルにおいて $ f^\prime = 0 $ であることは、$ t' = \text{const} $ である径方向曲線が測地線であることを要請することと同値であり、モデルの簡略化と整合性の確保に寄与する。
• 定常フレームでは、エフェマリス的時間モデルはコーディス的モデルと整合的であり、$ \partial_t A = \partial_t f_i = \partial_t \bar{g}_{ij} = 0 $ を満たす。時間再パarameterization の自由度は $ t'' = \lambda t' + \psi(x^i) $ として存在する。
• 自由移動性条件により、球対称モデルが剛体的空間幾何を保つためには、$ B $, $ C $, および $ f $ が微分方程式 (74) もしくは (75) を満たす必要がある。