Derived de Rham cohomology

Section 17 Derived de Rham cohomology

Reference.

[18], lecture VII.

In this section, we apply the formalism of nonabelian derived functors (Section 16) to the cohomology of differential forms, starting with the cotangent complex and then moving to derived de Rham cohomology. This will set up a paradigm of leveraging our knowledge about polynomial rings (or their completions) which will persist in the discussion of derived prismatic cohomology in Section 18.

🔗

Subsection 17.1 The cotangent complex

We illustrate the formalism with Illusie’s construction of the “derived cotangent bundle” [68], [69].

🔗

Definition 17.1.1.

For

A \in Ring,

the cotangent complex is the functor

L_{∙ / A} : {Ring}_{A} \to D (A)

taking obtained by taking the left derived functor of the functor

{Poly}_{A} \to D (A)

given by

B \mapsto Ω_{B / A}^{1} [0] .

It is straightforward to check that in fact

L_{B / A} \in D^{\leq 0} (B) .

🔗

Note that it also makes sense to talk about

L_{B / A}

when

B

is itself a simplicial object in

{Ring}_{A} .

This will be useful when stating the base change property in Proposition 17.1.2.

🔗

Proposition 17.1.2.

For

A \to B

a morphism in

Ring,

the cotangent complex

L_{B / A} \in D (B)

has the following properties. (These also hold when

B

is a simplicial object in

{Ring}_{A} .

)

🔗

We have a natural (in $B$ ) isomorphism $H^{0} (L_{B / A}) ≅ Ω_{B / A}^{1} .$
If $A \to B$ is smooth, then $L_{B / A} ≅ Ω_{B / A}^{1} [0] .$ In particular, if $A \to B$ is étale then $L_{B / A} ≅ 0$ (but not conversely; see for example Exercise 17.5.1).
For any morphisms $A \to B \to C,$ we have a distinguished triangle in $D (C)$

$\begin{matrix} (17.1) & L_{B / A} \otimes_{B}^{L} C \to L_{C / A} \to L_{C / B} \to . \end{matrix}$

This extends the usual low-degree exact sequence for differentials.
For any surjective morphism $A \to B$ with kernel $I,$ we have $H^{- 1} (L_{B / A}) ≅ I / I^{2} .$ Moreover, if $I$ is generated by a regular sequence, then $H^{i} (L_{B / A}) = 0$ for $i \neq - 1 .$ (This generalizes the assertion that a closed immersion of schemes is unramified.)
For any morphisms $A \to B, A \to C,$ we have a natural base change isomorphism

$L_{C / A} \otimes_{A}^{L} B ≅ L_{C \otimes_{A}^{L} B / B}$

where $C \otimes_{A}^{L} B$ is to be interpreted as a simplicial ring as per Example 16.2.9. We can replace $C \otimes_{A}^{L} B$ with $C \otimes_{A} B$ if one of $A \to B$ or $A \to C$ is flat, or more generally if $A \to B$ and $A \to C$ are Tor independent (meaning that ${Tor}_{i}^{A} (B, C) = 0$ for all $i > 0$ ).

🔗

Proof.

See [117], tag 08P5.

The following is an analogue of the flatness of completion for noetherian rings, but without a noetherian hypothesis.

🔗

Lemma 17.1.3.

Let

A \in Ring

be classically

p

-complete with bounded

p

-power torsion. Let

B \in {Ring}_{A}

be flat (so that

B

also has bounded

p

-power torsion). Let

\hat{B}

be the classical

p

-completion of

B .

Then the derived

p

-completion of the cotangent complex of

B \to \hat{B}

is zero in

D (\hat{B}) .

🔗

Proof.

The complex in question vanishes after applying

\otimes_{Z}^{L} Z / p

by the base change formula (Proposition 17.1.2), and then derived Nakayama (Proposition 6.6.2) yields the claim.

🔗

Subsection 17.2 Derived de Rham cohomology

We first prepare for the Hodge-Tate comparison by introducing derived de Rham cohomology, picking up the thread from our previous discussion of the cotangent complex (Subsection 17.1).

🔗

Definition 17.2.1.

For

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

the derived de Rham cohomology functor

{dR}_{∙ / k} : {Ring}_{k} \to D (k)

is the left derived functor of the functor

