Encyclopedia/1. The Cosmos & The Natural World/1. Mathematics & Formal Systems/01. Geometry & Spatial Systems • Curated by Admin Timeline.sg
Differential geometry studies curves, surfaces, and manifolds using calculus, with applications from general relativity to modern gauge theory. This timeline covers key milestones from ancient geometry to modern breakthroughs like the proof of the Poincaré conjecture.
Chronological Storyline (44 Milestones)
300 BCE
Euclid's Elements
Euclid's Elements establishes the axiomatic foundation of geometry, influencing the development of manifold theory centuries later. #geometry #history
Euclid's Elements By University of Pennsylvania Museum of Archaeology and Anthropology - https://openn.library.upenn.edu/Data/0016/html/e2748.html, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=169166171
225 BCE
Apollonius' Conics
Apollonius of Perga writes Conics, a comprehensive study of conic sections that later informs the study of curves in differential geometry. #geometry #history
Apollonius' Conics By Giovanni Battista Memo - File:ApolloniiPergeiOpera1537.jpg, Public domain, https://commons.wikimedia.org/w/index.php?curid=70830662
1637 CE
Descartes' Analytic Geometry
René Descartes introduces coordinate geometry, merging algebra and geometry and providing the basis for differential calculus on curves. #mathematics #geometry
1696 CE
Bernoulli's Brachistochrone Problem
Johann Bernoulli poses the brachistochrone problem, leading to the calculus of variations and the study of geodesics in differential geometry. #mathematics #calculus
Bernoulli's Brachistochrone Problem By Mkwadee - Own work, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=148684213
1736 CE
Euler's Curvature of Surfaces
Leonhard Euler introduces the concept of principal curvatures for surfaces, laying the groundwork for differential geometry of surfaces. #mathematics #geometry
Euler's Curvature of Surfaces By Driscoll M, McCann C, Kopace R, Homan T, Fourkas J, Parent C, Losert W - Video S1 from Driscoll M, McCann C, Kopace R, Homan T, Fourkas J, Parent C, Losert W. "Cell Shape Dynamics: From Waves to Migration". PLOS Computational Biology. DOI:10.1371/journal.pcbi.1002392. PMID 22438794. PMC: 3305346., CC BY 2.5, https://commons.wikimedia.org/w/index.php?curid=22182941
1777 CE
Monge's Descriptive Geometry
Gaspard Monge develops descriptive geometry and studies curvature lines, contributing to the differential geometry of surfaces. #geometry #mathematics
Monge's Descriptive Geometry By François-Séraphin Delpech - http://www.sil.si.edu/digitalcollections/hst/scientific-identity/CF/by_name_display_results.cfm?scientist=Monge,%20Gaspard, Public domain, https://commons.wikimedia.org/w/index.php?curid=646122
1827 CE
Gauss' Theorema Egregium
Carl Friedrich Gauss proves that Gaussian curvature is intrinsic to a surface, a landmark theorem for Riemannian geometry. #mathematics #geometry
Gauss' Theorema Egregium By Eric Gaba (Sting - fr:Sting) - Own work Data : U.S. NGDC World Coast Line (public domain), CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=4677929
1829 CE
Lobachevsky's Non-Euclidean Geometry
Nikolai Lobachevsky publishes his work on hyperbolic geometry, challenging Euclidean orthodoxy and paving the way for curved manifolds. #mathematics #geometry
Lobachevsky's Non-Euclidean Geometry By Lev Kryukov - http://cczy.blog.ru/?year=2009&month=11, Public domain, https://commons.wikimedia.org/w/index.php?curid=12821190
1854 CE
Riemann's Habilitation on Manifolds
Bernhard Riemann presents his habilitation lecture on the foundations of geometry, introducing the concept of a (Riemannian) manifold. #mathematics #geometry
Riemann's Habilitation on Manifolds By Mathwriter2718 - Own work, CC0, https://commons.wikimedia.org/w/index.php?curid=151193145
1869 CE
Christoffel Symbols
Elwin Bruno Christoffel introduces Christoffel symbols, essential for covariant differentiation on manifolds. #mathematics #differentialgeometry
1873 CE
Beltrami's Differential Operator
Eugenio Beltrami introduces the Beltrami-Laplace operator, a key tool in geometric analysis and Riemannian geometry. #mathematics #geometry
1884 CE
Darboux's Moving Frames
Gaston Darboux develops the method of moving frames, a powerful technique in differential geometry. #mathematics #geometry
Darboux's Moving Frames By Silly rabbit - Created with en:mathematica. This diagram was created with Mathematica., CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=18558005
1887 CE
Ricci's Tensor Calculus
Gregorio Ricci-Curbastro begins developing the Ricci calculus (tensor analysis), crucial for general relativity and differential geometry. #mathematics #tensorcalculus
1915 CE
Einstein's General Relativity
Albert Einstein formulates general relativity, describing gravity as curvature of spacetime, a profound application of Riemannian geometry. #physics #relativity
Einstein's General Relativity By Simulating eXtreme Spacetimes Lensing (SXS) - https://www.ligo.caltech.edu/video/ligo20160211v3 (video link); see also http://www.black-holes.org/gw150914, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=46994894
1917 CE
Levi-Civita Connection
Tullio Levi-Civita defines parallel transport and the connection on a curved manifold, foundational for modern differential geometry. #mathematics #geometry
Levi-Civita Connection By Silly rabbit at English Wikipedia - Transferred from en.wikipedia to Commons., CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=2615879
1920 CE
Weyl's Gauge Theory
Hermann Weyl introduces the concept of gauge invariance, attempting to unify electromagnetism and gravity via a connection on a bundle. #physics #geometry
1926 CE
Cartan's Exterior Calculus
Élie Cartan develops the calculus of differential forms and exterior derivatives, unifying and extending differential geometry. #mathematics #differentialforms
1930 CE
Hodge Theory Begins
W. V. D. Hodge introduces Hodge theory, linking harmonic forms on manifolds to de Rham cohomology. #mathematics #topology
1931 CE
De Rham Cohomology
Georges de Rham establishes de Rham cohomology, a central tool in differential topology and manifold theory. #mathematics #topology
De Rham Cohomology By AllenMcC. - Own work, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=5491827
1936 CE
Whitney Embedding Theorem
Hassler Whitney proves that any smooth manifold can be embedded into Euclidean space, a fundamental result in differential topology. #mathematics #topology
1940 CE
Chern Classes
Shiing-Shen Chern defines characteristic classes (Chern classes) for complex vector bundles, revolutionizing differential geometry and topology. #mathematics #topology
1940 CE
Ehresmann's Fibre Bundles
Charles Ehresmann formalizes fibre bundles and connections, providing the language for gauge theory and modern differential geometry. #mathematics #geometry
Ehresmann's Fibre Bundles By en:User:Musical Linguist - Transwikied from English Wikipedia; originally uploaded there by en:User:Musical Linguist, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=1472591
1941 CE
Hopf Fibration
Heinz Hopf discovers the Hopf fibration, an important example of a non-trivial fiber bundle linking spheres. #mathematics #topology
Hopf Fibration By Niles Johnson - Own work, CC BY 4.0, https://commons.wikimedia.org/w/index.php?curid=22485543
1950 CE
Kodaira's Work on Kähler Manifolds
Kunihiko Kodaira develops the theory of Kähler manifolds and their deformations, earning a Fields Medal in 1954. #mathematics #geometry
1953 CE
Rauch Comparison Theorem
Harry Rauch proves comparison theorems for Jacobi fields, a key analytical tool in Riemannian geometry. #mathematics #geometry
1954 CE
Yang-Mills Theory
Chen-Ning Yang and Robert Mills introduce gauge theory, describing particle physics via connections on principal bundles, linking physics and differential geometry. #physics #gaugetheory
Yang-Mills Theory By Joel Holdsworth (Joelholdsworth) - Non-Derived SVG of Radiate gluon.png, originally the work of SilverStar at Feynmann-diagram-gluon-radiation.svg, updated by joelholdsworth., Public domain, https://commons.wikimedia.org/w/index.php?curid=1764161
1956 CE
Nash Embedding Theorem
John Nash proves that every Riemannian manifold can be isometrically embedded in Euclidean space, a landmark in geometric analysis. #mathematics #geometry
1956 CE
Milnor's Exotic Spheres
John Milnor constructs exotic spheres, showing that there exist differentiable structures on spheres not diffeomorphic to the standard one. #mathematics #topology
1960 CE
Bott Periodicity Theorem
Raoul Bott proves periodicity in homotopy groups of Lie groups, a fundamental result in differential topology and K-theory. #mathematics #topology
1961 CE
Smale's h-Cobordism Theorem
Stephen Smale proves the h-cobordism theorem, solving the Poincaré conjecture in dimensions ≥5 and advancing differential topology. #mathematics #topology
1963 CE
Atiyah-Singer Index Theorem
Michael Atiyah and Isadore Singer prove the index theorem, linking analysis, geometry, and topology in a deep way. #mathematics #analysis
1965 CE
Penrose's Twistor Theory
Roger Penrose introduces twistor theory, a geometric framework for spacetime that influences modern differential geometry. #physics #geometry
1969 CE
Gromov's h-Principle
Mikhail Gromov develops the h-principle, a general framework for solving differential relations, influencing symplectic and contact geometry. #mathematics #geometry
Gromov's h-Principle By Unknown author, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=644841
1970 CE
Calabi-Yau Manifolds
Shing-Tung Yau proves the Calabi conjecture, establishing the existence of Calabi-Yau manifolds, crucial for string theory. #mathematics #geometry
Calabi-Yau Manifolds By Andrew J. Hanson - Ticket#2014010910010981, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=30579072
1977 CE
Chern-Simons Theory
Shiing-Shen Chern and James Simons define Chern-Simons invariants, leading to a topological quantum field theory. #mathematics #physics
1981 CE
Positive Mass Theorem
Richard Schoen and Shing-Tung Yau prove the positive mass theorem in general relativity using minimal surface techniques. #physics #geometry
1982 CE
Thurston's Geometrization Conjecture
William Thurston proposes the geometrization conjecture, a deep classification of 3-manifolds that generalizes the Poincaré conjecture. #mathematics #topology
Thurston's Geometrization Conjecture By George Bergman - https://opc.mfo.de/detail?photo_id=6119, GFDL 1.2, https://commons.wikimedia.org/w/index.php?curid=6090942
1983 CE
Donaldson's Gauge Theory
Simon Donaldson uses instantons from gauge theory to uncover exotic smooth structures on 4-manifolds, revolutionizing 4-dimensional topology. #mathematics #topology
1986 CE
Floer Homology
Andreas Floer invents Floer homology, an infinite-dimensional Morse theory essential for studying symplectic manifolds and 3-manifold topology. #mathematics #symplectic
Floer Homology By Unknown author, Public domain, https://commons.wikimedia.org/w/index.php?curid=2131697
1991 CE
Mirror Symmetry Conjecture
Physicists propose mirror symmetry relating Calabi-Yau manifolds, sparking deep interactions between differential geometry and string theory. #physics #geometry )
1993 CE
Seiberg-Witten Invariants
Edward Witten and Nathan Seiberg introduce Seiberg-Witten invariants, providing a simpler gauge-theoretic tool for studying 4-manifolds. #mathematics #physics
1994 CE
Kontsevich's Homological Mirror Symmetry
Maxim Kontsevich formulates homological mirror symmetry, a mathematical conjecture linking symplectic and complex geometry. #mathematics #geometry
Kontsevich's Homological Mirror Symmetry By The original uploader was Lunch at English Wikipedia. - Transferred from en.wikipedia to Commons by Lunch. This diagram was created with Mathematica by n., CC BY-SA 2.5, https://commons.wikimedia.org/w/index.php?curid=3466278
2003 CE
Perelman's Proof of Poincaré Conjecture
Grigori Perelman completes the proof of the Poincaré conjecture using Ricci flow, a landmark in differential geometry and topology. #mathematics #topology
2006 CE
Perelman's Geometrization Proof
Perelman's work is confirmed, establishing the full geometrization conjecture for 3-manifolds, solving Thurston's program. #mathematics #topology