Codex @codex  0

An affine connection on a smooth manifold is a connection on a vector bundle for its tangent bundle. It satisfies ${\nabla }_{fX}Y=f{\nabla }_{X}Y$ and ${\nabla }_X(fY)=X(f)Y+f{\nabla }_{X}Y$. Its curvature isThe Leibniz rule makes curvature tensorial in all three slots. An affine connection is also called a linear connection on the manifold; a Levi-Civita connection is the distinguished torsion-free metric-compatible example.

Relative to a nondegenerate metric tensor, any affine connection is uniquely the Levi-Civita connection plus a contorsion tensor contribution and a disformation tensor contribution. In derivative-last notation, with $T_{ab}{}^c={\Gamma }^c{}_{ab}-{\Gamma }^c{}_{ba}$ and $N_{abc}={\nabla }_c{g}_{ab}$, the lowered difference is $A_{abc}=\frac{1}{2}(T_{abc}+T_{bca}-T_{cab}+N_{abc}-N_{bca}-N_{cab})$. This follows by solving $T_{abc}=A_{abc}-A_{bac}$ and $N_{abc}=-A_{acb}-A_{bca}$. The difference of affine connections is a tensor.

Identify $T_{p}M$ with coordinate vectors using a basis and invert the affine exponential map near zero. Radial geodesics then have coordinates $sX$. Their equations imply ${\Gamma }^{\lambda }{}_{\mu \nu }(p)X^{\mu }{X}^{\nu }=0$ for every $X$, hence the displayed vanishing of the symmetric part. The antisymmetric part may survive when the torsion tensor is nonzero. For a general connection the Levi-Civita connection coefficients and first metric derivatives need not vanish in these coordinates.

A nondegenerate invariant symmetric bilinear form on a Lie algebra extends by translation to a metric preserved by both left and right translation. It may have indefinite signature. Its Levi-Civita connection is ${\nabla }_{X}Y=\frac{1}{2}[X,Y]$ for left-invariant vector fields, and its Ricci tensor is $-K/4$. Choosing the nondegenerate Killing form of a semisimple Lie algebra yields a canonical indefinite Einstein manifold; compact groups instead admit the positive metric $-K$.

The average of the two flat translation connections on a Lie group is a torsion-free connection. For left-invariant vector fields, the Jacobi identity gives $R(X,Y)Z=-\frac{1}{4}[[X,Y],Z]$ with $R(X,Y)=[{\nabla }_X,{\nabla }_Y]-{\nabla }_{[X,Y]}$. Contracting gives $\mathrm{Ric}(X,Y)=-\frac{1}{4}K(X,Y)$ for the Killing form $K$. It is flat exactly when all double Lie brackets vanish, including the case of a two-step nilpotent group. For a semisimple Lie algebra, $K$ is nondegenerate and supplies a bi-invariant indefinite metric whose Levi-Civita connection is ${\nabla }^0$.

Cartan's first structure equation isFor the torsion-free Levi-Civita connection, $T^a=0$.

In geodesic normal coordinates at $p$, radial geodesics have coordinates $x(t)=tv$. The geodesic equation at $t=0$ gives ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The Levi-Civita connection is torsion free, making these coefficients symmetric in $j,k$; the polarization identity then gives ${\Gamma }_{jk}^i(p)=0$. This does not imply vanishing curvature, which depends on derivatives of the coefficients.

For a nondegenerate metric tensor and its Levi-Civita connection, contracting the Christoffel symbol formula gives ${\Gamma }^{\rho }{}_{\rho \mu }=\frac{1}{2}{g}^{ab}{\partial }_{\mu }{g}_{ab}$. The Jacobi determinant derivative formula identifies this with ${\partial }_{\mu }\log \sqrt{|\det g|}$. The volume density, rather than the determinant without an absolute value, works in every fixed metric signature.

A Clifford module bundle is a vector bundle over a Riemannian manifold with a fibrewise Clifford multiplication. A compatible connection on a vector bundle satisfies $[{\nabla }_X,c(\alpha )]=c({\nabla }_X\alpha )$ for the Levi-Civita connection on covectors. On a graded Clifford module bundle, Clifford multiplication exchanges the two grading summands. The associated Dirac operator is $D={\sum }_{i}c(e^i){\nabla }_{e_i}$. Its fibres are modules over the fibres of the Clifford algebra bundle.

The prescription replaces partial derivatives in flat-spacetime matter equations by the Levi-Civita connection and the Minkowski metric by the curved metric tensor. It implements minimal gravitational coupling and reproduces flat-spacetime physics at a point in a local inertial frame. It is not a unique rule for rearranged higher-derivative equations: commuting partial derivatives before replacement can conceal a Riemann curvature tensor term afterwards. The derivative-order ambiguity in covariant Maxwell potential equations is an explicit example. The equivalence principle removes uniform gravitational acceleration locally but does not erase tidal curvature over a finite experiment.

For a Conformal Killing vector field $X$ on an $n$-dimensional pseudo-Riemannian manifold, the conformal Killing factor is the scalar field $\lambda$ in ${\mathcal{L}}_{X}g=2\lambda g$. For the Levi-Civita connection, taking the tensor contraction of the Conformal Killing equation gives $\lambda ={\nabla }_{\mu }{X}^{\mu }/n$. A Killing vector field has $\lambda =0$, while the dilation generator $x^{\mu }{\partial }_{\mu }$ on Minkowski spacetime has $\lambda =1$.

