Coperfections in mixed characteristic

Section 19 Coperfections in mixed characteristic

Reference.

[18], lecture VIII; [25], section 7.

Given a perfect prism

(A, I),

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

Δ_{R / A}

and

{\overset{―}{Δ}}_{R / A}

to mean derived prismatic and Hodge-Tate cohomology (which were previously denoted

L Δ_{R / A}

and

L {\overset{―}{Δ}}_{R / A}

), as we will have no further use for the underived versions.

🔗

Subsection 19.1 Coperfections in characteristic $p$ revisited

To motivate the mixed-characteristic construction, we start by reconstructing the coperfection of an

F_{p}

-algebra in a somewhat exotic-looking fashion.

🔗

Definition 19.1.1.

Recall that for

R

F_{p}

-algebra, we have defined the coperfection of

R

as the image

R_{perf}

R

under the left adjoint of the forgetful functor from perfect

F_{p}

-algebras to arbitrary

F_{p}

-algebras. Concretely,

🔗

R_{perf} = colim (R \overset{ϕ}{\to} R \overset{ϕ}{\to} R \to \dots) .

Now suppose that

R

is an algebra over a perfect field

k

of characteristic

p .

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.

🔗

Remark 19.1.2.

A fundamental theorem of Kunz (see [117], tag 0EC0) asserts that a noetherian

F_{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,

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

F_{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).

🔗

Proposition 19.1.3.

Let

k

be a perfect field of characteristic

p

and choose

R \in {Ring}_{k} .

Then the projection

{dR}_{R / k} \to R

induces an isomorphism of

🔗

{dR}_{R / k, perf} = colim ({dR}_{R / k} \overset{ϕ_{R}}{\to} {dR}_{R / k} \overset{ϕ_{R}}{\to} \dots)

with

R_{perf} .

🔗

Proof.

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 > 0,

colim (Ω_{R / k}^{i} \overset{ϕ_{R}}{\to} Ω_{R / k}^{i} \overset{ϕ_{R}}{\to} \dots)

vanishes. This follows from the fact that Frobenius kills differential forms: in degree 1 we have

ϕ_{R} (x d y) = x^{p} d (y^{p}) = p x^{p} y^{p - 1} d y = 0

and similarly in higher degrees.

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

🔗

Proposition 19.1.4.

Let

R

be a

k

-algebra for some perfect field

k

of characteristic

p,

and let

(A, I)

be the prism

(W (k), p) .

Then the colimit

🔗

{\overset{―}{Δ}}_{R / A, perf} = colim ({\overset{―}{Δ}}_{R / A} \overset{ϕ}{\to} {\overset{―}{Δ}}_{R / A} \overset{ϕ}{\to} \dots)

is concentrated in degree

0,

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 .

🔗

Proof.

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

{gr}_{i}^{HT} (ϕ_{R}) : {gr}_{i}^{HT} ({\overset{―}{Δ}}_{R / A}) \to {gr}_{i}^{HT} ({\overset{―}{Δ}}_{R / A})

induced by the Frobenius on

{\overset{―}{Δ}}_{R / A}

conicides with the map

Ω_{R / k}^{i} \to Ω_{R / k}^{i}

induced by the Frobenius on

R

via the identification

{gr}_{i}^{HT} ({\overset{―}{Δ}}_{R / A}) ≅ Ω_{R / k}^{i}

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];

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.

🔗

Corollary 19.1.5.

Let

R

be a

k

-algebra for some perfect field

k

of characteristic

p,

and let

(A, I)

be the prism

(W (k), p) .

Then the completed colimit

🔗

Δ_{R / A, perf} = colim (Δ_{R / A} \overset{ϕ_{R}}{\to} Δ_{R / A} \overset{ϕ_{R}}{\to} \dots)_{(p)}^{\land} \in D (Z_{p})

is concentrated in degree

0,

where it coincides with

W (R_{perf})

(as a

W (k)

-algebra).

🔗

Proof.

This is a direct consequence of Proposition 19.1.4.

🔗

Subsection 19.2 The mixed characteristic case

Definition 19.2.1.

Let

(A, I)

be a perfect prism with slice

\overset{―}{A} .

For

R \in {Ring}_{\overset{―}{A}}

derived

p

-complete, define the prismatic coperfection

🔗

Δ_{R / A, perf} = colim (Δ_{R / A} \overset{ϕ_{R}}{\to} Δ_{R / A} \overset{ϕ_{R}}{\to} \dots)_{(p, I)}^{\land} \in D_{comp} (A)

using the

A

-linear structure on the initial term. This corresponds to the perfection in [18], [25].

🔗

