diff -r 61541264d4b3 -r c570a7a75b07 text/hochschild.tex --- 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$.