Proof of the Hodge-Tate comparison

Section 15 Proof of the Hodge-Tate comparison

Reference.

[18], lecture VI; [25], sections 5, 6.

In this section, we prove the Hodge-Tate comparison theorem (Theorem 12.4.1). Our strategy will be to build up from the special case treated in Section 14, in which we used the crystalline prism

(Z_{p}, (p))

as the base and the ring

R = F_{p} [x_{1}, \dots, x_{r}] .

🔗

We also assert the crystalline and de Rham comparison theorems. These are technically a bit more involved, so we do not include all of the details here.

🔗

Throughout, we fix a bounded prism

(A, I)

and denote its slice

A / I

\overset{―}{A} .

🔗

Subsection 15.1 Étale localization and base change

Remark 15.1.1.

Recall that a morphism

R \to S

of rings is smooth if and only if locally on

Spec (S),

it can be written in the form

R \to R [x_{1}, \dots, x_{r}] \to S

where the second map is étale (see [117], tag 054L). Similarly, if

R \to S

is a

p

-completely smooth map, then locally on

Spec (S / p)

it can be written in the form

R \to R ⟨ x_{1}, \dots, x_{r} ⟩ \to S

where the second map is

p

-completely étale (use Proposition 6.5.3 to reduce to the previous statement).

🔗

\overset{―}{A} \to R

p

-completely smooth, then

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

is a finite projective

R

-module (again by Proposition 6.5.3 to reduce to the corresponding statement about differentials for a smooth morphism). Consequently, if

R \to S

p

-completely étale, then

{\hat{Ω}}_{R / \overset{―}{A}}^{i} {\hat{\otimes}}_{R} S ≅ {\hat{Ω}}_{S / \overset{―}{A}}^{i}

for all

i .

🔗

This suggests the strategy of proving the Hodge-Tate comparison for a general

p

-completely smooth

\overset{―}{A}

-algebra

R

by proving the corresponding compatibility with étale maps, and then using this to reduce to the case

R = \overset{―}{A} ⟨ X_{1}, \dots, X_{r} ⟩ .

The first step in this program is executed by Lemma 15.1.2.

🔗

Lemma 15.1.2. Étale localization for Hodge-Tate cohomology.

Let

R \to S

be a

p

-completely étale map of

p

-completely smooth

\overset{―}{A}

-algebras. Then the natural map

{\overset{―}{Δ}}_{R / A} {\hat{\otimes}}_{R}^{L} S \to {\overset{―}{Δ}}_{S / A}

is an isomorphism.

🔗

Proof.

The restriction functor

(S / A)_{Δ} \to (R / A)_{Δ}

admits a right adjoint

F

taking

(B \to B / I B \leftarrow R)

(B_{S} \to B_{S} / I B_{S} \leftarrow S)

where

B_{S} / I B_{S} = B / I B {\hat{\otimes}}_{R}^{L} S

and

B \to B_{S}

is the unique lift of the étale morphism

B / I B \to B / I B {\hat{\otimes}}_{R}^{L} S

given by the the henselian property of derived completions (see Corollary 6.3.2), promoted from

Ring

{Ring}_{δ}

using Exercise 6.7.11. Applying

F

to a weakly final object of

(R / A)_{Δ}

(Proposition 11.6.5), we obtain a weakly final object of

(S / A)_{Δ};

since

F

also preserves finite products, we can take a complex computing

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

and apply

F

term by term to obtain a complex computing

{\overset{―}{Δ}}_{S / A} .

It thus remains to compare this with

{\overset{―}{Δ}}_{R / A} {\hat{\otimes}}_{R}^{L} S;

we have a natural isomorphism at the level of simplicial rings, and (since

R \to S

I

-completely flat and thus has finite

I

-complete Tor amplitude) we may now deduce the claim from Exercise 10.6.3. (Compare [25], Lemma 4.19.)

Another tool we will use is a base-change assertion. This will allow us to simplify the base ring

\overset{―}{A}

in some cases.

🔗

Lemma 15.1.3. Base change for prismatic and Hodge-Tate cohomology.

Let

R

be a

p

-completely smooth

\overset{―}{A}

-algebra. Let

(A, I) \to (A^{'}, I^{'})

be a map of bounded prisms such that

