
diff -r 73c62576ef70 -r e2bab777d7c9 text/comm_alg.tex
--- a/text/comm_alg.tex	Wed May 12 18:26:20 2010 -0500
+++ b/text/comm_alg.tex	Thu May 13 12:07:02 2010 -0500
@@ -6,12 +6,6 @@
 \nn{this should probably not be a section by itself.  i'm just trying to write down the outline 
 while it's still fresh in my mind.}
 
-\nn{I strongly suspect that [blob complex
-for $M^n$ based on comm alg $C$ thought of as an $n$-category]
-is homotopy equivalent to [higher Hochschild complex for $M^n$ with coefficients in $C$].
-(Thomas Tradler's idea.)
-Should prove (or at least conjecture) that here.}
-
 \nn{also, this section needs a little updating to be compatible with the rest of the paper.}
 
 If $C$ is a commutative algebra it
@@ -20,6 +14,9 @@
 The goal of this \nn{subsection?} is to compute
 $\bc_*(M^n, C)$ for various commutative algebras $C$.
 
+Moreover, we conjecture that the blob complex $\bc_*(M^n, $C$)$, for $C$ a commutative algebra is homotopy equivalent to the higher Hochschild complex for $M^n$ with coefficients in $C$ (see \cite{MR0339132, MR1755114, MR2383113}).  This possibility was suggested to us by Thomas Tradler.
+
+
 \medskip
 
 Let $k[t]$ denote the ring of polynomials in $t$ with coefficients in $k$.




