Étale topology

Étale topology
Name	Étale topology
Field	Algebraic geometry
Introduced by	Grothendieck
Year	1960s
Related	Étale cohomology, Grothendieck topology, Scheme theory

Étale topology The étale topology is a Grothendieck topology on the category of schemes that refines the Zariski topology by using étale morphisms as covers; it was introduced by Alexander Grothendieck in the 1960s to extend cohomological techniques from topological spaces to arithmetic and algebraic settings. It provides the foundation for étale cohomology, the construction of the algebraic fundamental group and deep results such as the proof of the Weil conjectures by Pierre Deligne. The theory connects to many subjects including Galois theory, modular forms, and the study of abelian varietys.

Definition and basic concepts

An étale morphism is a flat, unramified morphism of finite presentation in the category of schemes, modeled on the behavior of local isomorphisms like those in the complex analytic topology on complex manifolds. The étale topology on a given scheme X is defined by declaring families of étale morphisms {U_i → X} that are jointly surjective to be covering families, yielding the Grothendieck topology often called the étale site X_ét. This framework generalizes constructions from sheaf theory on topological spaces to the algebraic setting used in the work of Jean-Pierre Serre, Grothendieck, and Michael Artin.

Étale morphisms and coverings

Étale morphisms were formalized to capture the notion of nonramified finite-type maps akin to local analytic isomorphisms; they are closely related to smooth morphisms of relative dimension zero and to unramified extensions studied in algebraic number theory by Richard Dedekind and Ernst Kummer. Coverings in the étale topology are families of étale maps that surject onto the target, paralleling the role of open coverings in the Čech cohomology setup used by Henri Cartan and Jean Leray. Finite étale morphisms correspond to finite separable algebra extensions reminiscent of Galois extensions studied by Évariste Galois.

Étale site and sheaves

The étale site X_ét comprises objects given by étale maps U → X and morphisms commuting over X, with coverings as above; presheaves and sheaves on X_ét generalize the classical notion from sheaf cohomology in the spirit of constructions by Leray and Serre. Important sheaves include the constant sheaf associated to a finite group or abelian group and the sheaf μ_n of n-th roots of unity, which played a central role in Kummer theory and in the proof of the Tate conjecture in special cases by John Tate. The use of étale sheaves enables the definition of cohomology groups H^i(X_ét, F) that capture arithmetic invariants analogous to those in singular cohomology for manifolds as exploited by Alexander Grothendieck and Pierre Deligne.

Étale cohomology

Étale cohomology was developed to provide a Weil-coherent cohomology theory for varieties over finite fields and to supply the missing ℓ-adic tools for arithmetic geometry; the theory was a key ingredient in Deligne’s proof of the Weil conjectures and in the formulation of the Langlands program by Robert Langlands. Cohomology with coefficients in torsion sheaves or in inverse systems leads to ℓ-adic cohomology groups H^i_et(X, Z_ℓ) that behave like Betti cohomology in many respects, allowing comparison theorems when X has a complex structure or is defined over number fields studied by Alexander Grothendieck and Jean-Pierre Serre. Étale cohomology satisfies finiteness, duality, and base-change properties proved by authors such as Grothendieck, Deligne, and Michael Artin.

Fundamental group and Galois correspondence

The étale fundamental group π_1^ét(X, x̄) generalizes the classical fundamental group of a topological space and encodes the category of finite étale coverings of X via a profinite group, yielding a Galois correspondence akin to the one between field extensions and Galois groups introduced by Évariste Galois. For X = Spec k with k a field, π_1^ét corresponds to the absolute Galois group Gal(k^sep/k), central to class field theory developed by David Hilbert and Emil Artin. Results such as Grothendieck’s anabelian conjectures relate arithmetic properties of schemes like hyperbolic curves to their étale fundamental groups, a theme pursued by Shinichi Mochizuki and others.

Examples and computations

Classical computations include π_1^ét(Spec k) = Gal(k^sep/k) for a field k and H^i_et(Spec F_q, Z/nZ) computations for finite fields F_q used in counting rational points on varieties, as in the work of André Weil and Pierre Deligne. For smooth projective curves over algebraically closed fields, étale cohomology recovers invariants comparable to those in the theory of Riemann surfaces studied by Bernhard Riemann; for abelian varieties and elliptic curves, ℓ-adic Tate modules provide concrete π_1^ét-representations used in proofs by John Tate and Gerd Faltings. Computations of cohomology groups for surfaces and higher-dimensional varieties underlie modern results by Serre, Grothendieck, and Deligne.

Applications and connections to other theories

Étale topology underpins many advances in modern arithmetic geometry including the proof of the Weil conjectures, the development of ℓ-adic cohomology, and progress on the Langlands program and modularity theorem for elliptic curves proved by Andrew Wiles and Richard Taylor. It interfaces with motivic cohomology and K-theory studied by Spencer Bloch and Vladimir Voevodsky, and with p-adic Hodge theory pursued by Jean-Marc Fontaine and Gerd Faltings. The étale perspective also informs the study of Shimura varietys, Iwasawa theory, and modern approaches to arithmetic duality by authors such as John Tate and Tate pairings.

Category:Algebraic geometry