Differential Geometry · aiwiki.page

Differential geometry is the branch of mathematics that uses calculus and linear algebra to study smooth curves, surfaces, and higher-dimensional spaces. It investigates geometric structures such as metrics, curvature, and connections, as well as differentiation and integration on spaces that need not be flat. Its central objects are smooth manifolds, which locally resemble ordinary Euclidean space but may have different global shapes. The subject extends classical geometry beyond figures in an ambient coordinate space and connects local measurements with global properties studied in topology. (people.maths.ox.ac.uk)

Historical development

Classical differential geometry developed through the application of calculus to curves and surfaces. Tangents, arc lengths, and curvature became quantities that could be calculated from derivatives of parametrizations. A decisive advance came from Carl Friedrich Gauss, whose work distinguished the intrinsic geometry of a surface from its particular placement in three-dimensional space. His Theorema Egregium established that Gaussian curvature can be determined from measurements made within the surface itself. (maths.tcd.ie)

Bernhard Riemann extended this viewpoint to spaces of arbitrary dimension in his 1854 lecture on the foundations of geometry. Rather than requiring a space to sit inside a larger Euclidean space, he described geometry through an infinitesimal rule for measuring lengths. This approach underlies the modern study of manifolds equipped with geometric structures, with coordinate systems serving as descriptions rather than defining the objects themselves. (maths.tcd.ie)

Smooth manifolds and tangent spaces

An $n$ -dimensional smooth manifold is described locally by coordinate charts taking values in open subsets of $\mathbb{R}^n$ . Where charts overlap, the coordinate changes are smooth. These compatibility conditions make differentiation meaningful independently of the selected coordinates. A sphere, for example, is a two-dimensional manifold even though its usual realization lies in three-dimensional space. No single chart is required to cover an entire manifold. (damtp.cam.ac.uk)

At each point $p$ , the tangent space $T_pM$ records the possible instantaneous directions of motion through that point. It is an $n$ -dimensional vector space, and a smooth map between manifolds induces a linear map between their tangent spaces. A vector field assigns a tangent vector smoothly to every point. Covectors, tensors, and differential forms provide further coordinate-independent objects on which geometric operations can be defined. (damtp.cam.ac.uk)

The distinction between a manifold and its additional structures is important. Smoothness alone permits differentiation, but does not specify lengths, angles, or curvature associated with a metric. Those require further geometric data. (damtp.cam.ac.uk)

Metrics, geodesics, and curvature

A Riemannian metric assigns a positive-definite inner product to each tangent space, varying smoothly with position. It determines lengths of curves, angles between tangent vectors, and volume. In local coordinates, the infinitesimal squared length is written

ds^2=g_{ij}\,dx^i\,dx^j,

with repeated indices summed. Riemannian geometry studies manifolds equipped with such metrics. (people.maths.ox.ac.uk)

A geodesic generalizes a straight line. With an affine parameter, its tangent vector is parallel along the curve itself. Geodesics locally minimize length over sufficiently short segments, but need not be shortest paths between widely separated endpoints. On a round sphere they follow great circles; a sufficiently long great-circle arc is not globally minimizing. (people.maths.ox.ac.uk)

Comparing vectors at different points requires a connection. Its covariant derivative differentiates vector fields while accounting for the changing tangent spaces. A Riemannian metric determines a unique torsion-free, metric-compatible connection, called the Levi-Civita connection. The Riemann curvature tensor measures the failure of covariant derivatives to commute, with the appropriate correction for the commutator of vector fields. It also describes the infinitesimal effects of transporting vectors around loops. (damtp.cam.ac.uk)

Curves, surfaces, and intrinsic geometry

For a regular curve in Euclidean space, curvature measures how rapidly the unit tangent changes with arc length. For a space curve with nonzero curvature, torsion measures how its moving frame twists away from a fixed plane. These quantities describe its local bending and twisting. (cse291-i.github.io)

A surface has both intrinsic and extrinsic geometry. Intrinsic geometry concerns measurements within the surface, while extrinsic geometry concerns its embedding in an ambient space. The first fundamental form is its induced metric; the second fundamental form records bending relative to a normal direction. At a point, Gaussian curvature is the product of the two principal curvatures. A plane and a circular cylinder both have zero Gaussian curvature, despite their different extrinsic shapes. (cse291-i.github.io)

The Gauss–Bonnet theorem connects local geometry to global topology. For a compact oriented surface $M$ without boundary,

\int_M K\,dA=2\pi\chi(M),

where $K$ is Gaussian curvature and $\chi(M)$ is the Euler characteristic. Thus total curvature is constrained by topology, even though the curvature at individual points depends on the metric. Surfaces with boundary require additional boundary terms. (webhomes.maths.ed.ac.uk)

Differential forms and other geometric structures

Differential forms provide a coordinate-independent language for integration over manifolds. A $k$ -form can be integrated over an oriented $k$ -dimensional domain. Exterior differentiation and Stokes’ theorem relate an integral over a domain to one over its boundary:

\int_M d\omega=\int_{\partial M}\omega.

This framework unifies several classical integration theorems. (arxiv.org)

Not all differential geometry is metric geometry. Symplectic geometry studies even-dimensional manifolds equipped with a closed, nondegenerate two-form. Such a form supplies the geometric structure of phase space in Hamiltonian mechanics, converting derivatives of a Hamiltonian function into a vector field governing motion. (damtp.cam.ac.uk)

In general relativity, within the theory of relativity, spacetime carries a Lorentzian metric rather than a positive-definite one. This metric distinguishes timelike, spacelike, and null directions. The Einstein field equations relate spacetime curvature to matter and energy, making differential geometry part of the mathematical formulation of gravitation. (damtp.cam.ac.uk)