--- a/text/hochschild.tex Thu May 27 15:06:48 2010 -0700
+++ b/text/hochschild.tex Thu May 27 20:09:47 2010 -0700
@@ -176,6 +176,7 @@
\ref{lem:hochschild-free}.
\end{proof}
+\subsection{Technical details}
\begin{proof}[Proof of Lemma \ref{lem:module-blob}]
We show that $K_*(C)$ is quasi-isomorphic to $\bc_*(S^1)$.
$K_*(C)$ differs from $\bc_*(S^1)$ only in that the base point *
@@ -468,7 +469,7 @@
It follows that $H_0(K''_*) \cong C$.
\end{proof}
-\medskip
+\subsection{An explicit chain map in low degrees}
For purposes of illustration, we describe an explicit chain map
$\HC_*(M) \to K_*(M)$