Poincaré duality II (Ex)
(Difference between revisions)
Patrickorson (Talk | contribs) (Created page with "<wikitex>; For a simplicial complex $X$, define the front $p$-face of an $n$-simplex $\sigma = [v_0\ldots v_n]$ as $_p\sigma:=[v_0\ldots v_p]$ and the back $q$-face as $\sigma...") |
Patrickorson (Talk | contribs) |
||
Line 3: | Line 3: | ||
The Alexander-Whitney diagonal approximation is given by | The Alexander-Whitney diagonal approximation is given by | ||
− | $$ | + | $$\begin{aligned} |
− | \tau: C_n(X) \to (C(X)\otimes C(X))_n | + | \tau: C_n(X) &\to (C(X)\otimes C(X))_n \\ |
− | + | \sigma &\mapsto \sum_{p+q=n}{_p\sigma\otimes\sigma_q} | |
+ | \end{aligned} | ||
$$ | $$ | ||
and the partial evaluation map is defined as | and the partial evaluation map is defined as | ||
$$ | $$ | ||
− | E: C^r(X)\otimes C_p(X)\otimes C_q(X) \to C_q(X) | + | \begin{aligned} |
− | + | E: C^r(X)\otimes C_p(X)\otimes C_q(X) &\to C_q(X)\\ | |
− | + | a\otimes z \otimes w &\mapsto \left\{ \begin{array}{cc} a(w)\otimes z, & r=q \\ | |
− | a\otimes z \otimes w \mapsto \left\{ \begin{array}{cc} a(w)\otimes z, & r=q \\ | + | |
0, & \mathrm{otherwise} \end{array}\right. ~. | 0, & \mathrm{otherwise} \end{array}\right. ~. | ||
+ | \end{aligned} | ||
$$ | $$ | ||
Recall, we define the cap product on the chain level by $$a\cap z := E(a\otimes \tau(z))$$ and this descends to a well defined product on (co)homology. | Recall, we define the cap product on the chain level by $$a\cap z := E(a\otimes \tau(z))$$ and this descends to a well defined product on (co)homology. |
Revision as of 22:50, 19 March 2012
Tex syntax error-face as
The Alexander-Whitney diagonal approximation is given by
and the partial evaluation map is defined as
Recall, we define the cap product on the chain level by
and this descends to a well defined product on (co)homology.
Consider as a simplicial complex with three -simplices and three -simplices. Compute explicitly, using the Alexander-Whitney diagonal approximation, the map
thus verifying that has Poincaré duality.
References
$-simplices and three X, define the front -face of an -simplex as and the backTex syntax error-face as
The Alexander-Whitney diagonal approximation is given by
and the partial evaluation map is defined as
Recall, we define the cap product on the chain level by
and this descends to a well defined product on (co)homology.
Consider as a simplicial complex with three -simplices and three -simplices. Compute explicitly, using the Alexander-Whitney diagonal approximation, the map
thus verifying that has Poincaré duality.
References
$-simplices. Compute explicitly, using the Alexander-Whitney diagonal approximation, the map $$ -\cap[S^1]: C^{1-*}(S^1) \to C_*(S^1)$$ thus verifying that $S^1$ has Poincaré duality. == References == {{#RefList:}} [[Category:Exercises]]X, define the front -face of an -simplex as and the backTex syntax error-face as
The Alexander-Whitney diagonal approximation is given by
and the partial evaluation map is defined as
Recall, we define the cap product on the chain level by
and this descends to a well defined product on (co)homology.
Consider as a simplicial complex with three -simplices and three -simplices. Compute explicitly, using the Alexander-Whitney diagonal approximation, the map
thus verifying that has Poincaré duality.