Curvature Tensors and the Geometric Architecture of Non-Euclidean Manifolds

The foundational calculus of connections

A smooth manifold has tangent spaces \(T_pM\), but no canonical rule for identifying vectors in \(T_pM\) with vectors in \(T_qM\). An affine connection supplies the missing differential structure. It is a map

\[ \nabla:\mathfrak{X}(M)\times\mathfrak{X}(M)\longrightarrow\mathfrak{X}(M), \qquad (U,W)\longmapsto\nabla_UW, \]

satisfying \(C^\infty(M)\)-linearity in its directional argument, \(\mathbb{R}\)-linearity in the differentiated field, and the Leibniz rule:

\[ \begin{aligned} \nabla_{fU+hV}W &= f\nabla_UW+h\nabla_VW,\\ \nabla_V(aW_1+bW_2) &= a\nabla_VW_1+b\nabla_VW_2,\\ \nabla_V(fW) &= V(f)W+f\nabla_VW. \end{aligned} \]

On a Riemannian manifold \((M,g)\), the Fundamental Theorem of Riemannian Geometry selects a unique connection: the Levi-Civita connection. It is characterized by

In local coordinates, these conditions determine the Christoffel symbols:

\[ \Gamma^k_{ij} =\frac12 g^{k\ell} \left(\partial_i g_{j\ell}+\partial_j g_{i\ell}-\partial_\ell g_{ij}\right). \]

The symbols are not tensor components: they can be made zero at one point by choosing normal coordinates. Their derivatives, however, cannot generally be removed at the same time. That residual second-order information is curvature.

Parallel transport and holonomy

Let \(\eta(t)\) be a smooth curve and let \(V(t)\in T_{\eta(t)}M\) be a vector field along it. The field is parallel when

\[ \nabla_{\dot{\eta}}V=0. \]

Writing \(V=V^k\partial_k\) gives a linear first-order ODE:

\[ \frac{dV^k}{dt} +\Gamma^k_{ij}\bigl(\eta(t)\bigr)\,\dot{\eta}^{\,i}V^j=0. \]

Existence and uniqueness of this ODE define a linear isomorphism \(P_\eta:T_{\eta(0)}M\to T_{\eta(1)}M\). If \(\eta\) is a loop based at \(p\), then \(P_\eta:T_pM\to T_pM\) is a holonomy transformation.

The Riemann tensor: infinitesimal failure to close

Covariant derivatives need not commute. The Riemann curvature tensor records their commutator after correcting for the noncommutativity of the vector fields themselves:

\[ R(U,V)W =\nabla_U\nabla_VW-\nabla_V\nabla_UW-\nabla_{[U,V]}W. \]

In a coordinate frame, where \([\partial_i,\partial_j]=0\), one common sign convention gives

\[ R^{\ell}{}_{kij} =\partial_i\Gamma^{\ell}_{jk} -\partial_j\Gamma^{\ell}_{ik} +\Gamma^{m}_{jk}\Gamma^{\ell}_{im} -\Gamma^{m}_{ik}\Gamma^{\ell}_{jm}. \]

Lower the output index with the metric and write \(\mathrm{Rm}(U,V,X,Y)=g(R(U,V)X,Y)\). For the Levi-Civita connection, the tensor obeys:

These identities sharply reduce the number of independent components. In dimension \(n\), an algebraic curvature tensor has \(n^2(n^2-1)/12\) independent components: one in dimension two, six in dimension three, and twenty in dimension four.

Geodesics, the exponential map, and normal coordinates

A geodesic is a curve whose velocity transports parallel to itself:

\[ \nabla_{\dot{\eta}}\dot{\eta}=0, \qquad \ddot{\eta}^{\,k}+\Gamma^k_{ij}\dot{\eta}^{\,i}\dot{\eta}^{\,j}=0. \]

Given \(v\in T_pM\), let \(\gamma_v\) be the geodesic with \(\gamma_v(0)=p\) and \(\dot{\gamma}_v(0)=v\). The exponential map is \(\operatorname{Exp}_p(v)=\gamma_v(1)\), wherever this geodesic is defined. Near the origin of \(T_pM\), it is a diffeomorphism onto a neighborhood of \(p\).

Choose an orthonormal basis of \(T_pM\) and transport its linear coordinates through \(\operatorname{Exp}_p\). At the center \(p\), the resulting normal coordinates satisfy

\[ g_{ij}(p)=\delta_{ij}, \qquad \partial_k g_{ij}(p)=0, \qquad \Gamma^k_{ij}(p)=0. \]

Thus every Riemannian metric is Euclidean to first order at a point. Curvature appears in the quadratic term of its Taylor expansion:

\[ g_{ij}(x) =\delta_{ij} -\frac13 R_{ikj\ell}(p)x^kx^\ell +O(|x|^3). \]

Ricci and scalar curvature as volume diagnostics

The Riemann tensor contains directional curvature information. Its traces compress that information into quantities tied directly to local volume. The Ricci tensor and scalar curvature are

\[ \operatorname{Ric}_{ij}=R^k{}_{ikj}, \qquad S=g^{ij}\operatorname{Ric}_{ij}. \]

In normal coordinates, the Riemannian volume density has the expansion

\[ dV_g = \left( 1-\frac16\operatorname{Ric}_{k\ell}(p)x^kx^\ell+O(|x|^3) \right) dx^1\cdots dx^n. \]

Ricci curvature therefore measures the leading directional distortion of volume. Averaging over directions gives the small-ball expansion

\[ \frac{\operatorname{Vol}_g(B_g(p,r))} {\omega_n r^n} = 1-\frac{S(p)}{6(n+2)}r^2+O(r^4), \]

where \(\omega_n r^n\) is the Euclidean volume of an \(n\)-ball of radius \(r\). Positive scalar curvature makes sufficiently small geodesic balls smaller than their Euclidean counterparts; negative scalar curvature makes them larger.

A careful link to gravitation

General Relativity uses a Lorentzian spacetime metric rather than a Riemannian one, but the same curvature machinery applies with signature changes. Einstein's equation relates the Einstein tensor \(G=\operatorname{Ric}-\tfrac12 Sg\) to stress-energy. Ricci curvature captures the part of spacetime curvature directly constrained by local matter-energy; the Weyl tensor carries the trace-free tidal curvature that can remain nonzero even in vacuum.