The study of geometric properties and structures on smooth manifolds using tools from calculus, differential equations, tensor analysis, and connections; includes concepts such as tangent bundles, differential forms, Riemannian metrics, connections, curvature, geodesics, and holonomy.

Principle

Local differential data (derivatives, connections, curvature) organize into global geometric invariants; smoothness allows calculus-based constructions that link infinitesimal behaviour to global topology and geometry.

Demonstration

Consider a two-dimensional sphere embedded in Euclidean 3-space: equip it with the induced Riemannian metric, compute the Gaussian curvature at each point, examine geodesics as great circles, and apply the Gauss–Bonnet relation to connect total curvature with the Euler characteristic of the sphere.

Misapplication

Applying formulas that require a smooth structure to spaces with singularities or discrete sets (for example treating a polyhedral surface as if it had a globally defined smooth connection) or assuming existence of a Riemannian metric with given properties without checking smooth compatibility.

Consequence

When applied correctly, differential geometry yields computable invariants (curvature tensors, characteristic classes), explicit descriptions of geodesic flows, classification results in low dimensions, and bridges to physics (classical mechanics, general relativity) and analysis on manifolds.

Reversal

Invert to a purely topological or algebraic viewpoint: ignore differentiable structure and study the underlying topological manifold or algebraic variety; many differential invariants vanish or become inaccessible without smoothness, and questions shift to homotopy, homeomorphism, or scheme-theoretic classification.

Boundary

Applies only to smooth (or suitably differentiable) manifolds and smooth maps; excludes purely combinatorial, purely metric, or algebraic varieties over arbitrary fields unless a smooth structure and calculus tools are present; singular spaces require separate singular or metric theories.

Semantic Tension

Overlaps with Riemannian geometry (which emphasizes metrics) and geometric analysis (which emphasizes PDEs on manifolds); tension arises when a concept like curvature is given both analytic (PDE) and topological (index theorem) interpretations, or when algebraic geometry provides analogous 'differentials' in a non-smooth setting.

Synthesis

Differential geometry is the calculus-based framework that encodes how infinitesimal linear data on a smooth manifold assemble into global geometric information, enabling computation and classification of curvature, geodesics, and topological consequences while requiring a genuine differentiable structure.