Given a perfect prism \((A, I)\text{,}\) we apply prismatic cohomology to construct a “canonical coperfection” of a \(p\)-complete \(A/I\)-algebra. In general this will not be a true ring but rather something derived; only in certain (important) special cases will we end up with a genuine ring. Nonetheless, this construction is quite useful in mixed-characteristic commutative algebra; for instance, it recovers the André flatness lemma, whose earliest proofs [5], [16] depended heavily on the theory of perfectoid spaces. We incur no such dependence here; we make the argument entirely in the world of rings and schemes, with no recourse to nonarchimedean analytic geometry.

From now on, we write \(\Prism_{R/A}\) and \(\overline{\Prism}_{R/A}\) to mean derived prismatic and Hodge-Tate cohomology (which were previously denoted \(L\Prism_{R/A}\) and \(L\overline{\Prism}_{R/A}\)), as we will have no further use for the underived versions.

Subsection19.1Coperfections in characteristic \(p\) revisited

To motivate the mixed-characteristic construction, we start by reconstructing the coperfection of an \(\FF_p\)-algebra in a somewhat exotic-looking fashion.

Definition19.1.1.

Recall that for \(R\) an \(\FF_p\)-algebra, we have defined the coperfection of \(R\) as the image \(R_{\perf}\) of \(R\) under the left adjoint of the forgetful functor from perfect \(\FF_p\)-algebras to arbitrary \(\FF_p\)-algebras. Concretely,

\begin{equation*}
R_{\perf} = \colim(R \stackrel{\phi}{\to} R \stackrel{\phi}{\to} R \to \cdots).
\end{equation*}

Now suppose that \(R\) is an algebra over a perfect field \(k\) of characteristic \(p\text{.}\) Let \(R^{(1)} \to R\) be the relative Frobenius map (Definition 14.1.2); then the induced map \((R^{(1)})_{\perf} \to R_{\perf}\) is an isomorphism. See also Exercise 19.6.2.

Remark19.1.2.

A fundamental theorem of Kunz (see [117], tag 0EC0) asserts that a noetherian \(\FF_p\)-algebra is regular if and only if its Frobenius map is flat. (As a reminder, if \(R\) is a finite type \(k\)-algebra for some perfect field \(k\) of characteristic \(p\text{,}\) then \(R\) is regular if and only if it is a smooth \(k\)-algebra; see [117], tag 00TQ.) Since flatness is preserved by colimits, we see that if \(R\) is a noetherian regular \(\FF_p\)-algebra, then \(R \to R_{\perf}\) is flat; the converse is also true (see Exercise 19.6.1). For an analogue in mixed characteristic, see Remark 25.5.3.

The following can be seen as another instance of the same phenomenon that gives rise to the vanishing of the cotangent complex for a morphism of perfect rings in characteristic \(p\) (as in the proof of Lemma 3.3.5).

Proposition19.1.3.

Let \(k\) be a perfect field of characteristic \(p\) and choose \(R \in \Ring_k\text{.}\) Then the projection \(\dR_{R/k} \to R\) induces an isomorphism of

Since everything is defined using the formalism of nonabelian derived functors (Definition 17.2.1), it suffices to treat the case where \(R\) is a polynomial ring over \(k\) in finitely many variables. In this case, it will suffice to check that for each \(i \gt 0\text{,}\)

To get closer to the mixed-characteristic case, let us reformulate in terms of (derived) prismatic cohomology.

Proposition19.1.4.

Let \(R\) be a \(k\)-algebra for some perfect field \(k\) of characteristic \(p\text{,}\) and let \((A,I)\) be the prism \((W(k), p)\text{.}\) Then the colimit

is concentrated in degree \(0\text{,}\) where it coincides with \(R_{\perf}\) (as a \(k\)-algebra). Note that there is no \(p\)-adic completion needed here because we are working modulo \(p\text{.}\)

Again, we formally reduce to the case where \(R\) is a polynomial ring in finitely many variables. To deduce this from Proposition 19.1.3, we need to check that the map

induced by the Frobenius on \(\overline{\Prism}_{R/A}\) conicides with the map \(\Omega^i_{R/k} \to \Omega^i_{R/k}\) induced by the Frobenius on \(R\) via the identification \(\gr_i^{\HT}(\overline{\Prism}_{R/A}) \cong \Omega^i_{R/k}\) of Proposition 18.1.4 (note that now we have reverted from derived to ordinary prismatic cohomology). By functoriality, it suffices to treat the case \(R = k[x]\text{;}\) this amounts to a direct calculation in the style of Lemma 12.3.4, which we leave to the reader. (Compare [18], Lecture XIII, Proposition 1.6.)

