# On *q*-de Rham cohomology via \(\Lambda \)-rings

- 90 Downloads

## Abstract

We show that Aomoto’s *q*-deformation of de Rham cohomology arises as a natural cohomology theory for \(\Lambda \)-rings. Moreover, Scholze’s \((q-1)\)-adic completion of *q*-de Rham cohomology depends only on the Adams operations at each residue characteristic. This gives a fully functorial cohomology theory, including a lift of the Cartier isomorphism, for smooth formal schemes in mixed characteristic equipped with a suitable lift of Frobenius. If we attach *p*-power roots of *q*, the resulting theory is independent even of these lifts of Frobenius, refining a comparison by Bhatt, Morrow and Scholze.

## 1 Introduction

The *q*-de Rham cohomology of a polynomial ring is a \(\mathbb {Z}[q]\)-linear complex given by replacing the usual derivative with the Jackson *q*-derivative \(\nabla _q(x^n)= [n]_qx^{n-1}dx\), where \([n]_q\) is Gauss’ *q*-analogue \(\frac{q^n-1}{q-1}\) of the integer *n*. In [13], Scholze discussed the \((q-1)\)-adic completion of this theory for smooth rings, explaining relations to *p*-adic Hodge theory and singular cohomology, and conjecturing that it is independent of co-ordinates, so functorial for smooth algebras over a fixed base [13, Conjectures 1.1, 3.1 and 7.1].

We show that *q*-de Rham cohomology with *q*-connections naturally arises as a functorial invariant of \(\Lambda \)-rings (Theorems 1.17, 1.23 and Proposition 1.25), and that its \((q-1)\)-adic completion depends only on a \(\Lambda _P\)-ring structure (Theorem 2.8), for *P* the set of residue characteristics; a \(\Lambda _P\)-ring has a lift of Frobenius for each \(p \in P\). This recovers the known equivalence between de Rham cohomology and complete *q*-de Rham cohomology over the rationals, while giving no really new functoriality statements for smooth schemes over \(\mathbb {Z}\). However, in mixed characteristic, it means that complete *q*-de Rham cohomology depends only on a lift \(\Psi ^p\) of absolute Frobenius locally generated by co-ordinates with \(\Psi ^p(x_i)=x_i^p\). Given such data, we construct (Proposition 2.10) a quasi-isomorphism between Hodge cohomology and *q*-de Rham cohomology modulo \([p]_q\), extending the local lift of the Cartier isomorphism in [13, Proposition 3.4].

Taking the Frobenius stabilisation of the complete *q*-de Rham complex of *A* yields a complex resembling the de Rham–Witt complex. We show (Theorem 3.11) that up to \((q^{1/p^{\infty }}-1)\)-torsion, the *p*-adic completion of this complex depends only on the *p*-adic completion of \(A[\zeta _{p^{\infty }}]\) (where \(\zeta _n\) denotes a primitive *n*th root of unity), with no requirement for a lift of Frobenius or a choice of co-ordinates. The main idea is to show that the stabilised *q*-de Rham complex is in a sense given by applying Fontaine’s period ring construction \(A_{\inf }\) to the best possible perfectoid approximation to \(A[\zeta _{p^{\infty }}]\). As a consequence, this shows (Corollary 3.13) that after attaching all *p*-power roots of *q*, *q*-de Rham cohomology in mixed characteristic is independent of choices, which was already known after base change to a period ring, via the comparisons of [4] between *q*-de Rham cohomology and their theory \(A\Omega \).

The cohomology theories we construct thus depend either on Adams operations at the residue characteristics (for de Rham) or on *p*-power roots of *q* (for variants of de Rham–Witt), establishing correspondingly weakened versions of the conjectures of [13]; in Remark 3.15, we suggest a possible candidate for a theory without those restrictions. The essence of our construction of *q*-de Rham cohomology of *A* over *R* is to set *q* to be an element of rank 1 for the \(\Lambda \)-ring structure, and to look at flat \(\Lambda \)-rings *B* over *R*[*q*] equipped with morphisms \(A \rightarrow B/(q-1)\) of \(\Lambda \)-rings over *R*. If these seem unfamiliar, reassurance should be provided by the observation that \((q-1)B\) carries *q*-analogues of divided power operations (Remark 1.4). For the variants of de Rham–Witt cohomology in Sect. 3, the key to giving a characterisation independent of lifts of Frobenius is the factorisation of the tilting equivalence for perfectoid algebras via a category of \(\Lambda _p\)-rings, leading to constructions similar to [4].

I would like to thank Peter Scholze for many helpful comments, in particular about the possibility of a *q*-analogue of de Rham–Witt cohomology, and Michel Gros for spotting a missing hypothesis. I would also like to thank the anonymous referee for suggesting many improvements.

## 2 Comparisons for \(\Lambda \)-rings

We will follow standard notational conventions for \(\Lambda \)-rings. These are commutative rings equipped with operations \(\lambda ^i\) resembling alternating powers, in particular satisfying \(\lambda ^k(a+b)= \sum _{i=0}^{k} \lambda ^i(a)\lambda ^{k-i}(b)\), with \(\lambda ^0(a)= 1\) and \(\lambda ^1(a)=a\). For background, see [5] and references therein. The \(\Lambda \)-rings we encounter are all torsion-free, in which case [16] shows the \(\Lambda \)-ring structure is equivalent to giving ring endomorphisms \(\Psi ^n\) for \(n \in \mathbb {Z}_{>0}\) with \(\Psi ^{mn}=\Psi ^m \circ \Psi ^n\) and \(\Psi ^p(x) \equiv x^p \mod p\) for all primes *p*. If we write \(\lambda _t(f):=\sum _{i \ge 0} \lambda ^i(f)t^i\) and \(\Psi _t(f):= \sum _{n \ge 1} \Psi ^n(f)t^n\), then the families of operations are related by the formula \(\Psi _t= -t\frac{d\log \lambda _{-t} }{d t}\).

We refer to elements *x* with \(\lambda ^i(x)=0\) for all \(i>1\) (or equivalently \(\Psi ^n(x)=x^n\) for all *n*) as elements of rank 1.

### 2.1 The \(\Lambda \)-ring \(\mathbb {Z}[q]\)

### Definition 1.1

Define \(\mathbb {Z}[q]\) to be the \(\Lambda \)-ring with operations determined by setting *q* to be of rank 1.

We now consider the *q*-analogues \([n]_q:= \frac{q^n-1}{q-1} \in \mathbb {Z}[q]\) of the integers, with \([n]_q!=[n]_q[n-1]_q\ldots [1]_q\), and \(\left( {\begin{array}{c}n\\ k\end{array}}\right) _q= \frac{[n]_q!}{[n-k]_q![k]_q!}\).

### Remark 1.2

*q*-analogues the Gaussian binomial theorems

For any torsion-free \(\Lambda \)-ring, localisation at a set of elements closed under the Adams operations always yields another \(\Lambda \)-ring, since \(\Psi ^p(a^{-1})-a^{-p} = (\Psi ^p(a)a^p)^{-1}(a^p- \Psi ^p(a))\) is divisible by *p*.

### Lemma 1.3

*x*,

*y*of rank 1, the elements

### Proof

*k*in

*x*,

*y*, with coefficients in the integral domain \(\mathbb {Z}[q, \{(q^n-1)^{-1}\}_{n \ge 1}]\), and to note that

### Remark 1.4

