Lemma 37.60.18. Let $f : X \to Y$ be a finite type morphism of locally Noetherian schemes. Denote $\Delta : X \to X \times _ Y X$ the diagonal morphism. The following are equivalent

$f$ is smooth,

$f$ is flat and $\Delta : X \to X \times _ Y X$ is a regular immersion,

$f$ is flat and $\Delta : X \to X \times _ Y X$ is a local complete intersection morphism,

$f$ is flat and $\Delta : X \to X \times _ Y X$ is perfect.

## Comments (0)

There are also: