

\section*{Introduction}

The $q$-de Rham cohomology of a polynomial ring is a $\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 \cite{scholzeqdef}, 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.

We show that $q$-de Rham cohomology naturally arises as a functorial invariant of $\Lambda$-rings (Theorem \ref{mainthm}), and that its 
$(q-1)$-adic completion depends only on a $\Lambda_P$-ring structure (Theorem \ref{mainthm3}), 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 $\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  \ref{cartierprop}) a  quasi-isomorphism between  Hodge cohomology and $q$-de Rham cohomology modulo $[p]_q$, extending the local lift of the  Cartier  isomorphism in \cite[Proposition 3.4]{scholzeqdef}.


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 \ref{mainthm4}) 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 \ref{finalcor}) 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  \cite{BhattMorrowScholze} between $q$-de Rham cohomology their theory $A\Omega^{\bt}$.

 
We expect that the  dependence of these cohomology theories either on Adams operations at the residue characteristics (for de Rham) or on $p$-power roots of $q$ (for variants of de Rham--Witt) is unavoidable, and that the conjectures of \cite{scholzeqdef} might thus be slightly optimistic. 
Some of the strongest evidence for the conjectures is provided by the  lifts of the Cartier isomorphisms, which rely on a choice of Frobenius.
On the other hand, the comparison theorems of \cite{BhattMorrowScholze} can be seen as a manifestation of $q$-de Rham--Witt complexes; although they do not require a lift of Frobenius, they involve all $p$-power roots of $q$. 

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 \to 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 \ref{DPrmk}).

For the variants of de Rham--Witt cohomology in \S \ref{DRWsn}, the key to giving a characterisation independent of lifts of Frobenius is the factorisation of the tilting equivalence for perfectoid algebra via a category of $\Lambda_p$-rings.  

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.

\tableofcontents

