Let W be a manifold with boundary such that \partial W is a union of two compact manifold A,B attached along their boundary. Does poincare duality hold for (W,A) and (W,B)?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
Yes. Let's assume $W$ is oriented. It has a fundamental class $[W]\in H_n(W)$, and by Lefschetz duality the cap product with $[W]$ produces isomorphisms $H^p(W,A\cup B)\to H_{np}(W)$ and $H^p(W)\to H_{np}(W,A\cup B)$. If you think about it, it also produces a map $H^p(W,A)\to H_{np}(W,B)$. The latter is an isomorphism by a fivelemma argument. The sequence $$ \dots \to H^p(W,A\cup B)\to H^p(W,A)\to H^p(A\cup B,A)\to \dots $$ gets mapped to the sequence $$ \dots \to H_{np}(W)\to H_{np}(W,B)\to H_{np1}(B)\to . $$ (The excision isomorphism $H^p(A\cup B,A)\cong H_p(B,A\cap B)$ is involved.) 

