[论文解读] Space and Time models

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

Noncommutative and Quantum Gravity Theories参考文献 2被引用 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.

研究动机与目标

• 在广义相对论背景下重新诠释赫尔姆霍兹的经验主义自由运动公设——要求刚体运动不发生形变。
• 定义三维空间几何为常曲率的黎曼几何，以确保自由运动公设成立的时空模型。
• 在这些时空框架内对相容的时间模型（共时性、历表时、普适时间）进行分类与分析。
• 推导在自适应坐标变换下度量与联络分量的变换规律，以保持几何结构不变。
• 建立球对称模型满足自由运动公设并能容纳一致时间模型的条件。

提出的方法

• 在自适应坐标系中推导出线元，其中类时测地线族由单位矢量场定义，通过 $ 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} $ 的变换规律，表明 $ \bar{\Gamma}^i_{jk} $ 的不变性。
• 施加条件 $ \partial_t f_i + f_j \partial_j f_i = 0 $，以确保在共时性时间下 $ 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 $，时间重参数化自由度为 $ t'' = \lambda t' + \psi(x^i) $。
• 自由运动条件导出关于 $ B $、$ C $ 和 $ f $ 的微分方程（74）或（75），球对称模型必须满足该方程，才能保持刚性空间几何。