Étale morphism

Étale morphism
Name	Étale morphism
Field	Algebraic geometry
Introduced	1960s
Key people	Grothendieck, Serre, Artin, Mazur, Deligne

Étale morphism

An étale morphism is a type of morphism of schemes introduced in the 1960s that generalizes the notion of local isomorphisms from the theory of manifolds and covering maps, providing a foundation for developments by Grothendieck, Serre, and Artin. It plays a central role in the formulation of the Weil conjectures, the proof of the Riemann hypothesis for varieties over finite fields by Deligne, and the development of modern arithmetic geometry in the tradition of Grothendieck’s school at the Institut des Hautes Études Scientifiques. Étale morphisms connect ideas from scheme theory, Galois theory, and cohomology theories used by Fontaine, Faltings, and Mazur.

Definition and basic properties

An étale morphism is defined within the language of scheme theory as a morphism that is flat, unramified, and locally of finite presentation; Grothendieck formalized these conditions in the Éléments de géométrie algébrique. Given morphisms between Spec Z-schemes or between schemes over a base such as Spec k for a field k, the étale condition implies that the induced maps on local rings are formally étale and that the module of differentials vanishes. Fundamental properties include stability under base change, composition, and localization, mirroring stability properties used in the work of EGA and SGA seminars led by Grothendieck and authored by Illusie, Artin, and Verdier. Étale morphisms admit an étale topology used to define étale sheaves and étale cohomology groups that were pivotal in Deligne’s proof regarding Weil numbers, and they give rise to a notion of covering used in the definition of the étale fundamental group by Grothendieck and further developed by Szamuely and Stix.

Examples and non-examples

Basic examples include finite separable field extensions realized as morphisms of spectra like Spec K → Spec k for separable extensions K/k, and smooth morphisms of relative dimension zero arising in moduli problems studied by Mumford. Classical algebraic covers such as hyperelliptic curve projections studied by Riemann, and cyclic covers encountered in the work of Noether and Hilbert, provide concrete étale examples after removing branch locus. Non-examples include ramified coverings such as the projection defining the complex map z ↦ z^n with branch points analogous to ramification in number fields studied by Dedekind and Hilbert, or morphisms with nonzero Kähler differentials like purely inseparable extensions prominent in the work of Artin and Tate. Examples treated in the context of arithmetic schemes include unramified extensions of rings of integers in number fields investigated by Dedekind, Kronecker, and Hecke.

Étale morphisms in algebraic geometry

In algebraic geometry étale morphisms underpin the étale site of a scheme and the development of étale cohomology functors used by Grothendieck, Deligne, and Milne to formulate and prove results about L-functions and the trace formula associated with Deligne and Langlands. They are used to define locally constant constructible sheaves that enter the theory of perverse sheaves explored by Beilinson, Bernstein, and Deligne, and to relate geometric monodromy representations to arithmetic Galois representations in the work of Fontaine, Wiles, and Taylor. Étale morphisms provide the correct notion of local triviality for stacks and moduli spaces considered by Artin and Laumon, and they are central to the étale descent criteria used in descent theory initiated by Grothendieck, faithfully flat descent developed by Auslander and Goldman, and torsor classifications in the work of Serre and Grothendieck.

Relation to other classes of morphisms

Étale morphisms sit at the intersection of flat morphisms, unramified morphisms, and smooth morphisms: every étale morphism is smooth of relative dimension zero, and every finite étale morphism is both finite and unramified corresponding to finite separable extensions in Galois theory explored by Galois, Abel, and Lagrange. They contrast with purely inseparable morphisms studied by Artin and Schmidt, with branched covers considered in the work of Riemann and Hurwitz, and with flat projective morphisms central to the theory of moduli developed by Mumford and Gieseker. In comparison with topological covering maps from the theories of Poincaré and Riemann, étale morphisms capture arithmetic monodromy in the spirit of Grothendieck’s anabelian conjectures and the work of Mochizuki, Tamagawa, and Ihara.

Étale fundamental group and covering theory

The étale fundamental group π1^ét is Grothendieck’s profinite analogue of the topological fundamental group and classifies finite étale covers of connected schemes, paralleling classical covering space theory of Poincaré and Lefschetz. For a field k, π1^ét(Spec k) is the absolute Galois group appearing in the work of Galois, Artin, and Neukirch, and finite étale covers correspond to continuous finite quotients studied in class field theory initiated by Kronecker and Hilbert and developed by Artin and Tate. The étale fundamental group plays a central role in the proof of the Tate conjecture and in the formulation of the Langlands program by Langlands and Clozel, and it is a key invariant in anabelian geometry pursued by Grothendieck, Nakamura, and Mochizuki.

Applications and further developments

Étale morphisms and the étale topology underpin étale cohomology used to prove the Weil conjectures by Deligne, and they are instrumental in the study of motives developed by Grothendieck, Beilinson, and Voevodsky. Applications include the study of rational points and Diophantine equations in the work of Faltings and Wiles, local-global principles in class field theory by Artin and Tate, and the use of finite étale covers in the formulation of modern algebraic stacks by Deligne and Mumford. Ongoing developments connect étale techniques to p-adic Hodge theory by Fontaine and Colmez, to the theory of perfectoid spaces by Scholze, and to modern advances in the Langlands program explored by Harris, Taylor, and Emerton.

Category:Algebraic geometry