← Open Interactive Timeline Board

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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