Embedding, compression, and the relative Hopf invariant

We establish Poincaré embedding results in the relative setting, generalizing previously known results in the absolute case. Our primary motivation comes from applications to non-simply connected Poincaré surgery, which will be developed in a forthcoming paper. Along the way, we introduce a new tool: the relative Hopf invariant in the equivariant setting.