*x*in a \(\Lambda \)-ring we have

*q*-exponential \(e_q(xt)\). Multiplicativity and universality then imply that \(\lambda _{(q-1)t} (\frac{a}{q-1})\) is a

*q*-deformation of \(\exp (at)\) for all

*a*. Thus \((q-1)^k\lambda ^k(\frac{a}{q-1})\) is a

*q*-analogue of the

*k*th divided power \((a^k/k!)\). An explicit expression comes recursively from the formula

*q*is of rank 1 and \(\frac{qa}{q-1}= a+\frac{a}{q-1}\).

### Lemma 1.5

For elements *x*, *y* of rank 1, the \(\Lambda \)-subring of \(\mathbb {Z}[q, \{(q^n-1)^{-1}\}_{n \ge 1},x,y]\) generated by \(q,x,y, \frac{y-x}{q-1}\) has basis \(\lambda ^k(\frac{y-x}{q-1})\) as a \(\mathbb {Z}[q,x]\)-module.

### Proof

The \(\Lambda \)-subring clearly contains the \(\mathbb {Z}[q,x]\)-module *M* generated by the elements \(\lambda ^k(\frac{y-x}{q-1})\), which are also clearly \(\mathbb {Z}[q,x]\)-linearly independent. Since \(\mathbb {Z}[q,x]\) is a \(\Lambda \)-ring, it suffices to show that *M* is closed under multiplication.

*j*, it thus follows that

### 2.2 *q*-cohomology of \(\Lambda \)-rings

### Definition 1.6

Given a \(\Lambda \)-ring *R*, say that *A* is a \(\Lambda \)-ring over *R* if it is a \(\Lambda \)-ring equipped with a morphism \(R \rightarrow A\) of \(\Lambda \)-rings. We say that *A* is a flat \(\Lambda \)-ring over *R* if *A* is flat as a module over the commutative ring underlying *R*.

### Definition 1.7

Given a morphism \(R \rightarrow A\) of \(\Lambda \)-rings, we define the category \(\mathrm {Strat}^q_{A/R}\) to consist of flat \(\Lambda \)-rings *B* over *R*[*q*] equipped with a compatible morphism \(f : A \rightarrow B/(q-1)\), such that *f* admits a lift to *B*; a choice of lift is not taken to be part of the data, so need not be preserved by morphisms.

*R*[

*q*].

### Definition 1.8

*R*[

*q*]-modules given by taking the homotopy limit (in the sense of [6]) of the functor

*R*[

*q*]-modules, for \(B \in \mathrm {Strat}^q_{A/R}\).

Equivalently, can we follow the approach of [8, 14] towards the stratified site and de Rham stack by regarding \(\mathrm {qDR}(A/R)\) as the quasi-coherent cohomology complex of \((\mathrm {Spec}\,A)_{\mathrm {strat}}^q\), as follows.

### Definition 1.9

*X*.

*R*[

*q*]-modules, we then have

### Remark 1.10

The cochain complex \(\mathrm {qDR}(A/R)\) naturally carries much more structure than these Adams operations. Whenever we can factor the functor \(\mathscr {O}\) through a model category \(\mathcal {C}\) equipped with a forgetful functor to \(\mathrm {Ch}(R[q])\) preserving weak equivalences and homotopy limits, we can regard \(\mathrm {qDR}(A/R)\) as an object of the homotopy category of \(\mathcal {C}\) by taking the defining homotopy limit in \(\mathcal {C}\).

The universal such example for \(\mathcal {C}\) is given by the model category of cosimplicial \(\Lambda \)-rings over *R*[*q*], with weak equivalences being quasi-isomorphisms (i.e. cohomology isomorphisms) and fibrations being surjections; the underlying cochain complex has differential \(\sum (-1)^j \partial ^j\). That this determines a model structure follows from Kan’s transfer theorem [9, Theorem 11.3.2] applied to the cosimplicial Dold–Kan normalisation functor taking values in unbounded chain complexes with the projective model structure; the conditions of that theorem are satisfied because the left adjoint functor sends acyclic cofibrant complexes to cosimplicial \(\Lambda \)-rings which automatically have a contracting homotopy in the form of an extra codegeneracy map.

In particular, \(\mathrm {qDR}(A/R) \) naturally underlies a quasi-isomorphism class of cosimplicial \(\Lambda \)-rings over *R*[*q*]; forgetting the \(\lambda \)-operations gives a cosimplicial commutative *R*[*q*]-algebra, and stabilisation then gives an \(E_{\infty }\)-algebra over *R*[*q*], all with underlying cochain complex \(\mathrm {qDR}(A/R) \).

### Definition 1.11

*R*[

*x*], recall from [13] that the

*q*-de Rham (or Aomoto–Jackson) cohomology \(q\text{- }\Omega ^{\bullet }_{ R[x]/R}\) is given by the complex

*q*-de Rham complex \(q\text{- }\Omega ^{\bullet }_{ R[x_1, \ldots ,x_d]/R}\) is then set to be

### Definition 1.12

*R*[

*q*] to simplicial sets by taking the Čech nerve of \(\mathrm {Hom}_{\Lambda ,R}(A,B)\rightarrow \mathrm {Hom}_{\Lambda ,R}(A,B/(q-1))\), so

### Definition 1.13

Given a cosimplicial abelian group \(V^{\bullet }\), we write *NV* for the Dold–Kan normalisation of *V* ( [15, Lemma 8.3.7] applied the opposite category). This is a cochain complex with \(N^rV= V^r \cap _{j <r} \ker \sigma ^j\) and differential \(d= \sum _{j=0}^{r+1} (-1)^j\partial ^j : N^rV \rightarrow N^{r+1}V\).

### Lemma 1.14

If, for \(X=\mathrm {Spec}\,A\), the functors \(({\tilde{X}}_{\mathrm {strat}}^q)_n\) are represented by flat \(\Lambda \)-rings \(\Gamma ( ({\tilde{X}}_{\mathrm {strat}}^q)_n,\mathscr {O})\) over *R*[*q*], then a model for \(\mathrm {qDR}(A/R)\) is given by the Dold–Kan normalisation of the cosimplicial module \(n \mapsto \Gamma ( ({\tilde{X}}_{\mathrm {strat}}^q)_n,\mathscr {O})\).

### Proof

*R*[

*q*], our hypotheses ensure that each functor \(({\tilde{X}}_{\mathrm {strat}}^q)_n\) is so. Thus the functors \(\mathrm {Hom}_{[f\Lambda (R[q]),\mathrm {Set}]}(({\tilde{X}}_{\mathrm {strat}}^q)_n,-)\) and their direct summands \(N^n \mathrm {Hom}_{[f\Lambda (R[q]),\mathrm {Set}]}(({\tilde{X}}_{\mathrm {strat}}^q)_{\bullet },-)\) are exact, and are their own right-derived functors. This implies that the cochain complex of functors above models \(\mathbf R \mathrm {Hom}_{[f\Lambda (R[q]),\mathrm {Set}]}(X_{\mathrm {strat}}^q,-)\), and the result follows by evaluation at \(\mathscr {O}\). \(\square \)

### Proposition 1.15

*R*is a \(\Lambda \)-ring and

*x*of rank 1, then \(\mathrm {qDR}(R[x]/R)\) can be calculated by Dold–Kan normalisation of the cosimplicial

*R*[

*q*]-module \(U^{\bullet }\) given by setting \(U^n\) to be the \(\Lambda \)-subring

