1928 – 2014 • Architect of Modern Geometry
The most revolutionary mathematician of the 20th century, who rebuilt algebraic geometry from scratch and then walked away from mathematics entirely.
Alexander Grothendieck was born on March 28, 1928 in Berlin. His father Alexander Schapiro was a Russian-Jewish anarchist; his mother Hanka Grothendieck was a German journalist and writer.
His childhood was shaped by political upheaval. His parents were activists; his father fought in the Spanish Civil War. After the Nazi rise, the family fled to France. His father was interned at Le Vernet and later deported to Auschwitz, where he perished.
Young Alexander spent the war years in internment camps and hiding, eventually sheltered in Le Chambon-sur-Lignon. Despite minimal formal education, he independently redeveloped Lebesgue measure theory as a teenager.
After the war, he studied at Montpellier and then went to Paris, where Cartan and Schwartz directed him to Nancy to work with Laurent Schwartz and Jean Dieudonne on functional analysis. Within two years, he had solved all the problems they posed.
At the Institut des Hautes Etudes Scientifiques, Grothendieck revolutionized algebraic geometry. He introduced schemes, rewrote the foundations via EGA and SGA, developed topos theory, and proved the Grothendieck-Riemann-Roch theorem.
Awarded the Fields Medal for his work on algebraic geometry. He boycotted the Moscow ceremony for political reasons (Soviet repression). The citation mentioned his "contributions to the theory of schemes."
Left IHES after discovering it received partial military funding. Became increasingly involved in ecology and pacifism. Spent time at Montpellier and CNRS but gradually withdrew from mathematics.
Retreated to a village in the Pyrenees, cutting off contact with the mathematical world. Wrote thousands of pages of unpublished manuscripts on mathematics, philosophy, and dreams. Died November 13, 2014.
Grothendieck emerged during the Bourbaki era, when French mathematics emphasized axiomatics and structural thinking. He went far beyond Bourbaki, rebuilding entire fields rather than merely formalizing them.
The IHES, modeled on Princeton's IAS, gave him institutional freedom to pursue his grand vision with a dedicated group of collaborators.
Pre-Grothendieck algebraic geometry (Italian school, Weil, Zariski) studied solutions of polynomial equations using ad hoc methods. The subject lacked a unified foundation.
Grothendieck replaced everything with a single concept: the scheme, based on commutative algebra and category theory. This allowed algebraic geometry to work over any ring, not just fields, unifying number theory and geometry.
Bourbaki Category Theory Weil Conjectures
A scheme is a topological space (the "Zariski topology") equipped with a sheaf of rings (the "structure sheaf"). It generalizes both classical algebraic varieties and objects from number theory.
The key insight: Spec(R), the spectrum of a commutative ring R, is a geometric object whose "points" are the prime ideals of R. A scheme is obtained by gluing such spectra together.
This framework allows arithmetic and geometry to merge: the integers Z become a geometric object (Spec Z), and questions about prime numbers become geometric questions.
Elements de Geometrie Algebrique (EGA, with Dieudonne) and Seminaire de Geometrie Algebrique (SGA) total thousands of pages, systematically rebuilding algebraic geometry. They remain the reference works for the field, over 60 years later.
Grothendieck vastly generalized the classical Riemann-Roch theorem using K-theory and higher direct images of sheaves. This became a model for the Atiyah-Singer index theorem and modern intersection theory.
To attack the Weil conjectures, Grothendieck invented etale cohomology: a way to apply topological methods to algebraic varieties over finite fields. His student Deligne used it to prove the last Weil conjecture (1974, Fields Medal).
Grothendieck generalized the notion of "space" to a topos: a category that behaves like the category of sheaves on a space. This unified geometry, logic, and set theory, and influenced computer science (type theory).
Andre Weil (1949) conjectured deep properties of the zeta function of algebraic varieties over finite fields, analogous to the Riemann hypothesis. Proving them required a cohomology theory for algebraic geometry that didn't yet exist.
Grothendieck created multiple such theories: etale, crystalline, l-adic. His "motives" program envisioned a universal cohomology theory underlying all of them — a vision still not fully realized.
Rationality (Dwork, 1960), functional equation and Betti numbers (Grothendieck, 1965), and the "Riemann hypothesis" analogue (Deligne, 1974). Grothendieck's framework made the first two almost formal, and enabled Deligne's deep proof of the third.
Grothendieck proposed the "standard conjectures on algebraic cycles" which, if true, would give a completely algebraic proof of the Weil conjectures and establish the theory of motives. They remain unproven and are among the deepest open problems in mathematics.
Grothendieck and his student Verdier introduced derived categories to handle the homological algebra needed for duality theorems. Derived categories became ubiquitous in algebra, geometry, representation theory, and mathematical physics.
Grothendieck's theory of descent (faithfully flat descent) generalized the idea of patching local data to global objects. This became essential in algebraic geometry, number theory, and the theory of stacks.
A Grothendieck topos is a category of sheaves on a "generalized space" (a site). It provides a framework where geometry, logic, and cohomology coexist. Every topos has an internal logic, connecting geometry to mathematical logic.
In his manuscript Esquisse d'un Programme (1984), Grothendieck proposed studying dessins d'enfants ("children's drawings"): bipartite graphs on surfaces that encode deep arithmetic information.
These simple combinatorial objects correspond to algebraic curves defined over number fields, connecting combinatorics, topology, and number theory in a surprising way.
Toposes Dessins d'Enfants Anabelian Geometry
Grothendieck's approach was to find the "right" level of generality where a problem dissolves into obvious components — what he called "the rising sea."
Find the most natural setting for the problem
Construct the right categories, sheaves, and functors
The problem becomes trivial in the right framework
The sea advances insensibly in silence, nothing seems to happen, nothing moves, the water is so far off you hardly hear it... yet it finally surrounds the resistant substance.
— Alexander Grothendieck, Recoltes et SemaillesGrothendieck demanded IHES refuse all military funding. When it did not fully comply, he left. This was the beginning of his gradual withdrawal from institutional mathematics, though he continued working at Montpellier.
In this massive autobiographical manuscript (1985-86), Grothendieck bitterly criticized former students and colleagues, accusing them of plagiarism and moral failure. The document, brilliant but paranoid, circulated privately for decades.
From 1991 until his death in 2014, Grothendieck lived as a hermit in Lasserre, a village in the French Pyrenees. He refused contact with the mathematical world and reportedly wrote thousands of pages of spiritual and philosophical reflections.
His unfinished programs (motives, anabelian geometry, the Grothendieck-Teichmuller tower) remain among the most important open directions in mathematics. His departure left a void that no individual has filled.
Derived categories of coherent sheaves, Grothendieck duality, and moduli spaces are fundamental to string theory, especially mirror symmetry and D-brane physics.
Elliptic curve cryptography and pairing-based protocols rely on the arithmetic geometry Grothendieck helped create. Schemes over finite fields are the natural setting.
Topological quantum field theories (TQFTs) use functorial methods inspired by Grothendieck's categorical approach. The Atiyah-Segal axioms are essentially sheaf-theoretic.
Topos theory influences type theory and programming language semantics. Homotopy type theory (HoTT) draws on Grothendieck's ideas about homotopy and higher categories.
Algebraic geometry methods (Grobner bases, elimination theory) in robotics and optimization trace back to computational algebraic geometry on Grothendieck's foundations.
Algebraic geometry codes (Goppa codes) use the theory of curves over finite fields, directly dependent on scheme-theoretic foundations.
Winfried Scharlau (2008-2010, 2 vols). The most comprehensive biography, covering Grothendieck's extraordinary life from wartime childhood to hermit years.
Leila Schneps, ed. (1994). An accessible entry point into one of Grothendieck's later ideas, connecting combinatorics to deep arithmetic.
Alexander Grothendieck (1985-86, published 2022). His massive autobiographical reflection on mathematics, creativity, and the mathematical community. Brilliant, difficult, and sometimes painful to read.
Colin McLarty (2003, article). An excellent short introduction to Grothendieck's mathematical philosophy and the "rising sea" metaphor.
"The introduction of the cipher 0 or the group concept was general nonsense too, and mathematics was more or less stagnating for thousands of years because nobody was around to take such childish steps."
— Alexander Grothendieck, letter to Ronald Brown1928 – 2014