The functor \(A^{\text{min}}\) for \((p-1)\)-cell complexes and EHP sequences (Q607840)

The algebraic functor \(A^{\mathrm{min}}\) is defined on any ungraded module \(V\) as the smallest functorial coalgebra retract of the tensor algebra \(T(V)\) containing \(V\). In [Mem. Am. Math. Soc. 701 (2000; Zbl 0964.55012)], \textit{P. Selick} and the author extended this functor to any graded modules, and gave the functorial coalgebra decomposition \(T(V)\cong A^{\mathrm {min}}(V)\otimes B^{\mathrm {max}}(V)\) for a functor \(B^{\mathrm{max}}\) from graded modules to Hopf algebras. On the other hand, the geometric realization of the functor \(A^{\mathrm{min}}\) was studied by several authors. In particular, \textit{P. Selick, S. Theriault} and the author [Math. Z. 267, 139--153 (2011; Zbl 1226.55005)] showed that there exist homotopy functors \(\bar A^{\mathrm {min}}\) and \(\bar B^{\mathrm {max}}\) defined on simply connected co-\(H\) spaces of finite type to spaces such that for any \(p\)-local simply connected co-\(H\) space \(Y\), there is a functorial decomposition \(\Omega Y\simeq \bar A^{\mathrm {min}}(Y)\times \bar B^{\mathrm {max}}(Y)\) with \(E^0H_*(\bar A^{\mathrm {min}})=A^{\mathrm {min}}(\Sigma^{-1}\bar H_*(Y))\). In the paper under review, the author first determines \(A^{\mathrm{min}}(V)\) for a graded module \(V\) with \(V_{\mathrm{even}}=0\) and \(\dim V=p-1\), and then the homology of \(\bar A^{\mathrm {min}}(Y)\) for a \(p\)-local simply connected co-\(H\) space \(Y\) with \(\bar H_{\mathrm{odd}}(Y)=0\) and \(\dim \bar H_*(Y)=p-1\). The author also gives the EHP sequence for the space \(\bar A^{\mathrm {min}}(Y)\).