Manifest covariance

General relativity
Introduction History Mathematical formulation Tests
Fundamental concepts Equivalence principle Special relativity World line Riemannian geometry
Phenomena Kepler problem Gravitational lensing Gravitational waves Frame-dragging Geodetic effect Event horizon Singularity Black hole Spacetime Spacetime diagrams Minkowski spacetime Einstein–Rosen bridge
Equations Formalisms Equations Linearized gravity Einstein field equations Friedmann Geodesics Mathisson–Papapetrou–Dixon Hamilton–Jacobi–Einstein Formalisms ADM BSSN Post-Newtonian Advanced theory Kaluza–Klein theory Quantum gravity
Solutions Schwarzschild (interior) Reissner–Nordström Gödel Kerr Kerr–Newman Kasner Lemaître–Tolman Taub-NUT Milne Robertson–Walker pp-wave van Stockum dust Weyl−Lewis−Papapetrou
Scientists Einstein Lorentz Hilbert Poincaré Schwarzschild de Sitter Reissner Nordström Weyl Eddington Friedman Milne Zwicky Lemaître Gödel Wheeler Robertson Bardeen Walker Kerr Chandrasekhar Ehlers Penrose Hawking Raychaudhuri Taylor Hulse van Stockum Taub Newman Yau Thorne others

In general relativity, a manifestly covariant equation is one in which all expressions are tensors. The operations of addition, tensor multiplication, tensor contraction, raising and lowering indices, and covariant differentiation may appear in the equation. Forbidden terms include but are not restricted to partial derivatives. Tensor densities, especially integrands and variables of integration, may be allowed in manifestly covariant equations if they are clearly weighted by the appropriate power of the determinant of the metric.

Writing an equation in manifestly covariant form is useful because it guarantees general covariance upon quick inspection. If an equation is manifestly covariant, and if it reduces to a correct, corresponding equation in special relativity when evaluated instantaneously in a local inertial frame, then it is usually the correct generalization of the special relativistic equation in general relativity.

Example

An equation may be Lorentz covariant even if it is not manifestly covariant. Consider the electromagnetic field tensor

where is the electromagnetic four-potential in the Lorenz gauge. The equation above contains partial derivatives and is therefore not manifestly covariant. Note that the partial derivatives may be written in terms of covariant derivatives and Christoffel symbols as

For a torsion-free metric assumed in general relativity, we may appeal to the symmetry of the Christoffel symbols

which allows the field tensor to be written in manifestly covariant form

See also

• Lorentz covariance
• Introduction to mathematics of general relativity
• Introduction to special relativity

References

• C. B. Parker (1994). McGraw Hill Encyclopaedia of Physics (2nd ed.). McGraw Hill. ISBN 0-07-051400-3. 
• John Archibald Wheeler; C. Misner; K. S. Thorne (1973). Gravitation. W.H. Freeman & Co. ISBN 0-7167-0344-0.