Grothendieck topology

Grothendieck topology
Name	Grothendieck topology
Field	Algebraic geometry; Category theory; Topos theory
Introduced	1960s
Introduced by	Alexandre Grothendieck

Grothendieck topology A Grothendieck topology is an abstract framework introduced to generalize open coverings from Euclidean space and manifold theory to arbitrary categorys, enabling a definition of sheafs and cohomology in contexts such as schemes and étale cohomology. Developed by Alexandre Grothendieck in the 1960s within the milieu of the Séminaire de Géométrie Algébrique, the formalism underlies modern treatments in algebraic geometry, number theory, and categorical logic. The concept links constructions used in the study of schemes, étale topology, and flat topology to the abstract notion of a topos.

Introduction

A Grothendieck topology equips a category with a notion of covering families that mimics the role of open coverings in topology while avoiding reliance on points as in point-set topology. Grothendieck introduced this structure to define sheaf cohomology for schemes and to study comparison theorems with classical invariants such as those arising in Hodge theory, étale cohomology, and the proof of the Weil conjectures. The language has since influenced work by researchers associated with institutions like the Institut des Hautes Études Scientifiques and concepts appearing in the work of Jean-Pierre Serre, Alexander Beilinson, and Pierre Deligne.

Definitions and basic examples

Formally, a Grothendieck topology on a category C assigns to each object U a collection of families of morphisms {Ui → U} called coverings, subject to axioms of stability under base change, locality, and transitivity; these axioms generalize the covering axioms used in manifold theory and in the theory of complex analytic spaces developed by Kurt Gödel's contemporaries in logic contexts and by geometers like Henri Cartan and Jean Leray. Standard examples include the Zariski topology on the category of affine schemes, the étale topology used by Alexander Grothendieck and Jean-Pierre Serre in étale cohomology, the fppf and fpqc topologies considered by Serre and Grothendieck for descent theory, and the canonical topology on any category given by representable presheaves. These examples connect to structures studied by David Mumford, Michael Artin, and Nicholas Katz.

Sheaves on a site and stalks

Given a site (a category with a Grothendieck topology), a sheaf is a presheaf satisfying gluing and locality with respect to covering families; this generalizes the classical notion from the work of Élie Cartan on analytic sheaves and from the cohomological frameworks used by Jean Leray and Henri Cartan. Sheaves on sites form a category that often has the structure of a Grothendieck category and underlies the construction of derived functors used in the work of Alexander Grothendieck and Jean-Pierre Serre on duality theories and in the development of derived category methods by Alexandre Beilinson and Joseph Bernstein. Stalks at a point are defined when the site admits a notion of point, as in the Zariski topology on a scheme or the étale topology where points relate to geometric points used in Grothendieck's Galois theory and the study of étale fundamental groups by Grothendieck and Michael Artin.

Grothendieck topologies from pretopologies and bases

A pretopology specifies covering families directly and generates a Grothendieck topology by closing under the topology axioms; this approach appears in foundational texts by SGA 4 participants including Pierre Deligne and Jean-Louis Verdier. Bases for a topology, often given by generators such as standard affine opens in a scheme or standard étale maps in the étale topology, provide practical means to check the sheaf condition and to compute cohomology groups used in comparisons like those in the proof of the Weil conjectures by Pierre Deligne. The passage from pretopologies to topologies is central in descent theory developed by Grothendieck, Alexander Grothendieck, Michael Artin, and Jean-Pierre Serre.

Morphisms of sites and continuous functors

Morphisms between sites are given by functors that pull back coverings to coverings (continuous functors) and induce adjoint pairs between categories of sheaves; such morphisms model geometric operations like pushforward and pullback of sheaves along morphisms of schemes considered by Alexander Grothendieck and Jean-Pierre Serre. Morphisms of sites underpin comparisons between cohomology theories—examples include the specialization maps in étale cohomology studied by Pierre Deligne and base change theorems proved by Alexander Grothendieck and collaborators in the Séminaire de Géométrie Algébrique milieu. The formalism connects with later categorical formulations explored by William Lawvere and Myhill in categorical logic and by researchers at institutions like University of Chicago and Princeton University.

Topos associated to a site and properties

The category of sheaves on a site is a topos, an abstraction generalizing the category of sheaves on a topological space introduced by Grothendieck and axiomatized further by William Lawvere and Myhill; topoi have internal logic, subobject classifiers, and exponential objects, features used in the study of categorical semantics by Saul Kripke's successors and in the work of André Joyal and Myron Kelly. Properties of a topos—such as being Grothendieck, localic, or boolean—play roles in comparisons between geometric and logical perspectives pursued by Joyal and André Moerdijk and in applications to model theory by researchers at Institute for Advanced Study and University of Cambridge. Topos-theoretic invariants interact with cohomological tools developed by Grothendieck and Jean-Pierre Serre and inform modern approaches to motives studied by Alexander Beilinson and Vladimir Voevodsky.

Examples and applications in algebraic geometry and logic

Grothendieck topologies underlie the formulation of étale cohomology used by Pierre Deligne to prove the Weil conjectures and are central to the definitions of crystalline cohomology and flat cohomology used by Alexander Grothendieck, Jean-Pierre Serre, and Nicholas Katz. In algebraic geometry they enable descent theory, the construction of moduli spaces as stacks studied by Deligne and David Mumford, and the formulation of stacks by Jean Giraud and Alexander Grothendieck. In logic and foundations, the associated topos formalism supports categorical semantics explored by William Lawvere, André Joyal, and Myron Kelly, and influences work in model theory by researchers affiliated with University of California, Berkeley and Princeton University. Applications extend to arithmetic geometry studied by Andrew Wiles, Richard Taylor, and collaborators in the proof of modularity statements where cohomological methods on sites are instrumental.

Category:Algebraic geometry