*q*and the elements \(x_i\) and \(\frac{x_i-x_j}{q-1}\), with cosimplicial operations

### Proof

We verify the conditions of Lemma 1.14 by showing that each \(U^n\) is a flat \(\Lambda \)-ring over *R*[*q*] representing \(({\tilde{X}}_{\mathrm {strat}}^q)_n\). Taking \(X=\mathrm {Spec}\,R[x]\), observe that any element of \(({\tilde{X}}_{\mathrm {strat}}^q)_n(B)\) gives rise to a morphism \(f : R[q,x_0, \ldots , x_n] \rightarrow B\) of \(\Lambda \)-rings over *R*[*q*], with the image of \(x_i-x_j\) divisible by \((q-1)\). Flatness of *B* then gives a unique element \(f(x_i-x_j)/(q-1) \in B\), so we have a map *f* to *B* from the free \(\Lambda \)-ring *L* over \(R[q,x_0, \ldots , x_n]\) generated by elements \(z_{ij}\) with \((q-1)z_{ij} =x_i-x_j\).

*B*is flat, it embeds in \(B[\{(q^m-1)^{-1}\}_{m \ge 1} ]\) (the only hypothesis we really need) implying that the image of

*f*factors through the image \(U^n\) of

*L*in \(R[q, \{(q^m-1)^{-1}\}_{m \ge 1},x_0, \ldots , x_n]\). To see that \(({\tilde{X}}_{\mathrm {strat}}^q)_n\) is represented by \(U^n\), we only now need to check that \(U^n\) is itself flat over

*R*[

*q*], which follows because the argument of Lemma 1.5 gives a basis

*R*[

*q*]. We therefore have \(\mathrm {qDR}( R[x]/R)\simeq NU^{\bullet }\). \(\square \)

In fact, the proofs of Lemma 1.14 and Proposition 1.15 show that the natural cosimplicial \(\Lambda \)-ring structure on \(U^{\bullet }\) gives a model for the cosimplicial \(\Lambda \)-ring structure on \(\mathrm {qDR}(R[x]/R)\) coming from Remark 1.10.

### Definition 1.16

*R*[

*q*]-modules by

*R*[

*q*]-modules by taking torsion-free resolutions.

### Theorem 1.17

*R*is a \(\Lambda \)-ring and if the polynomial ring \(R[x_1, \ldots ,x_n]\) is given the \(\Lambda \)-ring structure for which the elements \(x_i\) are of rank 1, then there are

*R*[

*q*]-linear zigzags of quasi-isomorphisms

### Proof

