Integral comparison of Monsky–Washnitzer and overconvergent de Rham–Witt cohomology

Abstract

The goal of this short note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky–Washnitzer cohomology and overconvergent de Rham–Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$.

Résumé. Le but de ce travail est de prolonger un résultat de Christopher Davis et David Zureick-Brown concernant la comparaison entre la cohomologie de Monsky–Washnitzer entière et la cohomologie de de Rham–Witt surconvergente d’une variété lisse sur un corps parfait de charactéristique positive $p$ à tous les degrés cohomologiques indépendent de la dimension de base et du nombre premier $p$.

Introduction

Let $k$ be a perfect field of positive characteristic $p$. As usual denote by $W(k)$ the ring of $p$-typical Witt vectors of $k$, and let $K$ be the fraction field of $W(k)$. By a variety over $k$ we always mean a separated and integral scheme of finite type over the field $k$.

In 2 Christopher Davis, Andreas Langer, and Thomas Zink define for a finitely generated $k$-algebra $\bar{A}$ the overconvergent de Rham–Witt complex $W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}\subset W\Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}$, which can be globalised to a sheaf on a smooth variety $X$ over $k$. One of their main results is to compare the cohomology of this complex to Monsky–Washnitzer cohomology.

According to Elkik (cf. 7, Sec. 2) there is a smooth finitely generated $W(k)$-algebra $A$ which reduces to $\bar{A}$. Let $\widehat{A}$ be the $p$-adic completion of $A$. The weak completion $A^\dagger$ of $A$ is the smallest $p$-adically saturated subring of $\widehat{A}$ containing $A$ and all series of the form $\sum _{i_1,\ldots ,i_n\geqslant 0}c_{i_1\cdots i_n}x_1^{i_1}\cdots x_n^{i_n}$ with $c_{i_1\cdots i_n}\in W(k)$ and $x_j\in pA^\dagger$. It is a weak formalisation of $\bar{A}$ in the sense of 6, Def. 3.2, and according to 7, (2.4.4) Thm. any two weak formalisations are isomorphic. By construction it is weakly finitely generated. For short it is common to write w.c.f.g. for weakly complete and weakly finitely generated algebras.

Let $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}$ be the module of continuous differentials of $A^\dagger$ over $W(k)$. The Monsky–Washnitzer cohomology of $\operatorname {\mathrm{Spec}}\bar{A}$ is then calculated by the rational complex $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k),\mathbb{Q}}:=\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\otimes \mathbb{Q}$:

$$\begin{equation*} H_{\mathrm{MW}}^i(\bar{A}/K)=H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k),\mathbb{Q}}). \end{equation*}$$

These notions are well-defined and functorial 6, Sec. 5.

A comparison map between the two complexes in question can be obtained as follows. For a smooth lift of the Frobenius $f:A^\dagger \rightarrow A^\dagger$, which always exists, there is a monomorphism

$$\begin{equation*} t_f\colon A^\dagger \rightarrow W(\bar{A}) \end{equation*}$$

which has in fact image in the overconvergent subring $W^\dagger (\bar{A})\subset W(\bar{A})$ and induces by the universal property of Kähler differentials and functoriality a comparison map

$$\begin{equation*} t_f\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\rightarrow W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}. \end{equation*}$$

The main result of Davis, Langer, and Zink regarding this comparison morphism is the following 2, Cor. 3.25.

Theorem (Davis–Langer–Zink).

(a)

If $\dim \bar{A}\!<\!p$, then the map $t_{F}\colon \!\Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\!\rightarrow \! W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}$ is a quasi-isomorphism.

(b)

In general, there is a rational isomorphism$$\begin{equation*} H_{\mathrm{MW}}^\ast (\bar{A}/K)\cong H^\ast (W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A},\mathbb{Q}}) \end{equation*}$$

between Monsky–Washnitzer cohomology and rational overconvergent de Rham–Witt cohomology.

Davis and Zureick-Brown generalise the first statement, which is an integral result to a comparison independent of the dimension of $\bar{A}$ 4, Thm. 1.1.

Theorem (Davis–Zureick-Brown).

