1. Bökstedt periodicity for $\mathbb {F}_p$

We want to give a proof of the fundamental result of Bökstedt, that THH of $\mathbb {F}_p$ is a polynomial ring on a degree-two generator. The proof presented here is closely related to the Thom spectrum proof in [Reference BlumbergBlu10] based on a result of Hopkins and Mahowald, but in our opinion it is more direct, see Appendix A for a precise discussion.

Let us first give a slightly more conceptual formulation of Bökstedt's result.

Here $\mathbb {F}_p[\Omega S^{3}]$ is the group ring of the $\mathbb {E}_1$-group $\Omega S^{3}$ over $\mathbb {F}_p$, i.e. the $\mathbb {F}_p$-homology $\mathbb {F}_p \otimes _\mathbb {S} \Sigma ^{\infty }_+ \Omega S^{3}$. The equivalence between the two formulations relies on the fact that $\Omega S^{3}$ is the free $\mathbb {E}_1$-group on $S^{2}$, where $S^{2}$ is considered as a pointed space. The latter fact follows from the fact, due to Boardman-Vogt and May, that the functor $\Omega$ induces an equivalence between pointed connected spaces and $\mathbb {E}_1$-groups, see [Reference LurieLur17, Theorem 5.2.6.10]. Thus, for any pointed space $X$ (here $X = S^{2}$) maps of $\mathbb {E}_1$-groups from $\Omega \Sigma X$ to any $\mathbb {E}_1$-group $G = \Omega Y$ are indeed given by maps of pointed spaces $\Sigma X \to Y$ or equivalently maps of pointed spaces $X \to \Omega Y= G$. A similar argument using $\Omega ^{2}$ and $\mathbb {E}_2$-groups shows that $\Omega ^{2} \Sigma ^{2} X$ is the free $\mathbb {E}_2$-group on any pointed space $X$.

Our proof of Theorem 1.1 relies on a structural result about the dual Steenrod algebra $\mathbb {F}_p \otimes _\mathbb {S} \mathbb {F}_p$. We consider this spectrum as an $\mathbb {F}_p$-algebra using the inclusion into the left factor.Footnote ² It is an $\mathbb {E}_\infty$-algebra over $\mathbb {F}_p$, but has a universal description as an $\mathbb {E}_2$-algebra. This result seems to be known, at least to some experts, but we have not been able to find it written up in the literature.

We give a proof of Theorem 1.2 in the next section. However, let us first deduce Theorem 1.1 from it.

Proof of Theorem 1.1 We have an equivalence of $\mathbb {E}_1$-algebras

\begin{align*} \operatorname{THH}(\mathbb{F}_p)& \simeq \mathbb{F}_p \otimes_{\mathbb{F}_p \otimes_\mathbb{S} \mathbb{F}_p} \mathbb{F}_p\\ &\simeq \mathbb{F}_p \otimes_{\mathbb{F}_p[\Omega^{2} S^{3}]} \mathbb{F}_p \\ &\simeq \mathbb{F}_p[ \operatorname{Bar}(\operatorname{pt}, \Omega^{2} S^{3}, \operatorname{pt}) ] \\ &\simeq \mathbb{F}_p [ \Omega S^{3}] . \end{align*}

The third equivalence uses that $\mathbb {F}_p[-]$ sends products to tensor products and preserves colimits.

Remark 1.3 If one only wants to use that $\mathbb {F}_p \otimes _\mathbb {S} \mathbb {F}_p$ is free as an abstract $\mathbb {E}_2$-algebra and avoid space-level arguments, one can observe that in any pointed presentably symmetric monoidal $\infty$-category $\mathcal {C}$ one has for every object $X \in C$ an equivalence

\[ \mathbb{1} \otimes_{\operatorname{Free}_{\mathbb{E}_{n+1}(X)}} \mathbb{1} \simeq \operatorname{Free}_{\mathbb{E}_n}(\Sigma X) . \]

This is proven in [Reference LurieLur17, Corollary 5.2.2.13] for $n=0$ and the case $n >0$ can be reduced to this case using Dunn additivity by replacing $\mathcal {C}$ with the $\infty$-category of augmented $\mathbb {E}_n$-algebras $\operatorname {Alg}_{\mathbb {E}_n}^{\operatorname {aug}}(\mathcal {C})$. This $\infty$-category satisfies the assumptions of [Reference LurieLur17, Corollary 5.2.2.13] by [Reference LurieLur17, Proposition 5.1.2.9].

1.1 Proof of Theorem 1.2

In order to prove this result we first recall from [Reference Bruner, May, McClure and SteinbergerBMMS86, III.3] that for every $\mathbb {E}_2$-ring spectrum $R$ over $\mathbb {F}_2$ there exist Dyer–Lashof operations

\[ Q^{i}: \pi_k R \to \pi_{k+i}R \]

for $i \leq k+1$. Similarly, for an $\mathbb {E}_2$-algebra $R$ over $\mathbb {F}_p$ with odd $p$, there exist operations

\begin{align*} Q^{i}:&\ \pi_kR \to \pi_{k+2i(p-1)}R\\ \beta Q^{i} :&\ \pi_k R \to \pi_{k+2i(p-1)-1}R \end{align*}

for $2i \leq k +1$. They satisfy the usual relations, except that for the top operations (where $2i=k+1$) there are correction terms in terms of the Browder bracket. In particular, they are not generally additive. See [Reference Bruner, May, McClure and SteinbergerBMMS86, III.3, Theorem], where the top operations are denoted by $\xi _1$.

Note that for odd $p$, because $Q^{i} x = 0$ when $2i < |x|$ and $Q^{i} x = x^{p}$ when $2i=|x|$, the only interesting operations are the top operations $Q^{({|x|+1})/{2}} x$ for odd $|x|$. Similarly, for $p=2$, the only interesting operations are $Q^{|x|+1}x$. The iterates of these operations describe generators of the homotopy of the free $\mathbb {E}_2$-algebra.

Proposition 1.4 Let $R$ be the free $\mathbb {E}_2$-algebra over $\mathbb {F}_p$ on a generator in degree one. Then

1. (i) for $p=2$ we have

   \[ \pi_*R \cong\mathbb{F}_2[x_1, x_2, \ldots], \]
   where $|x_i| = 2^{i} -1$; the element $x_{i+1}$ is given by $Q^{2^{i}}Q^{2^{i-1}} \ldots Q^{8}Q^{4}Q^{2} x_1$. In addition, $\beta x_i = x_{i-1}^{2}$.

2. (ii) for $p$ odd we have

   \[ \pi_*R \cong\Lambda_{\mathbb{F}_p}(y_0, y_1, \ldots) \otimes \mathbb{F}_p[z_1, z_2, \ldots], \]
   where $|y_i| = 2p^{i} - 1$, $|z_i|= 2p^{i} - 2$; the element $y_{i+1}$ is given by $Q^{p^{i}}\ldots Q^{p} Q^{1} y_0$, the element $z_i$ is given by $\beta Q^{p^{i}}\ldots Q^{p} Q^{1} y_0$.

Any $\mathbb {E}_2$-algebra $R$ over $\mathbb {F}_p$ whose homotopy ring together with the action of the Dyer–Lashof operations is of the above form, is also free on a generator in degree one.

Proof. The free $\mathbb {E}_2$-algebra over $\mathbb {F}_p$ on a generator in degree one is given by $\mathbb {F}_p[\Omega ^{2} S^{3}]$, see the discussion after Theorem 1.1. Thus, we are simply describing $H_*(\Omega ^{2} S^{3}; \mathbb {F}_p)$ with the Pontryagin ring structure. The first part is due to Araki and Kudo [Reference Kudo and ArakiKA56, Theorem 7.1], the second part is due to Dyer and Lashof [Reference Dyer and LashofDL62, Theorem 5.2]. These results are relatively straightforward computations using the Serre spectral sequence and the Kudo transgression theorem.

Now for the last statement assume that we have given any such $R$ and any non-trivial element $x_1 \in \pi _1(R)$. We get an induced map from the free algebra $\operatorname {Free}_{\mathbb {E}_2}(x_1) \to R$. As this map is an $\mathbb {E}_2$-map the induced map on homotopy groups is compatible with the ring structure as well as the indicated Dyer–Lashof operations. Everything is generated from $x_1$ under these operations in the same way, so the map is an equivalence.

Proof of Theorem 1.2 By Proposition 1.4 we only have to verify that the homotopy groups of $\mathbb {F}_p \otimes _{\mathbb {S}} \mathbb {F}_p$ have the correct ring structure and Dyer–Lashof operations. This is a classical calculation due to Milnor for the ring structure and Steinberger [Reference Bruner, May, McClure and SteinbergerBMMS86, Chapter 3, Theorems 2.2 and 2.3] for the Dyer–Lashof operations: at $p=2$, the generator $x_i$ corresponds to the Milnor basis element $\overline {\zeta }_i$, at $p$ odd $z_i$ corresponds to the element $\overline {\xi }_i$ and $y_i$ to $\overline {\tau }_i$.

Remark 1.5 We want to remark that Theorem 1.1 also implies Theorem 1.2. To see this, assume that Theorem 1.1 holds. We have that $\pi _1(\mathbb {F}_p \otimes _{\mathbb {S}} \mathbb {F}_p)$ is isomorphic to $\mathbb {F}_p$, generated by an element $b$. We can thus choose an $\mathbb {E}_2$-map

\[ \operatorname{Free}_{\mathbb{E}_2}(b) \to \mathbb{F}_p\otimes_\mathbb{S} \mathbb{F}_p \]

which induces an equivalence on $1$-types.Footnote ³ We can form the bar construction on these augmented $\mathbb {F}_p$-algebras, and the resulting map

\[ \operatorname{Free}_{\mathbb{E}_1}(x) \to \operatorname{THH}(\mathbb{F}_p) \]

is an equivalence on $\pi _2$, so by Theorem 1.1 it is an equivalence. Thus, Theorem 1.2 follows from the following lemma.

Lemma 1.6 Let $A\to B$ be a map of augmented connected $\mathbb {E}_1$-algebras over $\mathbb {F}_p$. Then if the map

\[ \mathbb{F}_p\otimes_A \mathbb{F}_p \to \mathbb{F}_p\otimes_B \mathbb{F}_p \]

is an equivalence, so is $A\to B$.

Proof. Assume $A\to B$ is not an equivalence. Let $d$ denote the connectivity of the cofiber of $A\to B$, i.e. $\pi _i(B/A) = 0$ for $i< d$, but $\pi _d(B/A)\neq 0$. The spectrum $\mathbb {F}_p\otimes _A \mathbb {F}_p$ admits a filtration (obtained by filtering the bar construction over $\mathbb {F}_p$ by its skeleta) whose associated graded is given in degree $n$ by $\Sigma ^{n} (A/\mathbb {F}_p)^{\otimes _{\mathbb {F}_p} n}$. Here $A/\mathbb {F}_p$ is the cofiber of $\mathbb {F}_p\to A$ and $1$-connective by assumption. The map

\[ \Sigma^{n} (A/\mathbb{F}_p)^{\otimes_{\mathbb{F}_p} n} \to \Sigma^{n} (B/\mathbb{F}_p)^{\otimes_{\mathbb{F}_p} n} \]

has $(d + 2n - 1)$-connective cofiber. Thus, the $(d+1)$-type of the cofiber of $\mathbb {F}_p\otimes _A \mathbb {F}_p \to \mathbb {F}_p\otimes _B \mathbb {F}_p$ receives no contribution from the terms for $n\geq 2$, and coincides with the $(d+1)$-type of the cofiber of $\Sigma (A/\mathbb {F}_p) \to \Sigma (B/\mathbb {F}_p)$, which is $\Sigma (B/A)$ and has non-vanishing $\pi _{d+1}$ by assumption. Thus, $\mathbb {F}_p\otimes _A \mathbb {F}_p \to \mathbb {F}_p\otimes _B \mathbb {F}_p$ cannot have been an equivalence.

2. Bökstedt periodicity for perfect rings

Now we also want to recover the well-known calculation of $\operatorname {THH}$ for a perfect $\mathbb {F}_p$-algebra $k$. This can directly be reduced to Bökstedt's theorem. Let us first note that there is a morphism $\operatorname {THH}(\mathbb {F}_p) \to \operatorname {THH}(k)$ induced from the map $\mathbb {F}_p \to k$. Moreover, the spectrum $\operatorname {THH}(k)$ is a $k$-module, so that we obtain an induced map

