Riemannian Geometry Basics

⚡ Key Takeaways

Riemannian geometry is the study of smooth manifolds equipped with a smoothly varying inner product on each tangent space (a Riemannian metric), which lets one measure lengths, angles, areas, and curvature intrinsically. Key result: the metric determines a unique torsion-free compatible connection (Levi-Civita), whose curvature obstructs local flatness and controls geodesic divergence. Applies to general relativity, geometric analysis, comparison geometry, shape analysis. Founded by Bernhard Riemann (1854), formalized by Levi-Civita, Ricci, and Élie Cartan.

💡 The Core Insight

Geometry on a manifold is not added by embedding it in $\mathbb{R}^N$ ; it is generated internally by a choice of inner product on tangent spaces. From the metric $g$ alone, one canonically recovers a differentiation operator (the Levi-Civita connection $\nabla$ ) and a measure of its non-commutativity (the curvature $R$ ). Everything else — geodesics, distance, volume, sectional curvature — is downstream. The leap from Gauss's theorema egregium (curvature is intrinsic to a surface) to Riemann's program is the recognition that this intrinsic viewpoint works in any dimension and needs no embedding at all.

DefinitionRiemannian Metric

Let $M$ be a smooth $n$ -manifold. A Riemannian metric $g$ is a smooth section of the bundle $\mathrm{Sym}^2 T^*M$ such that for each $p\in M$ , $g_p:T_pM\times T_pM\to\mathbb{R}$ is symmetric and positive-definite. In local coordinates $(x^1,\dots,x^n)$ with coordinate vector fields $\partial_i$ ,

1

\quad g = g_{ij}\,dx^i\otimes dx^j,\qquad g_{ij}=g(\partial_i,\partial_j)=g_{ji},\quad (g_{ij})\succ 0.

Derivation hint: Expand $g$ in the basis $dx^i\otimes dx^j$ of $T^*M\otimes T^*M$ ; symmetry forces $g_{ij}=g_{ji}$ , and positive-definiteness of the matrix encodes $g_p(v,v)>0$ for $v\neq 0$ .

DefinitionLevi-Civita Connection

On a Riemannian manifold there is a unique affine connection $\nabla$ that is metric-compatible ( $\nabla g=0$ ) and torsion-free ( $\nabla_XY-\nabla_YX=[X,Y]$ ). Its Christoffel symbols are

3

\quad \Gamma^k_{ij}=\tfrac12\,g^{k\ell}\bigl(\partial_i g_{j\ell}+\partial_j g_{i\ell}-\partial_\ell g_{ij}\bigr),\qquad \nabla_{\partial_i}\partial_j=\Gamma^k_{ij}\,\partial_k,

where $g^{k\ell}$ is the inverse metric, $g^{k\ell}g_{\ell j}=\delta^k_j$ . Derivation hint: Write the Koszul formula $2g(\nabla_XY,Z)=X g(Y,Z)+Y g(X,Z)-Z g(X,Y)+g([X,Y],Z)-g([X,Z],Y)-g([Y,Z],X)$ , evaluate on coordinate fields where brackets vanish, and solve for $\Gamma^k_{ij}$ .

TheoremFundamental Theorem of Riemannian Geometry

For any Riemannian manifold $(M,g)$ there exists a unique connection $\nabla$ that is simultaneously torsion-free and compatible with $g$ . It is given explicitly by [3].

ProofExistence and Uniqueness via Koszul

Step 1 (Uniqueness). Assume $\nabla$ is metric-compatible and torsion-free. Metric compatibility means

4

\quad X\,g(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ).

Derivation hint: This is $\nabla g=0$ written out via the product rule for the connection acting on the tensor $g$ . Cyclically permute $X,Y,Z$ in [4], add the first two equations and subtract the third, then apply torsion-freeness $\nabla_XY-\nabla_YX=[X,Y]$ to eliminate antisymmetric terms. One obtains the Koszul formula

5

\quad 2g(\nabla_XY,Z)=X g(Y,Z)+Y g(X,Z)-Z g(X,Y)+g([X,Y],Z)-g([X,Z],Y)-g([Y,Z],X).

Derivation hint: The right side involves only $g$ , the vector fields, and their Lie brackets — none of $\nabla$ — so the left side determines $\nabla_XY$ uniquely because $g$ is nondegenerate.

Step 2 (Existence). Define $\nabla$ by declaring [5] to hold; nondegeneracy of $g$ lets us solve for $\nabla_XY$ . One then verifies directly that this $\nabla$ is $\mathbb{R}$ -bilinear, $C^\infty(M)$ -linear in $X$ , Leibniz in $Y$ , torsion-free, and metric-compatible. In coordinates the formula collapses to [3]. $\blacksquare$

∎

DefinitionRiemann Curvature Tensor

The curvature of $\nabla$ measures the failure of second covariant derivatives to commute:

7

\quad R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z.

Derivation hint: This is a $(1,3)$ -tensor (it is $C^\infty$ -linear in all three arguments despite being built from derivatives — the bracket term cancels the non-tensorial pieces). Its components are $R^\ell{}_{kij}=\partial_i\Gamma^\ell_{jk}-\partial_j\Gamma^\ell_{ik}+\Gamma^\ell_{im}\Gamma^m_{jk}-\Gamma^\ell_{jm}\Gamma^m_{ik}$ . The sectional curvature of a 2-plane $\sigma=\mathrm{span}(X,Y)\subset T_pM$ is

8

\quad K(\sigma)=\frac{g(R(X,Y)Y,X)}{g(X,X)g(Y,Y)-g(X,Y)^2}.

Derivation hint: The denominator is the squared area of the parallelogram spanned by $X,Y$ ; the quotient is independent of the chosen basis of $\sigma$ because $R$ enjoys the symmetries $R_{ijk\ell}=-R_{jik\ell}=-R_{ij\ell k}=R_{k\ell ij}$ .

ProofFlatness ⟺ Vanishing Curvature

Claim. $(M,g)$ is locally isometric to Euclidean $(\mathbb{R}^n,\delta)$ iff $R\equiv 0$ .

Step 1. If $g$ is locally Euclidean, then in flat coordinates $g_{ij}=\delta_{ij}$ , so all $\Gamma^k_{ij}=0$ by [3], hence $R=0$ by [7].

Step 2 (converse). Suppose $R\equiv 0$ . Parallel transport then becomes path-independent on simply connected neighborhoods, because the holonomy around small loops is generated by $R$ (Ambrose–Singer). Parallel-transport an orthonormal frame $\{e_a\}$ from $p$ ; flatness guarantees the resulting fields are globally defined and satisfy $\nabla e_a=0$ .

Step 3. Torsion-freeness gives $[e_a,e_b]=\nabla_{e_a}e_b-\nabla_{e_b}e_a=0$ , so the frame is coordinate-inducing (Frobenius): there are coordinates $y^a$ with $\partial/\partial y^a=e_a$ . Metric compatibility makes $g(e_a,e_b)=\delta_{ab}$ constant, so $g=\sum (dy^a)^2$ in these coordinates. $\blacksquare$

∎

Figure

Geodesic spread on positively curved vs. flat space: a positive sectional curvature focuses nearby geodesics.

mathematician · Bernhard Riemann | 1826–1866

Riemann introduced the entire framework in his 1854 Göttingen Habilitationsvortrag, "Über die Hypothesen, welche der Geometrie zu Grunde liegen," delivered before Gauss. Without modern tensor notation he posited an $n$ -dimensional "manifoldness" with an infinitesimal line element $ds=\sqrt{\sum g_{ij}\,dx^i dx^j}$ and identified the obstruction to flatness — what we now call the curvature tensor — via the quadratic deviation of geodesic distances. He saw clearly that physical space need not be Euclidean and that geometry is an empirical question, anticipating general relativity by sixty years. His ideas were made computationally precise by Ricci-Curbastro and Levi-Civita (the absolute differential calculus, 1900) and parallel transport (1917).

🧠 Intuition

Think of a Riemannian metric as a device that tells you the ruler at each point: $g_p(v,v)$ is the squared length of the infinitesimal displacement $v$ . On a sphere the ruler shrinks lines of longitude near the poles; that distortion is the geometry. The Levi-Civita connection answers "how do I carry a vector along without artificially rotating it?" — it is the unique notion of straight-ahead transport that respects lengths and angles and adds no twist. Curvature then answers "if I carry a vector around a tiny loop, how much did it rotate?" — the answer is $R$ times the loop's area. Positive curvature (sphere) makes geodesics converge like meridians; negative curvature (hyperbolic plane) makes them diverge exponentially; zero curvature (plane, flat torus) keeps them parallel. Every global theorem in the subject is a careful bookkeeping of these local rotations summed over regions.

