S2xS1 Gowdy时空中的柯西视界正则性

我们研究了具有正则过去柯西视界的一般S2xS1 Gowdy模型，并证明如果特定守恒量$J$不为零，则存在第二个（未来）柯西视界。我们推导了未来柯西视界上度量形式的显式表达式，该表达式用过去视界上的初始数据表示，并得出普适关系$A\p A\f=(8\pi J)^2$，其中$A\p$和$A\f$分别是过去和未来柯西视界的面积。