Let $\operatorname {\mathrm{Spec}}\bar{A}$ be a non-singular affine variety and let $A^\dagger$ be a weak formalisation.

(a)

The integral Monsky–Washnitzer cohomology groups are well-defined.

(b)

For all $i<p$, we have an isomorphism $H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})\xrightarrow {\sim } H^i(W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k})$.

The goal of this paper is to take the argumentation of Davis and Zureick-Brown a step further and show that in the situation above the comparison map

$$\begin{equation*} \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\rightarrow W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k} \end{equation*}$$

induces a canonical isomorphism between integral cohomology groups

$$\begin{equation*} H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})\rightarrow H^i(W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}) \end{equation*}$$

in all cohomological degrees. A crucial ingredient is the extension of a homotopy result by Monsky and Washnitzer. In 6, Rem. (3), p. 205 they assert that if $A$ and $B$ are w.c.f.g. algebras over $W(k)$, with $A$ flat and $A/pA$ a complete transversal intersection, then two homomorphisms $\psi _1,\psi _2\colon A\rightarrow B$ with the same reduction modulo $p$ induce chain homotopic maps on the associated continuous de Rham complexes

$$\begin{equation*} \psi _1\cong \psi _2\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A/R}\rightarrow \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B/R}. \end{equation*}$$

In the first section, we show that this is in fact true without the assumptions that $A/pA$ is a complete transversal intersection and that $B$ is weakly finitely generated. We apply this in two instances.

In the second section we revisit integral Monsky–Washnitzer cohomology. Bearing in mind 4, Thm. 1.1(1), it remains only to show that the cohomology groups $H^i_{\mathrm{MW}}(\operatorname {\mathrm{Spec}}\bar{A}/W(k)):= H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})$ are functorial in $\bar{A}$. Using the homotopy result of the previous section we don’t have to reduce to transversal intersections, as the desired statement follows directly.

We turn our attention to the comparison map in the last section. As mentioned above, the problem is that it depends a priori on the choice of a Frobenius lift $f$. We use again the homotopy result mentioned above to show that two maps

$$\begin{equation*} \psi _1,\psi _2\colon A^\dagger \rightarrow W^\dagger (\bar{A}) \end{equation*}$$

which coincide on the reduction modulo $p$ induce chain homotopic maps on the associated complexes. In this instance it is important that the homotopy be valid in a case where the target is not weakly finitely generated. It then suffices to invoke the universal property of the continuous de Rham complex. Similarly to 4 we now use the fact that any smooth variety can be covered by special affines on which we know that a quasi-isomorphism $\sigma \colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A_I^\dagger /W(k)}\rightarrow W^\dagger \Omega _{\bar{A}_I/k}^{\scriptscriptstyle \overset{\bullet }{}}$ exists.

In summary we obtain the following result.

Theorem.

Let $\bar{A}$ be a smooth finite $k$-algebra.

(a)

The integral Monsky–Washnitzer cohomology groups $H^i_{\mathrm{MW}}(\operatorname {\mathrm{Spec}}\bar{A}/W(k))$ are well-defined up to unique isomorphism and are functorial in non-singular affine $k$-varieties.

(b)

For all $i\geqslant 0$ there is a well-defined and functorial isomorphism$$\begin{equation*} H^i_{\mathrm{MW}}(\bar{A}/W(k)) \xrightarrow {\simeq } H^i(W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}}) \end{equation*}$$

between integral Monsky–Washnitzer and overconvergent de Rham–Witt cohomology.

1. A homotopy result

The heart of the following proposition is essentially 6, Rem. (3), p. 205 with the additional observation that it is neither necessary to assume that the target of the maps in question is weakly finitely generated nor that the reduction of the source is a complete transversal intersection. While the latter allows us to shorten the proofs in Sections 2 and 3 considerably, the first is crucial because we would like to apply the statement to maps $\psi _1,\psi _2 \colon A^\dagger \rightarrow W^\dagger ({\bar{A}})$ for a smooth $k$-algebra $\bar{A}$ of finite type, and while $W^\dagger (\bar{A})$ is weakly complete 3, Prop. 2.28, it is in general not weakly finitely generated. We recall the proof of 6, Rem. (3), p. 205 with the necessary modifications.

