diff -r 3f180943709f -r b62214646c4f text/comm_alg.tex --- a/text/comm_alg.tex Wed Aug 26 01:21:59 2009 +0000 +++ b/text/comm_alg.tex Wed Aug 26 02:35:24 2009 +0000 @@ -5,6 +5,12 @@ \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.} + If $C$ is a commutative algebra it can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for $j