Abstract:We discuss spectral sequences coming from Whitehead filtrations in the computation of topological Hochschild homology of ring spectra. Using cyclic invariance, this makes for simple computations of $THH$ of connective rings $R$ with coefficients in discrete ring spectra. In particular, we show how to use this to compute $THH(tmf,\mathbb{F}_2)$, and $THH(tmf,\mathbb{Z}_{(2)})$, where $tmf$ denotes the $\mathbb{E}_\infty$ ring spectrum of topological modular forms. Then, we obtain a description of $THH(\ell/v_1^n)$ in terms of $THH(\ell,\ell/v_1^n)$, where the latter can be computed by results of <a class="link-https" data-arxiv-id="0710.4368" href="https://arxiv.org/abs/0710.4368">arXiv:0710.4368</a>. We next explain how the methods of this computation generalize to give us information about $THH(cofib(x^k:\Sigma^{k|x|}R\to R))$ for $R$ and $cofib(x^k)$ suitably structured connective ring spectra, $k>1$, and $x\in \pi_{*}(R)$ an arbitrary element in positive degree. Finally, we examine the general framework to describe the topological Hochschild homology of 2-local connective self-conjugate K-theory, $ksc_2$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the application in computing the topological Hochschild homology (THH) of ring spectra by using Whitehead filtration. Specifically, the author explores how to use the spectral sequence generated by the Whitehead filtration of ring spectra to simplify the calculation of THH, especially for the cases of connected ring spectra \(R\) and discrete ring - spectrum coefficients. In addition, the paper also discusses how these methods can be generalized to a broader range of connected ring spectra cases and provides specific calculation examples, such as the calculations of \(\text{THH}(\text{tmf}, \mathbb{F}_2)\) and \(\text{THH}(\text{tmf}, \mathbb{Z}_{(2)})\).
### Main problems
1. **Computing the THH of specific ring spectra**:
- How to use Whitehead filtration and spectral sequences to compute the THH of specific ring spectra, such as \(\text{tmf}\).
- Specifically calculate \(\text{THH}(\text{tmf}, \mathbb{F}_2)\) and \(\text{THH}(\text{tmf}, \mathbb{Z}_{(2)})\).
2. **Generalizing the calculation methods**:
- How to generalize these methods to the THH calculation of more general connected ring spectra \(R\) and its quotient \(R/v_n^1\).
- Provide a general framework for describing the THH of 2 - local self - conjugate K - theory \(ksc_2\).
### Specific contributions
- **Application of spectral sequences**:
- Introduce the Whitehead spectral sequence and the Atiyah - Hirzebruch spectral sequence and show their applications in computing THH.
- Use cyclic invariance to simplify the calculation process.
- **Specific calculation examples**:
- Calculate the specific results of \(\text{THH}(\text{tmf}, \mathbb{F}_2)\) and \(\text{THH}(\text{tmf}, \mathbb{Z}_{(2)})\).
- Provide the calculation method of \(\text{THH}(\ell/v_n^1)\), where \(\ell\) is the Adams summand modulo \(p\).
- **General framework**:
- Establish a general framework for describing the THH of 2 - local self - conjugate K - theory \(ksc_2\).
### Mathematical formulas
- **Definition of THH**:
\[
\text{THH}(R)=R\otimes_{R\otimes S R^{op}}R
\]
\[
\text{THH}(R, M)=R\otimes_{R\otimes S R^{op}}M
\]
- **Whitehead spectral sequence**:
\[
E_{1}^{s,t}=\text{THH}^{-s}(R, \pi_t(R))\Rightarrow \text{THH}^{t - s}(R)
\]
- **Atiyah - Hirzebruch spectral sequence**:
\[
E_{1}^{s,t}=\text{THH}^{-s}(R, \pi_t(M))\Rightarrow \text{THH}^{t - s}(R, M)
\]
- **Specific calculation results**:
\[
\pi_*\text{THH}(\text{tmf}, \mathbb{Z}_{(2)})=\begin{cases}
\mathbb{Z}_{(2)} & \text{if } *=0, 9, 13, 22 \\
\mathbb{Z}/2^k\mathbb{Z}& \text{otherwise}
\end{cases}
\]