Loday constructions on twisted products and on tori (Q2145900)

``We develop a spectral sequence for the homotopy groups of Loday constructions with respect to twisted Cartesian products in the case where the group involved is discrete. We show that for commutative Hopf algebra spectra Loday constructions are stable, generalizing a result by \textit{Y. Berest} et al. [Int. Math. Res. Not. 2022, No. 6, 4093--4180 (2022; Zbl 1494.57050)], but prove that several Loday constructions of truncated polynomial rings with reduced coefficients are not stable by investigating their torus homology.'' This extensive work has four sections. The first section is entitled ``The Loday construction: basic features''. The authors recall some definition concerning Loday construction [\textit{J.-L. Loday}, Cyclic homology. 2nd ed. Berlin: Springer (1998; Zbl 0885.18007)] and fix notation. The authors write instead ``For most of our work we can use any good symmetric monoidal category of spectra whose category of commutative monoids is Quillen equivalent to the category of \(E_\infty\)-ring spectra, such as \textbf{symmetric spectra} [\textit{M. Hovey} et al., J. Am. Math. Soc. 13, No. 1, 149--208 (2000; Zbl 0931.55006)], \textbf{orthogonal spectra} [\textit{M. A. Mandell} and \textit{J. P. May}, Equivariant orthogonal spectra and \(S\)-modules. Providence, RI: American Mathematical Society (AMS) (2002; Zbl 1025.55002)] or \(\textsl{\textbf{S}}\)-\textbf{modules} [\textit{A. D. Elmendorf} et al., Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001)]. As parts of the paper require us to work with a specific model category we chose to work with the category of \(S\)-modules everywhere except in Section 3, where we will work in the \(\infty\)-\textbf{category of spectra in the sense of Luri} [\textit{J. Lurie}, Higher algebra. (2017), \url{http://www.math.harvard.edu/-lurie/papers/HA.pdf}].'' Let \(X\) be a finite pointed simplicial set and \(R\rightarrow A\rightarrow C\) be a sequence of maps of commutative ring spectra. {Definition 1.1}. The \textsl{Loday construction with respect to} \(X\) \textsl{of} \(A\) \textsl{over} \(R\) \textsl{with} \textsl{coefficients in} \(C\) is the simplicial commutative augumented \(C\) -algebra spectrum \(\mathfrak{L}^R_X(A;C)\) given by \(\mathfrak{L}^R_X(A;C)_n=C\wedge \bigwedge_{x\in X_n\backslash \ast} A\), where the smash products are taken over \(R\). Here, \(\ast\) denotes the basepoint of \(X\) and we place a copy of \(C\) at the basepoint. The authors assume in addition that \(R\) is a cofibrant commutative \(S\)-algebra, \(A\) is a cofibrant commutative \(R\)-algebra and \(C\) is a cofibrant commutative \(A\)-algebra. This ensures that the homotopy type of \(\mathfrak{L}^R_X(A;C)\) is well-defined and depends only on the homotopy type of \(X\). Under these conditions, new notations are adopted for some used in [\textit{J.-L. Loday}, Cyclic homology. 2nd ed. Berlin: Springer (1998; Zbl 0885.18007); \textit{A. D. Elmendorf} et al., Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001); \textit{T. Pirashvili}, Ann. Sci. Éc. Norm. Supér. (4) 33, No. 2, 151--179 (2000; Zbl 0957.18004)]. Thus \(\mathfrak{L}^R_X(A;C)\) instead of \(C\otimes\bigotimes_{x\in {X_n}\setminus\ast}A\), in [\textit{J.-L. Loday}, Cyclic homology. 2nd ed. Berlin: Springer (1998; Zbl 0885.18007)], for \(R\rightarrow A\rightarrow C\) a sequence of commutative rings. And, for \(X=S^n\), \(\mathfrak{L}^R_{S^n}(A;C)\), instead of \(THH^{[n],R}(A;C)\), in [\textit{A. D. Elmendorf} et al., Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001)] and [\textit{T. Pirashvili}, Ann. Sci. Éc. Norm. Supér. (4) 33, No. 2, 151--179 (2000; Zbl 0957.18004)]. Section 2, entitled ``A spectral sequence for twisted Cartesian products'', contains the construction of a spectral sequence \(E^2_{p,q}=\pi_p((\mathfrak{L}^R_B(\pi_\ast \mathfrak{L}^R_F(A)^\tau))_q)\Rightarrow \pi_{p+q}(\mathfrak{L}^R_{E(\tau)}(A))\) (Theorem 2.10) for the homotopy groups \(\pi_\ast(\mathfrak{L}^R_F(A))\) of Loday constructions with respect to a twisted Cartesian products (TCP), \(E(\tau)=F\times_\tau B, \) [\textit{J. P. May}, Simplicial objects in algebraic topology. Chicago: The University of Chicago Press (1992; Zbl 0769.55001)]. Two examples are given.One starting from a TCP constructed by the connected \(n\)-fold of \(S^1\) given by degree \(n\) map. And the second,conversely, for the Klein bottle, \(K\ell\), is recomputed the homotopy groups of the Loday construction of the polynomial algebra \(k[x]\) for a field \(k\), such that 2 is invertible in \(k\), using the above TCP spectral sequence. Section 3, ``Hopf algebras in spectra'', the authors prove that the Loday construction is stable for commutative Hopf algebra spectra, generalizing a result of \textit{Y. Berest} et al. [Int. Math. Res. Not. 2022, No. 6, 4093--4180 (2022; Zbl 1494.57050)]. If CAlg denote the \(\infty\)-category of \(E_\infty\)-ring spectra, then a commutative Hopf algebra spectrum is a cogroup in CAlg. In the introduction of this section the authors give some examples of Hopf algebra spectra. A first example starts from a topological abelian group \(G\), with the spherical group ring \(S[G]=\sum_{+}^\infty G\), equipped with the product induced by the product in \(G\), the coproduct induced by the diagonal map \(G\rightarrow G\times G\), and the antipodal map induced by the inverse map from \(G\) to \(G\) is a commutative Hopf algebra spectrum. Another example starts from an ordinary commutative Hopf algebra \(A\) over a commutative ring \(k\) and A is flat as a \(k\)-module. Then the Eilenberg -Mac Lane spectrum \(HA\) is a commutative Hopf algebra spectrum over \(Hk\). Other examples are also given and then is proved the following theorem. {Theorem 3.6}. \textsl{If} \(\mathcal{H}\) \textsl{is a commutative Hopf algebra spectrum and if} \(\sum(X_+)\simeq \sum(X_+)\) \textsl{is an equivalence in} \(\mathcal{S}_\ast\) , \textsl{then there is an equivalence} \(X\otimes \mathcal{H}\simeq Y\otimes \mathcal{H}\) \textsl{in} CAlg. (Where \(\mathcal{S}_\ast\) denotes the \(\infty\)-category of based spaces). Section 4 is entitled ``Truncated polynomial algbras''. But the notations in this part of the article are too complicated to be transcribed or summarized by the reviewer even only in the two big theorems (4.10 and 4.23) in this section. That is why the reviewer is limited to what the authors wrote in relation to this section. ``In Section 4 we prove that truncated polynomial algebras of the form \(\mathbb{Q}[t]/t^m\) and \(\mathbb{Z}[t]/t^m\) for \(m\geq 2\) are not muliplicatively stable by comparing the Loday construction of tori to the Loday construction of a bouquet of spheres corresponding to the cells of the tory. We also show that for \(2\leq m< p\) the pairs \((\mathbb{F}_p[t]/t^m;\mathbb{F}_p)\) are not stable''.