# nLab etale morphism of schemes

## Theorems

This entry is about étale morphisms between schemes. The term étale map is preferred in the context of topology and differential geometry, see étalé space for the topological version.

# Contents

## Definition

###### Definition

A morphism of schemes is an étale morphism if the following equivalent conditions hold

1. it is

1. smooth

2. of relative dimension $0$.

2. it is

3. it is

(A number of other equivalent definitions are listed at wikipedia.)

###### Definition

Jointly surjective collection of étale morphisms $\left\{{U}_{i}\to X\right\}$ is called an étale cover.

There is a weaker notion of a formally étale morphism.

###### Definition

A morphism is formally étale morphism if it is

###### Definition

These are sheaf-like properties, which can be formalized in the language of Q-categories (monopresheaf and epipresheaf properties on the $Q$-category of nilpotent thickenings).

## Properties

### Closure properties

• A composite of étale morphism is étale.

• The property of being étale is preserved under pullbacks along any morphism of schemes.

• A smooth map of schemes is étale iff there is an étale cover of the base scheme by open subschemes such that the pullback of the projection to each of them is an open local isomorphism of locally ringed spaces (and in particular, the pullback of the projection morphism is an étale map of the corresponding underlying topological spaces).

This disjointness picture of étale covers make them suitable for having nontrivial cohomology in situations where Zariski covers give vanishing cohomology.

### Classes of examples

###### Proposition

Let $k$ be a field. A morphism of schemes $Y\to \mathrm{Spec}k$ is étale precisely if $Y$ is a coproduct $Y\simeq {\coprod }_{i}\mathrm{Spec}{k}_{i}$ for each ${k}_{i}$ a finite and separable field extension of $k$.

This appears for instance as de Jong, prop. 3.1 i).

###### Remark

Such étale morphisms are classified by the classical Galois theory of field extensions.

###### Proposition

A ring homomorphism $A\to B$ is étale precisely if $B\simeq R\left[{x}_{1},\cdots ,{x}_{n}\right]/\left({f}_{1},\cdots ,{f}_{n}\right)$ where

• all the ${f}_{i}$ are polynomials;

• the Jacobian $\mathrm{det}\left(\frac{\partial {f}_{i}}{\partial {x}_{j}}\right)$ is a unit in $S$.

This appears for instance as de Jong, prop. 3.1 ii).

This proposition seems to be wrong for 2 reasons; first, A,B,R,S are 2 many symbols. Second, the statement sounds like “etale iff standard smooth” but only the direction “etale implies standard smooth” is true (and can be found in the stacks project). Since I couldn’t find the cited source, I couldn’t look into what the statement is supposed to be, originally. – Konrad

### As locally constant sheaves

###### Proposition

A sheaf $F$ on a scheme $X$ corresponds to an étale morphism $Y\to X$ precisely if there is an étale cover $\left\{{U}_{i}\to X\right\}$ such that each restriction

$F{\mid }_{{U}_{i}}\simeq \mathrm{LConst}{K}_{i}$F|_{U_i} \simeq LConst K_i

is isomorphic to a constant sheaf on a set ${K}_{i}$.

A proof is in (Deligne).

## Examples

• A finite separable field extension $K↪L$ corresponds dually to an étale morphism $\mathrm{Spec}L\to \mathrm{Spec}K$. These are the morphisms classified by classical Galois theory.

## References

The classical references are

• Pierre Deligne et al., Cohomologie étale , Lecture Notes in Mathematics, no. 569, Springer-Verlag, 1977.
• James Milne, Etale cohomology, Princeton Mathematical Series 33, 1980. xiii+323 pp.

Lecture notes are

Revised on December 4, 2012 18:23:25 by Konrad Voelkel? (132.230.30.143)