{Poly}_{k} \to D (k)

given by

R \mapsto Ω_{R / k}^{∙} .

🔗

Let us unwind this for a given ring

R \in k .

Let

P_{∙} \to R

be the standard simplicial resolution of

R

(Example 16.3.4) Then

{dR}_{R / k}

is the totalization of the double complex

Ω_{P_{∙} / k}^{∙} .

Note that this double complex is bounded below in one direction (coming from the de Rham complex) and bounded above in the other (coming from the simplicial resolution), so we must handle this totalization with some care (see Remark 17.2.8).

🔗

To state the derived analogue of the Cartier isomorphism, we need to explain what we mean by a “filtration” in a derived category. (This is also the correct context in which to construct the spectral sequence associated to a filtered complex, as arose in the proof of Proposition 13.3.1.)

🔗

Definition 17.2.2.

For

k \in Ring,

by an increasing exhaustive filtration of an object

K \in D (k),

we will mean a sequence

{Fil}_{0} \to {Fil}_{1} \to \dots

D (k)

with colimit

K .

The associated graded quotients are the mapping cones

{gr}_{i} ({Fil}_{∙}) = Cone ({Fil}_{i - 1} \to {Fil}_{i}) .

🔗

Remark 17.2.3.

You might initially find it confusing that Definition 17.2.2 does not specify that the maps

{Fil}_{i} \to {Fil}_{i + 1}

are injections. The point is that this is not a meaningful concept in

D (k)!

🔗

Take note of the level of generality in the following proposition; there is no restriction on

R

at all!

🔗

Proposition 17.2.4. Derived Cartier isomorphism.

For

k \in {Ring}_{F_{p}}

and

R \in {Ring}_{k},

there is a functorial (in

R

) increasing exhaustive filtration on

{dR}_{R / k}

D (R^{(1)}),

called the conjugate filtration, equipped with canonical identifications

🔗

{gr}^{i} {dR}_{R / k} ≅ (\overset{i}{⋀} L_{R^{(1)} / k}) [- i] .

🔗

Proof.

For

R

a polynomial ring, we take the filtration on

Ω_{R / k}^{∙}

where

{Fil}_{i}

is the canonical truncation

τ^{\leq i} Ω_{R / k}^{∙}

(Definition 10.4.1). The desired identifications in this case are just a reformulation of the Cartier isomorphism (Lemma 14.1.6). To deduce the general case, just take left derived functors.

Remark 17.2.5.

The conjugate filtration derives its name from the fact that it goes in the opposite direction from the usual Hodge filtration; its relationship with the Cartier isomorphism seems to have been observed first by Katz [78]. The Hodge filtration and the conjugate filtration give rise to the usual Hodge-de Rham spectral sequence and the conjugate spectral sequence, respectively; the latter is unnamed in [78], the modern terminology appearing first in [92].

🔗

Note that the following corollary is not automatic, because we don’t currently have any way to control the effect of étale localization on derived de Rham cohomology; rather, we must prove this first and then deduce étale localization as a further corollary (Corollary 17.2.7).

🔗

Corollary 17.2.6.

For

k \in {Ring}_{F_{p}}

and

R \in {Ring}_{k}

smooth, there is a canonical isomorphism

{dR}_{R / k} ≅ Ω_{R / k}^{∙}

which respects the conjugate filtrations on both sides.

🔗

Proof.

The map in question comes from the construction using the universal property of left Kan extensions. By Proposition 17.2.4, it respects the conjugate filtration on both sides.

The map on graded pieces can be written as

(\overset{i}{⋀} L_{R^{(1)} / k}) [- i] \to (Ω_{R^{(1)} / k}^{i}) [- i]

using Proposition 17.2.4 and the usual Cartier isomorphism (Lemma 14.1.6 in the case of affine space; the general case follows by étale localization). This map is an isomorphism for

i = 1

by Proposition 17.1.2, and hence is an isomorphism for general

i

as well.

Corollary 17.2.7.

For

k \in {Ring}_{F_{p}}

and

R \to S

an étale morphism in

{Ring}_{k},

there is a natural isomorphism

{dR}_{R / k} \otimes_{R}^{L} S ≅ {dR}_{S / k} .

🔗

Proof.

This formally reduces to the case where

R

is a polynomial ring in finitely many variables over

k,