A \to A^{'}

has finite

(p, I)

-complete Tor amplitude (e.g., a faithfully flat morphism). For

R^{'} = R {\hat{\otimes}}_{A} A^{'},

we have natural isomorphisms

🔗

Δ_{R / A} {\hat{\otimes}}_{A}^{L} A^{'} ≅ Δ_{R^{'} / A^{'}}, {\overset{―}{Δ}}_{R / A} {\hat{\otimes}}_{A}^{L} A^{'} ≅ {\overset{―}{Δ}}_{R^{'} / A^{'}} .

🔗

Proof.

Let

(P, I P)

be a weakly final object of

(R / A)_{Δ},

then apply Remark 11.6.7 to construct a Čech-Alexander complex computing

Δ_{R / A} .

Then

Δ_{R^{'} / A^{'}}

is computed by the complex obtained by applying

∙ {\hat{\otimes}}_{A} A^{'}

termwise. Under the hypothesis on the Tor amplitude, we may apply Exercise 10.6.3 to conclude. (Compare [25], Lemma 4.18.)

As an immediate application of étale localization and base change, we upgrade our previous statement about the Hodge-Tate comparison for crystalline prisms (Proposition 14.4.12).

🔗

Lemma 15.1.4.

Suppose that

(A, I)

is a crystalline prism and

R

is a smooth

\overset{―}{A}

-algebra. Then the Hodge-Tate comparison map (12.1) is an isomorphism.

🔗

Proof.

By Proposition 14.4.12 and Lemma 15.1.3, the claim holds when

R = \overset{―}{A} [x_{1}, \dots, x_{r}] .

We may then deduce the general case using Lemma 15.1.2. (Compare [25], Corollary 5.5.)

🔗

Subsection 15.2 Comparing a universal prism to a crystalline prism

Remark 15.2.1.

We reproduce [18], Lecture VI, Remark 2.2, in order to justify why we can’t directly transpose the proof of the Hodge-Tate comparison from crystalline prisms to more general prisms. Suppose that

I = (d) .

Consider the object

P = A [x] \in {Ring}_{δ}

with

δ (x) = 0 .

Then the derived

(p, d)

-completion of

P {ϕ (x) / d}

does not equal the derived

(p, d)

-completion of the divided power envelope of

(P, (x)) .

A typical example of this is the case

(A, (d)) = (Z_{p} [[q - 1]], ([p]_{q}));

in this case, the derived

(p, d)

-completion of

P {ϕ (x) / d}

will end up coinciding with the derived

(p, d)

-completion of the

q

-divided power envelope of

(P, (x)) .

🔗

Lemma 15.2.2.

Let

(A, (d))

be the universal oriented prism (Example 5.3.5) and put

B = A {ϕ (d) / p}^{\land}

(the completion being the derived

p

-completion).

🔗

The ring $B$ is classically $(p, d)$ -complete.
The ring $B$ equals the classical $p$ -completion of the divided power envelope of $(A, (d))$ (and is $p$ -torsion-free).

🔗

Proof.

Since

A

p

-torsion-free,

B

is not just derived

p

-complete but also classically

p

-complete. Since

d^{p} = p (ϕ (d) / p - δ (p))

is divisible by

p,

B

is also classically

(p, d)

-complete. By Corollary 14.3.4,

B

equals the classical

p

-completion of the divided power envelope of

(A, (d)) .

(Compare [25], Construction 6.1.)

Remark 15.2.3.

In the notation of Lemma 15.2.2,

B

is again a

δ

-ring and both

ϕ (d)

and

p

are distinguished elements. Since

ϕ (d)

is divisible by

p,

we may apply Lemma 5.2.1 to deduce that

ϕ (d)

and

p

generate the same ideal in

B .

In other words, the composition of maps of

δ

-rings

🔗

A \to B \overset{ϕ_{B}}{\to} B

promotes to a composition of maps of prisms

🔗

(A, (d)) \to (B, (d)) \overset{ϕ_{B}}{\to} (B, (ϕ (d))) = (B, (p))

in which the target is crystalline! This will ultimately allow us to transfer information from the crystalline case of the Hodge-Tate comparison to the universal case, and then from there to the general case.

🔗

Lemma 15.2.4.

With notation as in Lemma 15.2.2, let

α : A \to B

be the composition of

ϕ : A \to A

with the natural map

A \to B .

🔗

The map $A / p \to B / p$ induced by $α$ factors as a composition

$A / p \to A / (p, d) \overset{ϕ}{\to} A / (p, d^{p}) \to B / p$

in which the first map has finite $(p, d)$ -complete Tor amplitude and the second and third maps are faithfully flat.
The functor $\hat{α^{*}} : D_{comp} (A) \to D_{comp} (B)$ is conservative (i.e., reflects isomorphisms). Here $D_{comp} (*)$ denotes the subcategory of derived $(p, d)$ -complete objects of $D (*) .$
For any $p$ -completely smooth $\overset{―}{A}$ -algebra $R,$ writing $R_{B} = R {\hat{\otimes}}_{A} B,$ the map $\hat{α^{*}} Δ_{R / A} \to Δ_{R_{B} / B}$ is an isomorphism.

🔗

Proof.

In (1), the first map has finite

(p, d)

-complete Tor amplitude because

d

is not a zero-divisor in

A / p;

the second and third maps are faithfully flat by construction. (Compare [25], Construction 6.1.)

Proposition 15.2.5.

Let

(A, (d))

be the universal oriented prism (Example 5.3.5) and put

R = \overset{―}{A} ⟨ x_{1}, \dots, x_{r} ⟩ .

Then the Hodge-Tate comparison map (12.1) is an isomorphism.

🔗

Proof.

Let

(A, (d)) \to (B, (d))

be the morphism from Lemma 15.2.2. By Lemma 15.2.4, we may apply Lemma 15.1.3 to reduce the claim from the prism

(A, (d))

(B, (d)) .

The latter is a crystalline prism by Remark 15.2.3, so Lemma 15.1.4 applies.

🔗

Subsection 15.3 Hodge-Tate comparisons

We finally treat the Hodge-Tate comparison theorem (Theorem 12.4.1) in general. Before treating the general case, we give an easier argument that covers many cases of interest.

🔗

Proposition 15.3.1.

Suppose that

(A, I) = (A, (d))

is an oriented (bounded) prism and the map from the universal oriented prism has finite

(p, d)

-complete Tor-amplitude. (For example, this last condition holds if

d

is a non-zerodivisor in

A / p .

) Let

R

be any

p

-completely smooth

\overset{―}{A}

-algebra. Then the Hodge-Tate comparison map (12.1) is an isomorphism.

🔗

Proof.

By Lemma 15.1.2, we may reduce to the case

R = \overset{―}{A} ⟨ x_{1}, \dots, x_{r} ⟩ .

In this case, since we assumed the map

(A_{0}, (d)) \to (A, (d))

from the universal oriented prism has finite

(p, d)

-complete Tor amplitude, we can use Lemma 15.1.3 to transfer the desired result from

(A_{0}, (d))

(to which Proposition 15.2.5 applies) to

(A, (d)) .

(Compare [25], Proposition 6.2.)

Proposition 15.3.2.

In the full generality of Theorem 12.4.1, the Hodge-Tate comparison map (12.1) is an isomorphism.

🔗

Proof.

Again by Lemma 15.1.2, we may reduce to the case

R = \overset{―}{A} ⟨ x_{1}, \dots, x_{r} ⟩ .

Using Lemma 5.2.5, we can further reduce to the case where

(A, I) = (A, (d))

is an oriented prism. Let

(A_{0}, (d)) \to (A, (d))

be the morphism from the universal oriented prism. Form a diagram as in Proposition 15.2.5 in which

α

is the map from Lemma 15.2.2 and the square is a pushout of

(p, d)

-complete simplicial commutative rings. (The key technical complication here is that

E

is not necessarily an ordinary ring.)

The arrow

Z_{p} \to D_{0}

promotes to a map

(Z_{p}, (p)) \to (D_{0}, (p))

of prisms, so we also have a map

γ : (Z_{p}, (p)) \to (E, (p))

of oriented prisms. Using the explicit description of prismatic cohomology given in Corollary 14.4.4, we may produce a natural isomorphism

\hat{β^{*}} {\overset{―}{Δ}}_{R / A} ≅ \hat{γ^{*}} {\overset{―}{Δ}}_{F_{p} [x_{1}, \dots, x_{r}] / Z_{p}} .

By Proposition 14.4.12, we know that the Hodge-Tate comparison map is an isomorphism for the prism

(Z_{p}, (p))

and the ring

F_{p} [x_{1}, \dots, x_{r}];

combining this with the previous isomorphism, we deduce that the original Hodge-Tate comparison map becomes an isomorphism after applying

\hat{β^{*}} .

Since this last functor is conservative (because

\hat{α^{*}}

is conservative by Lemma 15.2.4), it is itself an isomorphism. (Compare [25], Proposition 6.2.)

🔗

Subsection 15.4 The crystalline and de Rham comparisons

On a related note, we describe the comparison between prismatic, crystalline, and de Rham cohomology under some mild restrictions (in addition to our running condition that

(A, I)

is bounded). One complication is that we do not have an analogue of Lemma 15.1.2 for prismatic cohomology: for

R \to S

I

-completely etale morphism of

\overset{―}{A}

-algebras, there is no obvious base change functor to relate

Δ_{R / A}

Δ_{S / A} .

🔗

Theorem 15.4.1.

Assume that

(A, (p))

is a crystalline prism and let

J

be an ideal of

A

containing

p

on which

A

admits divided powers valued in

I

(that is,

J

is a pd-ideal of

A

). Let

ψ : A / J \to A / p

be the morphism induced by the Frobenius on

A / p .

Let

R

be a smooth

A / J

-algebra and put

R^{(1)} = R \otimes_{A / I, ψ} A / p .

Then there is a canonical isomorphism of

Δ_{R^{(1)} / A}

with the crystalline cohomology of

Spf (R)

relative to the pd-thickening

Spec (A / J) \subset Spf (A);

more precisely, this is an isomorphism of

E_{\infty} - A

-algebras compatible with Frobenius.

🔗

Proof.

The key point is to construct the map, as thereafter one can compute in local coordinates as in the proof of Lemma 14.4.8. See [25], Theorem 5.2.

Remark 15.4.2.

Before continuing, we make an observation that will explain a somewhat odd condition in Theorem 15.4.3. Recall that by construction, the

p

-typical Witt vector functor

W

is a right adjoint to the forgetful functor

{Ring}_{δ} \to Ring

(Definition 3.1.1). We may thus apply adjunction to the canonical map

A \to \overset{―}{A}

to obtain a morphism

A \to W (\overset{―}{A})

{Ring}_{δ} .

🔗

Now let

ψ : A \to W (\overset{―}{A})

be the composition of the resulting map with the Frobenius

ϕ

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

This map carries

I

into

(p) :

the original map

A \to W (\overset{―}{A})

carries

I

into the image of the Verschiebung

V

W (\overset{―}{A}),

and the composition

ϕ \circ V

is multiplication by

p

(Definition 3.2.3). Hence the map

ψ

induces a morphism

(A, I) \to (W (\overset{―}{A}), (p))

of prisms provided that

W (\overset{―}{A})

p

-torsion-free (so that the target is actually a prism).

🔗

Theorem 15.4.3.

Assume that the prism

(A, I)

is bounded and that

W (\overset{―}{A})

p

-torsion-free. Let

R

be a

p

-completely smooth

\overset{―}{A}

-algebra. Then there is a natural isomorphism

Δ_{R / A} {\hat{\otimes}}_{A, ϕ}^{L} \overset{―}{A} ≅ Ω_{R / \overset{―}{A}}^{∙}

of commutative ring objects in

D (\overset{―}{A})

(where the completion is the derived

p

-adic completion).

🔗

Proof.

In light of Remark 15.4.2, it is enough to construct a functorial isomorphism of

Δ_{R / A} {\hat{\otimes}}_{A, ψ}^{L} W (\overset{―}{A}) ≅ Δ_{R^{'} / W (\overset{―}{A})},

where

R^{'} = R {\hat{\otimes}}_{\overset{―}{A}, ψ} W (\overset{―}{A}) / p

(and the stated isomorphism is given by Lemma 15.1.3), with the crystalline cohomology of

R / p

with coefficients in

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

This amounts to an application of Theorem 15.4.1. (Compare [25], Theorem 6.4.)

Remark 15.4.4.

In Theorem 15.4.3, the condition that

W (\overset{―}{A})

p

-torsion-free holds in two natural cases of interest: when

A / I

p

-torsion-free, or when

I = (p)

and

\overset{―}{A}

is reduced. The result remains true without this condition, but this is more difficult and falls outside the scope of these notes; see [25], Corollary 15.4.

🔗

Prev Top Next