Spherical classes in some finite loop spaces of spheres

DOI10.1016/J.TOPOL.2017.03.013MaRDI QIDQ526877zbMATH OpenOpenAlexFDO

Authors Hadi Zare

Publication date 15 May 2017

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.03143

zbMATH Keywords

James-Hopf maploop spacespherical classes

Mathematics Subject Classification ID

Loop spaces (55P35) Stable homotopy theory, spectra (55P42) Stable homotopy of spheres (55Q45)

Abstract: Working at the prime $2$, Curtis conjecture predicts that, in positive dimensions, spherical classes in $H_{\ast }Q{S}^0$ only arise from Hopf invariant one and Kervaire invariant one elements. Eccles conjecture states that, in positive dimensional, for a path connected space $X$, a class in $H_{n}QX$ is spherical if its either stably spherical or it arises from a stable map $S^{n}oX$ which is detected by a primary operation in its mapping cone. (i) We use Hopf invariant one result to verify Eccles conjecture on some finite loop spaces of spheres, namely, for $X=S^k$ , we completely determine spherical classes in $H_{\ast }(Omeg{a}^d{S}^{k+d};mathbbZ/2)$ for specific values of $d$, $k$ showing that a spherical classes in these cases only do arise from Hopf invariant one elements. (ii) We completely determine spherical classes in homology of single, double, and triple loop spaces of spheres, namely $Omega{S}^{n+1}$, $Omeg{a}^2{S}^{n+2}$, and $Omeg{a}^3{S}^{n+3}$ with $n>0$. These computations, verify Eccles conjecture on the finite loop spaces that we have considered. We also record some observations on the relation between two conjectures. The latter conjecture for $X=S^k$, with $k>0$, provides some evidence for the former to be true.

Review text

The paper under review investigates spherical classes in \(QS^n\), that is, elements belonging to the image of the unstable (2-primary) Hurewicz homomorphism \[ \pi_i(QS^k) \to H_i(QS^k). \] A conjecture due to \textit{E. B. Curtis} [Ill. J. Math. 19, 231--246 (1975; Zbl 0311.55007)] states that the only spherical classes when \(k=0\) and \(i>0\) are the Hopf invariant one, and Kervaire invariant one, classes. For a general path connected CW-complex \(X\) with finitely generated homology, Eccles has conjectured that a class in \(H_i(QX)\) is spherical if it is stably spherical (i.e, survives under the map \(H_*QX \to H_*X\) induced by the natural map \(\Sigma^{\infty}QX \to \Sigma^{\infty}X\)), or it arises from a stable map \(S^i \to X\) which is detected by a primary operation in its mapping cone. The paper investigates Eccles' conjecture via explicit computation of spherical classes, providing positive evidence that the conjecture is true. The main results are as follows. A complete determination of the spherical classes in single, double, and triple loop spaces of spheres is provided. When \(\ell \geq 4\) and \(n>1\), an upper bound on the maximum dimension such that a spherical class can occur in \(H_*\Omega^{\ell}S^{l+n}\) is found. Finally, a table of possible spherical classes in \(H_*\Omega^{\ell}S^{l+n}\) is given for \(3 \leq \ell \leq 9\).

Recommendations

• Cospherical classes in some iterated loop spaces on spheres
• Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions
• Freudenthal's theorem and spherical classes in H_* QS^0
• Spherical classes detected by the algebraic transfer
• The \(\mathcal{A}\)-decomposability of the Singer construction
• Homotopy commutativity of the loop space of a finite CW-complex
• Stable self maps of the quaternionic (quasi-)projective space
• Spherical classes and the Dickson algebra
• Dickson coinvariants and the homology of \(QS^ 0\)
• Modular representations of \(GL(n,p)\), splitting \(\Sigma(CP^{\infty} \times \dots \times CP^{\infty})\) and the \(\beta\)-family as framed hypersurfaces

Cites work

• \(\Gamma^+\)-structures. III: The stable structure of \(\Omega^\infty\Sigma^\infty A\)
• A Stable Decomposition of ω ^N Sⁿ X
• Double point self-intersection surfaces of immersions
• Homology of Iterated Loop Spaces
• scientific article; zbMATH DE number 3124499 (Why is no real title available?)
• scientific article; zbMATH DE number 1793696 (Why is no real title available?)
• On ${H_* {\left( {\Omega ^N \left( {S^n } \right);Z_2 } \right)} }$
• On H ∗ (Ω n+2 S n+1 ; F 2 )
• On Hopf invariants
• On the structure of Hopf algebras
• Reduced product spaces
• The Dyer-Lashof algebra and the \(\Lambda\)-algebra
• The geometry of the James-Hopf maps
• The homology of iterated loop spaces
• The homology of the James-Hopf maps
• The unstable Adams spectral sequence for free iterated loop spaces
• Unstable homotopy from the stable point of view

Cited in

(8)

• The weak conjecture on spherical classes
• Corrigendum to: ``Spherical classes in some finite loop spaces of spheres
• Cospherical classes in some iterated loop spaces on spheres
• Spherical classes in \(H_*(\omega ^ls^{l+n};{\mathbb{Z}}/2)\) for \(4\leqslant l \leqslant 8\)
• scientific article; zbMATH DE number 796974 (Why is no real title available?)
• Freudenthal's theorem and spherical classes in H_* QS^0
• A NOTE ON A-ANNIHILATED GENERATORS OF H_*QX
• Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions

This page was built for publication: Spherical classes in some finite loop spaces of spheres

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526877)