In algebra, the '''local criterion for flatness''' gives conditions one can check to show flatness of a module.<ref>{{harvnb|Matsumura|1989|loc=Ch. 8, § 22.}}</ref>
==Statement== Given a commutative ring ''A'', an ideal ''I'' and an ''A''-module ''M'', suppose either *''A'' is a Noetherian ring and ''M'' is idealwise separated for ''I'': for every ideal <math>\mathfrak{a}</math>, <math>\bigcap_{n \ge 1} I^n(\mathfrak{a} \otimes M) = 0</math> (for example, this is the case when ''A'' is a Noetherian local ring, ''I'' its maximal ideal and ''M'' finitely generated), or *''I'' is nilpotent. Then the following are equivalent:<ref>{{harvnb|Matsumura|1989|loc=Theorem 22.3.}}</ref> {{Ordered list |''M'' is a flat module. |<math>M/I</math> is flat over <math>A/I</math> and <math>\operatorname{Tor}_1^A(A/I, M) = 0</math>. |For each <math>n \ge 0</math>, <math>M_n = M/I^{n+1} M</math> is flat over <math>A_n = A/I^{n+1}</math>. |In the notations of 3., <math>M_0</math> is <math>A_0</math>-flat and the natural <math>\operatorname{gr}_I A</math>-module surjection :<math>\operatorname{gr}_I A \otimes_{A_0} M_0 \to \operatorname{gr}_I M</math> is an isomorphism; i.e., each <math>I^n/I^{n+1} \otimes_{A_0} M_0 \to I^nM /I^{n+1} M</math> is an isomorphism.}}
The assumption that “''A'' is a Noetherian ring” is used to invoke the Artin–Rees lemma and can be weakened; see <ref>{{harvnb|Fujiwara|Gabber|Kato|2011|loc=Proposition 2.2.1.}}</ref>
== Proof == Following SGA 1, Exposé IV, we first prove a few lemmas, which are interesting themselves. (See also this [https://amathew.wordpress.com/2009/12/31/flatness-and-the-local-and-infinitesimal-criteria/ blog post] by Akhil Mathew for a proof of a special case.)
{{math_theorem|name=Lemma 1|Given a ring homomorphism <math>A \to B</math> and an <math>A</math>-module <math>M</math>, the following are equivalent. # For every <math>B</math>-module <math>X</math>, <math>\operatorname{Tor}_1^A(X, M) = 0.</math> # <math>M \otimes_A B</math> is <math>B</math>-flat and <math>\operatorname{Tor}_1^A(B, M) = 0.</math> Moreover, if <math>B = A/I</math>, the above two are equivalent to {{ordered list|start=3|<math>\operatorname{Tor}_1^A(X, M) = 0</math> for every <math>A</math>-module <math>X</math> killed by some power of <math>I</math>.}} }}
''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 <math>N \hookrightarrow N'</math> is an injection of <math>B</math>-modules with cokernel ''C'', then, as ''A''-modules, :<math>\operatorname{Tor}^A_1(C, M) = 0 \to N \otimes_A M \to N' \otimes_A M</math>. Since <math>N \otimes_A M \simeq N \otimes_B (B \otimes_A N)</math> and the same for <math>N'</math>, this proves 2. Conversely, considering <math>0 \to R \to F \to X \to 0</math> where ''F'' is ''B''-free, we get: :<math>\operatorname{Tor}^A_1(F, M) = 0 \to \operatorname{Tor}^A_1(X, M) \to R \otimes_A M \to F \otimes_A M</math>. Here, the last map is injective by flatness and that gives us 1. To see the "Moreover" part, if 1. is valid, then <math>\operatorname{Tor}_1^A(I^n X/I^{n+1}X, M) = 0</math> and so :<math>\operatorname{Tor}_1^A(I^{n+1} X, M) \to \operatorname{Tor}_1^A(I^n X, M) \to 0.</math> By descending induction, this implies 3. The converse is trivial. <math>\square</math>
{{math_theorem|name=Lemma 2|Let <math>A</math> be a ring and <math>M</math> a module over it. If <math>\operatorname{Tor}_1^A(A/I^n, M) = 0</math> for every <math>n > 0</math>, then the natural grade-preserving surjection :<math>\operatorname{gr}_I(A) \otimes_{A_0} M_0 \to \operatorname{gr}_I M</math> is an isomorphism. Moreover, when ''I'' is nilpotent, :<math>M</math> is flat if and only if <math>M_0</math> is flat over <math>A_0</math> and <math>\operatorname{gr}_I A \otimes_{A_0} M_0 \to \operatorname{gr}_I M</math> is an isomorphism.}}
''Proof'': The assumption implies that <math>I^n \otimes M = I^n M</math> and so, since tensor product commutes with base extension, :<math>\operatorname{gr}_I(A) \otimes_{A_0} M_0 = \oplus_0^{\infty} (I^n)_0 \otimes_{A_0} M_0 = \oplus_0^{\infty} (I^n \otimes_A M)_0 = \oplus_0^{\infty} (I^n M)_0 = \operatorname{gr}_I M</math>.
For the second part, let <math>\alpha_i</math> denote the exact sequence <math>0 \to \operatorname{Tor}_1^A(A/I^i, M) \to I^i \otimes M \to I^i M \to 0</math> and <math>\gamma_i: 0 \to 0 \to I^i/I^{i+1} \otimes M \overset{\simeq} \to I^i M/I^{i+1} M \to 0</math>. Consider the exact sequence of complexes: :<math>\alpha_{i+1} \to \alpha_i \to \gamma_i.</math> Then <math>\operatorname{Tor}_1^A(A/I^i, M) = 0, i > 0</math> (it is so for large <math>i</math> and then use descending induction). 3. of Lemma 1 then implies that <math>M</math> is flat. <math>\square</math>
''Proof of the main statement''.
The proof uses the cycle of implications <math> 1.\Rightarrow 4.\Rightarrow 3.\Rightarrow 2.\Rightarrow 1.</math>
<math>2. \Rightarrow 1.</math>: If <math>I</math> is nilpotent, then, by Lemma 1, <math>\operatorname{Tor}_1^A(-, M) = 0</math> and <math>M</math> is flat over <math>A</math>. Thus, assume that the first assumption is valid. Let <math>\mathfrak{a} \subset A</math> be an ideal and we shall show <math>\mathfrak{a} \otimes M \to M</math> is injective. For an integer <math>k > 0</math>, consider the exact sequence :<math>0 \to \mathfrak{a}/(I^k \cap \mathfrak{a}) \to A/I^k \to A/(\mathfrak{a} + I^k) \to 0.</math> Since <math>\operatorname{Tor}_1^A(A/(\mathfrak{a} + I^k), M) = 0</math> by Lemma 1 (note <math>I^k</math> kills <math>A/(\mathfrak{a} + I^k)</math>), tensoring the above with <math>M</math>, we get: :<math>0 \to \mathfrak{a}/(I^k \cap \mathfrak{a}) \otimes M \to A/I^k \otimes M = M/I^k M</math>. Tensoring <math>M</math> with <math>0 \to I^k \cap \mathfrak{a} \to \mathfrak{a} \to \mathfrak{a}/(I^k \cap \mathfrak{a}) \to 0</math>, we also have: :<math>(I^k \cap \mathfrak{a}) \otimes M \overset{f}\to \mathfrak{a} \otimes M \overset{g}\to \mathfrak{a}/(I^k \cap \mathfrak{a}) \otimes M \to 0.</math> We combine the two to get the exact sequence: :<math>(I^k \cap \mathfrak{a}) \otimes M \overset{f}\to \mathfrak{a} \otimes M \overset{g'}\to M/I^k M.</math>
Now, if <math>x</math> is in the kernel of <math>\mathfrak{a} \otimes M \to M</math>, then, a fortiori, <math>x</math> is in <math>\operatorname{ker}(g') = \operatorname{im}(f) = (I^k \cap \mathfrak{a}) \otimes M</math>. By the Artin–Rees lemma, given <math>n > 0</math>, we can find <math>k > 0</math> such that <math>I^k \cap \mathfrak{a} \subset I^n \mathfrak{a}</math>. Since <math>\cap_{n \ge 1} I^n(\mathfrak{a} \otimes M) = 0</math>, we conclude <math>x = 0</math>.
<math>1. \Rightarrow 4.</math> follows from Lemma 2.
<math>4. \Rightarrow 3.</math>: Since <math>(A_n)_0 = A_0</math>, the condition 4. is still valid with <math>M, A</math> replaced by <math>M_n, A_n</math>. Then Lemma 2 says that <math>M_n</math> is flat over <math>A_n</math>.
<math>3. \Rightarrow 2.</math> Tensoring <math>0 \to I \to A \to A/I \to 0</math> with ''M'', we see <math>\operatorname{Tor}_1^A(A/I, M)</math> is the kernel of <math>I \otimes M \to M</math>. Thus, the implication is established by an argument similar to that of <math>2. \Rightarrow 1.</math><!-- TODO: give more details. --><math>\square</math>
== Application: characterization of an étale morphism == The local criterion can be used to prove the following: {{math_theorem|name=Proposition|math_statement=Given a morphism <math>f: X \to Y</math> of finite type between Noetherian schemes, <math>f</math> is étale (flat and unramified) if and only if for each ''x'' in ''X'', ''f'' is an analytically local isomorphism near ''x''; i.e., with <math>y = f(x)</math>, <math>\widehat{f^*_x} : \widehat{\mathcal{O}_{y, Y}} \to \widehat{\mathcal{O}_{x, X}}</math> is an isomorphism.}}
''Proof'': Assume that <math>\widehat{\mathcal{O}_{y, Y}} \to \widehat{\mathcal{O}_{x, X}}</math> is an isomorphism and we show ''f'' is étale. First, since <math>\mathcal{O}_x \to \widehat{\mathcal{O}_x}</math> is faithfully flat (in particular is a pure subring), we have: :<math>\mathfrak{m}_y \mathcal{O}_x = \mathfrak{m}_y \widehat{\mathcal{O}_x} \cap \mathcal{O}_x = \widehat{\mathfrak{m}_y} \widehat{\mathcal{O}_x} \cap \mathcal{O}_x = \widehat{\mathfrak{m}_x} \cap \mathcal{O}_x = \mathfrak{m}_x</math>. Hence, <math>f</math> is unramified (separability is trivial). Now, that <math>\mathcal{O}_y \to \mathcal{O}_x</math> is flat follows from (1) the assumption that the induced map on completion is flat and (2) the fact that flatness descends under faithfully flat base change (it shouldn't be hard to make sense of (2)).
Next, we show the converse: by the local criterion, for each ''n'', the natural map <math>\mathfrak{m}_y^n/\mathfrak{m}_y^{n+1} \to \mathfrak{m}_x^n/\mathfrak{m}_x^{n+1}</math> is an isomorphism. By induction and the five lemma, this implies <math>\mathcal{O}_y/\mathfrak{m}_y^n \to \mathcal{O}_x/\mathfrak{m}_x^n</math> is an isomorphism for each ''n''. Passing to limit, we get the asserted isomorphism. <math>\square</math>
Mumford's Red Book gives an extrinsic proof of the above fact (Ch. III, § 5, Theorem 3).
== Miracle flatness theorem == B. Conrad calls the next theorem ''the miracle flatness theorem''.<ref>Problem 10 in http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf</ref> {{math theorem|Let <math>R \to S</math> be a local ring homomorphism between local Noetherian rings. If ''S'' is flat over ''R'', then :<math>\dim S = \dim R + \dim S/\mathfrak{m}_R S</math>. Conversely, if this dimension equality holds, if ''R'' is regular and if ''S'' is Cohen–Macaulay (e.g., regular), then ''S'' is flat over ''R''.}}
== Notes == {{reflist}}
== References == *{{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative ring theory | publisher=Cambridge University Press | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 |mr=1011461 | year=1989 | volume=8}} *Exposé IV of {{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | last2=Raynaud | first2=Michèle |author-link2=Michèle Raynaud | title=Revêtements étales et groupe fondamental (SGA 1) | orig-date=1971 | arxiv=math/0206203 | publisher=Société Mathématique de France | location=Paris | series=Documents Mathématiques (Paris) [Mathematical Documents (Paris)] | isbn=978-2-85629-141-2 | mr=2017446 | year=2003 | volume=3| bibcode=2002math......6203G }} *{{cite journal |last1=Fujiwara |first1=K. |last2=Gabber |first2=O. |last3=Kato |first3=F. |title=On Hausdorff completions of commutative rings in rigid geometry. |journal= Journal of Algebra |issue=322 |year=2011 |volume=332 |pages=293–321|doi=10.1016/j.jalgebra.2011.02.001 }}
== External links == *[https://amathew.wordpress.com/2009/12/31/flatness-and-the-local-and-infinitesimal-criteria/ blog post] by Akhil Mathew
Category:Commutative algebra Category:Theorems in abstract algebra