Lemma 37.10.2 (06AF)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 37: More on Morphisms
Section 37.10: Infinitesimal deformations of schemes
Lemma 37.10.2 (cite)

previous lemma
next lemma

numberstags

history
statistics
3 tags refer to this tag

Lemma 37.10.2. Consider a commutative diagram

$\xymatrix{ (X \subset X') \ar[rr]_{(f, f')} \ar[rd] & & (Y \subset Y') \ar[ld] \\ & (S \subset S') }$

of thickenings. Assume

$X'$ is flat over $S'$ ,
$f$ is flat,
$S \subset S'$ is a finite order thickening, and
$X = S \times _{S'} X'$ and $Y = S \times _{S'} Y'$ .

Then $f'$ is flat and $Y'$ is flat over $S'$ at all points in the image of $f'$ .

Proof. Immediate consequence of Algebra, Lemma 10.101.8. $\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