Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions

DOI10.1093/QMATH/HAY069MaRDI QIDQ5147013zbMATH OpenOpenAlexFDO

Authors Hadi Zare

Publication date 2 February 2021

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Hopf algebraprimitive elementKervaire invariantspherical classinfinite loop spaceunstable Hurewicz homomorphism

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Stable homotopy groups (55Q10) Infinite loop spaces (55P47)

Abstract: After recent work of Hill, Hopkins, and Ravenel on the Kervaire invariant one problem, as well as Adams' solution of the Hopf invariant one problem, an immediate consequence of Curtis conjecture is that the set of spherical classes in $H_{\ast }{Q}_0{S}^0$ is finite. Similarly, Eccles conjecture, when specialised to $X=S^n$ with $n>0$, together with Adams' Hopf invariant one theorem, implies that the set of spherical classes in $H_{\ast }Q{S}^n$ is finite. We prove a filtered version of the above the finiteness properties. We show that if $X$ is an arbitrary $CW$-complex such that $H_{\ast }X$ is finite dimensional then the image of the composition ${}_{2}p{i}_{\ast }Omeg{a}^{l}Sigm{a}^{l+2}Xo{}_{2}p{i}_{\ast }QSigm{a}^{2}Xo{H}_{\ast }QSigm{a}^{2}X$ is finite; the finiteness remains valid if we formally replace $X$ with $S^{-1}$. As an immediate and interesting application, we observe that for any compact Lie group $G$ with $dimmathfrakg>1$ and for any $n>0$ the image of the composition ${}_{2}p{i}_{\ast }QSigm{a}^{dimmathfrakg}B{G}_{+}^{[n]}o{}_{2}p{i}_{\ast }QSigm{a}^{dimmathfrakg}B{G}_{+}o{}_{2}p{i}_{\ast }{Q}_0{S}^{0}o{H}_{\ast }{Q}_0{S}^0$ is finite where $Sigm{a}^{dimmathfrakg}B{G}_{+}o{S}^0$ is a suitably twisted transfer map. Next, we consider work of Koschorke and Sanderson which using Thom-Pontrjagin construction provides a $1$-$1$ correspondence (a group isomorphism if $m+d>0$) $Ph{i}_{m,d}^{N,xi}:mathrm{Imm}_x{i}^d(mathbb{R}^{m}imesN)longrightarrow[N_{+},Omeg{a}^{m+d}Sigm{a}^{d}T(xi)]$. We apply work of Asadi and Eccles on computing Stiefel-Whitney numbers of immersions to show that given a framed immersion $Momathbb{R}^{n+k}$ and choosing $n$ very large with respect to $d$ and $k$, all self-intersection manifolds of an arbitrary element of $mathrm{Imm}_x{i}^d(mathbb{R}^{m}imesN)$ are boundary.

Recommendations

• On the mod \(p\) Lannes-Zarati homomorphism
• The Lannes-Zarati homomorphism and decomposable elements
• Freudenthal's theorem and spherical classes in \(H_* QS^0\)
• On the Bott periodicity, \(J\)-homomorphisms, and \(H_{*}Q_{0}S^{ - k}\)
• Adams filtration and generalized Hurewicz maps for infinite loopspaces

Cites work

• scientific article; zbMATH DE number 3124499 (Why is no real title available?)
• Algebraic Kahn-Priddy theorem
• Applications of the transfer to stable homotopy theory
• Bordism groups of immersions and classes represented by self-intersections
• Determining the Characteristic Numbers of Self-Intersection Manifolds
• Double point self-intersection surfaces of immersions
• Equivariant function spaces and stable homotopy theory. I
• Homology of Iterated Loop Spaces
• On ${H_* {\left( {\Omega ^N \left( {S^n } \right);Z_2 } \right)} }$
• On H ∗ (Ω n+2 S n+1 ; F 2 )
• On the action of the Dyer-Lashof algebra in \(H*(G)\)
• On the non-existence of elements of Hopf invariant one
• On the structure of Hopf algebras
• S 1 -Equivariant Function Spaces and Characteristic Classes
• Self-intersections and higher Hopf invariants
• Spherical classes in some finite loop spaces of spheres
• Splitting Madsen-Tillmann spectra I. Twisted transfer maps
• The Dyer-Lashof algebra and the \(\Lambda\)-algebra
• The compression theorem I
• The hit problem for the Dickson algebra
• The unstable Adams spectral sequence for free iterated loop spaces
• The weak conjecture on spherical classes

Cited in

(5)

• Adams filtration and generalized Hurewicz maps for infinite loopspaces
• On the Bott periodicity, \(J\)-homomorphisms, and \(H_{*}Q_{0}S^{ - k}\)
• A NOTE ON A-ANNIHILATED GENERATORS OF H_*QX
• Spherical classes in \(H_*(\omega ^ls^{l+n};{\mathbb{Z}}/2)\) for \(4\leqslant l \leqslant 8\)
• Spherical classes in some finite loop spaces of spheres

This page was built for publication: Filtered finiteness of the image of the unstable Hurewicz homomorphism with applications to bordism of immersions

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