Lemma 29.34.21. Let f : X \to Y be a smooth morphism of locally Noetherian schemes. For every point x in X with image y in Y,
where X_ y denotes the fiber over y.
Lemma 29.34.21. Let f : X \to Y be a smooth morphism of locally Noetherian schemes. For every point x in X with image y in Y,
where X_ y denotes the fiber over y.
Proof. After replacing X by an open neighborhood of x, there is a natural number d such that all fibers of X \to Y have dimension d at every point, see Lemma 29.34.12. Then f is flat (Lemma 29.34.9), locally of finite type (Lemma 29.34.8), and of relative dimension d. Hence the result follows from Lemma 29.29.6. \square
Comments (0)
There are also: