Étale morphism

Definition

The following conditions are equivalent for a morphism of schemes $f:X\to Y$:

1. $f$ is flat and unramified.
2. $f$ is flat and the sheaf of Kähler differentials is zero; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega_{X/Y}=0} .
3. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is smooth of relative dimension 0.

and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is said to be étale when this is the case.

The small étale site

The category of étale Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} -schemes becomes a Grothendieck topology, if one defines the sets of coverings to be jointly-surjective collections of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} -morphisms $\{f_{i}:U_{i}\to U\}$; i.e., such that the union of images $\bigcup f_{i}(U_{i})$ covers $U$. That this forms a grothendieck essentially follows from the following three facts:

1. Open immersions are étale.
2. The étale property lifts by base change: that is, if $f:X\to Y$ is an étale morphism, and $g:Y'\to Y$ is any morphism, then the canonical fibered projection $f'X\times _{Y}Y'\to Y'$ is again étale.
3. If $f:X\to Y$ and $g:Y\to Z$ are such that $g\circ f$ is étale, then $f$ is étale as well.

Étale cohomology

One begins by defining a presheaf to be a contravariant functor from the underlying category of a small étale site $T$ into an abelian category $A$. A sheaf on $T$ is then

Applications

Deligne proved the Weil-Riemann hypothesis using étale cohomology.