Proposition 1.

Let $B$ be a weakly complete $W(k)$-algebra and let $\bar{A}$ be a smooth scheme of finite type over $k$. Let $A^\dagger$ be the weak completion of a smooth $W(k)$-lift $A$ of $\bar{A}$. Then two homomorphisms $\psi _1,\psi _2\colon A^\dagger \rightarrow B$ with the same reduction modulo $p$ induce chain homotopic maps on the associated continuous de Rham complexes

$$\begin{equation*} \psi _1\simeq \psi _2\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger / W(k)}\rightarrow \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B/W(k)}. \end{equation*}$$

Proof.

A homotopy as desired can be obtained by introducing an extra variable $T$. Denote by $B\langle T\rangle$ the weak completion of the $W(k)[T]$-algebra $B[T]$ with respect to the ideal $(p,T)$. The reduction of $B\langle T\rangle$ modulo the ideal $(p,T)$ is obviously $B/pB$, and according to 6 we can think of it as a restricted power series ring over $B$. Consider the natural maps

$$\begin{equation*} h_0,h_p\colon B\langle T\rangle \rightarrow B \end{equation*}$$

sending $T$ to $0$ and $p$ respectively. Consider the complex of continuous differentials

$$\begin{equation*} \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B\langle T\rangle /W(k)}= \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{B\langle T\rangle /W(k)}/\bigcap (p,T)^i\Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{B\langle T\rangle /W(k)}, \end{equation*}$$

which is $(p,T)$-separated instead of $(p)$-separated.

In a first step we observe that the induced maps

$$\begin{equation*} h_0,h_p\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B\langle T\rangle /W(k)}\rightarrow \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B /W(k)} \end{equation*}$$

are chain homotopic. Namely, by induction on the degree one shows easily that an element $\omega \in \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B\langle T\rangle /W(k)}$ may be represented by a power series in $T$ as

$$\begin{equation} \omega =\sum _{i=0}^\infty T^i\left(\omega '_i+(dT\wedge \omega ^{\prime \prime }_i)\right),{\tag{1}} \end{equation}$$

where for all $i\geqslant 0$ the elements $\omega '_i$ and $\omega ^{\prime \prime }_i$ are in $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B /W(k)}$. For such a power series one sets

$$\begin{equation*} L(\omega )=\sum _{i=0}^\infty \left(\frac{p^{i+1}}{i+1}\right)\omega ^{\prime \prime }_i, \end{equation*}$$

which is indeed a well-defined element of $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B /W(k)}$ because $i+1$ divides $p^{i+1}$ and moreover the fractions $\frac{p^{i+1}}{i+1}$ converge $p$-adically fast enough to zero. An easy computation using representations (1) shows that in each degree one obtains in fact an equality

$$\begin{equation*} h_p-h_0=d_BL+Ld_{B\langle T\rangle }. \end{equation*}$$

In a second step we show that two maps $\psi _1,\psi _2\colon A^\dagger \rightarrow B$ as in the statement of the proposition are strongly homotopic in the sense that there exists a map $\phi \colon A^\dagger \rightarrow B\langle T\rangle$ such that

$$\begin{equation*} h_0\circ \phi =\psi _1\qquad \text{ and }\qquad h_p\circ \phi =\psi _2. \end{equation*}$$

Let $C$ be the image of the map

$$\begin{equation*} h_0\oplus h_p\colon B\langle T\rangle \rightarrow B\oplus B, \end{equation*}$$

which consists of pairs $(x,y)$ such that $\bar{x}=\bar{y}$ in $B/pB$. To make $h_0\oplus h_p$ a map of $W(k)[T]$-algebras one can give $C$ the structure of a $W(k)[T]$-algebra, as which it is isomorphic to $B\langle T\rangle /\left(T(T-p)\right)$. Hence the reduction of $C$ modulo the ideal $(p,T)$ is $B/pB$ as well. As $\psi _1$ coincides with $\psi _2$ modulo $(p)$, the sum $\psi _1\oplus \psi _2\colon A^\dagger \rightarrow B\oplus B$ factors through $C$ and extends naturally to a map $A^\dagger \langle T\rangle \rightarrow C$. Modulo $(p,T)$ we obtain the diagram