It suffices to prove the first statement, the second following immediately by décalage. We have \((\mathrm {Spec}\,A\otimes _RA')_{\mathrm {strat}}^q(B)= (\mathrm {Spec}\,A)_{\mathrm {strat}}^q(B)\times (\mathrm {Spec}\,A')_{\mathrm {strat}}^q(B)\), and similarly for the simplicial functor \(\widetilde{(\mathrm {Spec}\,A\otimes _RA')}_{\mathrm {strat}}^q\) of Definition 1.12. Since coproduct of flat \(\Lambda \)-rings over *R*[*q*] is given by \(\otimes _{R[q]}\), it follows from Lemma 1.14 and Proposition 1.15 that \(\mathrm {qDR}(R[x_1, \ldots ,x_n]/R)\) can be calculated as the Dold–Kan normalisation of \((U^{\bullet })^{\otimes _{R[q]}n}\) (given by the *n*-fold tensor product \( (U^m)^{\otimes _{R[q]}n}\) in cosimplicial level *m*), for the cosimplicial module \(U^{\bullet }\) of Proposition 1.15.

*m*we deduce that the inclusions \({\tilde{\Omega }}^{\bullet }(U^0)^{\otimes _{R[q]}n}\hookrightarrow {\tilde{\Omega }}^{\bullet }(U^m)^{\otimes _{R[q]}n}\), and hence their retractions given by diagonals \(U^m \rightarrow U^0\), are quasi-isomorphisms. These combine to give a quasi-isomorphism

*R*[

*q*], so

### Remark 1.18

Note that Theorem 1.17 and Remark 1.10 together imply that \(q\text{- }\Omega ^{\bullet }_{R[x_1, \ldots ,x_n]/R}\) naturally underlies the décalage of a cosimplicial \(\Lambda \)-ring over *R*[*q*]. Even the underlying cosimplicial commutative ring structure carries more information than an \(E_{\infty }\)-structure when \(\mathbb {Q}\nsubseteq R\).

### 2.3 Completed *q*-cohomology

### Definition 1.19

Given a morphism \(R \rightarrow A\) of \(\Lambda \)-rings, we define the category \({\hat{\mathrm {Strat}}}^q_{A/R} \subset \mathrm {Strat}^q_{A/R}\) to consist of those objects which are \((q-1)\)-adically complete.

*R*[

*q*].

### Definition 1.20

The following is immediate:

### Lemma 1.21

Given a flat morphism \(R \rightarrow A\) of \(\Lambda \)-rings, the complex \({\widehat{\mathrm {qDR}}}(A/R)\) is the derived \((q-1)\)-adic completion of \(\mathrm {qDR}(A/R)\).

### Definition 1.22

Note that \(\widehat{q\text{- }\Omega }^{\bullet }_{ R[x_1, \ldots ,x_d]/R}\) is just the \((q-1)\)-adic completion of \( q\text{- }\Omega ^{\bullet }_{ R[x_1, \ldots ,x_d]/R}\).

### Theorem 1.23

*R*is a flat \(\Lambda \)-ring over \(\mathbb {Z}\) and Open image in new window is a formally étale map of \(\Lambda \)-rings, the elements \(x_i\) having rank 1, then there are zigzags of \(R\llbracket q\rrbracket \)-linear quasi-isomorphismsThe induced quasi-isomorphisms

### Proof

*R*[

*q*]-algebra

*B*, any commutative squareof

*R*-algebra homomorphisms admits a unique dashed arrow as shown.

For any \((q-1)\)-adically complete flat \(\Lambda \)-ring *B* over *R*, we then have the same property for \(\Lambda \)-ring homomorphisms over *R* instead of *R*-algebra homomorphisms: the diagram above gives a unique dashed *R*-algebra homomorphism, and uniqueness of lifts ensures that it commutes with Adams operations, so is a \(\Lambda \)-ring homomorphism (*R* being flat over \(\mathbb {Z}\)). Similarly (taking \(B= A\llbracket q-1 \rrbracket \)) uniqueness of lifts ensures that the operations \(\gamma _i\) are \(\Lambda \)-ring endomorphisms of \(A\llbracket q-1 \rrbracket \).

*B*. By the consequences of formal étaleness, we have

*n*, where \(Y= \mathrm {Spec}\,R[x_1, \ldots ,x_d]\) and the fibre product is given via the projection of \(({\tilde{Y}}_{\mathrm {strat}}^q)_n\) onto the first factor.

*U*from Proposition 1.15. This isomorphism respects the cosimplicial operations; note that \(\partial ^0\) is not linear for the left multiplication by

*A*, but is still determined via formal étaleness of the framing.

*d*throughout, removing any dependence on co-ordinates. \(\square \)

As in [13, Definition 7.3], there is a notion of *q*-connection \(\nabla _q= (\nabla _{1,q}, \ldots , \nabla _{d,q})\) on a finite projective \(A\llbracket q-1 \rrbracket \)-module *M*, in the form of commuting \(R\llbracket q-1 \rrbracket \)-linear operators \(\nabla _{i,q}\) on *M*, with each \(\nabla _{i,q}\) satisfying \(\nabla _{i,q}(av)= \nabla _{q,x_i}(a)v + \gamma _i(a) \nabla _{i,q}(v)\) for \(a \in A, v \in M\).

### Definition 1.24

Given a flat morphism \(R \rightarrow A\) of \(\Lambda \)-rings with \(X:=\mathrm {Spec}\,A\), denote the forgetful functor \((B,f) \mapsto B\) from \({\hat{\mathrm {Strat}}}^q_{A/R}\) to rings by \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\).

There is then a notion of \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-modules in the category of functors from \({\hat{\mathrm {Strat}}}^q_{A/R}\) to abelian groups; we will simply refer to these as \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-modules. Given a property *P* of modules, we will say that an \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-module \(\mathscr {F}\) has the property *P* if for each \((B,f) \in {\hat{\mathrm {Strat}}}^q_{A/R}\), the *B*-module \(\mathscr {F}(B,f)\) has property *P*.

We say that an \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-module \(\mathscr {F}\) is Cartesian if for each morphism \((B,f) \rightarrow (B',f')\) in \({\hat{\mathrm {Strat}}}^q_{A/R}\), the map \(\mathscr {F}(B,f)\otimes _BB' \rightarrow \mathscr {F}(B',f')\) is an isomorphism.

Given an \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-module \(\mathscr {F}\), we define \(\Gamma ({\hat{X}}^q_{\mathrm {strat}},\mathscr {F}):= \varprojlim _{{\hat{\mathrm {Strat}}}^q_{A/R} }\mathscr {F}\).

In [13, Conjecture 7.5], Scholze predicted that the category of *q*-connections on finite projective \(A\llbracket q-1 \rrbracket \)-module is independent of co-ordinates on *A*. The following proposition gives the weaker statement that the category depends only on the \(\Lambda \)-ring structure on *A*.

### Proposition 1.25

*q*-connection is equivalent to the category of those finite projective \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-modules \(\mathscr {N}\) for which the map

### Proof

The restriction on \(\mathscr {N}/(q-1)\) ensures that it is Cartesian; this also implies that \(\mathscr {N}\) is Cartesian, because finite projective modules are flat and \((q-1)\)-adically complete.

Now, the cosimplicial \(\Lambda \)-ring \({\hat{U}}(A)\) realising \({\widehat{\mathrm {qDR}}}( A/R)\) in the proof of Theorem 1.23 admits a natural map \(A \rightarrow {\hat{U}}(A)/(q-1)\) from the constant cosimplicial diagram. Thus \({\hat{U}}(A)\) defines a cosimplicial diagram in \({\hat{\mathrm {Strat}}}^q_{A/R}\). Since the functor \({\tilde{X}}_{\mathrm {strat}}^q\) of Definition 1.12 resolves \(X_{\mathrm {strat}}^q\), it follows that the functor \({\hat{U}}(A) : \Delta \rightarrow {\hat{\mathrm {Strat}}}^q_{A/R}\) from the simplex category is initial in the sense of [11, §IX.3].

In particular, this means that the category of Cartesian \(\mathscr {O}_{{\hat{X}}^q,\mathrm {strat}}\)-modules \(\mathscr {N}\) is equivalent to the category of Cartesian cosimplicial \({\hat{U}}(A)\)-modules *N*, where the Cartesian condition amounts to saying that the maps \(N^m\otimes _{{\hat{U}}(A)^m, \partial ^i}{\hat{U}}(A)^{m+1} \rightarrow N^{m+1}\) are all isomorphisms. Setting \(M=N^0\), Cartesian \({\hat{U}}(A)\)-modules are equivalent to \({\hat{U}}(A)^0=A\llbracket q-1 \rrbracket \)-modules *M* with isomorphisms \(\Delta : (\partial ^1)^*M \cong (\partial ^0)^*M\) satisfying the cocycle condition \(\partial ^1\Delta = (\partial ^0\Delta ) \circ (\partial ^2\Delta ) : (\partial ^2\partial ^0)^*M \rightarrow (\partial ^0\partial ^0)^*M\).

*M*, so using the basis for \(U^1\) from Lemma 1.5, and taking \(v \in M\), we have

*M*. Since \(\lambda _t(a+b)= \lambda _t(a)\lambda _t(b)\), the cocycle condition becomes \(\Delta _{\underline{j}+\underline{k}}= \Delta _{\underline{j}}\circ \Delta _{\underline{k}}\), meaning \(\Delta \) is determined by the operators \(\Delta _{e_i}\) at the basis vectors, which must moreover commute.

*A*for \(\partial ^0A\) and \(h_i^{[k]}:= \lambda ^{k}(\tfrac{\partial ^1x_i-\partial ^0x_i}{q-1})\), the ideal \(J:=(h_i^{[\ge 2]},h_ih_j)_{i \ne j}\) satisfies \(U^1 = A \oplus \bigoplus _i A h_i \oplus J\). The proof of Theorem 1.23 gives \(\partial ^1(a) \equiv a+ (q-1)\sum _i \nabla _{q,x_i}(a)h_i \mod J\), and in \(U^1/J\) we have \([h_i]^2 \equiv x_i[h_i]\). Comparing coefficients of \(h_i\) in the equation \(\Delta ( av) \equiv \partial ^1(a)\Delta (v) \mod J\) then gives

*A*-module (necessarily \(\Gamma ({\hat{X}}^q_{\mathrm {strat}},\mathscr {N}/(q-1)) \)) is equivalent to saying that \(\partial ^0_N \equiv \partial ^1_N \mod (q-1)\), or that \((q-1)\) divides \( \Delta _{\underline{k}}\) whenever \(\underline{k}\ne 0\). In particular, \((q-1)\) divides \(\Delta _{e_i}\), and setting \(\nabla _{i,q}:= (q-1)^{-1}\Delta _{e_i}\) gives a

*q*-connection \((\nabla _{i,q})_{1\le i\le d}\) on \(M=N^0\) uniquely determining \(\Delta \).

The inverse construction is given by \( \Delta _{\underline{k}}= (q-1)^{\sum k_i} \nabla _{1,q}^{k_1}\circ \cdots \circ \nabla _{d,q}^{k_d}. \)\(\square \)

## 3 Comparisons for \(\Lambda _P\)-rings

Since very few étale maps \(R[x_1, \ldots ,x_d]\rightarrow A\) give rise to \(\Lambda \)-ring structures on *A*, Theorem 1.23 is fairly limited in its scope for applications. We now show how the construction of \({\widehat{\mathrm {qDR}}}\) and the comparison quasi-isomorphism survive when we weaken the \(\Lambda \)-ring structure by discarding Adams operations at invertible primes.

### 3.1 *q*-cohomology for \(\Lambda _P\)-rings

Our earlier constructions for \(\Lambda \)-rings all carry over to \(\Lambda _P\)-rings, as follows.

### Definition 2.1

Given a set *P* of primes, we define a \(\Lambda _P\)-ring *A* to be a \(\Lambda _{\mathbb {Z},P}\)-ring in the sense of [5]. This means that it is a coalgebra in commutative rings for the comonad given by the functor \(W^{(P)}\) of *P*-typical Witt vectors. When a commutative ring *A* is flat over \(\mathbb {Z}\), giving a \(\Lambda _P\)-ring structure on *A* is equivalent to giving commuting Adams operations \(\Psi ^p\) for all \(p \in P\), with \(\Psi ^p(a) \equiv a^p \mod p\) for all *a*.

Thus when *P* is the set of all primes, a \(\Lambda _P\)-ring is just a \(\Lambda \)-ring; a \(\Lambda _{\emptyset }\)-ring is just a commutative ring; for a single prime *p*, we write \(\Lambda _p:= \Lambda _{\{p\}}\), and note that a \(\Lambda _p\)-ring is a \(\delta \)-ring in the sense of [10].

### Definition 2.2

Given a \(\Lambda _P\)-ring *R*, say that *A* is a \(\Lambda _P\)-ring over *R* if it is a \(\Lambda _P\)-ring equipped with a morphism \(R \rightarrow A\) of \(\Lambda _P\)-rings. We say that *A* is a flat \(\Lambda _P\)-ring over *R* if *A* is flat as a module over the commutative ring underlying *R*.

### Definition 2.3

Given a morphism \(R \rightarrow A\) of \(\Lambda _P\)-rings, we define the category \(\mathrm {Strat}^{q,P}_{A/R}\) to consist of flat \(\Lambda _P\)-rings *B* over *R*[*q*] equipped with a compatible morphism \(A \rightarrow B/(q-1)\), such that the map \(A \rightarrow B/(q-1)\) admits a lift to *B*. We define the category \({\hat{\mathrm {Strat}}}^{q,P}_{A/R} \subset \mathrm {Strat}^q_{A/R}\) to consist of those objects which are \((q-1)\)-adically complete.

*R*[

*q*].

### Definition 2.4

*R*[

*q*]-modules given by taking the homotopy limit of the functor

For \(p \in P\), the cochain complex \(\mathrm {qDR}_P(A/R)\) naturally carries \((R[q], \Psi ^p)\)-semilinear operations \(\Psi ^p\) coming from the morphisms \(\Psi ^p : B\otimes _{R[q], \Psi ^p}R[q] \rightarrow B\) of *R*[*q*]-modules, for \(B \in \mathrm {Strat}^{q,P}_{A/R}\).

*P*is the set of all primes, we have \(\mathrm {qDR}_P(A/R)= \mathrm {qDR}(A/R)\). At the other extreme, for

*A*smooth, \({\widehat{\mathrm {qDR}}}_{\emptyset }(A/R)\) is the Rees construction of the Hodge filtration on the infinitesimal cohomology complex [8] of

*A*over

*R*, with formal variable \((q-1)\). In more detail, there is a decreasing filtration

*F*of \(\mathscr {O}_{\inf }\) given by powers of the augmentation ideal of \(\mathscr {O}_{\inf } \rightarrow \mathscr {O}_{\mathrm {Zar}}\) (with \(F^{\nu }\mathscr {O}_{\inf }=\mathscr {O}_{\inf }\) for \(\nu \le 0\)), and then

### Lemma 2.5

*P*of primes, the forgetful functor from \(\Lambda \)-rings to \(\Lambda _P\)-rings has a right adjoint \(W^{(\notin P)}\). There is a canonical ghost component morphism

*P*contains all the residue characteristics of

*B*.

### Proof

Existence of a right adjoint follows from the comonadic definitions of \(\Lambda \)-rings and \(\Lambda _P\)-rings. The ghost component morphism is given by taking the Adams operations \(\Psi ^n\) coming from the \(\Lambda \)-ring structure on \(W^{(\notin P)}(B)\), followed by projection to *B*. When *P* contains all the residue characteristics of *B*, a \(\Lambda \)-ring structure is the same as a \(\Lambda _P\)-ring structure with compatible commuting Adams operations for all primes not in *P*, leading to the description above. \(\square \)

Note that the big Witt vector functor *W* on commutative rings thus factorises as \(W= W^{(\notin P)} \circ W^{(P)}\), for \(W^{(P)}\) the *P*-typical Witt vectors.

### Proposition 2.6

*P*of primes, there are natural maps

*P*contains all the residue characteristics of

*A*.

### Proof

*R*[

*q*]. There is an obvious map

*P*contains all the residue characteristics of

*A*, the map \( (W^{(\notin P)} B)/(q-1) \rightarrow W^{(\notin P)}(B/(q-1))\) is just

We have \((q^n-1)=(q-1)[n]_q\), and \([n]_q\) is a unit in \(\mathbb {Z}[\tfrac{1}{n}]\llbracket q-1 \rrbracket \), hence a unit in *B* when *n* is coprime to the residue characteristics. Thus the map \( (W^{(\notin P)} B)/(q-1) \rightarrow W^{(\notin P)}(B/(q-1))\) gives an isomorphism whenever *B* is \((q-1)\)-adically complete and admits a map from *A*, so the transformation \((\mathrm {Spec}\,A)_{\mathrm {strat}}^q\circ W^{(\notin P)} \rightarrow (\mathrm {Spec}\,A)_{\mathrm {strat}}^{q,P}\) is a natural isomorphism on the category of flat \((q-1)\)-adically complete \(\Lambda _P\)-rings over *R*[*q*], and hence \( {\widehat{\mathrm {qDR}}}_P(A/R) \xrightarrow {\simeq } {\widehat{\mathrm {qDR}}}(A/R) \). \(\square \)

### Remark 2.7

Remark 1.10 shows that \(\mathrm {qDR}(A/R)\) can naturally be promoted to a cosimplicial \(\Lambda \)-ring, and the same reasoning promotes \(\mathrm {qDR}_P(A/R)\) to a cosimplicial \(\Lambda _P\)-ring. The proof of Proposition 2.6 then ensures that the map \(\mathrm {qDR}_P(A/R) \rightarrow \mathrm {qDR}(A/R)\) is naturally a morphism of cosimplicial \(\Lambda _P\)-rings,

Over \(\mathbb {Z}[\{\frac{1}{p}: p \in P\}]\), every \(\Lambda _P\)-ring can be canonically made into a \(\Lambda \)-ring, by setting all the additional Adams operations to be the identity. However, this observation is of limited use in establishing functoriality of *q*-de Rham cohomology, because the resulting \(\Lambda \)-ring structure will not satisfy the conditions of Theorem 1.23. We now give a more general result which does allow for meaningful comparisons.

### Theorem 2.8

*R*is a flat \(\Lambda _P\)-ring over \(\mathbb {Z}\) and Open image in new window is a formally étale map of \(\Lambda _P\)-rings, the elements \(x_i\) having rank 1, then there are zigzags of \(R\llbracket q-1\rrbracket \)-linear quasi-isomorphismswhenever

*P*contains all the residue characteristics of

*A*.

### Proof

The key observation to make is that formally étale maps have a unique lifting property with respect to nilpotent extensions of flat \(\Lambda _P\)-rings, because the Adams operations must also lift uniquely. In particular, this means that the operations \(\gamma _i\) featuring in the definition of *q*-de Rham cohomology are necessarily endomorphisms of *A* as a \(\Lambda _P\)-ring.

Similarly to Theorem 1.23, \({\widehat{\mathrm {qDR}}}_P( A/R)\) is calculated using a cosimplicial \(\Lambda _P\)-ring given in level *n* by the \((q-1)\)-adic completion \({\hat{U}}_{P,A}^{\bullet }\) of the \(\Lambda _P\)-ring over *R*[*q*] generated by \(A^{\otimes _R(n+1)}[q]\) and \((q-1)^{-1}\ker ( A^{\otimes _R(n+1)}\rightarrow A)[q]\). The observation above shows that \({\hat{U}}_{P,A}^n \cong {\hat{U}}_{P,R[x_1, \ldots ,x_d]}^n\hat{\otimes }_{ R[x_1, \ldots ,x_d]}A\), changing base along Open image in new window applied to the first factor.

As in Proposition 2.6, \({\hat{U}}_{P,R[x_1, \ldots ,x_d]}^{\bullet }\) is just the \((q-1)\)-adic completion of the complex \(U^{\bullet }\) from Proposition 1.15. Further application of the key observation above then allows us to adapt the constructions of Theorem 1.17, giving the desired quasi-isomorphisms.\(\square \)

### 3.2 Cartier isomorphisms in mixed characteristic

In [13, Conjecture 7.1], Scholze predicted that Open image in new window is a functorial invariant of the *R*-algebra *A*, independent of the choice of framing, so extends to all smooth schemes. Theorem 2.8 shows that Open image in new window is functorial invariant of the \(\Lambda _P\)-ring *A* over *R*.

The only setting in which Theorem 2.8 leads to results close to Scholze’s conjecture is when \(R=W^{(p)}(k)\), the *p*-typical Witt vectors of a perfect field of characteristic *p*, and \(A=\varprojlim _n A_n\) is a formal deformation of a smooth *k*-algebra \(A_0\). Then any formally étale morphism \(W^{(p)}(k)[x_1, \ldots ,x_d]\rightarrow A\) of topological rings gives rise to a unique compatible lift \(\Psi ^p\) of absolute Frobenius on *A* with \(\Psi ^p(x_i)=x_i^p\), so gives *A* the structure of a topological \(\Lambda _p\)-ring. The framing still affects the choice of \(\Lambda _p\)-ring structure, but at least such a structure is guaranteed to exist, giving rise to a complex \(\mathrm {qDR}_P(A/R)^{\wedge _p}:= \mathbf R \varprojlim _n \mathrm {qDR}_p(A/R)\otimes _R^\mathbf{L }R_n\) depending only on the choice of \(\Psi ^p\), where \(R_n=W_n^{(p)}(k)\).

### Lemma 2.9

### Proof

Just observe that this expression defines a chain map on \((\Omega ^*_{A/R}\llbracket q-1 \rrbracket , (q-1)\nabla _q)\) (for instance \(\Psi ^p((q-1)\nabla _qx_i)= (q^p-1)\Psi ^p(dx)= (q-1)\nabla _qx_i^p\)), and that the quasi-isomorphisms in the proof of Theorem 1.23 commute with these operations. \(\square \)

As in [13, §4], we refer to formal schemes over \(W^{(p)}(k)\) as smooth if they are flat deformations of smooth schemes over *k*. We refer to morphisms of such schemes as étale if they are flat deformations of étale morphisms over *k*.

### Proposition 2.10

### Proof

*R*[

*q*]-linearly and restricting to top summands therefore gives us the global map \(C_q^{-1}\). For a local choice of framing, Lemma 2.9 gives equivalences

## 4 Functoriality via analogues of de Rham–Witt cohomology

*q*-analogues of de Rham–Witt cohomology. Our starting point is to observe that if we allow roots of

*q*, we can extend the Jackson differential to fractional powers of

*x*by the formula

### 4.1 Motivation

### Definition 3.1

Given a \(\Lambda _P\)-ring *B*, define \(\Psi ^{1/P^{\infty }}B\) to be the smallest \(\Lambda _P\)-ring which is equipped with a morphism from *B* and for which the Adams operations are automorphisms.

### Lemma 3.2

*R*is a flat \(\Lambda _p\)-ring over \(\mathbb {Z}_{(p)}\) with \(\Psi ^p\) an isomorphism, then \(\Psi ^{1/p^{\infty }}{\widehat{qDR}}_p( R[x]/R)\) is quasi-isomorphic to the complex

Thus in level 0 (resp. level 1), \(\mathbf L \eta _{(q-1)}\Psi ^{1/p^{\infty }}{\widehat{\mathrm {qDR}}}( R[x]/R)\) is spanned by elements of the form \([p^n]_{q^{1/p^n}}x^{m/p^n}\) (resp. \(x^{m/p^n} d\log x\)), so setting \(q^{1/p^{\infty }}=1\) gives a complex whose *p*-adic completion is the *p*-typical de Rham–Witt complex.

### Lemma 3.3

*R*and

*A*be flat

*p*-adically complete \(\Lambda _p\)-algebras over \(\mathbb {Z}_p\), with \(\Psi ^p\) an isomorphism on

*R*. For elements \(x_i\) of rank 1, take a map Open image in new window of \(\Lambda _p\)-rings which is a flat

*p*-adic deformation of an étale map. Then the map

### Proof

*p*-adic completion, because Open image in new window is flat and we have an isomorphism modulo

*p*. Thus

*I*ranges over finite subsets of \(\{1, \ldots , d\}\) and \(\alpha \) ranges over elements of \(p^{-\infty }\mathbb {Z}^d\) with \(0 \le \alpha _i <1\) if \(i \notin I\) and \(-1< \alpha _i \le 0\) if \(i \in I\).

*q*-integration map

*m*coprime to

*p*, noting that \([m]_{q^{1/p^n}}\) is a unit in \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\). \(\square \)

### Remark 3.4

*A*smooth over \(\mathbb {Z}\), we then have

*n*th root of unity.

*P*. This implies that the cokernel is annihilated by all elements of \((q^{1/P^{\infty }}-1)\), so leads us to consider almost mathematics as in [7].

### 4.2 Almost isomorphisms

From now on, we consider only the case \(P=\{p\}\). Combined with Lemma 3.3, Remark 3.4 allows us to regard \(\mathbf L \eta _{(q-1)}\Psi ^{1/p^{\infty }}{\widehat{\mathrm {qDR}}}_p(A/\mathbb {Z}_p)^{\wedge _p}\) as being almost a \(q^{1/p^{\infty }}\)-analogue of *p*-typical de Rham–Witt cohomology.

*p*-adic completion of its square, since we may write it as the kernel \(W^{(p)}(\mathfrak {m})\) of \(W^{(p)}(\mathbb {F}_p[q^{1/p^{\infty }}]^{\wedge _{(q-1)}})\rightarrow W^{(p)}(\mathbb {F}_p)\), for the idempotent maximal ideal \(\mathfrak {m}= ( (q-1)^{1/p^{\infty }})^{\wedge _{(q-1)}}\) in \(\mathbb {F}_p[q^{1/p^{\infty }}]^{\wedge _{(q-1)}}\). If we set \(h^{1/p^n}\) to be the Teichmüller element

We then follow the terminology and notation of [7], studying *p*-adically complete \((\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}})^a\)-modules (almost \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\)-modules) given by localising at almost isomorphisms, the maps whose kernel and cokernel are \(W^{(p)}(\mathfrak {m})\)-torsion.

