This course develops comparison geometry, the part of geometric analysis that studies how curvature bounds control distance, volume, topology, and global shape. The central idea is to compare a manifold to explicit model spaces of constant or controlled curvature, then use that comparison to derive qualitative and quantitative consequences. Along the way, the course connects local differential geometry with global phenomena such as diameter bounds, fundamental group restrictions, volume growth, rigidity, and convergence of spaces.

The chapters are arranged to build a toolkit in layers. After introducing model geometries and curvature bounds, the course studies Jacobi fields and the index form as the basic variational machinery behind comparison results. Rauch comparison, Hessian and Laplacian comparison, and triangle comparison then turn those local tools into geometric estimates, while Bishop-Gromov comparison and its analytic consequences extend them to volume and function theory. Later chapters focus on global structure under Ricci and sectional curvature assumptions, including splitting and soul theorems, before moving to Gromov-Hausdorff convergence, compactness, and rigidity. The closing chapter ties these themes together by showing how the same comparison estimates reappear in rigidity arguments, compactness statements, and limiting examples.

# Introduction

Comparison geometry asks how much global geometry is forced by local curvature inequalities. The guiding theme of this course is that bounds on sectional curvature, Ricci curvature, or scalar curvature become useful only after they are translated into statements about geodesics, distance functions, volumes, and compactness. This introduction fixes the language and the scale of the course: we are not trying to classify all Riemannian manifolds, but to build a toolkit for comparing an unknown manifold with a small list of model spaces.

The prerequisites are the standard objects of Riemannian geometry: smooth manifolds, Riemannian metrics, the Levi-Civita connection, geodesics, the exponential map, curvature tensors, and basic topology. Some measure theory enters through volume comparison, and elementary functional analysis helps with compactness arguments, but the central arguments are geometric. Later courses in minimal surfaces, harmonic maps, Ricci flow, and metric geometry use these comparison tools as background.

## What Comparison Geometry Tries to Control

What can a curvature inequality say about points that are far apart? A curvature tensor is defined infinitesimally, but the conclusions we want are global: whether geodesics stop minimizing, whether the manifold has finite diameter, how quickly balls grow, and what compactness properties a family of manifolds has. The bridge from local curvature to global shape is built from the variation theory of geodesics.

[explanation: Local To Global Strategy] A typical comparison theorem begins with a local differential inequality along geodesics. Jacobi fields encode how nearby geodesics separate, and the index form records the second variation of length or energy. Once this infinitesimal information is compared with the corresponding calculation in a constant-curvature model space, it can be integrated along geodesics to control conjugate points, distance functions, triangles, or volume elements.

This pattern appears throughout the course. Sectional curvature comparison controls the behaviour of geodesic triangles and distance functions; Ricci curvature comparison controls the Jacobian of the exponential map and hence the volume of balls; lower Ricci bounds combined with non-collapsing hypotheses give compactness statements for sequences of manifolds. [/explanation]

This explanation also shows why comparison geometry is not merely a collection of estimates. The estimates are organized around geometric mechanisms: geodesic variation, curvature operators, and model spaces. We therefore begin by fixing the objects that will be compared.

## Standing Geometric Conventions

Which version of the basic Riemannian objects will be used in these notes? Since the same symbols recur in every chapter, we set them once. Throughout the course, manifolds are smooth and connected unless a statement says otherwise.

[definition: Riemannian Manifold] A Riemannian manifold is a smooth manifold $M$ equipped with a smooth Riemannian metric $g$, where each $g_p$ is an [inner product](/page/Inner%20Product) on $T_pM$ depending smoothly on $p \in M$. [/definition]

The metric converts tangent vectors into lengths and makes it possible to define distance, volume, and curvature. The curves most sensitive to these structures are the locally length-minimizing paths determined by the Levi-Civita connection, so the next definition names the curves along which comparison arguments are performed. When several metrics are under discussion, the notation $d_g$ denotes the associated distance function and $d\operatorname{vol}_g$ denotes the Riemannian volume measure.

[definition: Geodesic] Let $(M,g)$ be a Riemannian manifold with Levi-Civita connection $\nabla$. A smooth curve $\gamma:I\to M$ is a geodesic if \begin{align*} \nabla_{\dot\gamma}\dot\gamma = 0 \end{align*} on $I$. [/definition]

Geodesics are the paths along which comparison arguments are performed. They are also the source of the first global obstructions: two geodesics may meet again, a geodesic may stop minimizing before it ceases to exist, and [normal coordinates](/theorems/2713) may fail at the cut locus. To make global statements rather than only local ones, we need an assumption that geodesics do not end because the parameter interval was too short.

[definition: Complete Riemannian Manifold] A Riemannian manifold $(M,g)$ is complete if every geodesic $\gamma:(a,b)\to M$ extends to a geodesic defined on all of $\mathbb R$. [/definition]

Completeness is the background assumption for many global theorems. It allows geodesics to extend for all time, and through the Hopf-Rinow theorem it connects the geodesic picture with metric compactness of closed bounded sets.

[remark: Notation For Curvature] The Riemann curvature tensor is denoted by $R$, Ricci curvature by $\operatorname{Ric}$, scalar curvature by $S$, and sectional curvature by $K(\sigma)$ for a $2$-plane $\sigma \subseteq T_pM$. For a unit speed geodesic $\gamma$, curvature terms along $\gamma$ are often viewed as endomorphisms of $\dot\gamma(t)^\perp$. [/remark]

These conventions are enough to state the types of hypotheses that drive the course. The next question is why different curvatures lead to different comparison theorems.