No label defined (Q4934310)

Let \(\underline{S}\) denote the sphere spectrum and \(\underline{E}\) a connective, commutative \(\underline{S}\)-algebra. If \(i : \pi_{0}( \underline{E}) \subseteq R\) is an inclusion of rings (good, old-fashioned rings, not ring-spectra!) a map \(\underline{E} \longrightarrow \underline{F}\) of commutative \(\underline{S}\)-algebras is said to lift \(i\) if \(\pi_{0}(\underline{F}) \cong R\) and there is a weak-equivalence of \(H( \pi_{0}(\underline{E}))\)-algebras of the form \[ \underline{F} \wedge_{ \underline{E} } H( \pi_{0}(\underline{E})) \overset{\simeq}{\longrightarrow} H(R) , \] where \( H(R)\) is the Eilenberg-Maclane ring spectrum associated to \(R\). This definition is motivated by a Künneth formula type of result proved for topological Hochschild homology in [\textit{R. Schwänzl}, \textit{R. M. Vogt} and \textit{F. Waldhausen}, A note on topological Hochschild homology (to appear)]. Namely, if \(K\) is a commutative ring and \(R\) is a flat \(K\)-algebra then, under a few simple conditions including the existence of an equivalence of \(H(K)\)-algebras \[ \underline{E} \wedge_{ \underline{A} } H( K) @>\simeq>> H(R) , \] there is an isomorphism of graded \(K\)-modules of the form \[ THH_{*}^{\underline{A} }(R) \cong HH_{*}^{K}(R) \otimes_{K}^{L} THH_{*}^{\underline{A} }(H(K)). \] This result together with the calculations which appear in [\textit{A. Lindenstrauss}, Am. J. Math. 118, No. 5, 1011--1036 (1996; Zbl 0859.18012)] for \(K = {\mathbb Z}\), the integers, and \(R = {\mathbb Z}[ \sqrt{-1}]\) shows that in general lifts do not exist for extensions of rings by adjoining roots of unity. The authors' main result is that, if the cyclotomic polynomial, \(1 + x^{p^{n-1}} + \ldots x^{(p-1)p^{n-1}} \in \pi_{0}( \underline{E})[x]\) is irreducible then a lifting for \(\pi_{0}( \underline{E}) \subset \pi_{0}( \underline{E})[ \xi_{p^{n}}]\) does exist, where \(\xi_{p^{n}}\) is a primitive \(p^{n}\)-th root of unity. For the entire collection see [Zbl 0924.00035].