Define the lens coperfection as

🔗

R_{lens} = Δ_{R / A, perf} \otimes_{A}^{L} \overset{―}{A} \in D_{comp} (R)

(the derived completion being

p

-adic) using the

R

-linear structure coming from

R \to {\overset{―}{Δ}}_{R / A} \to Δ_{R / A, perf} \otimes_{A}^{L} \overset{―}{A}

(the latter map coming from the identification of

Δ_{R / A}

with the first term of the colimit defining

Δ_{R / A, perf}

). This corresponds to the perfectoidization in [18], [25].

🔗

By construction,

Δ_{R / A, perf}

and

R_{lens}

are commutative algebra objects in

D_{comp} (A)

and

D_{comp} (R),

respectively. The Frobenius on

Δ_{R / A}

induces an automorphism of

Δ_{R / A, perf}

denoted

ϕ_{R} .

🔗

Remark 19.2.2.

The notation

R_{lens}

suggests that the lens coperfection of

R

depends only on

R

and not on its description as an

\overset{―}{A}

-algebra. This will be confirmed by Lemma 19.2.3.

🔗

Lemma 19.2.3. Base independence of lens coperfection.

Let

(A, I) \to (B, J)

be a morphism of perfect prisms and let

S \in {Ring}_{\overset{―}{B}}

be derived

p

-complete.

🔗

The natural map ${\overset{―}{Δ}}_{S / A} ≅ {\overset{―}{Δ}}_{S / B}$ is an isomorphism.
If $S = \overset{―}{B},$ then the natural map $S \to {\overset{―}{Δ}}_{S / B}$ is also an isomorphism.
The natural maps

$Δ_{S / A} \to Δ_{S / B}, Δ_{S / A, perf} \to Δ_{S / B, perf}$

are isomorphisms.

🔗

Proof.

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_{\overset{―}{B} / \overset{―}{A}}

vanishes. This holds because both rings are lenses; see Exercise 17.5.4.

Let us consider some examples.

🔗

Example 19.2.4. Coperfection for a crystalline prism.

Suppose that

(A, I)

is crystalline, that is,

I = (p)

and

A = W (\overset{―}{A}) .

By Corollary 19.1.5, we have

🔗

R_{lens} ≅ R_{perf}, Δ_{R / A, perf} ≅ W (R_{perf})

with everything concentrated in degree

0 .

🔗

Example 19.2.5. Coperfection for a lens.

Let

(A, I)

be a perfect prism and suppose that

R \in {Ring}_{\overset{―}{A}}

is itself a lens. By Lemma 19.2.6,

Δ_{R / A} ≅ W (R^{♭})

concentrated in degree

0 .

Since Frobenius is already an automorphism on

W (R^{♭}),

it follows that

Δ_{R / A, perf} ≅ W (R^{♭})

and

R_{lens} ≅ R,

both concentrated in degree

0 .

🔗

Lemma 19.2.6.

Let

(A, I)

be a perfect prism and suppose that

R \in {Ring}_{\overset{―}{A}}

is itself a lens. Then

Δ_{R / A} ≅ W (R^{♭}) .

🔗

Proof.

Write

R = \overset{―}{B}

for some perfect prism

(B, J);

by Theorem 7.3.5, the map

\overset{―}{A} \to \overset{―}{B}

promotes uniquely to a morphism of prisms

(A, I) \to (B, J) .

Now

(R \to B / J \leftarrow B)

is an object of

(R / A)_{Δ},

so we have a natural map

Δ_{R / A} \to B = W (R^{♭}) .

To check that this is an isomorphism, by derived Nakayama (Remark 6.6.6) it suffices to do this after applying

∙ \otimes_{A}^{L} \overset{―}{A};

that is, we must check that

{\overset{―}{Δ}}_{R / A} ≅ R .

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,

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.

🔗

Example 19.2.7. The $q$ -torus.

Let

(A, I)

be the coperfection of

(Z_{p} [[q - 1]], ([p]_{q})),

so that

A

is the classical

(p, [p]_{q})

-completion of

Z_{p} [q^{p^{- \infty}}] .

Take

R = \overset{―}{A} [x^{\pm}]_{(p)}^{\land} .

🔗

We will see later (see Section 26) that in this example

H^{1} (Δ_{R / A, perf})

and

H^{1} (R_{lens})

are both nonzero. This will follow by our later computation of

Δ_{R / A}

using a

q

-de Rham complex (compare Example 12.4.3). We will eventually see that

Δ_{R / A, perf}

is given by the

(p, [p]_{q})

-completion of

🔗

