Alexander Grothendieck

⚡ Key Takeaways

Alexander Grothendieck (1928–2014) was a German-born, stateless-then-French mathematician who reshaped algebraic geometry by founding the theory of schemes, topoi, and cohomological methods. Key result in words: he recast geometry as the study of commutative rings and their functorial spectra, providing the framework (étale cohomology, motives, the standard conjectures) within which the Weil conjectures were proved. Where it applies: algebraic and arithmetic geometry, homological algebra, category theory, number theory. Who/when: principally at the IHÉS, Paris, 1958–1970, via the monumental EGA and SGA seminars; Fields Medal 1966.

💡 The Core Insight

Geometry is the dual of commutative algebra, done relatively and functorially. Instead of studying a space directly, study the category of all sheaves, rings, and morphisms over it, and let universal properties — representable functors, adjoint functors, derived functors — do the geometric work. A scheme $X$ is not primarily a set of points but a functor $T \mapsto \mathrm{Hom}(T, X)$ on the category of rings; cohomology is not a gadget attached to a space but a derived functor on a category of sheaves. This "relativization over a base" and "everything is a functor" philosophy is Grothendieck's signature contribution and the source of the field's modern power.

DefinitionAffine Scheme

Let $A$ be a commutative ring with unit. The prime spectrum $\operatorname{Spec} A$ is the topological space whose points are the prime ideals $\mathfrak{p} \subset A$ , with the Zariski topology generated by closed sets

1

\quad V(I) = \{\, \mathfrak{p} \in \operatorname{Spec} A : I \subseteq \mathfrak{p}\,\}, \qquad I \subseteq A \text{ an ideal}.

Derivation hint: closed sets must be closed under arbitrary intersection $V(\sum I_\alpha)=\bigcap V(I_\alpha)$ and finite union $V(I)\cup V(J)=V(I\cap J)$ ; check these from the prime-ideal definition. Equipped with the structure sheaf $\mathcal{O}_{\operatorname{Spec} A}$ , whose sections on the basic open $D(f)=\{\mathfrak p : f\notin\mathfrak p\}$ are the localization $A_f$ , the pair $(\operatorname{Spec} A, \mathcal{O}_{\operatorname{Spec} A})$ is an affine scheme. A scheme is a locally ringed space locally isomorphic to affine schemes.

DefinitionFunctor of Points

Every scheme $X$ over a base $S$ determines a contravariant functor on $S$ -schemes,

2

\quad h_X(T) = \operatorname{Hom}_S(T, X),

Derivation hint: this is the Yoneda embedding $X \mapsto h_X$ restricted to schemes; functoriality is composition of morphisms. and by the Yoneda lemma $X$ is determined up to unique isomorphism by $h_X$ . Representable functors are thus identified with their representing schemes, the basis of moduli theory.

TheoremDerived Functor Cohomology

For a sheaf $\mathcal{F}$ of abelian groups on a scheme $X$ , the sheaf cohomology groups are the right derived functors of the global-sections functor $\Gamma(X,-)$ :

3

\quad H^i(X,\mathcal{F}) = R^i\Gamma(X,\mathcal{F}) = H^i\big(\Gamma(X, \mathcal{I}^\bullet)\big),

Derivation hint: embed $\mathcal{F}$ in an injective resolution $0\to\mathcal{F}\to\mathcal{I}^\bullet$ in the abelian category of sheaves (which has enough injectives), apply $\Gamma$ , and take cohomology; independence of resolution follows from the comparison theorem for derived functors. These satisfy the long exact sequence, are computed for quasi-coherent $\mathcal{F}$ on affine $X$ to vanish in positive degree ( $H^{i>0}(\operatorname{Spec}A,\widetilde M)=0$ ), and underlie Serre duality, flat/étale cohomology, and the Grothendieck–Riemann–Roch theorem.

TheoremGrothendieck–Riemann–Roch

For a proper morphism $f: X \to Y$ of smooth quasi-projective schemes and a coherent sheaf (or element of K-theory) $\mathcal{E}$ on $X$ ,

