Stable functorial decompositions of \(F(\mathbb{R}^{n+1},j)^+\wedge_{\Sigma_j} X^{(j)}\) (Q518827): Difference between revisions

For a prime \(p\) and a graded \(\mathbb{Z}/p\)-module \(V\), let \(T(V)=\sum_{n=0}^{\infty}T_n(V)\) and \(L(V)\) denote the tensor algebra and the free Lie algebra generated by \(V\), respectively, where \(T_n(V):=V^{\otimes n}\). Let \(L_n(V):=L(V)\cap T_n(V)\) and let \(L^{\max}_n\) denote the submodule functor of \(L_n\) (called the maximal \(T_n\)-projective functor of \(L_n\)) constructed by \textit{P. Selick} and the first author in [Mem. Am. Math. Soc. 701, 109 p. (2000; Zbl 0964.55012)]. The authors notice that \(T(L^{\max}_n(V))\) has the structure of a natural coalgebra-split-Hopf algebra of \(T(V)\). For a path connected CW complex \(X\), let \(F(X,j)\) denote the ordered configuration space of \(j\) distinct points in \(X\). The main purpose of this paper is to reconsider the Snaith splitting, \(\Omega^{n+1}\Sigma^{n+1}X\simeq_s\vee_{j=0}^{\infty}D_j(X) \), where \(D_j(X)=F(\mathbb{R}^{n+1},j)^+\wedge_{\Sigma_j}X^{\wedge j}\) and \(X^{\wedge j}=X\wedge \cdots \wedge X\) (\(j\)-times). In this paper, the authors construct a collection of stable functorial homotopy retracts of \(D_j(X)\) for a \(1\)-connected \(p\)-local suspension \(X\) of finite type and \(V=\overline{H}_*(X,\mathbb{Z}/p)\) by using the natural coalgebra-split sub Hopf algebra \(T(L^{\max}_m(V))\). More precisely, for the natural coalgebra-split sub Hopf algebra \(T(L^{\max}_m(V))\), they prove that there is a topological space \(L^{\max}_m(\Sigma^nX)\) and its \(n\)th desuspension space \(\Sigma^{-n}L^{\max}_m\Sigma^nX\) such that \(\Sigma^tD_j(\Sigma^{-n}L^{\max}_m\Sigma^nX)\) is a functorial homotopy retract of \(\Sigma^tD_{jm}(X)\) for sufficiently large \(t\). Their proof is based on the careful computation of the homology of \(\Omega^{n+1}\Sigma^{n+1}X\) and the previous results given in [loc. cit.]. Moreover, they also give an interesting example of the computation when \(X\) is a \(p\)-local \(2\)-cell complex.