$$\begin{equation*} \vcenter{\img[][147pt][79pt][{$\xymatrix{ && B/pB \ar[dd]^{\overline{h_0\oplus h_p}}\\&&\\ \bar{A}= A^\dagger/pA^\dagger\ar[uurr]^{\bar{\phi}} \ar[rr]^{\overline{\psi_1\oplus\psi_2}}& & B/pB}$}]{Images/imga307516e8ec5a38523c116873cc1fa32.svg}} \end{equation*}$$

By 1, Thm. 3.3.2(b) the weak completion $A^\dagger \langle T\rangle$ of $\bar{A}$ over $(W(k)[T],(p,T))$ is very smooth, and we make use of the relative lifting property 6, Def. 2.4 applied to the surjective map of weakly complete $W(k)[T]$-algbras $h_0\oplus h_p\colon B\langle T\rangle \rightarrow C$ in order to get a commutative diagram:

$$\begin{equation*} \vcenter{\img[][119pt][79pt][{$\xymatrix{ && B\langle T\rangle\ar[dd]^{h_0\oplus h_p}\\&& \\ A^\dagger\langle T\rangle\ar@{-->}[uurr]^{\exists\phi} \ar[rr]^{\psi_1\oplus\psi_2} && C}$}]{Images/imgb936c7931947bdcc524d6be6e7fc6433.svg}} \end{equation*}$$

Restricting $\phi$ to $A^\dagger$ results in the desired map.

Finally, putting the two observations together, we see that $L\circ \phi$ is a homotopy between $\psi _1$ and $\psi _2$.

■

2. Functoriality of integral Monsky–Washnitzer cohomology

Let $\bar{A}$ be a smooth finite $k$-algebra. In 4 Davis and Zureick-Brown prove the existence of an isomorphism

$$\begin{equation*} H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})\xrightarrow {\simeq } H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{(A')^\dagger /W(k)}) \end{equation*}$$

for two different smooth lifts $A$ and $A'$ with weak completions $A^\dagger$ and $(A')^\dagger$ of a non-singular affine $k$-variety $\bar{A}$. This section is nothing but the observation that their argument can also be used to prove functoriality of integral Monsky–Washnitzer cohomology in $\bar{A}$ in order to obtain the following result.

Proposition 2.

The cohomology groups

$$\begin{equation*} H^i_{\mathrm{MW}}(\operatorname {\mathrm{Spec}}\bar{A}/W(k)):= H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}) \end{equation*}$$

are well-defined up to unique isomorphism and are functorial in non-singular affine $k$-varieties.

Lemma 3.

Let $\operatorname {\mathrm{Spec}}\bar{A}$ and $\operatorname {\mathrm{Spec}}\bar{B}$ be two non-singular affine $k$-varieties and let $\bar{\varphi }:\bar{A}\rightarrow \bar{B}$ be a homomorphism. Let us choose two smooth lifts $A$ and $B$ over $W(k)$ with weak completions $A^\dagger$ and $B^\dagger$ and two maps $\varphi _1,\varphi _2:A^\dagger \rightarrow B^\dagger$ lifting $\bar{\varphi }$. Then the induced maps

$$\begin{equation*} \varphi _1^*,\varphi _2^*\colon H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})\rightarrow H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{B^\dagger /W(k)}) \end{equation*}$$

coincide.

Proof.

This is a special case of Proposition 1.

■

Proof of Proposition 2.