### Definition 3.5

The obvious functor \((-)^a\) from modules to almost modules has a right adjoint \((-)_*\), given by \(N_*:=\mathrm {Hom}_{\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}}(W^{(p)}(\mathfrak {m}) ,N)\), the module of almost elements.

Since the counit \((M_*)^a\rightarrow M\) of the adjunction is an (almost) isomorphism, we may also regard almost modules as a full subcategory of the category of modules, consisting of those *M* for which the natural map \(M \rightarrow (M^a)_*\) is an isomorphism. We can define *p*-adically complete \((\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}})^a\)-algebras similarly, forming a full subcategory of \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\)-algebras.

### 4.3 Perfectoid algebras

We now relate Scholze’s perfectoid algebras to a class of \(\Lambda _p\)-rings, by factorising the tilting equivalence. For simplicity, we work over \(\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p}\), although Lemma 3.8 has natural analogues over the ring \(K^o \subset K\) of power-bounded elements of any perfectoid field *K* in the sense of [12].

### Definition 3.6

Define Fontaine’s period ring functor \(\mathscr {A}_{\inf }\) from commutative rings to \(\Lambda _p\)-rings by \(\mathscr {A}_{\inf }(C):= \varprojlim _{\Psi ^p}W^{(p)} (C)\).

### Definition 3.7

