--- 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$.