**Proof.**
Assume (2) holds. By Lemma 99.11.2 we see that $\mathcal{Z}$ is reduced and $|\mathcal{Z}|$ is a singleton. Let $W$ be a scheme and let $W \to \mathcal{Z}$ be a surjective smooth morphism. Choose a field $k$ and a locally finitely presented, surjective, flat morphism $\mathop{\mathrm{Spec}}(k) \to \mathcal{Z}$. Then $W \times _\mathcal {Z} \mathop{\mathrm{Spec}}(k)$ is an algebraic space smooth over $k$, hence locally Noetherian (see Morphisms of Spaces, Lemma 66.23.5). Since $W \times _\mathcal {Z} \mathop{\mathrm{Spec}}(k) \to W$ is flat, surjective, and locally of finite presentation, we see that $\{ W \times _\mathcal {Z} \mathop{\mathrm{Spec}}(k) \to W\} $ is an fppf covering and we conclude that $W$ is locally Noetherian (Descent on Spaces, Lemma 73.9.3). In other words (1) holds.

Assume (1). Pick a nonempty affine scheme $W$ and a smooth morphism $W \to \mathcal{Z}$. Pick a closed point $w \in W$ and set $k = \kappa (w)$. Because $W$ is locally Noetherian the morphism $w : \mathop{\mathrm{Spec}}(k) \to W$ is of finite presentation, see Morphisms, Lemma 29.21.7. Hence the composition

\[ \mathop{\mathrm{Spec}}(k) \xrightarrow {w} W \longrightarrow \mathcal{Z} \]

is locally of finite presentation by Morphisms of Spaces, Lemmas 66.28.2 and 66.37.5. It is also flat and surjective by Lemma 99.11.1. Hence (2) holds.
$\square$

## Comments (0)

There are also: