Future global in time Einsteinian spacetimes with \(U(1)\) isometry group (Q5956810)

The authors of this paper prove a global in time existence theorem, in the expanding direction, for a family of spatially compact vacuum spacetimes having spacelike \(U(1)\) isometry group. It is shown that spacetimes exist for an infinite proper time in the expanding direction. They satisfy the vacuum Einstein equations on a manifold of the form \(\Sigma\times U(1)\times R\), where \(\Sigma \) is a compact surface of genus \(G>1\) and the Cauchy data is invariant with respect to \(U(1)\) and sufficiently small as well. The orthogonal trajectories to the space sections \(M\times \{t\}\) have an infinite proper length. The sense in which the solutions are global in the expanding direction is that they exhaust the maximal range allowed for the mean curvature function on a manifold of negative Yamabe type, for which a zero mean curvature can only be asymptotically approached. The behavior of the solutions in the collapsing direction is discussed as well.