[论文解读] Birkhoff's invariant and Thorne's Hoop Conjecture

G. W. Gibbons|ArXiv.org|Mar 9, 2009

Geometric and Algebraic Topology参考文献 25被引用 19

一句话总结

本文利用Birkhoff不变量$\beta$，对Thorne的圆环猜想提出了一个精确的表述，证明了对于最外层的极限视界，有$\beta \leq 4\pi M_{\text{ADM}}$。该猜想已在坍缩光壳情形下得到证明，并通过Kerr-Newman黑洞等精确解得到支持，借助Penrose不等式与等周不等式，将几何不变量与质量界联系起来。

ABSTRACT

I propose a sharp form of Thorne's hoop conjecture which relates Birkhoff's invariant $β$ for an outermost apparent horizon to its $ADM$ mass, $ β\le 4 πM_{ADM}$. I prove the conjecture in the case of collapsing null shells and provide further evidence from exact rotating black hole solutions. Since $β$ is bounded below by the length $l$ of the shortest non-trivial geodesic lying in the apparent horizon, the conjecture implies $l \le 4 πM_{ADM}$. The Penrose conjecture, $\sqrt{πA} \le 4 πM_{ADM}$, and Pu's theorem imply this latter consequence for horizons admitting an antipodal isometry. Quite generally, Penrose's inequality and Berger's isembolic inequality, $\sqrt{πA} \ge {2\over\sqrtπ} i$, where $i$ is the injectivity radius, imply $ 4c \le 2 i \le 4 πM_{ADM}$, where $c$ is the convexity radius.

研究动机与目标

• 将Thorne模糊的圆环猜想精炼为一个涉及几何不变量的精确、数学严谨的不等式。
• 建立ADM质量与最外层视界Birkhoff不变量$\beta$之间的联系。
• 通过Kerr-Newman黑洞等精确解及几何不等式，为该猜想提供证据。
• 探讨最短闭测地线长度以及视界上测地线的单连通半径与凸性半径的含义。

提出的方法

• 将Birkhoff不变量$\beta(g)$定义为：在2-球面上所有函数$f$中，其水平集$f^{-1}(c)$的最大长度的下确界。
• 利用Birkhoff定理，证明$\beta(g)$等于视界曲面上一条闭测地线的长度。
• 应用Penrose不等式$\sqrt{\pi A} \leq 4\pi M_{\text{ADM}}$与Pu定理，推导出测地线长度的界。
• 利用Berger等周不等式$\sqrt{\pi A} \geq 2i(g)$与关系式$l(g) \geq 2c(g)$，将$\beta$与单连通半径及凸性半径联系起来。
• 分析Kerr-Newman黑洞及相关黑洞视界的度量，显式计算$\beta$并验证不等式。
• 将该框架推广至具有$S^n$拓扑的高维视界，利用$S^{n-1}$的叶状结构与体积最小化方法。

实验结果

研究问题

• RQ1 Thorne的圆环猜想能否被表述为一个涉及Birkhoff不变量的精确几何不等式？
• RQ2 在满足主导能量条件的时空中，$\beta \leq 4\pi M_{\text{ADM}}$是否对所有最外层极限视界都成立？
• RQ3 黑洞视界上，最短闭测地线长度$l(g)$、单连通半径$i(g)$与凸性半径$c(g)$之间存在何种关系？
• RQ4 Pu不等式与Berger不等式等几何不等式如何与Penrose不等式及所提出的圆环猜想相互关联？
• RQ5 该猜想能否推广至具有非球形拓扑的高维黑洞视界？

主要发现

• 该猜想$\beta \leq 4\pi M_{\text{ADM}}$已在坍缩光壳情形下得到证明，确立了视界形成的必要条件。
• 对于Kerr-Newman黑洞，有$\beta = l_e = 2\pi(2M - Q^2/r_+) \leq 4\pi M$，在该精确解中验证了猜想。
• 由$\beta \leq 4\pi M_{\text{ADM}}$可直接推出不等式$l(g) \leq 4\pi M_{\text{ADM}}$，其中$l(g)$为最短闭测地线长度。
• 结合Pu定理与Penrose不等式，证明了当视界具有对径点等距对称性时，有$2c(g) \leq 4\pi M_{\text{ADM}}$。
• Berger等周不等式表明$2i(g) \geq 4c(g)$，结合Penrose不等式，可得$4\pi M_{\text{ADM}} \geq 2i(g) \geq 4c(g)$。
• 该框架可推广至高维情形，其中$\beta$被定义为在$n$维视界上，所有$S^{n-1}$叶状结构中最大$(n-1)$-体积的下确界。