Lemma 35.19.2 (06QN)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.19: Variants on descending properties
Lemma 35.19.2 (cite)

previous lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 35.19.2. Let $f : X \to Y$ be a morphism of algebraic spaces. If $f$ is locally of finite presentation, flat, and surjective and $X$ is regular, then $Y$ is regular.

Proof. This lemma reduces to the following algebra statement: If $A \to B$ is a faithfully flat, finitely presented ring homomorphism with $B$ Noetherian and regular, then $A$ is Noetherian and regular. We see that $A$ is Noetherian by Algebra, Lemma 10.164.1 and regular by Algebra, Lemma 10.110.9. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment