The Stacks project

107.11 Nonflat completions

The completion of a ring with respect to an ideal isn't always flat, contrary to the Noetherian case. We have seen two examples of this phenomenon in More on Algebra, Example 15.83.10. In this section we give two more examples.

Lemma 107.11.1. Let $R$ be a ring. Let $M$ be an $R$-module which is countable. Then $M$ is a finite $R$-module if and only if $M \otimes _ R R^\mathbf {N} \to M^\mathbf {N}$ is surjective.

Proof. If $M$ is a finite module, then the map is surjective by Algebra, Proposition 10.88.2. Conversely, assume the map is surjective. Let $m_1, m_2, m_3, \ldots $ be an enumeration of the elements of $M$. Let $\sum _{j = 1, \ldots , m} x_ j \otimes a_ j$ be an element of the tensor product mapping to the element $(m_ n) \in M^\mathbf {N}$. Then we see that $x_1, \ldots , x_ m$ generate $M$ over $R$ as in the proof of Algebra, Proposition 10.88.2. $\square$

Lemma 107.11.2. Let $R$ be a countable ring. Let $M$ be a countable $R$-module. Then $M$ is finitely presented if and only if the canonical map $M \otimes _ R R^\mathbf {N} \to M^\mathbf {N}$ is an isomorphism.

Proof. If $M$ is a finitely presented module, then the map is an isomorphism by Algebra, Proposition 10.88.3. Conversely, assume the map is an isomorphism. By Lemma 107.11.1 the module $M$ is finite. Choose a surjection $R^{\oplus m} \to M$ with kernel $K$. Then $K$ is countable as a submodule of $R^{\oplus m}$. Arguing as in the proof of Algebra, Proposition 10.88.3 we see that $K \otimes _ R R^\mathbf {N} \to K^\mathbf {N}$ is surjective. Hence we conclude that $K$ is a finite $R$-module by Lemma 107.11.1. Thus $M$ is finitely presented. $\square$

Lemma 107.11.3. Let $R$ be a countable ring. Then $R$ is coherent if and only if $R^\mathbf {N}$ is a flat $R$-module.

Proof. If $R$ is coherent, then $R^\mathbf {N}$ is a flat module by Algebra, Proposition 10.89.6. Assume $R^\mathbf {N}$ is flat. Let $I \subset R$ be a finitely generated ideal. To prove the lemma we show that $I$ is finitely presented as an $R$-module. Namely, the map $I \otimes _ R R^\mathbf {N} \to R^\mathbf {N}$ is injective as $R^\mathbf {N}$ is flat and its image is $I^\mathbf {N}$ by Lemma 107.11.1. Thus we conclude by Lemma 107.11.2. $\square$

Let $R$ be a countable ring. Observe that $R[[x]]$ is isomorphic to $R^\mathbf {N}$ as an $R$-module. By Lemma 107.11.3 we see that $R \to R[[x]]$ is flat if and only if $R$ is coherent. There are plenty of noncoherent countable rings, for example

\[ R = k[y, z, a_1, b_1, a_2, b_2, a_3, b_3, \ldots ]/ (a_1 y + b_1 z, a_2 y + b_2 z, a_3 y + b_3 z, \ldots ) \]

where $k$ is a countable field. This ring is not coherent because the ideal $(y, z)$ of $R$ is not a finitely presented $R$-module. Note that $R[[x]]$ is the completion of $R[x]$ by the principal ideal $(x)$.

Lemma 107.11.4. There exists a ring such that the completion $R[[x]]$ of $R[x]$ at $(x)$ is not flat over $R$ and a fortiori not flat over $R[x]$.

Proof. See discussion above. $\square$

It turns out there is a ring $R$ such that $R[[x]]$ is flat over $R$, but $R[[x]]$ is not flat over $R[x]$. See this post by Badam Baplan. Namely, let $R$ be a valuation ring. Then $R$ is coherent (Algebra, Example 10.89.2) and hence $R[[x]]$ is flat over $R$ by Algebra, Proposition 10.89.6. On the other hand, we have the following lemma.

Lemma 107.11.5. Let $R$ be a domain with fraction field $K$. If $R[[x]]$ is flat over $R[x]$, then $R$ is normal if and only if $R$ is completely normal (Algebra, Definition 10.36.3).

Proof. Suppose we have $\alpha \in K$ and a nonzero $r \in R$ such that $r \alpha ^ n \in R$ for all $n \geq 1$. Then we consider $f = \sum r \alpha ^{n - 1} x^ n$ in $R[[x]]$. Write $\alpha = a/b$ for $a, b \in R$ with $b$ nonzero. Then we see that $(a x - b)f = -rb$. It follows that $rb$ is in the ideal $(ax - b)R[[x]]$. Let $S = \{ h \in R[x] : h(0) = 1\} $. This is a multiplicative subset and flatness of $R[x] \to R[[x]]$ implies that $S^{-1}R[x] \to R[[x]]$ is faithfully flat (details omitted; hint: use Algebra, Lemma 10.38.16). Hence

