Local criterion for flatness


In algebra, the local criterion for flatness gives conditions one can check to show flatness of a module.

Statement

Given a commutative ring A, an ideal I and an A-module M, suppose either
or
Then the following are equivalent:
The assumption that “A is a Noetherian ring” is used to invoke the Artin–Rees lemma and can be weakened; see

Proof

Following SGA 1, Exposé IV, we first prove a few lemmas, which are interesting themselves.
Proof: The equivalence of the first two can be seen by studying the Tor spectral sequence. Here is a direct proof: if 1. is valid and is an injection of -modules with cokernel C, then, as A-modules,
Since and the same for, this proves 2. Conversely, considering where F is B-free, we get:
Here, the last map is injective by flatness and that gives us 1. To see the "Moreover" part, if 1. is valid, then and so
By descending induction, this implies 3. The converse is trivial.
Proof: The assumption implies that and so, since tensor product commutes with base extension,
For the second part, let denote the exact sequence and. Consider the exact sequence of complexes:
Then . 3. of Lemma 1 then implies that is flat.
Proof of the main statement.
Since by Lemma 1, tensoring the above with, we get:
Tensoring with, we also have:
We combine the two to get the exact sequence:
Now, if is in the kernel of, then, a fortiori, is in. By the Artin–Rees lemma, given, we can find such that. Since, we conclude.
follows from Lemma 2.
Tensoring with M, we see is the kernel of. Thus, the implication is established by an argument similar to that of

Application: characterization of an étale morphism

The local criterion can be used to prove the following:
Proof: Assume that is an isomorphism and we show f is étale. First, since is faithfully flat, we have:
Hence, is unramified. Now, that is flat follows from the assumption that the induced map on completion is flat and the fact that flatness descends under faithfully flat base change.
Next, we show the converse: by the local criterion, for each n, the natural map
is an isomorphism. By induction and the five lemma, this implies is an isomorphism for each n. Passing to limit, we get the asserted isomorphism.
Mumford’s Red Book gives an extrinsic proof of the above fact.

Miracle flatness theorem

calls the next theorem the miracle flatness theorem.