étale cover

An **étale cover** of an algebraic scheme $X$ is a set $\{p_i : U_i \to X\}$ of étale morphisms locally of finite type which are jointly surjective in the sense that $X$ equals the union of set-theoretic images:

$X = \union_i p_i(U_i).$

The condition of being locally of finite type is just strengthening the variant of the notion of étale: in the case of non-Noetherian schemes Grothendieck requires instead that étale morphisms be locally of finite presentation; for the purpose of étale topology locally of finite type is required.

The étale site has coverings given by the étale covers.

Every étale cover is a cover in the fpqc topology.

This appears for instance as (de Jong, lemma 3.3).

- Aise Johan de Jong,
*Étale cohomology*(pdf)

Revised on January 9, 2017 10:02:37
by Mateo Carmona?
(186.85.202.64)