4

\quad \operatorname{ch}(f_!\,\mathcal{E})\cdot \operatorname{td}(T_Y) = f_*\big(\operatorname{ch}(\mathcal{E})\cdot \operatorname{td}(T_X)\big),

Derivation hint: reduce to the case of a closed immersion and a projection $\mathbb{P}^n\times Y \to Y$ ; the Todd class corrects the failure of the Chern character to commute with pushforward, the discrepancy being measured by the relative tangent complex. where $\operatorname{ch}$ is the Chern character, $\operatorname{td}$ the Todd class, $f_!$ the K-theoretic pushforward (alternating sum of $R^if_*$ ), and $f_*$ the homological pushforward on Chow groups. This relativizes Hirzebruch–Riemann–Roch.

ProofThe spectrum is a faithful functor — sketch

We sketch why $A \mapsto \operatorname{Spec} A$ gives an anti-equivalence between commutative rings and affine schemes. 1. Points encode ideals. A ring homomorphism $\varphi: A \to B$ pulls back primes: $\mathfrak q \mapsto \varphi^{-1}(\mathfrak q)$ is prime, giving a continuous map $\operatorname{Spec}\varphi:\operatorname{Spec}B \to \operatorname{Spec}A$ . 2. Localization recovers structure sheaf. On the basis $\{D(f)\}$ one sets $\mathcal{O}(D(f))=A_f$ ; compatibility on overlaps $D(f)\cap D(g)=D(fg)$ follows from the universal property of localization, so the presheaf sheafifies canonically. 3. Global sections recover the ring. One proves $\Gamma(\operatorname{Spec} A, \mathcal{O}) = A$ , so the global-sections functor is a quasi-inverse on the affine level. 4. Morphisms correspond. Every morphism of locally ringed spaces $\operatorname{Spec}B\to\operatorname{Spec}A$ arises from a unique ring map $A\to B$ (locality of the morphism on stalks forces this). Hence

5

\quad \operatorname{Hom}_{\mathrm{Sch}}(\operatorname{Spec}B,\operatorname{Spec}A)\;\cong\;\operatorname{Hom}_{\mathrm{Ring}}(A,B).

Derivation hint: the stalk at $\mathfrak p$ is the local ring $A_{\mathfrak p}$ ; a morphism of locally ringed spaces must send the maximal ideal into the maximal ideal, which pins down the ring map uniquely. This anti-equivalence is the rigorous form of "geometry = dual of algebra," and gluing affines yields the full category of schemes. $\blacksquare$

∎

mathematician · Alexander Grothendieck | 1928–2014

Born 28 March 1928 in Berlin to anarchist parents (his father Alexander "Sascha" Shapiro perished at Auschwitz), Grothendieck grew up stateless and refugee. After early functional-analysis work (topological tensor products, nuclear spaces — his thesis under Laurent Schwartz and Jean Dieudonné) he turned to algebraic geometry at the newly founded IHÉS in 1958. There, with Dieudonné as scribe, he produced the Éléments de géométrie algébrique (EGA) and led the legendary Séminaire de géométrie algébrique (SGA), a collaborative output of tens of thousands of pages. He received the Fields Medal in 1966 (boycotting the Moscow ICM for political reasons). From 1970 he withdrew — first into ecological-pacifist activism (the Survivre et Vivre group), then into increasingly solitary mathematical-mystical writing (Récoltes et Semailles, La Clef des Songes). He resigned from organized mathematics, eventually living in seclusion in Lasserre, Ariège, where he died on 13 November 2014.

🧠 Intuition

