differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...

and

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 ...

, the Bach tensor is a trace-free

tensor In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other ...

of rank 2 which is

conformally invariant In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...

in dimension . Before 1968, it was the only known conformally invariant tensor that is

algebraically independent In abstract algebra, a subset S of a field L is algebraically independent over a subfield K if the elements of S do not satisfy any non- trivial polynomial equation with coefficients in K. In particular, a one element set \ is algebraically i ...

of the

Weyl tensor In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal for ...

.P. Szekeres, Conformal Tensors. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences Vol. 304, No. 1476 (Apr. 2, 1968), pp
113
��122 In abstract indices the Bach tensor is given by :

B_ = P_^d+\nabla^c\nabla_cP_-\nabla^c\nabla_aP_

where ''

W

'' is the

, and ''

P

'' the

Schouten tensor In Riemannian geometry the Schouten tensor is a second-order tensor introduced by Jan Arnoldus Schouten defined for by: :P=\frac \left(\mathrm -\frac g\right)\, \Leftrightarrow \mathrm=(n-2) P + J g \, , where Ric is the Ricci tensor (defined b ...

given in terms of the

Ricci tensor In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure ...

R_

'' and

scalar curvature In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry ...

R

'' by :

P_=\frac\left(R_-\fracg_\right).

See also

References

Further reading