smooth manifolds

smooth manifolds Smooth manifolds are topological spaces that locally resemble Euclidean space and are equipped with a compatible collection of smooth coordinate charts permitting calculus. They form the foundational setting for modern differential topology and differential geometry, underpinning theories ranging from classical mechanics to modern gauge theories and global analysis. Historically influenced by figures such as Carl Friedrich Gauss, Bernhard Riemann, Henri Poincaré, Élie Cartan, and John Milnor, smooth manifolds connect to many institutions and events like the École Polytechnique, the University of Göttingen, the International Congress of Mathematicians, and awards such as the Fields Medal.

Definition and basic examples

A smooth manifold is a second-countable Hausdorff topological space endowed with a maximal atlas whose transition maps are smooth (infinitely differentiable). Standard examples include Euclidean spaces ℝ^n, spheres such as S^n studied by Augustin-Jean Fresnel and Georg Friedrich Bernhard Riemann’s contemporaries, tori that arise in the study of Pierre-Simon Laplace and Joseph Fourier problems, projective spaces like real projective space RP^n relevant to Felix Klein’s Erlangen program, and Grassmannians that appear in work by Hermann Grassmann. Other canonical instances include Lie groups such as Sophus Lie’s classical groups, matrix groups like GL(n,ℝ) central to Évariste Galois-inspired algebra, and configuration spaces appearing in studies connected to Henri Poincaré and Sophus Lie’s followers.

Smooth structures and atlases

A smooth structure on a topological manifold is a maximal smooth atlas: a collection of coordinate charts compatible under smooth transition maps. The existence and uniqueness of smooth structures can be subtle: exotic spheres discovered by John Milnor illustrate nontrivial smooth structures on topological spheres, while results by Michel Kervaire and René Thom clarify cobordism obstructions. The classification of smooth structures on manifolds is intertwined with work at institutions like Institute for Advanced Study and conferences such as the International Congress of Mathematicians, and with techniques developed by William Thurston and Michael Freedman in topology.

Tangent spaces, vector fields, and differential forms

At each point of a smooth manifold one defines a tangent space, a real vector space whose elements are derivations of germs of smooth functions; this construction follows ideas by Élie Cartan and Bernhard Riemann. Vector fields are smooth sections of the tangent bundle, while differential forms are sections of exterior powers of the cotangent bundle and play central roles in integration theory and de Rham cohomology developed by Georges de Rham. The interplay of vector fields and forms is central to results such as Stokes’ theorem, with historical context tied to figures like Siméon Denis Poisson and Lord Kelvin. Modern treatments connect to analytic work at places like Princeton University and Harvard University.

Submanifolds, immersions, and embeddings

Submanifolds are subsets that inherit a compatible smooth structure; immersions are smooth maps with injective differentials, while embeddings are immersions that are homeomorphisms onto their images. Classic theorems by Stephen Smale on immersions and by Hassler Whitney (the Whitney embedding theorem) give existence and genericity results; Whitney’s techniques influenced subsequent work at Columbia University and University of Chicago. Transversality, developed by René Thom and applied by John Mather, provides a framework for understanding intersections and stability of submanifolds, with applications extending to catastrophe theory and singularity theory.

Constructions: products, quotients, and fiber bundles

New smooth manifolds arise from constructions such as Cartesian products, quotients by smooth group actions, and fiber bundles. Products of manifolds inherit product smooth structures; quotients by proper, free actions of Lie groups yield quotient manifolds central to the study of homogeneous spaces as in Elie Cartan’s work on symmetric spaces and later developments by Armand Borel. Fiber bundles, including principal bundles and vector bundles, are foundational in gauge theory and were formalized by contributors like Norman Steenrod and Raoul Bott. Important examples include tangent bundles, normal bundles, and associated bundles used extensively at research centers such as the Mathematical Institute, Oxford.

Smooth maps, diffeomorphisms, and flows

Smooth maps between manifolds allow for the transfer of structure and the study of critical points, regular values, and Sard’s theorem proved by Arthur Sard. A diffeomorphism is a smooth bijection with a smooth inverse and forms the morphisms in the category of smooth manifolds; classification up to diffeomorphism is a major theme in work by Milnor, Simon Donaldson, and Michael Freedman. Flows generated by vector fields lead to dynamical systems studied by Henri Poincaré and later formalized in ergodic theory and hyperbolic dynamics by researchers at institutions like University of Warwick and California Institute of Technology.

Applications and advanced topics (Morse theory, Lie groups)

Advanced topics link smooth manifolds to Morse theory, which analyzes topology via critical points of smooth functions (pioneered by Marston Morse and applied by Raoul Bott), and to Lie groups, smooth manifolds with group structure central to Sophus Lie and later to representation theory developed by Hermann Weyl and Harish-Chandra. Further areas include symplectic geometry with roots in William Rowan Hamilton’s work and developments by Andrei Kolmogorov’s circle, index theory initiated by Michael Atiyah and Isadore Singer, and gauge theory influenced by Yang-Mills research and applications at institutions like CERN and Institute for Advanced Study. These connections continue to motivate research at universities and research institutes worldwide, influencing fields touched by winners of recognitions such as the Wolf Prize and the Abel Prize.

Category:Differential topology