Lemma 76.29.1. Let S be a scheme. Let f : X \to Y be a morphism of algebraic spaces over S. Let y \in |Y|. The following are equivalent
for some morphism \mathop{\mathrm{Spec}}(k) \to Y in the equivalence class of y the algebraic space X_ k is geometrically reduced over k,
for every morphism \mathop{\mathrm{Spec}}(k) \to Y in the equivalence class of y the algebraic space X_ k is geometrically reduced over k,
for every morphism \mathop{\mathrm{Spec}}(k) \to Y in the equivalence class of y the algebraic space X_ k is reduced.
Comments (0)