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

DOI10.1093/QMATH/HAY069zbMATH Open1460.55014arXiv1801.00735OpenAlexW2963111612MaRDI QIDQ5147013FDOQ5147013

Authors: Hadi Zare 

Publication date: 2 February 2021

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

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.

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

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

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)

Cites Work

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

Cited In (5)

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