We make one more change to prepare for the passage to mixed characteristic: we replace the Frobenius action on Hodge-Tate cohomology, which has no analogue in mixed characteristic, with the prismatic Frobenius.

Corollary19.1.5.

Let \(R\) be a \(k\)-algebra for some perfect field \(k\) of characteristic \(p\text{,}\) and let \((A,I)\) be the prism \((W(k), p)\text{.}\) Then the completed colimit

Let \((A,I)\) be a perfect prism with slice \(\overline{A}\text{.}\) For \(R \in \Ring_{\overline{A}}\) derived \(p\)-complete, define the prismatic coperfection

(the derived completion being \(p\)-adic) using the \(R\)-linear structure coming from \(R \to \overline{\Prism}_{R/A} \to \Prism_{R/A,\perf} \otimes_A^L \overline{A}\) (the latter map coming from the identification of \(\Prism_{R/A}\) with the first term of the colimit defining \(\Prism_{R/A,\perf}\)). This corresponds to the perfectoidization in [18], [25].

By construction, \(\Prism_{R/A,\perf}\) and \(R_{\lens}\) are commutative algebra objects in \(D_{\comp}(A)\) and \(D_{\comp}(R)\text{,}\) respectively. The Frobenius on \(\Prism_{R/A}\) induces an automorphism of \(\Prism_{R/A,\perf}\) denoted \(\phi_R\text{.}\)

Remark19.2.2.

The notation \(R_{\lens}\) suggests that the lens coperfection of \(R\) depends only on \(R\) and not on its description as an \(\overline{A}\)-algebra. This will be confirmed by Lemma 19.2.3.

Lemma19.2.3.Base independence of lens coperfection.

Let \((A,I) \to (B,J)\) be a morphism of perfect prisms and let \(S \in \Ring_{\overline{B}}\) be derived \(p\)-complete.

The natural map \(\overline{\Prism}_{S/A} \cong \overline{\Prism}_{S/B}\) is an isomorphism.

If \(S = \overline{B}\text{,}\) then the natural map \(S \to \overline{\Prism}_{S/B}\) is also an isomorphism.

By derived Nakayama (Remark 6.6.6), the first statement implies the third. To check the first and second statements, we may reduce to comparing graded pieces of the Hodge-Tate filtration. Using Proposition 18.1.4 to translate the statement in terms of cotangent complexes plus (17.1), we reduce to checking that the derived \(p\)-completion of \(L_{\overline{B}/\overline{A}}\) vanishes. This holds because both rings are lenses; see Exercise 17.5.4.

Let us consider some examples.

Example19.2.4.Coperfection for a crystalline prism.

Suppose that \((A,I)\) is crystalline, that is, \(I = (p)\) and \(A = W(\overline{A})\text{.}\) By Corollary 19.1.5, we have

with everything concentrated in degree \(0\text{.}\)

Example19.2.5.Coperfection for a lens.

Let \((A,I)\) be a perfect prism and suppose that \(R \in \Ring_{\overline{A}}\) is itself a lens. By Lemma 19.2.6, \(\Prism_{R/A} \cong W(R^\flat)\) concentrated in degree \(0\text{.}\) Since Frobenius is already an automorphism on \(W(R^\flat)\text{,}\) it follows that \(\Prism_{R/A,\perf} \cong W(R^\flat)\) and \(R_{\lens} \cong R\text{,}\) both concentrated in degree \(0\text{.}\)

Lemma19.2.6.

Let \((A,I)\) be a perfect prism and suppose that \(R \in \Ring_{\overline{A}}\) is itself a lens. Then \(\Prism_{R/A} \cong W(R^\flat)\text{.}\)

Write \(R = \overline{B}\) for some perfect prism \((B,J)\text{;}\) by Theorem 7.3.5, the map \(\overline{A} \to \overline{B}\) promotes uniquely to a morphism of prisms \((A,I) \to (B,J)\text{.}\) Now \((R \to B/J \leftarrow B)\) is an object of \((R/A)_{\Prism}\text{,}\) so we have a natural map \(\Prism_{R/A} \to B = W(R^\flat)\text{.}\) To check that this is an isomorphism, by derived Nakayama (Remark 6.6.6) it suffices to do this after applying \(\bullet \otimes_A^L \overline{A}\text{;}\) that is, we must check that \(\overline{\Prism}_{R/A} \cong R\text{.}\) This follows from Lemma 19.2.3.

