0 Introduction
Valuation rings and perfectoid rings, though they are in general non-Noetherian, behave in some sense like regular rings. For instance, B. Bhatt, S. Iyengar and L. Ma prove in [Reference Bhatt, Iyengar and Ma13] the following perfectoid version of a well-known theorem by E. Kunz [Reference Kunz31] in positive characteristic: If $A\to B$ is a flat homomorphism (or more generally of finite flat dimension), where $(A,\mathfrak {m})$ is a Noetherian local ring and B perfectoid with $\mathfrak {m} B\neq B$ , then A is regular. In fact, in [Reference Bhatt, Iyengar and Ma13] more is proved, and their results give for instance the descent of regularity along morphisms that are coverings for the fpqc topology [Reference André and Fiorot9, Theorem 10.4]. In this paper, we introduce a notion of regularity for not necessarily Noetherian rings that we call formal regularity and prove some results. Since among formally regular rings we find perfectoid rings, the above results are particular cases of our descent theorem:
Theorem 3.1. Let $A\to B$ be a flat local homomorphism (or, more generally, of finite flat dimension) of (not necessarily Noetherian) local rings. If B is formally regular, then so is A.
Bertin’s definition of regularity in the non-Noetherian case [Reference Bertin12] is chosen so that regularity localizes, and therefore it is formulated in terms of projective dimensions. However, we do not think that the localization of regularity in the non-Noetherian context should be a natural requirement. Instead, we look for a concept agreeing with the usual definition in the Noetherian case, including some rings expected to be ‘regular’ (polynomial rings over a field, valuation rings, perfectoid rings,…), and that is related to Grothendieck’s notion of formal smoothness in the same way as in the Noetherian case. Much like topologies play an important role for formal smoothness when we do not have finiteness hypotheses, our definition of formal regularity will depend on the chosen topology.
Our main tool will be the cotangent complex of M. André and D. Quillen which, contrary to its known rigidity in the Noetherian case, is sensitive to the topologies when the rings are not Noetherian. In fact, our definition of formal regularity appears implicitly or explicitly (depending on the chosen topology) in the work of M. André. We give a fairly general definition of formal regularity of an ideal $\mathfrak {m}$ , though we mainly use two cases: formal regularity with the $\mathfrak {m}$ -adic topology or the stronger formal regularity with the discrete topology. Each one has its own advantages and therefore it is useful to work with both. In the Noetherian case, formal regularity does not depend on the topology and, as expected, agrees with the notion of ideal locally generated by a regular sequence.
In the first section, we define and study formal regularity of rings. In order to get some needed flexibility, we have to begin with a refinement of Grothendieck’s definition of formal smoothness so that it depends on an ideal and a topology (recovering Grothendieck’s notion when the topology is the adic topology defined by that ideal). Next, we define formal regularity for ideals and local rings, studying with some results and examples the dependence on the topology. Separated local formally regular rings are domains (Corollary 1.25), and perfectoid and valuation rings are formally regular (Corollary 1.29). The relation between formal smoothness and formal regularity is the one expected (Theorem 1.37 and Corollary 1.38): For instance, over a perfect field, a local ring is formally regular if and only if it is a formally smooth algebra. We also have to give a notion of regular homomorphisms for not necessarily Noetherian rings (1.43–1.46) since we will need it at the end of the paper in order to generalize the relative form of Kunz’s result. The last part of this section is devoted to studying the relation between the vanishing of Koszul homology and formal regularity.
In Section 2, we will give the main technical result (Theorem 2.1) needed in the following section. Since our notion of regularity is not based in the concept of projective dimension (it is ‘based’ on rings instead of modules), our methods are necessarily different from those on [Reference Bhatt, Iyengar and Ma13] (but note that some of the results obtained in that paper are valid not only for A-algebras but also for A-modules).
After deducing Theorem 3.1 above, Section 3 is devoted to some other applications of the descent technical results of Section 2. For instance, we obtain complete intersection and Gorenstein analogues of the above cited result by Bhatt, Iyengar and Ma of descent of regularity from perfectoid rings (Propositions 3.5 and 3.7), and we can avoid the Noetherian hypothesis in the original Kunz’s result:
Corollary 3.14. Let B be a local ring containing a field of characteristic $p>0$ and $\phi :B\to B$ the Frobenius homomorphism. If $\phi $ is flat (or more generally of finite flat dimension), then B is formally regular.
In fact, we drop the Noetherian hypothesis also in the more general relative version by André, Dumitrescu and Radu of Kunz’s theorem (Theorem 3.12).
1 Formal regularity
All rings and algebras will be commutative (but note that in Section 2 sometimes they will be graded anticommutative). We denote by $\mathbb {L}_{B|A}$ the cotangent complex of an A-algebra B, and if M is a B-module, by $\mathrm {H}^i(A,B,M)=\mathrm {H}^i(\mathrm {Hom}_B(\mathbb {L}_{B|A},M))$ , $\mathrm {H}_i(A,B,M)=\mathrm {H}_i(\mathbb {L}_{B|A}\otimes _B M)$ the André–Quillen (co)homology modules [Reference André4], [Reference Quillen40]. We will use repeatedly the following properties of these (co)homology modules:
(1) $\mathrm {H}_0(A,B,M)=\Omega _{B|A}\otimes _B M$ , $\mathrm {H}^0(A,B,M)=\mathrm {Der}_A(B,M)$ [Reference André4, 6.3].
(2) If $B=A/I$ , then $\mathrm {H}_1(A,B,M)=I/I^2\otimes _B M$ , $\mathrm {H}^1(A,B,M)=\mathrm {Hom}_B(I/I^2,M)$ [Reference André4, 6.1].
(3) (Localization) Let $f:A \rightarrow B$ be a ring homomorphism, T a multiplicative subset of B, S a multiplicative subset of A such that $f(S)\subset T$ , and M a B-module. Then
[Reference André4, 4.59, 5.27]. The second and third isomorphisms are also valid for cohomology.
(4) (Base change) Let $t>0$ be an integer, $A \rightarrow B$ , $A \rightarrow C$ be ring homomorphisms such that $\mathrm {Tor}_i^A(B,C)=0$ for all $0<i\leq t$ , and let M be a $B\otimes _AC$ -module. Then
for all $n\leq t$ [Reference André4, 9.31].
(5) Let B be an A-algebra, C a B-algebra, M a flat C-module, N an injective C-module. Then from the definition we obtain
for all n [Reference André4, 3.20, 3.21]. We will use frequently these isomorphisms when $C=k$ is a field: For instance, $\mathrm {H}^n(A,B,N)=0$ for all k-modules N if and only if $\mathrm {H}_n(A,B,k)=0$ if and only if $\mathrm {H}^n(A,B,k)=0$ so, even if we are interested in the vanishing of cohomology, in this case we can work with homology which is often easier to handle (for instance, it behaves well under localization, as pointed above).
(6) (Jacobi–Zariski exact sequence) If $A \rightarrow B \rightarrow C$ are ring homomorphisms and M is a C-module, we have natural exact sequences [Reference André4, 5.1]
(7) If $K\rightarrow L$ is a field extension and M an L-module, we have $\mathrm {H}_n(K,L,M)=0=\mathrm {H}^n(K,L,M)$ for all $n \geq 2$ [Reference André4, 7.4]. So if $A\rightarrow K \rightarrow L$ are ring homomorphisms with K and L fields, from (6) we obtain $\mathrm {H}_n(A,K,L) = \mathrm {H}_n(A,L,L)$ for all $n \geq 2$ , which, using (5), gives $\mathrm {H}_n(A,K,K) \otimes _KL=\mathrm {H}_n(A,L,L)$ for all $n \geq 2$ , and similarly for cohomology.
A local ring $(A,\mathfrak {m},k)$ is a (not necessarily Noetherian) ring A with a unique maximal ideal $\mathfrak {m}$ and residue field k.
Definition 1.1. We will consider a ring A with a decreasing filtration $\mathfrak {A}=\{\mathfrak {a}_n\}_{n>0}$ consisting on ideals of A. We denote these data by $(A,\mathfrak {A})$ , and for the sake of simplicity we say that $(A,\mathfrak {A})$ is a topological ring since the results below are not affected by a change in the filtration inducing the same topology. Sometimes, we fix an ideal $\mathfrak {a}$ of A such that $\mathfrak {a}_n \subset \mathfrak {a}$ for all n. We denote these data by $(A,\mathfrak {a},\mathfrak {A})$ . Given an ideal $\mathfrak {a}$ , most of the time we will work with two filtrations, the $\mathfrak {a}$ -adic one defined by $\mathfrak {a}_n=\mathfrak {a}^n$ and the discrete one (the 0-adic) defined by $\mathfrak {a}_n=0$ for each n. However, nonadic topologies arise naturally in the non-Noetherian case as the next example shows (see also Example 1.15 (i)).
A homomorphism of topological rings (or a continuous homomorphism)
is a ring homomorphism $f:A\to B$ such that for each n there exists some t such that $f(\mathfrak {a}_t)\subset \mathfrak {b}_n$ , while if we write
we are also assuming that $f(\mathfrak {a})\subset \mathfrak {b}$ . We also say that $(B,\mathfrak {B})$ is a topological $(A,\mathfrak {A})$ -algebra (or that $(B,\mathfrak {b},\mathfrak {B})$ is a topological $(A,\mathfrak {a},\mathfrak {A})$ -algebra when $f(\mathfrak {a})\subset \mathfrak {b}$ ). Sometimes, deleting some terms of the filtration $\mathfrak {A}$ and renumbering we will assume that $f(\mathfrak {a}_n)\subset \mathfrak {b}_n$ for all n (see Remark 1.4).
Example 1.2. Let $(A,\mathfrak {m},k)$ be a local ring. Consider the $\mathfrak {m}$ -adic filtration $\mathfrak {M}=\{\mathfrak {m}^n\}_{n>0}$ . Let
be its completion. The ring $\hat {A}$ is local [Reference Bourbaki19, III, §2, n.13, Proposition 19] with maximal ideal
and residue field k. We have three natural topologies on $\hat {A}$ : the discrete topology, the $\hat {\mathfrak {m}}$ -adic topology and the limit topology $\{\widehat {\mathfrak {m}^n}\}_{n>0}$ given by
The two latter agree if dim $_k(\mathfrak {m}/\mathfrak {m}^2)<\infty $ (for instance, if A is Noetherian), since then $\hat {\mathfrak {m}}^n= \widehat {\mathfrak {m}^n}$ [Reference Grothendieck and Dieudonné23, ${0}_I$ .7.2.7], but in general these topologies are different: While the topological ring $(\hat {A}, \hat {\mathfrak {m}}, \{\widehat {\mathfrak {m}^n}\}_{n>0})$ is clearly separated and complete, $\hat {A}$ is not necessarily complete for the $\hat {\mathfrak {m}}$ -adic topology [Reference Bourbaki19, III, §2, Exercise 12].
Formal smoothness
We will need a slight refinement of Grothendieck’s definition of formal smoothness.
Definition 1.3. We say that a topological $(A,\mathfrak {A})$ -algebra $(B,\mathfrak {b},\mathfrak {B})$ is formally smooth (or that B is formally smooth over $(A,\mathfrak {A})$ for the ideal $\mathfrak {b}$ with the $\mathfrak {B}$ topology) if the following condition is satisfied: For any discrete topological $(A,\mathfrak {A})$ -algebra $(C,\{(0)\}_{n>0})$ , any square-zero ideal M of C (and then M is a $C/M$ -module), and any continuous A-algebra homomorphism $f:B\to C/M$ (that is, $f(\mathfrak {b}_t)=0$ for some t) such that f induces a $B/\mathfrak {b}$ -module structure on M (that is, $p^{-1}(f(\mathfrak {b}))M=0$ , where $p:C\to C/M$ is the canonical map) there exists a continuous A-algebra homomorphism $g:B\to C$ such that $f=pg$ , where $p:C \to C/M$ is the canonical map.
Remark 1.4. Clearly, this definition depends only on the topologies induced by the filtrations $\mathfrak {A}$ and $\mathfrak {B}$ and not on the filtrations themselves.
We will show (Corollary 1.9) that when $\mathfrak {B}$ is the $\mathfrak {b}$ -adic filtration (and $\mathfrak {A}$ is an adic filtration), this definition does not depend on $\mathfrak {A}$ and is equivalent to Grothendieck’s definition [Reference Grothendieck and Dieudonné24, ${0}_{\mathrm{IV}}$ .19.3.1, ${0}_{\mathrm{IV}}$ .19.4.3] of B being formally smooth over A for the $\mathfrak {b}$ -adic topology. However, distinguishing from the ideal $\mathfrak {b}$ and the topology $\mathfrak {B}$ will be important (in the non-Noetherian case). While we will see (Corollary 1.10) that when B is Noetherian, $\mathfrak {A}$ is an adic filtration and $\mathfrak {B}$ is the $\widetilde {\mathfrak {b}}$ -adic filtration for some ideal $\widetilde {\mathfrak {b}}\subset \mathfrak {b}$ , Definition 1.3 does not depend on the ideal $\widetilde {\mathfrak {b}}$ (and therefore, for any ideal $\widetilde {\mathfrak {b}}$ it is equivalent to Grothendieck’s definition), in the non-Noetherian case in general it depends on $\widetilde {\mathfrak {b}}$ (Example 1.11) and in particular considering on the ideal $\mathfrak {b}$ the $\mathfrak {b}$ -adic topology or the discrete one will be different and important.
We will need the following proposition similar to [Reference Grothendieck and Dieudonné24, ${0}_{\mathrm{IV}}$ .19.3.10].
Proposition 1.5. Let $(B,\mathfrak {b}, \mathfrak {B})$ be a topological $(A,\mathfrak {A})$ -algebra. The following are equivalent:
(i) $(B,\mathfrak {b}, \mathfrak {B})$ is formally smooth over $(A,\mathfrak {A})$ .
(ii) For any topological $(A,\mathfrak {A})$ -algebra $(C,\{M^n\}_{n>0})$ , where M is an ideal of C, and any continuous A-algebra homomorphism $f:B\to C/M$ (that is, $f(\mathfrak {b}_t)=0$ for some t) such that $p^{-1}(f(\mathfrak {b}))M\subset M^2$ there exists an A-algebra homomorphism $g:B\to \hat {C}=\underset {i}{\varprojlim } \; C/M^i$ continuous for the limit topology in $\hat {C}$ such that $f=\hat {p}g$ , where $p:C\to C/M$ is the canonical map and $\hat {p}:\hat {C} \to C/M$ its completion.
Proof. The condition in Definition 1.3 is a particular case of (ii) when $M^2=0$ , and for (i) $\Rightarrow $ (ii) we define $g={\varprojlim }\; g_i:B\to \varprojlim C/M^i$ , where the maps $g_i$ are constructed inductively with the diagrams
since the condition $f(\mathfrak {b})M\subset M^2$ gives us that for all $i>0$ , f (and so inductively $g_i$ ) induces a $B/\mathfrak {b}$ -module structure on $M^i/M^{i+1}$ .
Definition 1.6. [Reference Grothendieck and Dieudonné24, 18.4.2] Let A be a ring, B an A-algebra. If $p:E\to B$ is a surjective homomorphism of A-algebras whose kernel M is a square-zero ideal of E, we will say that the exact sequence
is an extension of B over A by M. Note that M has then a canonical B-module structure. We will say that two extensions of B over A by M
are equivalent if there exists an A-algebra homomorphism $E\to E'$ making commutative the diagram
Then $E\to E'$ is an isomorphism and this is an equivalence relation. We will say that an extension
is trivial if p has an A-algebra section. All trivial extensions form one equivalence class.
If
is an extension and $B'\to B$ an A-algebra homomorphism, then there is an associated extension
Similarly, if $M\to M'$ is a B-module homomorphism, we have an extension
Finally, if $A'\to A$ is a ring homomorphism, we have an associated extension over $A'$
[Reference André4, 16.8, 16.9, 16.7].
Proposition 1.7. [Reference André4, 16.12] Let A be a ring, B an A-algebra and M a B-module. There exists a bijection, natural on A, B and M in the above sense, between the set of equivalence classes of extensions of B over A by M and the cohomology module $\mathrm {H}^1(A,B,M)$ , taking the class of the trivial extensions to 0.
Proposition 1.8. Let $f:(A,\mathfrak {A}) \to (B,\mathfrak {b},\mathfrak {B})$ be a continuous homomorphism, and assume for simplicity (see Remark 1.4) that $f(\mathfrak {a}_n) \subset \mathfrak {b}_n$ for all n. The following are equivalent:
(i) The $(A,\mathfrak {A})$ -algebra $(B,\mathfrak {b},\mathfrak {B})$ is formally smooth.
(ii) $\underset {n}{\varinjlim } \; \mathrm {H} ^1(A/\mathfrak {a}_n,B/\mathfrak {b}_n,M)=0$ for any $B/\mathfrak {b}$ -module M.
Proof. (ii) $\Rightarrow $ (i) Let C be an A-algebra such that for some r the image of $\mathfrak {a}_r$ in C is zero, M a square-zero ideal of C, $f:B\to C/M$ an A-algebra homomorphism such that $f(\mathfrak {b}_t)=0$ for some t and that $p^{-1}(f(\mathfrak {b}))M=0$ , where $p:C\to C/M$ is the canonical map. Then f induces a homomorphism of A-algebras $B/\mathfrak {b}_t \to C/M$ . Consider the Cartesian square defining $C_t$
By Proposition 1.7, enlarging t if necessary so that $t\geq r$ , the extension
corresponds to an element of $\mathrm {H}^1(A/\mathfrak {a}_t,B/\mathfrak {b}_t,M)$ . By (ii), this element goes to zero in $\mathrm {H}^1(A/\mathfrak {a}_s,B/\mathfrak {b}_s,M)$ for some $s\geq t$ . Since the bijection of Proposition 1.7 takes the trivial extension to zero, the extension
is trivial, that is, there exists a section of A-algebras $\sigma :B/\mathfrak {b}_s \to C_s$ . The required map g is the composition $B\to B/\mathfrak {b}_s \to C_s \to C$ .
(i) $\Rightarrow $ (ii) Let M be a $B/\mathfrak {b}$ -module and x an element of $\mathrm {H}^1(A/\mathfrak {a}_n,B/\mathfrak {b}_n,M)$ . Let
be an extension over $A/\mathfrak {a}_n$ associated to x, where $M^2=0$ as an ideal of C. By (i), there exists an A-algebra homomorphism $g:B\to C$ , continuous for the discrete topology on C, making commutative the triangle
Since g is continuous, we can take $t\geq n$ such that $g(\mathfrak {b}_t)=0$ , and then g induces a map $h:B/\mathfrak {b}_t \to C$ . The image y of x in $\mathrm {H}^1(A/\mathfrak {a}_t,B/\mathfrak {b}_t,M)$ corresponds to the extension
and the map h induces a section of this extension. Therefore, $y=0$ .
Corollary 1.9. Let $f: A\to B$ be a ring homomorphism, $\mathfrak {a}$ an ideal of A, $\mathfrak {b}$ an ideal of B such that $f(\mathfrak {a})\subset \mathfrak {b}$ . Let $\mathfrak {A}$ be the $\mathfrak {a}$ -adic topology on A and $\mathfrak {B}$ the $\mathfrak {b}$ -adic one on B. The following are equivalent:
(i) $(A,\mathfrak {A}) \to (B,\mathfrak {b},\mathfrak {B})$ is formally smooth.
(i’) $(A,\mathfrak {O}) \to (B,\mathfrak {b},\mathfrak {B})$ is formally smooth where $\mathfrak {O}$ is the 0-adic topology.
(ii) B is a formally smooth A-algebra for the $\mathfrak {b}$ -adic topology in the sense of Grothendieck [Reference Grothendieck and Dieudonné24, ${0}_{\mathrm{IV}}$ .19.3.1].
Proof. By 1.8, (i) is equivalent to
for any $B/\mathfrak {b}$ -module M, and (i’) is equivalent to
for any $B/\mathfrak {b}$ -module M. By [Reference Majadas and Rodicio34, 2.2.5], (ii) is also equivalent to (*).
Then, the result follows from the Jacobi–Zariski exact sequence
since $\underset {n}{\varinjlim } \; \mathrm {H}^1(A,A/\mathfrak {a}^n,M)=0$ by [Reference Majadas and Rodicio34, 2.3.4] and $\mathrm {H}^0(A,A/\mathfrak {a}^n,M)=0$ .
Therefore, from now on, if no topology is specified on A, ‘formally smooth over A’ must be understood with the discrete topology on A.
Corollary 1.10. Let $f: A\to B$ be a ring homomorphism, $\mathfrak {a}$ an ideal of A, $\widetilde {\mathfrak {b}}\subset \mathfrak {b}$ ideals of B such that $f(\mathfrak {a})\subset \widetilde {\mathfrak {b}}$ , and let $\mathfrak {A}$ , $\widetilde {\mathfrak {B}}$ , $\mathfrak {B}$ be the adic topologies induced by these ideals. If B is Noetherian the following are equivalent:
(i) $(A,\mathfrak {A}) \to (B,\mathfrak {b},\widetilde {\mathfrak {B}})$ is formally smooth.
(ii) $(A,\mathfrak {A}) \to (B,\mathfrak {b},\mathfrak {B})$ is formally smooth.
Proof. By Corollary 1.9, we can assume $\mathfrak {a}=0$ . Let M be a $B/\mathfrak {b}$ -module. Since B is Noetherian we have [Reference Majadas and Rodicio34, 2.3.4]
Then the Jacobi–Zariski exact sequence
gives an isomorphism
Since the term on the right does not depend on $\widetilde {\mathfrak {b}}$ , Proposition 1.8 gives the result.
Example 1.11. Corollary 1.10 is false without the Noetherian hypothesis. In [Reference Majadas and Rodicio34, 2.3.6, 2.3.7] there is an example of an A-algebra B formally smooth for the J-adic topology in the sense of Grothendieck, where J is an ideal of B, and a $B/J$ -module M such that $\mathrm {H}^1(A,B,M)\neq 0$ . By Corollary 1.9, this algebra is formally smooth for the ideal J with the J-adic topology, and by Proposition 1.8 it is not formally smooth for the ideal J with the discrete ( $0$ -adic) topology.
However, if A is a ring, B an A-algebra, $\mathfrak {b}_1\subset \mathfrak {b}_2\subset \mathfrak {b}$ ideals of B and B is a formally smooth A-algebra for the ideal $\mathfrak {b}$ (resp. $\mathfrak {b}_1$ ) with the $\mathfrak {b}_1$ -adic topology then it is also formally smooth for the ideal $\mathfrak {b}$ (resp. $\mathfrak {b}$ or $\mathfrak {b}_2$ ) with the $\mathfrak {b}_2$ -adic topology. This fact follows easily from the definition or from the Jacobi–Zariski exact sequence
since
as we will see in the proof of Proposition 1.16.
Example 1.12. Grothendieck shows in [Reference Grothendieck and Dieudonné24, ${0}_{IV}$ .19.7.1] that if $(A,\mathfrak {m},k) \to (B,\mathfrak {n},l)$ is a local homomorphism of Noetherian local rings and B is formally smooth over A for the ideal $\mathfrak {n}$ with the $\mathfrak {n}$ -adic topology, then B is a flat A-module. This does no longer hold if A is not Noetherian: There exists a local homomorphism of rings $(A,\mathfrak {m},k) \to (B,\mathfrak {n},l)$ such that B is Noetherian and formally smooth for the ideal $\mathfrak {n}$ with the $\mathfrak {n}$ -adic topology and B is not flat over A. It suffices to take a rank 1 nondiscrete valuation ring $(A,\mathfrak {m},k)$ , and $B:=k$ . We have $\mathrm {H}^1(A,k,M)=\mathrm {Hom}_k(\mathfrak {m}/\mathfrak {m}^2,M)$ , and this last module vanishes since $\mathfrak {m}=\mathfrak {m}^2$ , showing that k is formally smooth over A for its maximal ideal $(0)$ . However, $A\to k$ is not flat (since a flat local homomorphism is injective).
Formal regularity
Definition 1.13. Let $(A,\mathfrak {a},\mathfrak {A})$ be as in Definition 1.1. We say that the ideal $\mathfrak {a}$ is formally regular with the $\mathfrak {A}$ topology if
for any $A/\mathfrak {a}$ -module M.
If $(A,\mathfrak {m},k)$ is a local ring, $\mathfrak {a} =\mathfrak {m}$ its maximal ideal and $\mathfrak {A}$ the $\mathfrak {m}$ -adic topology (resp. the $(0)$ -adic topology), we will say that A is formally regular with the $\mathfrak {m}$ -adic topology (resp. the discrete topology).
Remark 1.14. When the topology $\mathfrak {A}$ is the $\mathfrak {a}$ -adic topology, this is what M. André calls symmetrically regular ideal in [Reference André3]. In this case, he proves that $\mathfrak {a}$ is formally regular with the $\mathfrak {a}$ -adic topology if and only if $\mathfrak {a}/\mathfrak {a}^2$ is projective as $A/\mathfrak {a}$ -module and the canonical homomorphism
is an isomorphism, where S denotes the symmetric algebra, and $\mathrm {Gr}_{\mathfrak {a}}(A)=\oplus _{n\geq 0}\mathfrak {a}^n/\mathfrak {a}^{n+1}$ is the associated graded algebra [Reference André4, 12.2].
Examples 1.15. (i) Let $(A,\mathfrak {m},k)$ be a local ring, $(\hat {A}, \hat {\mathfrak {m}}, k)$ its $\mathfrak {m}$ -adic completion. Then A is formally regular with the $\mathfrak {m}$ -adic topology if and only if $\hat {A}$ is formally regular with the limit topology $\{\widehat {\mathfrak {m}^n}\}_{n>0}$ (see Example 1.2). This is clear since for all n we have $A/\mathfrak {m}^n = \hat {A}/\widehat {\mathfrak {m}^n}$ .
(ii) If $\mathfrak {a}_n=\mathfrak {a}$ for all n, then $\mathfrak {a}$ is formally regular with the $\mathfrak {A}$ topology. For instance, if $\mathfrak {a}^2=\mathfrak {a}$ , then $\mathfrak {a}$ is formally regular with the $\mathfrak {a}$ -adic topology.
Proposition 1.16. Let A be a ring, $\mathfrak {a}_2 \subset \mathfrak {a}_1 \subset \mathfrak {a}$ ideals of A.
(i) If $\mathfrak {a}$ is formally regular with the $\mathfrak {a}_2$ -adic topology, then it is formally regular with the $\mathfrak {a}_1$ -adic topology. In particular, if an ideal $\mathfrak {a}$ is formally regular with the discrete topology it is formally regular with the $\mathfrak {a}$ -adic topology.
(ii) If A is Noetherian, then the converse of (i) is true.
Proof. For $j=1,2$ , we have
for $i=0,1$ and any $A/\mathfrak {a}$ -module M, and when A is Noetherian also for $i=2$ [Reference Majadas and Rodicio34, 2.3.4]. Therefore, from the Jacobi–Zariski exact sequence
we obtain
and, if A is Noetherian
Now, the result follows from the Jacobi–Zariski exact sequence
Example 1.17. Proposition 1.16 (ii) is not true without the Noetherian hypothesis. We are going to see that there exists a local ring $(C,\mathfrak {n},l)$ formally regular with the $\mathfrak {n}$ -adic topology but not with the discrete topology, that is,
By [Reference Majadas and Rodicio34, 2.3.6, 2.3.7], there exists a ring A with a maximal ideal N and another ideal $I\subset N$ such that:
(i) $N=N^2$ ,
(ii) $B:=A/I$ is a formally smooth A-algebra for the ideal $J:=N/I$ with the J-adic topology, and
(iii) $\mathrm {H}^1(A,B,l)\neq 0$ , where $l=B/J$ .
Condition (i) implies that N is formally regular with the N-adic topology, and Corollary 1.9 and condition (ii) imply that $B:=A/I$ is a formally smooth A-algebra for the ideal $J:=N/I$ with the J-adic topology considering in A the N-adic topology. Therefore, by Theorem 1.37 below, J is formally regular with the J-adic topology.
Consider the Jacobi–Zariski exact sequence
The first term vanishes, since $\mathrm {H}^1(A,l,l)=\mathrm {Hom}_l(N/N^2,l)$ , and the second one is not zero by (iii). Therefore, $\mathrm {H}^2(B,l,l)\neq 0$ as desired.
Finally, take $C:=B_J$ , $\mathfrak {n}=JB_J$ , and use that André–Quillen cohomology localizes.
Corollary 1.18. Let A be a Noetherian ring, $\mathfrak {a}$ an ideal of A. The following are equivalent:
(i) The ideal $\mathfrak {a}$ is formally regular with the $\mathfrak {a}$ -adic topology.
(ii) The ideal $\mathfrak {a}$ is formally regular with the discrete topology.
(iii) The ideal $\mathfrak {a}$ is locally generated by a regular sequence.
Proof. The equivalence of (i) and (ii) follows from Proposition 1.16, and the equivalence of (ii) and (iii) from [Reference André4, 6.25] having in mind that André–Quillen cohomology localizes under our hypothesis [Reference André4, 4.59, 5.27].
Proposition 1.19. Let $(A,\mathfrak {a},\mathfrak {A})$ be as in Definition 1.1, and assume that there exists some $t>0$ such that $\mathfrak {a}_t \subset \mathfrak {a}^2$ (for instance, if $\mathfrak {A}$ is the $\mathfrak {a}$ -adic or the discrete topology). If $\mathfrak {a}$ is formally regular with the $\mathfrak {A}$ topology, then the $A/\mathfrak {a}$ -module $\mathfrak {a}/\mathfrak {a}^2$ is projective.
Proof. We have to show that the functor
is exact. Let
be an exact sequence of $A/\mathfrak {a}$ -modules. This induces an exact sequence
The first module vanishes since $A/\mathfrak {a}_n \to A/\mathfrak {a}$ is surjective. By hypothesis, $\underset {n}{\varinjlim } \; \mathrm {H}^2(A/\mathfrak {a}_n,A/\mathfrak {a},M') =0$ , so we obtain an exact sequence
This exact sequence can be written as
and since $\mathfrak {a}_t \subset \mathfrak {a}^2$ , we obtain an exact sequence
Remark 1.20. Let A be a ring, $\mathfrak {a}$ an ideal of A formally regular with the $\mathfrak {a}$ -adic topology. Since inductive limits are exact, for any $n\geq 2$ , any $t\geq n$ and any $A/\mathfrak {a}$ -module M, taking inductive limits in t we see as in [Reference André4, 12.7] that the connecting homomorphism in the Jacobi–Zariski exact sequence
is an isomorphism, and then for all $n\geq 2$ the homomorphisms
are zero. In order to compare with the case of homology, we note the following weaker statement: If $\underset {n}{\varinjlim } \; \mathrm {H}^2(A/\mathfrak {a}^n,A/\mathfrak {a},M)=0$ , then for any r there exists some $s>r$ such that the homomorphism
vanishes.
For homology (instead cohomology), M. André [Reference André3, Proposition A] proved that if A is a ring and $\mathfrak {a}$ an ideal of A, the following are equivalent:
(i) For any $A/\mathfrak {a}$ -module M and any r, there exists some $s>r$ such that the homomorphism
vanishes, that is
as pro-module (in the sense of [Reference Artin and Mazur10, Appendix]).
(ii) $\mathfrak {a}/\mathfrak {a}^2$ is flat as $A/\mathfrak {a}$ -module and the canonical homomorphism
is an isomorphism (compare with Remark 1.14).
In particular, we obtain that an ideal $\mathfrak {a}$ of a ring A is formally regular with the $\mathfrak {a}$ -adic topology if and only if $\mathfrak {a}/\mathfrak {a}^2$ is projective as $A/\mathfrak {a}$ -module and
With the discrete topology we have a similar result:
Proposition 1.21. Let $\mathfrak {a}$ be an ideal of a ring A. The following are equivalent:
(i) $\mathfrak {a}$ is formally regular with the discrete topology.
(ii) $\mathrm {H}_2(A,A/\mathfrak {a},M)=0$ for any $A/\mathfrak {a}$ -module M and $\mathfrak {a}/\mathfrak {a}^2$ is projective over $A/\mathfrak {a}$ .
Proof. (ii) $\Rightarrow $ (i) The functor $\mathrm {H}^1(A,A/\mathfrak {a},-)=\mathrm {Hom}_{A/\mathfrak {a}}(\mathfrak {a}/\mathfrak {a}^2,-)$ is exact, since $\mathfrak {a}/\mathfrak {a}^2$ is projective, and then we have an isomorphism [Reference André4, 3.21]
(i) $\Rightarrow $ (ii) It follows from Proposition 1.19 and taking $C_*= \mathbb {L}_{A/\mathfrak {a}|A}$ in the following elementary lemma, for which we have been unable to find a reference.
Lemma 1.22. Let n be an integer, A a ring and $C_*$ a complex of A-modules. If
for any A-module M, then
for any A-module M.
Proof. If $D\to E \to F$ is a sequence of A-modules such that
is exact for all T, then $D\to E \to F$ is exact. So in order to see that $C_*\otimes _A M$ is exact at n it suffices to see that $\mathrm {Hom}_A(C_*\otimes _A M,T)=\mathrm {Hom}_A(C_*,\mathrm {Hom}_A(M,T))$ is exact at n for any T, which holds by hypothesis.
Lemma 1.23. Let A be a ring, $\mathfrak {p}$ a prime ideal of A, $\mathfrak {a} = \cap _{n>0}\mathfrak {p}^n$ . If $\mathfrak {p}$ is formally regular with the $\mathfrak {p}$ -adic topology, then $\mathfrak {a}$ is a prime ideal.
Proof. Replacing A, $\mathfrak {p}$ , $\mathfrak {a}$ by $A/\mathfrak {a}$ , $\mathfrak {p}/\mathfrak {a}$ , $(0)$ , we can assume that A is separated for the $\mathfrak {p}$ -adic topology and we have to prove that A is a domain. By Proposition 1.19, $\mathfrak {p}/\mathfrak {p}^2$ is a projective $A/\mathfrak {p}$ -module, and as we saw in Remark 1.14 we have an isomorphism
Since $\mathfrak {p}/\mathfrak {p}^2$ is a summand of a free $A/\mathfrak {p}$ -module, $\mathrm {S}_{A/\mathfrak {p}}(\mathfrak {p}/\mathfrak {p}^2)$ is a retract of a polynomial $A/\mathfrak {p}$ -algebra, and in particular it is a domain. Therefore, $\mathrm {Gr}_{\mathfrak {p}}(A)$ is a domain. Let ${x,y\in A}$ , $x\neq 0 \neq y$ . Since A is separated, there exist $r\geq 0$ , $s\geq 0$ such that $x\in \mathfrak {p}^r - \mathfrak {p}^{r+1}$ , $y\in \mathfrak {p}^s - \mathfrak {p}^{s+1}$ , and then $\bar {x}\in \mathfrak {p}^r / \mathfrak {p}^{r+1}$ , $\bar {y}\in \mathfrak {p}^s / \mathfrak {p}^{s+1}$ are nonzero elements of the domain $\mathrm {Gr}_{\mathfrak {p}}(A)$ . Therefore, $\bar {x}\bar {y} \neq 0$ and so $xy \neq 0$ .
Proposition 1.24. Let $(A,\mathfrak {m},k)$ be a local ring formally regular with the $\mathfrak {m}$ -adic topology. Then $\hat {A}$ is a domain.
Proof. The local ring ( $\hat {A},\hat {\mathfrak {m}},k)$ is complete and separated for the topology defined by the filtration $\{\mathfrak {n}_n\}_{n>0}$ , where $\mathfrak {n}_n = \widehat {\mathfrak {m}^n}$ . The graded ring $\mathrm { gr}(\hat {A}):= \hat {A}/\mathfrak {n}_1 \oplus \mathfrak {n}_1/\mathfrak {n}_2 \oplus \dots $ is isomorphic to the graded ring $\mathrm {Gr}_{\mathfrak {m}}(A):=A/\mathfrak {m} \oplus \mathfrak {m}/\mathfrak {m}^2 \oplus \dots $ , since applying the ker-coker exact sequence to the diagram
we obtain
Now, we argue as in the proof of Lemma 1.23: $\mathrm {Gr}_{\mathfrak {m}}(A)$ is a domain, then so is $\mathrm {gr}(\hat {A})$ , and then $\hat {A}$ is a domain.
Corollary 1.25. Let $(A,\mathfrak {m},k)$ be a local ring formally regular and separated with the $\mathfrak {m}$ -adic topology. Then A is a domain.
Remark 1.26. The hypothesis that A is separated is necessary. In fact, there exist local rings whose maximal ideal is a nontrivial nil ideal (that is, every element is nilpotent) and idempotent (and so formally regular). For instance [Reference Bourbaki18, §9, Exercice 1], it is easy to check that the group algebra $\mathbb {F}_p[\mu _{p^\infty }]$ is an example of such a ring, where $\mu _{p^\infty }$ is the group of p-power complex roots of unity (its maximal ideal consists on the elements $\sum n_i\zeta _i$ with $\sum n_i=0$ ).
We will see now that valuation rings and perfectoid rings are formally regular. This is clear if $(A,\mathfrak {m},k)$ is a valuation ring of rank 1, since then it is a discrete valuation ring or $\mathfrak {m} = \mathfrak {m}^2$ and so A is formally regular with the $\mathfrak {m}$ -adic topology. But we will see much stronger results on the regularity of valuation and perfectoid rings.
Definition 1.27. [Reference André3] [Reference Quillen40] An ideal $\mathfrak {a}$ of a ring A is quasi-regular (resp. regular) if the $A/\mathfrak {a}$ -module $\mathfrak {a}/\mathfrak {a}^2$ is flat (resp. projective) and the canonical graded homomorphism
is an isomorphism. This is equivalent to
for all $n\geq 2$ and any $A/\mathfrak {a}$ -module M [Reference Quillen40, Theorem 10.3] [Reference André3, Théorème A] (resp. [Reference Quillen40, Corollary 10.4] [Reference André3, Théorème B]). When A is Noetherian, $\mathfrak {a}$ is quasi-regular if and only if it is regular if and only if it is locally generated by a regular sequence [Reference André4, 6.25].
If $(A,\mathfrak {m},k)$ is a local ring and $\mathfrak {m}$ is a quasi-regular ideal, then $\mathrm {H}_2(A,A/\mathfrak {m},A/\mathfrak {m})=0$ and so $\mathrm {H}^2(A,A/\mathfrak {m},M)=0$ for any $A/\mathfrak {m}$ -module M. Therefore, A is formally regular with the discrete topology by definition, and also formally regular with the $\mathfrak {m}$ -adic topology by Proposition 1.16. The converse is not true (Example 1.41).
If A is a ring, $\mathfrak {a}$ an ideal of A and M an $A/\mathfrak {a}$ -module, there exists a surjective homomorphism
(see [Reference Quillen40, Theorem 6.16], [Reference André4, 15.8], or for a direct simple proof dualize the one of [Reference Majadas and Rodicio34, 2.3.2]) and then $\mathrm {H}_2(A,A/\mathfrak {a},M)=0$ when $\mathfrak {a}$ is flat. With a different language this was shown by Planas–Vilanova in [Reference Planas-Vilanova37] (see also [Reference Planas-Vilanova39, Closing Remark]). Using another result of Planas–Vilanova we can give a stronger result:
Theorem 1.28. Any flat ideal $\mathfrak {a}$ of a ring A is quasi-regular.
Proof. By flat base change, $\mathfrak {a}/\mathfrak {a}^2$ is a flat $A/\mathfrak {a}$ -module. Then by [Reference Planas-Vilanova38, Lemma 2.1] the homomorphism
is injective for all n. Since $\gamma _1$ is an isomorphism and $\mathrm {Tor}^A_n(A/\mathfrak {a},A/\mathfrak {a})=0$ for $n\geq 2$ , $\gamma _n$ is an isomorphism for all n.
For the next corollary, we consider the definition of perfectoid ring (for a prime that we will always denote by p) as in [Reference Bhatt, Morrow and Scholze14, Definition 3.5] (or equivalently in [Reference Bhatt, Iyengar and Ma13, Definition 3.5]).
Corollary 1.29. (i) Any ideal of a valuation ring is quasi-regular. In particular, if $(A,\mathfrak {m},k)$ is a valuation ring, then it is formally regular with the discrete topology (and in fact regular).
(ii) Any radical ideal of a perfectoid ring containing p is quasi-regular. In particular, any maximal ideal of a perfectoid ring is regular.
Proof. Any ideal of a valuation ring is flat ([Reference Bourbaki20, VI, §3, n. 6, Lemma 1]) so (i) follows from Theorem 1.28. Now, let A be a perfectoid ring. By [Reference Bhatt, Iyengar and Ma13, Lemma 3.7], $A/\mathrm {rad}(p)$ is perfect and $\mathrm {rad}(p)$ is flat over A. Let $\mathfrak {m}$ be a radical ideal of A containing p, and $B=A/\mathfrak {m}$ . We have a Jacobi–Zariski exact sequence
for any B-module M. Since $A/\mathrm {rad}(p)$ and B are perfect, then
for all $n\geq 0$ (since the Frobenius isomorphisms induce the zero map on the cotangent complex [Reference André5, Lemme 53]). By Theorem 1.28,
for all $n\geq 2$ . Therefore $\mathrm {H}_n(A,B,M)=0$ for all $n\geq 2$ .
For the particular case, note that if $\mathfrak {m}$ is a maximal ideal of A, $p\in \mathfrak {m}$ since A is p-adically separated and complete ([Reference Bourbaki19, III, §2, n. 13, Lemme 3(ii)]).
Corollary 1.30. Let $A\to B$ be a flat ring homomorphism, and assume that any ideal of B is flat (for instance, if B is a Prüfer domain, or more particularly a valuation ring). Then
for and prime ideal $\mathfrak {q}$ of B and all $n\geq 2$ .
Proof. Let $\mathfrak {p}=f^{-1}(\mathfrak {q})$ . By flat base change, we have
By the Jacobi–Zariski exact sequence associated to $B\to B/\mathfrak {p} B \to B/\mathfrak {q}$ and Theorem 1.28 we have
for all $n\geq 3$ , and then
for all $n\geq 3$ . Now, from (2) and the Jacobi–Zariski exact sequence associated to $k(\mathfrak {p}) \to (B/\mathfrak {p} B)_{\mathfrak {q}} \to k(\mathfrak {q})$ we obtain
for all $n\geq 2$ and therefore
for all $n\geq 2$ . Now, (1) gives the result.
Remark 1.31. If $A \to B$ is an extension of valuation rings we can say more. In [Reference Gabber and Ramero22, Theorem 6.5.12(i)], it is proved that $\mathrm {H}_n(A,B,B)=0$ for all $n\geq 2$ and $\mathrm {H}_1(A,B,B)$ is a flat B-module, which is equivalent to $\mathrm {H}_n(A,B,M)=0$ for all $n\geq 2$ and any B-module M (it suffices to apply the universal coefficient spectral sequence
keeping in mind that $\mathrm {Tor}^B_n(-,-)=0$ if $n\geq 2$ ).
Now, consider the case of a homomorphism of perfectoid rings $A\to B$ . In [Reference Bhatt, Morrow and Scholze14, Lemma 3.14], it is proved that $\mathrm {H}_n(\mathbb {L}_{B|A}\overset {\mathrm {L}}\otimes _{\mathbb {Z}}\mathbb {F}_p)=0$ for all n. We also have:
Corollary 1.32. Let $f:A \to B$ be a homomorphism of perfectoid rings. Then
for any radical ideal $\mathfrak {q}$ of B containing p and all $n\geq 2$ .
Proof. From the Jacobi–Zariski exact sequence associated to $A \to B \to B/\mathfrak {q}$ and Corollary 1.29(ii) we obtain
for all $n\geq 2$ . Let $\mathfrak {p}=f^{-1}(\mathfrak {q})$ . Since $A/\mathfrak {p}$ and $B/\mathfrak {q}$ are perfect, $\mathrm {H}_n(A/\mathfrak {p},B/\mathfrak {q},B/\mathfrak {q})=0$ for all n, and then from the Jacobi–Zariski exact sequence associated to $A \to A/\mathfrak {p} \to B/\mathfrak {q}$ we deduce
for all n. But $\mathrm {H}_n(A,A/\mathfrak {p},B/\mathfrak {q})=0$ for $n\geq 2$ by Corollary 1.29(ii).
In the proof of Corollary 1.29, we have used that if $f:A \to B$ is a homomorphism of perfect rings of characteristic p and M a B-module, then $\mathrm {H}_n(A,B,M)=0$ for all n. More generally, Gabber and Ramero [Reference Gabber and Ramero22, 6.5.13(i)], generalizing [Reference Grothendieck26, Exposé XV, §1, Proposition 2 (c) (2)], show that if $f:A \to B$ is a homomorphism of rings of characteristic p such that $\mathrm {Tor}^A_n({{}^\phi A},B)=0$ for all $n>0$ and the relative Frobenius homomorphism ${{}^\phi A}\otimes _A B \to {{}^\phi B}$ is an isomorphism ( ${{}^\phi A}$ is the ring A considered as A-module via the Frobenius homomorphism $\phi $ , and similarly ${{}^\phi B}$ ), then $\mathrm {H}_n(A,B,M)=0$ for all n (see also [Reference Scholze48, Proposition 5.13]). We can give a more precise version of their result as follows:
Proposition 1.33. Let $f:A \to B$ be a homomorphism of rings of characteristic p and n an integer. Assume that $\mathrm {H}_n({{}^\phi A}\otimes _A B,{{}^\phi B},M)=0$ for any ${{}^\phi B}$ -module M.
(i) If $n\in \{0,1\}$ , then $\mathrm {H}_n(A,B,M)=0$ for any B-module M.
(ii) If $n\geq 2$ and $\mathrm {Tor}^A_i({{}^\phi A},B)=0$ for all $i=1,...,n$ , then $\mathrm {H}_n(A,B,M)=0$ for any B-module M.
(iii) If $n=1$ , then for any prime ideal $\mathfrak {q}$ of B, $\mathrm {H}_0(A,B,k(\mathfrak {q}))=0$ , where $k(\mathfrak {q})$ is the residue field of B at $\mathfrak {q}$ .
(iv) If $n\geq 2$ and $\mathrm {Tor}^A_i({{}^\phi A},B)=0$ for all $i=1,...,n-1$ , then for any prime ideal $\mathfrak {q}$ of B, ${\mathrm {H}}_{n-1}(A,B,k(\mathfrak {q}))=0$ .
Proof. Let M be a ${{}^\phi B}$ -module. We have a commutative diagram with exact upper row
The homomorphism $\Phi _n$ is zero for all n since it is induced by Frobenius. The homomorphism $\sigma _n$ is an isomorphism for $n=0$ , an epimorphism for $n=1$ [Reference Majadas and Rodicio34, 2.6.2], and an isomorphism for $n\geq 2$ whenever $\mathrm {Tor}^A_i({{}^\phi A},B)=0$ for all $i=1,...,n$ by base change. Therefore, $\alpha _n=0$ in each of these cases and so $\mathrm {H}_n({{}^\phi A}\otimes _A B,{{}^\phi B},M)=0$ for any ${{}^\phi B}$ -module M implies $\mathrm {H}_n({{}^\phi A},{{}^\phi B},M)=0$ for any ${{}^\phi B}$ -module M, that is, $\mathrm {H}_n(A,B,M)=0$ for any B-module M.
By the same diagram, $\mathrm {H}_n({{}^\phi A}\otimes _A B,{{}^\phi B},M)=0$ for any B-module M implies $\mathrm {H}_{n-1}({{}^\phi A},{{}^\phi A}\otimes _A B,M)=0$ and then $\mathrm {H}_{n-1}(A,B,M)=0$ for any ${{}^\phi B}$ -module M if $n-1=0$ or $\mathrm {Tor}^A_i({{}^\phi A},B)=0$ for all $i=1,...,n-1$ . In particular, $\mathrm {H}_{n-1}(A,B,k(\mathfrak {q}))\otimes _{k(\mathfrak {q})}{{}^\phi k(\mathfrak {q})}=\mathrm {H}_{n-1}(A,B,{{}^\phi k(\mathfrak {q})})=0$ and then $\mathrm {H}_{n-1}(A,B,k(\mathfrak {q}))=0$ .
Remark 1.34. In relation with Corollary 1.30 and (iii) and (iv) of Proposition 1.33, note the following result by M. André when B is Noetherian [Reference André4, Supplément, Proposition 29]: If n is an integer such that $\mathrm {H}_i(A,B,k(\mathfrak {q}))=0$ for any prime ideal $\mathfrak {q}$ of B and any $i\geq n$ , then $\mathrm {H}_i(A,B,M)=0$ for any B-module M and any $i\geq n$ .
One technical advantage of the $\mathfrak {a}$ -adic topology for an ideal $\mathfrak {a}$ is the following rigidity result. We will see in Example 1.41 that it does not hold with the discrete topology.
Proposition 1.35. Let A be a ring, $\mathfrak {a}$ an ideal of A. If $\mathfrak {a}$ is a formally regular ideal with the $\mathfrak {a}$ -adic topology, then
for all $t\geq 2$ and all $A/\mathfrak {a}$ -modules M.
Proof. This is [Reference André4, 12.11], keeping in mind Proposition 1.19.
Proposition 1.36. (i) Let $\mathfrak {a}$ be an ideal of a ring A. If $\mathfrak {a}$ is formally regular with the $\mathfrak {a}$ -adic (resp. discrete) topology, then $\mathfrak {a} +(X)$ is a formally regular ideal of $A[X]$ with the $\mathfrak {a} +(X)$ -adic (resp.discrete) topology.
(ii) Let $(A_i,\mathfrak {m}_i,k_i)$ be a direct system of local rings and local homomorphisms, $A:= \underset {i}{\varinjlim } \; A_i$ . If each $A_i$ is a local ring formally regular with the adic topology of its maximal ideal (resp. discrete topology), then so is A.
Proof. (i) Let $\mathfrak {a}_n=\mathfrak {a}^n$ or $\mathfrak {a}_n=0$ for all n. For any ring B, $\mathrm {H}^n(B,B[X],M)=0$ for any $n\geq 1$ and any $B[X]$ -module M [Reference André4, 3.36], so from the Jacobi–Zariski exact sequence associated to $B\to B[X]\to B$ we deduce $\mathrm {H}^n(B[X],B,M)=0$ for any $n\geq 2$ and any B-module M. Therefore, the last term in the exact sequence
vanishes and we deduce
for any $A/\mathfrak {a}$ -module M. The extreme terms in the exact sequence
also vanish by [Reference Majadas and Rodicio34, 2.3.4], where $I_n=(\mathfrak {a} + (X))^n$ if $\mathfrak {a}_n=\mathfrak {a}^n$ , or $I_n=(0)$ if $\mathfrak {a}_n=(0)$ . We obtain
for any $A/\mathfrak {a}$ -module M.
Finally,the exact sequence
gives us
as desired.
(ii) The ring A is local, since $\mathfrak {m} :=\underset {i}{\varinjlim } \; \mathfrak {m}_i$ is a proper ideal of A and any element of $A-\mathfrak {m}$ comes from some $A_i-\mathfrak {m}_i$ and so it is a unit. Let $k=A/\mathfrak {m}$ . If each $A_i$ is formally regular with the discrete topology, then $\mathrm {H}^2(A_i,k_i,k)=0$ for each i. By [Reference André4, Appendice Lemme 43], we have
If each $A_i$ is formally regular with the $\mathfrak {m}_i$ -adic topology, then for each i the homomorphism
vanishes for any $n\neq 2$ as we have seen in Remark 1.20. This homomorphism can be identified with
and since $k_i$ is a field that means that
vanishes. Taking limits and using [Reference André4, Appendice Lemme 43], the homomorphism
is zero and then applying $\mathrm {Hom}_k(-,k)$ we obtain that
vanishes. We deduce that A is formally regular with the $\mathfrak {m}$ -adic topology.
Formal regularity and formal smoothness
Theorem 1.37. Let $f:(A,\mathfrak {a},\mathfrak {A}) \to (B,\mathfrak {b},\mathfrak {B})$ be a continuous homomorphism. Assume for the sake of simplicity (see Remark 1.4) that $f(\mathfrak {a}_n) \subset \mathfrak {b}_n$ for all n.
(i) Assume that $\mathrm {H}^2(A/\mathfrak {a},B/\mathfrak {b},M)=0$ for any $B/\mathfrak {b}$ -module M. If $\mathfrak {a}$ is formally regular with the $\mathfrak {A}$ topology and f is formally smooth, then $\mathfrak {b}$ is formally regular with the $\mathfrak {B}$ topology.
(ii) Assume that the induced homomorphism $(A,\mathfrak {a},\mathfrak {A}) \to (B/\mathfrak {b},(0), \{(0)\}_{n>0})$ is formally smooth. If $\mathfrak {b}$ is formally regular with the $\mathfrak {B}$ topology, then f is formally smooth.
Proof. (i) Let M be a $B/\mathfrak {b}$ -module. The exact sequence
shows that
Now, the exact sequence (using Proposition 1.8)
gives
as required.
(ii) It follows from the exact sequence for each $B/\mathfrak {b}$ -module M
Corollary 1.38. (i) Let $f:(A,\mathfrak {m},k) \to (B,\mathfrak {n},l)$ be a local homomorphism of local rings. If A is formally regular with the $\mathfrak {m}$ -adic topology (resp. the discrete topology) and f formally smooth for the ideal $\mathfrak {n}$ with the $\mathfrak {n}$ -adic topology (resp. the discrete topology), then B is formally regular with the $\mathfrak {n}$ -adic topology (resp. the discrete topology).
(ii) Let k be a field, $(B,\mathfrak {n},l)$ a local ring, $\mathfrak {B}$ a filtration on $\mathfrak {n}$ and $f:k \to (B,\mathfrak {n},\mathfrak {B})$ a ring homomorphism. If $l|k$ is separable and B is formally regular with the $\mathfrak {B}$ topology, then f is formally smooth.
Proof. It follows from Theorem 1.37. For (i), note that $\mathrm {H}^2(A/\mathfrak {m},B/\mathfrak {n},-)=0$ .
Corollary 1.39. Let $(A,\mathfrak {m},k) \to (B,\mathfrak {n},l)$ be a local homomorphism of local rings. If A is formally regular with the $\mathfrak {m}$ -adic topology (for instance, if $A=k$ is a field) and B is a formally smooth A-algebra for the ideal $\mathfrak {n}$ with the $\mathfrak {n}$ -adic topology, then
for all $t\geq 1$ and all l-modules M.
Proof. Let $t\geq 2$ . From the exact sequence
and Proposition 1.35, we obtain
since $\mathrm {H}^t(k,l,M)=0$ . Now, the result follows from the exact sequence
where the right term vanishes by Corollary 1.38(i) and Proposition 1.35.
Remark 1.40. (i) Completion. Let $(A,\mathfrak {m},k)$ be a local ring, $(\hat {A},\hat {\mathfrak {m}},k)$ its $\mathfrak {m}$ -adic completion. From Proposition 1.5 (or Proposition 1.8), we see that $\hat {A}$ is formally smooth over A for its maximal ideal $\hat {\mathfrak {m}}$ with the limit topology. If A is Noetherian then $\hat {A}$ is flat over A and so it is even formally smooth for its maximal ideal with the discrete topology since by flat base change
We will see another case where this is true.
Let $(A,\mathfrak {m},k)$ be a local ring, $(\hat {A},\hat {\mathfrak {m}},k)$ its $\mathfrak {m}$ -adic completion. Assume that $(\hat {A},\hat {\mathfrak {m}},k)$ is formally regular (as a local ring) with the discrete topology (that is, $\mathrm {H}^2(\hat {A},k,k)=0$ ). Then $\hat {A}$ is formally smooth over A for its maximal ideal with the discrete topology.
In order to see this, we will show that for any local ring $(A,\mathfrak {m},k)$ the canonical homomorphism
is injective. From the Jacobi–Zariski exact sequence
we have to show that $\alpha $ is surjective. Consider the following diagram with exact upper row
We have
then $\beta $ is an isomorphism, and so $\alpha $ is surjective.
(ii) A Henselian cover. Let $(A,\mathfrak {m},k)$ be a local ring, and put
where $\{A_i\}$ is the direct system of all local $\mathbb {Z}$ -subalgebras of A essentially of finite type with local inclusions, and let
where $\widehat {A_i}$ is the completion of $A_i$ with the adic topology of its maximal ideal $\mathfrak {m}_i$ . The homomorphisms $A_i \to \widehat {A_i}$ induce a map
and any local homomorphism $A\to B$ induces a local homomorphism $\check {A} \to \check {B}$ . We have:
(a) $\check {A}$ is a local Henselian ring [Reference Raynaud42, I, §2, Proposition 1], with maximal ideal $\mathfrak {m} \check {A}$ (since each $A_i$ is Noetherian and then $\mathfrak {m}_i\hat {A_i}$ is the maximal ideal of $\hat {A_i}$ ) and residue field k.
(b) $\iota $ is flat (each $A_i$ is Noetherian and then each $A_i \to \widehat {A_i}$ is flat).
(c) Since $\iota $ is flat and $\check {A}\otimes _Ak=k$ , by flat base change we have isomorphisms
for each $n\geq 0$ . In particular, $\mathrm {H}^1(A,\check {A},k)=0$ and then $\check {A}$ is formally smooth over A for its maximal ideal with the discrete topology.
(d) A is formally regular with the adic topology of its maximal ideal (resp. the discrete topology) if and only if $\check {A}$ is for its own (with the discrete topology it follows from (c), and with the adic topology from the analogous base change isomorphisms $\mathrm {H}^2(A/\mathfrak {m}^n,k,k)=\mathrm {H}^2(\check {A}/(\mathfrak {m} \check {A})^n,k,k)$ ).
Example 1.41. By an example of Planas–Vilanova [Reference Planas-Vilanova38], then generalized by M. André in [Reference André8], for any field k and any integer $t\geq 2$ , there exists a local ring $(A,\mathfrak {m},k)$ with residue field k such that $\mathrm {H}_n(A,k,k)=0$ for all $0\leq n\leq t$ and $\mathrm {H}_{t+1}(A,k,k)\neq 0$ . That means that considering in A the $\mathfrak {m}$ -adic topology and in k the discrete one, k is formally smooth over A. However, $\mathrm {H}^{t+1}(A,k,k)\neq 0$ , so that Corollary 1.39 does not hold without the hypothesis A formally regular. This is also an example of a local ring A formally regular for the discrete topology but whose maximal ideal is not quasi-regular.
Remark 1.42. A ring homomorphism $f:A\to B$ is called absolutely flat [Reference Ferrand27] or weakly étale [Reference Gabber and Ramero22], [Reference Bhatt and Scholze15], if f and the diagonal $B\otimes _A B\to B$ are flat. These homomorphisms have been recently characterised in [Reference de Jong and Olander29] as the ones verifying the following Henselian unique lifting property: For any A-algebra R and any homomorphism of A-algebras $q:B\to R/\mathfrak {c}$ where $(R,\mathfrak {c})$ is a Henselian pair, there exists a unique homomorphism of A-algebras $B\to R$ lifting q. Therefore, in analogy with the classical case [Reference Grothendieck and Dieudonné24, ${0}_{IV}$ .19.3.1, ${0}_{IV}$ .19.10.2] we can give the associated notion of smoothness.
So we say that a ring homomorphism $f:A\to B$ is w-smooth if for any A-algebra R and any homomorphism of A-algebras $q:B\to R/\mathfrak {c}$ , where $(R,\mathfrak {c})$ is a Henselian pair, there exists (at least) a homomorphism of A-algebras $B\to R$ lifting q.
This notion of smoothness is stronger (strictly stronger, as we will see below) than the ones defined previously: From Proposition 1.5, we see that w-smooth implies formally smooth with the discrete topology in B and then by Example 1.11 also for any adic topology. From the definition, we see that w-smooth algebras are retracts of Henselizations of polynomial algebras, and in particular they are flat. More precisely, $f:A\to B$ is w-smooth if and only if there exists a polynomial A-algebra $A[X]$ on a set X and an ideal $\mathfrak {a}$ of $A[X]$ such that $B=A[X]/\mathfrak {a}$ and the canonical homomorphism of A-algebras $A[X]^h\to B$ has a section, where $A[X]^h$ is the Henselization of $A[X]$ with respect to $\mathfrak {a}$ (from Proposition 1.5 we have a similar characterization of formally smooth algebras with the discrete topology, replacing Henselization by completion).
If $f:A\to B$ is w-smooth, then $\mathrm {H}_n(A,B,M)=0=\mathrm {H}^n(A,B,M)$ for any B-module M and all $n\geq 1$ , but the reciprocal does not hold (and in particular formal smoothness for the discrete topology does not imply w-smoothness). In order to see this, since w-smooth algebras are retracts of Henselizations of polynomial algebras, it suffices to show that $\mathrm {H}^n(A,A[X]^h,M)=0$ , and by the Jacobi–Zariski exact sequence and [Reference André4, 3.36] it suffices to prove that $\mathrm {H}^*(R,R^h,-)=0$ for any ring R. Since $R\to R^h$ is an inductive limit of étale maps, it is weakly étale and then by flat base change, the Jacobi–Zariski exact sequence associated to $R^h\to R^h\otimes _RR^h\to R^h$ , and flat base change again
for any $R^h$ -module M. For the reciprocal, it suffices to take the canonical map of a perfect local ring A onto its residue field B. Since these rings are perfect, $\mathbb {L}_{B|A}\simeq 0$ , but if $A\neq B$ , B is not flat over A and so it is not w-smooth.
Note also the following example [Reference Majadas and Rodicio33, Remark, p. 80]. Let A be a perfect field, E a rational function field over A on infinitely many variables and consider the perfect closure $B:=E^{1/p^\infty }$ . We have $\mathbb {L}_{B|A}\simeq 0$ as before, but by [Reference Majadas and Rodicio33, Theorem 3.1], $\mathrm {fd}_{B\otimes _A B} (B) = \infty $ (flat dimension).
Regular homomorphisms
Definition 1.43. We say that a flat ring homomorphism $f:A\to B$ is regular (resp. discretely regular) if for any prime ideal $\mathfrak {q}$ of B, the A-algebra $B_{\mathfrak {q}}$ is formally smooth for the ideal $\mathfrak {q} B_{\mathfrak {q}}$ with the $\mathfrak {q} B_{\mathfrak {q}}$ -adic (resp. discrete) topology. Discretely regular implies regular (see Example 1.11).
When B is Noetherian, there is a usual definition of regular homomorphism (see [Reference Grothendieck and Dieudonné25, IV.6.8.1]); we will see in Remark 1.45 that our two definitions agree with the usual one in this case.
Proposition 1.44. Let $f:A\to B$ be a flat ring homomorphism. The following are equivalent:
(i) $\mathrm {H}_1(A,B,k(\mathfrak {q}))=0$ for any prime ideal $\mathfrak {q}$ of B, where $k(\mathfrak {q})$ is the residue field of B at $\mathfrak {q}$ .
(i’) $\mathrm {H}^1(A,B,k(\mathfrak {q}))=0$ for any prime ideal $\mathfrak {q}$ of B.
(ii) f is discretely regular.
(iii) For any prime ideal $\mathfrak {p}$ of A and any field extension $F|k(\mathfrak {p})$ , the local ring of $B\otimes _AF$ at any prime ideal is formally regular with the discrete topology.
(iv) For any prime ideal $\mathfrak {p}$ of A and any finite field extension $F|k(\mathfrak {p})$ , the local ring of $B\otimes _AF$ at any prime ideal is formally regular with the discrete topology.
Proof. The proof is standard, but we will give the details. We already know that (i) and (i’) are equivalent. The equivalence of (i’) and (ii) follows since $\mathrm {H}^1(A,B,k(\mathfrak {q}))=\mathrm {H}^1(A,B_{\mathfrak {q}},k(\mathfrak {q}))$ .
For (iv) $\Rightarrow $ (iii), let $F|k(\mathfrak {p})$ be a field extension and put $F=\underset {n}{\varinjlim } \; F_n$ with $F_n|k(\mathfrak {p})$ finite field subextensions of $F|k(\mathfrak {p})$ . Let $\mathfrak {n}$ be a prime ideal of $B\otimes _AF$ and $\mathfrak {n}_n$ its contraction in $B\otimes _AF_n$ . We have
(we have used [Reference André4, 5.30] for the second isomorphism). This proves (iv) $\Rightarrow $ (iii) and (iii) $\Rightarrow $ (iv) is trivial.
(i) $\Rightarrow $ (iii) Let $\mathfrak {p}$ be a prime ideal of A and $F|k(\mathfrak {p})$ a field extension. Let $\mathfrak {n}$ be a prime ideal of $B\otimes _AF$ and $\mathfrak {q}$ its contraction in B. Then the contraction of $\mathfrak {q}$ in A is $\mathfrak {p}$ . We have
(the first isomorphism exists since f is flat). Then the Jacobi–Zariski exact sequence
gives
(iii) $\Rightarrow $ (i) Let $\mathfrak {q}$ be a prime ideal of B and $\mathfrak {p}$ its contraction in A. Assume first that the characteristic of $k(\mathfrak {p})$ is 0. The residue field of $B_{\mathfrak {q}}\otimes _Ak(\mathfrak {p})$ is $k(\mathfrak {q})$ . By hypothesis, $\mathrm {H}_2(B\otimes _Ak(\mathfrak {p}),k(\mathfrak {q}),k(\mathfrak {q}))=0$ and then from the Jacobi–Zariski exact sequence
(the last term vanishes since $k(\mathfrak {q})|k(\mathfrak {p})$ is separable) we obtain
Then
Suppose now that the characteristic of $k(\mathfrak {p})$ is $p>0$ . By [Reference André4, 7.26], we have
(the superscript $^\phi $ is as in Proposition 1.33), where l is the residue field of the local ring $B_{\mathfrak {q}}\otimes _A{{}^\phi k(\mathfrak {p})}$ (note that $B_{\mathfrak {q}}\otimes _A{{}^\phi k(\mathfrak {p})}=(B_{\mathfrak {q}}\otimes _Ak(\mathfrak {p}))\otimes _{k(\mathfrak {p})}{{}^\phi k(\mathfrak {p})}$ is a local ring and $B_{\mathfrak {q}} \to B_{\mathfrak {q}}\otimes _A{{}^\phi k(\mathfrak {p})}$ a local homomorphism by [Reference André4, 7.18]).
We have then
and then
Remark 1.45. Let $f:A\to B$ be a ring homomorphism. If B is Noetherian, by Corollary 1.10, f is regular if and only if it is discretely regular, and by Corollary 1.18 and Proposition 1.44(iv) the usual definition of regular homomorphism [Reference Grothendieck and Dieudonné25, IV.6.8.1] agrees with these definitions.
Proposition 1.46. Let $f:A\to B$ be a regular homomorphism. Then for any prime ideal $\mathfrak {p}$ of A, any field extension $F|k(\mathfrak {p})$ , and any prime ideal $\mathfrak {n}$ of $B\otimes _AF$ , the local ring $(B\otimes _AF)_{\mathfrak {n}}$ is formally regular with the $\mathfrak {n}$ -adic topology.
Proof. Let $\mathfrak {p}$ , $\mathfrak {n}$ , and F be as above, and let $\mathfrak {q}$ be the contraction of $\mathfrak {n}$ in B. We have that $B_{\mathfrak {q}}$ is a formally smooth A-algebra for the ideal $\mathfrak {q} B_{\mathfrak {q}}$ with the $\mathfrak {q} B_{\mathfrak {q}}$ -adic topology, and so $B_{\mathfrak {q}}\otimes _AF$ is a formally smooth F-algebra for the ideal $\mathfrak {q} B_{\mathfrak {q}}\otimes _AF+B_{\mathfrak {q}}\otimes _A0=\mathfrak {q} B_{\mathfrak {q}}\otimes _AF$ with the $\mathfrak {q} B_{\mathfrak {q}}\otimes _AF$ -adic topology (we can use [Reference Grothendieck and Dieudonné24, ${0}_{IV}$ .19.3.5.(iii)] since we are dealing with formal smoothness in the sense of this reference by Corollary 1.9). Since $\mathfrak {q} B_{\mathfrak {q}}\otimes _AF\subset \mathfrak {n}$ , $B_{\mathfrak {q}}\otimes _AF$ is a formally smooth F-algebra for the ideal $\mathfrak {n}$ with the $\mathfrak {n}$ -adic topology (see Example 1.11). By [Reference Grothendieck and Dieudonné24, ${0}_{IV}$ .19.3.5.(iv)], the local F-algebra $(B_{\mathfrak {q}}\otimes _AF)_{\mathfrak {n}}=(B\otimes _AF)_{\mathfrak {n}}$ is formally smooth with the $\tilde {\mathfrak {n}}=\mathfrak {n} (B\otimes _AF)_{\mathfrak {n}}$ -adic topology and then
for any l-module M, where l is the residue field of the local ring $(B\otimes _AF)_{\mathfrak {n}}$ . Then, from the Jacobi–Zariski exact sequence
we deduce
Vanishing of Koszul homology
Definition 1.47. Let $(A,\mathfrak {m},k)$ be a local ring. A set of generators $\{a_i\}_{i\in I}$ of an ideal $\mathfrak {a}$ is called minimal if its images in $\mathfrak {a}/\mathfrak {m}\mathfrak {a}$ form a basis of this k-vector space. For instance, by Nakayama’s lemma, if $\mathfrak {a}$ has a finite set of generators, it has a minimal set of generators.
We denote by $\mathrm {H}^{Kos}_*(\{a_i\}_{i\in I})$ the Koszul homology associated to the subset $\{a_i\}_{i\in I}\subset A$ .
Proposition 1.48. Let $(A,\mathfrak {m},k)$ be a local ring, $\mathfrak {a}$ an ideal of A, $\{a_i\}_{i\in I}$ a set of generators of $\mathfrak {a}$ . If $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})=0$ , then $\mathfrak {a}$ is formally regular with the discrete topology and $\{a_i\}_{i\in I}$ is a minimal set of generators of $\mathfrak {a}$ .
Proof. By [Reference Majadas and Rodicio34, 2.5.1], we have an exact sequence for each $A/\mathfrak {a}$ -module M
where F is a free A module with basis $\{X_i\}_{i\in I}$ and $F\to \mathfrak {a}$ the homomorphism of A-modules sending $X_i$ to $a_i$ . From this exact sequence and the fact that $\pi (k)$ is an isomorphism if and only if $\{a_i\}_{i\in I}$ is a minimal set of generators of $\mathfrak {a}$ , we deduce the result.
A similar proof gives:
Lemma 1.49. Let $(A,\mathfrak {m},k)$ be a local ring, $\mathfrak {a}$ an ideal of A. The following are equivalent:
(i) $\mathfrak {a}$ has a minimal set of generators and $\mathrm {H}_2(A,A/\mathfrak {a},k)=0$ .
(ii) There exists a set of generators $\{a_i\}_{i\in I}$ of $\mathfrak {a}$ such that $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})\otimes _{A/\mathfrak {a}}k=0$ .
If (ii) holds, $\{a_i\}_{i\in I}$ is a minimal set of generators of $\mathfrak {a}$ and for any other minimal set of generators $\{b_j\}_{j\in J}$ of $\mathfrak {a}$ , we have $\mathrm {H}^{Kos}_1(\{b_j\}_{j\in J})\otimes _{A/\mathfrak {a}}k=0$ .
In particular, if $\mathfrak {m}$ has a minimal set of generators we deduce that A is formally regular with the discrete topology if and only if $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})=0$ for some (and any) minimal set of generators of $\mathfrak {m}$ .
Proposition 1.50. Let A be a ring, $\mathfrak {a}$ an ideal of A, $\{a_i\}_{i\in I}$ a set of generators of $\mathfrak {a}$ . If $\mathrm {H}^{Kos}_n(\{a_i\}_{i\in I})=0$ for all $n>0$ , then $\mathfrak {a}$ is regular in the sense of Definition 1.27.
Proof. Since $\mathrm {H}^{Kos}_n(\{a_i\}_{i\in I})=0$ for all $n>0$ , the module $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})$ is free and the canonical homomorphism
is an isomorphism. Then, by [Reference Rodicio45] [Reference Blanco, Majadas and Rodicio17, Corollary 3] we have
for all $n\geq 3$ and any $A/\mathfrak {a}$ -module M.
Let $F\xrightarrow {\theta } \mathfrak {a}$ be a surjective homomorphism of A-modules with F free, $U=\mathrm {ker}(\theta )$ , $\epsilon :\bigwedge ^2 F\to F$ , $\epsilon (x\wedge y)=\theta (x)y-\theta (y)x$ , and $U_0=\mathrm {Im}(\epsilon )$ . We have a complex [Reference Majadas and Rodicio34, 1.1]
Applying $\mathrm {Hom}_{A/\mathfrak {a}}(-,M)$ to this complex we obtain an exact sequence
that is, an exact sequence
We deduce
and then
for all $n\geq 2$ .
Proposition 1.51. Let $(A,\mathfrak {m},k)$ be a local ring, $\mathfrak {a}$ an ideal of A. If $\mathfrak {a}$ is regular and has a minimal set of generators, then $\mathrm {H}^{Kos}_n(\{a_i\}_{i\in I})\otimes _{A/\mathfrak {a}}k=0$ for any minimal set of generators $\{a_i\}_{i\in I}$ of $\mathfrak {a}$ and any $n>0$ .
Proof. By [Reference Rodicio45] [Reference Blanco, Majadas and Rodicio17, Corollary 3], the canonical homomorphism
is an isomorphism for any set of generators $\{a_i\}_{i\in I}$ of $\mathfrak {a}$ . Taking $\{a_i\}_{i\in I}$ minimal, Lemma 1.49 says that $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})\otimes _{A/\mathfrak {a}}k=0$ , and then $\mathrm {H}^{Kos}_n(\{a_i\}_{i\in I})\otimes _{A/\mathfrak {a}}k=0$ for all ${n>0}$ .
Remark 1.52. (i) We do not know if Proposition 1.51 holds replacing the hypothesis ‘ $\mathfrak {a}$ is regular’ by ‘ $\mathfrak {a}$ is quasi-regular’, though if A contains a field, using [Reference Rodicio45, Erratum], the same proof works.
(ii) In [Reference Kabele30, Example 1], there is an example of an ideal $\mathfrak {a}$ of a ring A formally regular with the $\mathfrak {a}$ -adic topology and a minimal set of generators $\{a_i\}_{i\in I}$ of $\mathfrak {a}$ such that $\mathrm {H}^{Kos}_1(\{a_i\}_{i\in I})\neq 0$ . Moreover, in this example A is local and $\mathfrak {a}$ is its maximal ideal which is finitely generated.
2 Descent: raw results
Let $f:(A,\mathfrak {m},k)\to (B,\mathfrak {n},l)$ be a local homomorphism. Denote flat or Tor dimension by fd. The main result in this section is the next one, that will allow us to prove descent results for regularity from B to A when $\mathrm {fd}_A(B)<\infty $ :
Theorem 2.1. If $\mathrm {Tor}^A_n(k,B)=0$ for all $n>>0$ , then
is injective.
When A and B are Noetherian the result is well known and due to Avramov, who used it to prove that the localizations of a complete intersection ring are complete intersection rings (see [Reference Avramov11] for his most general version). A different proof can be seen in [Reference Alvite, Barral and Majadas1]. When the rings are not Noetherian, we will need a different method for the proof.
Proof of Theorem 2.1. Let $A[\{X_i\}_{i\in I}]$ be a polynomial A-algebra such that there exists a surjective homomorphism of A-algebras $\pi :A[\{X_i\}_{i\in I}]\to B$ . Let $C=A[\{X_i\}_{i\in I}]_{\mathfrak {q}}$ , where $\mathfrak {q}=\pi ^{-1}(\mathfrak {n})$ , and for each finite subset J of I, let $A_J=A[\{X_i\}_{i\in J}]_{\mathfrak {n}_J}$ , where $\mathfrak {n}_J$ is the inverse image of the ideal $\mathfrak {q}$ . Let $k_J$ be the residue field of $A_J$ .
We will see first that $\mathrm {Tor}_n^{A_J}(k_J,B)=0$ for all $n>>0$ . In the change of rings spectral sequence
we have $E^2_{pq}=0$ for all $p>>0$ since $A_J\otimes _Ak$ is a localization of a finite type polynomial k-algebra and so a ring of finite homological dimension. We also have $\mathrm {Tor}_q^{A_J}(A_J\otimes _Ak,B)=\mathrm {Tor}^A_q(k,B)$ and so $E^2_{pq}=0$ for all $q>>0$ by hypothesis. Therefore, from the spectral sequence we obtain $\mathrm {Tor}_n^{A_J}(B,k_J)=0$ for all $n>>0$ .
Consider the following commutative diagram
where $\gamma $ (and $\eta $ ) are surjective [Reference André4, proof of 15.4]. We are going to see that $\zeta =0$ .
Let $\alpha \in \mathrm {Tor}_2^C(B,l)$ . It suffices to show that $\epsilon (\alpha )\in \mathrm {Tor}_1^C(l,l)\cdot \mathrm {Tor}_1^C(l,l)$ since $\eta (\mathrm {Tor}_1^C(l,l)\cdot \mathrm {Tor}_1^C(l,l))=0$ by [Reference André4, 18.34]. Since $\mathrm {Tor}_2^C(B,l)= \underset {J}{\varinjlim } \; \mathrm {Tor}_2^{A_J}(B,k_J)$ , there exists some J such that $\alpha $ is the image of some $\beta \in \mathrm {Tor}_2^{A_J}(B,k_J)$ . Expand the above diagram as
In order to see that $\epsilon (\alpha )\in \mathrm {Tor}_1^C(l,l)\cdot \mathrm {Tor}_1^C(l,l)$ , it suffices to see that $\epsilon _J (\beta )\in \mathrm {Tor}_1^{A_J}(l,k_J)\cdot \mathrm {Tor}_1^{A_J}(l,k_J)$ .
Let X be a free simplicial resolution of the $A_J$ -algebra $k_J$ in the usual sense ([Reference André4, 4.30]). Let $\beta =[x]\in \mathrm {Tor}^{A_J}_2(B,k_J)$ be represented by a cycle $x\in C(B\otimes _{A_J}X)$ , where if Y is a simplicial algebra, $C(Y)$ denotes the DG algebra with $C(Y)_n=Y_n$ and differential $d_n=\sum _{i=0}^n (-1)^i\partial _n^i$ . Since $\mathrm {Tor}^{A_J}_{2n}(B,k_J)=0$ for $n>>0$ , the class of the cycle $x^{(n)}$ vanishes, where $x^{(n)}$ denotes the nth divided power of x in the simplicial sense (see for instance [Reference Pitteloud36, 1.34, 1.35]). Since $B\otimes _{A_J}X \to l\otimes _{A_J}X$ is a homomorphism of simplicial rings, $\tilde {\epsilon }: C(B\otimes _{A_J}X) \to C(l\otimes _{A_J}X)$ is a homomorphism of DG algebras with divided powers, and then $0=\epsilon [x^{(n)}]=[\tilde {\epsilon }(x)^{(n)}]$ . Since the DG algebra $C(l\otimes _{A_J}X)$ comes from a simplicial algebra, the divided power structure on $C(l\otimes _{A_J}X)$ induces a divided power structure on its homology $\mathrm {H}(l\otimes _{A_J}X)=\mathrm {Tor}^{A_J}(l,k_J)$ (see [Reference Pitteloud36, 1.36]) and then $\epsilon [x]^{(n)}=[\tilde {\epsilon }(x)]^{(n)}=[\tilde {\epsilon }(x)^{(n)}]=0$ .
We know that $\mathrm {Tor}^{A_J}(l,k_J)=\mathrm {Tor}^{A_J}(k_J,k_J)\otimes _{k_J}l$ is a Hopf l-algebra with divided powers [Reference André2, Théorème 31], and then by [Reference Sjödin49, Theorem 1. (a)] it is a free l-algebra with divided powers. Therefore, $\epsilon [x]$ must be contained in the decomposable part of $\mathrm {Tor}^{A_J}_2(l,k_J)$ , that is, $\epsilon [x]\in \mathrm {Tor}^{A_J}_1(l,k_J)\cdot \mathrm {Tor}^{A_J}_1(l,k_J)$ as we want to prove, and therefore $\zeta =0$ .
Now, from the commutative diagram
we deduce that $\mathrm {H}_2(A,B,l) \to \mathrm {H}_2(A,l,l)$ vanishes, and then
is injective by the Jacobi–Zariski exact sequence.
Note that the above proof gives a more precise result when $A\to B$ is surjective:
Theorem 2.2. Let $(A,\mathfrak {m},k)$ be a local ring, $\mathfrak {a}$ an ideal of A, $B=A/\mathfrak {a}$ . If $\mathrm {Tor}_{2n}^A(k,B)=0$ for some $n>0$ , then the homomorphism
is injective.
Proof. The proof is similar to that of Theorem 2.1, using directly the commutative diagram
where $\gamma $ is surjective, in order to see that $\zeta =0$ .
We end this section with another proof of Theorem 2.1 when A is Noetherian, since it allows to lessen a little the hypothesis in this case. In the commutative diagram of exact sequences [Reference Majadas and Rodicio34, 2.5.1]
(where $\{x_i\}_{i\in I}$ a set of generators of $\mathfrak {m}$ , $\{y_j\}_{j\in J}$ a set of generators of $\mathfrak {n}$ , F (resp. G) a free A-module (resp. B-module) with basis $\{X_i\}_{i\in I}$ (resp. $\{Y_j\}_{j\in J}$ ), and $F\to \mathfrak {m}$ (resp. $G \to \mathfrak {n}$ ) the obvious surjective homomorphism) we can choose as $\{x_i\}$ a minimal set of generators of $\mathfrak {m}$ when A is Noetherian. Then $\pi $ is an isomorphism so that if (and only if) $\alpha $ is injective, so is $\beta $ . Therefore, we can work in the context of Koszul complexes and then an elaboration of the ideas of [Reference Avramov11] suffices for a proof. We will use some definitions and facts on differential graded (anti-)commutative algebras (DG algebras). We refer to the first sections of [Reference Gulliksen and Levin28] for them.
Lemma 2.3. Let $s\geq 0$ , $r\geq 1$ be integers. Let X be a DG algebra such that $\mathrm {H}_n(X)=0$ for all $n\in [s,s+r]$ . Let $X'$ be a DG algebra obtained by adjoining (to X) r variables of degree 1 to kill cycles (in the sense of [Reference Gulliksen and Levin28, I, §2]). Then $\mathrm {H}_{s+r}(X')=0$ .
Proof. It is sufficient to show that for the DG algebra $Y=X<S;dS=s>$ obtained adjoining to X one variable of S of degree 1, $\mathrm {H}_n(Y)=0$ for all $n\in [s+1,s+r]$ . This follows from the exact sequence of [Reference Gulliksen and Levin28, p. 19]
Theorem 2.4. Let $f:(A,\mathfrak {m},k)\to (B,\mathfrak {n},l)$ be a local homomorphism. Assume that $\mathfrak {m}$ has a minimal set of generators. Assume that one of the following two conditions holds
(i) there exists an integer s such that $\mathrm {Tor}_n^A(k,B)=0$ for all $n\geq s$ , or
(ii) there exist an integer $r\geq 0$ , elements $t_1,\dots ,t_r \in \mathfrak {n}$ such that $f(\mathfrak {m}) B+(t_1,\dots ,t_r)=\mathfrak {n}$ and an integer $s\equiv r \; \mathrm {mod}\, 2$ such that $\mathrm {Tor}_n^A(k,B)=0$ for all $n\in [s,s+r]$ .
Then the homomorphism
is injective.
Proof. Let $\{u_i\}_{i\in I}$ be a minimal set of generators of the ideal $\mathfrak {m}$ of A. Let X be a minimal DG resolution of the A-algebra k [Reference Gulliksen and Levin28, 1.6.4] with 1-skeleton $X^1=A<\{U_i\}_{i\in I};dU_i=u_i>$ (the notation is as in the proof of [Reference Gulliksen and Levin28, 1.2.3]), that is, $X^1$ is the Koszul complex associated to the set of generators $\{u_i\}_{i\in I}$ of $\mathfrak {m}$ .
Let $\{f(u_i)\}_{i\in I}\cup \{t_j\}_{j\in J}$ be a set of generators of the ideal $\mathfrak {n}$ of B (under the hypothesis (ii) we chose $J=\{1,\dots ,r\}$ ). Consider the associated Koszul complex
The homomorphism of DG algebras $\varphi :X^1\to Y$ extending f by $\varphi (U_i)=U_i$ induces a homomorphism on the Koszul homology modules
By the commutative diagram (*), we have to see that $\beta $ is injective.
Let $X^2=X^1<\{V_e\}_{e\in E};dV_e=v_e>$ be the 2-skeleton of X. Since X is minimal, the homology classes $\{[v_e]\}_{e\in E}$ of the cycles $v_e$ form a k-basis of $\mathrm {H}_1(X^1)=\mathrm {H}^{Kos}_1(\{u_i\}_{i\in I};A)$ . Therefore it is enough to show that the set $\{\beta ([v_e]\otimes 1)\}_{e\in E} \subset \mathrm {H}_1(Y)$ is linearly independent.
On the contrary, suppose that there exists a finite nonempty subset $E_0\subset E$ and nonzero elements $\overline {\lambda _e} \in l$ ( $e\in E_0$ ) such that
Let $\lambda _e\in B-\mathfrak {n}$ representants of $\overline {\lambda _e}$ . We have then
for some $R\in Y$ of degree 2, that is, $R\in Y_2$ .
Under the hypothesis (i), let $J_0\subset J$ finite such that $R\in B<\{U_i\}_{i\in I}\cup \{T_j\}_{j\in J_0}>$ , and under the hypothesis (ii), let $J_0= J$ . Let
Let $\tilde {R}\in Z$ be the image of R in Z by the canonical homomorphism
V the image of
in Z by the canonical map $X\otimes _AB \to Z$ , and $W=V-\tilde {R}\in Z_2$ . We have
and then
for all $h\geq 0$ , where $W^{(h)}$ denotes the h-th divided power of W ([Reference Gulliksen and Levin28, I, §§7-8]). Therefore, $W^{(h)}$ is a cycle in $Z_{2h}$ for all $h>0$ .
Now, we will see that $W^{(h)}$ is not a boundary. The set of finite products of elements $U_i$ ( $i\in I$ ), $T_j$ ( $j\in J_0$ ), $V_e^{(q)}$ ( $e\in E$ , $q>0$ ) is part of a basis of Z as free B-module, and $W^{(h)}$ is a linear combination of these elements, where one of the summands is $\lambda _e^hV_e^{(h)}$ with $\lambda _e^h \notin \mathfrak {n}$ ([Reference Gulliksen and Levin28, 1.7.1]). Therefore, $W^{(h)}\notin \mathfrak {n} Z$ . Since X is minimal, $dX\subset \mathfrak {m} X$ , and then, since $dT_j=t_j\in \mathfrak {n}$ for all j, $dZ\subset \mathfrak {n} Z$ . From this, we deduce that $W^{(h)}$ is not a boundary, and in particular $\mathrm {H}_{2h}(Z)\neq 0$ for all $h>0$ .
Finally, we examine cases (i) and (ii) separately:
(i) Since $\mathrm {H}_n(X\otimes _AB)=\mathrm {Tor}_n^A(k,B)=0$ for all $n\geq s$ , from Lemma 2.3 we obtain $\mathrm {H}_n(Z)=0$ for all $n\geq s + |J_0|$ , contradicting that $\mathrm {H}_{2h}(Z)\neq 0$ for all $h>0$ .
(ii) Since $\mathrm {H}_n(X\otimes _AB)=0$ for $n\in [s,s+r]$ and $r=|J_0|$ , from Lemma 2.3 we obtain $\mathrm {H}_{s+r}(Z)=0$ . Since $r+s$ is even, we arrive to the same contradiction.
3 Descent: processed results
Descent of formal regularity and descent from perfectoid algebras
Theorem 2.1 gives immediately the following one:
Theorem 3.1. Let $(A,\mathfrak {m},k) \to (B,\mathfrak {n},l)$ be a local homomorphism of local rings such that $\mathrm {fd}_A(B)<\infty $ . If B is formally regular for the discrete topology, then so is A.
The same is true when we have local homomorphisms $A\to B\to C$ with $\mathrm {fd}_A(C)<\infty $ and B formally regular for the discrete topology.
Since valuation and perfectoid rings are examples of formally regular rings, a particular case is the following corollary, that when A is Noetherian was obtained in [Reference Bhatt, Iyengar and Ma13, Corollary 4.8].
Corollary 3.2. Let $(A,\mathfrak {m},k)$ be a local ring and B a perfectoid A-algebra such that $\mathfrak {m} B\neq B$ . If $\mathrm {Tor}_n^A(k,B)=0$ for all $n>>0$ , then A is formally regular for the discrete topology.
Proof. Let $\mathfrak {n}$ be a maximal ideal of B containing $\mathfrak {m} B$ . Then consider the local homomorphism $A\to B_{\mathfrak {n}}$ , where $B_{\mathfrak {n}}$ is formally regular for the discrete topology by Corollary 1.29.
When $A\to B$ is surjective, we can say a little more (since $\mathrm {Tor}^A_n(k,k)=0$ for all $n>>0$ implies that A is formally regular for the discrete topology as we will see in Proposition 3.8):
Proposition 3.3. Let $(A,\mathfrak {m},k)$ be a local ring, $B=A/I$ for some ideal I of A. If B is perfectoid and $\mathrm {Tor}_n^A(B,k)=0$ for all $n>>0$ , then $\mathrm {Tor}_n^A(k,k)=0$ for all $n>>0$ .
Proof. By [Reference Bhatt, Iyengar and Ma13, Lemma 3.7], $\mathrm {rad}(p)$ is a flat ideal of B and $B/\mathrm {rad}(p)$ is perfect, and so its residue field k is perfect. Therefore, by [Reference Bhatt and Scholze16, 3.16]
for all $i>0$ . The $B/\mathrm {rad}(p)$ -module structures on $\mathrm {Tor}_*^B(B/\mathrm {rad}(p),k)$ on the right and left factor agree since $B\to B/\mathrm {rad}(p)$ is surjective. Then, in the change of rings spectral sequence
we have $\mathrm {E}^2_{pq}=0$ for $p>0$ (since $\mathrm {Tor}^B_q(B/\mathrm {rad}(p),k)$ is a direct sum of copies of k) and for $q>1$ (since $\mathrm {rad}(p)$ is flat). We deduce
for all $n\geq 2$ .
Now, we put A in scene. Consider the change of rings spectral sequence
Since $A\to B$ is surjective, the B-module structures on $\mathrm {Tor}_*^A(B,k)$ given on the right and left factor agree, and then
where $k^{X_q}$ is a direct sum of copies of k. We deduce $\tilde {\mathrm {E}}^2_{pq}=0$ for all $p\geq 2$ and for all $q>>0$ . Thus,
for all $n>> 0$ as we wanted to prove.
We will now give analogues to Corollary 3.2 for complete intersections and Gorenstein rings, following [Reference Majadas32]. We will give the details, though the proofs are essentially the same, once we have the results of Section 2. We start with a mixture of the definitions of finite complete intersection flat dimension [Reference Sather-Wagstaff47], [Reference Sahandi, Sharif and Yassemi46] and finite upper complete intersection dimension [Reference Takahashi50].
Definition 3.4. Let $(A,\mathfrak {m},k)$ be a Noetherian local ring, M an A-module. We say that M has finite upper complete intersection flat dimension if there exists a local flat homomorphism $A\to A'$ of Noetherian local rings with regular closed fibre $A'/\mathfrak {m} A'$ and a surjective homomorphism $Q\to A'$ whose kernel is generated by a regular sequence, where Q is a Noetherian local ring such that $\mathrm {fd}_Q(A'\otimes _AM)<\infty $ .
Proposition 3.5. Let $(A,\mathfrak {m},k)$ be a Noetherian local ring, B a perfectoid A-algebra such that $\mathfrak {m} B\neq B$ . If B has finite upper complete intersection flat dimension over A, then A is a complete intersection.
Proof. Let $\mathfrak {n}$ be a maximal ideal of B containing $\mathfrak {m} B$ , $l=B/\mathfrak {n}$ . Let $A\to A'$ , $Q\to A'$ be as in Definition 3.4, such that $\mathrm {fd}_Q(A'\otimes _AB)<\infty $ . Let $\mathfrak {m}'$ be the maximal ideal of $A'$ , $k'=A'/\mathfrak {m}'$ its residue field. Let $\mathfrak {n}'$ be a maximal ideal of $A'\otimes _AB$ containing the images of $\mathfrak {m}'$ and $\mathfrak {n}$ in $A'\otimes _AB$ [Reference Grothendieck and Dieudonné23, I.3.2.7.1.(ii)], and $l'=(A'\otimes _AB)/\mathfrak {n}'$ .
We have a commutative diagram
(where all the maps are induced by functoriality of $\mathrm {H}_2(-,-,l')$ ) and an exact sequence
where the right term vanishes by [Reference André4, 6.26], and so $\epsilon $ is surjective. By flat base change, $\delta $ is an isomorphism and, by Corollary 1.29, $\mathrm {H}_2(B,l,l')=0$ . Therefore, $\lambda =0$ .
By Theorem 2.1 the composition map
is injective, and then $\mathrm {H}_2(Q,k',l')=0$ . By [Reference André4, 6.26] Q is regular and then $A'$ is a complete intersection. By flat descent [Reference Avramov11, Corollaire 2], A is a complete intersection.
Definition 3.6. Let $(A,\mathfrak {m},k)$ be a Noetherian local ring, M an A-module. We say that M has finite upper Gorenstein flat dimension if there exists a local flat homomorphism $A\to A'$ of Noetherian local rings with regular closed fibre $A'/\mathfrak {m} A'$ and a surjective homomorphism of Noetherian local rings $Q\to A'$ such that there exists some n such that $\mathrm {Ext}_Q^n(A',Q)=A'$ , $\mathrm {Ext}_Q^i(A',Q)=0$ for all $i\neq n$ and $\mathrm {fd}_Q(A'\otimes _AM)<\infty $ .
Proposition 3.7. Let $(A,\mathfrak {m},k)$ be a Noetherian local ring, B a perfectoid A-algebra such that $\mathfrak {m} B\neq B$ . If B has finite upper Gorenstein flat dimension over A, then A is Gorenstein.
Proof. Let $A'$ , Q be as in Definition 3.6. We can see as in the proof of Proposition 3.5 that Q is regular. Then, from the change of rings spectral sequence
where $l'$ is the residue field of $A'$ , we deduce that $A'$ is Gorenstein. By flat descent, A is Gorenstein.
A result of Levin
Proposition 3.8. Let $(A,\mathfrak {m},k)$ be a local ring such that $\mathrm {Tor}^A_{2n}(k,k)=0$ for some $n>0$ . Then A is formally regular with the discrete topology.
Proof. By Theorem 2.2, the homomorphism
is injective.
Corollary 3.9. Let $(A,\mathfrak {m},k)$ be a local ring such that $\mathfrak {m}$ has a minimal set of generators $\{x_i\}_{i\in I}$ . If $\mathrm {Tor}^A_{2n}(k,k)=0$ for some $n>0$ , then $\mathrm {H}_1^{Kos}(\{x_i\}_{i\in I})=0$ .
According to [Reference Kabele30, Remark after Theorem 1.1], G. Levin has proved Corollary 3.9 when $\mathfrak {m}$ is finitely generated and $\mathrm {fd}_A(k)<\infty $ . In fact, both results are equivalent when $\mathrm {fd}_A(k)<\infty $ , since if $\mathrm {Tor}^A_n(k,k)=0$ for some $n>0$ and $\mathfrak {m}$ has a minimal set of generators, then $\mathfrak {m}$ is finitely generated by [Reference Northcott35, Theorem 1].
A result of Rodicio
The following result is due to A. G. Rodicio [Reference Rodicio44] when A and B are Noetherian.
Theorem 3.10. Let $f:A\to B$ be a flat homomorphism, $\mu : B\otimes _AB\to B$ the multiplication. If $\mathrm {fd}_{B\otimes _AB}(B)<\infty $ , then f is discretely regular.
Proof. Let $\mathfrak {q}$ be a prime ideal of B. By Proposition 1.44 we have to show that $\mathrm {H}_1(A,B,k(\mathfrak {q}))=0$ . Denote $\mathfrak {n}:=\mu ^{-1}(\mathfrak {q})$ and $l=k(\mathfrak {q})$ (the residue field of $(B\otimes _AB)_{\mathfrak {n}}$ and $B_{\mathfrak {q}}$ ). By Theorem 2.2, the homomorphism
is injective. Since the composition homomorphism $B\xrightarrow {id\otimes 1} B\otimes _AB \xrightarrow {\mu } B$ is the identity map, the homomorphism
has a section (and in particular it is surjective) for any n. Therefore, in the Jacobi–Zariski exact sequence
we have that $\alpha _3$ is surjective and $\alpha _2$ is injective. We deduce
Then, from the Jacobi–Zariski exact sequence associated to $B\to B\otimes _AB \to B$ we obtain
and since f is flat,
A result of Radu, André and Dumitrescu
Let B be a Noetherian local ring containing a field of characteristic $p>0$ . A well-known theorem of Kunz [Reference Kunz31] tells us that B is regular if the Frobenius homomorphism $\phi :B\to B$ is flat, and Rodicio [Reference Rodicio43] shows that it suffices to check that $\phi $ is of finite flat dimension. We are concerned here with the more general relative case (in order to see how the relative case implies the absolute one, see Corollary 3.14):
Question 3.11. Let $f:A \to B$ be a flat homomorphism of local rings containing a field of characteristic $p>0$ . Let $\Phi :{{}^\phi A}\otimes _AB\to {{}^\phi B}$ , $\Phi (a\otimes b)=f(a)b^p$ be the relative Frobenius homomorphism (notation as in Proposition 1.33). If $\mathrm {fd}_{{{}^\phi A}\otimes _AB}({{}^\phi B})<\infty $ , then f regular?
When A and B are Noetherian the answer is in the affirmative. It was proved by N. Radu, M. André and T. Dumitrescu ([Reference Radu41], [Reference André6], [Reference André7] and [Reference Dumitrescu21]). We will prove the result in full generality:
Theorem 3.12. Let $f:A \to B$ be a flat homomorphism of rings containing a field of characteristic $p>0$ . If $\mathrm {fd}_{{{}^\phi A}\otimes _AB}({{}^\phi B})<\infty $ , then f is discretely regular (and then regular).
Proof. Let $\mathfrak {q}$ be a prime ideal of B and $\mathfrak {p}=\Phi ^{-1}({{}^\phi \mathfrak {q}})$ so that $k(\mathfrak {q})$ is the residue field of B at $\mathfrak {q}$ and ${{}^\phi k(\mathfrak {q})}$ the residue field of ${{}^\phi B}$ at ${{}^\phi \mathfrak {q}}$ . By Theorem 2.1, the homomorphism
is injective. Therefore, the homomorphism in the Jacobi–Zariski exact sequence
is zero. Then, from the commutative triangle
we deduce $\alpha =0$ , and so from the Jacobi–Zariski exact sequence we deduce that the homomorphism
is injective. Since $A\to B$ is flat, this homomorphism can be identified to the homomorphism induced by the absolute Frobenius homomorphisms of A and B
which is the zero homomorphism ([Reference André5, Lemme 53]). That is,
and then f is discretely regular.
Remark 3.13. Note that the same proof works if we replace the hypothesis ‘f flat’ by ‘ $\phi _A:A\to A$ flat’, $\phi _A$ being the Frobenius homomorphism of A (if A is Noetherian, that is equivalent to the regularity, at every maximal ideal, of A).
Finally, we note that we can extend the original (absolute) Kunz’s theorem to the non-Noetherian case since it is the particular case of Theorem 3.12 when A is the prime field of B:
Corollary 3.14. Let $(B,\mathfrak {n},l)$ be a local ring containing a field of characteristic $p>0$ . If $\mathrm {fd}_B({{}^\phi B})<\infty $ , then B is formally regular for the discrete topology.
Proof. Taking as A the prime field of B, Theorem 3.12 says that the Frobenius homomorphism $A\to B$ is discretely regular, and then Proposition 1.44 $(ii) \Rightarrow (iii)$ gives the result. Alternatively, we can apply Theorem 2.1 to $\phi :B\to B$ noting that $\phi $ induces the zero map on $\mathrm {H}_2(B,l,l)$ .
Acknowledgments
$^{(\star )}$ This work was partially supported by Agencia Estatal de Investigación (Spain), grant PID2020- 115155GB-I00 (European FEDER support included, UE) and by Xunta de Galicia through the Competitive Reference Groups (GRC) ED431C 2019/10
Competing interests
The authors have no competing interest to declare.