in which case

S

is smooth over

k

and Corollary 17.2.6 applies.

Remark 17.2.8.

Note that Corollary 17.2.6 fails when

k

is not a ring of characteristic

p .

For example, if

k

is a

Q

-algebra, then

k ≅ Ω_{A / k}^{*}

by the Poincare lemma for any

A \in {Poly}_{k},

k ≅ {dR}_{A / k}

for all

A \in {Ring}_{k} .

🔗

What is going on here is that the definition of derived de Rham cohomology we are using is a shortcut taking advantage of the Cartier isomorphism. The correct construction for general

k

requires an extra completion step that correctly accounts for the Hodge filtration, plus some care for the difference between the direct sum totalization and the direct product totalization of a double complex which is bounded above in one direction and bounded below in the other direction (see Definition 13.1.4). See [18], Lecture VII, Remark 3.8 for additional discussion and onward references.

🔗

Subsection 17.3 Regular semiperfect rings

We next describe a large class of rings for which derived de Rham cohomology can be described explicitly. These can then be used in the terms of a simplicial resolution to compute derived de Rham cohomology more generally.

🔗

Definition 17.3.1.

Let

k \in {Ring}_{F_{p}}

be perfect. A regular semiperfect

k

-algebra is an object

S \in {Ring}_{k}

of the form

R / I

where

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

is perfect and

I

is an ideal of

R

generated by a regular sequence. Note that any such ring is semiperfect, that is, the Frobenius map is surjective; this can be used to partially recover

R

from

S,

as per Exercise 17.5.5.

🔗

Example 17.3.2.

A typical example of a regular semiperfect

k

-algebra is

🔗

S = k [x_{1}^{p^{- \infty}}, \dots, x_{r}^{p^{- \infty}}] / (x_{1}, \dots, x_{r}) .

Note that there are many ways to write

S

R / I;

for instance, we may take

R = k [x_{1}^{p^{- \infty}}, \dots, x_{r}^{p^{- \infty}}]

and

I = (x_{1}, \dots, x_{r}),

but we can also replace

R

with its classical

I

-completion (or anything between). One can recover the completion from

S;

see Exercise 17.5.5.

🔗

Lemma 17.3.3.

Let

k \in {Ring}_{F_{p}}

be perfect and let

S \in {Ring}_{k}

be regular semiperfect. Then

{dR}_{S / k}

is concentrated in degree

0