We are now ready to consider a simple example where the lens coperfection is not concentrated in degree \(0\text{,}\) although the verification of this will come later (see Section 26). This should not necessarily be viewed as a bad thing, as the higher cohomology will carry some important geometric information.

Example19.2.7.The \(q\)-torus.

Let \((A,I)\) be the coperfection of \((\ZZ_p\llbracket q-1 \rrbracket, ([p]_q))\text{,}\) so that \(A\) is the classical \((p, [p]_q)\)-completion of \(\ZZ_p[q^{p^{-\infty}}]\text{.}\) Take \(R = \overline{A}[x^{\pm}]^\wedge_{(p)}\text{.}\)

We will see later (see Section 26) that in this example \(H^1(\Prism_{R/A,\perf})\) and \(H^1(R_{\lens})\) are both nonzero. This will follow by our later computation of \(\Prism_{R/A}\) using a \(q\)-de Rham complex (compare Example 12.4.3). We will eventually see that \(\Prism_{R/A,\perf}\) is given by the \((p, [p]_q)\)-completion of

\begin{equation*}
\gamma(x^i) = q^i x^i \qquad (i \in \ZZ[p^{-1}]).
\end{equation*}

In particular, \((q-1) \cdot 1\) in degree \(1\) is not a coboundary even modulo \([p]_q\text{.}\)

Subsection19.3More properties of coperfection

Lemma19.3.1.Base change compatibility.

Let \((A,I)\) be a perfect prism. The functor \(R \mapsto R_{\lens}\) on derived \(p\)-complete \(\overline{A}\)-algebras commutes with faithfully flat base change on the prism \((A,I)\text{.}\)

We treat here only the case where \(R\) has bounded \(p\)-power torsion. See [25] for a broader result that includes the general case of this assertion.

Let \((A,I) \to (B,IB)\) be a faithfully flat map of perfect prisms. Put \(S = R \widehat{\otimes}^L_{\overline{A}} \overline{B}\text{;}\) then \(S\) is \(p\)-completely flat over \(R\) and thus concentrated in degree 0 (because \(R\) has bounded \(p\)-power torsion). We need to show that \(R_{\lens} \widehat{\otimes}^L_{\overline{A}} \overline{B} \cong S_{\lens}\text{;}\) by compatibility with filtered colimits, this reduces to showing that \(\overline{\Prism}_{R/A} \otimes^L_{\overline{A}} \overline{B} \cong \overline{\Prism}_{S/B}\text{.}\) This follows by comparing the Hodge-Tate filtrations on both sides using Proposition 18.1.4, then using the analogous compatibility for the cotangent complex and its exterior powers (Proposition 17.1.2).

The following can be viewed as a refinement of Exercise 17.5.1.

Lemma19.3.2.

Let \(R_\bullet\) be a simplicial object of \(\Ring_{\FF_p}\text{.}\) Then the action of Frobenius on \(H^{-i}(R_\bullet)\) is zero for all \(i \gt 0\text{.}\) In particular, if \(\phi_R\) is a homotopy equivalence, then \(H^{-i}(R_\bullet) = 0\) for all \(i \gt 0\text{.}\)

For a given \(i \gt 0\text{,}\) set \(S_i = \Sym_{\FF_p} \FF_p[i]\text{.}\) By construction, \(H^{-i}(S_i)\) is nonzero; moreover, any class of \(H^i(R_\bullet)\) is in the image of \(H^{-i}(S_i)\) along some map \(S_i \to R_\bullet\text{.}\) Hence it suffices to check that Frobenius kills \(H^{-i}(S_i)\text{.}\)

that is compatible with Frobenius. By induction on \(i\text{,}\) we deduce the desired result. (Compare [24], Proposition 11.6.)

Remark19.3.3.

It is noted in [24], Remark 11.8 that Lemma 19.3.2 admits a generalization which makes no reference to Frobenius or characteristic \(p\text{:}\) for any simplicial commutative ring \(R_\bullet\text{,}\) the multiplication map \(R_\bullet \times R_\bullet \to R_\bullet\) induces the zero map on \(H^{-i}(R_\bullet)\) for all \(i \gt 0\text{.}\)

Lemma19.3.4.Coconnectivity of coperfection.