(1)\begin{equation} k[x] \simeq k \otimes_{\mathbb{F}_p} \operatorname{THH}(\mathbb{F}_p) \to \operatorname{THH}(k), \end{equation}

where the first term $k[x]$ denotes the free $\mathbb {E}_1$-algebra on a generator in degree two.

Proof. Recall that for every perfect $\mathbb {F}_p$-algebra $k$ there is a $p$-complete $\mathbb {E}_\infty$-ring spectrum $\mathbb {S}_{W(k)}$, called the spherical Witt vectors, with $\pi _0(\mathbb {S}_{W(k)}) \cong W(k)$ and which is flat over $\mathbb {S}_p$, see, e.g., [Reference LurieLur18, Theorem 5.2.5 and Example 5.2.7]. It follows that the homology $\mathbb {Z} \otimes _{\mathbb {S}} \mathbb {S}_{W(k)}$ is given by $W(k)$ and, thus, the $\mathbb {F}_p$-homology $\mathbb {F}_p \otimes _\mathbb {S} \mathbb {S}_{W(k)}$ by $k$.

In particular we get that

\begin{align*} \operatorname{THH}(k) &\simeq \operatorname{THH}(\mathbb{F}_p \otimes_\mathbb{S} \mathbb{S}_{W(k)}) \\ &\simeq \operatorname{THH}(\mathbb{F}_p) \otimes_\mathbb{S} \operatorname{THH}(\mathbb{S}_{W(k)}) \\ &\simeq \operatorname{THH}(\mathbb{F}_p)\otimes_{\mathbb{F}_p} (\mathbb{F}_p \otimes_\mathbb{S} \operatorname{THH}(\mathbb{S}_{W(k)})) \\ &\simeq \operatorname{THH}(\mathbb{F}_p)\otimes_{\mathbb{F}_p} \operatorname{HH}(k / \mathbb{F}_p) , \end{align*}

where $\operatorname {HH}(k / \mathbb {F}_p)$ is the Hochschild homology of $k$ relative to $\mathbb {F}_p$. The result now follows once we know that this is given by $k$ concentrated in degree zero. This immediately follows from the vanishing of the cotangent complex of $k$ but we want to give a slightly different argument here.

It suffices to show that the positive dimensional groups $\operatorname {HH}_i(k/\mathbb {F}_p)$ are zero. To see this it is enough to show that for every $\mathbb {F}_p$-algebra $A$ the Frobenius $\varphi : A \to A$ induces the zero map $\operatorname {HH}_i(A/ \mathbb {F}_p) \to \operatorname {HH}_i(A / \mathbb {F}_p)$ for $i > 0$, because for $A = k$ perfect the Frobenius is also an isomorphism. Now for general $A$ this follows because $\operatorname {HH}(A/\mathbb {F}_p)$ is a simplicial commutative $\mathbb {F}_p$-algebra and the Frobenius $\varphi$ acts through the levelwise Frobenius. However, the levelwise Frobenius for every simplicial commutative $\mathbb {F}_p$-algebra induces the zero map in positive dimensional homotopy. This follows because for every simplicial commutative $\mathbb {F}_p$-algebra $R_\bullet$ the Frobenius can be factored as $\pi _n(R_\bullet ) \to \pi _n(R_\bullet )^{\times p} \to \pi _n(R_\bullet )$ where the latter map is induced by the multiplication $R_\bullet ^{\times p} \to R_\bullet$ considered as a map of underlying simplicial sets. For $n > 0$ it follows by an Eckmann–Hilton argument that the multiplication map $\pi _n(R_\bullet ) \times \pi _n(R_\bullet ) \to \pi _n(R_\bullet )$ is at the same time bilinear and linear, hence zero.

Remark 2.2 Note that the proof in particular shows that $\operatorname {THH}(\mathbb {S}_{W(k)})$ is $p$-adically equivalent to $\mathbb {S}_{W(k)}$ as this can be checked on $\mathbb {F}_p$-homology. We also write $\operatorname {THH}(\mathbb {S}_{W(k)};\mathbb {Z}_p)$ for the $p$-completion of $\operatorname {THH}(\mathbb {S}_{W(k)})$ so that we have

\[ \operatorname{THH}(\mathbb{S}_{W(k)};\mathbb{Z}_p) \simeq \mathbb{S}_{W(k)} . \]

Integrally this is not quite the case, as one encounters contributions form the cotangent complex $L_{W(k)/\mathbb {Z}}$ which only vanishes after $p$-completion.

We also note that one can also deduce Proposition 2.1 from a statement similar to Theorem 1.2 which we want to list for completeness.

Proposition 2.3 For $k$ a perfect $\mathbb {F}_p$-algebra, we have

\[ k\otimes_{\mathbb{S}_{W(k)}} k \simeq \operatorname{Free}^{k}_{\mathbb{E}_2}(\Sigma k), \]

i.e. the spectrum $k\otimes _{\mathbb {S}_{W(k)}} k$ is as an $\mathbb {E}_2$-$k$-algebra free on a single generator in degree one.

Proof. As $\mathbb {S}_{W(k)} \otimes _{\mathbb {S}} \mathbb {F}_p \simeq k$, we have

\[ k\otimes_{\mathbb{S}_{W(k)}} k \simeq k \otimes_{\mathbb{S}} \mathbb{F}_p \simeq k\otimes_{\mathbb{F}_p} (\mathbb{F}_p \otimes_{\mathbb{S}} \mathbb{F}_p), \]

so the statement follows from base-changing the statement over $\mathbb {F}_p$.

3. Bökstedt periodicity for CDVRs

Now we want to turn our attention to CDVRs. We determine their absolute $\operatorname {THH}$ later, but for the moment we focus on an analogue of Bökstedt's theorem which works relative to the $\mathbb {E}_\infty$-ring spectrum

\[ \mathbb{S}[z] := \mathbb{S}[\mathbb{N}] = \Sigma^{\infty}_+ \mathbb{N} . \]

For a CDVR $A$ we let $\pi$ be a uniformizer, i.e. a generator of the maximal ideal, and consider it as a $\mathbb {S}[z]$-algebra via $z\mapsto \pi$. Everything that follows will implicitly depend on such a choice. By assumption $A$ is complete with respect to $\pi$. As $\pi$ is a non-zero-divisor this is equivalent to $A$ being derived $\pi$-complete. Moreover, $A$ if has residue field of characteristic $p$, then $A$ is also (derived) $p$-complete because $p$ is contained in the maximal ideal.

The following result is, at least in mixed characteristic, due to Bhatt, Lurie, and Scholze, in a private communication; versions of it also appear in [Reference Bhatt, Morrow and ScholzeBMS19] and in [Reference Antieau, Mathew and NikolausAMN18].

Theorem 3.1 Let $A$ be a CDVR with perfect residue field $k$ of characteristic $p$. Then we have

\begin{align*} \operatorname{THH}_*(A / \mathbb{S}[z]; \mathbb{Z}_p) \cong A[x] \end{align*}

for $x$ in degree two.

Proof. We distinguish the cases of equal and of mixed characteristic. In mixed characteristic we have the equation of ideals $(p) = (\pi ^{e})$ where $e$ is the ramification index. We deduce that $\operatorname {THH}(A / \mathbb {S}[z]; \mathbb {Z}_p)$ is $\pi$-complete because it is $p$-complete. We can write the mod $\pi$ reduction of the $A$-module spectrum $\operatorname {THH}(A/\mathbb {S}[z];\mathbb {Z}_p)$ as

\begin{align*} \operatorname{THH}(A/ \mathbb{S}[z];\mathbb{Z}_p) / \pi&\simeq \operatorname{THH}(A/ \mathbb{S}[z];\mathbb{Z}_p)\otimes_A k\\ &\simeq \operatorname{THH}(A / \mathbb{S}[z]; \mathbb{Z}_p) \otimes_A (A\otimes_{\mathbb{S}[z]} \mathbb{S})\\ &\simeq \operatorname{THH}(A/\mathbb{S}[z];\mathbb{Z}_p)\otimes_{\mathbb{S}[z]}\mathbb{S}\\ &\simeq \operatorname{THH}(A\otimes_{\mathbb{S}[z]} \mathbb{S} / \mathbb{S}; \mathbb{Z}_p)\\ &\simeq \operatorname{THH}(k), \end{align*}

where we in the third equivalence we used that the $\mathbb {S}[z]$-module structure on $\operatorname {THH}(A/\mathbb {S}[z];\mathbb {Z}_p)$ factors through the $A$-module structure, and in the fourth equivalence we used the fact that base-change from $\mathbb {S}[z]$-modules to $\mathbb {S}$-modules is symmetric monoidal and preserves colimits, thus commutes with relative $\operatorname {THH}$ (because it can be described as a cyclic bar construction).

By Proposition 2.1 this shows that the mod $\pi$ reduction of $\operatorname {THH}(A/\mathbb {S}[z];\mathbb {Z}_p)$ has homotopy groups given by an even-dimensional polynomial ring over $k$. Thus, from the long exact sequence associated with the cofiber sequence

\[ \operatorname{THH}(A/ \mathbb{S}[z];\mathbb{Z}_p) \xrightarrow{\pi} \operatorname{THH}(A/ \mathbb{S}[z];\mathbb{Z}_p) \to \operatorname{THH}(k) \]

we see that the odd homotopy groups of $\operatorname {THH}(A/ \mathbb {S}[z];\mathbb {Z}_p)$ have vanishing mod $\pi$ reduction. As they are also derived $\pi$-complete we deduce that they vanish. Then it follows that the even homotopy groups are $\pi$-torsion free. The result now follows by choosing a lift of the Bökstedt element $x$ to $\operatorname {THH}_2(A/ \mathbb {S}[z];\mathbb {Z}_p)$ and observing that the induced map

\[ A[x] \to \operatorname{THH}_*(A/ \mathbb{S}[z];\mathbb{Z}_p) \]

is an isomorphism modulo $\pi$ and, thus, an isomorphism.

If $A$ is of equal characteristic $p$ then $A$ is isomorphic to the formal power series ring $k[\kern -0.1em[{z}]\kern -0.1em]$. We consider the $\mathbb {E}_\infty$-ring $\mathbb {S}_{W(k)}[\kern -0.1em[{z}]\kern -0.1em]$ obtained as the $z$-completion of $\mathbb {S}_{W(k)}[z]$. Then we have an equivalence

\[ k[\kern-0.1em[{z}]\kern-0.1em] \simeq \mathbb{F}_p \otimes_\mathbb{S} \mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] \]

which uses that $\mathbb {F}_p$ is of finite type over the sphere. As a result, we obtain an equivalence

\begin{align*} \operatorname{THH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}[z]) & \simeq \operatorname{THH}(\mathbb{F}_p) \otimes_\mathbb{S} \operatorname{THH}( \mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}[z])\\ & \simeq \operatorname{THH}(\mathbb{F}_p) \otimes_{\mathbb{F}_p} ( \mathbb{F}_p \otimes_\mathbb{S} \operatorname{THH}( \mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}[z]) ) \\ & \simeq \operatorname{THH}(\mathbb{F}_p) \otimes_{\mathbb{F}_p} \operatorname{HH}( k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z]) . \end{align*}

Now in order to show the claim it suffices to show that $\operatorname {HH}( k[\kern -0.1em[{z}]\kern -0.1em] / \mathbb {F}_p[z])$ is concentrated in degree zero (where it is given by $k[\kern -0.1em[{z}]\kern -0.1em]$). In order to prove this we first note that $\mathbb {F}_p[z] \to k[\kern -0.1em[{z}]\kern -0.1em]$ is (derived) relatively perfect, i.e. the square

(2)

is a pushout of commutative ring spectra, where $\varphi$ is the Frobenius. This holds because $1,z,\ldots,z^{p-1}$ is basis for $\mathbb {F}_p[z]$ as a $\varphi (\mathbb {F}_p[z]) = \mathbb {F}_p[z^{p}]$-module and also for $k[\kern -0.1em[{z}]\kern -0.1em]$ as a $\varphi (k[\kern -0.1em[{z}]\kern -0.1em]) = k[\kern -0.1em[{z^{p}}]\kern -0.1em]$-module. Now the map

\[ \pi_i(\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z]) \otimes_{\mathbb{F}_p[z]} \mathbb{F}_p[z]) \to \pi_i\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z]) \]

