Spherical classes in \(H_*(\omega ^ls^{l+n};{\mathbb{Z}}/2)\) for \(4\leqslant l \leqslant 8\) (Q2316790)

For a pointed space \(X\), let \(QX\) denote the colimit \(QX=\mathrm{colim}_{l\to\infty}\Omega^l\Sigma^lX\), let \(_2\pi_n^S(X)\) denote the \(2\)-component of \(\pi_n^S(X)=\pi_n(QX)\), and let \[ h: {}_2\pi_n^S(X)=_2\pi_n(QX)\to H_n(QX;\mathbb{Z}/2) \] be the unstable Hurewicz homomorphism. Recall the following conjecture due to Eccles: Eccles conjecture. Let \(X\) be a path-connected CW complex with finitely generated homology, and suppose that \(h(f)=h_n(f)\not= 0\) for some map \(f:S^n\to QX\) with \(n>0\). Then the stable adjoint of \(f\) is detected by homology or is detected by a primary operation in its mapping cone. In this paper the author investigates the Eccles conjecture for \(X=\Omega^lS^{n+l}\). In particular, he obtains the following useful reduction theorem: Theorem. (i) If the map \(f:S^i \to \Omega^lS^{n+l}\) satisfies the condition \(h(f)\not= 0\) with \(\sigma_*^lh(f)=0\), then there is some integer \(j\geq 1\) such that, for the adjoint map \(\mathrm{ad}_j(f):S^{i+j}\to\Omega^{l-j}S^{(n+j)+(l-j)}\), the equality \(h(\mathrm{ad}_j(f))=\Big(\sum Q^Ix_{n+j}\Big)^2\) holds, where \(\sum Q^Ix_{n+j}\) is the odd dimensional element and \(\sigma_*^l\) denotes the iterated homology suspension. (ii) If \(X=\Sigma^2Z\) for some space \(Z\) and the map \(f:S^i\to QX\) satisfies the condition \(h(f)\not= 0\) with \(\sigma_*^{\infty}h(f)=0\), then there exists some integer \(j\geq 1\) such that, for the adjoint map \(\mathrm{ad}_j(f):S^{i+j}\to Q\Sigma^jX\), the equality \(h(\mathrm{ad}_j(f))=\Big( \sum Q^I\Sigma\xi_{\alpha}\Big)^2\) holds, where \(\sum Q^I \xi_{\alpha}\) is the odd dimensional element and \(\{\xi_{\alpha}\}\) is a homogenous basis for \(\tilde{H}_*(X;\mathbb{Z}/2).\) By using this reduction theorem, the problem of spherical classes reduces to those which are square. As an application, the author proves that the Eccles conjecture verifies when we restrict to the finite loop spaces \(\Omega^lS^{n+l}\) with \(l<9\) and \(n>0\). Moreover, he also obtains the generalized Browder theorem for spherical classes in \(H_*(\Omega^lS^{n+l};\mathbb{Z}/2)\). More precisely, he shows that, if \(\xi^2\in H_*(\Omega^lS^{n+l};\mathbb{Z}/2)\) and \(\dim \xi +1\not= 2^t\) with \(\dim \xi +1=2\mod 4\) \((n>l)\), then \(\xi^2\) is not spherical.