Algebraic Geometry & Complex Varieties: From Bézout to Grothendieck
Encyclopedia/1. The Cosmos & The Natural World/1. Mathematics & Formal Systems/01. Geometry & Spatial Systems • Curated by Admin Timeline.sg
Algebraic geometry and complex varieties trace the evolution of solving polynomial equations through geometric intuition, from Bézout's theorem on intersections to Grothendieck's revolutionary scheme theory. This field unifies algebra and geometry, with milestones spanning ancient Chinese root-finding, Islamic algebra, European analytic geometry, and modern abstract structures.
Chronological Storyline (37 Milestones)
200 BCE
Chinese Nine Chapters on Roots
The Chinese mathematical text The Nine Chapters on the Mathematical Art includes methods for solving quadratic equations and extracting square roots, early roots of algebraic geometry. #math #history
Chinese Nine Chapters on Roots By 中國書店海王邨公司 - https://pmgs.kongfz.com/detail/1_158470/, Public domain, https://commons.wikimedia.org/w/index.php?curid=22913440
250 CE
Diophantus Writes Arithmetica
Diophantus of Alexandria writes Arithmetica, a foundational text on solving polynomial equations with integer solutions, influencing later algebraic geometry. #math #algebra
820 CE
Al-Khwarizmi's Algebra
Persian mathematician Al-Khwarizmi publishes The Compendious Book on Calculation by Completion and Balancing, systematically solving linear and quadratic equations. #math #islamicgoldenage
Al-Khwarizmi's Algebra By Zarateman - Own work, CC0, https://commons.wikimedia.org/w/index.php?curid=162213187
1070 CE
Omar Khayyam Classifies Cubic Equations
Persian mathematician Omar Khayyam classifies cubic equations and solves them using intersecting conic sections, a geometric approach to algebra. #math #geometry
Omar Khayyam Classifies Cubic Equations By Alireza Javaheri - https://web.archive.org/web/20161024154356/http://www.panoramio.com/photo/85093358, CC BY 3.0, https://commons.wikimedia.org/w/index.php?curid=55909539
1637 CE
Descartes' La Géométrie
René Descartes publishes La Géométrie, introducing analytic geometry and linking algebraic equations to geometric curves, a precursor to algebraic geometry. #math #analyticgeometry
Descartes' La Géométrie By Original uploader was User:Caton at [1] - Originally from fr.wikipedia; description page is/was here., Public domain, https://commons.wikimedia.org/w/index.php?curid=1379032
1779 CE
Bézout's Theorem Published
French mathematician Étienne Bézout publishes Théorie générale des équations algébriques, stating that the number of intersection points of two algebraic curves equals the product of their degrees, counting multiplicities. #algebraicgeometry #math
1827 CE
Poncelet's Projective Geometry
Jean-Victor Poncelet publishes Traité des propriétés projectives des figures, developing projective geometry and invariance under projection, essential for algebraic geometry. #geometry #math
Poncelet's Projective Geometry By Smithsonian Libraries, https://library.si.edu/image-gallery/74037 (You must cite and link to, when possible, the SI Website as the source of the Content) see [3] - [1] and [2], Public domain, https://commons.wikimedia.org/w/index.php?curid=179179
1832 CE
Plücker's Analytic Geometry of Curves
Julius Plücker publishes System der analytischen Geometrie, introducing Plücker formulas relating singularities and genus of algebraic curves. #algebraicgeometry #math
Plücker's Analytic Geometry of Curves By Rudolf Hoffmann (Lithograph), nach einer Photographie von Schafgans in Bonn. - [1]; transferred from en.wikipedia; description page was here 10:04, 15 June 2004 Magnus Manske 728x909 (133,849 bytes), Public domain, https://commons.wikimedia.org/w/index.php?curid=813547
1851 CE
Riemann's Theory of Functions
Bernhard Riemann publishes his doctoral thesis introducing Riemann surfaces, birational geometry, and the Riemann-Roch theorem, foundational for complex algebraic geometry. #algebraicgeometry #complexanalysis
Riemann's Theory of Functions By Unknown author - http://www.sil.si.edu/digitalcollections/hst/scientific-identity/explore.htm according to the German Wikipedia., Public domain, https://commons.wikimedia.org/w/index.php?curid=27383
1869 CE
Clebsch and Gordan's Invariant Theory
Alfred Clebsch and Paul Gordan publish Über die Theorie der binären algebraischen Formen, advancing invariant theory and its connection to algebraic varieties. #math #algebraicgeometry
Clebsch and Gordan's Invariant Theory By Unknown author - Unknown source, Public domain, https://commons.wikimedia.org/w/index.php?curid=928786
1882 CE
Kronecker's Divisor Theory
Leopold Kronecker publishes Grundzüge einer arithmetischen Theorie der algebraischen Grössen, developing an arithmetic theory of algebraic numbers that later influences scheme theory. #algebraicgeometry #numbertheory
Kronecker's Divisor Theory By Unknown author - http://www.britannica.com/EBchecked/media/28346/Kronecker-1865, Public domain, https://commons.wikimedia.org/w/index.php?curid=33753789
1893 CE
Hilbert's Nullstellensatz
David Hilbert proves the Nullstellensatz, establishing a correspondence between algebraic varieties and ideals in polynomial rings, a central theorem in algebraic geometry. #algebraicgeometry #math
1895 CE
Poincaré's Algebraic Topology Foundations
Henri Poincaré publishes Analysis situs, laying the foundations of algebraic topology, which later intertwines with algebraic geometry through sheaf cohomology. #topology #math
Poincaré's Algebraic Topology Foundations By Unknown author - Popular Science Monthly Volume 82, Public domain, https://commons.wikimedia.org/w/index.php?curid=20644432
1900 CE
Hilbert's 15th Problem: Rigorous Foundations
David Hilbert poses the 15th problem, calling for a rigorous foundation of Schubert's enumerative geometry, spurring development of intersection theory. #algebraicgeometry #math
1921 CE
Noether's Commutative Algebra
Emmy Noether publishes Idealtheorie in Ringbereichen, establishing abstract commutative algebra and the theory of ideals, crucial for algebraic geometry. #algebraicgeometry #math
Noether's Commutative Algebra By Unknown authorUnknown author Publisher: Mathematical Association of America [3], Brooklyn Museum [4], Agnes Scott College [5], [6] - Emmy Noether (1882-1935), Archived, Public domain, https://commons.wikimedia.org/w/index.php?curid=158126186
1935 CE
Zariski's Algebraic Surfaces
Oscar Zariski publishes Algebraic Surfaces, using abstract algebra and valuation theory to study birational geometry, advancing the Italian school. #algebraicgeometry #math
Zariski's Algebraic Surfaces By George Bergman - https://opc.mfo.de/detail?photo_id=6262, GFDL 1.2, https://commons.wikimedia.org/w/index.php?curid=6090840
1940 CE
Weil Conjectures Proposed
André Weil formulates the Weil conjectures, linking the number of points on algebraic varieties over finite fields to topology, driving modern algebraic geometry. #algebraicgeometry #numbertheory
1946 CE
Weil's Foundations of Algebraic Geometry
André Weil publishes Foundations of Algebraic Geometry, providing a rigorous framework using abstract varieties and generic points. #algebraicgeometry #math
Weil's Foundations of Algebraic Geometry By Konrad Jacobs - opc.mfo.de/detail?would like to publish=1&photo id=8654, CC BY-SA 2.0 de, https://commons.wikimedia.org/w/index.php?curid=163826140
1955 CE
Kodaira's Embedding Theorem
Kunihiko Kodaira proves the embedding theorem for compact Kähler manifolds, linking complex geometry to algebraic geometry. #complexgeometry #algebraicgeometry
1956 CE
Serre's GAGA Principle
Jean-Pierre Serre publishes Géométrie algébrique et géométrie analytique, establishing the GAGA principle: equivalence between algebraic and analytic geometry for projective varieties. #algebraicgeometry #complexanalysis
1957 CE
Grothendieck's Riemann-Roch Theorem
Alexander Grothendieck proves a generalized Riemann-Roch theorem using K-theory, revolutionizing algebraic geometry with cohomological methods. #algebraicgeometry #math
Grothendieck's Riemann-Roch Theorem By Alexander Grothendieck - http://math.stanford.edu/~vakil/11-245/, Public domain, https://commons.wikimedia.org/w/index.php?curid=33300556
1960 CE
Grothendieck's EGA Begins
Alexander Grothendieck starts publishing Éléments de géométrie algébrique (EGA), developing the theory of schemes and revolutionizing algebraic geometry. #algebraicgeometry #math
1964 CE
Hironaka's Resolution of Singularities
Heisuke Hironaka proves that algebraic varieties over characteristic zero can be resolved to smooth varieties, a major breakthrough. #algebraicgeometry #math
Hironaka's Resolution of Singularities By Franklin Vera Pacheco / Franklin.vp at en.wikipedia - Own work, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=17742810
1965 CE
Deligne's Proof of Weil Conjectures (First Part)
Pierre Deligne proves the Riemann hypothesis part of the Weil conjectures for varieties over finite fields, using étale cohomology. #algebraicgeometry #numbertheory
1970 CE
Mumford's Geometric Invariant Theory
David Mumford publishes Geometric Invariant Theory, providing methods for constructing quotients of algebraic varieties by group actions. #algebraicgeometry #math
1974 CE
Faltings' Finiteness Theorem for Abelian Varieties
Gerd Faltings proves the Mordell conjecture, showing that curves of genus >1 have only finitely many rational points, using algebraic geometry. #algebraicgeometry #numbertheory
Faltings' Finiteness Theorem for Abelian Varieties By Renate Schmid - https://opc.mfo.de/detail?photoID=7513, CC BY-SA 2.0 de, https://commons.wikimedia.org/w/index.php?curid=5427105
1983 CE
Mori's Minimal Model Program
Shigefumi Mori initiates the minimal model program for birational classification of algebraic varieties of dimension three, winning the Fields Medal. #algebraicgeometry #math
1991 CE
Mirror Symmetry Conjecture
Physicists and mathematicians (Candelas et al.) propose mirror symmetry, linking Calabi-Yau manifolds and enumerative geometry via string theory. #algebraicgeometry #physics )
1994 CE
Wiles' Proof of Fermat's Last Theorem
Andrew Wiles proves Fermat's Last Theorem using elliptic curves and modular forms, heavily relying on algebraic geometry and Galois representations. #algebraicgeometry #numbertheory
Wiles' Proof of Fermat's Last Theorem By "copyright C. J. Mozzochi, Princeton N.J" - http://www.mozzochi.org/deligne60/Deligne1/_DSC0024.jpg, Attribution, https://commons.wikimedia.org/w/index.php?curid=2635913
1995 CE
Kontsevich's Homological Mirror Symmetry
Maxim Kontsevich formulates homological mirror symmetry, a deep conjecture connecting Fukaya categories and derived categories of coherent sheaves. #algebraicgeometry #symplecticgeometry
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
2000 CE
Resolution of Singularities in Positive Characteristic (Partial)
Shigefumi Mori and others make progress on resolution of singularities in characteristic p, a long-standing problem. #algebraicgeometry #math
2002 CE
Perelman's Proof of Poincaré Conjecture
Grigori Perelman proves the Poincaré conjecture using Ricci flow, influencing geometric analysis and algebraic geometry. #geometry #topology
2009 CE
Bhatt's p-adic Hodge Theory Advances
Bhargav Bhatt and others develop new foundations for p-adic Hodge theory using perfectoid spaces, linking to algebraic geometry. #algebraicgeometry #numbertheory
2012 CE
Geometric Langlands Program Progress
Dennis Gaitsgory and others prove critical cases of the geometric Langlands conjecture, connecting algebraic geometry to representation theory. #algebraicgeometry #representationtheory
2014 CE
Hacon-McKernan's Finite Generation of Canonical Ring
Christopher Hacon and James McKernan prove the finite generation of the canonical ring for general type varieties, key in minimal model program. #algebraicgeometry #math
2017 CE
Caucher Birkar Wins Fields Medal
Caucher Birkar wins the Fields Medal for contributions to birational geometry, including boundedness of Fano varieties. #algebraicgeometry #math
Caucher Birkar Wins Fields Medal By ICM 2018 - PHOTO PABLO COSTA/ICM 018., PDM-owner, https://commons.wikimedia.org/w/index.php?curid=130202787
2021 CE
Stable Cohomology of Moduli Spaces
Progress on the stable cohomology of moduli spaces of curves and Higgs bundles, linking topology and algebraic geometry. #algebraicgeometry #topology