starting on Deligne section
authorKevin Walker <kevin@canyon23.net>
Sun, 14 Nov 2010 22:54:29 -0800
changeset 625 c6d069b8f931
parent 624 09dd7ca77aad
child 626 f83c27d2d210
starting on Deligne section
pnas/pnas.tex
--- a/pnas/pnas.tex	Sun Nov 14 19:25:16 2010 -0800
+++ b/pnas/pnas.tex	Sun Nov 14 22:54:29 2010 -0800
@@ -811,6 +811,24 @@
 \section{Deligne conjecture for $n$-categories}
 \label{sec:applications}
 
+Let $M$ and $N$ be $n$-manifolds with common boundary $E$.
+Recall (Theorem \ref{thm:gluing}) that the $A_\infty$ category $A = \bc_*(E)$
+acts on $\bc_*(M)$ and $\bc_*(N)$.
+Let $\hom_A(\bc_*(M), \bc_*(N))$ denote the chain complex of $A_\infty$ module maps
+from $\bc_*(M)$ to $\bc_*(N)$.
+Let $R$ be another $n$-manifold with boundary $-E$.
+There is a chain map
+\[
+	\hom_A(\bc_*(M), \bc_*(N)) \ot \bc_*(M) \ot_A \bc_*(R) \to \bc_*(N) \ot_A \bc_*(R) .
+\]
+We think of this map as being associated to a surgery which cuts $M$ out of $M\cup_E R$ and
+replaces it with $N$, yielding $N\cup_E R$.
+
+Recall (Theorem \ref{thm:evaluation}) that chains on the space of mapping cylinders also act  on the 
+blob complex.
+\nn{...}
+
+
 \begin{thm}[Higher dimensional Deligne conjecture]
 \label{thm:deligne}
 The singular chains of the $n$-dimensional surgery cylinder operad act on blob cochains.
@@ -864,7 +882,7 @@
 \begin{acknowledgments}
 It is a pleasure to acknowledge helpful conversations with 
 Kevin Costello,
-Mike Freedman,
+Michael Freedman,
 Justin Roberts,
 and
 Peter Teichner.