\section{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 \cite{borgerBasicGeomI} and references therein. The $\Lambda$-rings we encounter are all torsion-free, in which case the $\Lambda$-ring structure is equivalent to giving ring endomorphisms $\Psi^n$ for $n \in \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$.

\subsection{The $\Lambda$-ring $\Z[q]$}


\begin{definition}
 Define $\Z[q]$ to be the $\Lambda$-ring with operations determined by setting $q$ to be of rank $1$.
\end{definition}

We now consider the $q$-analogues $[n]_q:= \frac{q^n-1}{q-1} \in \Z[q]$ of the integers, with $[n]_q!=[n]_q[n-1]_q\ldots  [1]_q$, and $\binom{n}{k}_q= \frac{[n]_q!}{[n-k]_q![k]_q!}$.

\begin{remark}
 To see the importance of regarding $\Z[q]$ as a $\Lambda$-ring observe that the binomial expressions
\begin{align*}
 \lambda^k(n)=  \tbinom{n}{k},\quad
\lambda^k(-n)= (-1)^k\tbinom{n+k-1}{k}
\end{align*}
have as $q$-analogues the Gaussian binomial theorems
\begin{align*}
 \lambda^k([n]_q)=  q^{k(k-1)/2}\tbinom{n}{k}_q,\quad
\lambda^k(-[n]_q) = (-1)^k\tbinom{n+k-1}{k}_q,
\end{align*}
as well as Adams operations
\[
 \Psi^i([n]_q)= [n]_{q^i}.
\]
\end{remark}

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

\begin{lemma}\label{lambdalemma}
 For the $\Lambda$-ring structure on $\Z[x,y]$ with  $x,y$ of rank $1$, the  elements  
\[
 \lambda^n(\tfrac{y-x}{q-1}) \in\Z[q, \{(q^n-1)^{-1}\}_{n \ge 1},x,y]
\]
are given by
\begin{align*}
 \lambda^k(\tfrac{y-x}{q-1}) &=\frac{(y-x)(y-qx)\ldots(y-q^{k-1}x)}{(q-1)^k[k]_q!},\\
&= \sum_{j=0}^k\frac{q^{j(j-1)/2} (-x)^jy^{k-j}}{[j]_q![k-j]_q!}.
\end{align*}
\end{lemma}
\begin{proof}
 The second expression comes from multiplying out the Gaussian binomial expansions. The easiest way to prove the first is to observe that  $\lambda^k(\tfrac{y-x}{q-1})$ must be a homogeneous polynomial of degree $k$ in $x,y$, with coefficients in the integral domain $\Z[q, \{(q^n-1)^{-1}\}_{n \ge 1}]$, and  to note that
\[
 \lambda^k(\tfrac{q^nx-x}{q-1})= \lambda^k([n]_qx)= q^{k(k-1)/2}\tbinom{n}{k}_qx^k.
\]
Thus $\lambda^k(\frac{y-x}{q-1})$  agrees with the homogeneous polynomial above for infinitely many values of $\frac{y}{x}$, so must be equal to it.
\end{proof}

\begin{remark}\label{DPrmk}
Note that as $q\to 1$, Lemma \ref{lambdalemma} gives $ (q-1)^k\lambda^k(\frac{y-x}{q-1})\to \frac{(x-y)^k}{k!}$. Indeed, for any rank $1$ element $x$ in a $\Lambda$-ring we have  $\lambda_{(q-1)t} (\frac{x}{q-1})=e_q(xt)$, the $q$-exponential, with multiplicativity and universality then implying    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
\[
[k]_q(q-1)\lambda^k(\tfrac{a}{q-1})=\sum_{i>0} \lambda^i(a)\lambda^{k-i}(\tfrac{a}{q-1}).
\]
\end{remark}


\begin{lemma}\label{subringbasis}
 For elements $x,y$ of rank $1$, the $\Lambda$-subring of $\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 $\Z[q,x]$-module.
\end{lemma}
\begin{proof}
The $\Lambda$-subring clearly contains the $\Z[q,x]$-module $M$ generated by the elements $\lambda^k(\frac{y-x}{q-1})$, which are also clearly linearly independent. Since $\Z[x,q]$ is a $\Lambda$-ring, it suffices to show that $M$ is closed under multiplication. 

By Lemma \ref{lambdalemma}, we know that 
\[
 \lambda^i(\tfrac{y-x}{q-1})\lambda^j(\tfrac{y-q^ix}{q-1})= \tbinom{i+j}{i}_q\ \lambda^{i+j}(\tfrac{y-x}{q-1}).
\]
We can rewrite $\frac{y-q^ix}{q-1}= \frac{y-x}{q-1}- [i]_qx$, so $\lambda^j(\frac{y-q^ix}{q-1})-\lambda^j(\frac{y-x}{q-1})$ lies in the $\Z[q,x]$-module spanned by $\lambda^m(\frac{y-x}{q-1}) $ for $m<j$. By induction on $j$, it thus follows that
\[
 \lambda^i(\tfrac{y-x}{q-1})\lambda^j(\tfrac{y-q^ix}{q-1}) - \lambda^i(\tfrac{y-x}{q-1})\lambda^j(\tfrac{y-x}{q-1}) \in M,
\]
so the binomial expression above implies $ \lambda^i(\frac{y-x}{q-1})\lambda^j(\frac{y-x}{q-1}) \in M $.
\end{proof}

\subsection{$q$-cohomology of $\Lambda$-rings }

\begin{definition}
 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 \to 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$.
\end{definition}


\begin{definition}
Given a morphism $R \to A$ of $\Lambda$-rings, we define the category $\Strat^q_{A/R}$ to consist of flat $\Lambda$-rings $B$ over $R[q]$ equipped with a compatible  morphism $A \to B/(q-1)$, such that 
 the map $A \to   B/(q-1)$ 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.
\end{definition}
More concisely,  $\Strat^q_{A/R}$ is the Grothendieck construction of the functor
\[
(\Spec A)_{\strat}^q\co B \mapsto \im(\Hom_{\Lambda,R}(A,B)\to \Hom_{\Lambda,R}(A,B/(q-1))) 
\]
on the category $f\Lambda(R[q])$ of flat $\Lambda$-rings over $R[q]$. 

 

\begin{definition}
 Given a flat morphism $R \to A$ of $\Lambda$-rings, define $\qDR(A/R)$ to be the cochain complex of $R[q]$-modules given by taking the homotopy limit of
 the functor
\begin{align*}
 \Strat^q_{A/R} &\to \Ch(R[q])\\
B &\mapsto B.
\end{align*}
\end{definition}
 Equivalently, can we follow the approach of 
\cite{Gr,simpsonHtpy} towards the de Rham stack by regarding $\qDR(A/R)$
as the quasi-coherent cohomology complex of $(\Spec A)_{\strat}^q$. Writing $\O\co f\Lambda(R[q])\to \Mod_{R[q]}$ for the forgetful functor  to the category of $R[q]$-modules, and $[f\Lambda(R[q]),\Set]$ for the category of set-valued functors on $f\Lambda(R[q])$, we have
\[
 \qDR(A/R)= \oR\Hom_{[f\Lambda(R[q]),\Set]}((\Spec A)_{\strat}^q,\O),
\]
coming from the right-derived functor of the functor $\Hom_{[f\Lambda(R[q]),\Set]}((\Spec A)_{\strat}^q,-)$ of natural transformations with source $(\Spec A)_{\strat}^q$.


\begin{definition}
 Given a polynomial ring $R[x]$, recall from \cite{scholzeqdef} that the $q$-de Rham (or Aomoto--Jackson) cohomology $q\mbox{-}\Omega^{\bt}_{ R[x]/R}$ is given by the complex
\[
 R[x][q] \xra{\nabla_q}  R[x][q]dx,\quad\text{ where }\quad \nabla_q(f) =  \frac{f(qx) -f(x)}{x(q-1)}dx,
\]
so $\nabla_q(x^n)= [n]_qx^{n-1}dx$. 

Given a polynomial ring $R[x_1, \ldots,x_d]$, the $q$-de Rham complex $q\mbox{-}\Omega^{\bt}_{ R[x_1, \ldots,x_d]/R}$ is then set to be
\[
 q\mbox{-}\Omega^{\bt}_{ R[x_1]/R}\ten_{R[q]} q\mbox{-}\Omega^{\bt}_{ R[x_2]/R}\ten_{R[q]}\ldots \ten_{R[q]} q\mbox{-}\Omega^{\bt}_{ R[x_d]/R},
\]
so takes the form
\[
 R[x_1, \ldots,x_d][q] \xra{\nabla_q} \Omega^1_{R[x_1, \ldots,x_d]/R}[q] \xra{\nabla_q} \ldots \xra{\nabla_q}\Omega^d_{R[x_1, \ldots,x_d]/R}[q].
\]
\end{definition}

\begin{proposition}\label{Qcalc}
 If $R$ is a $\Lambda$-ring and $x$ of rank $1$, then $\qDR(R[x]/R)$ can be calculated by a cosimplicial module $U^{\bt}$ given by setting $U^n$ to be the $\Lambda$-subring   
\[
U^n \subset R[q, \{(q^m-1)^{-1}\}_{m \ge 1},x_0, \ldots, x_n]
\] 
generated by  $q$ and the elements $x_i$ and  $\frac{x_i-x_j}{q-1}$.
\end{proposition}
\begin{proof}
For $X=\Spec R[x]$, the set-valued functor $X_{\strat}^q$ is not representable, but it can be resolved by the simplicial functor $\tilde{X}_{\strat}^q$ given by taking the \v Cech nerve of $\Hom_{\Lambda,R}(A,B)\to \Hom_{\Lambda,R}(A,B/(q-1))$, so
\begin{align*}
 (\tilde{X}_{\strat}^q)_n(B)&:=  \overbrace{\Hom_{\Lambda,R}(A,B)\by_{\Hom_{\Lambda,R}(A,B/(q-1))} \ldots \by_{\Hom_{\Lambda,R}(A,B/(q-1))} \Hom_{\Lambda,R}(A,B) }^{n+1}\\
&= \Hom_{\Lambda,R}(A, \overbrace{B\by_{B/(q-1)}\ldots \by_{B/(q-1)} B}^{n+1}).
\end{align*}

Observe that any element of $(X_{\strat}^q)_n(B)$ gives rise to a morphism $f \co R[q,x_0, \ldots, x_n] \to 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$. 

Since  $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 $(X_{\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 \ref{subringbasis} gives a  basis
\[
 x_0^{r_0}\lambda^{r_1}(\tfrac{x_1-x_0}{q-1})\cdots \lambda^{r_n}(\tfrac{x_n-x_{n-1}}{q-1})
\]
for $U^n$ over $R[q]$. We therefore have $\qDR( R[x]/R)\simeq U^{\bt}$.
\end{proof}


\begin{theorem}\label{mainthm} 
 If $R$ is a $\Lambda$-ring, and the polynomial ring  $R[x_1, \ldots,x_d]$ 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
\begin{align*}
 \qDR( R[x_1, \ldots,x_n]/R) &\simeq (\Omega^*_{R[x_1, \ldots,x_n]/R}[q], (q-1)\nabla_q)\\
 \oL\eta_{(q-1)} \qDR( R[x_1, \ldots,x_n]/R) &\simeq q\mbox{-}\Omega^{\bt}_{R[x_1, \ldots,x_n]/R},
\end{align*}
where $\oL\eta_{(q-1)}$ denotes derived d\'ecalage with respect to the $(q-1)$-adic filtration.
\end{theorem}
\begin{proof}
It suffices to prove the first statement, the second following immediately by d\'ecalage.
Since $(\Spec A\ten_RA')_{\strat}^q(B)= (\Spec A)_{\strat}^q(B)\by (\Spec A')_{\strat}^q(B)$, and coproduct of flat $\Lambda$-rings over $R[q]$ is given by $\ten_{R[q]}$, we have $ \qDR((A\ten_RA')/R) \simeq \qDR(A/R)\ten_{R[q]}^{\oL} \qDR(A'/R)$, so we may reduce to the case $A=R[x]$. 

Proposition \ref{Qcalc} gives $\qDR( R[x]/R)\simeq U^{\bt}$, and in order to compare this with $q$-de Rham cohomology,
we now consider the cochain complexes $\tilde{\Omega}^{\bt}(U^n)$ given by
\[
 U^n \xra{(q-1)\nabla_q} \bigoplus_i  U^ndx_i \xra{(q-1)\nabla_q}\bigoplus_{i<j}  U^ndx_i\wedge dx_j  \xra{(q-1)\nabla_q}\ldots .
\]
In order to see that this differential is well-defined,  observe that 
\begin{align*}
  (q-1)\nabla_{q,y}\lambda^k(\tfrac{y-x}{q-1})&= y^{-1}(\lambda^k(\tfrac{qy-x}{q-1}) - \lambda^k(\tfrac{y-x}{q-1}))dy\\
&= y^{-1}(\lambda^k(y+ \tfrac{y-x}{q-1}) - \lambda^k(\tfrac{y-x}{q-1}))dy\\
&= \lambda^{k-1}(\tfrac{y-x}{q-1})dy,
\end{align*}
and similarly
\[
 (q-1)\nabla_{q,x}\lambda^k(\tfrac{y-x}{q-1})
=  \sum_{i \ge 1} (-1)^ix^{i-1}\lambda^{k-i}(\tfrac{y-x}{q-1})dx. 
\]

The first calculation   also shows that the inclusion  $\tilde{\Omega}^{\bt}(U^{n-1})\into \tilde{\Omega}^{\bt}(U^n)$ is a quasi-isomorphism, since
\[
 (q-1)\nabla_{q,x_n}(f(x_0, \ldots, x_{n-1})\lambda^k(\tfrac{x_n-x_{n-1}}{q-1}))= f(x_0, \ldots, x_{n-1})\lambda^{k-1}(\tfrac{x_n-x_{n-1}}{q-1})dx_n.
\]
By induction on $n$ we deduce that the inclusion $\tilde{\Omega}^{\bt}(U^0)\into \tilde{\Omega}^{\bt}(U^n)$, and hence the retraction of it given by the diagonal, is a quasi-isomorphism. 

Now the complexes $\tilde{\Omega}^i(U^{\bt})$ are all acyclic for $i>0$, consisting of cosimplicial tensor products of $U^{\bt}$ with cosimplicial symmetric powers of the acyclic complex given by $\Z dx_0 \oplus \cdots \oplus \Z dx_n$ in level $n$. We therefore have quasi-isomorphisms
\[
U^{\bt}  \la \Tot \tilde{\Omega}^{\bt}(U^{\bt}) \to \tilde{\Omega}^{\bt}(U^0)
\]
 of flat cochain complexes over $R[q]$, so 
\[
 \qDR( R[x]/R) \simeq \tilde{\Omega}^{\bt}(R[x]),
\]
and we just observe that    $\eta_{(q-1)}\tilde{\Omega}^{\bt}(R[x]) =(\Omega^*_{R[x]/R}[q], (q-1)\nabla_q)$.
\end{proof}

\begin{remark}
 Note that Theorem \ref{mainthm} implies that $q\mbox{-}\Omega^{\bt}_{R[x_1, \ldots,x_n]/R}$ naturally underlies the d\'ecalage of a cosimplicial $\Lambda$-ring over $R[q]$. Even the underlying cosimplicial commutative ring structure carries more information than an $E_{\infty}$-structure when $\Q \nsubseteq R$. 
\end{remark}


 \begin{remark}\label{crisrmk}
The complex $ (\Omega^*_{R[x_1, \ldots,x_n]/R}[q], (q-1)\nabla_q)$ is a more fundamental object than its d\'ecalage $q\mbox{-}\Omega^{\bt}_{R[x_1, \ldots,x_n]/R}$, since it has a vestigial memory of the Hodge filtration.
 
There might be a natural formulation of the theorem  not involving d\'ecalage, in terms of a $q$-analogue of the crystalline site for a $\Lambda$-ring $A$ over $R$, regarded as an $R[q]$-algebra via $R=R[q]/(q-1)$.
Following Remark \ref{DPrmk}, this would  involve extensions $B \to A$ of $\Lambda$-rings over $R[q]$ equipped with $q$-analogues  
of divided power  operations on the augmentation ideals $I$, looking like 
$
 x \mapsto (q-1)^k \lambda^k(\tfrac{x}{q-1}).
$
\end{remark}


\subsection{Completed $q$-cohomology}

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

\begin{definition}
 Given a flat morphism $R \to A$ of $\Lambda$-rings, define $\hat{\qDR}(A/R)$ to be the cochain complex of $R\llbracket q-1 \rrbracket$-modules given by taking the homotopy limit of
 the functor
\begin{align*}
 \hat{\Strat}^q_{A/R} &\to \Ch(R\llbracket q \rrbracket)\\
B &\mapsto B.
\end{align*}
\end{definition}

The following is immediate:
\begin{lemma}
  Given a flat morphism $R \to A$ of $\Lambda$-rings, the complex $\hat{\qDR}(A/R)$ is the derived $(q-1)$-adic completion of $\qDR(A/R)$.
\end{lemma}


\begin{definition}\label{qhatdef2}
 As in \cite[\S 3]{scholzeqdef}, given a formally \'etale map $\boxempty\co R[x_1, \ldots,x_d] \to A$, define $\widehat{q\mbox{-}\Omega}^{\bt}_{A/R, \boxempty}$ to be the complex
\[
 A\llbracket q-1\rrbracket \xra{\nabla_q} \Omega^1_{A/R}\llbracket q-1\rrbracket\xra{\nabla_q} \ldots \xra{\nabla_q} \Omega^d_{A/R}\llbracket q-1\rrbracket,
\]
where $\nabla_q$ is defined as follows. First note that the ring endomorphisms $\gamma_i$ of $R[x_1, \ldots,x_d]\llbracket q-1\rrbracket$ given by $\gamma_i(x_j)= q^{\delta_{ij}}x_j$ extend uniquely to endomorphisms of $A\llbracket q-1\rrbracket$ which are the identity modulo $(q-1)$, then set
\[
 \nabla_q(f):= \sum_i \frac{\gamma_i(f)-f}{(q-1)x_i}dx_i.
\]
\end{definition}

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

\begin{proposition}\label{mainthm2}
 If $R$ is a flat $\Lambda$-ring over $\Z$ and $\boxempty\co R[x_1, \ldots,x_d]\to A$ is a formally \'etale map of $\Lambda$-rings,  the elements $x_i$ having rank $1$, then there are zigzags of $R\llbracket q\rrbracket$-linear quasi-isomorphisms
\begin{align*}
\widehat{\qDR}( A/R) &\simeq  (\Omega^*_{A/R}\llbracket q -1\rrbracket, (q-1)\nabla_q), &
 \oL\eta_{(q-1)} \widehat{\qDR}( A/R) &\simeq \widehat{q\mbox{-}\Omega}^{\bt}_{A/R, \boxempty}.
\end{align*}
 The induced quasi-isomorphisms
\begin{align*}
\widehat{\qDR}( A/R)\ten^{\oL}_{R\llbracket q-1\rrbracket}R  &\simeq  (\Omega^*_{A/R}, 0), &
 (\oL\eta_{(q-1)} \widehat{\qDR}( A/R))\ten^{\oL}_{R\llbracket q-1\rrbracket}R &\simeq \Omega^{\bt}_{A/R}
\end{align*}
are independent of the choice of framing.
\end{proposition}
\begin{proof}
This is much the same as the proof of Theorem \ref{mainthm}. The complex $\widehat{\qDR}( A/R)$ can be realised as  a cosimplicial $\Lambda$-ring $U$, with $U^n$  the $(q-1)$-adically complete  $\Lambda$-subring of $A^{\ten_R(n+1)}\llbracket q-1 \rrbracket [ \{(q^m-1)^{-1}\}_{m \ge 1}]$  generated by 
\[
 A^{\ten_R(n+1)}\llbracket q-1 \rrbracket \quad \text{ and }\quad (q-1)^{-1}\ker( A^{\ten_R(n+1)}\to A)\llbracket q-1 \rrbracket.
\]

Uniqueness of lifts with respect to the formally \'etale framing
ensures that the endomorphisms $\gamma_i$ commute with the Adams operations, so are $\Lambda$-ring endomorphisms of $R$. Since the formal completion of $A\ten_RA\to A$ is just 
the $\Lambda$-ring
\[
 A\llbracket (x_1-y_1), (x_2-y_2), \ldots, (x_d-y_d)\rrbracket,
\]
 the calculations of Theorem \ref{mainthm} now adapt to give quasi-isomorphisms 
\[
(\Omega^*_{A/R}\llbracket q \rrbracket, (q-1)\nabla_q) \la \Tot \tilde{\Omega}^{\bt}(U^{\bt}) \to U^{\bt},
 \]
where $\tilde{\Omega}^{\bt}(U^n)$ is the $(q-1)$-adic completion of  
$
(U^n\ten_{A^{\ten(n+1)}}(\Omega^*_{A/R})^{\ten(n+1)},(q-1)\nabla_q) ).
 $
Reduction of this or its d\'ecalage modulo $(q-1)$ replaces $\nabla_q$ with $d$, removing the dependence on co-ordinates.
\end{proof}

\begin{remark}\label{qconnrmk}
 As in \cite[Definition 7.3]{scholzeqdef}, there is a notion of $q$-connections on projective $A\llbracket q-1 \rrbracket$-modules $M$. Adapting the ideas of Proposition \ref{mainthm2}, these will be equivalent to projective modules over $X_{\strat}^q$, so  flat Cartesian  $\widehat{\qDR}( A/R) $-modules $N$ with $N\ten_{\widehat{\qDR}( A/R)}A\llbracket q-1 \rrbracket=M$, together with a
condition that the $(\widehat{\qDR}( A/R)/(q-1))$-module  $N/(q-1)$ is just given by pullback of the $A$-module $M/(q-1)$. 

Via Lemma \ref{subringbasis}, these data are equivalent to specifying an operator $\pd^1 \co M \to  \hat{\bigoplus}_{k_1, \ldots,k_d} M\lambda^{k_1}(\frac{y_1-x_1}{q-1}) \cdots \lambda^{k_d}(\frac{y_d-x_d}{q-1})$ satisfying a cocycle condition and
congruent to the identity modulo $(q-1)$. Such  operators then arise from $q$-connections $(\nabla_{1,q}, \ldots, \nabla_{d,q})$ as   $q$-Taylor series
\[
 \pd^1(f):= \sum_{k_1, \ldots,k_d} (q-1)^{\sum k_i} (\nabla_{1,q}^{k_1}\ldots \nabla_{d,q}^{k_d})(f)\, \lambda^{k_1}(\tfrac{y_1-x_1}{q-1}) \cdots \lambda^{k_d}(\tfrac{y_d-x_d}{q-1}).
\]
\end{remark}

\section{Comparisons for $\Lambda_P$-rings}

Since very few \'etale maps $R[x_1, \ldots,x_d]\to A$ give rise to $\Lambda$-ring structures on $A$,  Proposition \ref{mainthm2} is fairly limited in its scope for applications. We now show how the construction of $\hat{\qDR}$ and the  comparison quasi-isomorphism survive  when we  weaken the $\Lambda$-ring structure by discarding Adams operations at invertible primes.

\subsection{$q$-cohomology for $\Lambda_P$-rings}

Our earlier constructions for $\Lambda$-rings all  carry over to $\Lambda_P$-rings, as follows.

\begin{definition}
Given a set $P$ of primes, we define a  $\Lambda_P$-ring $A$ to be a  $\Lambda_{\Z,P}$-ring in the sense of \cite{borgerBasicGeomI}. 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 $\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$.
\end{definition}
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 \cite{joyaldeltaWitt}.

\begin{definition}
 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 \to 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$.
\end{definition}


\begin{definition}
Given a morphism $R \to A$ of $\Lambda_P$-rings, we define the category $\Strat^{q,P}_{A/R}$ to consist of flat $\Lambda_P$-rings $B$ over $R[q]$ equipped with a compatible  morphism $A \to B/(q-1)$, such that 
 the map $A \to   B/(q-1)$ admits a lift to $B$. We define the category $\hat{\Strat}^{q,P}_{A/R} \subset \Strat^q_{A/R}$ to consist of those objects which are $(q-1)$-adically complete.
\end{definition}
More concisely, $\Strat^{q,P}_{A/R}$  (resp. $\hat{\Strat}^{q,P}_{A/R}$) is the Grothendieck construction of the functor
\[
(\Spec A)_{\strat}^{q,P}\co  B \mapsto \im(\Hom_{\Lambda_P,R}(A,B)\to \Hom_{\Lambda_P,R}(A,B/(q-1))) 
\]
of the category of flat $\Lambda_P$-rings (resp. $(q-1)$-adically complete flat $\Lambda_P$-rings) over $R[q]$. 

\begin{definition}
 Given a flat morphism $R \to A$ of $\Lambda_P$-rings, define $\qDR_P(A/R)$ to be the cochain complex of $R[q]$-modules given by taking the homotopy limit of
 the functor
\begin{align*}
 \Strat^{q,P}_{A/R} &\to \Ch(R[q])\\
B &\mapsto B.
\end{align*}
Define $\hat{\qDR}_P(A/R)$ to be the cochain complex of $R\llbracket q-1 \rrbracket$-modules given by the corresponding homotopy limit over $\hat{\Strat}^{q,P}_{A/R}$.
\end{definition}

Thus when $P$ is the set of all primes, we have $\qDR_P(A/R)= \qDR(A/R)$. At the other extreme, for $A$ smooth,  $\hat{\qDR}_{\emptyset}(A/R)$ is the Rees construction of the Hodge filtration on the infinitesimal cohomology complex of $A$ over $R$ , with formal variable $(q-1)$. In more detail, there is a decreasing  filtration $F$ of $\O_{\inf}$  given by powers of the augmentation ideal $\O_{\inf} \to \O_{\Zar}$, and $\hat{\qDR}_{\emptyset}(A/R) \simeq \bigoplus_{\nu\in \Z} (q-1)^{-\nu}\oR\Gamma(\Spec A, F^{\nu}\O_{\inf})(q-1)^{-\nu}$.


\begin{lemma}
 For a set $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 
\[
 W^{(\notin P)}(B) \to \prod_{\substack{n \in \N:\\ (n,p)=1 ~\forall p \in P}} B,
\]
which is an isomorphism when $P$ contains all the residue characteristics of
$B$.
\end{lemma}
\begin{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$ given by 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.
\end{proof}

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.

\begin{proposition}\label{Ponlyprop}
  Given a morphism $R \to A$ of $\Lambda$-rings, and a set $P$ of primes, there are natural maps
\begin{align*}
 \qDR_P(A/R) &\to \qDR(A/R), &
\hat{\qDR}_P(A/R) &\to \hat{\qDR}(A/R),
\end{align*}
and the latter map is a quasi-isomorphism when $P$ contains all the residue characteristics of $A$.
\end{proposition}
\begin{proof}
We have functors
 \begin{align*}
  (\Spec A)_{\strat}^q\circ W^{(\notin P)} \co B &\mapsto \im(\Hom_{\Lambda,R}(A,W^{(\notin P)} B)\to \Hom_{\Lambda,R}(A,(W^{(\notin P)} B)/(q-1)))\\
(\Spec A)_{\strat}^{q,P} \co  B &\mapsto \im(\Hom_{\Lambda_P,R}(A,B)\to \Hom_{\Lambda_P,R}(A,B/(q-1)))
 \end{align*}
on the category of flat $\Lambda_P$-rings over  $R[q]$. There is an obvious map 
\[
 (W^{(\notin P)} B)/(q-1) \to W^{(\notin P)}(B/(q-1)),
\]
 and hence a natural transformation $(\Spec A)_{\strat}^q\circ W^{(\notin P)} \to (\Spec A)_{\strat}^{q,P}$, which induces the morphism $\qDR_P(A/R) \to \qDR(A/R)$ on cohomology.

When $P$ contains all the residue characteristics of $A$, the map $ (W^{(\notin P)} B)/(q-1) \to W^{(\notin P)}(B/(q-1))$ is just
\[
  \prod_{\substack{n \in \N:\\ (n,p)=1 ~\forall p \in P}} B/(q^n-1) \to  \prod_{\substack{n \in \N:\\ (n,p)=1 ~\forall p \in P}} B/(q-1),
\]
since the morphism $R[q] \to W^{(\notin P)} B$ is given by Adams operations, with $\Psi^n(q-1)= q^n-1$. 

We have $(q^n-1)=(q-1)[n]_q$, and $[n]_q$ is a unit in $\Z[\frac{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) \to 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 $(\Spec A)_{\strat}^q\circ W^{(\notin P)} \to (\Spec A)_{\strat}^{q,P}$ is a natural  isomorphism on the category of flat $(q-1)$-adically complete $\Lambda_P$-rings over  $R[q]$, and so
$
 \hat{\qDR}_P(A/R) \xra{\simeq} \hat{\qDR}(A/R)
$.
\end{proof}

Over $\Z[\frac{1}{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 Proposition \ref{mainthm2}. We now give a more general result which does allow for meaningful comparisons.

\begin{theorem}\label{mainthm3}
 If $R$ is a flat $\Lambda_P$-ring over $\Z$ and $\boxempty\co R[x_1, \ldots,x_d]\to A$ is a formally \'etale map of $\Lambda_P$-rings,  the elements $x_i$ having rank $1$, then there is a zigzag of $R\llbracket q\rrbracket$-linear quasi-isomorphisms
\[
\oL\eta_{(q-1)} \widehat{\qDR}_P( A/R) \simeq \widehat{q\mbox{-}\Omega}^{\bt}_{A/R, \boxempty}
\]
whenever $P$ contains all the residue characteristics of $A$.
\end{theorem}
\begin{proof}
The key observation to make is that formally \'etale 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 Proposition \ref{mainthm2},  $\widehat{\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}^{\bt}$ of the $\Lambda_P$-ring  over $R[q]$ generated by $A^{\ten_R(n+1)}[q]$ and $(q-1)^{-1}\ker( A^{\ten_R(n+1)}\to A)[q]$. The observation above shows that $\hat{U}_{P,A}^n \cong \hat{U}_{P,R[x_1, \ldots,x_d]}^n\hten_{ R[x_1, \ldots,x_d]}A$, changing base along $\boxempty$ applied to the first factor. 

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

\end{proof}


\subsection{Cartier isomorphisms in mixed characteristic}\label{cartiersn}


The only setting in which Theorem \ref{mainthm3} leads to results  close to the conjectures of \cite{scholzeqdef} is when $R=W^{(p)}(k)$, the $p$-typical Witt vectors of a field of characteristic $p$, and $A=\Lim_n A_n$ is a formal deformation of a smooth $k$-algebra $A_0$.
Then any formally \'etale morphism $W^{(p)}(k)[x_1, \ldots,x_d]\to A$ gives rise to a unique compatible lift $\Psi$ of absolute Frobenius on $A$ with $\Psi(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 $\qDR_P(A/R)^{\wedge_p}:= \Lim_n \qDR_p(A/R)\ten_RR_n$ depending only on the choice of $\Psi$, where $R_n=W_n^{(p)}(k)$. 


Our constructions now allow us to globalise the quasi-isomorphism 
\[
 (\widehat{q\mbox{-}\Omega}^{\bt}_{A/R, \boxempty})^{\wedge_p}/[p]_q \simeq (\Omega^*_{A/R})^{\wedge_p}\llbracket q-1 \rrbracket/[p]_q
\]
of \cite[Proposition 3.4]{scholzeqdef}, where $\Omega^*_{A/R}$ denotes the complex $A \xra{0} \Omega^1_{A/R} \xra{0}  \Omega^2_{A/R} \xra{0}\ldots $.

\begin{proposition}\label{cartierprop}
 Take  a smooth formal scheme $\fX$ over $R=W^{(p)}(k)$ equipped with a lift $\Psi$  of Frobenius which \'etale locally admits  co-ordinates $\{x_i\}_i$ as above with $\Psi(x_i)=x_i^p$. Then there is a global  quasi-isomorphism
\[
C_q^{-1}\co  (\Omega^*_{\fX/R})^{\wedge_p}\llbracket q-1 \rrbracket/[p]_q\to (\oL\eta_{(q-1)}\hat{\qDR}_p(\sO_{\fX}/R))^{\wedge_p}/[p]_q
\]
in the derived category of \'etale sheaves on $\fX$. 
\end{proposition}
\begin{proof}
Functoriality of the construction $\qDR_p$ for rings with Frobenius lifts gives us a sheaf $\hat{\qDR}_p(\sO_{\fX}/R)^{\wedge_p}$ on $\fX$.  We then have maps
\begin{align*}
\Psi^p \co  \qDR_p(\sO_{\fX}/R)^{\wedge_p}&\to \qDR_p(\sO_{\fX}/R)^{\wedge_p}\\
   \qDR_p(\sO_{\fX}/R)^{\wedge_p}/(q-1)&\to \qDR_p(\sO_{\fX}/R)^{\wedge_p}/(q^p-1),
\end{align*}
and thus,  denoting good truncation by $\tau$,
\[
  (q-1)^i\Psi^p \co \tau^{\le i}(\qDR_p(\sO_{\fX}/R)^{\wedge_p}/(q-1))\to (\oL\eta_{(q-1)}\hat{\qDR}_p(\sO_{\fX}/R)^{\wedge_p})/[p]_q
\]
the left-hand side is quasi-isomorphic to  $\bigoplus_{j \le i} (\Omega^j_{\sO_{\fX}/R})^{\wedge_p}[-j]$ by Proposition \ref{mainthm2}.

Extending the construction  $R[q]$-linearly and restricting to top summands therefore gives us the global map $C_q^{-1}$.  For a local choice of framing, the map $\Psi^p$ necessarily corresponds via Theorem \ref{mainthm3} to the chain map $a dx^I \mapsto \Psi^p(a) x^{I(p-1)}dx^I$ on the complex $(\Omega^*_{A/R}\llbracket q-1 \rrbracket, (q-1)\nabla_q)$. This gives equivalences
\[
(q-1)^i\Psi^p \simeq \sum_{j \le i}  (q-1)^{i-j} (\tilde{C}^{-1})^j
\]
for Scholze's locally defined lifts $(\tilde{C}^{-1})^j\co (\Omega^j_{A/R})^{\wedge_p}[-j] \to (\widehat{q\mbox{-}\Omega}^{\bt}_{A/R, \boxempty})^{\wedge_p}/[p]_q$ of the Cartier quasi-isomorphism. The local calculation of \cite[Proposition 3.4]{scholzeqdef} then ensures that $C_q^{-1}$  is a quasi-isomorphism.
\end{proof}



\section{Functoriality via analogues of de Rham--Witt cohomology}\label{DRWsn}

In order to obtain a cohomology theory for smooth commutative rings rather than for $\Lambda_P$-rings, we now consider $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 
\[
 \nabla_q (x^{m/n}) = \frac{q^{m/n} -1}{q-1} x^{m/n}d\log x,
\]
so terms such as $[n]_{q^{1/n}}x^{m/n}$ have integral derivative, where $[n]_{q^{1/n}}= \frac{q-1}{q^{1/n}-1}$.

\subsection{Motivation}\label{motivnsn}

\begin{definition}
 Given a $\Lambda_P$-ring $B$, define  $\Psi^{1/P^{\infty}}B$ to be the smallest  $\Lambda_P$-ring containing $B$ on which the Adams operations are automorphisms. 
\end{definition}
In the case $P= \{p\}$, the $\Lambda_p$-ring $\Psi^{1/p^{\infty}}B$ is thus the colimit of the diagram 
\[
B \xra{\Psi^{p}}  B \xra{\Psi^{p}} B \xra{\Psi^{p}} \ldots.
\]

The proof of Theorem \ref{mainthm3} allows us to replace $\widehat{\qDR}_p( A/R)$ with the complex 
$(\Omega^*_{A/R}\llbracket q-1 \rrbracket, (q-1)\nabla_q)$; under this quasi-isomorphism,  the Adams operations on $A$  extend to $\Omega^*_{A/R}\llbracket q-1 \rrbracket$ by setting $\Psi^n(dx_i):= x_i^{n-1}dx_i$. 
As an immediate consequence we have:
\begin{lemma}\label{qDRWlemma1}
If $R$ is a flat $\Lambda_p$-ring over $\Z$ with $\Psi^{1/p^{\infty}}R=R$ and residue characteristic $p$, then
$\Psi^{1/p^{\infty}}\qDR_p( R[x]/R) \simeq (\Omega^*_{R[x^{1/p^{\infty}}]/R}[q^{1/p^{\infty}}], (q-1)\nabla_q)$,
so
 the d\'ecalage
 $\oL\eta_{(q-1)}\Psi^{1/p^{\infty}}\widehat{\qDR}_p( R[x]/R)$
is quasi-isomorphic to the $(q-1)$-adic completion of the complex 
\begin{align*}
 & \{ a \in R[x^{1/p^{\infty}}, q^{1/p^{\infty}}] ~:~ \nabla_qa \in R[x^{1/p^{\infty}}, q^{1/p^{\infty}}]d\log x\} \xra{\nabla_q}\\
 &\{ b\, d\log x \in R[x^{1/p^{\infty}}, q^{1/p^{\infty}}]d\log x  ~:~ b(0,q)=0\}.
\end{align*}
\end{lemma} 
Thus in level $0$ (resp.\ level $1$), $\oL\eta_{(q-1)}\Psi^{1/p^{\infty}}\widehat{\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. 

\begin{lemma}\label{perfectioncoholemma}
Let  $R$ and $A$ be flat $p$-adically complete $\Lambda_p$-algebras over $\Z_p$, with $\Psi^{1/p^{\infty}}R=R$ and, for  elements $x_i$ of rank $1$, a map $\boxempty\co R[x_1, \ldots,x_d]^{\wedge_p}\to A$ of $\Lambda_p$-rings which is a flat $p$-adic deformation of an \'etale map.
Then the map
\[
(R[q^{1/p^{\infty}}]\ten_{R[q]} \oL\eta_{(q-1)} \widehat{\qDR}_p( A/R))^{\wedge_p} \to \oL\eta_{(q-1)} (\Psi^{1/p^{\infty}}\widehat{\qDR}_p (A/R))^{\wedge_p}
\]
is a quasi-isomorphism.
\end{lemma}
\begin{proof}
The map $\Psi^p \co A\ten_{R[x_1, \ldots,x_d]}R[x_1^{1/p}, \ldots,x_d^{1/p}] \to A$ becomes an isomorphism on $p$-adic completion, because  $\boxempty$ is flat and we have an isomorphism  modulo  $p$.
  Thus 
\[
\Psi^{1/p^{\infty}}A \cong A[x_1^{1/p^{\infty}}, \ldots,x_d^{1/p^{\infty}}]^{\wedge_p}:= (A\ten_{R[x_1, \ldots,x_d]}R[x_1^{1/p^{\infty}}, \ldots,x_d^{1/p^{\infty}}])^{\wedge_p}
\]

Combined  with the calculation of Lemma \ref{qDRWlemma1}, this  gives us a quasi-isomorphism between $(\Psi^{1/p^{\infty}}\widehat{\qDR}_p(A/R))^{\wedge_p}$ and the $(p,q-1)$-adic completion of 
\[
 \bigoplus_{\alpha} A\llbracket q-1\rrbracket x_1^{\alpha_1}\ldots x_d^{\alpha_d} dx^I,
\]
where $\alpha \in p^{-\infty}\Z^d$ such that $0 \le \alpha_i <1$ if $i \notin I$ and $-1< \alpha_i \le 0$ if $i \in I$.

We then observe that the contributions to the d\'ecalage $\eta_{(q-1)}$ from terms with $\alpha \ne 0$ must be acyclic, via a
contracting homotopy defined by the restriction to $\eta_{(q-1)}$ of the $q$-integration map
\[
 f x_1^{\alpha_1}\ldots x_d^{\alpha_d} dx^I \mapsto f x_1^{\alpha_1}\ldots  x_d^{\alpha_d}\sum_{i \in I}  \pm x_i [\alpha_i]_q^{-1} dx^{(I\setminus i)},
\]
where $[\frac{m}{p^n}]_q^{-1}= [m]_{q^{1/p^n}}^{-1}[p^n]_{q^{1/p^n}}$ for $m$ coprime to $p$, noting that $[m]_{q^{1/p^n}}$ is a unit in $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$.
\end{proof}

\begin{remark}\label{Wittrmk}
 The endomorphism given on $\Psi^{1/P^{\infty}}\hat{\qDR}_P(A/R)$ by 
\[
 a \mapsto \Psi^{1/n}([n]_qa)= [n]_{q^{1/n}}\Psi^{1/n}a
\]
 descends to an endomorphism  of  $\H^0(\Psi^{1/P^{\infty}}\hat{\qDR}_P(A/R)/(q-1))$, which we may denote by $V_n$ because it mimics Verschiebung in the sense that $\Psi^{n}V_n= n\cdot\id$.

 For $A$ smooth over $\Z$, we then have
\begin{align*}
\H^0(\Psi^{1/P^{\infty}}\hat{\qDR}_P(A/\Z)/(q-1))/(V_p~:~p \in P) &\cong A[q^{1/P^{\infty}}]/([p]_{q^{1/p}}~:~p \in P)\\ &\cong A[\zeta_{P^{\infty}}],
\end{align*}
for $\zeta_n$ a primitive $n$th root of unity.

By adjunction, this gives  an injective map 
\[
 \H^0(\Psi^{1/P^{\infty}}\hat{\qDR}_P(A/\Z)/(q-1)) \into W^{(P)}A[\zeta_{P^{\infty}}]
\]
of $\Lambda_P$-rings, which becomes an isomorphism on completing $\Psi^{1/P^{\infty}}\hat{\qDR}(A/\Z)$ with respect to the system $\{([n]_{q^{1/n}})\}_{n\in P^{\infty}}$ of ideals, where we write $P^{\infty}$ for the set of integers whose prime factors are all in $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 \cite{gabberalmost}. 
\end{remark}


\subsection{Almost isomorphisms}

Combined with Lemma \ref{perfectioncoholemma}, Remark \ref{Wittrmk} allows us to regard $\oL\eta_{(q-1)}\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/\Z_p)^{\wedge_p}$ as being almost a $q^{1/p^{\infty}}$-analogue of $p$-typical de Rham--Witt cohomology. (From now on, we consider only the case  $P=\{p\}$.) 


The ideal $(q^{1/p^{\infty}}-1)^{\wedge_{(p,q-1)}}= \ker(\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}} \to \Z_p)$ is equal to the $p$-adic completion of its square, since we may write it as the kernel $W^{(p)}(\m)$ of $W^{(p)}(\bF_p[q^{1/p^{\infty}}]^{\wedge_{(q-1)}})\to W^{(p)}(\bF_p)$, for the idempotent maximal ideal $\m = ( (q-1)^{1/p^{\infty}})^{\wedge_{(q-1)}}$ in $\bF_p[q^{1/p^{\infty}}]^{\wedge_{(q-1)}}$. If we set $h^{1/p^n}$ to be the Teichm\"uller element 
\[
 [q^{1/p^n}-1] = \lim_{r \to \infty} (q^{1/p^{nr}}-1)^{p^r} \in \Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}},
\]
 then $W^{(p)}(\m)=(h^{1/p^{\infty}})^{\wedge_{(p,h)}}$. Although $W^{(p)}(\m)/p^n$   is not maximal in $\Z[h^{1/p^{\infty}}]^{\wedge_{(h)}}/p^n$,  it is idempotent and flat, so gives a  basic setup in the sense of \cite[2.1.1]{gabberalmost}. We thus regard the pair $(\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}},W{(p)}(\m) )$ as an inverse system of basic setups for almost ring theory.

We then follow the terminology and notation of \cite{gabberalmost}, studying $p$-adically complete  $(\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}})^a$-modules (almost $\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)}(\m)$-torsion. 

The obvious functor $(-)^a$ from modules to almost modules has a right adjoint $(-)_*$, given by  $N_*:=\Hom_{\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}}(W^{(p)}(\m) ,N)$, the module of almost elements. Since the counit $(M_*)^a\to 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 \to (M^a)_*$ is an isomorphism. We can define $p$-adically complete  $(\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}})^a$-algebras similarly,  forming a full subcategory of $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$-algebras. 


\begin{lemma}\label{recoveralmost}
 For any $\Z\llbracket q-1\rrbracket$-module $M$, we may recover the $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$-module $(M\ten_{\Z[q]}\Z[q^{1/p^{\infty}}])^{\wedge_p}$ as the module of almost elements of the associated almost $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$-module.
\end{lemma}
\begin{proof}
 Since $M\ten_{\Z[q]}\Z[q^{1/p^{\infty}}]= \bigoplus_{\alpha} M\ten q^{\alpha}$ for $\alpha \in p^{-\infty}\Z$ with $0 \le \alpha <1$, calculation shows that $(M\ten_{\Z[q]}\Z[q^{1/p^{\infty}}])^{\wedge_p}\to (M\ten_{\Z[q]}\Z[q^{1/p^{\infty}}])^{\wedge_p}_*$ must be an isomorphism.
\end{proof}

