Ma · Mathematics

Christoffel Symbols in Terms of $\sqrt{|g|}$

Published By the 9to5Science editorial team

At a glance

  1. 1. Identify the contraction

    The determinant formula applies to the contracted Christoffel symbols, not to each individual symbol.

  2. 2. Use Jacobi’s formula

    Differentiate the metric determinant to obtain the contracted connection.

  3. 3. Apply the identity

    The result is the derivative of the logarithm of the metric volume factor.

  4. 4. Check with coordinates

    Polar coordinates provide a concrete example where the formula gives the expected contraction.

The notation gg usually means the determinant of the metric tensor gμνg_{\mu\nu}:

g=det⁡(gμν).g = \det(g_{\mu\nu}).

A standard identity relates the contracted Christoffel symbols to the metric volume factor:

Γμνμ=∂νln⁡∣g∣=1∣g∣∂ν∣g∣\boxed{\Gamma^\mu_{\mu\nu}=\partial_\nu\ln\sqrt{|g|} =\frac{1}{\sqrt{|g|}}\partial_\nu\sqrt{|g|}}

For a positive-definite Riemannian metric, g>0g>0, so the absolute-value signs can be omitted. For a Lorentzian metric, gg is typically negative, and the invariant expression uses ∣g∣\sqrt{|g|}.

This is a formula for the contraction over one upper and one lower index. It is not a formula for every individual Γμνρ\Gamma^\rho_{\mu\nu}.

Derivation from the Christoffel formula

For the Levi-Civita connection,

Γμνρ=12gρσ(∂μgσν+∂νgσμ−∂σgμν).\Gamma^\rho_{\mu\nu} =\frac{1}{2}g^{\rho\sigma} \left(\partial_\mu g_{\sigma\nu} +\partial_\nu g_{\sigma\mu} -\partial_\sigma g_{\mu\nu}\right).

Set ρ=μ\rho=\mu and sum over μ\mu:

Γμνμ=12gμσ(∂μgσν+∂νgσμ−∂σgμν).\Gamma^\mu_{\mu\nu} =\frac{1}{2}g^{\mu\sigma} \left(\partial_\mu g_{\sigma\nu} +\partial_\nu g_{\sigma\mu} -\partial_\sigma g_{\mu\nu}\right).

The first and third terms cancel after relabeling the dummy indices μ\mu and σ\sigma. Therefore,

Γμνμ=12gμσ∂νgμσ.\Gamma^\mu_{\mu\nu} =\frac{1}{2}g^{\mu\sigma}\partial_\nu g_{\mu\sigma}.

Now use Jacobi’s determinant identity:

∂νg=g gμσ∂νgσμ.\partial_\nu g = g\,g^{\mu\sigma}\partial_\nu g_{\sigma\mu}.

Consequently,

Γμνμ=12g∂νg=∂νln⁡∣g∣.\Gamma^\mu_{\mu\nu} =\frac{1}{2g}\partial_\nu g =\partial_\nu\ln\sqrt{|g|}.

The last equality follows because, away from a degenerate metric,

∂νln⁡∣g∣=12∂νgg.\partial_\nu\ln\sqrt{|g|} =\frac{1}{2}\frac{\partial_\nu g}{g}.

For a Levi-Civita connection, the lower indices are symmetric:

Γμνρ=Γνμρ.\Gamma^\rho_{\mu\nu}=\Gamma^\rho_{\nu\mu}.

Thus the equivalent contraction

Γνμμ\Gamma^\mu_{\nu\mu}

has the same value.

Worked example: polar coordinates

The Euclidean plane has metric

ds2=dr2+r2dθ2.ds^2=dr^2+r^2d\theta^2.

In coordinates (r,θ)(r,\theta), the metric matrix is

(gμν)=(100r2),g=det⁡(gμν)=r2.(g_{\mu\nu})= \begin{pmatrix} 1&0\\ 0&r^2 \end{pmatrix}, \qquad g=\det(g_{\mu\nu})=r^2.

For r>0r>0,

g=r.\sqrt{g}=r.

The determinant formula gives

Γμrμ=1g∂∂rg=1r∂r∂r=1r,\Gamma^\mu_{\mu r} =\frac{1}{\sqrt{g}}\frac{\partial}{\partial r}\sqrt{g} =\frac{1}{r}\frac{\partial r}{\partial r} =\frac{1}{r},

and

Γμθμ=1g∂∂θg=0.\Gamma^\mu_{\mu\theta} =\frac{1}{\sqrt{g}}\frac{\partial}{\partial\theta}\sqrt{g}=0.

Direct calculation gives the nonzero Christoffel symbols

Γθθr=−r,Γrθθ=Γθrθ=1r.\Gamma^r_{\theta\theta}=-r, \qquad \Gamma^\theta_{r\theta} =\Gamma^\theta_{\theta r}=\frac{1}{r}.

Therefore,

Γμrμ=Γrrr+Γθrθ=0+1r,\Gamma^\mu_{\mu r} =\Gamma^r_{rr}+\Gamma^\theta_{\theta r} =0+\frac{1}{r},

in agreement with the determinant formula.

Relation to divergence

The identity is especially useful when writing the divergence of a vector field VμV^\mu. By definition,

∇μVμ=∂μVμ+ΓμνμVν.\nabla_\mu V^\mu =\partial_\mu V^\mu+\Gamma^\mu_{\mu\nu}V^\nu.

Substitute the determinant expression:

∇μVμ=∂μVμ+1∣g∣(∂ν∣g∣)Vν.\nabla_\mu V^\mu =\partial_\mu V^\mu +\frac{1}{\sqrt{|g|}} \left(\partial_\nu\sqrt{|g|}\right)V^\nu.

Combining the terms gives the coordinate-invariant volume-element form

∇μVμ=1∣g∣∂μ(∣g∣Vμ).\boxed{\nabla_\mu V^\mu =\frac{1}{\sqrt{|g|}} \partial_\mu\left(\sqrt{|g|}V^\mu\right)}.

The corresponding volume element is

dV=∣g∣ dx1⋯dxn.\mathrm{d}V=\sqrt{|g|}\,\mathrm{d}x^1\cdots\mathrm{d}x^n.

This explains geometrically why ∣g∣\sqrt{|g|} appears: it converts coordinate volume into metric volume.

What the formula does not tell you

Knowing g=det⁡(gμν)g=\det(g_{\mu\nu}) alone is generally insufficient to reconstruct all Christoffel symbols. The determinant provides only one scalar function, whereas the metric contains many independent components. Different metrics can have the same determinant but different connections.

For example, in two dimensions, the metrics

(e2f(x)00e−2f(x))and(1001)\begin{pmatrix}e^{2f(x)}&0\\0&e^{-2f(x)}\end{pmatrix} \quad\text{and}\quad \begin{pmatrix}1&0\\0&1\end{pmatrix}

both have determinant 11, but the first generally has nonzero Christoffel symbols when ff is nonconstant, while the second has zero Christoffel symbols in Cartesian coordinates.

To calculate an individual symbol, use

Γμνρ=12gρσ(∂μgσν+∂νgσμ−∂σgμν).\Gamma^\rho_{\mu\nu} =\frac{1}{2}g^{\rho\sigma} \left(\partial_\mu g_{\sigma\nu} +\partial_\nu g_{\sigma\mu} -\partial_\sigma g_{\mu\nu}\right).

The compact ∣g∣\sqrt{|g|} formula is therefore best understood as a formula for the contracted connection and as a convenient route to divergence and volume-element identities.

References

  1. General Relativity, Robert M. Wald
  2. Riemannian Geometry, Manfredo P. do Carmo

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.