Poincaré Duality Spaces
(Difference between revisions)
(→Introduction) |
(→Introduction) |
||
Line 8: | Line 8: | ||
A Poincaré duality space of dimension $d$ consists of a space $X$ together a pair $(\mathcal{L},[X])$ in which $\mathcal{L}$ is a bundle of local coefficients on $X$ which is free abelian of rank one and $[X] \in H_d(X;\mathcal {L})$ sastifies | A Poincaré duality space of dimension $d$ consists of a space $X$ together a pair $(\mathcal{L},[X])$ in which $\mathcal{L}$ is a bundle of local coefficients on $X$ which is free abelian of rank one and $[X] \in H_d(X;\mathcal {L})$ sastifies | ||
$$ \cap [X] : H^*(X;\mathcal{B}) \to H_{d-*}(X;\mathcal{B} \otimes \mathcal{L})$$ | $$ \cap [X] : H^*(X;\mathcal{B}) \to H_{d-*}(X;\mathcal{B} \otimes \mathcal{L})$$ | ||
− | is an isomorphism. Here, $ | + | is an isomorphism. Here, $\mathcal B$ is allowed to range over all local coefficient bundles on $X$. |
==Example== | ==Example== |
Revision as of 22:23, 21 March 2011
The user responsible for this page is Klein. No other user may edit this page at present. |
This page has not been refereed. The information given here might be incomplete or provisional. |
1 Introduction
1 Definition
A Poincaré duality space of dimension consists of a space together a pair in which is a bundle of local coefficients on which is free abelian of rank one and sastifies
is an isomorphism. Here, is allowed to range over all local coefficient bundles on .
2 Example
A closed (smooth, PL, TOP or homology) manifold of dimension is a Poincaré duality space of dimension , where is the orientation sheaf of and is the fundamental class.