The Stacks project

Theorem 41.9.2. Let $A$, $B$ be Noetherian local rings. Let $f : A \to B$ be a local homomorphism. If $M$ is a finite $B$-module that is flat as an $A$-module, and $t \in \mathfrak m_ B$ is an element such that multiplication by $t$ is injective on $M/\mathfrak m_ AM$, then $M/tM$ is also $A$-flat.

Proof. See Algebra, Lemma 10.99.1. See also [Section 20, MatCA]. $\square$

Comments (2)

Comment #7059 by Janos Kollar on

There is a stronger if and only if version in MatCRT, p.177.

Comment #7060 by on

If is injective then flatness of over implies that is -universally flat by Lemma 10.39.12 so the other direction is true without any hypotheses on the ring map and the module (in the sense that is injective for absolutely any -algebra including residue fields).

The result of MatCRT you are referring too is probably Theorem 22.5. This is the same as Lemma 10.99.1 modulo the fact that it only states and proves the difficult direction (again the other direction follows immediately from Lemma 10.39.12).

If you have a ring map , an element and a -module , then to show that is injective and flat over , it suffices to do this after localization at all maximal ideals of . Thus the problem always immediately reduces to the local case (this is just what Matsumura says in the proof of Theorem 22.6 on page 177).

The statement in the local case has a number of variants in the Stacks project: for example, we have 10.99.1, 10.99.2, 10.128.4, 10.128.5, 37.18.1, 41.9.2, 38.7.2, 38.7.5, and finally all of More on Flatness, Section 38.25 is about variants of this lemma and contains the strongest possible version one could ever imagine (I think).

In many of these lemmas (not all) we could make the statement an equivalence. Hmm... Do others agree this is a good idea?

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0252. Beware of the difference between the letter 'O' and the digit '0'.