Differential Geometry

Curvature

\[\kappa=\frac{|y''|}{(1+y'^2)^{3/2}}\]

Measures how sharply a curve bends at each point.

Examples

Example 1. Curvature of y=x² at x=0.

Solution. κ=|2|/(1+0)^{3/2}=2.

In Depth

Differential geometry applies calculus to study curves and surfaces. A smooth curve in \(\mathbb{R}^3\) is described by its curvature \(\kappa\) (how fast it bends) and torsion \(\tau\) (how fast it twists out of a plane). The Frenet–Serret formulas relate the tangent, normal, and binormal vectors.

For surfaces, the first fundamental form measures distances and angles on the surface (intrinsic geometry). The second fundamental form measures how the surface curves in the ambient space (extrinsic geometry). The Gaussian curvature \(K = \kappa_1\kappa_2\) (product of principal curvatures) is intrinsic — it can be measured by creatures living on the surface.

Gauss's Theorema Egregium ('remarkable theorem'): Gaussian curvature is preserved by isometries (distance-preserving maps). This means you cannot flatten a sphere without distortion — explaining why flat maps of the Earth always distort distances or areas.

The Gauss–Bonnet theorem connects geometry and topology: \(\iint_S K\,dA + \oint_{\partial S}\kappa_g\,ds = 2\pi\chi(S)\) where \(\chi\) is the Euler characteristic. For a closed surface, \(\iint K\,dA = 2\pi\chi\). This means the total curvature of a sphere is always \(4\pi\), regardless of its shape.

Riemannian geometry generalizes differential geometry to abstract manifolds with a metric tensor. Einstein's general relativity describes gravity as the curvature of 4D spacetime — a Riemannian (actually pseudo-Riemannian) manifold. The geodesics of this curved spacetime are the paths of freely falling objects.

Key Properties & Applications

Geodesics are the 'straightest possible' curves on a surface — they generalize straight lines. On a sphere, geodesics are great circles. On a cylinder, they are helices. Geodesics satisfy the geodesic equation, a second-order ODE derived from the metric.

Minimal surfaces have zero mean curvature (\(H=(\kappa_1+\kappa_2)/2=0\)) and locally minimize area. Soap films spanning a wire frame form minimal surfaces. Examples: the catenoid (surface of revolution of a catenary), the helicoid, and Scherk's surface.

The Ricci flow, introduced by Hamilton and used by Perelman to prove the Poincaré conjecture (2003), evolves a Riemannian metric by \(\partial g/\partial t=-2\text{Ric}\). It smooths out irregularities in the metric, eventually producing a metric of constant curvature.

Further Reading & Context

The study of differential geometry connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.

Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.

In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.

Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.

Deep Dive: Differential Geometry

This lesson extends core ideas for differential geometry with rigorous reasoning, edge-case checks, and application framing in geometry.

Practice Set

Practice. Derive one main result on this page and validate with a numeric or geometric check.

Goal. Confirm assumptions, transformation steps, and final interpretation.

References & Editorial Notes

  • Stewart, Calculus.
  • Strang, Introduction to Linear Algebra.
  • Apostol, Mathematical Analysis.

Last editorial review: 2026-04-14.