A [x^{\pm p^{p^{- \infty}}}] \overset{γ - id}{\to} J A [x^{\pm p^{p^{- \infty}}}]

where

🔗

J = {(⋃_{n} (q^{p^{- n}} - 1))}_{(p, [p]_{q})}^{\land} = \ker (A \to Z_{p}, q^{p^{- n}} \mapsto 1)

and

γ

is characterized by

🔗

γ (x^{i}) = q^{i} x^{i} (i \in Z [p^{- 1}]) .

In particular,

(q - 1) \cdot 1

in degree

1

is not a coboundary even modulo

[p]_{q} .

🔗

Subsection 19.3 More properties of coperfection

Lemma 19.3.1. Base change compatibility.

Let

(A, I)

be a perfect prism. The functor

R \mapsto R_{lens}

on derived

p

-complete

\overset{―}{A}

-algebras commutes with faithfully flat base change on the prism

(A, I) .

🔗

Proof.

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, I B)

be a faithfully flat map of perfect prisms. Put

S = R {\hat{\otimes}}_{\overset{―}{A}}^{L} \overset{―}{B};

then

S

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} {\hat{\otimes}}_{\overset{―}{A}}^{L} \overset{―}{B} ≅ S_{lens};

by compatibility with filtered colimits, this reduces to showing that

{\overset{―}{Δ}}_{R / A} \otimes_{\overset{―}{A}}^{L} \overset{―}{B} ≅ {\overset{―}{Δ}}_{S / B} .

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.

🔗

Lemma 19.3.2.

Let

R_{∙}

be a simplicial object of

{Ring}_{F_{p}} .

Then the action of Frobenius on

H^{- i} (R_{∙})

is zero for all

i > 0 .

In particular, if

ϕ_{R}

is a homotopy equivalence, then

H^{- i} (R_{∙}) = 0

for all

i > 0 .

🔗

Proof.

For a given

i > 0,

set

S_{i} = {Sym}_{F_{p}} F_{p} [i] .

By construction,

H^{- i} (S_{i})

is nonzero; moreover, any class of

H^{i} (R_{∙})

is in the image of

H^{- i} (S_{i})

along some map

S_{i} \to R_{∙} .

Hence it suffices to check that Frobenius kills

H^{- i} (S_{i}) .

For

i = 1,

we may write

S_{1} = F_{p} \otimes_{F_{p} [x]}^{L} F_{p},

from which we read off that

H^{- 1} (S_{1}) ≅ (x) / (x^{2}),

which is evidently killed by Frobenius.

For

i > 1,

we may write

S_{i + 1} = F_{p} \otimes_{S_{i}}^{L} F_{p}

to obtain an identification

H^{- i - 1} (S_{i + 1}) ≅ H^{- i - 1} (F_{p} \otimes_{S_{i}}^{L} F_{p}) ≅ H^{- i} (S_{i})

that is compatible with Frobenius. By induction on

i,

we deduce the desired result. (Compare [24], Proposition 11.6.)

Remark 19.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 :

for any simplicial commutative ring

R_{∙},

the multiplication map

R_{∙} \times R_{∙} \to R_{∙}

induces the zero map on

H^{- i} (R_{∙})

for all

i > 0 .

🔗

Lemma 19.3.4. Coconnectivity of coperfection.

For any perfect prism

(A, I)

and any derived

p

-complete

R \in {Ring}_{\overset{―}{A}},

Δ_{R / A, perf} \in D_{comp}^{\geq 0} (A) .

🔗

Proof.

From its construction,

Δ_{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

τ^{\leq - 1} (Δ_{R / A, perf}),

we deduce the claim. (Compare [18], Lecture VIII, Remark 2.5(1) or [25], Lemma 8.4.)

Lemma 19.3.5.

For

(A, I)

a perfect prism and

R \in {Ring}_{\overset{―}{A}}

derived

p

-complete, suppose that

Δ_{R / A, perf} \in D_{comp}^{\leq 0} (A) .

(For example, this holds whenever

R

is a semilens; see Corollary 19.3.6.)

🔗

The object $Δ_{R / A, perf} \in D_{comp} (A)$ is concentrated in degree $0,$ where it is a perfect $(p, I)$ -complete $δ$ -ring.
The pair $(Δ_{R / A, perf}, I Δ_{R / A, perf})$ is a perfect prism over $(A, I) .$
The object $R_{lens}$ is concentrated in degree $0,$ where it is a lens. Moreover, the map $R \to R_{lens}$ is the universal map of $R$ into a lens.

🔗

Proof.

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.

Corollary 19.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.)

🔗

Proof.

Let

(A, I)

be a perfect prism and let

R = \overset{―}{A} / J

be a derived

