On the Blumberg-Mandell Künneth theorem for TP (Q1618277)

The paper under review studies periodic topological cyclic homology, $TP$, of smooth and proper differential graded categories over a perfect field, $k$, of positive characteristic, $p$, and deduces a more general version of a Künneth theorem for $TP$ proven by [\textit{A. Blumberg} and \textit{M. Mandell}, ``The strong Künneth theorem for topological periodic cyclic homology'', Preprint, \url{arXiv:706.06846}]. Let $A$ be a commutative $k$-algebra and define $TP(A)$ as the Tate construction $THH(A)^{tS^1}$ of the $S^1$ action on the topological Hochschild homology spectrum $THH(A)$ [\textit{L. Hesselholt}, Contemp. Math. 708, 157--180 (2018; Zbl 1402.19002)]. \par Now let $({\mathcal{A}}, \, \otimes,\,\mathbf{1})$ be a symmetric, monoidal, stable $\infty$-category with biexact tensor product. An object $X \in \mathcal{A}$ is defined to be perfect if it belongs to the thick subcategory generated by the unit. Let $Sp^{BS^1}$ denote the $\infty$-category of spectra with a circle action, and let ${\mathcal{A}} = {\mathrm{Mod}}_{THH(k)}(Sp^{BS^1})$. Recall that $THH(k)$ is an $E_{\infty}$-ring spectrum with an $S^1$ action and \[ \pi_*( THH(k)^{hS^1}) \simeq W(k)[x, \, \sigma]/(x \sigma - p), \] where $\sigma$ is a lift of the Bökstedt element in \[ \pi_* (THH(k)) \simeq k [\sigma], \] and $x \in \pi_{-2}(THH(k)^{hS^1})$. The main theorem of the paper is: For $k$ a perfect field of characteristic $p > 0$, there is an equivalence of symmetric monoidal $\infty$-categories ${\mathrm{Mod}}_{THH(k)}(Sp^{BS^1})$ and $x$-complete $THH(k)^{hS^1}$-modules. Moreover, any dualizable object in ${\mathrm{Mod}}_{THH(k)}(Sp^{BS^1})$ is perfect. From this the following version of the Künneth theorem is proven. Let $\mathcal{C}$, $\mathcal{D}$ be $k$-linear differential graded categories and suppose that $\mathcal{C}$ is smooth and proper. Then for any closed subgroup $H \subseteq S^1$, it follows that $THH({\mathcal{C}})^{tH}$ is a perfect $THH(k)^{tH}$-module, and the natural map \[ THH({\mathcal{C}})^{tH} \underset{THH(k)^{tH}}{\otimes} THH({\mathcal{D}})^{tH} \to THH({\mathcal{C}}\underset {k}{\otimes} {\mathcal{D}})^{tH} \] is an equivalence. The theorem also holds if $tH$ is replaced by the homotopy fixed points of $H$. Finally, the Künneth theorem is used to prove a finiteness property for the topological cyclic homology $TC(k)$ over a finite field $k$. Let ${\mathcal{C}} \in {\mathrm{Cat}}_{\infty, \, k}^{\mathrm{perf}}$ be smooth and proper. Then $TC(k)$ is a perfect $H{\mathbb{Z}}_p$-module. It is noted in general $THH({\mathcal{C}})$ is not perfect in ${\mathrm{Mod}}_{THH(k)}(CycSp)$.