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
1707612202
1707612203
不过，上述推理并不是唯一的。
1707612204
1707612205
这不仅是因为使能量动量张量非对称的方法并不唯一（从而爱因斯坦-嘉当理论并不是唯一可能的推广），而且也是因为内禀角动量的出现及并不单独守恒这一特点并非必然导致能量动量张量的非对称性。事实上，通过对能量动量张量添加一个对运动方程没有影响的散度项，我们总可以将它改写为对称形式。这种对称形式的能量动量张量被称为贝林番特张量（Belinfante tensor）。有一种（比较常见的）观点认为，出现在爱因斯坦场方程中的能量动量张量应该是贝林番特张量[2]。显然，这可以使得爱因斯坦场方程的成立不受内禀角动量的影响。从这个意义上讲，目前并没有充分的理由——哪怕只是理论上的理由——使人们必须在经典范围内拓展广义相对论的框架。
1707612206
1707612207
但是，将贝林番特张量引进爱因斯坦场方程的做法也并不是完全令人满意的。比如它使得表示角动量的能量动量起源的关系式Jabc=xaTbc-xbTac具有了完全的普遍性，而我们在前面提到过，量子意义下的自旋就不具有能量动量起源。因此，角动量与能量动量之间的这种关系式似乎不该具有那么大的普遍性，起码不该将量子意义下的自旋包括在内。而一旦认定量子意义下的自旋是一种与能量动量无关的角动量，那它对时空的影响就没有理由被包含在能量动量对时空的影响——即爱因斯坦场方程——之中。
1707612208
1707612209
另一方面，我们也不能简单地把自旋对时空的影响从理论中丢弃掉，因为虽然尚不存在自旋对时空产生影响的任何观测证据（考虑到自旋的微小，这是不足为奇的），但由于轨道角动量对时空的影响是广义相对论的确凿推论，在理论上单单把自旋对时空的影响丢弃掉无疑是极不自然的。这些都表明爱因斯坦-嘉当理论对自旋的处理——即既承认它对时空有影响，又不把这种影响归结于能量动量——是有一定合理性的。
1707612210
1707612211
除此之外，爱因斯坦-嘉当理论还有其他一些值得探讨的特点，比如它可以将时空流形切空间上的结构群从广义相对论中的洛伦兹群（Lorentz group）推广到庞加莱群（Poincaré group）——这是嘉当提出这一理论的原始动机之一（我们所提及的量子意义下的自旋在当时尚未被发现），又比如它有可能对（部分地）消除广义相对论中的奇点问题起到一定帮助，等等。
1707612212
1707612213
不过，所有这些合理性及值得探讨的特点，都未能使爱因斯坦-嘉当理论得到太多的关注。原因在我看来有不止一条：比如爱因斯坦-嘉当与广义相对论的差别涉及到了像自旋这样的量子效应，从而不仅现在，哪怕将来也几乎没有任何可能得到直接的观测支持（引力在这种尺度上太过微弱）。此外，像有自旋粒子产生的引力场那样的问题，由于场源的量子特征无法忽略，很可能根本就不能用经典理论来处理[3]。假如经典理论根本就不能用，那么将广义相对论推广为爱因斯坦-嘉当理论的做法，也许就像当年索末菲（Arnold Sommerfeld）将玻尔理论推广为相对论性那样，缺乏真正的重要性。
1707612214
1707612215
2006年7月30日写于纽约