Lemma 38.25.12 (0ATC)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 38: More on Flatness
Section 38.25: Variants of a lemma
Lemma 38.25.12 (cite)

numberstags

Lemma 38.25.12. Let $A$ be a local ring. Let $I \subset A$ be an ideal. Let $U \subset \mathop{\mathrm{Spec}}(A)$ be quasi-compact open. Let $M$ be an $A$ -module. Assume that

$M/IM$ is flat over $A/I$ ,
$M$ is flat over $U$ ,

Then $M/I_2M$ is flat over $A/I_2$ where $I_2 = \mathop{\mathrm{Ker}}(I \to \Gamma (U, I/I^2))$ .

Proof. It suffices to show that $M \otimes _ A I/I_2 \to IM/I_2M$ is injective, see Algebra, Lemma 10.99.9. This is true over $U$ by assumption (2). Thus it suffices to show that $M \otimes _ A I/I_2$ injects into its sections over $U$ . We have $M \otimes _ A I/I_2 = M/IM \otimes _ A I/I_2$ and $M/IM$ is a filtered colimit of finite free $A/I$ -modules (Algebra, Theorem 10.81.4). Hence it suffices to show that $I/I_2$ injects into its sections over $U$ , which follows from the construction of $I_2$ . $\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