\subsection{Perfectoid algebras}

We now relate Scholze's perfectoid algebras to a class of $\Lambda_p$-rings.

\begin{definition}\label{perfectoidLambdapdef}
 Define a perfectoid $\Lambda_p$-ring to be a flat $p$-adically complete $\Lambda_p$-algebra over $\Z_p$, on which the Adams operation $\Psi^p$ is an isomorphism. 
\end{definition}


For a perfectoid field $K$ in the sense of \cite{scholzePerfectoidSpaces}, there is a  tilt $K^{\flat}$ (a complete perfect field of characteristic $p$). The subring  of power-bounded elements is denoted $K^o \subset K$.

\begin{lemma}\label{cfperfectoid}
Given a perfectoid field $K$, we have equivalences
\[
 \xymatrix{
  \text{perfectoid almost }K^o\text{-algebras} \ar@<1ex>[d]^{\sA_{\inf}} \\
\text{perfectoid almost }\Lambda_p\text{-rings over }\sA_{\inf}(K^o) \ar@<1ex>[u]^{K^{oa}\ten_{(\sA_{\inf}(K^o)^a)}-} \ar@<-1ex>[d]_{\bF_p\ten_{\bZ_p}-}\\
\text{perfectoid almost }K^{\flat o}\text{-algebras}\ar@<-1ex>[u]_{W^{(p)}}
 }
\]
of categories, where $\sA_{\inf}(C):= \Lim_{\Psi^p}W^{(p)} (C)$.
\end{lemma}
\begin{proof}
A perfectoid $\Lambda_p$-ring $B$ is a deformation of the $\bF_p$-algebra $B/p$. As in \cite[Proposition 5.13]{scholzePerfectoidSpaces},  a perfect $\bF_p$-algebra $C$ has  a unique deformation  $W^{(p)}C$ over $\Z_p$, to which Frobenius must lift uniquely; this gives the bottom pair of equivalences. 

