Lemma 109.41.1. There exist formally étale nonflat ring maps.
109.41 A formally étale non-flat ring map
In this section we give a counterexample to the final sentence in [0, Example 19.10.3(i), EGA] (this was not one of the items caught in their later errata lists). Consider $A \to A/J$ for a local ring $A$ and a nonzero proper ideal $J$ such that $J^2 = J$ (so $J$ isn't finitely generated); the valuation ring of an algebraically closed non-archimedean field with $J$ its maximal ideal is a source of such $(A, J)$. These non-flat quotient maps are formally étale. Namely, suppose given a commutative diagram
where $I$ is an ideal of the ring $R$ with $I^2 = 0$. Then $A \to R$ factors uniquely through $A/J$ because
Hence this also provides a counterexample to the formally étale case of the “structure theorem” for locally finite type and formally étale morphisms in [IV, Theorem 18.4.6(i), EGA] (but not a counterexample to part (ii), which is what people actually use in practice). The error in the proof of the latter is that the very last step of the proof is to invoke the incorrect [0, Example 19.3.10(i), EGA], which is how the counterexample just mentioned creeps in.
Proof. See discussion above. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.