No label defined (Q4524072)

In this survey paper the authors first show that each initial data of the vacuum Einstein equation is a spacelike hypersurface of constant mean curvature. They also review the variational interpretation of such hypersurfaces. Then, they obtain three integral formulas on spacelike hypersurfaces in a conformally stationary (CS) spacetime, i.e., a Lorentzian manifold with a timelike conformal vector field. To state one of the formulas, let \(K\) be a timelike conformal vector field on a CS-spacetime \(\widehat M\) with metric \(\widehat g\). Then \({\mathcal L}_K \widehat g=2\rho \widehat g\) for some smooth function \(\rho\) and for any spacelikely hypersurface \(S\) in \(\widehat M\) one has \[ \int_S \bigl(\rho+ \widehat g(K,N) H\bigr)dV=0, \] where \(N\) is the (globally defined) unitary timelike normal vector field on \(S\) in the same time-orientation of \(K\) and \(H\) is the mean curvature of \(S\). Finally, using these integral formulas, they re-derive several uniqueness results on compact spacelike hypersurface of constant mean curvature in a CS-spacetime or the spacelike constant mean curvature surface equation on a CS-spacetime. For the entire collection see [Zbl 0945.00024].