We then observe that since $B:=\sA_{\inf} (C)$ is a perfectoid  $\Lambda_p$-ring for any flat $p$-adically complete $\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 \Lim_{x \mapsto x^p} C$, from which it follows that 
\[
 \bF_p\ten_{\bZ_p}\sA_{\inf}(C)\cong \Lim_{\Phi} (C/p)=C^{\flat}
\]
 whenever $C$ is perfectoid. Since tilting gives an equivalence of almost algebras by \cite[Theorem 5.2]{scholzePerfectoidSpaces}, this completes the proof.
\end{proof}


We will only apply Lemma \ref{cfperfectoid} to perfectoid almost $\Lambda_p$-rings over $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$, in which case it shows that reduction modulo $[p]_{q^{1/p}}$ (resp. $p$) gives an equivalence with perfectoid $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a$-algebras (resp. perfectoid $(\bF_p[q^{1/p^{\infty}}]^{\wedge_{(q-1)}})^a$-algebras),


\subsection{Functoriality of $q$-de Rham cohomology}

 Since $(\Psi^{1/p^{\infty}}\widehat{\qDR}_p(A/\Z_p))^{\wedge_p}$ is represented by a cosimplicial  perfectoid $\Lambda_p$ ring over $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$ for any flat $\Lambda_p$-ring $A$ over $\Z_p$, it corresponds under Lemma \ref{cfperfectoid} to a cosimplicial perfectoid $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a$-algebra, representing the following functor:

