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
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