p

-complete quotent. Since

\overset{―}{A} \to R

is surjective,

Ω_{R / \overset{―}{A}}^{1} = 0

and so

L_{R / \overset{―}{A}} [- 1] \in D_{comp}^{\leq 0} (R) .

This in turn implies that

\land^{i} L_{R / \overset{―}{A}} [- i] \in D_{comp}^{\leq 0} (R)

for all

i,

and similarly after derived

p

-completion. By the Hodge-Tate filtration (Proposition 18.1.4), we deduce that

{\overset{―}{Δ}}_{R / A} \in D_{comp}^{\leq 0} (R)

and hence

Δ_{R / A} \in D_{comp}^{\leq 0} (A) .

Now apply Lemma 19.3.5 to deduce that

R_{lens}

is concentrated in degree 0, where it is a lens.

Remark 19.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

ϕ_{R}

gives

Δ_{R / A, perf}

the structure of a “derived perfect

δ

-ring”. We will not try to unpack this statement further here.

🔗

Subsection 19.4 André flatness

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

🔗

Definition 19.4.1.

A ring

R

is absolutely integrally closed if every monic polynomial over

R

has a root. We often abbreviate this to AIC.

🔗

Lemma 19.4.2.

For

R \in Ring

AIC,

f \in R

an element, and

R [f^{- 1}] \to S

a finite étale morphism in

Ring,

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,

the morphism

R [(f g_{i})^{- 1}] \to S [g_{i}^{- 1}]

is totally split (that is, as an

R [(f g_{i})^{- 1}]

-algebra we can split

S [g_{i}^{- 1}]

as a finite product of copies of

R [(f g_{i})^{- 1}]

🔗

Proof.

By [117], tag 0DCS, the localization of

R

at any prime ideal is strictly henselian; this implies the claim at once.

Lemma 19.4.3.

Let

(A, I)

be a perfect prism. Let

P \in \overset{―}{A} [x]

be a monic polynomial. Then there exists a faithfully flat morphism

(A, I) \to (B, I B)

of perfect prisms such that

\overset{―}{B}

contains a root of

P .

🔗

Proof.

Define the ring

R = \overset{―}{A} [x^{p^{- \infty}}]_{(p)}^{\land} / (P);

by construction,

R

is a regular semilens and

\overset{―}{A} \to R

p

-completely faithfully flat. By Remark 18.2.3,

Δ_{R / A}

is concentrated in degree

0,

where it is a

(p, I)

-completely flat

A

-algebra. By the Hodge-Tate comparison (Proposition 18.1.4),

R \to {\overset{―}{Δ}}_{R / A}

p

-completely faithfully flat.

By Corollary 19.3.6,

Δ_{R / A, perf}

is concentrated in degree

0,

where it is a perfect

(p, I)

-complete

δ

-ring which we call

B .

By the previous paragraph,

R \to {\overset{―}{Δ}}_{R / A, perf}

p

-completely faithfully flat, so

(A, I) \to (B, I B)

is faithfully flat. By construction,

\overset{―}{B}

is an

R

-algebra, so it contains a root of

P .

(Compare [25], Proposition 7.11.)

Theorem 19.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.

🔗

Proof.

This follows directly from Lemma 19.4.3 via transfinite induction. (Compare [25], Theorem 7.12.)

Remark 19.4.5.

Theorem 19.4.4 is a key ingredient in the proof of Hochster’s direct summand conjecture; see Theorem 25.5.1.

🔗

Corollary 19.4.6.

For any semilens

R,

the natural map from

R

to its lens coperfection (i.e., its image under the left adjoint from Corollary 19.3.6) is surjective.

🔗

Proof.

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

♯ : {\overset{―}{A}}^{♭} \to \overset{―}{A}

is surjective. Let

J

be the kernel of

\overset{―}{A} \to R .

We can then choose elements

x_{i} \in {\overset{―}{A}}^{♭}

for

i

running over some index set

I

such that the elements

x_{i}^{♯} \in \overset{―}{A}

form a set of generators of

J,

and check directly that the quotient

R^{'}

\overset{―}{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},

R_{lens} ≅ R^{'}

is indeed a quotient of

R .

(Compare [18], Corollary 3.2.)

Remark 19.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.

🔗

Subsection 19.5 Examples of lens coperfection

Remark 19.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).

🔗

We have the following analogue of Example 3.4.3.

🔗

Example 19.5.2.

Let

R

be a lens and let

S

be the regular semilens

R [x^{p^{- \infty}}]_{(p)}^{\land} / (x) .

Then

S_{lens} ≅ R

with the kernel of

S \to S_{lens}

being the closure of the ideal

(x^{p^{- \infty}}) .

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 .

🔗

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 .

For example, if

R

p

-torsion-free, then the element

🔗

\sum_{n = 1}^{\infty} p^{n} x^{p^{- n}}

belongs to the kernel but no power of it is divisible by

x .

🔗

Example 19.5.3.

Let

R

be a completed algebraic integral closure of

Z_{p}

and let

S

be the regular semilens

R [x^{p^{- \infty}}]_{(p)}^{\land} / (x - 1) .

Fix a coherent sequence

(ζ_{p^{n}})

p

-power roots of unity in

R .

Then

S_{lens}

can be described as the ring of continuous functions

Z_{p} \to R,

viewed as a subring of the product

\prod_{c \in Z_{p}} R,

via the map taking

x^{p^{- n}}

(ζ_{p^{n}}^{c})_{c \in Z_{p}} .

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),

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.

🔗

Example 19.5.4.

Let

R

be a

p

-torsion-free lens and let

S

be the nonregular semilens

R [x^{p^{- \infty}}, y^{p^{- \infty}}]_{(p)}^{\land} / (x^{p^{- n}} - y^{p^{- n}} : n = 0, 1, \dots) .

In this case,

S_{lens} ≅ R [x^{p^{- \infty}}]_{(p)}^{\land}

via the map

y^{p^{- n}} \mapsto x^{p^{- n}} .

By contrast, if we take the quotient of

R [x^{p^{- \infty}}, y^{p^{- \infty}}]_{(p)}^{\land}

by the ideal

(x - y),

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.)

