
diff -r ae5fd0a7a8a3 -r 56a31852242e text/deligne.tex
--- a/text/deligne.tex	Sun Jul 18 18:23:31 2010 -0600
+++ b/text/deligne.tex	Sun Jul 18 18:26:05 2010 -0600
@@ -8,8 +8,8 @@
 (Theorem \ref{thm:deligne} below).
 Then we give the proof.
 
-\nn{Does this generalization encompass Kontsevich's proposed generalization from \cite[\S2.5]{MR1718044}, 
-that (I think...) the Hochschild homology of an $E_n$ algebra is an $E_{n+1}$ algebra? -S}
+%\nn{Does this generalization encompass Kontsevich's proposed generalization from \cite[\S2.5]{MR1718044}, 
+%that (I think...) the Hochschild homology of an $E_n$ algebra is an $E_{n+1}$ algebra? -S}
 
 %from http://www.ams.org/mathscinet-getitem?mr=1805894
 %Different versions of the geometric counterpart of Deligne's conjecture have been proven by Tamarkin [``Formality of chain operad of small squares'', preprint, http://arXiv.org/abs/math.QA/9809164], the reviewer [in Conf�rence Mosh� Flato 1999, Vol. II (Dijon), 307--331, Kluwer Acad. Publ., Dordrecht, 2000; MR1805923 (2002d:55009)], and J. E. McClure and J. H. Smith [``A solution of Deligne's conjecture'', preprint, http://arXiv.org/abs/math.QA/9910126] (see also a later simplified version [J. E. McClure and J. H. Smith, ``Multivariable cochain operations and little $n$-cubes'', preprint, http://arXiv.org/abs/math.QA/0106024]). The paper under review gives another proof of Deligne's conjecture, which, as the authors indicate, may be generalized to a proof of a higher-dimensional generalization of Deligne's conjecture, suggested in [M. Kontsevich, Lett. Math. Phys. 48 (1999), no. 1, 35--72; MR1718044 (2000j:53119)]. 
@@ -192,8 +192,7 @@
 				 \cdots  \stackrel{\id\ot\alpha_k}{\to} \bc_*(R_k\cup N_k)
 				 \stackrel{f_k}{\to} \bc_*(N_0)
 \]
-(Recall that the maps $\id\ot\alpha_i$ were defined in \S\ref{ss:module-morphisms}s.)
-\nn{need to double check case where $\alpha_i$'s are not closed.}
+(Recall that the maps $\id\ot\alpha_i$ were defined in \S\ref{ss:module-morphisms}.)
 It is easy to check that the above definition is compatible with the equivalence relations
 and also the operad structure.
 We can reinterpret the above as a chain map




