Lemma 29.29.4. Let $f : X \to S$ be a morphism of schemes. Assume that

$f$ is flat,

$f$ is locally of finite presentation, and

for all $s \in S$ the fibre $X_ s$ is Cohen-Macaulay (Properties, Definition 28.8.1)

Then there exist open and closed subschemes $X_ d \subset X$ such that $X = \coprod _{d \geq 0} X_ d$ and $f|_{X_ d} : X_ d \to S$ has relative dimension $d$.

## Comments (1)

Comment #5378 by slogan_bot on