﻿

# List of formulas in Riemannian geometry

This is a list of formulas encountered in Riemannian geometry.

Christoffel symbols, covariant derivative

In a smooth coordinate chart, the Christoffel symbols are given by:

:$Gamma_\left\{ij\right\}^m=frac12 g^\left\{km\right\} left\left( frac\left\{partial\right\}\left\{partial x^i\right\} g_\left\{kj\right\} +frac\left\{partial\right\}\left\{partial x^j\right\} g_\left\{ik\right\} -frac\left\{partial\right\}\left\{partial x^k\right\} g_\left\{ij\right\} ight\right)$

Here $g^\left\{ij\right\}$ is the inverse matrix to the metric tensor $g_\left\{ij\right\}$. In other words,

:$delta^i_j = g^\left\{ik\right\}g_\left\{kj\right\}$

and thus

:$n = delta^i_i = g^i_i = g^\left\{ij\right\}g_\left\{ij\right\}$

is the dimension of the manifold.

Christoffel symbols satisfy the symmetry relation

:$Gamma^i_\left\{jk\right\}=Gamma^i_\left\{kj\right\}$

which is equivalent to the torsion-freeness of the Levi-Civita connection.

The contracting relations on the Christoffel symbols are given by

:$Gamma^i \left\{\right\}_\left\{ki\right\}=frac\left\{1\right\}\left\{2\right\} g^\left\{im\right\}frac\left\{partial g_\left\{im\left\{partial x_k\right\}=frac\left\{1\right\}\left\{2g\right\} frac\left\{partial g\right\}\left\{partial x_k\right\} = frac\left\{partial log sqrt,g^\left\{ik\right\} ight\right)\right\} \left\{partial x^k\right\}$

where |"g"| is the absolute value of the determinant of the metric tensor $g_\left\{ik\right\}$. These are useful when dealing with divergences and Laplacians (see below).

The covariant derivative of a vector field with components $v^i$ is given by:

:$v^i_\left\{;j\right\}= abla_j v^i=frac\left\{partial v^i\right\}\left\{partial x^j\right\}+Gamma^i_\left\{jk\right\}v^k$

and similarly the covariant derivative of a $\left(0,1\right)$-tensor field with components $v_i$ is given by:

:$v_\left\{i;j\right\}= abla_j v_i=frac\left\{partial v_i\right\}\left\{partial x^j\right\}-Gamma^k_\left\{ij\right\} v_k$

For a $\left(2,0\right)$-tensor field with components $v^\left\{ij\right\}$ this becomes

:$v^\left\{ij\right\}_\left\{;k\right\}= abla_k v^\left\{ij\right\}=frac\left\{partial v^\left\{ij\left\{partial x^k\right\} +Gamma^i_\left\{kell\right\}v^\left\{ell j\right\}+Gamma^j_\left\{kell\right\}v^\left\{iell\right\}$

and likewise for tensors with more indices.

The covariant derivative of a function (scalar) $phi$ is just its usual differential:

:$abla_i phi=phi_\left\{;i\right\}=phi_\left\{,i\right\}=frac\left\{partial phi\right\}\left\{partial x^i\right\}$

Because the Levi-Civita connection is metric-compatible, the covariant derivatives of metrics vanish,

:$abla_k g_\left\{ij\right\} = abla_k g^\left\{ij\right\} = 0$

The geodesic $X\left(t\right)$ starting at the origin with initial speed $v^i$ has Taylor expansion in the chart:

:$X\left(t\right)^i=tv^i-frac\left\{t^2\right\}\left\{2\right\}Gamma^i_\left\{jk\right\}v^jv^k+O\left(t^2\right)$

Curvature tensors

Riemann curvature tensor

If one defines the curvature operator as $R\left(U,V\right)W= abla_U abla_V W - abla_V abla_U W - abla_\left\{ \left[U,V\right] \right\}W$and the coordinate components of the $\left(1,3\right)$-Riemann curvature tensor by $\left(R\left(U,V\right)W\right)^ell=\left\{R^ell\right\}_\left\{ijk\right\}W^iU^jV^k$, then these components are given by:

:$\left\{R^ell\right\}_\left\{ijk\right\}=frac\left\{partial\right\}\left\{partial x^j\right\} Gamma_\left\{ik\right\}^ell-frac\left\{partial\right\}\left\{partial x^k\right\}Gamma_\left\{ij\right\}^ell+Gamma_\left\{js\right\}^ellGamma_\left\{ik\right\}^s-Gamma_\left\{ks\right\}^ellGamma_\left\{ij\right\}^s$

and lowering indices with $R_\left\{ell ijk\right\}=g_\left\{ell s\right\}\left\{R^s\right\}_\left\{ijk\right\}$ one gets

:$R_\left\{ikell m\right\}=frac\left\{1\right\}\left\{2\right\}left\left(frac\left\{partial^2g_\left\{im\left\{partial x^k partial x^ell\right\} + frac\left\{partial^2g_\left\{kell\left\{partial x^i partial x^m\right\}- frac\left\{partial^2g_\left\{iell\left\{partial x^k partial x^m\right\}- frac\left\{partial^2g_\left\{km\left\{partial x^i partial x^ell\right\} ight\right)+g_\left\{np\right\} left\left(Gamma^n \left\{\right\}_\left\{kell\right\} Gamma^p \left\{\right\}_\left\{im\right\} - Gamma^n \left\{\right\}_\left\{km\right\} Gamma^p \left\{\right\}_\left\{iell\right\} ight\right).$

The symmetries of the tensor are

:$R_\left\{ikell m\right\}=R_\left\{ell mik\right\}$ and $R_\left\{ikell m\right\}=-R_\left\{kiell m\right\}=-R_\left\{ikmell\right\}.$

That is, it is symmetric in the exchange of the first and last pair of indices, and antisymmetric in the flipping of a pair.

The cyclic permutation sum (sometimes called first Bianchi identity) is

:$R_\left\{ikell m\right\}+R_\left\{imkell\right\}+R_\left\{iell mk\right\}=0.$

The (second) Bianchi identity is

:$abla_m R^n \left\{\right\}_\left\{ikell\right\} + abla_ell R^n \left\{\right\}_\left\{imk\right\} + abla_k R^n \left\{\right\}_\left\{iell m\right\}=0,$

that is,

:$R^n \left\{\right\}_\left\{ikell;m\right\} + R^n \left\{\right\}_\left\{imk;ell\right\} + R^n \left\{\right\}_\left\{iell m;k\right\}=0$

which amounts to a cyclic permutation sum of the last three indices, leaving the first two fixed.

Ricci and scalar curvatures

Ricci and scalar curvatures are contractions of the Riemann tensor. They simplify the Riemann tensor, but contain less information.

The Ricci curvature tensor is essentially the unique nontrivial way of contracting the Riemann tensor:

:$R_\left\{ij\right\}=\left\{R^ell\right\}_\left\{iell j\right\}=g^\left\{ell m\right\}R_\left\{iell jm\right\}=g^\left\{ell m\right\}R_\left\{ell imj\right\}=frac\left\{partialGamma^ell \left\{\right\}_\left\{ij\left\{partial x^ell\right\} - frac\left\{partialGamma^ell \left\{\right\}_\left\{iell\left\{partial x^j\right\} + Gamma^ell \left\{\right\}_\left\{ij\right\} Gamma^m \left\{\right\}_\left\{ell m\right\} - Gamma^m \left\{\right\}_\left\{iell\right\}Gamma^ell \left\{\right\}_\left\{jm\right\}.$

The Ricci tensor $R_\left\{ij\right\}$ is symmetric.

By the contracting relations on the Christoffel symbols, we have

:$R_\left\{ik\right\}=frac\left\{partialGamma^ell \left\{\right\}_\left\{ik\left\{partial x^ell\right\} - Gamma^m \left\{\right\}_\left\{iell\right\}Gamma^ell \left\{\right\}_\left\{km\right\} - abla_kleft\left(frac\left\{partial\right\}\left\{partial x^i\right\}left\left(logsqrt\right)\right\}\left\{partial x^m\right\}.$

The Laplace-Beltrami operator acting on a function $f$ is given by the divergence of the gradient:

:$Delta f= abla_i abla^i f=frac\left\{1\right\}\left\{sqrt\left\{det g frac\left\{partial \right\}\left\{partial x^j\right\}left\left(g^\left\{jk\right\}sqrt\left\{detg\right\}frac\left\{partial f\right\}\left\{partial x^k\right\} ight\right)=g^\left\{jk\right\}frac\left\{partial^2 f\right\}\left\{partial x^j partial x^k\right\} + frac\left\{partial g^\left\{jk\left\{partial x^j\right\} frac\left\{partialf\right\}\left\{partial x^k\right\} + frac12 g^\left\{jk\right\}g^\left\{il\right\}frac\left\{partial g_\left\{il\left\{partial x^j\right\}frac\left\{partial f\right\}\left\{partial x^k\right\}$

The divergence of an antisymmetric tensor field of type $\left(2,0\right)$ simplifies to

:$abla_k A^\left\{ik\right\}= frac\left\{1\right\}\left\{sqrt\right)\right\}\left\{partial x^k\right\}.$

Kulkarni-Nomizu Product

The Kulkarni-Nomizu product is an important tool for constructing new tensors from old on a Riemannian manifold. Let $h$ and $k$ be symmetric covariant 2-tensors. In coordinates,

:$h_\left\{ij\right\} = h_\left\{ji\right\} qquad qquad k_\left\{ij\right\} = k_\left\{ji\right\}$

Then we can multiply these in a sense to get a new covariant 4-tensor, which we denote $h odot k$. The defining formula is

$left\left(hodot k ight\right)_\left\{ijkl\right\} = h_\left\{ik\right\}k_\left\{jl\right\} + h_\left\{jl\right\}k_\left\{ik\right\} - h_\left\{il\right\}k_\left\{jk\right\} - h_\left\{jk\right\}k_\left\{il\right\}$

Often the Kulkarni-Nomizu product is denoted by a circle with a wedge that points up inside it. However, we will use $odot$ instead throughout this article. Clearly, the product satisfies

:$h odot k = k odot h$

Let us use the Kulkarni-Nomizu product to define some curvature quantities.

Weyl Tensor

The Weyl tensor $W_\left\{ijkl\right\}$ is defined by the formula

:$R_\left\{ijkl\right\} = -frac\left\{R\right\}\left\{2n\left(n-1\right)\right\}\left(godot g\right)_\left\{ijkl\right\} + frac\left\{1\right\}\left\{n-2\right\}left \left[ left\left(Ric -frac\left\{R\right\}\left\{n\right\}g ight\right) odot g ight\right] _\left\{ijkl\right\} + W_\left\{ijkl\right\}$

Each of the summands on the righthand side have remarkable properties. Recall the first (algebraic) Bianchi identity that a tensor $T_\left\{ijkl\right\}$ can satisfy:

:$T_\left\{ijkl\right\} + T_\left\{kijl\right\} + T_\left\{jkil\right\} = 0$

Not only the Riemann curvature tensor on the left, but also the three summands on the right satisfy this Bianchi identity. Furthermore, the first factor in the second summand has trace zero. The Weyl tensor is a symmetric product of alternating 2-forms,

:$W_\left\{ijkl\right\} = -W_\left\{jikl\right\} qquad W_\left\{ijkl\right\} = W_\left\{klij\right\}$

just like the Riemann tensor. Moreover, taking the trace over any two indices gives zero,

:$W^i_\left\{jki\right\} = 0$

In fact, any tensor that satisfies the first Bianchi identity can be written as a sum of three terms. The first, a scalar multiple of $g odot g$. The second, as $H odot g$ where $H$ is a symmetric trace-free 2-tensor. The third, a symmetric product of alternating two-forms which is totally traceless, like the Weyl tensor described above.

The most remarkable property of the Weyl tensor, though, is that it vanishes ($W=0$)if and only if a manifold $M$ of dimension $n geq 4$ is locally conformally flat. In other words, $M$ can be covered by coordinate systems in which the metric $ds^2$ satisfies

:$ds^2 = f^2left\left(dx_1^2 + dx_2^2 + ldots dx_n^2 ight\right)$

This is essentially because $W^i_\left\{jkl\right\}$ is invariant under conformal changes.

In an inertial frame

An orthonormal inertial frame is a coordinate chart such that, at the origin, one has the relations $g_\left\{ij\right\}=delta_\left\{ij\right\}$ and $Gamma^i_\left\{jk\right\}=0$ (but these may not hold at other points in the frame).In such a frame, the expression for several operators is simpler. Note that the formulae given below are valid "at the origin of the frame only".

:$R_\left\{ikell m\right\}=frac\left\{1\right\}\left\{2\right\}left\left(frac\left\{partial^2g_\left\{im\left\{partial x^k partial x^ell\right\} + frac\left\{partial^2g_\left\{kell\left\{partial x^i partial x^m\right\}- frac\left\{partial^2g_\left\{iell\left\{partial x^k partial x^m\right\}- frac\left\{partial^2g_\left\{km\left\{partial x^i partial x^ell\right\} ight\right)$

Under a Conformal Change

Let $g$ be a Riemannian metric on a smooth manifold $M$, and $varphi$ a smooth real-valued function on $M$. Then

:$ilde g = e^\left\{2varphi\right\}g$

is also a Riemannian metric on $M$. We say that $ilde g$ is conformal to $g$. Evidently, conformality of metrics is an equivalence relation. Here are some formulas for conformal changes in tensors associated with the metric. (Quantities marked with a tilde will be associated with $ilde g$, while those unmarked with such will be associated with $g$.)

:$ilde g_\left\{ij\right\} = e^\left\{2varphi\right\}g_\left\{ij\right\}$

:$ilde Gamma^k_\left\{ij\right\} = Gamma^k_\left\{ij\right\}+ delta^k_ipartial_jvarphi + delta^k_jpartial_ivarphi-g_\left\{ij\right\} abla^kvarphi$

Note that the difference between the Christoffel symbols of two different metrics always form the components of a tensor.

:$d ilde V = e^\left\{nvarphi\right\}dV$

Here $dV$ is the Riemannian volume element.

:$ilde R_\left\{ijkl\right\} = e^\left\{2varphi\right\}left\left( R_\left\{ijkl\right\} - left \left[ g odot left\left( ablapartialvarphi - partialvarphipartialvarphi + frac\left\{1\right\}\left\{2\right\}| ablavarphi|^2g ight\right) ight\right] _\left\{ijkl\right\} ight\right)$

Here $odot$ is the Kulkarni-Nomizu product defined earlier in this article. The symbol $partial_k$ denotes partial derivative, while $abla_k$ denotes covariant derivative.

:$ilde R_\left\{ij\right\} = R_\left\{ij\right\} - \left(n-2\right)left \left[ abla_ipartial_j varphi - \left(partial_i varphi\right)\left(partial_j varphi\right) ight\right] + left\left( riangle varphi - \left(n-2\right)| abla varphi|^2 ight\right)g_\left\{ij\right\}$

Beware that here the Laplacian $riangle$ is minus the trace of the Hessian on functions,

:$riangle f = - abla^ipartial_i f$

Thus the operator $riangle$ is elliptic because the metric $g$ is Riemannian.

:$ilde R = e^\left\{-2varphi\right\}left\left(R + 2\left(n-1\right) rianglevarphi - \left(n-2\right)\left(n-1\right)| ablavarphi|^2 ight\right)$

If the dimension $n > 2$, then this simplifies to

:$ilde R = e^\left\{-2varphi\right\}left \left[R + frac\left\{4\left(n-1\right)\right\}\left\{\left(n-2\right)\right\}e^\left\{-\left(n-2\right)varphi/2\right\} riangleleft\left( e^\left\{\left(n-2\right)varphi/2\right\} ight\right) ight\right]$

:$ilde W^i_\left\{jkl\right\} = W^i_\left\{jkl\right\}$

We see that the (3,1) Weyl tensor is invariant under conformal changes.

Let $omega$ be a differential $p$-form. Let $*$ be the Hodge star, and $delta$ the codifferential. Under a conformal change, these satisfy

:$ilde * = e^\left\{\left(n-2p\right)varphi\right\}*$

:$left \left[ ildedeltaomega ight\right] \left(v_1 , v_2 , ldots , v_\left\{p-1\right\}\right) = e^\left\{-2varphi\right\}left \left[ deltaomega - \left(n-2p\right)omegaleft\left( ablavarphi, v_1, v_2, ldots , v_\left\{p-1\right\} ight\right) ight\right]$

ee also

*Liouville equations

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• List of differential geometry topics — This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… …   Wikipedia

• List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

• Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… …   Wikipedia

• List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

• List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …   Wikipedia

• Curvature of Riemannian manifolds — In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous… …   Wikipedia

• Differential geometry of curves — This article considers only curves in Euclidean space. Most of the notions presented here have analogues for curves in Riemannian and pseudo Riemannian manifolds. For a discussion of curves in an arbitrary topological space, see the main article… …   Wikipedia

• Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

• Ricci curvature — In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci Curbastro, provides one way of measuring the degree to which the geometry determined by a given Riemannian metric might differ from that of ordinary Euclidean n… …   Wikipedia

• Affine connection — An affine connection on the sphere rolls the affine tangent plane from one point to another. As it does so, the point of contact traces out a curve in the plane: the development. In the branch of mathematics called differential geometry, an… …   Wikipedia