Poincaré embedding of the diagonal

Abstract

There is a Poincaré embedding structure on the diagonal X → X × X X\rightarrow X\times X under the conditions: i) X X is formed by gluing two compact smooth manifolds along their boundaries using a homotopy equivalence and ii) a square-root closed condition is satisfied by the fundamental groupoid of the boundary.