Think of a commutative ring $A$ as the ring of "functions" on an as-yet-unseen space; Grothendieck's reversal is to define the space as whatever has $A$ as its functions. The points are prime ideals because primality is exactly the condition that makes the quotient an integral domain — a "function-like" object with no zero-divisors, i.e. a generic point. Crucially, schemes allow nilpotents ( $\operatorname{Spec} k[\epsilon]/\epsilon^2$ is a point "with a tangent direction"), so infinitesimal and arithmetic phenomena become geometric. The second pillar is relativity: never study $X$ alone but always a morphism $X\to S$ , treating $X$ as a family of fibers over the base $S$ ; properties like properness, smoothness, and flatness are properties of the map. The third is functoriality: rather than asking "what is the curve?" ask "what does the curve represent?" — i.e. which functor of test schemes it classifies — which is how moduli spaces and representability arise naturally.

Figure

Spec of a ring: generic and closed points, with the Zariski topology

ExampleCohomology of a line bundle on

\mathbb{P}^1

Given: $X=\mathbb{P}^1_k$ over a field $k$ , the line bundle $\mathcal{O}(d)$ , $d\in\mathbb{Z}$ .

Steps: Use the standard Čech computation on the cover $U_0=D(x_0),\,U_1=D(x_1)$ . The result, a computation of $H^0$ and $H^1$ :

$H^0(\mathbb{P}^1,\mathcal{O}(d)) = \{$ homogeneous polynomials of degree $d\}$ , dimension $d+1$ for $d\ge 0$ , else $0$ .
$H^1(\mathbb{P}^1,\mathcal{O}(d))$ has dimension $-d-1$ for $d\le -2$ , else $0$ (by Serre duality $H^1(\mathcal{O}(d))\cong H^0(\mathcal{O}(-2-d))^\vee$ since $\omega=\mathcal{O}(-2)$ ).

Check with Riemann–Roch: $\chi=h^0-h^1 = \deg + 1 - g = d + 1 - 0 = d+1$ .

\boxed{\,h^0(\mathcal{O}(d)) = \max(d+1,0),\quad h^1 = \max(-d-1,0),\quad \chi = d+1\,}

ExampleGRR for a curve mapping to a point

Given: $f: X \to \operatorname{Spec} k$ , $X$ a smooth projective curve of genus $g$ , and $\mathcal{E}=\mathcal{L}$ a line bundle of degree $d$ . Here $Y=\operatorname{Spec}k$ is a point, $\operatorname{td}(T_Y)=1$ .

Steps: GRR equation [4] gives $\operatorname{ch}(f_!\mathcal{L}) = f_*(\operatorname{ch}(\mathcal{L})\cdot\operatorname{td}(T_X))$ . On a curve $\operatorname{ch}(\mathcal{L}) = 1 + c_1(\mathcal{L})$ and $\operatorname{td}(T_X)=1+\tfrac12 c_1(T_X)=1-\tfrac12 K_X$ (since $c_1(T_X)=-K_X$ , $\deg K_X = 2g-2$ ). The degree- $1$ part pushed forward is the integral over $X$ :

\chi(\mathcal{L}) = \int_X \big(c_1(\mathcal{L}) - \tfrac12 K_X\big) = d - \tfrac12(2g-2) = d + 1 - g.

Answer:

\boxed{\,\chi(X,\mathcal{L}) = \deg\mathcal{L} + 1 - g = d + 1 - g\,}

recovering the classical Riemann–Roch theorem as the GRR special case over a point.

⚠️ Common mistake

A scheme is not just "a variety with weird points." Three frequent errors: (1) Treating $\operatorname{Spec} A$ as merely the set of maximal ideals — the generic points (non-maximal primes) carry essential topological information and are not optional. (2) Believing the Zariski topology behaves like a manifold topology — it is not Hausdorff, is generally not even $T_1$ , and is far too coarse for analytic/topological intuition (hence the need for the étale topology). (3) Thinking nilpotents are pathological; in fact $\operatorname{Spec}k[\epsilon]/(\epsilon^2)$ is precisely the right object to encode tangent vectors and deformation theory, and discarding it ruins moduli theory.

Counterexample