(and thus can be viewed as an object in

{Ring}_{k}

🔗

Proof.

Set notation as in Definition 17.3.1. By Exercise 17.5.1,

L_{R / k}

vanishes in

D (R) .

From the distinguished triangle (17.1) associated to the morphisms

k \to R \to S,

we deduce that

L_{S / k} \to L_{S / R}

is an isomorphism in

D (S) .

Since

I

is generated by a regular sequence, Proposition 17.1.2 asserts that

L_{S / R} ≅ I / I^{2} [1]

where

I / I^{2}

is a finite projective

S

-module. Consequently, the derived exterior power

⋀_{S}^{i} (L_{S / R} [- 1]) = (⋀_{S}^{i} L_{S / R}) [- i]

is also concentrated in degree 0. By Proposition 17.2.4, we may now deduce the claim.

Example 17.3.4.

In Example 17.3.2, one may compute that

🔗

{dR}_{S / k} ≅ ⨁_{i_{1}, \dots, i_{r} \in Z [p^{- 1}]_{\geq 0}} k \cdot \frac{x_{1}^{i_{1}} \dots x_{r}^{i_{r}}}{⌊ i_{1} ⌋! \dots ⌊ i_{r} ⌋!} .

In general, we get the divided power envelope of

I

R

(in the sense of [15]; we cannot apply Definition 14.2.1 as we are not in the

Z_{p}

-flat case).

🔗

As an illustration of the technique we have in mind, let us apply this logic to ordinary de Rham cohomology in the smooth case.

🔗

Lemma 17.3.5.

Let

k \in {Ring}_{F_{p}}

be perfect and let

R \in {Ring}_{k}

be smooth over

k .

Let

S

be the coperfection of

R .

Let

S^{∙}

be the Čech nerve of

R \to S .

🔗

The map $R \to S$ is flat.
For each $n \geq 0,$ the ring $S^{n}$ is regular semiperfect.

🔗

Proof.

Since

R

is a smooth

k

-algebra and

k

is perfect, the Frobenius map

ϕ_{R} : R \to R

is flat (see Remark 19.1.2). It follows that

R \to S

is flat.

To see that

S^{n}

is regular semiperfect, we may work étale locally to reduce to the case where

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

In this case, we may write

S^{n} = k [x_{i j}^{p^{- \infty}} : i = 1, \dots, r; j = 0, \dots, n] / (x_{i j} - x_{i j^{'}} : i = 1, \dots, r; 1 \leq j < j^{'} \leq n)

to see that it is regular semiperfect.

Remark 17.3.6.

With notation as in Lemma 17.3.5, Corollary 17.2.6 implies that we can identify

Ω_{R / k}^{∙}

with

{dR}_{R / k}

D (k) .

For each

n,

{dR}_{S^{n} / k}

is concentrated in degree 0 by Lemma 17.3.3. It can be shown further that the functor

{dR}_{∙ / k}

satisfies descent with respect to the fpqc cover

R \to S

(see for instance [23], section 3); consequently,

{dR}_{R / k}

can be computed by the complex

{dR}_{S^{∙} / k} .

🔗

Subsection 17.4 Derived crystalline cohomology

Definition 17.4.1. Derived crystalline cohomology.

Let

k \in {Ring}_{F_{p}}

be perfect and let

A \in Ring

be a classically

p

-complete ring with

A / p ≅ k .

We wish to derive a crystalline cohomology functor

R Γ_{crys} : {Poly}_{k} \to D (A)

taking

R = k [x_{1}, \dots, x_{r}]

{\hat{Ω}}_{P / A}^{∙}

for

P = A [x_{1}, \dots, x_{r}];

however, we need to make sure that this construction does not depend on the choice of coordinates on

R .

Fortunately, we can deduce this from our proof of the Hodge-Tate comparison, which gives us a canonical isomorphism of

{\hat{Ω}}_{P / A}^{∙}

with

ϕ_{A}^{*} Δ_{R / k}

(Corollary 14.4.10).

🔗

We define the derived crystalline cohomology functor

R Γ_{dcrys} : {Ring}_{k} \to D (A)

by taking the left derived functor of the ordinary crystalline cohomology

R Γ_{crys} .

From the comparison of crystalline cohomology with de Rham cohomology (Proposition 14.2.8), we obtain a natural isomorphism

🔗

R Γ_{dcrys} (∙ / A) \otimes_{A}^{L} k ≅ {dR}_{∙ / k} .

🔗

Remark 17.4.2.

Using Lemma 17.3.5, we can carry out the analogue of Remark 17.3.6 to construct an explicit functorial complex computing the (derived) crystalline cohomology of a smooth algebra over a perfect ring. We omit the details here.

🔗

Exercises 17.5 Exercises

1.

Let

A \to B

be a morphism of perfect

F_{p}

-algebras. Show that

L_{A / B} ≅ 0 .

🔗

Hint.

On one hand,

ϕ_{B}

evidently induces an isomorphism on

L_{A / B} .

On the other hand, the induced map is zero when

B

is a polynomial ring over

A .

🔗

2.

Let

f : A \to B

be a morphism of finite presentation between perfect

F_{p}

-algebras. Show that

f

is étale.

🔗

Hint.

Apply Exercise 17.5.1.

🔗

3.

Let

R

be a perfect

F_{p}

-algebra and let

x_{1}, \dots, x_{r} \in R

be a regular sequence. Prove that the regular semiperfect ring

S = R / (x_{1}, \dots, x_{r})

is perfect if and only if

S

is a direct factor of

R .

🔗

Hint.

By Exercise 17.5.2, the map

R \to S

is both étale and surjective, and hence a closed-open immersion.

🔗

4.

Let

A \to B

be a morphism of lenses. Using Exercise 17.5.1, show that the derived

p

-completion of

L_{B / A}

vanishes.

🔗

Hint.

As in Lemma 17.1.3, use derived Nakayama to reduce to Proposition 6.6.2. See also [25], Lemma 3.14.

🔗

5.

With notation as in Definition 17.3.1, show that the perfection of

S

is canonically isomorphic to the classical

I

-completion of

R .

🔗

Prev Top Next