For the proof of the theorem it remains to show that the Monsky–Washnitzer cohomology for two different lifts are not only isomorphic but canonically isomorphic. For two different dagger algebras $A^\dagger$, $(A')^\dagger$ lifting $\bar{A}$ there is always an in general non-unique lift

$$\begin{equation*} \varphi \colon A^\dagger \rightarrow (A')^\dagger \end{equation*}$$

lifting the identity. By the independence of the lift on cohomology shown in the above lemma, there is a canonical isomorphism

$$\begin{equation*} H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)})\xrightarrow {\simeq } H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{(A')^\dagger /W(k)}). \end{equation*}$$■

Remark 4.

Keeping in mind that for a smooth affine $k$-variety $X$ the rational Monsky–Washnitzer complex computes rigid cohomology, our result identifies immediately a canonical $W(k)$-lattice on the cohomology groups $H_{\text{rig}}^i(X/K)$. What is more, the functoriality of integral Monsky–Washnitzer cohomology induces such a lattice on cohomology groups for smooth quasi-projective $k$-schemes as well. Namely, it allows us to glue the integral structure along an appropriate finite cover of $X$ by smooth affine schemes to obtain the desired lattice on $H_{\text{rig}}^i(X/K)$.

3. An unconditional comparison

In this section, we want to use intrinsic properties of weakly complete weakly finitely generated (w.c.f.g.) algebras to obtain a comparison result between integral Monsky–Washnitzer and overconvergent de Rham–Witt cohomology.

To define a comparison map we consider for a non-singular affine variety $\operatorname {\mathrm{Spec}}\bar{A}$ over $k$, a weak formalisation $A^\dagger$ and a lifting $f\colon A^\dagger \rightarrow A^\dagger$ of the Frobenius morphism $\mathrm{Frob}\colon \bar{A}\rightarrow \bar{A}$.

Recursively, one can define a unique ring homomorphism

$$\begin{equation*} s_f\colon A^\dagger \rightarrow W(A^\dagger ) \end{equation*}$$

such that the ghost components of $s_f(a)$ for $a\in A^\dagger$ are given by $(a,f(a),f^2(a),\ldots )$. As noted in 5, (0.1.3.16) it is functorial in the triple $(\bar{A},A^\dagger ,f)$ in the sense that if $(\bar{A}',{A'}^\dagger , f')$ is another such triple and $\varphi \colon A^\dagger \rightarrow {A'}^\dagger$ is a map commuting with the Frobenius lifts, i.e., the left square of the following diagram commutes, then the right diagram commutes as well:

$$\begin{equation*} \vcenter{\img[][125pt][56pt][{$\xymatrix{A^\dagger\ar[r]^f \ar[d]^\varphi& A^\dagger\ar[d]^\varphi\ar[r]^{s_f} & W(A^\dagger) \ar[d]^{W(\varphi)}\\ {A'}^\dagger\ar[r]^{f'} & {A'}^\dagger\ar[r]^{s_{f'}} & W({A'}^\dagger).}$}]{Images/imgfc141c693757c3184877f63b3623a680.svg}} \end{equation*}$$

Let $t_f=W(\pi )\circ s_f \colon A^\dagger \rightarrow W(\bar{A})$ be the composition of $s_f$ with the map induced by the reduction $\pi \colon A^\dagger \rightarrow \bar{A}$. According to 2, Prop. 3.2 it factors through $W^\dagger (\bar{A})$, and one obtains

$$\begin{equation*} t_f\colon A^\dagger \rightarrow W^\dagger (\bar{A}), \end{equation*}$$

which by the universal property of the continuous de Rham complex finally results in the desired comparison map between complexes $t_f\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\rightarrow W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}/k}$. One observes right away that the reduction of $t_f$ modulo $p$ is the identity. We aim to show that the induced map on cohomology is an isomorphism which is independent of the choice of Frobenius lift.

Lemma 5.

Let $\bar{A}$ be a smooth $k$-algebra of finite type and let $A^\dagger$ be a weak formalisation of $\bar{A}$ over $W(k)$. Let

$$\begin{equation*} \psi _1,\psi _2 \colon A^\dagger \rightarrow W^\dagger ({\bar{A}}) \end{equation*}$$

be two morphisms which reduce to the same map modulo $p$. Then for every $i\geqslant 0$ the induced maps in cohomology

$$\begin{equation*} \psi _1,\psi _2\colon H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)} )\rightarrow H^i(W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}}) \end{equation*}$$

are identical.

Proof.

Composing $\psi _i$, $i=1,2$, with the identity, we obtain by the universal property of the continuous de Rham complex unique maps of differential graded algebras making the diagram