induced from the square (2) is an equivalence because the square is a pushout. We claim again, as in the proof of Proposition 2.1, that this map is zero for $i>0$. As $\varphi : \mathbb {F}_p[z] \to \mathbb {F}_p[z]$ is flat, we have

\[ \pi_i(\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z]) \otimes_{\mathbb{F}_p[z]} \mathbb{F}_p[z]) \cong \pi_i(\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z])) \otimes_{\mathbb{F}_p[z]} \mathbb{F}_p[z] \]

as right $\mathbb {F}_p[z]$-modules. The map

\[ \pi_i(\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z])) \otimes_{\mathbb{F}_p[z]} \mathbb{F}_p[z] \to \pi_i\operatorname{HH}(k[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{F}_p[z]) \]

is induced up from the map $\pi _i\operatorname {HH}(k[\kern -0.1em[{z}]\kern -0.1em]/\mathbb {F}_p[z]) \to \pi _i\operatorname {HH}(k[\kern -0.1em[{z}]\kern -0.1em]/\mathbb {F}_p[z])$ induced by the Frobenius of $k[\kern -0.1em[{z}]\kern -0.1em]$, which is given by the Frobenius of the simplicial commutative ring $\operatorname {HH}(k[\kern -0.1em[{z}]\kern -0.1em] / \mathbb {F}_p[z])$. Thus, it is zero on positive-dimensional homotopy groups.

Remark 3.3 Let $A$ be a not necessarily complete DVR of mixed characteristic $(0,p)$ with perfect residue field. Then we have that

\[ \operatorname{THH}(A/\mathbb{S}[z];\mathbb{Z}_p) \to \operatorname{THH}(A_p / \mathbb{S}[z];\mathbb{Z}_p) \]

is an equivalence where $A_p$ is the $p$-completion of $A$. This is true for every ring $A$. Moreover, for a DVR the $p$-completion $A_p$ is the same as the completion of $A$ with respect to the maximal ideal so that Theorem 3.1 applies to yield that

\[ \operatorname{THH}_*(A/\mathbb{S}[z];\mathbb{Z}_p) \cong A_p[x] . \]

For every prime $\ell \neq p$ we have that

\[ \operatorname{THH}(A / \mathbb{S}[z] ; \mathbb{Z}_\ell) \simeq 0 \]

because $\ell$ is invertible in $A$. If we can show that $\operatorname {THH}(A / \mathbb {S}[z])$ is finitely generated as an A-module, the Nakayama lemma implies that $\operatorname {THH}_*(A / \mathbb {S}[z]) \cong A[x]$ without $p$-completion. This holds, for example, for $A = \mathbb {Z}_{(p)}$ or more generally for localization of rings of integers at prime ideals. However, in general, one cannot control the rational homotopy type of $\operatorname {THH}(A/\mathbb {S}[z])$, as the example of $\mathbb {Z}_p$ shows, where we receive contributions from $\mathbb {Z}_p \otimes _\mathbb {Z} \mathbb {Z}_p$.

In equal characteristic we do not know how to compute $\operatorname {THH}_*(A/\mathbb {S}[z];\mathbb {Z}_p)$ if $A$ is not complete, because, in general, the cotangent complex $L_{A / \mathbb {F}_p[z]}$ does not vanish.Footnote ⁴

We also want to remark that there are some equivalent ways of stating Theorem 3.1 which might be a bit more canonical from a certain point of view.

Proposition 3.5 In the situation of Theorem 3.1 the map $\mathbb {S}[z] \to A$ extends to a map $\mathbb {S}_{W(k)}[\kern -0.1em[{z}]\kern -0.1em] \to A$ by completeness of $A$. The induced canonical maps

are all equivalences.

Proof. For the upper four maps this follows from the equivalences

\begin{align*} &\operatorname{THH}(\mathbb{S}[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}[z];\mathbb{Z}_p) \simeq \mathbb{S}[\kern-0.1em[{z}]\kern-0.1em]^{\wedge}_p ,\\ &\operatorname{THH}(\mathbb{S}_{W(k)}[z] / \mathbb{S}[z];\mathbb{Z}_p) \simeq \mathbb{S}_{W(k)}[z]^{\wedge}_p ,\\ &\operatorname{THH}(\mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}_{W(k)}[z];\mathbb{Z}_p) \simeq \mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] ,\\ &\operatorname{THH}(\mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em] / \mathbb{S}[\kern-0.1em[{z}]\kern-0.1em]];\mathbb{Z}_p) \simeq \mathbb{S}_{W(k)}[\kern-0.1em[{z}]\kern-0.1em], \end{align*}

which can all be checked in $\mathbb {F}_p$-homology (see Remark 2.2 and the proof of Theorem 3.1). The last two vertical equivalences follows because $\operatorname {THH}(A / \mathbb {S}_{W(k)}[z])$ and $\operatorname {THH}(A / \mathbb {S}_{W(k)}[\kern -0.1em[{z}]\kern -0.1em])$ are already $p$-complete. If $A$ is of equal characteristic this is clear anyhow (and in the whole diagram we did not need the $p$-completions). In mixed characteristic this follows from Lemma 3.6, because $A$ is of finite type over $\mathbb {S}_{W(k)}[z]$ and over $\mathbb {S}_{W(k)}[\kern -0.1em[{z}]\kern -0.1em]$, which can be seen by the presentation

\begin{align*} A \cong W(k)[z]/E(z) \cong W(k)[\kern-0.1em[{z}]\kern-0.1em]/ E(z) , \end{align*}

where $E$ is the minimal polynomial of the uniformizer $\pi$.

Recall that a connective ring spectrum $A$ over a connective, commutative ring spectrum $S$ is said to be of finite type if $A$ is as an $R$-module a filtered colimit of perfect modules along increasingly connective maps (i.e. has a cell structure with finite ‘skeleta’).

We now consider quotients $A'$ of a CDVR $A$ as in Theorem 3.1. Every ideal is of the form $(\pi ^{k}) \subseteq A$ and thus $A' \cong A/\pi ^{k}$ for some $k \geq 1$.

Proposition 3.7 For a CDVR $A$ with residue field of characteristic $p$, and a quotient $A' = A/(\pi ^{k})$ of $A$, where $\pi$ denotes a choice of uniformizer, we have a canonical equivalence

