极值视界的本征刚性

我们证明，任何真空极值视界的紧致截面之本征几何必容许一个 Killing 矢量场。若截面为二维球面，则这意味着最一般的解即为极值 Kerr 视界，并完成了相关近视界几何的分类。含宇宙常数时同样结果成立。此外，我们还推导出：在任何无对称性假设下，具有非正宇宙常数的任何非平凡真空近视界几何，其 Killing 矢量场李代数必在所有维度包含 $\mathfrak{sl}(2)\times \mathfrak{u}(1)$。我们还证明，若截面为二维，则视界 Einstein 方程等价于关于 K"ahler 势的一个四阶 PDE，且该方程在球面上当相应度量容许 Killing 矢量时可显式求解。