diff -r 53aed9fdfcd9 -r 09dd7ca77aad pnas/pnas.tex --- a/pnas/pnas.tex Sun Nov 14 18:33:03 2010 -0800 +++ b/pnas/pnas.tex Sun Nov 14 19:25:16 2010 -0800 @@ -219,6 +219,9 @@ \nn{In many places we omit details; they can be found in MW. (Blanket statement in order to avoid too many citations to MW.)} +\nn{perhaps say something explicit about the relationship of this paper to big blob paper. +like: in this paper we try to give a clear view of the big picture without getting bogged down in details} + \section{Definitions} \subsection{$n$-categories} \mbox{} @@ -831,7 +834,10 @@ The little disks operad $LD$ is homotopy equivalent to \nn{suboperad of} the $n=1$ case of the $n$-SC operad. The blob complex $\bc_*(I, \cC)$ is a bimodule over itself, and the $A_\infty$-bimodule intertwiners are homotopy equivalent to the Hochschild cochains $Hoch^*(C, C)$. -The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923}) gives a map +The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923}) +\nn{should check that this is the optimal list of references; what about Gerstenhaber-Voronov?; +if we revise this list, should propagate change back to main paper} +gives a map \[ C_*(LD_k)\tensor \overbrace{Hoch^*(C, C)\tensor\cdots\tensor Hoch^*(C, C)}^{\text{$k$ copies}} \to Hoch^*(C, C),