pnas/pnas.tex
changeset 624 09dd7ca77aad
parent 623 53aed9fdfcd9
child 625 c6d069b8f931
--- 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),