\[ \operatorname{THH}(A' / \mathbb{S}[z]) \simeq \operatorname{THH}(A / \mathbb{S}[z]; \mathbb{Z}_p) \otimes_{\mathbb{Z}[z]} \operatorname{HH}( (\mathbb{Z}[z]/z^{k})/\mathbb{Z}[z]) \]

and on homotopy groups we obtain

\[ \operatorname{THH}_*(A' /\mathbb{S}[z]) \cong A'[x]\langle y \rangle, \]

where $y$ is a divided power generator in degree two.

Proof. As $\pi$ is a non-zero divisor we can write $A' \simeq A \otimes _{\mathbb {S}[z]} (\mathbb {S}[z]/z^{k})$ where $\mathbb {S}[z] / z^{k}$ is the reduced suspension spectrum of the pointed monoid $\mathbb {N} / [k, \infty )$. Thus, we find

\begin{align*} \operatorname{THH}(A' / \mathbb{S}[z]) & \simeq \operatorname{THH}(A / \mathbb{S}[z]) \otimes_{\mathbb{S}[z]} \operatorname{THH}( (\mathbb{S}[z]/z^{k}) / \mathbb{S}[z])\\ & \simeq \operatorname{THH}(A / \mathbb{S}[z]) \otimes_{\mathbb{Z}[z]} (\mathbb{Z} \otimes_\mathbb{S} \operatorname{THH}( (\mathbb{S}[z]/z^{k}) / \mathbb{S}[z]) )\\ & \simeq \operatorname{THH}(A / \mathbb{S}[z]) \otimes_{\mathbb{Z}[z]} \operatorname{HH}( (\mathbb{Z}[z]/z^{k})\, / \mathbb{Z}[z])\\ & \simeq \operatorname{THH}(A / \mathbb{S}[z]; \mathbb{Z}_p) \otimes_{\mathbb{Z}[z]} \operatorname{HH}( (\mathbb{Z}[z]/z^{k})\, / \mathbb{Z}[z]), \end{align*}

where in the last step we have used that $p$ is nilpotent in $A'$ and, thus, we are already $p$-complete. Finally $\operatorname {HH}( (\mathbb {Z}[z]/z^{k})/\mathbb {Z}[z])$ is given by a divided power algebra $(\mathbb {Z}[z]/z^{k})\langle y \rangle$. To see this we first observe that $\mathbb {Z}[z]/z^{k} \otimes _{\mathbb {Z}[z]} \mathbb {Z}[z]/z^{k}$ is given by the exterior algebra $\Lambda _{\mathbb {Z}[z]/z^{k}}(e)$ with $e$ in degree one. Then it follows that $\operatorname {HH}( (\mathbb {Z}[z]/z^{k})/\mathbb {Z}[z])$, which is the bar construction on that, is given by

\[ \operatorname{Tor}_*^{\Lambda_{\mathbb{Z}[z]/z^{k}}(e)} (\mathbb{Z}[z]/z^{k}, \mathbb{Z}[z]/z^{k}) = (\mathbb{Z}[z]/z^{k})\langle y \rangle . \]

This implies the claim.

4. Absolute $\operatorname {THH}$ for CDVRs

For $A$ a CDVR with perfect residue field of characteristic $p$ we have computed $\operatorname {THH}$ relative to $\mathbb {S}[z]$. In order to compute the absolute $\operatorname {THH}$ we are going to employ a spectral sequence which works very generally (see Proposition 7.1).

Proposition 4.1 For every commutative algebra $A$ (over $\mathbb {Z}$) with an element $\pi \in A$ considered as a $\mathbb {S}[z]$-algebra there is a canonical multiplicative, convergent spectral sequence

\[ \operatorname{THH}_*(A / \mathbb{S}[z]; \mathbb{Z}_p) \otimes_{\mathbb{Z}[z]} \Omega^{*}_{\mathbb{Z}[z] / \mathbb{Z}} \Rightarrow \operatorname{THH}_*(A; \mathbb{Z}_p). \]

Now for $A$ a CDVR we want to use this spectral sequence to determine $\operatorname {THH}_*(A; \mathbb {Z}_p)$. From Theorem 3.1 we see that this spectral sequence takes the form

\[ E^{2} = A[x] \otimes \Lambda(dz) \Rightarrow \operatorname{THH}_*(A; \mathbb{Z}_p) \]

with $|x| = (2,0)$ and $|dz| = (0,1)$:

Using the multiplicative structure one only has to determine a single differential

\[ d^{2}: A \{ x\} \to A \{ dz \} . \]

In the equal characteristic case this has to vanish since $x$ can be chosen to lie in the image of the map $\operatorname {THH}(\mathbb {F}_p) \to \operatorname {THH}(A; \mathbb {Z}_p) \to \operatorname {THH}(A / \mathbb {S}[z]; \mathbb {Z}_p)$ and, thus, has to be a permanent cycle. Thus, the spectral sequence degenerates and we get $\operatorname {THH}_*(A) \cong A[x] \otimes \Lambda (dz)$ as there can not be any extension problems for degree reasons.Footnote ⁵

Let us now assume that $A$ is a CDVR of mixed characteristic. Once we have chosen a uniformizer $\pi$ we get a minimal polynomial $E(z) \in W(k)[z]$ which we normalize such that ${E(0) = p}$. Note that usually $E$ is taken to be monic, of the form $E(z) = z^{e} + p\theta (z)$. This differs from our convention by the unit $\theta (0)$.

Proof. Here $\operatorname {THH}(A;\mathbb {Z}_p)$ agrees with $\operatorname {THH}(A / \mathbb {S}_{W(k)}; \mathbb {Z}_p)$, because $\operatorname {THH}(\mathbb {S}_{W(k)};\mathbb {Z}_p) = \mathbb {S}_{W(k)}$. As $A$ is of finite type over $\mathbb {S}_{W(k)}$ we use Lemma 3.6 to see that $\operatorname {THH}(A / \mathbb {S}_{W(k)}; \mathbb {Z}_p) \simeq \operatorname {THH}(A/\mathbb {S}_{W(k)})$. For connectivity reasons,

\[ \operatorname{THH}_1(A/\mathbb{S}_{W(k)}) \cong \operatorname{HH}_1(A/W(k)) \cong \Omega^{1}_{A / W(k)} . \]

As $A \cong W(k)[z]/E(z)$, we have

\[ \Omega^{1}_{A/W(k)}\cong (A / E'(\pi))\{dz\}. \]

Comparing with the spectral sequence, this means that the image of $d^{2}: E^{2}_{2,0}\to E^{2}_{0,1}$ is precisely the submodule of $A\{dz\}$ generated by $E'(\pi ) \,dz$. As $A$ is a domain, any two generators of a principal ideal differ by a unit and, thus, for any generator $x$ in degree $(2,0)$, $d^{2}(x)$ differs from $E'(\pi ) \,dz$ by a unit. In particular, we can choose $x$ such that $d^{2}(x) = E'(\pi ) \,dz$.

Lemma 4.2 implies that $\operatorname {THH}_*(A, \mathbb {Z}_p)$ is isomorphic to the homology of the DGA

\[ (A[x]\otimes\Lambda(d\pi), \partial), \quad |x| = 2,|d\pi| = 1 \]

with differential $\partial x = E'(\pi )\cdot d\pi$ and $\partial (d\pi ) = 0$ as there are no multiplicative extensions possible. Here we have named the element detected by $dz$ by $d\pi$ as it is given by the Connes operator $d: \operatorname {THH}_*(A, \mathbb {Z}_p) \to \operatorname {THH}_*(A, \mathbb {Z}_p)$ applied to the uniformizer $\pi$. This follows from the identification of the degree $1$ part with $\Omega ^{1}_{A/W(k)}$ as in the proof of Lemma 4.2. We warn the reader that we have obtained this description for $\operatorname {THH}_*(A; \mathbb {Z}_p)$ from the relative $\operatorname {THH}$ which depends on a choice of uniformizer. As a result the DGA description is only natural in maps that preserve the chosen uniformizer.

The homology of this DGA can easily be additively evaluated to yield the following result, which was first obtained in [Reference Lindenstrauss and MadsenLM00, Theorem 5.1], but with completely different methods.

Theorem 4.4 (Lindenstrauss–Madsen)

For a CDVR $A$ of mixed characteristic $(0,p)$ with perfect residue field we have non-natural isomorphismsFootnote ⁶

\[ \operatorname{THH}_*(A; \mathbb{Z}_p) \cong \begin{cases} A & \text{for } * = 0 \\ A/ n E'(\pi) & \text{for } * = 2n-1 \\ 0 & \text{otherwise}, \end{cases} \]

where $\pi$ is a uniformizer with minimal polynomial $E$.

In this case the multiplicative structure is necessarily trivial, so that we do not really get more information from the DGA description. However, we also obtain a spectral sequence analogous to that of Proposition 4.1 for $p$-completed $\operatorname {THH}$ of $A$ with coefficients in a discrete $A$-algebra $A'$, which is $\operatorname {THH}(A;\mathbb {Z}_p) \otimes _A A'$. This takes the same form, just base-changed to $A'$. Thus, we obtain the following result, which was of course also known before.

Proposition 4.5 For a CDVR $A$ of mixed characteristic and any map of commutative algebras $A \to A'$ we have a non-natural ring isomorphism

\[ \pi_*(\operatorname{THH}(A;\mathbb{Z}_p) \otimes_A A') \cong H_*(A'[x] \otimes \Lambda(d\pi), \partial) \]

with $\partial x = E'(x)\,d\pi$ and $\partial (d\pi )=0$.

5. Absolute $\operatorname {THH}$ for quotients of DVRs

Now we return to the case of quotients of DVRs. Thus, let $A' = A/\mathfrak {m}^{k} \cong A/\pi ^{k}$ where $A$ is a DVR with perfect residue field of characteristic $p$. Recall that in Proposition 3.7 we have shown that

\begin{align*} \operatorname{THH}_*(A' /\mathbb{S}[z]) \cong A'[x]\langle y \rangle. \end{align*}

We want to consider the spectral sequence of Proposition 4.1, which in this case takes the form

\[ E^{2} = A'[x]\langle y \rangle \otimes \Lambda(dz) \Rightarrow \operatorname{THH}_*(A') \]

with $|x| = (2,0)$, $|y| = (2,0)$ and $|dz| = (0,1)$:

Here we write $y^{[n]}$ for the $n$th divided power of $y$. The reader should think of $y^{[n]}$ as ‘$y^{n}/n!$’.

Proof. The construction of the spectral sequence of Proposition 4.1 (given in the proof of Proposition 7.1) applies generally to any $\operatorname {HH}(\mathbb {Z}[z]/\mathbb {Z})$-module $M$ to produce a spectral sequence

\[ \pi_*(M\otimes_{\operatorname{HH}(\mathbb{Z}[z]/\mathbb{Z})} \mathbb{Z}[z]) \otimes_{\mathbb{Z}[z]} \operatorname{HH}_*(\mathbb{Z}[z]/\mathbb{Z}) \Rightarrow \pi_*(M). \]

As we can write $A' \simeq A\otimes _{\mathbb {S}[z]} (\mathbb {S}[z]/z^{k})$, we have

\[ \operatorname{THH}(A') \simeq \operatorname{THH}(A)\otimes_{\operatorname{THH}(\mathbb{S}[z])} \operatorname{THH}(\mathbb{S}[z]/z^{k}). \]

As we also have a $\mathbb {Z}$-module structure on $\operatorname {THH}(A)$, we can further identify this with

\[ \simeq \operatorname{THH}(A)\otimes_{(\mathbb{Z}\otimes_{\mathbb{S}} \operatorname{THH}(\mathbb{S}[z]))} (\mathbb{Z}\otimes_{\mathbb{S}} \operatorname{THH}(\mathbb{S}[z]/z^{k})) \simeq \operatorname{THH}(A) \otimes_{\operatorname{HH}(\mathbb{Z}[z])} \operatorname{HH}(\mathbb{Z}[z]/z^{k}), \]

where the $\operatorname {HH}(\mathbb {Z}[z])$-action on $\operatorname {THH}(A)$ is somewhat curious, and arises simply as a combination of the $\mathbb {Z}$-action and the $\operatorname {THH}(\mathbb {S}[z])$-action on $\operatorname {THH}(A)$.

Thus, we have a map of $\operatorname {HH}(\mathbb {Z}[z])$-algebras $\operatorname {HH}(\mathbb {Z}[z]/z^{k}) \to \operatorname {THH}(A')$, and thus a multiplicative map of the corresponding spectral sequences. The spectral sequence for $\operatorname {HH}(\mathbb {Z}[z]/z^{k})$ is of the form

\[ \operatorname{HH}_*((\mathbb{Z}[z]/z^{k}) / \mathbb{Z}[z]) \otimes \Lambda(dz) \Rightarrow \operatorname{HH}(\mathbb{Z}[z]/z^{k}). \]

We have that $\operatorname {HH}_*((\mathbb {Z}[z]/z^{k}) / \mathbb {Z}[z]) \simeq (\mathbb {Z}[z]/z^{k})\langle y \rangle$. As the spectral sequence is multiplicative, we obtain

\[ i! d^{2}(y^{[i]}) = d^{2}(y^{i}) = i\,d^{2}(y) y^{i-1} = i! d^{2}(y) y^{[i-1]}, \]

and because the $E^{2}$-page consists of torsion-free abelian groups, we can divide this equation by $i!$ to obtain

\[ d^{2}(y^{[i]}) = d^{2}(y) y^{[i-1]}, \]

i.e. the differential is compatible with the divided power structure.

Now, $\operatorname {HH}_1((\mathbb {Z}[z]/z^{k}) / \mathbb {Z}[z]) \cong \Omega ^{1}_{(\mathbb {Z}[z]/z^{k})/\mathbb {Z}[z]} \cong (\mathbb {Z}[z]/z^{k})\{dz\} / kz^{k-1}\,dz$. In particular, in the spectral sequence

\[ \operatorname{HH}_*((\mathbb{Z}[z]/z^{k}) / \mathbb{Z}[z]) \otimes \Lambda(dz) \Rightarrow \operatorname{HH}(\mathbb{Z}[z]/z^{k}), \]

$d^{2}(y)$ is a unit multiple of $kz^{k-1}\,dz$. We can thus choose our generator $y$ of $\operatorname {HH}_2((\mathbb {Z}[z]/z^{k}) / \mathbb {Z}[z])$ in such a way that $d^{2}(y) = k z^{k-1} \,dz$, and by compatibility with divided powers, $d^{2}(y^{[i]}) = k z^{k-1} \cdot y^{[i-1]} \,dz$. After base-changing along $\mathbb {Z}[z]\to A$, this implies the claim.

Theorem 5.2 Let $A' \cong A/\pi ^{k}$ be a quotient of a DVR $A$ with perfect residue field of characteristic $p$. Then $\operatorname {THH}_*(A')$ is as a ring non-naturally isomorphic to the homology of the DGA

\[ (A'[x]\langle y \rangle \otimes\Lambda(d\pi), \partial), \quad |x| = 2, |y| = 2, |d\pi| = 1 \]

with differential $\partial$ given by $\partial (d\pi ) = 0$ and $\partial (y^{[i]}) = k \pi ^{k-1} \cdot y^{[i-1]} \,d\pi$ and

\[ \partial(x) = \begin{cases} E'(\pi)\cdot d\pi & \text{if }A\text{ is of mixed characteristic,} \\ 0 & \text{if }A\text{ is of equal characteristic.} \end{cases} \]

Here $\pi \in A$ is a uniformizer and $E$ its minimal polynomial.

6. Evaluation of the result

In this section we want to make the results of Theorem 5.2 explicit. We start by considering the case of the $p$-adic integers $\mathbb {Z}_p$, in which Theorem 5.2 reduces additively to Brun's result, but gives some more multiplicative information. We note that all the computations in this section depend on the presentation $A' = A/\pi ^{k}$ and are, in particular, highly non-natural in $A'$.

Example 6.1 We start by discussing the case $A = \mathbb {Z}_p$ and $k \geq 2$. We pick the uniformizer $\pi =p$. The minimal polynomial is $E(z)=z-p$, and $A' = \mathbb {Z}/p^{k}$. The resulting groups $\operatorname {THH}_*(\mathbb {Z}/p^{k})$ were additively computed by Brun [Reference BrunBru00].

We have $\partial (y^{[i]}) = kp^{k-1} y^{[i-1]} \,d\pi$, and because the minimal polynomial is given by $z-p$ we obtain $\partial x = d\pi$. If $k\geq 2$, then $y' = y-k p^{k-1} x$ still has divided powers, given by

\[ (y')^{[i]} = \sum_{l\geq 0} (-1)^{l} \frac{k^{l} p^{l(k-1)}}{l!}y^{[i-l]} x^{l}, \]

which makes sense because $v_p(l!) < {l}/({p-1})\leq l(k-1)$ by Lemma 6.6.

Now $\partial ((y')^{[i]}) = 0$, and we get a map of DGAs

\[ ( (\mathbb{Z}/p^{k})[x] \otimes\Lambda(d\pi), \partial)\otimes_\mathbb{Z} (\mathbb{Z}\langle y' \rangle, 0) \to ((\mathbb{Z}/p^{k})[x]\langle y \rangle \otimes\Lambda(d\pi), \partial), \]

which is an isomorphism by a straightforward filtration argument. By Proposition 4.5, the homology of $((\mathbb {Z}/p^{k})[x] \otimes \Lambda (d\pi ), \partial )$ coincides with $\pi _*(\operatorname {THH}(\mathbb {Z}_p)\otimes _{\mathbb {Z}_p} \mathbb {Z}/p^{k})$. Thus, applying the Künneth theorem we obtain

\[ \operatorname{THH}_*(\mathbb{Z}/p^{k}) \cong \pi_*(\operatorname{THH}_*(\mathbb{Z}_p)\otimes_{\mathbb{Z}_p} \mathbb{Z}/p^{k})\otimes_\mathbb{Z} \mathbb{Z}\langle y'\rangle \]

as rings. Concretely, we obtain

\begin{align*} \operatorname{THH}_*(\mathbb{Z}/p^{k}) &\cong \bigoplus_{i\geq 0} \pi_{*-2i}(\operatorname{THH}(\mathbb{Z}_p)\otimes_{\mathbb{Z}_p} \mathbb{Z}/p^{k})\\ &\cong\begin{cases} \mathbb{Z}/p^{k} \oplus \bigoplus_{1\leq i\leq n} \mathbb{Z}/{\gcd(p^{k},i)} & \text{for } *=2n,\\ \bigoplus_{1\leq i\leq n} \mathbb{Z}/{\gcd(p^{k},i)} & \text{for } *=2n-1 . \end{cases} \end{align*}

Thus, in the case $k\geq 2$, we can replace the divided power generator of our DGA by one in the kernel of $\partial$. We contrast this with the case $k=1$. In this case, of course, we expect to recover Bökstedt's result $\operatorname {THH}_*(\mathbb {Z}/p) \cong (\mathbb {Z}/p)[x]$, but it is nevertheless interesting to analyze this result in terms of Theorem 5.2 and observe how this differs from Example 6.1.

Example 6.2 For $A=\mathbb {Z}_p$ with uniformizer $p$ and $k=1$, i.e. $A'=\mathbb {Z}/p$, we have $\partial x = d\pi$ and $\partial y = d\pi$. Here, we can set $x' = x - y$ to obtain an isomorphism of DGAs

\[ ( \mathbb{Z}[x'] , 0)\otimes_\mathbb{Z} ((\mathbb{Z}/p)\langle y \rangle\otimes\Lambda(d\pi), \partial) \to ((\mathbb{Z}/p)[x]\langle y \rangle \otimes\Lambda(d\pi), \partial). \]

As $\partial y^{[i]} = y^{[i-1]}\,dz$, and thus the homology of the second factor is just $\mathbb {Z}/p$ in degree zero, Künneth applies to show that $\operatorname {THH}_*(\mathbb {Z}/p) \cong (\mathbb {Z}/p)[x']$.

The two qualitatively different behaviors illustrated in Examples 6.1 and 6.2 also appear in the general case: for sufficiently big $k$, we can modify the divided power generator $y$ to a $y'$ that splits off, and obtain a description in terms of $\operatorname {THH}(A; A')$ (Proposition 6.7). For sufficiently small $k$, we can modify the polynomial generator to an $x'$ that splits off, and obtain a description in terms of $\operatorname {HH}(A')$ (Proposition 6.4). In the general case, as opposed to the case of the integers, these two cases do not cover all possibilities, and for $k$ in a certain region the homology groups of the DGA of Theorem 5.2 are possibly without a clean closed form description.

Recall that, in the DGA of Theorem 5.2, we have $\partial x = E'(\pi )\,d\pi$ and $\partial y = k\pi ^{k-1}\,d\pi$. Keep in mind that the description depends on a choice of uniformizer and Eisenstein polynomial, but then everything is unambiguously defined, in particular the elements $x$ and $y$. The behavior of the DGA depends on which of the two coefficients has greater valuation.

Lemma 6.3 In mixed characteristic, we have

\begin{align*} \operatorname{THH}_2(A') \cong A' \oplus A/{\gcd(E'(\pi),k\pi^{k-1},\pi^{k})}.\\ \end{align*}

1. (i) If $p|k$ and $\pi ^{k} | E'(\pi )$, we can take as generators

   \[ \operatorname{THH}_2(A') \cong A'\{x,y\}. \]

2. (ii) If $p|k$ and $E'(\pi ) | \pi ^{k}$, we can take as generators

   \[ \operatorname{THH}_2(A') \cong A'\{y\} \oplus (A/E'(\pi))\biggl\{\frac{\pi^{k}}{E'(\pi)}x\biggr\}. \]

3. (iii) If $p\nmid k$ and $E'(\pi ) | \pi ^{k-1}$, we can take as generators

   \[ \operatorname{THH}_2(A') \cong A'\biggl\{y'= y - \frac{k\pi^{k-1}}{E'(\pi)} x\biggr\} \oplus (A/E'(\pi))\biggl\{\frac{\pi^{k}}{E'(\pi)} x\biggr\}. \]

4. (iv) If $p\nmid k$ and $\pi ^{k-1} | E'(\pi )$, we can take as generators

   \[ \operatorname{THH}_2(A') \cong A'\biggl\{x'= x - \frac{E'(\pi)}{k\pi^{k-1}} y\biggr\} \oplus (A/\pi^{k-1})\{\pi y\}. \]

Proof. By Theorem 5.2, $\operatorname {THH}_2(A')$ is isomorphic to the kernel of the map

\[ \partial: A'\{x,y\} \to A'\{d\pi\}, \]

where $\partial x = E'(\pi )\,d\pi$, $\partial y = k\pi ^{k-1} \,d\pi$. In the first case, both coefficients vanish in $A'$, because both are divisible by $\pi ^{k}$, so in that case the kernel is free on $x,y$ as claimed.

In the second case, $\partial y = 0$ in $A'$, and $\partial x\in A'\{d\pi \}$ has annihilator ideal generated by ${\pi ^{k}}/{E'(\pi )}$. Thus, the kernel is generated by $y$ and $({\pi ^{k}}/{E'(\pi )})x$, and they generate a submodule of the form $A'\oplus (A/E'(\pi ))$.

In the third case, observe first that the indicated $y'$ and $x$ together form another basis of $A'\{x,y\}$. We have $\partial y' = 0$, so it is contained in the kernel. The annihilator ideal of $\partial x \in A'\{d\pi \}$ is as in the second case, so we again see that the kernel is of the form $A'\oplus (A/E'(\pi ))$, but this time the first summand is generated by $y'$.

In the fourth case, we again observe that the indicated $x'$ and $y$ form another basis of $A'\{x,y\}$, and $\partial x' = 0$. The annihilator ideal of $\partial y\in A'\{d\pi \}$ is (due to $p\nmid k$) generated by $\pi$, and so the kernel is generated by $x'$ and $\pi y$. They generate a submodule of the form $A' \oplus (A/\pi ^{k-1})$.

We now want to discuss the structure of $\operatorname {THH}_*(A')$ in the cases appearing in Lemma 6.3. We start with the simplest case, which is analogous to Example 6.2.

Proposition 6.4 Assume we are in the situation of Theorem 5.2 and that either $A$ is of equal characteristic, or $A$ is of mixed characteristic and we are in case (i) or (iv) of Lemma 6.3, i.e. $p|k$ and $\pi ^{k} | E'(\pi )$, or $p\nmid k$ and $\pi ^{k-1} | E'(\pi )$. Then, we have

\[ \operatorname{THH}_*(A') \cong \mathbb{Z}[x'] \otimes_\mathbb{Z} H_*(A'\langle y \rangle \otimes\Lambda(d\pi), \partial), \quad |x'| = 2 \]

which evaluates additively to

\begin{align*} \operatorname{THH}_{2k}(A'; \mathbb{Z}_p) &\cong A/\pi^{k} \oplus \bigoplus_{i=1}^{k} A/\!\gcd(k\pi^{k-1},\pi^{k}),\\ \operatorname{THH}_{2k-1}(A'; \mathbb{Z}_p) &\cong \bigoplus_{i=1}^{k} A/\!\gcd(k\pi^{k-1},\pi^{k}). \end{align*}

Proof. We set $x'=x$ if $A$ is of equal characteristic or if $p|k$ and $\pi ^{k} | E'(\pi )$, and $x' = x - ({E'(\pi )}/{k\pi ^{k-1}})y$ if $p\nmid k$ and $\pi ^{k-1} | E'(\pi )$. Then $\partial x'=0$. We obtain a map of DGAs

\[ ( \mathbb{Z}[x'] , 0)\otimes_\mathbb{Z} (A'\langle y \rangle\otimes\Lambda(d\pi), \partial) \to (A'[x]\langle y \rangle \otimes\Lambda(d\pi), \partial), \]

which is an isomorphism by a straightforward filtration argument. By Künneth, we obtain an isomorphism

\begin{align*} \operatorname{THH}_*(A') \cong \mathbb{Z}[x'] \otimes_\mathbb{Z} H_*(A'\langle y \rangle\otimes\Lambda(d\pi), \partial). \end{align*}

The additive description of the homology is easily seen from the fact that $\partial y^{[i]} = k\pi ^{k-1} (d\pi ) y^{[i-1]}$.

Essentially, the takeaway of Proposition 6.4 is that in cases (i) and (iv) of Lemma 6.3 we can modify the polynomial generator $x$ to a cycle which splits a polynomial factor off $\operatorname {THH}(A')$.

One would hope that, complementarily, in cases (ii) and (iii), we can split off a divided power factor. This is only true under more restrictive conditions. To formulate those, we require the following lemma on the valuation of factorials.

Lemma 6.6 (Legendre)

For a natural number $l \geq 1$ and a prime $p$ we have

\[ v_p(l!) < \frac{l}{p-1}. \]

Proof. We count how often $p$ divides $l!$. Every multiple of $p$ not greater than $l$ provides a factor of $p$, every multiple of $p^{2}$ provides an additional factor of $p$, and so on. We obtain the following formula, due to Legendre:

\[ v_p(l!) = \sum_{i\geq 1} \biggl\lfloor\frac{l}{p^{i}}\biggr\rfloor, \]

where $\lfloor -\rfloor$ denotes rounding down to the nearest integer. In particular,

\[ v_p(l!) < \sum_{i \geq 1} \frac{l}{p^{i}} = \frac{l}{p-1}. \]

Proposition 6.7 Assume we are in the situation of Theorem 5.2, and for $A$ of equal characteristic $p|k$, and for $A$ of mixed characteristic either $p|k$ (i.e. we are in case (i) or (ii) of Lemma 6.3), or we have the following strengthening of case (iii):

\[ v_p\biggl(\frac{k\pi^{k-1}}{E'(\pi)}\biggr)\geq \frac{1}{p-1}. \]

Then we have an isomorphism of rings

\[ \operatorname{THH}_*(A') \cong \pi_*(\operatorname{THH}(A)\otimes_A A') \otimes_\mathbb{Z} \mathbb{Z}\langle y' \rangle, \quad |y'| = 2. \]

In particular, we get additively

\begin{align*} \operatorname{THH}_{2k}(A'; \mathbb{Z}_p) &\cong A/\pi^{k} \oplus \bigoplus_{i=1}^{k} A/\!\gcd(iE'(\pi), \pi^{k})\\ \operatorname{THH}_{2k-1}(A'; \mathbb{Z}_p) &\cong \bigoplus_{i=1}^{k}A/\!\gcd(iE'(\pi), \pi^{k}) . \end{align*}

Proof. If $p|k$, all $y^{[i]}$ are cycles, and we set $y' := y$. If

\[ v_p\biggl(\frac{k\pi^{k-1}}{E'(\pi)}\biggr)\geq \frac{1}{p-1}, \]

we set $y' = y - ({k\pi ^{k-1}}/{E'(\pi )})x$. In either case, $(y')$ admits divided powers, defined in the first case just by $(y')^{[i]} = y^{[i]}$, and in the second case by

\[ (y')^{[i]} = \sum_{l\geq 0} (-1)^{l}\frac{k^{l} \pi^{l(k-1)}}{E'(\pi)^{l} l!}y^{[i-l]} x^{l}, \]

which is well-defined because

\[ v_p\biggl(\frac{k^{l}\pi^{l(k-1)}}{E'(\pi)^{l}}\biggr) \geq \frac{l}{p-1} > v_p(l!) \]

by assumption and Lemma 6.6.

We obtain a map of DGAs

\[ ( (\mathbb{Z}/p^{k})[x] \otimes\Lambda(d\pi), \partial)\otimes (\mathbb{Z}\langle y' \rangle, 0) \to ((\mathbb{Z}/p^{k})[x]\langle y \rangle \otimes\Lambda(d\pi), \partial), \]

which is an isomorphism by a straightforward filtration argument. By Proposition 4.5 and Künneth, we then obtain

\[ \operatorname{THH}_*(A'; \mathbb{Z}_p) \cong \pi_*(\operatorname{THH}(A)\otimes_A A')\otimes_\mathbb{Z} \mathbb{Z}\langle y'\rangle. \]

Finally, we want to illustrate that the case ‘in between’ Propositions 6.7 and 6.4 is more complicated and probably does not admit a simple uniform description.

Example 6.8 For a mixed characteristic CDVR $A$ with perfect residue field and $A'=A/\mathfrak {m}^{k}=A/\pi ^{k}$, Theorem 5.2 implies that the even-degree part of $\operatorname {THH}_*(A')$ is given by the kernel of $\partial$ in the DGA $(A'[x]\langle y\rangle \otimes \Lambda (d\pi ),\partial )$. We can thus consider $\bigoplus \operatorname {THH}_{2n}(A')$ as a subring of $A'[x]\langle y\rangle$.

Suppose we are in the situation of case (iii) of Lemma 6.3. Then a basis for $\operatorname {THH}_2(A')$ is given by

\[ y- \frac{k\pi^{k-1}}{E'(\pi)} x,\quad \frac{\pi^{k}}{E'(\pi)}x. \]

Now suppose the valuations of the coefficients ${k\pi ^{k-1}}/{E'(\pi )}$ and ${\pi ^{k}}/{E'(\pi )}$ are positive, but small, say smaller than $ {1}/{p}$. Then observe that

\[ \biggl(y- \frac{k\pi^{k-1}}{E'(\pi)} x\biggr)^{p} = \frac{k^{p}\pi^{p(k-1)}}{E'(\pi)^{p}} x^{p} \text{ mod } p, \]

in particular, under our assumptions, $(y- ({k\pi ^{k-1}}/{E'(\pi )}) x)^{p}$ is divisible by $\pi$ but not $p$. Similarly,

\[ \biggl(\frac{\pi^{k}}{E'(\pi)}x\biggr)^{p} = \frac{\pi^{kp}}{E'(\pi)^{p}} x^{p} \]

is divisible by $\pi$ but not $p$. Thus, both of our generators of $\operatorname {THH}_2(A')$ are nilpotent, but cannot admit divided powers. It is not hard to see that this holds more generally for any element of $\operatorname {THH}_2(A')$ that is non-zero mod $\pi$. Thus, in this situation, $\operatorname {THH}_*(A')$ cannot admit a description similar to Proposition 6.4 or 6.7.

One example for $A'$ fulfilling the requirements used here is given by $A=\mathbb {Z}_p[\sqrt [e]{p}]$ with uniformizer $\pi =\sqrt [e]{p}$, and $k=e+1$, as long as $p\nmid e$, $k$ and $e>2p$.

7. The general spectral sequences

We now want to establish a spectral sequence to compute absolute $\operatorname {THH}$ from relative ones of which Proposition 4.1 is a special case. This will come in two slightly different flavors. We let $R \to A$ be a map of commutative rings and let $\mathbb {S}_R$ be a lift of $R$ to the sphere, i.e. a commutative ring spectrum with an equivalence

\begin{align*} \mathbb{S}_R \otimes_\mathbb{S} \mathbb{Z} \simeq R. \end{align*}

The example that will lead to the spectral sequence of Proposition 4.1 is $R = \mathbb {Z}[z]$ and $\mathbb {S}_R = \mathbb {S}[z]$.

Recall that for every commutative ring $R$ we can form the derived de Rham complex $L\Omega _{R/\mathbb {Z}}$, which has a filtration whose associated graded is in degree $* = i$ given by a shift of the non-abelian derived functor of the $i$-term of the de Rham complex $\Omega ^{i}_{R/\mathbb {Z}}$ (considered as a functor in $R$). Concretely this is done by simplicially resolving $R$ by polynomial algebras $\mathbb {Z}[x_1,\ldots,x_k]$, taking $\Omega ^{i}_{\bullet /\mathbb {Z}}$ levelwise and considering the result via Dold–Kan as an object of $\mathcal {D}(\mathbb {Z})$. This derived functor agrees with the $i$th derived exterior power $\Lambda ^{i} L_{R/\mathbb {Z}}$ of the cotangent complex $L_{R/\mathbb {Z}}$. For $R$ smooth over $\mathbb {Z}$ this just recovers the usual terms in the de Rham complex. In general one should be aware that $L\Omega _{R/\mathbb {Z}}$ is a filtered chain complex, hence has two degrees, one homological and one filtration degree. We only need its associated graded $L\Omega ^{*}_{R/\mathbb {Z}}$ which is a graded chain complex. We warn the reader that the homological direction comes from deriving and has nothing to do with the de Rham differential.

Proposition 7.1 In the situation described above there are two canonical multiplicative, convergent spectral sequences

\begin{align*} &\pi_i(\operatorname{THH}(A/\mathbb{S}_R) \otimes_{R} \operatorname{HH}_j(R / \mathbb{Z})) \Rightarrow \pi_{i+j} \operatorname{THH}(A) ,\\ &\pi_i(\operatorname{THH}(A/\mathbb{S}_R) \otimes_{R} L\Omega^{j}_{R / \mathbb{Z}}) \Rightarrow \pi_{i+j} \operatorname{THH}(A) . \end{align*}

Here we use homological Serre grading, i.e. the displayed bigraded ring is the $E_2$-page and the $d^{r}$-differential has $(i,j)$-bidegree $(-r, r-1)$. A similar spectral sequence with all terms $p$-completed (including the tensor products) exists as well.

Proof. We consider the lax symmetric monoidal functor

(3)\begin{align} \operatorname{Mod}_{\operatorname{HH}(R/\mathbb{Z})} &\to \operatorname{Mod}_{\operatorname{THH}(A)} \nonumber\\ M &\mapsto \operatorname{THH}(A) \otimes_{\operatorname{HH}(R/\mathbb{Z})} M , \end{align}

where we have used the equivalence $\operatorname {HH}(R/\mathbb {Z}) \simeq \operatorname {THH}(\mathbb {S}_R) \otimes _\mathbb {S} \mathbb {Z}$ to obtain the $\operatorname {HH}(R/\mathbb {Z})$-module structure on $\operatorname {THH}(A)$.

Now we filter $\operatorname {HH}(R/\mathbb {Z})$ by two different filtrations: either by the Whitehead tower

\[ \cdots\to \tau_{\geq 2} \operatorname{HH}(R/\mathbb{Z}) \to \tau_{\geq 1} \operatorname{HH}(R/\mathbb{Z}) \to \tau_{\geq 0} \operatorname{HH}(R/\mathbb{Z}) = \operatorname{HH}(R/\mathbb{Z}) \]

or by the Hochschild–Kostant–Rosenberg (HKR) filtration [Reference Nikolaus and ScholzeNS18, Proposition IV.4.1]

\[ \cdots\to F^{2}_{\operatorname{HKR}} \to F^{1}_{\operatorname{HKR}}\to F^{0}_{\operatorname{HKR}} = \operatorname{HH}(R/\mathbb{Z}) . \]

The HKR filtration is, in fact, the derived version of the Whitehead tower, in particular for $R$ smooth (or more generally ind-smooth) the filtrations agree. Both filtrations are complete and multiplicative, in particular they are filtrations through $\operatorname {HH}(R/\mathbb {Z})$ modules. On the associated graded pieces the $\operatorname {HH}(R/\mathbb {Z})$-module structure factors through the map $\operatorname {HH}(R/\mathbb {Z}) \to R$ of ring spectra. This is obvious for the Whitehead tower and thus also follows for the HKR filtration. Thus the graded pieces are only $R$-modules and as such given by $\operatorname {HH}_i(R)$ in the first case and by $\Lambda ^{j} L_{R/ \mathbb {Z}}$ in the second case.

After applying the functor (3) to this filtration we obtain two multiplicative filtrations of $\operatorname {THH}(A)$:

\[ \operatorname{THH}(A) \otimes_{\operatorname{HH}(R/\mathbb{Z})} (\tau_{\geq j} \operatorname{HH}(R/\mathbb{Z})) \quad \text{and} \quad \operatorname{THH}(A) \otimes_{\operatorname{HH}(R/\mathbb{Z})} F^{j}_{\operatorname{HKR}}, \]

which are complete because the connectivity of the pieces tends to infinity. Let us identify the associated gradeds for the HKR filtration, the case of the Whitehead tower works the same:

\begin{align*} \operatorname{THH}(A) \otimes_{\operatorname{HH}(R/\mathbb{Z})} \Lambda^{j} L_{R/ \mathbb{Z}}& \simeq \operatorname{THH}(A) \otimes_{\operatorname{HH}(R/\mathbb{Z})} R \otimes_R \Lambda^{j} L_{R/ \mathbb{Z}}\\ & \simeq (\operatorname{THH}(A) \otimes_{\operatorname{THH}(\mathbb{S}_R)\otimes_{\mathbb{S}} \mathbb{Z}} (\mathbb{S}_R \otimes_{\mathbb{S}} \mathbb{Z})) \otimes_R \Lambda^{j} L_{R/ \mathbb{Z}}\\ & \simeq (\operatorname{THH}(A) \otimes_{\operatorname{THH}(\mathbb{S}_R)} \mathbb{S}_R) \otimes_R \Lambda^{j} L_{R/ \mathbb{Z}} \\ & \simeq (\operatorname{THH}(A / \mathbb{S}_R) \otimes_R \Lambda^{j} L_{R/ \mathbb{Z}} . \end{align*}

Thus by the standard construction we obtain conditionally convergent, multiplicative spectral sequences which are concentrated in a single quadrant and, therefore, convergent.

If $R$ is smooth (or more generally ind-smooth) over $\mathbb {Z}$ then the spectral sequences of Proposition 7.1 agree and take the form

\[ \operatorname{THH}_*(A/\mathbb{S}_R) \otimes_{R} \Omega^{*}_{R / \mathbb{Z}}\Rightarrow \operatorname{THH}_*(A) . \]

In general, the HKR spectral sequence seems to be slightly more useful even though the other one looks easier (at least easier to state). We explain the difference in the example of a quotient of a DVR in § 8 where $R = \mathbb {Z}[z]/z^{k}$ and $\mathbb {S}_R = \mathbb {S}[z]/z^{k}$.

Remark 7.2 With basically the same construction as in Proposition 7.1 (and if $R\otimes _\mathbb {Z} A$ is discrete in the first case) one obtains variants of these spectral sequences which take the form

\begin{align*} &\pi_i(\operatorname{THH}(A/\mathbb{S}_R) \otimes_{A} \operatorname{HH}_j(R \otimes_\mathbb{Z} A / A)) \Rightarrow \pi_{i+j} \operatorname{THH}(A),\\ &\pi_i(\operatorname{THH}(A/\mathbb{S}_R) \otimes_{A} L\Omega^{j}_{R \otimes_\mathbb{Z} A / A}) \Rightarrow \pi_{i+j} \operatorname{THH}(A) . \end{align*}

These spectral sequences agree with those of Proposition 7.1 as soon as $A$ is flat over $R$ or $R$ is smooth over $\mathbb {Z}$, which covers all cases of interest for us. These modified spectral sequences are probably, in general, the ‘correct’ ones, but we have decided to state Proposition 7.1 in the more basic form.

Finally we end this section by constructing a slightly different spectral sequence in the situation of a map of rings $A \to A'$. This was constructed in Theorem 3.1 of [Reference LindenstraussLin00]. See also Brun [Reference BrunBru00], which contains the special case $A=\mathbb {Z}_p$. We explain how it was used by Brun to compute $\operatorname {THH}_*(\mathbb {Z}/ p^{n})$ in the next section and compare that approach with ours.

Proposition 7.3 In general, for a map of rings $A \to A'$ there is a multiplicative, convergent spectral sequence

\[ \pi_i( \operatorname{HH}(A' /A) \otimes_{A'} \pi_j(\operatorname{THH}(A) \otimes_A A')) \Rightarrow \operatorname{THH}_{i+j}(A'). \]

Proof. We filter $\operatorname {THH}(A) \otimes _A A' =: T$ by its Whitehead tower $\tau _{\geq \bullet } T$ and consider the associated filtration

\[ \operatorname{THH}(A') \otimes_{T} \tau_{\geq \bullet}T . \]

This filtration is multiplicative, complete and the colimit is given by $\operatorname {THH}(A')$. The associated graded is given by

\begin{align*} \operatorname{THH}(A') \otimes_{T} \pi_jT & \simeq \operatorname{THH}(A') \otimes_{T} A' \otimes_{A'} \pi_j T \\ & \simeq ( \operatorname{THH}(A') \otimes_{\operatorname{THH}(A) \otimes_A A'} A' )\otimes_{A'} \pi_j T \\ & \simeq (\operatorname{THH}(A') \otimes_{ \operatorname{THH}(A)} A) \otimes_{A'} \pi_j T \\ & \simeq \operatorname{HH}(A' / A) \otimes_{A'} \pi_j T , \end{align*}

where we have again used various base change formulas for $\operatorname {THH}$.

8. Comparison of spectral sequences

Let us consider the situation of § 5, i.e. $A' = A/\pi ^{k}$ is a quotient of a DVR $A$ with perfect residue field of characteristic $p$. We want to compare four different multiplicative spectral sequences converging to $\operatorname {THH}(A')$ that can be used in such a situation. They all have absolutely isomorphic (virtual) $E^{0}$-pages give by $A[x]\langle y \rangle \otimes \Lambda (dz)$ but totally different grading and differential structure.

(i) In § 5 we have constructed a spectral sequence which ultimately identifies $\operatorname {THH}_*(A')$ as the homology of a DGA $(A'[x]\langle y\rangle \otimes \Lambda (d\pi ),\partial )$, see Theorem 5.2. This spectral sequence takes the form

i.e. we have both $x$ and $y$ along the lower edge, and they both support differentials hitting certain multiples of $dz$ (here $dz$ corresponds to $d\pi$). The main point is that it suffices to determine the differential on $x$ and $y$ and the rest follows using multiplicative and divided power structures. There is no space for higher differentials.

(ii) We now consider Brun's spectral sequence, see Proposition 7.3. It also computes $\operatorname {THH}_*(A')$ but has $E^{2}$-term

\[ E^{2} = \operatorname{HH}_*(A'/A) \otimes_{A'} \pi_*( \operatorname{THH}_*(A) \otimes_A A'). \]

As $\operatorname {HH}_*(A'/A)$ is a divided power algebra $A'\langle y\rangle$, and $\pi _*( \operatorname {THH}_*(A) \otimes _A A')$ can be computed as the homology of the DGA $(A'[x]\otimes \Lambda (dz),\partial )$ by Proposition 4.5, one can introduce a virtual zeroth page of the form

\[ E^{0} = A'[x]\langle y \rangle \otimes \Lambda(dz), \quad |y| = (2,0), |x| = (0,2), |dz| = (0,1). \]

We interpret $\partial$ as the $d^{0}$-differentialFootnote ⁸ and obtain the following picture:

This spectral sequence behaves well and degenerates in the ‘big $k$’ case discussed in Proposition 6.7, because then we have divided power elements $(y')^{[i]}\in \operatorname {THH}_*(A')$ that are detected by the $y^{[i]}$, but this is not obvious from this spectral sequence, and Brun [Reference BrunBru00] has to do serious work to determine its structure in the case $A'=\mathbb {Z}/p^{k}$ for $k\geq 2$.

In fact, for $A'=\mathbb {Z}/p^{k}$ with $k=1$ the spectral sequence becomes highly non-trivial. After $d^{0}$, determined by $d^{0}(x) = dz$, the leftmost column consists of elements of the form $x^{ip}$ and $x^{ip-1} \,dz$. From Example 6.2, we know that $\operatorname {THH}_*(\mathbb {F}_p)$ is polynomial on $x' = x-y$. This is detected as $y$ in this spectral sequence. As $y$ is a divided power generator, its $p$th power is zero on the $E_\infty$-page. However, $p^{k-1}(x-y)^{p} = p^{k-1}x^{p}$ and, thus, there is a multiplicative extension. In addition, the elements $x^{kp-1} \,dz$ and the divided powers of $y$ cannot exist on the $E_\infty$-page, so there are also longer differentials.

Although these phenomena might seem like a pathology in the case $A=\mathbb {Z}_p$ (after all, we knew $\operatorname {THH}(\mathbb {Z}/p)$ before) qualitatively, they generally appear whenever we are not in the ‘big $k$’ case discussed in Proposition 6.4.

(iii) We can also consider the first spectral sequence constructed in Proposition 7.1, which takes the form

\[ E^{2} = \operatorname{THH}_*(A' /(\mathbb{S}[z]/z^{k})) \otimes_{A'} \operatorname{HH}_i((A'[z]/z^{k})/A') \Rightarrow \operatorname{THH}_*(A'). \]

One obtains $\operatorname {THH}_*(A' / (\mathbb {S}[z]/z^{k}) ) \cong A'[x]$ by a version of Theorem 3.1, and $\operatorname {HH}((A'[z]/z^{k})/A')$ is computed as the homology of the DGA $(A'\langle y\rangle \otimes \Lambda (dz),\partial )$ where $y$ sits in degree two and $dz$ in degree one. Thus we again introduce a virtual $E^{0}$-term

\[ E^{0} = A'[x]\langle y \rangle \otimes \Lambda(dz), \quad |y| = (0,2), |x| = (2,0), |dz| = (0,1) \]

and consider $\partial$ as a $d^{0}$ differential. Then the spectral sequence visually looks as follows:

This spectral sequence behaves well and degenerates in the ‘small $k$’ case discussed in Proposition 6.4, because then we have a polynomial generator $x'\in \operatorname {THH}_*(A')$ whose powers are detected by the $x^{i}$. If we are not in this case, we generally have non-trivial extensions. For example, let $A'$ be chosen such that $p\nmid k$, and $\pi E'(\pi ) | \pi ^{k-1}$. In this case, $\operatorname {THH}_2(A')$, using Theorem 5.2, is of the form

\begin{align*} A'\{y'\} \oplus (A/E'(\pi))\biggl\{\frac{\pi^{k}}{E'(\pi)} x\biggr\}, \end{align*}

with

\[ y' = y - \frac{k\pi^{k-1}}{E'(\pi)} x. \]

In this spectral sequence, the $E^{\infty }$ page consists in total degree $2$ of a copy of $(A/\pi ^{k-1})\{\pi y\}$ in degree $(0,2)$, and a copy of $(A/\pi E'(\pi ))\{({\pi ^{k-1}}/{E'(\pi )})x\}$ in degree $(2,0)$. The element $y'\in \operatorname {THH}_2(A')$ is detected as a generator of the degree $(2,0)$ part, but it is not actually annihilated by $\pi E'(\pi )$. Rather, $\pi E'(\pi )y'$ agrees with $\pi E'(\pi )y$, detected as a $E'(\pi )$-multiple of the generator in degree $(0,2)$ and non-zero under our assumption $\pi E'(\pi ) | k\pi ^{k-1}$.

(iv) Finally we can consider the second spectral sequence constructed in Proposition 7.1 which takes the form

\[ E^{2} = \operatorname{THH}(A' / ( \mathbb{S}[z]/z^{k}) ) \otimes_{A'} L\Omega_{A'/A} \Rightarrow \operatorname{THH}(A'). \]

One again has $\operatorname {THH}_*(A' / (\mathbb {S}[z]/z^{k}) ) \cong A'[x]$ and $L\Omega _{A'/A}$ is computed as the homology of the DGA $(A'\langle y\rangle \otimes \Lambda (dz),\partial )$ where this time $y$ sits in grading one and homological degree one (recall that $L\Omega$ has a grading and a homological degree). Thus, our virtual $E^{0}$-term this time takes the form

\[ E^{0} = A'[x]\langle y \rangle \otimes \Lambda(dz), \quad |y| = (1,1), |x| = (2,0), |dz| = (0,1) \]

and the differential $\partial$ becomes a $d^{1}$. The spectral sequence looks graphically as follows:

This spectral sequence is a slightly improved version of spectral sequence (iii) as there are way less higher differentials possible. The whole wedge above the diagonal line through $1$ on the $j$-axis is zero. Again this spectral sequence behaves well and degenerates in the ‘small $k$’ case Proposition 6.4, but behaves as badly in the other cases.

Essentially, one should view Proposition 6.4 as degeneration result for the spectral sequences (iii) and (iv), and Proposition 6.7 as a degeneration result for the Brun spectral sequence (ii). By putting both the Bökstedt element $x$ and the divided power element $y$ (coming from the relation $\pi ^{k}=0$) in the same filtration, the spectral sequence (i) that we have used allows us to uniformly treat both of these cases, as well as still behaving well in the cases not covered by Propositions 6.7 and 6.4 (like Example 6.8), where the homology of the DGA of Theorem 5.2 becomes more complicated and all of the three alternative spectral sequences discussed here can have non-trivial extension problems, seen in our spectral sequence in the form of cycles which are interesting linear combinations of powers of $x$ and $y$.

9. Bökstedt periodicity for complete regular local rings

In this section we include a very brief discussion of the more general case of a complete regular local ring $A$, that is, a complete local ring $A$ whose maximal ideal $\mathfrak {m}$ is generated by a regular sequence $(a_1,\ldots, a_n)$, see [Sta19, Tag 00NQ] and [Sta19, Tag 00NU]. Assume furthermore that $A/\mathfrak {m}=k$ is perfect of characteristic $p$. We focus on the mixed characteristic case, because by a result of Cohen [Reference CohenCoh46], $A$ agrees with a power series ring over $k$ in the equal characteristic case.

We can regard $A$ as an algebra over $\mathbb {S}[z_1,\ldots,z_n] = \mathbb {S}[\mathbb {N}\times \cdots \times \mathbb {N}]$. We then have the following generalization of Theorem 3.1:

Theorem 9.1 For a complete regular local ring $A$ of mixed characteristic with perfect residue field of characteristic $p$ we have

\begin{align*} \operatorname{THH}_*(A/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p) \cong A[x]\\ \end{align*}

with $x$ in degree two.

We give a proof which is completely analogous to that of Theorem 3.1. We first need the following Lemma. Note that by perfectness of $A/\mathfrak {m}=k$ we get a canonical map $W(k) \to A$ and, thus, together with the choice of generators $a_1,\ldots, a_n$ an algebra structure over $W(k)[\kern -0.1em[{z_1,\ldots,z_n}]\kern -0.1em]$.

Lemma 9.2 If $A$ is a complete regular local ring as above, it is of finite type over $W(k)[\kern -0.1em[{z_1,\ldots,z_n}]\kern -0.1em]$. More precisely, it takes the form

\[ A\cong W(k)[\kern-0.1em[{z_1,\ldots,z_n}]\kern-0.1em]/E(z_1,\ldots,z_n) \]

for a power series $E$ with $E(0,\ldots,0)=p$.

Proof of Theorem 9.1 From Lemma 9.2, one can deduce as in Proposition 3.5 that the following all agree:

These statements can again all be checked modulo $p$, observing that the lower right-hand term $\operatorname {THH}(A/\mathbb {S}_{W(k)}[\kern -0.1em[{z_1,\ldots,z_n}]\kern -0.1em])$ is already $p$-complete by Lemma 3.6 because $A$ is of finite type over $\mathbb {S}_{W(k)}[\kern -0.1em[{z_1,\ldots,z_n}]\kern -0.1em]$. The key is (as in the proof of Proposition 3.5) that the maps

are all relatively perfect.

Note that, as opposed to the DVR case, $A$ is not of finite type over the ring spectrum $\mathbb {S}_{W(k)}[z_1,\ldots,z_n]$ and, thus, $\operatorname {THH}(A/\mathbb {S}_{W(k)}[z_1,\ldots,z_n])$ is not necessarily $p$-complete.

From Proposition 7.1, we now obtain the following result.

Proposition 9.3 There is a canonical multiplicative, convergent spectral sequence

\[ \operatorname{THH}_*(A/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p)\otimes_\mathbb{Z} \Omega^{*}_{\mathbb{Z}[z_1,\ldots,z_n]/\mathbb{Z}} \Rightarrow \operatorname{THH}_*(A;\mathbb{Z}_p). \]

Analogously to Lemma 4.2 we can describe the differential $d^{2}$ of this spectral sequence.

Lemma 9.4 Representing $A$ as in Lemma 9.2, we can choose the generator

\[ x\in \operatorname{THH}_2(A/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p) \]

in such a way that

\[ d^{2} x =\sum_i \frac{\partial E}{\partial z_i} \,dz_i \]

for the $d^{2}$-differential in the spectral sequence of Proposition 9.3.

Proof. We have $\operatorname {THH}_1(A;\mathbb {Z}_p) \cong \Omega ^{1}_{A/W(k)[\kern -0.1em[{z_1,\ldots,z_n}]\kern -0.1em]}$. We obtain

\[ \Omega^{1}_{A/W(k)[\kern-0.1em[{z_1,\ldots,z_n}]\kern-0.1em]} \cong A\{dz_1,\ldots,dz_n\} \bigg/\biggl(\sum_i \frac{\partial E}{\partial z_i} \,dz_i\biggr). \]

Thus, the image of $d^{2}$ in degree $(0,1)$ has to agree with the ideal generated by $\sum _i ({\partial E}/{\partial z_i}) \,dz_i$. Up to a unit, we thus have

\[ d^{2} x = \sum_i \frac{\partial E}{\partial z_i} \,dz_i. \]

For $n=2$, this differential again completely determines $\operatorname {THH}_*(A;\mathbb {Z}_p)$, because $d^{2}$ in degrees $(2k,0)\mapsto (2k-2,1)$ is injective, and therefore the $E^{3}$-page is concentrated in degrees $(0,0)$, $(2k,1)$ and $(2k,2)$ for $k\geq 0$ and the spectral sequence degenerates thereafter without potential for extensions. For $n\geq 3$, there could be extensions, and for $n\geq 4$, there could be longer differentials, both of which we do not know how to control.

Finally, we want to remark a couple of things about computing $\operatorname {THH}_*(A';\mathbb {Z}_p)$ for $A' = A/(f_1,\ldots,f_d)$, with $(f_1,\ldots,f_d)$ a regular sequence analogously to § 5. We still have a spectral sequence

\[ \operatorname{THH}_*(A'/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p) \otimes_\mathbb{Z} \operatorname{HH}_*(\mathbb{Z}[z_1,\ldots,z_n]) \Rightarrow \operatorname{THH}_*(A'), \]

but the study of $\operatorname {THH}_*(A'/\mathbb {S}[z_1,\ldots,z_n];\mathbb {Z}_p)$ turns out to be potentially more subtle. As opposed to Proposition 3.7, we only have a spectral sequence

\[ \operatorname{THH}_*(A/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p) \otimes_A \operatorname{HH}_*(A' / A) \Rightarrow \operatorname{THH}_*(A'/\mathbb{S}[z_1,\ldots,z_n];\mathbb{Z}_p), \]

but this does not necessarily degenerate into an equivalence because there is no analogue of the spherical lift $\mathbb {S}[z]/z^{k}$ used in the proof of Proposition 3.7.

In our case, $\operatorname {THH}_*(A/\mathbb {S}[z_1,\ldots,z_n];\mathbb {Z}_p)$ is $A[x]$, and $\operatorname {HH}_*(A' / A)$ is easily seen to be a divided power algebra on $d$ generators. Thus, the spectral sequence is even and cannot have non-trivial differentials. However, there is potential for multiplicative extensions. We have been informed by Guozhen Wang that these do indeed show up, as shown in joint work with Ruochuan Liu in [Reference Liu and WangLW22] which appeared after our paper was finished.

10. Logarithmic THH of CDVRs

In this section we want to explain how to deduce results about logarithmic THH from our methods. This way we recover known computations of Hesselholt and Madsen [Reference Hesselholt and MadsenHM03] for logarithmic $\operatorname {THH}$ of DVRs. We thank Eva Höning for asking about the relation between relative and logarithmic $\operatorname {THH}$, which inspired this section.

First we recall the definition of logarithmic $\operatorname {THH}$ following [Reference Hesselholt and MadsenHM03, Reference LeipLei18] and [Reference RognesRog09]. For an abelian monoid $M$ we consider the spherical group ring $\mathbb {S}[M]$ and have

\[ \operatorname{THH}(\mathbb{S}[M]) \simeq \mathbb{S}[ B^{\mathrm{cyc}} M], \]

where $B^{\mathrm {cyc}}M$ is the cyclic bar construction, i.e. the unstable version of THH. We denote by $M \to M^{\operatorname {gp}}$ the group completion and define the logarithmic $\operatorname {THH}$ of $\mathbb {S}[M]$ relative to $M$ by

\[ \operatorname{THH}(\mathbb{S}[M]\, |\, M) := \mathbb{S}[M \times_{M^{\operatorname{gp}}} B^{\mathrm{cyc}} M^{\operatorname{gp}} ] . \]

There are induced maps of commutative ring spectra

\[ \operatorname{THH}(\mathbb{S}[M]) \to \operatorname{THH}(\mathbb{S}[M] \mid M) \to \mathbb{S}[M] \]

whose composition is the canonical map. These are induced from the maps $B^{\mathrm{cyc}} M\to M \times _{M^{\operatorname {gp}}} B^{\mathrm{cyc}} M^{\operatorname {gp}} \to M$.

Definition 10.1 For a commutative ring $R$ with a map $\mathbb {S}[M] \to R$ we define logarithmic THH as the commutative ring spectrum

\[ \operatorname{THH}(R\, |\, M) := \operatorname{THH}(R) \otimes_{\operatorname{THH}(\mathbb{S}[M])} \operatorname{THH}(\mathbb{S}[M]\, |\, M) . \]

In practice, we only need the case $M = \mathbb {N}$ with the map $\mathbb {S}[\mathbb {N}] = \mathbb {S}[z] \to R$ given by sending $z$ to an element $\pi \in R$. In this case, we also denote $\operatorname {THH}(R\mid \mathbb {N})$ by $\operatorname {THH}(R\mid \pi )$.

Lemma 10.2 We have an equivalence of commutative ring spectra

\begin{align*} \operatorname{THH}(R / \mathbb{S}[M]) \simeq \operatorname{THH}(R\, |\, M) \otimes_{\operatorname{THH}(\mathbb{S}[M]\, |\, M)} \mathbb{S}[M] . \end{align*}

Proof. We have

\begin{align*} \operatorname{THH}(R / \mathbb{S}[M]) & \simeq \operatorname{THH}(R) \otimes_{\operatorname{THH}(\mathbb{S}[M])} \mathbb{S}[M] \\ & \simeq \operatorname{THH}(R) \otimes_{\operatorname{THH}(\mathbb{S}[M])} \operatorname{THH}(\mathbb{S}[M]\, |\, M) \otimes_{\operatorname{THH}(\mathbb{S}[M]\, |\, M)} \mathbb{S}[M]\\ & \simeq \operatorname{THH}(R\, |\, M) \otimes_{\operatorname{THH}(\mathbb{S}[M]\, |\, M)} \mathbb{S}[M] . \end{align*}

We use this lemma to obtain a spectral sequence similar to that of Proposition 7.1. To this end let us introduce some further notation. We set

\[ \operatorname{HH}( \mathbb{Z}[M]\, |\, M) := \operatorname{THH}(\mathbb{S}[M]\, |\, M) \otimes_{\mathbb{S}} \mathbb{Z} \simeq \mathbb{Z}[M \times_{M^{\operatorname{gp}}} B^{\mathrm{cyc}} M^{\operatorname{gp}} ], \]

which comes with a canonical map $\operatorname {HH}(\mathbb {Z}[M]) \to \operatorname {HH}( \mathbb {Z}[M]\, |\, M)$ .

Example 10.3 For $M = \mathbb {N}$ we have $\mathbb {Z}[M] = \mathbb {Z}[z]$ and we get that the logarithmic Hochschild homology $\operatorname {HH}_*(\mathbb {Z}[M]\, |\, M) = \operatorname {HH}_*(\mathbb {Z}[z]\mid z)$ is the exterior algebra over $\mathbb {Z}[z]$ on a generator $\operatorname {dlog} z$. One should think of $\operatorname {dlog} z$ as ‘$dz / z$.’ Indeed, under the canonical map

\[ \Omega^{*}_{\mathbb{Z}[z] / \mathbb{Z}} \cong \operatorname{HH}_*(\mathbb{Z}[z]) \to \operatorname{HH}_*(\mathbb{Z}[z]\, |\, z) \]

the element $dz \in \Omega ^{1}_{\mathbb {Z}[z]/\mathbb {Z}}$ gets mapped to $z\cdot \operatorname {dlog} z$ as one easily checks. In particular, one should think of $\operatorname {HH}_*(\mathbb {Z}[z]\, |\, z)$ as differential forms on the space $\mathbb {A}^{1} \setminus 0$ with logarithmic poles at $0$. This is a subalgebra of differential forms on $\mathbb {A}^{1} \setminus 0$ as is topologically witnessed by the injective map $\operatorname {HH}_*(\mathbb {Z}[z]\, |\, z) \to \operatorname {HH}_*(\mathbb {Z}[z^{\pm }])$ and the map $\operatorname {HH}_*(\mathbb {Z}[z])$ then includes the forms on $\mathbb {A}^{1}$.

Proposition 10.4 For every map $\mathbb {S}[M] \to R$ of commutative rings there is a multiplicative and convergent spectral sequence

\[ \pi_i(\operatorname{THH}(R/\mathbb{S}[M]) \otimes_{\mathbb{Z}[M]} \operatorname{HH}_j(\mathbb{Z}[M]\, |\, M)) \Rightarrow \pi_{i+j} \operatorname{THH}(R\, |\, M) . \]

Moreover, this spectral sequence receives a multiplicative map from the spectral sequence

\[ \pi_i(\operatorname{THH}(R/\mathbb{S}[M]) \otimes_{\mathbb{Z}[M]} \operatorname{HH}_j(\mathbb{Z}[M])) \Rightarrow \pi_{i+j} \operatorname{THH}(R) \]

of Proposition 7.1, which refines on the abutment the canonical map $\operatorname {THH}_*(R) \to \operatorname {THH}_*(R\, |\, M)$ and on the $E^{2}$-page the map $\operatorname {HH}_*(\mathbb {Z}[M]) \to \operatorname {HH}_*(\mathbb {Z}[M]\mid M)$. Similarly, there is a $p$-completed version of this spectral sequence.

Proof. We proceed exactly as in the proof of Proposition 7.1 and define a filtration on $\operatorname {THH}(R\, |\, M)$ by

\[ \operatorname{THH}(R\, |\, M) \otimes_{\operatorname{HH}(\mathbb{Z}[M]\, |\, M)} \tau_{\geq i}{\operatorname{HH}(\mathbb{Z}[M]\, |\, M)} . \]

By the same manipulations as there we obtain the result using Lemma 10.2.

Now for a CDVR $A$ of mixed characteristic with perfect residue field of characteristic $p$, we want to use this spectral sequence to determine the logarithmic $\operatorname {THH}_*(A\mid \pi ; \mathbb {Z}_p)$. As usual, this denotes the homotopy groups of the $p$-completion of $\operatorname {THH}(A \mid \pi )$.

From Theorem 3.1 we see that the spectral sequence of Proposition 10.4 takes the form

\[ E^{2} = A[x] \otimes \Lambda(\operatorname{dlog} z) \Rightarrow \operatorname{THH}_*(A\mid\pi ; \mathbb{Z}_p) \]

with $|x| = (2,0)$ and $|{\operatorname{dlog}z}| = (0,1)$:

The spectral sequence receives a map from the spectral sequence

\[ E^{2} = A[x] \otimes \Lambda(dz) \Rightarrow \operatorname{THH}_*(A; \mathbb{Z}_p) \]

used in § 4. This map sends $x$ to $x$ and $dz$ to $\pi \operatorname {dlog} z$. Thus, from our knowledge of the differential in this second spectral sequence where we have $d^{2}(x) = E'(\pi ) \,dz$ (Lemma 4.2), we can conclude that $d^{2}$ in the first spectral sequence has to send $x$ to $\pi E'(\pi ) \operatorname {dlog} z$. Thus we get the following result of Hesselholt and Madsen [Reference Hesselholt and MadsenHM03, Theorem 2.4.1 and Remark 2.4.2].

Proposition 10.5 For a CDVR $A$ of mixed characteristic with perfect residue field of characteristic $p$, the ring $\operatorname {THH}_*(A\mid \pi ; \mathbb {Z}_p)$ is isomorphic to the homology of the DGA

\[ H_*(A[x] \otimes \Lambda(\operatorname{dlog}\pi), \partial) \]

with $\partial x = \pi E'(x)\operatorname {dlog}\pi$ and $\partial \,d\pi =0$. In particular

\[ \operatorname{THH}_*(A\mid \pi; \mathbb{Z}_p) \cong \begin{cases} A & \text{for } * = 0, \\ A/ n \pi E'(\pi) & \text{for } * = 2n-1, \\ 0 & \text{otherwise.} \end{cases} \]

Similarly to Proposition 4.5 one can also obtain a version with coefficients in an $A$-algebra $A'$, namely that $\pi _*( \operatorname {THH}(A \mid \pi ; \mathbb {Z}_p) \otimes _A A')$ is given by the homology of the DGA $H_*(A'[x] \otimes \Lambda (\operatorname {dlog}\pi ), \partial )$ with $\partial$ as in the case without coefficients.

Note that one could alternatively also deduce the differential in the log spectral sequence using the description of $\operatorname {THH}_1(A \mid \pi ; \mathbb {Z}_p)$ in terms of logarithmic Kähler differentials, similar to the way we have deduced the differential in the absolute spectral sequence for $\operatorname {THH}_*(A;\mathbb {Z}_p)$ in Lemma 4.2.