The geometric Hopf invariant and surgery theory

DOI10.1007/978-3-319-71306-9zbMATH Open1404.55001arXiv1602.08832OpenAlexW2292676709MaRDI QIDQ4602202FDOQ4602202

Authors: Michael C. Crabb, Andrew Ranicki 

Publication date: 9 January 2018

Published in: Springer Monographs in Mathematics (Search for Journal in Brave)

Abstract: The first author's geometric Hopf invariant of a stable map $F:Sigm{a}^{infty}XoSigm{a}^{infty}Y$ is a stable ${mathbbZ}_2$-equivariant map $h(F):Sigm{a}^{infty}XoSigm{a}^{infty}(YwedgeY)$ constructed by an explicit difference construction applied to $(FwedgeF)Delt{a}_X-Delt{a}_{Y}F$. The stable ${mathbbZ}_2$-equivariant homotopy class of $h(F)$ is the primary obstruction to desuspending $F$ up to homotopy. The explicit nature of the construction allows for a $pi$-equivariant version of $h(F)$ in the case of a $pi$-equivariant $F$, with $pi$ a discrete group. In earlier joint work we applied the $p{i}_1(N)$-equivariant geometric Hopf invariant of the Umkehr map $F:Sigm{a}^{infty}{N}^{+}oSigm{a}^{infty}T(u_f)$ of an immersion $f:MoN$ to capture the double points of $f$ in ${mathbbZ}_2$-equivariant homotopy theory. In this manuscript we use the $pi$-equivariant geometric Hopf invariant $h(F)$ to unify all the previous homotopy theoretic treatments of double points. Furthermore, $h(F)$ is combined with the second author's algebraic surgery theory of chain complexes with Poincar'e duality to provide the homotopy theoretic foundations for non-simply-connected geometric surgery. For an $n$-dimensional normal map $(f,b):MoX$ the $p{i}_1(X)$-equivariant geometric Hopf invariant $h(F)$ of the Umkehr map $F:Sigm{a}^{infty}{X}^{+}oSigm{a}^{infty}{M}^{+}$ is shown to induce the $p{i}_1(X)$-equivariant quadratic structure $ps{i}_F$ on the chain complex kernel $C$ of $(f,b)$. Previously $ps{i}_F$ had only been constructed using the chain complex analogue of the functional Steenrod squares. The Wall surgery obstruction $sigm{a}_{\ast }(f,b)=(C,ps{i}_F)in{L}_n(mathbbZ[p{i}_1(X)])$ is the cobordism class of the corresponding $n$-dimensional quadratic Poincar'e complex $(C,ps{i}_F)$, as in the original theory.

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

Recommendations

• A course on surgery theory
• scientific article; zbMATH DE number 1820658
• scientific article; zbMATH DE number 53658
• scientific article; zbMATH DE number 1996302
• scientific article; zbMATH DE number 980517

zbMATH Keywords

bordismstable homotopy theorynormal mapHopf invariantquadratic constructionsurgery obstructionsumkehr maps

Mathematics Subject Classification ID

Surgery obstructions, Wall groups (57R67) Surgery and handlebodies (57R65) Research exposition (monographs, survey articles) pertaining to algebraic topology (55-02) Stable homotopy groups (55Q10) Hopf invariants (55Q25)

Cited In (11)

• Title not available (Why is that?)
• A surgery formula for the discrete Godbillon-Vey invariant
• Opérations géométriques en cobordisme complexe
• The geometric Hopf invariant and double points
• Title not available (Why is that?)
• Realizing the analytic surgery group of Higson and Roe geometrically. III: Higher invariants
• Surgery, polygons and SU(N)‐Floer homology
• Title not available (Why is that?)
• Surgery theory. Foundations. With Contributions by Diarmuid Crowley
• Topological realizations of chain complexes. I: The general theory
• Poincaré complex diagonals

This page was built for publication: The geometric Hopf invariant and surgery theory

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