卡鲁扎-克莱因时空的拓扑审查

标准的拓扑审查定理需要渐近假设，这些假设对于若干感兴趣的情形过于严格。本文在显著更弱的条件下证明了一个版本的拓扑审查，该条件与例如具有卡鲁扎-克莱因渐近行为的解兼容。特别地，我们证明了对于在卡鲁扎-克莱因意义下渐近平坦或渐近反德西特的模型，外通信区域在对称群作用下的商是单连通的。这允许例如定义唯一性定理中约化场方程所需的扭曲势。最后，用于证明上述结论的方法被用来证明弱捕获紧致曲面无法从Scri看到。