Define a perfectoid \(\Lambda _p\)-ring to be a flat *p*-adically complete \(\Lambda _p\)-algebra over \(\mathbb {Z}_p\), on which the Adams operation \(\Psi ^p\) is an isomorphism.

By analogy with [2, Notation 1.4], we say that a perfectoid \(\Lambda _p\)-ring over \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\) is integral if the morphism \( B \rightarrow B_* \) of Definition 3.5 is an isomorphism.

### Lemma 3.8

### Proof

A perfectoid \(\Lambda _p\)-ring *B* is a deformation of the perfect \(\mathbb {F}_p\)-algebra *B* / *p*. As in [12, Proposition 5.13], a perfect \(\mathbb {F}_p\)-algebra *C* has a unique deformation \(W^{(p)}(C)\) over \(\mathbb {Z}_p\), to which Frobenius must lift uniquely; this shows that \(W^{(p)}\) gives an equivalence between perfect \(\mathbb {F}_p\)-algebras and perfectoid \(\Lambda _p\)-rings. To obtain the bottom equivalence of the diagram, we will show that the functor \(W^{(p)}\) commutes with the respective functors \(C \mapsto C_*\) of almost elements, then appeal to the tilting equivalence.

*p*-adically complete \(\mathbb {Z}_p\)-algebra

