--- a/text/deligne.tex Mon Dec 21 21:51:44 2009 +0000
+++ b/text/deligne.tex Tue Dec 22 21:18:07 2009 +0000
@@ -2,14 +2,14 @@
\section{Higher-dimensional Deligne conjecture}
\label{sec:deligne}
-In this section we discuss Property \ref{property:deligne},
-\begin{prop}[Higher dimensional Deligne conjecture]
+In this section we discuss
+\newenvironment{property:deligne}{\textbf{Property \ref{property:deligne} (Higher dimensional Deligne conjecture)}\it}{}
+
+\begin{property:deligne}
The singular chains of the $n$-dimensional fat graph operad act on blob cochains.
-\end{prop}
+\end{property:deligne}
-We will give a more precise statement of the proposition below.
-
-\nn{for now, we just sketch the proof.}
+We will state this more precisely below as Proposition \ref{prop:deligne}, and just sketch a proof. First, we recall the usual Deligne conjecture, explain how to think of it as a statement about blob complexes, and begin to generalize it.
\def\mapinf{\Maps_\infty}
@@ -77,13 +77,17 @@
$n$-dimensional fat graph operad are labeled by $\bc^*(A_i, B_i)$.
\nn{need to make up my mind which notation I'm using for the module maps}
-Putting this together we get a collection of maps
+Putting this together we get
+\begin{prop}(Precise statement of Property \ref{property:deligne})
+\label{prop:deligne}
+There is a collection of maps
\begin{eqnarray*}
C_*(FG^n_{\overline{M}, \overline{N}})\otimes \mapinf(\bc_*(M_0), \bc_*(N_0))\otimes\cdots\otimes
\mapinf(\bc_*(M_{k-1}), \bc_*(N_{k-1})) & \\
& \hspace{-11em}\to \mapinf(\bc_*(M_k), \bc_*(N_k))
\end{eqnarray*}
-which satisfy an operad type compatibility condition.
+which satisfy an operad type compatibility condition. \nn{spell this out}
+\end{prop}
Note that if $k=0$ then this is just the action of chains of diffeomorphisms from Section \ref{sec:evaluation}.
And indeed, the proof is very similar \nn{...}