# Metric connection

(Redirected from Metric compatibility)

In mathematics, a metric connection is a connection in a vector bundle E equipped with a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. Other common equivalent formulations of a metric connection include:

A special case of a metric connection is the Levi-Civita connection. Here the bundle E is the tangent bundle of a manifold. In addition to being a metric connection, the Levi-Civita connection is required to be torsion free.

## Riemannian connections

An important special case of a metric connection is a Riemannian connection. This is a connection $\nabla$ on the tangent bundle of a pseudo-Riemannian manifold (M, g) such that $\nabla_X g = 0$ for all vector fields X on M. Equivalently, $\nabla$ is Riemannian if the parallel transport it defines preserves the metric g.

A given connection $\nabla$ is Riemannian if and only if

$Xg(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ)$

for all vector fields X, Y and Z on M, where $Xg(Y,Z)$ denotes the derivative of the function $g(Y,Z)$ along this vector field $X$.

The Levi-Civita connection is the torsion-free Riemannian connection on a manifold. It is unique by the fundamental theorem of Riemannian geometry.

## Metric compatibility

In mathematics, given a metric tensor $g_{ab}$, a covariant derivative is said to be compatible with the metric if the following condition is satisfied:

$\nabla_c \, g_{ab} = 0.$

Although other covariant derivatives may be supported within the metric, usually one only ever considers the metric-compatible one. This is because given two covariant derivatives, $\nabla$ and $\nabla'$, there exists a tensor for transforming from one to the other:

$\nabla_a x_b = \nabla_a' x_b - {C_{ab}}^c x_c.$

If the space is also torsion-free, then the tensor ${C_{ab}}^c$ is symmetric in its first two indices.