text/hochschild.tex
changeset 886 c570a7a75b07
parent 885 61541264d4b3
child 894 3f38383f26d3
--- a/text/hochschild.tex	Thu Aug 11 13:54:38 2011 -0700
+++ b/text/hochschild.tex	Thu Aug 11 22:14:11 2011 -0600
@@ -344,8 +344,8 @@
 $$\sum_j d_{j,1} \tensor \cdots \tensor d_{j,k_j} \tensor m_j \tensor d_{j,1}' \tensor \cdots \tensor d_{j,k'_j}' \in \ker(\DirectSum_{k,k'} C^{\tensor k} \tensor M \tensor C^{\tensor k'} \to M),$$
 and so
 \begin{align*}
-\ev(\bdy y) & = \sum_j m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k d_{j,1} \cdots d_{j,k_j} \\
-            & = \sum_j d_{j,1} \cdots d_{j,k_j} m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k \\
+\pi\left(\ev(\bdy y)\right) & = \pi\left(\sum_j m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k d_{j,1} \cdots d_{j,k_j}\right) \\
+            & = \pi\left(\sum_j d_{j,1} \cdots d_{j,k_j} m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k\right) \\
             & = 0
 \end{align*}
 where this time we use the fact that we're mapping to $\coinv{M}$, not just $M$.