1707612152
[6]在讨论本文的过程中，有网友提出了这样一个问题：为什么运动时钟参照系必须接受一个“不平等”的度规，而不能像静止时钟参照系那样，认为自己的度规是闵科夫斯基度规？在时钟佯谬的框架中，这是因为一开始就已假定问题发生在闵科夫斯基空间中，而所谓“静止”时钟与“运动”时钟的唯一合理的定义就是前者的世界线为测地线，后者的世界线为非测地线，而且两者都是——并且也只能是——相对于背景度规来定义的（相对论不是一个马赫式的理论，在相对论中与奥地利哲学家马赫所设想的遥远星体所起作用最接近的东西就是背景度规），这就保证了只有前者所在的参照系可以自始至终使用闵科夫斯基度规，后者则只能使用从闵科夫斯基度规（通过坐标变换）诱导出来的度规。
1707612153
1707612154
不过，这也引出了一个更一般的问题，那就是闵科夫斯基度规的特殊地位是从何而来的？在狭义相对论中，这可以说是一个基本假设（或经验事实）。那么，广义相对论的情况是否会强一些呢？它是否能对闵科夫斯基度规的特殊地位做出“更物理”的说明（从而也对时钟佯谬作出“更物理”的解释）呢？很遗憾，答案是否定的，因为闵科夫斯基度规的特殊地位在广义相对论中也是基本假设，因为广义相对论所用的赝黎曼空间就是局部为闵科夫斯基空间的流形（这是等效原理的体现），其度规则是可以局部地由闵科夫斯基度规诱导出来的。实际上，按照我们在正文中所建议的类比思路，闵科夫斯基度规在相对论中的地位与欧几里得度规在普通黎曼几何中的地位是完全相似的，两者都是切空间中的度规，都是诱导其他度规的基石。广义相对论无法比狭义相对论“更物理”地解释闵科夫斯基度规的特殊地位（从而也无法“更物理”地解释时钟佯谬），就好比黎曼几何无法比欧几里得几何更充分地说明欧几里得度规的特殊地位。
1707612155
1707612156
[7]有人也许要问：时钟佯谬的传统解释到底算不算错误？我的看法是，在各自针对的特例或近似下，它们作为理解时钟佯谬的辅助手段，谈不上错误。但它们是否称得上解释，则取决于对“解释”一词的理解，我个人认为它们起码不算是好的解释。
1707612157
1707612158
[8]瞬时随动惯性系是指在所考虑的时刻与运动时钟具有相同瞬时速度的惯性参照系，也称为“瞬时静止惯性系”（momentary inertial rest frame）。
1707612159
1707612160
1707612161
1707612162
1707612163
因为星星在那里：科学殿堂的砖与瓦 [:1707611271]
1707612164
因为星星在那里：科学殿堂的砖与瓦 从等效原理到爱因斯坦-嘉当理论
1707612165
1707612166
因为星星在那里：科学殿堂的砖与瓦 [:1707611272]
1707612167
一、等效原理
1707612168
1707612169
众所周知，等效原理（equivalence principle）——即引力场与加速场的不可区分性——是局域的。在一个非局域的参照系——比如有限大小的“爱因斯坦升降机”（Einstein’s elevator）——中，我们可以通过对所谓“测地偏离”（geodesic deviation）效应的观测，来区分引力场与加速场。这种观测之所以有效，是因为所涉及的是联络（connection）的导数，或者说曲率（curvature）的分量，这是不能通过等效原理消去的。由于对测地偏离效应的观测是在有限大小而非局域的参照系中进行的，因此与等效原理并不矛盾。
1707612170
1707612171
一般教材的讨论大都到此为止。
1707612172
1707612173
很明显，若所有物理效应都只跟度规及联络有关，那等效原理的成立就是普遍的。但假如存在某种局域的物理效应与曲率相耦合，那么哪怕在局域的参照系中，我们也将可以通过对这种物理效应的观测，而对引力场与加速场做出区分。
1707612174
1707612175
那样的物理效应是否存在呢？答案极有可能是肯定的。事实上，有自旋粒子的运动很可能就是那样的物理效应之一。虽然迄今尚无任何实验足以检验这类效应，但一般认为，有自旋粒子在引力场中的运动由所谓的“马西森-帕帕佩特鲁-狄克逊方程”（Mathisson-Papapetrou-Dixone quation）所描述，而这一方程显含曲率张量。因此，有自旋粒子在引力场中的运动会与曲率相耦合。由此得出的一个推论则是，通过观测有自旋粒子的运动，原则上能在局域参照系中区分引力场与加速场[1]。
1707612176
1707612177
从某种意义上讲，这意味着等效原理不再成立了。
1707612178
1707612179
但是，这并不意味着广义相对论失效。对于广义相对论来说，等效原理的作用主要是确立时空的赝黎曼（pseudo-Riemannian）结构。为此只要在每一点上存在局域参照系，使度规为闵科夫斯基度规（Minkowski metric），同时使得联络系数全部为零即可（如果把这作为等效原理的定义，则等效原理的成立将不受上面提到的效应所影响）。至于是否有物理效应与曲率相耦合，并不妨碍广义相对论的建立。有自旋粒子的经典运动在广义相对论的框架中是完全可以处理的，就像时钟佯谬在狭义相对论的框架中完全可以处理一样。
1707612180
1707612181
1707612182
1707612183
1707612184
因为星星在那里：科学殿堂的砖与瓦 [:1707611273]
1707612185
因为星星在那里：科学殿堂的砖与瓦 二、爱因斯坦-嘉当理论
1707612186
1707612187
刚才我们提到，有自旋粒子在引力场中的运动会与曲率相耦合，从而能用来局域地区分引力场与加速场。这一讨论只涵盖了与引力有关的有自旋粒子问题的一半——即有自旋粒子在给定的引力场中会如何运动。现在，我们来考虑问题的另一半，即有自旋粒子本身会产生什么样的引力场。这是一个性质很不相同的问题，因为有自旋粒子在给定的引力场中的运动——如前所述——不会对广义相对论的结构产生根本性的影响，而有自旋粒子本身产生的引力场，则——如我们即将看到的——虽非必然，却很有可能把我们引向不同于广义相对论的理论，比如爱因斯坦-嘉当（Einstein-Cartan）理论。
1707612188
1707612189
我们知道，对所有具有能量动量起源的角动量Jabc = xaTbc - xbTac来说，能量动量张量Tab的守恒（即ǝaTab）与对称（即Tab=Tba）保证了角动量的守恒（即ǝaJabc=0）。这种角动量被称为轨道角动量，它涵盖所有的经典角动量（包括经典意义下的“自旋”——即自转角动量）。另一方面，我们也知道，并非所有的角动量都具有能量动量起源，比如量子意义下的自旋就不具有能量动量起源（因为一个有自旋粒子完全可以是无质量的）。如果我们把这种所谓“内禀”（即不具有能量动量起源）的角动量记为Sabc，则总角动量可以表示为Jabc=Sabc+xaTbc-xbTac。这时角动量守恒ǝaJabc=0将会要求
1707612190
1707612191
ǝaSabc = Tcb - Tbc
1707612192
1707612193
这一式子表明，除非内禀角动量单独守恒（即ǝaSabc=0），否则能量动量张量将是非对称的（即Tab≠Tba）。由于内禀角动量显然并不单独守恒，因此上式中的能量动量张量是非对称的。
1707612194
1707612195
1707612196
如果能量动量张量非对称，那么爱因斯坦场方程Gab=8πTab将要求爱因斯坦张量Gab也是非对称的。这表明时空几何将不会是单纯的黎曼几何（Riemannian geometry）。使Gab非对称的一种最简单的方案，就是引进非零的时空挠率（torsion）。由此产生的最简单的理论就是所谓的爱因斯坦-嘉当理论，是法国数学家嘉当（Élie Cartan）于1922年提出的。
1707612197
1707612198
与纯度规性的广义相对论不同，爱因斯坦-嘉当理论是一种建立在仿射联络（affine connection）基础上的引力理论，在这种理论中等效原理不再成立（因为非零挠率使得联络系数全部为零的局域参照系不复存在）。爱因斯坦-嘉当理论中的这种带挠率的几何被称为黎曼-嘉当几何（Riemann-Cartan geometry）。爱因斯坦-嘉当理论的场方程则为
1707612199
1707612200
1707612201