For any perfect prism \((A,I)\) and any derived \(p\)-complete \(R \in \Ring_{\overline{A}}\text{,}\)\(\Prism_{R/A,\perf} \in D^{\geq 0}_{\comp}(A)\text{.}\)

From its construction, \(\Prism_{R/A,\perf}/p\) carries a natural Frobenius endomorphism; by Lemma 19.3.2, its negative cohomology groups must vanish. By applying derived Nakayama (Exercise 6.7.5) to the canonical truncation \(\tau^{\leq -1}(\Prism_{R/A,\perf})\text{,}\) we deduce the claim. (Compare [18], Lecture VIII, Remark 2.5(1) or [25], Lemma 8.4.)

Lemma19.3.5.

For \((A,I)\) a perfect prism and \(R \in \Ring_{\overline{A}}\) derived \(p\)-complete, suppose that \(\Prism_{R/A,\perf} \in D^{\leq 0}_{\comp}(A)\text{.}\) (For example, this holds whenever \(R\) is a semilens; see Corollary 19.3.6.)

The object \(\Prism_{R/A,\perf} \in D_{\comp}(A)\) is concentrated in degree \(0\text{,}\) where it is a perfect \((p,I)\)-complete \(\delta\)-ring.

The pair \((\Prism_{R/A,\perf}, I\Prism_{R/A,\perf})\) is a perfect prism over \((A,I)\text{.}\)

The object \(R_{\lens}\) is concentrated in degree \(0\text{,}\) where it is a lens. Moreover, the map \(R \to R_{\lens}\) is the universal map of \(R\) into a lens.

Point (1) is a direct corollary of Lemma 19.3.4. Point (2) is a direct corollary of (1). Point (3) follows from (2) and Example 19.2.5.

Corollary19.3.6.

The embedding functor from lenses to semilenses (both viewed as full subcategories of \(\Ring\)) admits a left adjoint given by lens coperfection. (For more on this functor, see Corollary 19.4.6.)

Let \((A,I)\) be a perfect prism and let \(R = \overline{A}/J\) be a derived \(p\)-complete quotent. Since \(\overline{A} \to R\) is surjective, \(\Omega^1_{R/\overline{A}} = 0\) and so \(L_{R/\overline{A}}[-1] \in D^{\leq 0}_{\comp}(R)\text{.}\) This in turn implies that \(\wedge^i L_{R/\overline{A}}[-i] \in D^{\leq 0}_{\comp}(R)\) for all \(i\text{,}\) and similarly after derived \(p\)-completion. By the Hodge-Tate filtration (Proposition 18.1.4), we deduce that \(\overline{\Prism}_{R/A} \in D^{\leq 0}_{\comp}(R)\) and hence \(\Prism_{R/A} \in D^{\leq 0}_{\comp}(A)\text{.}\) Now apply Lemma 19.3.5 to deduce that \(R_{\lens}\) is concentrated in degree 0, where it is a lens.

Remark19.3.7.

As indicated in [18], Lecture VIII, Remark 2.5, Lemma 19.3.4 and Lemma 19.3.5 are concrete consequences of the statement that the action of \(\phi_R\) gives \(\Prism_{R/A,\perf}\) the structure of a “derived perfect \(\delta\)-ring”. We will not try to unpack this statement further here.

Subsection19.4André flatness

We next use prismatic coperfections to construct faithfully flat morphisms of prisms; this recovers an important assertion of mixed-characteristic commutative algebra.

Definition19.4.1.

A ring \(R\) is absolutely integrally closed if every monic polynomial over \(R\) has a root. We often abbreviate this to AIC.

Lemma19.4.2.

For \(R \in \Ring\) AIC, \(f \in R\) an element, and \(R[f^{-1}] \to S\) a finite étale morphism in \(\Ring\text{,}\) there exist elements \(g_1,\dots,g_r \in R\) such that \((f,g_1,\dots,g_r)R = R\) and for \(i=1,\dots,r\text{,}\) the morphism \(R[(fg_i)^{-1}] \to S[g_i^{-1}]\) is totally split (that is, as an \(R[(fg_i)^{-1}]\)-algebra we can split \(S[g_i^{-1}]\) as a finite product of copies of \(R[(fg_i)^{-1}]\)).

By [117], tag 0DCS, the localization of \(R\) at any prime ideal is strictly henselian; this implies the claim at once.

Lemma19.4.3.