$$\begin{equation} \vcenter{\img[][178pt][55pt][{$\xymatrix{\widetilde{\Omega}^{\kr}_{A^\dagger/W(k)} \ar@{-->}[r]^{\exists!} & \widetilde{\Omega}^{\kr}_{W^\dagger(\bar{A})/W(k)} \ar@{-->}[r]^{\exists!} & W^\dagger\Omega^{\kr}_{\bar{A}}\\ A^\dagger\ar[r]^{\psi_i}\ar[u] & W^\dagger(\bar{A}) \ar[u]\ar[r]^{\text{id}} & W^\dagger(\bar{A})\ar[u] }$}]{Images/img0674ea90c1473379155c09ab2b38c0ee.svg}} {\tag{2}} \end{equation}$$

commute. Let us call the map induced by $\psi _i$ on continuous de Rham complexes $\tilde{\psi }_i\colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}\rightarrow \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{W^\dagger (\bar{A})/W(k)}$. On the other hand, again by the universal property of the continuous de Rham complex there is a unique map

$$\begin{equation*} \psi _i \colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)} \rightarrow W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}} \end{equation*}$$

making

$$\begin{equation} \vcenter{\img[][96pt][55pt][{$\xymatrix{\widetilde{\Omega}^{\kr}_{A^\dagger/W(k)} \ar@{-->}[r]^{\exists!} & W^\dagger\Omega^{\kr}_{\bar{A}}\\ A^\dagger\ar[r]^{\psi_i}\ar[u] & W^\dagger(\bar{A})\ar[u] }$}]{Images/imgf7b2ffb6a6d11458f78dc57b13546245.svg}} {\tag{3}} \end{equation}$$

commute. But the upper composition in diagram 2 gives us another map making diagram 3 commute. By uniqueness they have to coincide. We can summarise the above discussion by saying that $\psi _1$ and $\psi _2$ factor as

$$\begin{equation} \vcenter{\img[][177pt][27pt][{$\xymatrix{\widetilde{\Omega}^{\kr}_{A^\dagger/W(k)} \ar@<-.5ex>[r]_{\tilde{\psi}_2} \ar@<.5ex>[r]^{\tilde{\psi}_1} & \widetilde{\Omega}^{\kr}_{W^\dagger(\bar{A})/W(k)} \ar[r]^-{\text{can}} & W^\dagger\Omega^{\kr}_{\bar{A}}}$}]{Images/imge0e8930fdf88d9cc06b7349346863edb.svg}}. {\tag{4}} \end{equation}$$

Finally, keeping in mind that the reduction of $\tilde{\psi }_1$ and $\tilde{\psi }_2$ coincide, Proposition 1 shows that both maps are homotopic. By the factorisation (4) this implies that the same is true for $\psi _1$ and $\psi _2$.

■

Theorem 6.

Let $\bar{A}$ be a non-singular affine variety over a perfect field of characteristic $p$. For all $i\geqslant 0$ there is a well-defined and functorial isomorphism

$$\begin{equation*} H^i_{\mathrm{MW}}(\bar{A}/W(k)) \stackrel{\simeq }{\rightarrow } H^i(W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\bar{A}}) \end{equation*}$$

between integral Monsky–Washnitzer and overconvergent de Rham–Witt cohomology.

Proof.

From here on, a similar proof as in 4, Pf. of Thm. 1.1(2) using a Čech spectral sequence argument applies. We recall it for completeness. Thus let $A^\dagger$ be a weak formalisation of $\bar{A}$ and let $f\colon A^\dagger \rightarrow A^\dagger$ be a lift of Frobenius.

Let $\mathcal{F}^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger }$ be the sheaf of complexes associated to $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger /W(k)}$ on $\operatorname {\mathrm{Spec}}\bar{A}$. By 4, Prop. 3.3 the map $t_f$ from above induces a morphism of complexes

$$\begin{equation*} t_f\colon \mathcal{F}^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger }\rightarrow W^\dagger \Omega _{\operatorname {\mathrm{Spec}}{\bar{A}}/k}. \end{equation*}$$

