Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

本文表明，规范的韦尔坐标选择与非零宇宙学常数是不相容的，因为面积函数不再是调和的，从而阐明了对韦尔度规的限制特指该坐标系，而非针对一般的静态轴对称爱因斯坦空间。

要点

想象一下，宇宙就像一块巨大的、具有弹性的织物。物理学家使用数学来描述重物（如恒星）是如何弯曲这块织物的。长期以来，当他们研究一种特定的弯曲类型——即一种完全静止（静态）且无论你如何旋转看起来都一样的（轴对称）弯曲时——他们使用了一种非常特定且方便的地图，叫做正则 Weyl 坐标（Canonical Weyl Coordinates）。

你可以把这些坐标想象成画在坐标纸上的一张完美的、笔直的正方形网格。因为这些线条是笔直且间距均匀的，所以在这种网格上进行数学运算非常容易。

旧有的规则

长期以来，科学家们一直认为，如果你想使用这种“完美正方形网格”来绘制一个静止、旋转物体的引力图，宇宙必须不存在一种被称为宇宙常数（我们暂且称之为“宇宙推力”）的神秘能量。

这篇文章指出，这种观点实际上是对地图的一种误解，而不是宇宙本身的规则。

新的发现

作者 Sheref Nasereldin 表示：“问题不在于宇宙不能拥有这种‘宇宙推力’。问题在于，一旦开启了‘宇宙推力’，这个‘完美的正方形网格’就会失效。”

以下是使用简单类比进行的拆解：

1. “面积函数”（尺子）
在这些引力图中，有一个特殊的数值叫做“面积函数”。你可以把它想象成一把测量物体周围旋转圆圈大小的尺子。

• 在空旷的宇宙中（没有宇宙推力）： 这把尺子表现得非常完美。它遵循平坦、平静湖泊的规则。因为它表现得如此规整，所以你可以直接用这把尺子本身作为网格中的一条线。这就创造了“正则 Weyl”地图。
• 在有宇宙推力的宇宙中： 尺子被扭曲了。这就像是在一个凹凸不平、不断震动的表面上使用一把橡胶尺子。它不再遵循简单的、笔直的规则。它具有一个“源项”，这只是一个术语，意思是指“它正受到外力的推动”。

2. “正方形网格” vs. “凹凸不平的地图”
论文证明了，只有当宇宙推力为零时，你才能使用这种“正则 Weyl”正方形网格（即尺子是完全笔直的）。

• 如果推力为零： 尺子是直的。你可以使用这个网格。
• 如果推力不为零： 尺子会弯曲。如果你试图强迫尺子保持笔直（即坚持使用正则 Weyl 坐标），数学就会崩溃。这就像试图把方榫头硬塞进圆孔里；宇宙根本不允许这样做。

证明：Kottler 度规

为了证明这一点，作者研究了 Kottler 度规。你可以把这看作是一个在带有宇宙推力的宇宙中，一个静止、旋转物体的“金标准”范例（它基本上是著名的史瓦西黑洞，只是加入了宇宙推力）。

• 当作者计算这个物体的“尺子”（面积函数）时，他们发现它不是直的。它被宇宙推力弯曲了。
• 这证实了“正则 Weyl”网格（要求尺子必须笔直）对于这个物体而言根本无法存在。
• 然而，这个物体确实存在！它只是需要一种不同的地图（一种更通用的地图），这种地图允许尺子是弯曲的。

核心结论

这篇论文纠正了一个常见的误解。

• 旧观点： “如果宇宙拥有宇宙常数，Weyl 度规（正方形网格地图）就无法工作。”
• 新真相： “Weyl 度规确实有效，但前提是你必须严格地将它们定义为‘尺子完全笔直’的地图。如果宇宙拥有宇宙常数，尺子必须弯曲，因此你必须停止使用‘完美笔直尺子’的定义，转而使用一种更灵活的地图。”

简而言之： 拥有宇宙常数的宇宙是真实的，也确实存在。它只是拒绝挤进物理学家曾经钟爱的那个特定的、僵化的“正方形网格”盒子里。你必须使用一种更灵活、更弯曲的地图来描述它。

技术摘要

技术摘要：静态轴对称爱因斯坦空间与正则 Weyl 坐标的局限性

