坨星没有 hair 现象

我们证明了利希安 Kerr 解是唯一满足以下条件的利希安度规、黎西克平坦且在远处平坦的 ${\rm C}^{2}$ 度规 $g_{\mu\nu}$：其定义在四维完整流形 ${\cal M}$ 上，拓扑为 ${\rm R}^{2} \times {\rm S}^{2}$，且拥有至少一参数周期等距群，其固定点仅为离散点（即“坨星”），且在无穷远处的轨道长度有界。