Abstract:The first author's geometric Hopf invariant of a stable map $F:\Sigma^{\infty}X \to \Sigma^{\infty}Y$ is a stable ${\mathbb Z}_2$-equivariant map $h(F):\Sigma^{\infty}X \to \Sigma^{\infty}(Y \wedge Y)$ constructed by an explicit difference construction applied to $(F \wedge F)\Delta_X - \Delta_Y F$. The stable ${\mathbb Z}_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 $\pi_1(N)$-equivariant geometric Hopf invariant of the Umkehr map $F:\Sigma^{\infty}N^+ \to \Sigma^{\infty}T(\nu_f)$ of an immersion $f:M \to N$ to capture the double points of $f$ in ${\mathbb Z}_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é duality to provide the homotopy theoretic foundations for non-simply-connected geometric surgery. For an $n$-dimensional normal map $(f,b):M \to X$ the $\pi_1(X)$-equivariant geometric Hopf invariant $h(F)$ of the Umkehr map $F:\Sigma^{\infty}X^+ \to\Sigma^{\infty}M^+$ is shown to induce the $\pi_1(X)$-equivariant quadratic structure $\psi_F$ on the chain complex kernel $C$ of $(f,b)$. Previously $\psi_F$ had only been constructed using the chain complex analogue of the functional Steenrod squares. The Wall surgery obstruction $\sigma_*(f,b)=(C,\psi_F) \in L_n({\mathbb Z}[\pi_1(X)])$ is the cobordism class of the corresponding $n$-dimensional quadratic Poincaré complex $(C,\psi_F)$, as in the original theory.

On the parameter space of fibered hyperbolic polynomials

Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

Fibering polarizations and Mabuchi rays on symmetric spaces of compact type

Bifurcation Measures and Quadratic Rational Maps

Transversality in the Setting of Hyperbolic and Parabolic Maps

Flow Map Parameterization Methods for Invariant Tori in Quasi-Periodic Hamiltonian Systems

Towards a semilocal study of parabolic invariant curves for fibred holomorphic maps

Interpolating quasiregular power mappings

Quasisymmetric maps, shears, lambda lengths and flips

Fibrations by plane quartic curves with a canonical moving singularity

The moduli space of a rational map is Carathéodory hyperbolic

Primitive Tuning Via Quasiconformal Surgery

Quasiconformal curves and quasiconformal maps in metric spaces

Bifurcations within holomorphic families of endomorphisms on P k

The geometric Hopf invariant and surgery theory

Hyperbolicity of renormalization of critical quasicircle maps

Some interesting birational morphisms of smooth affine quadric $3$-folds

Filtering the fiber of the pinch map

Some interesting birational morphisms of smooth affine quadric 3-folds *

Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains

HARMONIC MORPHISMS AND SUBMANIFOLDS WITH CONFORMAL SECOND FUNDAMENTAL FORMS