text/deligne.tex
changeset 954 43bc04bcf941
parent 920 99e577999b53
equal deleted inserted replaced
953:ec1c5ccef482 954:43bc04bcf941
   212 \end{thm}
   212 \end{thm}
   213 
   213 
   214 The ``up to coherent homotopy" in the statement is due to the fact that the isomorphisms of 
   214 The ``up to coherent homotopy" in the statement is due to the fact that the isomorphisms of 
   215 \ref{lem:bc-btc} and \ref{thm:gluing} are only defined up to a contractible set of homotopies.
   215 \ref{lem:bc-btc} and \ref{thm:gluing} are only defined up to a contractible set of homotopies.
   216 
   216 
   217 If, in analogy to Hochschild cochains, we define elements of $\hom(M, N)$
   217 If, in analogy to Hochschild cochains, we define elements of $\hom(\bc_*(M), \bc_*(N))$
   218 to be ``blob cochains", we can summarize the above proposition by saying that the $n$-SC operad acts on
   218 to be ``blob cochains", we can summarize the above proposition by saying that the $n$-SC operad acts on
   219 blob cochains.
   219 blob cochains.
   220 As noted above, the $n$-SC operad contains the little $n{+}1$-balls operad, so this constitutes
   220 As noted above, the $n$-SC operad contains the little $n{+}1$-balls operad, so this constitutes
   221 a higher dimensional version of the Deligne conjecture for Hochschild cochains and the little 2-disks operad.
   221 a higher dimensional version of the Deligne conjecture for Hochschild cochains and the little 2-disks operad.
   222 
   222