
diff -r 86c8e2129355 -r 09bafa0b6a85 text/hochschild.tex
--- a/text/hochschild.tex	Thu Jul 22 19:32:40 2010 -0600
+++ b/text/hochschild.tex	Fri Jul 23 08:14:27 2010 -0600
@@ -219,26 +219,26 @@
 If $y$ is a field defined on a neighborhood of *, define $s(y) = y$ if
 * is a labeled point in $y$.
 Otherwise, define $s(y)$ to be the result of adding a label 1 (identity morphism) at *.
-Extending linearly, we get the desired map $s: \bc_*(S^1) \to K_*(C)$.
+Extending linearly, we get the desired map $s: J_* \to K_*(C)$.
 It is easy to check that $s$ is a chain map and $s \circ i = \id$.
 
 Let $N_\ep$ denote the ball of radius $\ep$ around *.
-Let $L_*^\ep \sub \bc_*(S^1)$ be the subcomplex 
+Let $L_*^\ep \sub J_*$ be the subcomplex 
 spanned by blob diagrams
 where there are no labeled points
 in $N_\ep$, except perhaps $*$, and $N_\ep$ is either disjoint from or contained in 
 every blob in the diagram.
-Note that for any chain $x \in \bc_*(S^1)$, $x \in L_*^\ep$ for sufficiently small $\ep$.
+Note that for any chain $x \in J_*$, $x \in L_*^\ep$ for sufficiently small $\ep$.
 
 We define a degree $1$ map $j_\ep: L_*^\ep \to L_*^\ep$ as follows.
 Let $x \in L_*^\ep$ be a blob diagram.
-\nn{maybe add figures illustrating $j_\ep$?}
+%\nn{maybe add figures illustrating $j_\ep$?}
 If $*$ is not contained in any twig blob, we define $j_\ep(x)$ by adding 
 $N_\ep$ as a new twig blob, with label $y - s(y)$ where $y$ is the restriction
 of $x$ to $N_\ep$.
 If $*$ is contained in a twig blob $B$ with label $u=\sum z_i$, 
-\nn{SM: I don't think we need to consider sums here}
-\nn{KW: It depends on whether we allow linear combinations of fields outside of twig blobs}
+%\nn{SM: I don't think we need to consider sums here}
+%\nn{KW: It depends on whether we allow linear combinations of fields outside of twig blobs}
 write $y_i$ for the restriction of $z_i$ to $N_\ep$, and let
 $x_i$ be equal to $x$ on $S^1 \setmin B$, equal to $z_i$ on $B \setmin N_\ep$,
 and have an additional blob $N_\ep$ with label $y_i - s(y_i)$.
@@ -250,7 +250,7 @@
 \]
 (To get the signs correct here, we add $N_\ep$ as the first blob.)
 Since for $\ep$ small enough $L_*^\ep$ captures all of the
-homology of $\bc_*(S^1)$, 
+homology of $J_*$, 
 it follows that the mapping cone of $i \circ s$ is acyclic and therefore (using the fact that
 these complexes are free) $i \circ s$ is homotopic to the identity.
 \end{proof}
@@ -471,7 +471,7 @@
 Since $K'_0 = K''_0$, we can take $h_0 = 0$.
 Let $x \in K'_1$, with single blob $B \sub S^1$.
 If $* \notin B$, then $x \in K''_1$ and we define $h_1(x) = 0$.
-If $* \in B$, then we work in the image of $G'_*$ and $G''_*$ (with respect to $B$).
+If $* \in B$, then we work in the image of $G'_*$ and $G''_*$ (with $B$ playing the role of $N$ above).
 Choose $x'' \in G''_1$ such that $\bd x'' = \bd x$.
 Since $G'_*$ is contractible, there exists $y \in G'_2$ such that $\bd y = x - x''$.
 Define $h_1(x) = y$.
@@ -486,7 +486,7 @@
 Choose $y \in G'_{l+1}$ such that $\bd y = x' - x'' - h_{l-1}\bd x'$.
 Define $h_k(x) = y \bullet p$.
 This completes the proof that $i: K''_* \to K'_*$ is a homotopy equivalence.
-\nn{need to say above more clearly and settle on notation/terminology}
+%\nn{need to say above more clearly and settle on notation/terminology}
 
 Finally, we show that $K''_*$ is contractible with $H_0\cong C$.
 This is similar to the proof of Proposition \ref{bcontract}, but a bit more