\begin{lemma}\label{perfectoidreplemma}
 For a perfectoid $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a$-algebra $C$,   and a $\Lambda_p$-ring $A$ over $\Z_p$ with $X=\Spec A$, there is a canonical isomorphism
\[
 X_{\strat}^q(\Lim_{\Psi^p}W^{(p)} (C)_*) \cong \im( \Lim_{\Psi^p} X(C_*) \to X(C_*)), 
\]
for the ring $C_*$ of almost elements.
\end{lemma}
\begin{proof}
By definition, $X_{\strat}^q(\Lim_{\Psi^p}W^{(p)} (C)_*)$ is the image of 
\[
 \Hom_{\Lambda_p}(A, \Lim_{\Psi^p}W^{(p)} (C)_*) \to \Hom_{\Lambda_p}(A, (\Lim_{\Psi^p}W^{(p)} (C)_*)/(q-1)).
\]
Since right adjoints commute with limits, we may rewrite the first term as $\Lim_{\Psi^p} \Hom_{\Lambda_p}(A, W^{(p)} (C_*))= \Lim_{\Psi^p} X(C_*)$.

Setting $B:=\Lim_{\Psi^p}W^{(p)} (C)_*$, observe that  because $[p^n]_{q^{1/p^n}}(q^{1/p^n}-1)=(q-1)$, we have  $\bigcap_n [p^n]_{q^{1/p^n}}B=(q-1)B$, any element on the left defining an almost element of $(q-1)B$, hence a genuine element since $B=B_*$ is flat.
 Then note that since the projection map $\theta \co B \to C_*$ has kernel $([p]_{q^{1/p}})$, the map $\theta \circ \Psi^{p^{n-1}}$ has kernel $([p]_{q^{1/p^n}})$, and so $B \to W^{(p)}C_*$ has kernel  $\bigcap_n [p^n]_{q^{1/p^n}}B$. Thus 