It is now possible to choose a cover $\mathcal{U}=\{U_i=\operatorname {\mathrm{Spec}}\bar{A}_i\}$ of $\operatorname {\mathrm{Spec}}{\bar{A}}$ by finitely many open special affines such that all finite intersections are of this form as well 4, Prop. 3.5. Special in this context means the spectrum of an algebra which is finite étale and monogenic over the localisation of a polynomial algebra. For an arbitrary finite intersection of these opens $U_I=\operatorname {\mathrm{Spec}}\bar{A}_I$ and a weak formalisation $A_I^\dagger$ we consider the induced map on cohomology

$$\begin{equation*} t_f\colon \mathbb{H}^i(U_I,\mathcal{F}^{\scriptscriptstyle \overset{\bullet }{}}_{A^\dagger })=H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A_I^\dagger /W(k)})\rightarrow H^i(W^\dagger \Omega _{\bar{A}_I/k}^{\scriptscriptstyle \overset{\bullet }{}})=\mathbb{H}^i(U_I,W^\dagger \Omega ^{\scriptscriptstyle \overset{\bullet }{}}_{\operatorname {\mathrm{Spec}}{\bar{A}/k}}), \end{equation*}$$

where the first and last equalities are due to the fact that the $\mathcal{F}^j_{A^\dagger }$ and $W^\dagger \Omega ^j_{\operatorname {\mathrm{Spec}}\bar{A}/k}$ have trivial sheaf cohomology for cohomological degree $i>0$.

By 2, Thm. 3.19 there is a comparison morphism $\sigma \colon \widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A_I^\dagger /W(k)}\rightarrow W^\dagger \Omega _{\bar{A}_I/k}^{\scriptscriptstyle \overset{\bullet }{}}$ for the special affine $\bar{A}_I$ which induces an isomorphism

$$\begin{equation*} H^i(\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{A_I^\dagger /W(k)}) \xrightarrow {\sim } H^i(W^\dagger \Omega _{\bar{A}_I/k}^{\scriptscriptstyle \overset{\bullet }{}}). \end{equation*}$$

Moreover, from the construction in 2, (3.5) it is immediately clear that $\sigma$ reduces to the identity modulo $p$, which as observed at the beginning of this section is also the case for $t_f$. Applying Lemma 5 we see that $t_f$ and $\sigma$ are homotopic. In particular, $t_f$ is a quasi-isomorphism on $\bar{A}_I$.

For the induced morphism of Čech spectral sequences

$$\begin{equation*} \vcenter{\img[][225pt][55pt][{$\xymatrix{ \check{H}^p(\mathcal{U}, \mathbb{H}^q(-,\mathcal{F}^{\kr}_{A^\dagger})) \ar[d]^{t_f}_{\cong}\ar@2{->}[r] & \mathbb{H}^{p+q}(\Spec\bar{A}, \mathcal{F}^{\kr}_{A^\dagger}) \ar[d]^{t_f}\\ \check{H}^p(\mathcal{U}, \mathbb{H}^q(-,W^\dagger\Omega^{\kr}_{\bar{A}/k})) \ar@2{->}[r] &\mathbb{H}^{p+q}(\Spec\bar{A}, W^\dagger\Omega^{\kr}_{\bar{A}/k})}$}]{Images/img971ab39d9256a23363d59c1bbddcdc12.svg}} \end{equation*}$$

this means by 4, Lem. 2.11 that the fact that the morphisms on the left-hand side are isomorphisms shows that the morphism on the right-hand side is one as well.

■

Remark 7.

It is worth pointing out that the above comparison result indicates, as did already the result of Davis and Zureick-Brown for low cohomological degrees, that the cohomology groups of the integral overconvergent de Rham–Witt complex are in general not finitely generated over $W(k)$. Monsky and Washnitzer mention in 6, Rem. (3), p. 205 as a counterexample the affine line $\mathbb{A}_k^1=\operatorname {\mathrm{Spec}}(k[T])$, for which the first cohomology group $H^1_{\mathrm{MW}}(\mathbb{A}_k^1/W(k))$ is a huge torsion module. One can easily see this by considering the differentials $T^{p^n-1}dT$ in $\widetilde{\Omega }^{\scriptscriptstyle \overset{\bullet }{}}_{W(k)\langle T\rangle ^\dagger /W(k)}$, which are closed but not exact.