Differential geometry

Differential geometry. It is a mathematical discipline that uses the techniques of calculus and linear algebra to study problems in geometry. The field primarily concerns itself with the geometric structures on smooth manifolds, such as Riemannian metrics, connections, and curvature. Its development has been profoundly intertwined with theoretical physics, particularly Albert Einstein's theory of general relativity.

● Introduction

The origins of the subject are deeply rooted in the classical study of curves and surfaces in Euclidean space, pioneered by mathematicians like Leonhard Euler and Gaspard Monge. A pivotal advancement came with the work of Carl Friedrich Gauss and his *Theorema Egregium*, which showed that the Gaussian curvature of a surface is an intrinsic property. This foundational idea was vastly extended by Bernhard Riemann in his seminal Habilitationsschrift, laying the groundwork for modern Riemannian manifolds. The field was further revolutionized in the 20th century by figures such as Élie Cartan, who developed the theory of moving frames and Cartan connections, and Shiing-Shen Chern, whose work on characteristic classes and Chern–Weil homomorphism connected geometry with topology.

● Basic concepts

The central object of study is a smooth manifold, a space that locally resembles Euclidean space and on which one can perform calculus. To equip such a manifold with geometry, one introduces additional structures. A Riemannian metric assigns an inner product to the tangent space at each point, enabling the measurement of lengths and angles. The Levi-Civita connection is the unique metric-compatible, torsion-free connection that provides a notion of parallel transport and covariant derivative. The deviation from flatness is measured by curvature tensors, such as the Riemann curvature tensor and its contractions, the Ricci curvature and scalar curvature.

● Curves and surfaces

The classical theory provides a rich intuition for broader concepts. A plane curve is studied via its Frenet–Serret formulas, which describe its curvature and torsion using an orthonormal moving frame. For surfaces in three-dimensional space, fundamental forms—the first fundamental form (induced metric) and the second fundamental form (extrinsic curvature)—classify local shape. Key results include Gauss's *Theorema Egregium* and the Gauss–Bonnet theorem, which relates total Gaussian curvature to the Euler characteristic, a topological invariant. The study of minimal surfaces, like the catenoid and helicoid, connects to the calculus of variations.

● Riemannian geometry

This core subfield studies Riemannian manifolds. Central themes include the analysis of geodesics, the curves of shortest length, and their behavior as dictated by curvature. The sectional curvature controls the growth of geodesic balls, with positive curvature leading to phenomena like the Bonnet–Myers theorem. The search for canonical metrics, such as Einstein metrics which satisfy the Einstein field equations in vacuum, is a major pursuit. Profound results like the Cartan–Hadamard theorem and the sphere theorem link curvature to global topology. The field was transformed by breakthroughs like the Atiyah–Singer index theorem and the proof of the Poincaré conjecture by Grigori Perelman.

● Generalizations and related fields

The framework extends in several directions. Symplectic geometry, foundational for Hamiltonian mechanics, studies closed, nondegenerate 2-forms on even-dimensional manifolds. Complex geometry investigates complex manifolds and structures like Kähler metrics, bridging with algebraic geometry. Finsler geometry generalizes Riemannian geometry by using a norm rather than an inner product on each tangent space. Contact geometry is the odd-dimensional counterpart to symplectic geometry. The closely related field of differential topology, championed by figures like John Milnor and Stephen Smale, focuses on properties invariant under diffeomorphism, such as the study of exotic spheres.

● Applications

Its impact on theoretical physics is profound. Albert Einstein's general relativity models spacetime as a Lorentzian manifold whose curvature encodes the gravitational field, governed by the Einstein field equations. Gauge theory, which describes fundamental forces in particle physics, is formulated using connections on principal bundles, a concept central to modern differential geometry. In string theory, the extra dimensions of spacetime are often modeled as Calabi–Yau manifolds. Beyond physics, the field finds use in computer vision and geometric modeling for shape analysis, in information geometry for statistics, and in control theory for robotic motion planning.

Category:Differential geometry