*C*, we must have \(B \cong W^{(p)}(B/p)\). Comparing rank 1 elements then gives a monoid isomorphism \((B/p)\cong \varprojlim _{x \mapsto x^p} C\), from which it follows that

*C*is perfectoid. Since tilting gives an equivalence of almost algebras by [12, Theorem 5.2], this completes the proof. \(\square \)

### 4.4 Functoriality of *q*-de Rham cohomology

Since \((\Psi ^{1/p^{\infty }}{\widehat{\mathrm {qDR}}}_p(A/\mathbb {Z}_p))^{\wedge _p}\) is represented by a cosimplicial perfectoid \(\Lambda _p\)-ring over \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\) for any flat \(\Lambda _p\)-ring *A* over \(\mathbb {Z}_p\), it corresponds under Lemma 3.8 to a cosimplicial perfectoid \((\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p})^a\)-algebra, representing the following functor:

### Lemma 3.9

*C*, and a \(\Lambda _p\)-ring

*A*over \(\mathbb {Z}_p\) with \(X=\mathrm {Spec}\,A\), there is a canonical isomorphism

### Proof

In fact, the tilting equivalence gives \(\varprojlim _{\Psi ^p} X(C_*) \cong X(C^{\flat }_*)\), so the only dependence of \(X_{\mathrm {strat}}^{q,p}(\mathscr {A}_{\inf } (C)_*)\), and hence \(((\Psi ^{1/p^{\infty }}{\widehat{\mathrm {qDR}}}_p(A/\mathbb {Z}_p))^{\wedge _p})^a\), on the Frobenius lift \(\Psi ^p\) is in determining the image of \( X(C^{\flat }_*) \rightarrow X(C_*)\) as *C* varies.

Although the map \( X(C^{\flat }_*) \rightarrow X(C_*)\) is not surjective, it is almost so in a precise sense, which we now use to establish independence of \(\Psi ^p\), showing that, up to faithfully flat descent, \({\widehat{\mathrm {qDR}}}_p(A/\mathbb {Z}_p)^{\wedge _p}/[p]_{q^{1/p}}\) is the best possible perfectoid approximation to \(A[\zeta _{p^{\infty }}]^{\wedge _p}\).

### Definition 3.10

*X*from \((\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p})^a \)-algebras to sets and a functor \(\mathscr {A}\) from perfectoid \((\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p})^a\)-algebras to abelian groups, we write

*S*-algebras, and \(\mathbf R \mathrm {Hom}_{[\mathcal {C},\mathrm {Set}]}(-,-)\) is as in Definition 1.9.

When *X* is representable by a \((\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p})^a \)-algebra *C*, we simply denote \( \mathbf R \Gamma _{\mathrm {Pfd}}(X,\mathscr {A})\) by \( \mathbf R \Gamma _{\mathrm {Pfd}}(C,\mathscr {A})\) — when *C* is perfectoid, this will just be \(\mathscr {A}(C)\).

Thus \( \mathbf R \Gamma _{\mathrm {Pfd}}(C,\mathscr {A})\) is the homotopy limit of the functor \(\mathscr {A}\) (regarded as taking values in cochain complexes) on the category of perfectoid \((\mathbb {Z}[\zeta _{p^{\infty }}]^{\wedge _p})^a\)-algebras equipped with a map from *C*. This is closely related to the pushforward from the pro-étale site of the generic fibre, whose décalage for \(\mathscr {A}=\mathscr {A}_{\inf }\) is the complex \(A\Omega \) of [4, Definition 9.1].

### Theorem 3.11

*R*is a

*p*-adically complete \(\Lambda _p\)-ring over \(\mathbb {Z}_p\), and

*A*a formal

*R*-deformation of a smooth ring over (

*R*/

*p*), then the complex

*A*coming from a framing over

*R*as in Theorem 2.8.

### Proof

Since passage to almost modules is an exact functor, it follows from the definition of \(\mathrm {qDR}_p\) that the cochain complex \(((\Psi ^{1/p^{\infty }}{\widehat{\mathrm {qDR}}}_p(A/R))^{\wedge _p} )^a \) is given by \(\mathbf R \mathrm {Hom}_{[f{\hat{\Lambda }}_p(R\llbracket q-1 \rrbracket ),\mathrm {Set}]}(X_{\mathrm {strat}}^{q,p}, ((\Psi ^{1/p^{\infty }}\mathscr {O})^{\wedge _p})^a)\) in the notation of Definition 1.9, where \(f{\hat{\Lambda }}_p(R\llbracket q-1 \rrbracket ) \) denotes the category of flat \((p,q-1)\)-adically complete \(\Lambda _p\)-algebras over \(R\llbracket q-1 \rrbracket \).

*B*,

*x*,

*y*) for integral perfectoid \(\Lambda _p\)-rings

*B*over \(\mathbb {Z}[q^{1/p^{\infty }}]^{\wedge _{(p,q-1)}}\) and

*B*are uniquely of the form \(\mathscr {A}_{\inf }(C_*)\) for \(C \in \mathrm {Pfd}((\mathbb {Z}_p[\zeta _{p^{\infty }}]^{\wedge _p})^a)\), so this homotopy limit becomes