Let \((A,I)\) be a perfect prism. Let \(P \in \overline{A}[x]\) be a monic polynomial. Then there exists a faithfully flat morphism \((A,I) \to (B,IB)\) of perfect prisms such that \(\overline{B}\) contains a root of \(P\text{.}\)

\begin{equation*}
R = \overline{A}[x^{p^{-\infty}}]^{\wedge}_{(p)}/(P);
\end{equation*}

by construction, \(R\) is a regular semilens and \(\overline{A} \to R\) is \(p\)-completely faithfully flat. By Remark 18.2.3, \(\Prism_{R/A}\) is concentrated in degree \(0\text{,}\) where it is a \((p,I)\)-completely flat \(A\)-algebra. By the Hodge-Tate comparison (Proposition 18.1.4), \(R \to \overline{\Prism}_{R/A}\) is \(p\)-completely faithfully flat.

By Corollary 19.3.6, \(\Prism_{R/A,\perf}\) is concentrated in degree \(0\text{,}\) where it is a perfect \((p,I)\)-complete \(\delta\)-ring which we call \(B\text{.}\) By the previous paragraph, \(R \to \overline{\Prism}_{R/A,\perf}\) is \(p\)-completely faithfully flat, so \((A,I) \to (B,IB)\) is faithfully flat. By construction, \(\overline{B}\) is an \(R\)-algebra, so it contains a root of \(P\text{.}\) (Compare [25], Proposition 7.11.)

Theorem19.4.4.André flatness lemma.

Let \(R\) be a lens. Then there exists a \(p\)-completely faithfully flat morphism \(R \to S\) of lenses such that \(S\) is AIC. In particular, every element of \(S\) admits a compatible system of \(p\)-power roots.

For any semilens \(R\text{,}\) the natural map from \(R\) to its lens coperfection (i.e., its image under the left adjoint from Corollary 19.3.6) is surjective.