ExampleCurvature of the Round Sphere

S^2_r

Given. The sphere of radius $r$ with metric in spherical coordinates $g = r^2\,d\theta^2 + r^2\sin^2\theta\,d\phi^2$ , so $g_{\theta\theta}=r^2$ , $g_{\phi\phi}=r^2\sin^2\theta$ .

Step 1 — Christoffels. Using [3] with the diagonal metric: $\Gamma^\theta_{\phi\phi}=-\sin\theta\cos\theta$ , $\ \Gamma^\phi_{\theta\phi}=\Gamma^\phi_{\phi\theta}=\cot\theta$ , all others zero.

Step 2 — Riemann component. Compute $R^\theta{}_{\phi\theta\phi}=\partial_\theta\Gamma^\theta_{\phi\phi}-\partial_\phi\Gamma^\theta_{\theta\phi}+\Gamma^\theta_{\theta m}\Gamma^m_{\phi\phi}-\Gamma^\theta_{\phi m}\Gamma^m_{\theta\phi}$ . $\partial_\theta(-\sin\theta\cos\theta)=-\cos2\theta=\sin^2\theta-\cos^2\theta$ , and $-\Gamma^\theta_{\phi\phi}\Gamma^\phi_{\theta\phi}=-(-\sin\theta\cos\theta)(\cot\theta)=\cos^2\theta$ . Sum: $\sin^2\theta$ .

Step 3 — Sectional curvature. Using [8] with the only 2-plane, $K=\dfrac{g(R(\partial_\theta,\partial_\phi)\partial_\phi,\partial_\theta)}{g_{\theta\theta}g_{\phi\phi}}=\dfrac{r^2\sin^2\theta\cdot R^\theta{}_{\phi\theta\phi}/\sin^2\theta}{r^2\cdot r^2\sin^2\theta}$ . After substitution, $g(R\cdots)=g_{\theta\theta}R^\theta{}_{\phi\theta\phi}=r^2\sin^2\theta$ , so

\boxed{K=\frac{r^2\sin^2\theta}{r^4\sin^2\theta}=\frac{1}{r^2}\ \ [\text{units: } \mathrm{length}^{-2}]}

Constant positive curvature $1/r^2$ , independent of $\theta,\phi$ . Scalar curvature $S=2K=2/r^2$ .

ExampleGeodesics and Distance on the Hyperbolic Plane

\mathbb{H}^2

Given. Upper half-plane $\{(x,y):y>0\}$ with $g=\dfrac{dx^2+dy^2}{y^2}$ , so $g_{xx}=g_{yy}=y^{-2}$ .

Step 1 — Christoffels. From [3]: $\Gamma^x_{xy}=\Gamma^x_{yx}=-1/y$ , $\ \Gamma^y_{xx}=1/y$ , $\ \Gamma^y_{yy}=-1/y$ .

Step 2 — Curvature. Computing $R^x{}_{yxy}$ analogously gives sectional curvature $K\equiv -1$ everywhere (constant negative).

Step 3 — Vertical geodesic distance. Along $x=$ const, $\gamma(t)=(x_0,t)$ , the length between heights $y_1<y_2$ :

L=\int_{y_1}^{y_2}\frac{\sqrt{0+1}}{y}\,dy=\ln\frac{y_2}{y_1}.

For $(x_0,1)$ to $(x_0,e)$ : $L=\ln(e/1)=1$ . Vertical lines and semicircles centered on the $x$ -axis are the geodesics.

Step 4 — A numeric distance. Distance from $A=(0,1)$ to $B=(0,e^2)$ :

\boxed{d(A,B)=\ln\frac{e^2}{1}=2\ \ [\text{dimensionless hyperbolic units}]}

⚠️ Common mistake

Curvature is not the second derivative of the metric in any frame-independent naive sense. Because $\partial_k g_{ij}$ is not a tensor, you cannot read off curvature from a single coordinate patch by inspection. At any point you can choose normal coordinates where $g_{ij}=\delta_{ij}$ and $\partial_k g_{ij}=0$ ; the curvature lives in the second derivatives that cannot be killed, $g_{ij}=\delta_{ij}-\tfrac13 R_{ikj\ell}x^k x^\ell+O(|x|^3)$ . Vanishing Christoffels at a point does not mean flatness.

CounterexampleFlat Metric in Curvilinear Coordinates