\[
 \Hom_{\Lambda_p}(A, (\Lim_{\Psi^p}W^{(p)} (C)_*)/(q-1)\into  \Hom_{\Lambda_p}(A,W^{(p)}C_*)= X(C_*).
\]
\end{proof}
In fact, the tilting equivalence gives $\Lim_{\Psi^p} X(C_*) \cong X(C^{\flat}_*)$, so 
the only dependence of $((\Psi^{1/p^{\infty}}\widehat{\qDR}_p(A/\Z_p))^{\wedge_p})^a$ on the Frobenius lift $\Psi^p$ is in determining the image of $ X(C^{\flat}_*) \to  X(C_*)$.

Although this map 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, $\hat{\qDR}_p(A/\Z_p)^{\wedge_p}/[p]_{q^{1/p}}$ is the best possible perfectoid approximation to $A[\zeta_{p^{\infty}}]^{\wedge_p}$.

\begin{definition}
Given  a functor $X$ from  $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a $-algebras to sets and a functor $\sA$ from perfectoid  $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a$-algebras to abelian groups, we write
\[
 \oR\Gamma_{\Pfd}(X,\sA):=\oR\Hom_{[\Pfd((\Z_p[\zeta_{p^{\infty}}]^{\wedge_p})^a),\Set]}( X , \sA),
\]
where $\Pfd(S^a) $ denotes the category of perfectoid almost $S$-algebras, and $[\C,\Set]$ denotes set-valued functors on $\C$. When $X$ is representable by a $(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a $-algebra $C$, we simply denote this by $ \oR\Gamma_{\Pfd}(C,\sA)$ --- when  $C$ is perfectoid, this  will just be $\sA(C)$.
\end{definition}

The following gives a refinement of \cite[Theorem 1.17]{BhattMorrowScholze}, addressing some of the questions in \cite[Remark 1.11]{BhattMorrowScholze}

\begin{theorem}\label{mainthm4}
If $R$ is a  $p$-adically complete $\Lambda_p$-ring over $\Z_p$, and $A$ 
 a formal $R$-deformation  of a smooth ring over $(R/p)$, then the complex
\[
\oR\Gamma_{\Pfd}((A[\zeta_{p^{\infty}}]\ten_R \Psi^{1/p^{\infty}}R)^{\wedge_p},\sA_{\inf}) 
\]
of $\Z_p[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$-modules 
is almost quasi-isomorphic to $(\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/R))^{\wedge_p} $ for any $\Lambda_p$-ring structure on $A$
 coming from a framing over $R$ as in Theorem \ref{mainthm3}.
 \end{theorem}
\begin{proof}
First observe that $((\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/R))^{\wedge_p} )^a $ is the completion of $\hat{\qDR}_p(A/R)$ with respect to the category of cosimplicial perfectoid almost $\Lambda_p$-rings over $\Z[q^{1/p^{\infty}}]^{\wedge_{(p,q-1)}}$. 
 Combining the definition of $\widehat{\qDR}_p$ with Lemma \ref{cfperfectoid}, it then follows that for $X=\Spec A$ and $Y=\Spec R$, the complex $(\widehat{\qDR}_p(A/R)^{\wedge_p})_* $ is given by the homotopy limit
\[
 \oR\Gamma_{\Pfd}((X_{\strat}^q \by_{Y_{\strat}^q}Y) \circ (\sA_{\inf})_*, (\sA_{\inf})_*).
\]

 Writing $X^{\infty}(C):= \im( \Lim_{\Psi^p} X(C_*) \to X(C_*))$,  Lemma \ref{perfectoidreplemma} then combines with  the description above to give
\begin{align*}
 (\widehat{\qDR}_p(A/R)^{\wedge_p})_* &\simeq \oR\Gamma_{\Pfd}(X^{\infty}\by_{Y^{\infty}}\Lim_{\Psi^p}Y, (\sA_{\inf})_*),\\
&\simeq \oR\Gamma_{\Pfd}(X^{\infty}\by_Y\Lim_{\Psi^p}Y, (\sA_{\inf})_*).
\end{align*}

We now introduce a Grothendieck topology on the category $[ \Pfd_{(\Z[\zeta_{p^{\infty}}]^{\wedge_p})^a},\Set]$  by taking covering morphisms to be those maps $C \to C'$ of perfectoid algebras
which are almost faithfully flat  modulo $p$. Since $C^{\flat}=\Lim_{\Phi} (C/p)$, the functor $\sA_{\inf}$ satisfies descent with respect to these coverings, so
the map 
\[
 \oR\Gamma_{\Pfd}((X^{\infty}\by_Y\Lim_{\Psi^p}Y)^{\sharp}, (\sA_{\inf})_*)\to
\oR\Gamma_{\Pfd}(X^{\infty}\by_Y\Lim_{\Psi^p}Y, (\sA_{\inf})_*) 
\]
is a quasi-isomorphism, where $(-)^{\sharp}$ denotes sheafification. 

In other words, the calculation of $(\widehat{\qDR}_p(A/R)^{\wedge_p})^a$ is not affected if  we  tweak the definition of $X^{\infty}$ by taking the image sheaf instead of the image presheaf. 
We then have
\[
 (X^{\infty})^{\sharp}(C)=\bigcup_{C\to C'} \im( X(C_*)\by_{X(C'_*)} \Lim_{\Psi^p} X(C_*')\to X(C_*)), 
\]
where $C \to C'$ runs over all covering  morphisms.  

Now, $\Lim_{\Psi^p} X$ is represented by the perfectoid algebra $(\Psi^{1/p^{\infty}}A)^{\wedge_p}$, which  is isomorphic to $A[x_1^{1/p^{\infty}}, \ldots,x_d^{1/p^{\infty}}]^{\wedge_p}$ as in the proof of  Lemma \ref{perfectioncoholemma}. This allows us to appeal to Andr\'e's results \cite[\S 2.5]{andreFacteur} as generalised in \cite[Theorem 2.3]{bhattDirectSummand}.
For any  morphism $f \co A \to C$,  there exists a 
covering
morphism $C \to C_i$
such that $f(x_i)$ has  arbitrary $p$-power roots in $C_i$. Setting $C':= C_1\ten_C \ldots \ten_C C_d$, this means that the composite $A \xra{f} C \to C'$ extends to a map $(\Psi^{1/p^{\infty}}A)^{\wedge_p} \to C'$, so $f \in (X^{\infty})^{\sharp}(C)$. We have thus shown that $(X^{\infty})^{\sharp}=X$, giving the required equivalence
\[
 ((\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/R))^{\wedge_p} )_*  \simeq \oR\Gamma_{\Pfd}(X\by_Y\Lim_{\Psi^p}Y, (\sA_{\inf})_*).
\]
\end{proof}