🔗

Definition 19.5.5.

For

R

p

-torsion-free ring, the

p

-root closure (or

p

-normalization) of

R

is the minimal subring

S

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,

then also

x \in S .

🔗

Lemma 19.5.6.

For

R

p

-torsion-free ring, an element

x

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 .

🔗

Proof.

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.

Theorem 19.5.7. Ishizuka.

Let

S

be a semilens. If

S

p

-torsion-free, then the lens coperfection of

S

equals the

p

-adic completion of the

p

-root closure of

R .

🔗

Proof.

[70]

🔗

Exercises 19.6 Exercises

1.

Show that for

R \in {Ring}_{F_{p}},

the Frobenius map

ϕ_{R} : R \to R

is flat if and only if the canonical map from

R

to its coperfection

R_{perf}

is flat.

🔗

Hint.

Let

R_{1}

be a copy of

R

viewed as an

R

-algebra via

ϕ .

The map

R_{1} \to R_{perf}

induces a surjection on spectra; hence if

I

is a finitely generated ideal of

R

and

0 \to K \to I \otimes_{R} R_{1} \to I R_{1} \to R_{1} / I R_{1} \to 0

is exact with

K \neq 0,

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

F_{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.

🔗

Prev Top Next

Section 19 Coperfections in mixed characteristic

Reference.

Subsection 19.1 Coperfections in characteristic p revisited

Definition 19.1.1.

Remark 19.1.2.

Proposition 19.1.3.

Proof.

Proposition 19.1.4.

Proof.

Corollary 19.1.5.

Proof.

Subsection 19.2 The mixed characteristic case

Definition 19.2.1.

Remark 19.2.2.

Lemma 19.2.3. Base independence of lens coperfection.

Proof.

Example 19.2.4. Coperfection for a crystalline prism.

Example 19.2.5. Coperfection for a lens.

Lemma 19.2.6.

Proof.

Example 19.2.7. The q-torus.

Subsection 19.3 More properties of coperfection

Lemma 19.3.1. Base change compatibility.

Proof.

Lemma 19.3.2.

Proof.

Remark 19.3.3.

Lemma 19.3.4. Coconnectivity of coperfection.

Proof.

Lemma 19.3.5.

Proof.

Corollary 19.3.6.

Proof.

Remark 19.3.7.

Subsection 19.4 André flatness

Definition 19.4.1.

Lemma 19.4.2.

Proof.

Lemma 19.4.3.

Proof.

Theorem 19.4.4. André flatness lemma.

Proof.

Remark 19.4.5.

Corollary 19.4.6.

Proof.

Remark 19.4.7.

Subsection 19.5 Examples of lens coperfection

Remark 19.5.1.

Example 19.5.2.

Example 19.5.3.

Example 19.5.4.

Definition 19.5.5.

Lemma 19.5.6.

Proof.

Theorem 19.5.7. Ishizuka.

Proof.

Exercises 19.6 Exercises

1.

2.

Subsection 19.1 Coperfections in characteristic $p$ revisited

Example 19.2.7. The $q$ -torus.