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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Spherical classes in \(H_*(\omega ^ls^{l+n};{\mathbb{Z}}/2)\) for \(4\leqslant l \leqslant 8\)
scientific article

    Statements

    Spherical classes in \(H_*(\omega ^ls^{l+n};{\mathbb{Z}}/2)\) for \(4\leqslant l \leqslant 8\) (English)
    0 references
    0 references
    7 August 2019
    0 references
    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.
    0 references
    loop space
    0 references
    James-Hopf map
    0 references
    Dyer-Lashof algebra
    0 references
    Steenrod algebra
    0 references
    spherical class
    0 references
    Hopf invariant one
    0 references
    Kervaire invariant
    0 references
    generalized Browder theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers