One arrives at the above form of the metric assuming that i) the spacetime has a timelike Killing vector field and a second Killing vector field corresponding to axial symmetry, ii) the spacetime is asymptotically flat, i.e., , and at spatial infinity. According to a theorem by Carter , the two Killing vectors commute and one can choose coordinates and (where , are the coordinates of the spacetime), such that and are coordinate vector fields. If, furthermore, the source of the gravitational field satisfies the circularity condition (absence of meridional convective currents), then another theorem  shows that the 2-surfaces orthogonal to and can be described by the remaining two coordinates and . A common choice for and are quasi-isotropic coordinates, for which and (in spherical polar coordinates), or and (in cylindrical coordinates). In the slow rotation formalism by Hartle , a different form of the metric is used, requiring .
The three metric functions , and can be written as invariant combinations of the two Killing vectors and , through the relations
There are two main effects that distinguish a rotating relativistic star from its nonrotating counterpart: The shape of the star is flattened by centrifugal forces (an effect that first appears at second order in the rotation rate), and the local inertial frames are dragged by the rotation of the source of the gravitational field. While the former effect is also present in the Newtonian limit, the latter is a purely relativistic effect. The study of the dragging of inertial frames in the spacetime of a rotating star is assisted by the introduction of the local Zero-Angular-Momentum-Observers (ZAMO) [23, 24]. These are observers whose worldlines are normal to the t = const. hypersurfaces, and they are also called Eulerian observers. Then, the metric function is the angular velocity of the local ZAMO with respect to an observer at rest at infinity. Also, is the time dilation factor between the proper time of the local ZAMO and coordinate time (proper time at infinity) along a radial coordinate line. The metric function has a geometrical meaning: is the proper circumferential radius of a circle around the axis of symmetry. In the nonrotating limit, the metric (5) reduces to the metric of a nonrotating relativistic star in isotropic coordinates (see  for the definition of these coordinates).
In rapidly rotating models, an ergosphere can appear, where . In this region, the rotational frame-dragging is strong enough to prohibit counter-rotating time-like or null geodesics to exist, and particles can have negative energy with respect to a stationary observer at infinity. Radiation fields (scalar, electromagnetic, or gravitational) can become unstable in the ergosphere , but the associated growth time is comparable to the age of the universe .
The asymptotic behaviour of the metric functions and is
© Max Planck Society and the author(s)