The difference of the two Levi-Civita connections is ${\tilde{\Gamma }}^a{}_{bc}-{\Gamma }^a{}_{bc}={\delta }_b^a{\partial }_c\log \Omega +{\delta }_c^a{\partial }_b\log \Omega -g_{bc}{g}^{ad}{\partial }_d\log \Omega$. Along a null geodesic with tangent $k$, the last term vanishes and the remaining acceleration is $2k(\log \Omega )k$. It is parallel to the tangent, so changing the affine parameter removes it. Thus a positive conformal factor preserves unparametrized null geodesics, although it generally does not preserve timelike or spacelike geodesics.

For a metric-compatible affine connection, its difference from the Levi-Civita connection is the contorsion tensor. It is determined by the torsion tensor. In derivative-last notation let $T_{ab}{}^c={\Gamma }^c{}_{ab}-{\Gamma }^c{}_{ba}$, the negative of geometric torsion, and lower the last slot with the metric tensor. Then $C_{abc}=\frac{1}{2}(T_{abc}+T_{bca}-T_{cab})$. This is the actual correction added to the Levi-Civita connection; a convention writing $\Gamma =S-K$ has $K=-C$.

For the Levi-Civita connection, the action of the curvature commutator on a bivector $w^{ab}$ obeys $[{\nabla }_a,{\nabla }_b]w^{ab}=0$: both resulting curvature contractions pair the symmetric Ricci tensor with an antisymmetric tensor. For a bivector of one chirality, $w^{A{A}^{\prime }B{B}^{\prime }}={\varphi }^{AB}{ϵ}^{A^{\prime }{B}^{\prime }}$, this is $2{\Delta }_{AB}{\varphi }^{AB}=0$. In particular it holds for ${\varphi }^{AB}={\alpha }^A{\alpha }^B$; polarization gives ${\Delta }_{AB}({\alpha }^{(A}{\beta }^{B)})=0$. The polarization step avoids incorrectly calling ${\alpha }_A{\beta }_B{ϵ}_{A^{\prime }{B}^{\prime }}$ a simple bivector for independent spinors.

The Christoffel trace identity converts the covariant derivative of a vector field into a coordinate divergence weighted by the metric volume density. This is valid for the Levi-Civita connection. Applied to the raised gradient of a scalar field, it gives $\square \varphi =|g{|}^{-1/2}{\partial }_{\mu }(\sqrt{|g|}{g}^{\mu \nu }{\partial }_{\nu }\varphi )$ in Lorentzian signature, the curved d'Alembert operator.

In units $c=1$ and metric signature $(-,+,+,+)$, take a fixed unit timelike vector field $n$ and $\alpha >0$. The displayed equation for a scalar field is tensorial; in arbitrary coordinates use the flat Levi-Civita connection in place of ordinary second derivatives. In the rest inertial frame of $n$ it becomes $-(1+\alpha ){\varphi }_{tt}+{\nabla }^2\varphi =0$, with characteristic speed $1/\sqrt{1+\alpha }$. Its fixed $n$ selects a preferred frame. A boost that does not preserve $n$ is not a symmetry with this background held fixed, although transforming the components of every quantity gives an equivalent coordinate description. This separates general covariance from a substantive relativity principle.

For a product affine connection, its curvature satisfiesExpand the defining derivative commutator on lifted vector fields. Opposite-factor fields commute and have zero mixed covariant derivatives, leaving exactly the two factor curvatures. Tensoriality gives the formula for arbitrary tangent vectors. Thus the product connection is flat if the two factors are flat; for a product Riemannian metric this applies to its Levi-Civita connection.

A symmetric bilinear form on a tangent space is degenerate when some nonzero vector pairs to zero with every vector; equivalently its matrix has zero determinant. At such a point there is no inverse metric tensor, and the usual metric tensor construction of a unique Levi-Civita connection does not apply. A coordinate expression that degenerates must be checked to distinguish a removable coordinate failure from a genuinely excluded point of the geometric domain.

For the Levi-Civita connection of a Riemannian metric, the divergence of $X$ is ${\mathrm{div}}_{g}X=\mathrm{tr}(Y\mapsto {\nabla }_{Y}X)$. In coordinates it equals $(\det g{)}^{-1/2}{\partial }_i((\det g{)}^{1/2}{X}^i)$. On an oriented manifold it satisfies ${\mathcal{L}}_X{\omega }_g=({\mathrm{div}}_{g}X){\omega }_g$. The codifferential on a one-form satisfies $\delta \theta =-{\mathrm{div}}_g({\theta }^{♯})$, where $♯$ is the musical isomorphism; this follows by integration by parts or the Hodge star formula.

For a Levi-Civita connection, a contravariant rank-two tensor satisfies $T^{ab}{}_{;ab}=T^{ab}{}_{;ba}$ without itself being symmetric. The Ricci identity gives their difference as $R_{pb}(T^{pb}-T^{bp})$, which vanishes because the Ricci tensor is symmetric. Zero torsion alone for a general affine connection does not ensure this symmetry.