Global foliations of vacuum spacetimes with \(T^2\) isometry (Q1290428)

The authors prove a long-time existence theorem (with respect to a geometrically defined time) for globally hyperbolic solutions of the vacuum Einstein equations which admit a \(T^2\) isometry group with two-dimensional spacelike orbits, acting on \(T^3\) spacelike surfaces. Theorem. Let \((\gamma,\pi)\) be a set of smooth \(T^2\) symmetric initial data on \(T^3.\) For some nonnegative constant \(c\) there exists a globally hyperbolic spacetime \((M^4,g)\) such that (I) \(M^4=T^3\times(c,\infty)\), (II) \(g\) satisfies the vacuum Einstein equations, (III) \(M^4\) is covered by areal coordinates \((x,y,\theta,t)\), with \(t\in(c,\infty)\), so the metric globally takes the form \[ \begin{multlined} g=e^{2(\nu-U)}(-\alpha dt^2+d\theta^2)+\lambda e^{2U}[dx+Ady+ (\underset {1} G+ A\underset {2} G)d\theta+(\underset {1} M+A\underset {2} M)dt]^2+\\ +\lambda e^{-2U}t^2[dy+\underset {2} Gd\theta+\underset {2} Mdt]^2, \end{multlined} \] where \(U,A,\nu,\alpha,\underset {1} G,\underset {2} G,\underset {1} M\) and \(\underset {2} M\) are functions depending on \(\theta\in S^1\) and \(t\in \mathbb R^+,\) and \(\lambda\) is a strictly positive constant, (IV) \((M^4, g)\) is isometrically diffeomorphic to the maximal globally hyperbolic development of the initial data \((\gamma, \pi)\).