Zariski cohomology fails to be the "right" cohomology for arithmetic. One might hope ordinary Zariski sheaf cohomology with constant coefficients $\underline{\mathbb{Z}}$ would yield Betti-like numbers and prove the Weil conjectures. It does not: on an irreducible scheme the Zariski topology is irreducible, so the constant sheaf is flasque and $H^{i>0}(X,\underline{\mathbb{Z}})=0$ — completely trivial, giving no topological information. This vanishing is exactly why Grothendieck had to invent the étale topology (a Grothendieck topology, not a topology on a point set), where covers are étale maps rather than open immersions, recovering $\ell$ -adic cohomology groups $H^i_{\text{ét}}(X,\mathbb{Q}_\ell)$ with the expected Betti numbers and Galois action.

connection

Grothendieck's framework is the trunk from which much modern mathematics branches. The étale topology generalizes to the abstract notion of a Grothendieck Topology and thence to Topos Theory, a setting unifying geometry and logic. His derived-functor viewpoint is the foundation of Homological Algebra and its modern refinement Derived Categories (introduced by his student Verdier). The Weil Conjectures were the guiding goal — proved via étale cohomology (Grothendieck, M. Artin) and the final Riemann-hypothesis analogue by Pierre Deligne. His vision of a universal cohomology theory crystallized as the still-conjectural theory of Motives, governed by the Standard Conjectures. The functor-of-points philosophy directly produces Moduli Spaces and Stacks, and his Esquisse d'un Programme launched Anabelian Geometry and the study of the absolute Galois Group via dessins d'enfants.

🔬 Where this appears

⏳ History

- 1928 — Born in Berlin to anarchist parents; childhood marked by statelessness and World War II internment camps.

- 1949–1953 — Doctoral work under Schwartz and Dieudonné on functional analysis: nuclear spaces, the Produits tensoriels topologiques memoir, and the Grothendieck inequality.

- 1957 — The Tôhoku paper (Sur quelques points d'algèbre homologique) recasts sheaf cohomology via abelian categories with enough injectives, founding modern homological algebra; the same year, the Grothendieck–Riemann–Roch theorem is announced.

- 1958 — Joins the new IHÉS; outlines the scheme program at the ICM in Edinburgh.

- 1960–1967 — EGA (Éléments de géométrie algébrique), with Dieudonné, lays scheme-theoretic foundations across four published parts.

- 1960–1969 — The SGA seminars (SGA 1–7) develop fundamental groups, étale and ℓ-adic cohomology, Grothendieck topologies, topoi, and intersection theory; M. Artin, Deligne, Verdier, Berthelot and others contribute.

- 1966 — Awarded the Fields Medal at the Moscow ICM, which he declines to attend in protest of Soviet policy.

- 1970 — Leaves the IHÉS over its partial military funding; founds the ecological group Survivre et Vivre; effectively departs mainstream mathematics.

- 1980–1991 — Writes La Longue Marche à travers la théorie de Galois, Esquisse d'un Programme, À la Poursuite des Champs (pursuing stacks), and the autobiographical Récoltes et Semailles; from 1991 lives in total seclusion.

- 2014 — Dies on 13 November in Saint-Lizier/Lasserre, Ariège, France.

open-problem

The deepest unfinished part of Grothendieck's vision is the theory of motives and its governing Standard Conjectures (of Lefschetz and Hodge type). He proposed that all reasonable cohomology theories (Betti, de Rham, $\ell$ -adic, crystalline) should factor through a universal abelian category of motives, with comparison isomorphisms encoding all of arithmetic geometry. Proving that the category of pure motives is abelian semisimple, and establishing the Standard Conjecture D (numerical equivalence = homological equivalence) and the algebraicity of the Künneth/Lefschetz operators, remains open in general; these would, among other things, give a motivic proof of the Weil conjectures independent of Deligne's. Related open territory includes the Section Conjecture of anabelian geometry, the precise formulation and existence of a category of mixed motives with the expected $t$ -structure, and a fully developed theory of Motivic Cohomology realizing his "pursuing stacks" higher-categorical program — only partially achieved through later work on higher topoi and homotopy theory.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also