*p*. Since \(C^{\flat }=\varprojlim _{\Phi } (C/p)\), the functor \(\mathscr {A}_{\inf }\) satisfies descent with respect to these coverings, so the map

*p*-power roots in \(C_i\). Setting \(C':= C_1\otimes _C \ldots \otimes _C C_d\), this means that the composite \(A \xrightarrow {f} C \rightarrow C'\) extends to a map \((\Psi ^{1/p^{\infty }}A)^{\wedge _p} \rightarrow C'\), so \(f \in (X^{\infty })^{\sharp }(C)\). We have thus shown that \((X^{\infty })^{\sharp }=X\), giving the required equivalence

### Remark 3.12

*q*-connections on finite projective modules

*M*over

*N*on the site of integral perfectoid algebras

*C*over \(A[\zeta _{p^{\infty }}]^{\wedge _p}\otimes _R \Psi ^{1/p^{\infty }}R\) for which there exists a \(W^{(p)}(A[\zeta _{p^{\infty }}]^{\wedge _p})\)-module \(M_0\) with \(W^{(p)}(C)\)-linear isomorphisms

*C*.

This establishes a weakened form of [13, Conjecture 7.5] on co-ordinate independence of the category of *q*-connections, giving the statement for almost \((\sum _n [p^n]_{q^{1/p^n}} \Psi ^{1/p^n}A[ q^{1/p^{\infty }}-1])^{\wedge _p})\)-modules rather than \(A\llbracket q-1 \rrbracket \)-modules.

The following gives a slight partial refinement of [4, Theorem 1.17]:

### Corollary 3.13

If *R* is a *p*-adically complete \(\Lambda _p\)-ring over \(\mathbb {Z}_p\), and *A* a formal *R*-deformation of a smooth ring over (*R* / *p*), then the *q*-de Rham cohomology complex Open image in new window is, up to almost quasi-isomorphism, independent of a choice of co-ordinates Open image in new window . As such, it is naturally an invariant of the commutative *p*-adically complete \((\Psi ^{1/p^{\infty }}R)[\zeta _{p^{\infty }}]^{\wedge _p}\)-algebra \((A[\zeta _{p^{\infty }}]\otimes _R \Psi ^{1/p^{\infty }}R)^{\wedge _p}\).

### Proof

### Remark 3.14

The almost quasi-isomorphism in Corollary 3.13 should be a genuine quasi-isomorphism when we impose some conditions on the base ring *R*. By [4, Lemma 8.11], it would suffice to verify that \( \mathrm {H}^*((\Psi ^{1/p^{\infty }} (\Omega ^*_{A/R}\llbracket q-1 \rrbracket , (q-1)\nabla _q))^{\wedge _p})\) and its quotient by \((q-1)\) have no \((q^{1/p^{\infty }}-1)\)-torsion, which should follow for *R* smooth by an argument similar to [4, Proposition 8.9].

### Remark 3.15

*q*) The key feature of the comparison results in this section is that, up to faithfully flat descent, the functor \(X_{\mathrm {strat}}^{q,p}\) does not depend on Adams operations when restricted to the category of integral perfectoid \(\Lambda _p\)-rings

*B*over \(\mathbb {Z}[q]\), since the proof of Theorem 3.11 gives \((X_{\mathrm {strat}}^{q,p})^{\sharp }(B) \cong X(B/[p]_{q^{1/p}})\). We can extend the latter functor to more general \(\Lambda _p\)-rings over \(\mathbb {Z}[q]\) by setting

*X*.

*B*, we know that \(X^{q,p}(B)= (X_{\mathrm {strat}}^{q,p})^{\sharp }(B)\), so by adjunction, as in the proof of Theorem 3.11, \(\alpha ^*\) becomes an almost quasi-isomorphism on applying a form of completed stabilisation \(\Psi ^{1/p^{\infty }}(-)^{\wedge _p}\). Thus \(\mathrm {H}^*(X^{q,p},\mathscr {O})\) might be a candidate for the co-ordinate independent

*q*-de Rham cohomology theory proposed in [13]. It naturally carries an Adams operation \(\Psi ^p\), which would correspond to the operation \(\phi _p\) of [13, Conjecture 6.1].

*A*.

## Notes

## References

- 1.André, Y.: La conjecture du facteur direct. Publ. Math. Inst. Hautes Études Sci.
**127**, 71–93 (2018). arXiv:1609.00345 [math.AG]MathSciNetCrossRefzbMATHGoogle Scholar - 2.Bhatt, B.: On the direct summand conjecture and its derived variant. Invent. Math.
**212**(2), 297–317 (2018). arXiv:1608.08882 [math.AG]MathSciNetCrossRefzbMATHGoogle Scholar - 3.Bhatt, B., de Jong, AJ. : Crystalline cohomology and de Rham cohomology. arXiv:1110.5001 [math.AG] (2011)
- 4.Bhatt, B., Morrow, M., Scholze, P.: Integral \(p\)-adic Hodge theory. arXiv:1602.03148 [math.NT] (2016)
- 5.Borger, J.: The basic geometry of Witt vectors, I: the affine case. Algebra Number Theory
**5**(2), 231–285 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Bousfield, A.K., Kan, D.M.: Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics, vol. 304. Springer, Berlin (1972)CrossRefzbMATHGoogle Scholar
- 7.Gabber, O., Ramero, L.: Almost Ring Theory, Lecture Notes in Mathematics, vol. 1800. Springer, Berlin. arXiv:math/0201175v3 [math.AG] (2003)
- 8.Grothendieck, A.: Crystals and the de Rham cohomology of schemes. In: Dix Exposés sur la Cohomologie des Schémas, pp. 306–358. North-Holland, Amsterdam (1968)Google Scholar
- 9.Hirschhorn, P.S.: Model Categories and Their Localizations, Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence (2003)zbMATHGoogle Scholar
- 10.Joyal, A.: \(\delta \)-anneaux et vecteurs de Witt. C. R. Math. Rep. Acad. Sci. Canada
**7**(3), 177–182 (1985)MathSciNetzbMATHGoogle Scholar - 11.MacLane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5. Springer, New York (1971)Google Scholar
- 12.Scholze, P.: Perfectoid spaces. Publ. Math. Inst. Hautes Études Sci.
**116**, 245–313 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Scholze, P.: Canonical \(q\)-deformations in arithmetic geometry. Ann. Fac. Sci. Toulouse Math. (6)
**26**(5), 1163–1192 (2017). arXiv:1606.01796v1 [math.AG]MathSciNetCrossRefzbMATHGoogle Scholar - 14.Simpson, C.: Homotopy over the complex numbers and generalized de Rham cohomology. In: Moduli of Vector Bundles (Sanda, 1994; Kyoto, 1994), Lecture Notes in Pure and Applied Mathematics, vol. 179, pp. 229–263. Dekker, New York (1996)Google Scholar
- 15.Weibel, C.A.: An Introduction to Homological Algebra. Cambridge University Press, Cambridge (1994)CrossRefzbMATHGoogle Scholar
- 16.Wilkerson, C.: Lambda-rings, binomial domains, and vector bundles over CP\((\infty )\). Commun. Algebra
**10**(3), 311–328 (1982)CrossRefzbMATHGoogle Scholar

## Copyright information

**OpenAccess**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.