Differential Geometry
Differential geometry studies smooth spaces — curves, surfaces, and manifolds — using the tools of calculus, treating curvature, tangency, and integration on spaces that locally look like Euclidean space but globally may be curved.
Definition
Differential geometry is the study of smooth manifolds and the geometric structures on them — tangent spaces, vector fields, differential forms, and curvature — using differential and integral calculus.
Scope
This area covers the smooth (differentiable) category: manifolds and smooth maps, tangent and cotangent spaces, vector fields and flows, differential forms and integration via Stokes' theorem, and the classical geometry of curves and surfaces in space including the first and second fundamental forms and Gaussian curvature. It provides the calculus on manifolds that Riemannian geometry then equips with a metric, and excludes the purely topological invariants of algebraic topology and the algebraic varieties of algebraic geometry.
Sub-topics
Core questions
- How is calculus defined intrinsically on a space that is only locally Euclidean?
- What does curvature mean for a curve, a surface, and a general manifold?
- How do differential forms unify gradient, curl, divergence, and the fundamental theorems of calculus through Stokes' theorem?
- Which geometric quantities are intrinsic to a surface and which depend on its embedding in space?
Key concepts
- Smooth manifolds and atlases
- Tangent and cotangent spaces, vector fields, and flows
- Differential forms, exterior derivative, and Stokes' theorem
- First and second fundamental forms of a surface
- Gaussian and mean curvature
Clinical relevance
Differential geometry is the mathematical language of general relativity, gauge theory, and continuum mechanics, and supplies the smooth-manifold framework on which Riemannian geometry, global analysis, and much of mathematical physics are built.
History
Growing from Euler's and Gauss's study of curves and surfaces — Gauss's Theorema Egregium (1827) showing curvature is intrinsic — the subject was generalized by Riemann to arbitrary dimensions and recast by Cartan in the language of differential forms and moving frames that shapes the modern treatment.
Key figures
- Carl Friedrich Gauss
- Bernhard Riemann
- Élie Cartan
Related topics
Seminal works
- docarmo1976
- lee2012
Frequently asked questions
- What is the difference between differential geometry and topology?
- Topology studies properties preserved under continuous deformation, ignoring smoothness and distance; differential geometry adds a smooth structure and often a metric, letting one measure curvature, lengths, and angles.
- What is Gauss's Theorema Egregium?
- It states that the Gaussian curvature of a surface is intrinsic — it depends only on distances measured within the surface, not on how the surface sits in space — so a flat map of a curved surface must distort distances.