## 67.16 Finite cover by a scheme

As an application of the limit results of this chapter, we prove that given any quasi-compact and quasi-separated algebraic space $X$, there is a scheme $Y$ and a surjective, finite morphism $Y \to X$. We will rely on the already proven result that we can find a finite integral cover by a scheme, which was proved in Decent Spaces, Section 65.9.

Proposition 67.16.1. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space over $S$.

There exists a surjective finite morphism $Y \to X$ of finite presentation where $Y$ is a scheme,

given a surjective étale morphism $U \to X$ we may choose $Y \to X$ such that for every $y \in Y$ there is an open neighbourhood $V \subset Y$ such that $V \to X$ factors through $U$.

**Proof.**
Part (1) is the special case of (2) with $U = X$. Let $Y \to X$ be as in Decent Spaces, Lemma 65.9.1. Choose a finite affine open covering $Y = \bigcup V_ j$ such that $V_ j \to X$ factors through $U$. We can write $Y = \mathop{\mathrm{lim}}\nolimits Y_ i$ with $Y_ i \to X$ finite and of finite presentation, see Lemma 67.11.2. For large enough $i$ the algebraic space $Y_ i$ is a scheme, see Lemma 67.5.11. For large enough $i$ we can find affine opens $V_{i, j} \subset Y_ i$ whose inverse image in $Y$ recovers $V_ j$, see Lemma 67.5.7. For even larger $i$ the morphisms $V_ j \to U$ over $X$ come from morphisms $V_{i, j} \to U$ over $X$, see Proposition 67.3.8. This finishes the proof.
$\square$

## Comments (0)