In general relativity, a spacetime is said to be static if it does not change over time and is also irrotational. It is a special case of a stationary spacetime, which is the geometry of a stationary spacetime that does not change in time but can rotate. Thus, the Kerr solution provides an example of a stationary spacetime that is not static; the non-rotating Schwarzschild solution is an example that is static.
Locally, every static spacetime looks like a standard static spacetime that is a Lorentzian warped product with a metric of the form
where is the real line, is a (positive definite) metric and is a positive function on the Riemannian manifold.
In such a local coordinate representation the Killing field may be identified with and S, the manifold of -trajectories, may be regarded as the instantaneous 3-space of stationary observers. If is the square of the norm of the Killing vector field, , both and are independent of time (in fact ). It is from the latter fact that a static spacetime obtains its name, as the geometry of the space-like slice does not change over time.
Hawking, S. W.; Ellis, G. F. R. (1973), The large scale structure of space-time, Cambridge Monographs on Mathematical Physics, vol.1, London–New York: Cambridge University Press, MR0424186