[论文解读] The Birkhoff theorem for topologically massive gravity

M. Cavaglià|ArXiv.org|Apr 19, 1999

Cosmology and Gravitation Theories参考文献 1被引用 27

一句话总结

本文为三维拓扑质量重力（TMG）建立了Birkhoff型定理，证明所有拓扑为$Σ_2 \times S$的真空解均为静态且局部为爱因斯坦平凡解，其性质取决于宇宙学常数，分别退化为局部平坦或（反-）德西特时空。该结果将经典Birkhoff定理推广至高阶导数理论TMG，表明球对称性蕴含时间无关性与Cotton张量为零；然而，当引入自旋时，非静态解将出现。

ABSTRACT

We derive the general $Σ_2 imes S$ solution of topologically massive gravity in vacuum and in presence of a cosmological constant. The field equations reduce to three-dimensional Einstein equations and the solution has constant Ricci tensor. We briefly discuss the emergence of non-Ricci flat solutions when spin is introduced.

研究动机与目标

• 为三维拓扑质量重力（TMG）建立Birkhoff型定理，将广义相对论中的经典结果推广至该高阶导数理论。
• 研究TMG的柱对称真空解是否如标准爱因斯坦引力中一样，必然为静态且局部为爱因斯坦平凡解。
• 探讨当引入自旋或物质耦合时，非静态解出现的条件。
• 阐明Cotton张量的作用及其对TMG中精确解结构的影响。
• 对TMG中具有$Σ_2 \times S$拓扑的真空解进行全面分类，包括其与BTZ黑洞及德西特/反德西特时空的关系。

提出的方法

• 论文采用形式为$ds^2 = f(u,v)dudv - \rho(u,v)^2 d\phi^2$的度规试探解，于二维双曲基底$\Sigma_2$上的光锥坐标中，利用二维的共形平坦性。
• 通过Levi-Civita张量与协变导数的定义，显式计算了爱因斯坦张量$G^\mu_\nu$与Cotton张量$C^\mu_\nu$，其表达式以共形因子$f$与径向函数$\rho$表示。
• 将场方程(1)约化为一组PDE：$2\partial_u \mathcal{H}_1 - f\partial_v \mathcal{H}_3 = 0$与$2\partial_v \mathcal{H}_2 - f\partial_u \mathcal{H}_3 = 0$，由此推出Cotton张量为零。
• 通过求解系统$\mathcal{H}_1 = \mathcal{H}_2 = 0$与$\mathcal{H}_3 = \mathcal{H}_4 = \lambda/2$，得到$f(u,v) = \frac{d\rho}{dh}\frac{dU}{du}\frac{dV}{dv}$，其中$h = U(u) + V(v)$，确保存在一个类时的Killing向量。
• 当$\lambda = 0$时，解为局部平坦；当$\lambda \neq 0$时，其描述局部德西特或反德西特时空。
• 通过构造一个自旋度规试探解（其中$E=0$），表明当$F$依赖于$u-v$时，可出现非静态解，从而在自旋情形下违反Birkhoff定理。

实验结果

研究问题

• RQ1 在拓扑质量重力中是否存在Birkhoff定理？即所有球对称的真空解是否均为静态且局部为爱因斯坦平凡解？
• RQ2 TMG中具有$\Sigma_2 \times S$拓扑的真空解的一般形式为何？
• RQ3 当存在自旋或非零角动量时，TMG中静态解的存在性如何受到影响？
• RQ4 当物质或自旋耦合至引力部分时，是否可能出现非平凡且非爱因斯坦平凡的解？
• RQ5 TMG的解与已知时空（如BTZ黑洞或德西特/反德西特空间）之间存在何种关系？

主要发现

• TMG中具有$\Sigma_2 \times S$拓扑的最一般真空解为静态且局部为爱因斯坦平凡解，且Cotton张量恒为零。
• 当$\lambda = 0$时，解为局部平坦；当$\lambda \neq 0$时，其为局部德西特或反德西特时空，具体取决于$\lambda C$的符号。
• 解具有一个类时Killing向量$\xi = (dU/du)^{-1}\partial_u - (dV/dv)^{-1}\partial_v$，确认了时间平移不变性。
• 共形因子$\rho(h)$满足常微分方程$\frac{d\rho}{dh} = C + \frac{\lambda}{4} \rho^2$，其解可显式表示为三角函数或双曲函数形式。
• 当引入自旋时，非静态解存在：一个反例中，$F(u-v)$依赖性导致Cotton张量非零，且几何结构非静态。
• 在常微分方程$2y'' + m y y' = A y$中，当$A=0$时，可求得显式解，包括双曲正切、正切及有理函数形式，描述了自旋的非静态时空。