Polar coordinates on the plane give $g = dr^2 + r^2\,d\theta^2$ , whose Christoffel symbols are nonzero: $\Gamma^r_{\theta\theta}=-r,\ \Gamma^\theta_{r\theta}=1/r$ . A student might think "nonzero $\Gamma$ ⟹ curved." But computing [7] yields $R\equiv 0$ : this is just the flat Euclidean plane in disguise. Conversely, the flat torus $\mathbb{R}^2/\mathbb{Z}^2$ has $g=\delta$ , $R\equiv 0$ , yet is globally distinct from $\mathbb{R}^2$ (compact, nontrivial $\pi_1$ ). Curvature is a local invariant; flatness does not pin down the global topology.

⚠️ Common mistake

The distance infimum in [2] need not be achieved. On an incomplete manifold (e.g. the punctured plane) there may be no minimizing geodesic between two points. The Hopf–Rinow theorem rescues us: for a connected manifold, geodesic completeness, metric completeness, and "closed bounded sets are compact" are equivalent, and any two points are then joined by a minimizing geodesic. Never assume minimizers exist without completeness.

connection

Riemannian geometry sits at a crossroads. The Levi-Civita connection is a special case of an Affine Connection on a principal bundle, and its curvature is a component of the general Curvature of Connections formalism; the holonomy group of $\nabla$ links to Lie Groups and the Berger classification. Restricting to constant sectional curvature recovers the model geometries underlying Hyperbolic Geometry and spherical geometry. Adding a Lorentzian signature (dropping positive-definiteness) yields Pseudo-Riemannian Geometry, the arena of General Relativity, where Ric and $S$ enter the Einstein field equations. The interplay between curvature bounds and topology is the domain of Comparison Geometry (Bonnet–Myers, Rauch, Toponogov), while the analytic side — eigenvalues of the Laplace–Beltrami operator, heat kernels, Bochner technique — feeds Geometric Analysis.

🔬 Where this appears

⏳ History

- 1827 — Gauss's Disquisitiones generales proves the Theorema Egregium: Gaussian curvature of a surface is intrinsic, depending only on the first fundamental form.

- 1854 — Riemann's habilitation lecture introduces

n

-dimensional manifolds, the line element

ds^2=g_{ij}dx^idx^j

, and the curvature obstruction to flatness.

- 1869–1873 — Christoffel and Lipschitz introduce the symbols

\Gamma^k_{ij}

and study covariant transformation laws.

- 1900 — Ricci-Curbastro and Levi-Civita publish the absolute differential calculus (tensor calculus), making the subject computational.

- 1915–1917 — Einstein's general relativity adopts pseudo-Riemannian geometry; Levi-Civita formalizes parallel transport, clarifying the connection.

- 1917–1923 — Élie Cartan develops the moving-frame method, exterior calculus, and the structure equations

d\omega=-\omega\wedge\omega + \Omega

.

- 1926–1935 — Cartan classifies symmetric spaces; Hopf–Rinow (1931) settles completeness; Bonnet–Myers links Ricci curvature to diameter.

- 1950s–1960s — Berger classifies holonomy groups; comparison theorems (Rauch, Toponogov, Bishop–Gromov) mature; Nash's embedding theorem (1956) shows every Riemannian manifold sits isometrically in some

\mathbb{R}^N

.

- 1981–present — Gromov's metric-geometry program, Cheeger–Gromov convergence, Hamilton's Ricci flow (1982) and Perelman's 2003 resolution of the Poincaré and geometrization conjectures put curvature flows at the center.

open-problem

Several deep questions remain partly open. The prescribed curvature problem — which functions arise as the scalar curvature of a metric on a given manifold (Yamabe-type and Kazdan–Warner constraints) — is fully solved only in special cases. The relationship between positive sectional curvature and topology is notoriously incomplete: very few manifolds are known to admit metrics of positive sectional curvature, and the gap between the known examples and obstructions (Hopf conjectures: does $S^2\times S^2$ admit positive curvature? is the Euler characteristic of an even-dimensional positively curved manifold positive?) is wide. Collapse and convergence of Riemannian manifolds with bounded curvature (Cheeger–Fukaya–Gromov theory) still hides structural mysteries in higher dimensions. Finally, the degenerate/singular limits of Ricci flow — characterizing all possible singularity models in dimensions $\geq 4$ — remain an active frontier, central to potential extensions of geometrization.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also