In
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
, a
spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
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
In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is Asymptotic curve, asymptotically timelike.
Description and analysis
In a stationary spacetime, the m ...
, which is the geometry of a stationary spacetime that does not change in time but can rotate. Thus, the
Kerr solution
The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric tensor, metric is an Exact solutions in general relativity, e ...
provides an example of a stationary spacetime that is not static; the non-rotating
Schwarzschild solution is an example that is static.
Formally, a spacetime is static if it admits a global, non-vanishing,
timelike
In mathematical physics, the causal structure of a Lorentzian manifold describes the possible causal relationships between points in the manifold.
Lorentzian manifolds can be classified according to the types of causal structures they admit (''ca ...
Killing vector field which is irrotational, ''i.e.'', whose
orthogonal distribution is
involutive. (Note that the leaves of the associated
foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ...
are necessarily space-like
hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidea ...
s.) Thus, a static spacetime is a
stationary spacetime
In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is Asymptotic curve, asymptotically timelike.
Description and analysis
In a stationary spacetime, the m ...
satisfying this additional integrability condition. These spacetimes form one of the simplest classes of
Lorentzian manifold
In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere non-degenerate bilinear form, nondegenerate. This is a generalization of a Riema ...
s.
Locally, every static spacetime looks like a standard static spacetime which is a Lorentzian warped product ''R''
''S'' with a metric of the form
: