SYSTEMATIC MATHEMATICS

Riemannian Geometry II: Comparison & Geometric Analysis

Why does positive curvature focus geodesics, why does a Ricci lower bound control volume but not every two-plane, when is the exponential map global, how can flat manifolds collapse to lower-dimensional limits, and which analytic conclusions really follow from curvature? This Stage 5 advanced graduate and doctoral-preparation course answers those questions in eighty-three visible bilingual chapters across twelve content-sized units of lengths 6, 8, 7, 7, 6, 8, 7, 6, 8, 7, 6, and 7. It develops metric and connection calculation, geodesic completeness, variation, Jacobi fields, cut and conjugate loci, curvature algebra, Bochner identities, Rauch/Hessian/Toponogov comparison, Cartan–Hadamard, Ricci/Laplacian/Bishop–Gromov theory, injectivity, collapse, spectrum, heat, Hodge and Yamabe analysis, Einstein metrics, holonomy, GH and Cheeger–Gromov convergence, Ricci-limit boundaries, epsilon regularity, and seven independently reproducible original dossiers. Every chapter defines symbols in words, states exact hypotheses, gives the complete proof route at the length its argument requires, solves an exact model, identifies the nearest failure, and matches practice to its answer. This course is a substantial Riemannian geometry II and geometric-analysis core; it does not claim a complete course in symplectic geometry, Kähler geometry, special holonomy, Ricci flow, gauge theory, metric-measure curvature, or every postdoctoral comparison and rigidity theorem.

Before this course: Completed Differential Geometry & Manifolds; Differential Topology, Vector Bundles & Morse Theory; Differential Forms, de Rham Cohomology & Hodge Theory; Sobolev Spaces, Distributions & Weak PDE; Nonlinear Elliptic & Parabolic Regularity; and Geometric Measure Theory & Minimal Surfaces, including their real-analysis, topology, functional-analysis, ODE/PDE, measure, and variational prerequisites. No prior complete course in comparison geometry, Ricci-limit theory, Einstein metrics, holonomy, collapse, or geometric convergence is assumed.

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
Chapter 1

A Riemannian metric turns tangent vectors and covectors into measurable geometric quantities

Objective: Why is grad f not simply the coordinate pair of df?

A manifold supplies directions but no length until a positive-definite inner product is chosen smoothly at every point. The metric also identifies gradients, one-forms, volume, and operator norms, so every later estimate depends on this first declaration. Before calculating, name the manifold, metric, dimension, sign convention, regularity, completeness or compactness assumption, and whether the claim is local, global, pointwise, integral, or only valid away from a cut or singular set.

Read the notation in words: A Riemannian metric g is a smooth positive-definite section of Sym²(T*M). For v∈T_pM, |v|_g=sqrt(g_p(v,v)); for α∈T_p*M, α^♯ is defined by g(α^♯,v)=α(v), and X^♭=g(X,·). The exact result used in this chapter is: The musical maps ♭:TM→T*M and ♯:T*M→TM are smooth bundle isomorphisms inverse to one another, and the gradient is grad f=(df)^♯.

The complete proof route is: 1. Positive definiteness makes v↦g(v,·) injective on each finite-dimensional tangent space. 2. Equal dimensions make the injective linear map an isomorphism, defining ♯ as its inverse. 3. Smoothness of the inverse metric matrix g^{ij} makes both bundle maps and grad f smooth. Keep coordinate identities separate from invariant statements, and record every curvature bound, endpoint condition, equality case, convergence topology, and radius restriction.

Work the model “On R² with g=4dx²+dy², compute |(1,2)|_g and grad f for f(x,y)=x+y.” from definitions. Its checked result is The norm is 2sqrt2 and grad f=(1/4)∂_x+∂_y. The nearest failure is: A nondegenerate indefinite metric also gives ♭ and ♯ but not a positive norm; a merely continuous positive tensor need not support the smooth Levi–Civita calculations used later. A plotted geodesic, finite mesh, floating-point eigenvalue, or small residual is evidence only after the metric, chart, step size, tolerance, normalization, and unresolved global hypotheses are recorded.

The musical maps ♭:TM→T*M and ♯:T*M→TM are smooth bundle isomorphisms inverse to one another, and the gradient is grad f=(df)^♯.

Positive definiteness makes v↦g(v,·) injective on each finite-dimensional tangent space.

Equal dimensions make the injective linear map an isomorphism, defining ♯ as its inverse.

Smoothness of the inverse metric matrix g^{ij} makes both bundle maps and grad f smooth.

On R² with g=4dx²+dy², compute |(1,2)|_g and grad f for f(x,y)=x+y.

  1. g((1,2),(1,2))=4·1²+2²=8, so the norm is 2sqrt2.
  2. df=dx+dy has coefficient vector (1,1), while the inverse metric is diag(1/4,1).
  3. Therefore grad f=(1/4)∂_x+∂_y.

Result: The norm is 2sqrt2 and grad f=(1/4)∂_x+∂_y.