Definition 89.8.2. Let S be a scheme. Let Y be a 2-dimensional Noetherian integral algebraic space over S. We say Y has a resolution of singularities by normalized blowups if there exists a sequence
Y_ n \to X_{n - 1} \to \ldots \to Y_1 \to Y_0 \to Y
where
Y_ i is proper over Y for i = 0, \ldots , n,
Y_0 \to Y is the normalization,
Y_ i \to Y_{i - 1} is a normalized blowup for i = 1, \ldots , n, and
Y_ n is regular.
Comments (0)