\[ S^{-1}R/(ax - b)S^{-1}R \to R[[x]]/(ax - b)R[[x]] \]

is injective. We conclude that $h rb = (ax - b) g$ for some $h \in S$ and $g \in R[x]$. Writing $h = 1 + h_1 x + \ldots + h_ d x^ d$ shows that we obtain

\[ 1 + h_1 x + \ldots + h_ d x^ d = (1/r)(\alpha x - 1)g \]

This factorization in $K[x]$ gives a corresponding factorization in $K[x^{-1}]$ which shows that $\alpha $ is the root of a monic polynomial with coefficients in $R$ as desired. $\square$

Lemma 107.11.6. If $R$ is a valuation ring of dimension $> 1$, then $R[[x]]$ is flat over $R$ but not flat over $R[x]$.

Proof. The arguments above show that this is true if we can show that $R$ is not completely normal (valuation rings are normal, see Algebra, Lemma 10.49.10). Let $\mathfrak p \subset \mathfrak m \subset R$ be a chain of primes. Pick nonzero $x \in \mathfrak p$ and $y \in \mathfrak m \setminus \mathfrak p$. Then $x y^{-n} \in R$ for all $n \geq 1$ (if not then $y^ n/x \in R$ which is absurd because $y \not\in \mathfrak p$). Hence $1/y$ is almost integral over $R$ but not in $R$. $\square$

Next, we will construct an example where the completion of a localization is nonflat. To do this consider the ring

\[ R = k[y, z, a_1, a_2, a_3, \ldots ]/(ya_ i, a_ i a_ j) \]

Denote $f \in R$ the residue class of $z$. We claim the ring map

107.11.6.1
\begin{equation} \label{examples-equation-nonflat} R[[x]] \longrightarrow R_ f[[x]] \end{equation}

isn't flat. Let $I$ be the kernel of $y : R[[x]] \to R[[x]]$. A typical element $g$ of $I$ looks like $g = \sum g_{n, m} a_ mx^ n$ where $g_{n, m} \in k[z]$ and for a given $n$ only a finite number of nonzero $g_{n, m}$. Let $J$ be the kernel of $y : R_ f[[x]] \to R_ f[[x]]$. We claim that $J \not= I R_ f[[x]]$. Namely, if this were true then we would have

\[ \sum z^{-n} a_ n x^ n = \sum \nolimits _{i = 1, \ldots , m} h_ i g_ i \]

for some $m \geq 1$, $g_ i \in I$, and $h_ i \in R_ f[[x]]$. Say $h_ i = \bar h_ i \bmod (y, a_1, a_2, a_3, \ldots )$ with $\bar h_ i \in k[z, 1/z][[x]]$. Looking at the coefficient of $a_ n$ and using the description of the elements $g_ i$ above we would get

\[ z^{-n} x^ n = \sum \bar h_ i \bar g_{i, n} \]

for some $\bar g_{i, n} \in k[z][[x]]$. This would mean that all $z^{-n}x^ n$ are contained in the finite $k[z][[x]]$-module generated by the elements $\bar h_ i$. Since $k[z][[x]]$ is Noetherian this implies that the $R[z][[x]]$-submodule of $k[z, 1/z][[x]]$ generated by $1, z^{-1}x, z^{-2}x^2, \ldots $ is finite. By Algebra, Lemma 10.35.2 we would conclude that $z^{-1}x$ is integral over $k[z][[x]]$ which is absurd. On the other hand, if (107.11.6.1) were flat, then we would get $J = IR_ f[[x]]$ by tensoring the exact sequence $0 \to I \to R[[x]] \xrightarrow {y} R[[x]]$ with $R_ f[[x]]$.

Lemma 107.11.7. There exists a ring $A$ complete with respect to a principal ideal $I$ and an element $f \in A$ such that the $I$-adic completion $A_ f^\wedge $ of $A_ f$ is not flat over $A$.

Proof. Set $A = R[[x]]$ and $I = (x)$ and observe that $R_ f[[x]]$ is the completion of $R[[x]]_ f$. $\square$


Comments (3)

Comment #3754 by Mayor Lemon on

Regarding lemma 0ALC, is there a nice example of a ring such that is flat over and is not flat over ? Perhaps it would nice to include it here.

Comment #4723 by Kiran Kedlaya on

Regarding lemma 0ALE, Alex Mathers pointed out to me that the proof gives slightly more: is not flat over either. In the world of adic spaces, this gives an example of a rational localization map between complete Tate Huber rings which is not flat.


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 0AL8. Beware of the difference between the letter 'O' and the digit '0'.