问题陈述
经典的 Weyl 度规提供了四维静态轴对称引力源外部真空场的通用局部形式。在其正则形式中，度规的构建方式是将两个 Killing 轨道的面积函数（$W = \sqrt{-\det(g_{AB})}$）与二维轨道空间上的调和坐标（$\rho$）进行识别。虽然这种构造在里奇平坦真空时空中（$R_{ab}=0$）已得到公认，但目前尚不清楚这种正则形式对于具有非零宇宙学常数（$\Lambda \neq 0$）的爱因斯坦空间（例如 Kottler/Schwarzschild-de Sitter 系列）是否仍然有效。核心问题在于：限制使用正则 Weyl 坐标是存在带有 $\Lambda \neq 0$ 的静态轴对称爱因斯坦空间的一个根本性障碍，还是仅仅是该特定坐标选择的一种局限性？

方法论
作者在静态轴对称时空的直交传递扇区内进行局部研究。为了将坐标特化与时空的物理存在解耦，作者采用了一个广义线元，其中保留面积函数 $W(\rho, z)$ 为一个任意的度规函数，而不是立即将其固定为 $\rho$：
$$ds^2 = -e^{2U}dt^2 + e^{-2U} \left[ e^{2\nu}(d\rho^2 + dz^2) + W(\rho, z)^2 d\phi^2 \right].$$
通过利用沿时间类 Killing 向量的正交空间超面的共形重标度技术，作者推导出了控制 $U$、$\nu$ 和面积函数 $W$ 在二维轨道空间上的约化爱因斯坦-$\Lambda$ 方程组。

主要贡献与结果

1. 约化方程的推导： 本文推导了广义静态轴对称度规的完整约化爱因斯坦-$\Lambda$ 系统。控制轨道空间上面积函数 $W$ 和势函数 $U$ 的关键方程为：

   • $\Delta_q W = -2\Lambda e^{-2U} W$
   • $\Delta_q U + W^{-1}\nabla W \cdot \nabla U = -\Lambda e^{-2U}$
     其中 $\Delta_q$ 是与轨道空间度规 $q$ 相关的拉普拉斯算子。

2. 正则坐标的不相容性证明： 作者证明，在远离对称轴的区域（$\rho > 0$），正则 Weyl 选择（定义为令 $W = \rho$）能够局部成立的充分必要条件是 $\Lambda = 0$。

   • 若强制要求 $W = \rho$，则关于 $W$ 的约化方程变为 $0 = -2\Lambda e^{2\nu - 2U} \rho$。
   • 由于指数因子和 $\rho$ 均不为零，该方程迫使 $\Lambda = 0$。
   • 反之，若 $\Lambda = 0$，则 $W$ 的方程将简化为平直空间的拉普拉斯方程（$\Delta W = 0$），从而允许将 $W$ 作为调和坐标使用。

3. 对“Weyl 度规”局限性的澄清： 本文确立了这样一个结论：只有当“Weyl 度规”被严格解释为面积函数与径向坐标识别的正则坐标下的度规时，“Weyl 度规不允许 $\Lambda \neq 0$”这一说法才是精确的。这种局限性并非源于时空本身的静态性或轴对称性，而是因为对于 $\Lambda \neq 0$ 的情况，面积函数 $W$ 不再是调和的，而是满足一个有源微分方程。

4. 通过 Kottler 度规进行的显式验证： 文中将 Kottler 度规（Schwarzschild-de Sitter）作为最简单的显式示例。作者展示了对于 $\Lambda \neq 0$ 的 Kottler 解，其面积函数 $W = r \sin\theta \sqrt{f(r)}$ 满足有源方程 $\Delta_q W = -2\Lambda e^{-2U} W$，这证实了它无法转化为正则 Weyl 形式（$W=\rho$）。在 $\Lambda \to 0$ 的极限下，该解退化为 Schwarzschild 解，此时 $W$ 变为调和的，从而恢复了标准的正则 Weyl 坐标。

意义与主张
本文声称提供了一个精确的局部陈述，用以澄清正则 Weyl 坐标的适用范围。作者认为，对于 $\Lambda \neq 0$ 而言，正则 Weyl 形式的失效是由面积函数所满足的微分方程直接控制的。作者强调，这一结果不应被视为存在带有宇宙学常数的静态轴对称爱因斯坦空间的全局障碍；此类空间确实存在，但必须使用更广义的线元（4）来描述，即面积函数不与坐标 $\rho$ 识别的情况。这项工作旨在区分时空的几何属性与用于表示该时空的特定坐标选择。