\begin{corollary}\label{finalcor}
If $R$ is a  $p$-adically complete $\Lambda_p$-ring over $\Z_p$, and $A$ 
 a formal $R$-deformation  of a smooth ring over $(R/p)$, then the $q$-de Rham cohomology complex $(q\mbox{-}\Omega^{\bt}_{A/R, \boxempty}\ten_{R[q]}(\Psi^{1/p^{\infty}}R)[q^{1/p^{\infty}}])^{\wedge_p}$ is, up to quasi-isomorphism, independent of a choice of co-ordinates $\boxempty$. 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}}]\ten_R \Psi^{1/p^{\infty}}R)^{\wedge_p}$.
\end{corollary}
\begin{proof}
 By Theorem \ref{mainthm4}, we know that the complex  $((\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/R))^{\wedge_p})_*$ depends only on $(A[\zeta_{p^{\infty}}]\ten_R \Psi^{1/p^{\infty}}R)^{\wedge_p}$. Since 
\[
 \Psi^{1/p^{\infty}}\qDR_p(A/R) = \Psi^{1/p^{\infty}}\qDR_p((A\ten_R \Psi^{1/p^{\infty}}R)/\Psi^{1/p^{\infty}}R),
\]
 Theorem \ref{mainthm3} combines with Lemmas \ref{perfectioncoholemma} and \ref{recoveralmost} to give 
\[
( q\mbox{-}\Omega^{\bt}_{A/R, \boxempty}\ten_{R[q]}(\Psi^{1/p^{\infty}}R)[q^{1/p^{\infty}}])^{\wedge_p} \simeq \oL\eta_{(q-1)}((\Psi^{1/p^{\infty}}\hat{\qDR}_p(A/R))^{\wedge_p})_*,
\]
which completes the proof.
\end{proof}

\begin{remark}[Scholze's conjectures]
If we weaken the conjectures of \cite{scholzeqdef} by attaching roots of $q$, then most of them follow from the results above.  
Taking $R=\Z_p$ in Corollary \ref{finalcor} establishes the analogue of  \cite[Conjecture 3.1]{scholzeqdef} (co-ordinate independence of $q$-de Rham cohomology over $\Z$) via an arithmetic fracture square. Taking more general base rings $R$ in Corollary \ref{finalcor} gives an analogue of  \cite[Conjecture 7.1]{scholzeqdef}, further weakened by having to invert all Adams operations on $R$.

The description of Theorem \ref{mainthm4} is very closely related to the definition of $A\Omega^{\bt}$ in \cite[Definition 1.12]{BhattMorrowScholze}, giving an analogue of \cite[Conjecture 4.3]{scholzeqdef}, and hence the comparison with singular cohomology in \cite[Conjecture 3.3]{scholzeqdef}. The operations described in \cite[Conjectures 6.1 and 6.2]{scholzeqdef} correspond to the Adams operations on $\qDR$ respectively at and away from the residue characteristics. Remark \ref{qconnrmk} provides a category of $q$-connections as described in \cite[Conjecture 7.5]{scholzeqdef}; these will correspond via Theorem \ref{mainthm} to projective $\sA_{\inf}$-modules on the site of integral perfectoid algebras over  $A[\zeta_{p^{\infty}}]^{\wedge_p}$, so are again independent of co-ordinates after base change to $\Z[q^{1/P^{\infty}}]$.

\end{remark}




\bibliographystyle{alphanum}
