Differential Geometry: Manifolds, Curvature, and Riemannian Metrics
Introduction
Differential geometry studies geometric objects using the tools of calculus. It is the language in which Einstein formulated general relativity, the framework for modern gauge theories in physics, and an essential tool in fields ranging from robotics to computer graphics. The subject brings together analysis, algebra, and topology to study curved spaces and their properties.
The foundations were laid by Gauss and Riemann in the nineteenth century. Gauss’s Theorema Egregium showed that the curvature of a surface is an intrinsic property — it can be detected by measurements made entirely within the surface, without reference to the surrounding space. Riemann extended these ideas to higher dimensions, introducing the concept of a manifold and the Riemannian metric that defines distances and angles.
Smooth Manifolds
A smooth manifold is a topological space that locally looks like Euclidean space. Around every point, there is a neighborhood that is homeomorphic to an open subset of Rⁿ. These local coordinate charts must be compatible: when two charts overlap, the transition map between them must be smooth.
Examples and Constructions
The sphere S² is the simplest compact manifold without boundary. The torus T² = S¹ × S¹ is the product of two circles. Projective spaces, Grassmannians, and Lie groups provide more sophisticated examples.
Manifolds can be constructed by gluing together open subsets of Rⁿ. The real projective plane RP² is obtained by identifying antipodal points on the sphere. The resulting space is a non-orientable manifold — it cannot be consistently assigned a notion of clockwise and counterclockwise.
Tangent Spaces and Vector Fields
The tangent space at a point p of a manifold M is the vector space of all tangent vectors at p. It captures the directions in which one can move from p. The union of all tangent spaces forms the tangent bundle TM, which is itself a manifold of dimension 2n.
Vector Fields and Flows
A vector field assigns a tangent vector to each point of the manifold. Vector fields generate flows — one-parameter groups of diffeomorphisms. The flow of a vector field describes how points move along the field’s direction over time.
The Lie bracket of two vector fields measures the failure of their flows to commute. This operation gives the space of vector fields the structure of a Lie algebra, connecting differential geometry to group theory and representation theory.
Riemannian Metrics
A Riemannian metric assigns an inner product to each tangent space, varying smoothly from point to point. The metric allows the measurement of lengths of curves, angles between vectors, and volumes of regions. It provides the foundation for geometry on manifolds.
Length and Distance
The length of a curve is the integral of the norm of its velocity vector. The distance between two points is the infimum of lengths of curves connecting them. This distance function makes the manifold into a metric space, connecting differential geometry to topology.
Geodesics are curves that locally minimize distance. On the sphere, geodesics are great circles. On a torus with the flat metric, geodesics are straight lines on the rectangle with opposite edges identified. Geodesics satisfy a second-order differential equation derived from the metric.
Curvature
Curvature measures how a manifold deviates from being flat. Riemannian curvature is a tensor that encodes all information about the geometry. Sectional curvature is the curvature of two-dimensional planes in the tangent space.
Gaussian Curvature
For surfaces, Gaussian curvature is the product of the principal curvatures. Gauss’s Theorema Egregium states that Gaussian curvature is intrinsic — it depends only on the metric, not on how the surface is embedded in space. This theorem was a revolutionary insight: curvature is an intrinsic property of space, not just a feature of how space sits inside a larger space.
The Gauss-Bonnet theorem connects curvature to topology: for a compact surface, the integral of Gaussian curvature equals 2π times the Euler characteristic. This theorem is the prototype for index theorems in higher dimensions, relating local geometric invariants to global topological invariants.
Riemannian Geometry
Riemannian geometry studies smooth manifolds equipped with Riemannian metrics. The Levi-Civita connection provides a way to differentiate vector fields along curves, preserving the metric and having zero torsion.
Constant Curvature Spaces
Spaces of constant curvature are the simplest Riemannian manifolds. Spheres have positive constant curvature. Euclidean space has zero curvature. Hyperbolic space has negative constant curvature. These three geometries correspond to the three possibilities in the classification of surfaces by their universal cover.
The classification of constant curvature spaces connects geometry to algebraic geometry and number theory through the study of arithmetic groups and moduli spaces.
Riemannian Submersions and Holonomy
A Riemannian submersion is a surjective map between Riemannian manifolds that preserves distances in directions orthogonal to the fibers. These submersions provide a way to construct new metrics from old ones and are important in the study of symmetric spaces and general relativity.
Holonomy groups capture the behavior of parallel transport around closed loops. The holonomy group of a Riemannian manifold is a subgroup of the orthogonal group that reflects the geometry. Berger’s classification of possible holonomy groups is one of the fundamental results in Riemannian geometry.
Special Holonomy
Manifolds with special holonomy include Calabi-Yau manifolds (SU(n) holonomy), hyperkähler manifolds (Sp(n) holonomy), and G₂ and Spin(7) manifolds in dimensions 7 and 8. These manifolds are central to string theory, where Calabi-Yau manifolds are used to compactify extra dimensions.
The study of special holonomy manifolds connects differential geometry to algebraic geometry and mathematical physics. The Yau proof of the Calabi conjecture established the existence of Ricci-flat metrics on compact Kähler manifolds with vanishing first Chern class.
Applications in Physics
General relativity describes gravity as curvature of spacetime. The Einstein field equations relate the curvature of the spacetime manifold to the distribution of matter and energy. The Schwarzschild solution describes the geometry around a spherical mass, predicting black holes.
Gauge Theories
Modern particle physics uses gauge theories formulated on principal bundles — geometric structures that generalize the tangent bundle. The gauge group describes the symmetries of the fundamental forces. The geometry of connections and curvature on these bundles encodes the field equations.
Applications also extend to computer graphics, where differential geometry underlies the representation and manipulation of 3D surfaces, and to robotics, where the configuration space of a robot is a manifold whose geometry determines motion planning.
Connections and Covariant Derivatives
A connection on a manifold provides a way to differentiate vector fields along curves. The Levi-Civita connection, uniquely determined by the metric and the torsion-free condition, defines covariant differentiation.
Characteristic Classes
Characteristic classes are topological invariants of vector bundles that measure the twisting of the bundle. The Pontryagin classes of the tangent bundle of a manifold are oriented cobordism invariants. The Euler class of an oriented bundle is related to the Euler characteristic through the Gauss-Bonnet theorem.
Chern classes are characteristic classes of complex vector bundles. The Chern-Weil theory expresses characteristic classes in terms of the curvature of a connection. The Chern character provides a ring homomorphism from K-theory to cohomology, connecting differential geometry to algebraic topology.
Index Theory
The Atiyah-Singer index theorem relates the analytic index of an elliptic operator on a compact manifold to a topological invariant expressed in terms of characteristic classes. The Dirac operator on a spin manifold has index given by the Â-genus, a particular combination of Pontryagin classes.
The index theorem has far-reaching consequences. It implies the Riemann-Roch theorem for Riemann surfaces, the Hirzebruch signature theorem, and the Gauss-Bonnet theorem. The connection between differential geometry, topology, and analysis through index theory is one of the deepest in modern mathematics.
The covariant derivative of a vector field in the direction of another vector field measures the rate of change accounting for the curvature of the manifold. The covariant derivative of a vector field in the direction of another vector field measures the rate of change accounting for the curvature of the manifold.
Parallel transport moves vectors along curves while keeping them parallel with respect to the connection. The holonomy of a connection measures the change in a vector transported around a closed loop. The Ambrose-Singer theorem relates the holonomy algebra to the curvature tensor.
Geodesic Deviation
Geodesic deviation measures how nearby geodesics spread apart or come together. The Jacobi equation describes this deviation in terms of curvature. Positive curvature causes nearby geodesics to converge, as on a sphere, while negative curvature causes them to diverge, as on a hyperbolic surface.
In general relativity, geodesic deviation describes the tidal forces experienced by freely falling observers. The Riemann curvature tensor directly encodes these tidal forces. The Raychaudhuri equation describes the evolution of geodesic congruence and is essential in the proofs of the singularity theorems of Hawking and Penrose.
What is a manifold? A manifold is a space that locally resembles Euclidean space. Around every point, there exists a neighborhood that can be smoothly mapped to Rⁿ.
What does curvature measure? Curvature measures how much a manifold deviates from being flat. Positive curvature means geodesics converge, negative curvature means they diverge.
How is differential geometry used in general relativity? Einstein’s theory models spacetime as a four-dimensional Lorentzian manifold whose curvature is determined by the distribution of mass and energy.
What is a geodesic? A geodesic is the shortest path between two points on a manifold. On a sphere, geodesics are great circles. In spacetime, geodesics describe the motion of freely falling particles.