By Corollary 19.3.6, \(R\to R_{\lens}\) is the universal map from \(R\) to a lens, which we wish to show is surjective. Since we may check this after a \(p\)-completely faithfully flat base extension, using Theorem 19.4.4 we may reduce to the case where the multiplicative map \(\sharp\colon \overline{A}^\flat \to \overline{A}\) is surjective. Let \(J\) be the kernel of \(\overline{A} \to R\text{.}\) We can then choose elements \(x_i \in \overline{A}^\flat\) for \(i\) running over some index set \(I\) such that the elements \(x_i^\sharp \in \overline{A}\) form a set of generators of \(J\text{,}\) and check directly that the quotient \(R'\) of \(\overline{A}\) by the \(p\)-completion of the ideal generated by \(x_i^{p^{-j}}\) for all \(i \in I, j \geq 0\) is a lens. The natural map \(R \to R'\) satisfies the same universal property as \(R \to R_{\lens}\text{,}\) so \(R_{\lens} \cong R'\) is indeed a quotient of \(R\text{.}\) (Compare [18], Corollary 3.2.)

Remark19.4.7.

In the theory of perfectoid spaces, the surjectivity assertion in Corollary 19.4.6 corresponds to the fact there is no difference between Zariski closed subsets and strongly Zariski closed subsets of a perfectoid space. These concepts had previously been distinguished in [108], Remark II.2.4.

Subsection19.5Examples of lens coperfection

Remark19.5.1.

In each of the following examples, we exhibit the lens coperfection of a semilens \(S\) not from its definition (Definition 19.2.1), but from the adjunction property (Corollary 19.3.6).

Let \(R\) be a lens and let \(S\) be the regular semilens \(R[x^{p^{-\infty}}]^\wedge_{(p)}/(x)\text{.}\) Then \(S_{\lens} \cong R\) with the kernel of \(S \to S_{\lens}\) being the closure of the ideal \((x^{p^{-\infty}})\text{.}\) We check this from the adjunction property (Corollary 19.3.6): if \(S \to T\) is a morphism with \(T\) a lens, then \(T\) is reduced (Corollary 8.4.7) and so \(x^{p^{-n}} \in \ker(S \to T)\) for all \(n\text{.}\)

In this case, it is easy to see that the kernel of \(S \to S_{\lens}\) is strictly larger than the radical of the ideal \(x\text{.}\) For example, if \(R\) is \(p\)-torsion-free, then the element

belongs to the kernel but no power of it is divisible by \(x\text{.}\)

Example19.5.3.

Let \(R\) be a completed algebraic integral closure of \(\ZZ_p\) and let \(S\) be the regular semilens \(R[x^{p^{-\infty}}]^{\wedge}_{(p)}/(x-1)\text{.}\) Fix a coherent sequence \((\zeta_{p^n})\) of \(p\)-power roots of unity in \(R\text{.}\) Then \(S_{\lens}\) can be described as the ring of continuous functions \(\ZZ_p \to R\text{,}\) viewed as a subring of the product \(\prod_{c \in \ZZ_p} R\text{,}\) via the map taking \(x^{p^{-n}}\) to \((\zeta_{p^n}^c)_{c \in \ZZ_p}\text{.}\) As in Example 19.5.2, this can be checked using the adjunction property of lens coperfection (Corollary 19.3.6).

The kernel of the map \(S \to S_{\lens}\) has been analyzed in [53]: it is the radical of the ideal \((x-1)\text{,}\) but is strictly larger than \((x-1)\) itself. However, it is difficult to exhibit “explicit” elements witnessing the difference between the two ideals.

Here is a variation of the previous example.

Example19.5.4.

Let \(R\) be a \(p\)-torsion-free lens and let \(S\) be the nonregular semilens \(R[x^{p^{-\infty}}, y^{p^{-\infty}}]^{\wedge}_{(p)}/(x^{p^{-n}} - y^{p^{-n}}\colon n =0,1,\dots)\text{.}\) In this case, \(S_{\lens} \cong R[x^{p^{-\infty}}]^{\wedge}_{(p)}\) via the map \(y^{p^{-n}} \mapsto x^{p^{-n}}\text{.}\) By contrast, if we take the quotient of \(R[x^{p^{-\infty}}, y^{p^{-\infty}}]^{\wedge}_{(p)}\) by the ideal \((x-y)\text{,}\) we end up with something more similar to Example 19.5.3 (particularly if \(R\) contains a coherent \(p\)-power sequence of roots of unity).

Note that in the previous examples, the complications all arise from the kernel of the map to the lens coperfection. If we exclude this by requiring the semilens to be \(p\)-torsion-free, then one can express the lens coperfection in more classical language. (One can also make some statements in the more general case, for which we defer to [70] for details.)

Definition19.5.5.

For \(R\) a \(p\)-torsion-free ring, the \(p\)-root closure (or \(p\)-normalization) of \(R\) is the minimal subring \(S\) of \(R[p^{-1}]\) containing \(R\) and closed under taking \(p\)-th roots. That is, if \(x \in R[p^{-1}]\) and \(x^p \in S\text{,}\) then also \(x \in S\text{.}\)

Lemma19.5.6.

For \(R\) a \(p\)-torsion-free ring, an element \(x\) of \(R[p^{-1}]\) belongs to the \(p\)-root closure of \(R\) if and only if \(x^{p^n} \in R\) for some nonnegative integer \(n\text{.}\)

It is clear that every \(x\) of this form belongs to the \(p\)-root closure. It thus suffices to check that the resulting set is a ring, as then it is clear that it contains \(R\) and is closed under taking \(p\)-th roots. We leave the verification to the reader; alternatively, see [105] where the concept of the \(p\)-root closure was first considered in detail.

Theorem19.5.7.Ishizuka.

Let \(S\) be a semilens. If \(S\) is \(p\)-torsion-free, then the lens coperfection of \(S\) equals the \(p\)-adic completion of the \(p\)-root closure of \(R\text{.}\)

Show that for \(R \in \Ring_{\FF_p}\text{,}\) the Frobenius map \(\phi_R\colon R \to R\) is flat if and only if the canonical map from \(R\) to its coperfection \(R_{\perf}\) is flat.

Let \(R_1\) be a copy of \(R\) viewed as an \(R\)-algebra via \(\phi\text{.}\) The map \(R_1 \to R_{\perf}\) induces a surjection on spectra; hence if \(I\) is a finitely generated ideal of \(R\) and

\begin{equation*}
0 \to K \to I \otimes_R R_1 \to IR_{1} \to R_{1}/IR_1 \to 0
\end{equation*}

is exact with \(K \neq 0\text{,}\) then \(I \otimes R_{\perf} \to I R_{\perf}\) is not injective either. This checks a standard criterion for flatness ([117], tag 00M5).

2.

Let \(R \to S\) be a morphism of \(\FF_p\)-algebras such that the corresponding map \(\Spec S \to \Spec R\) is a universal homeomorphism. Show that the induced map \(R_{\perf} \to S_{\perf}\) of coperfections is an isomorphism.