making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
--- a/pnas/pnas.tex Tue Nov 09 14:03:58 2010 +0900
+++ b/pnas/pnas.tex Tue Nov 09 14:22:02 2010 +0900
@@ -226,11 +226,8 @@
Note that the functoriality in the above axiom allows us to operate via
homeomorphisms which are not the identity on the boundary of the $k$-ball.
The action of these homeomorphisms gives the ``strong duality" structure.
-
-Next we consider domains and ranges of $k$-morphisms.
-Because we assume strong duality, it doesn't make much sense to subdivide the boundary of a morphism
-into domain and range --- the duality operations can convert domain to range and vice-versa.
-Instead, we will use a unified domain/range, which we will call a ``boundary".
+As such, we don't subdivide the boundary of a morphism
+into domain and range --- the duality operations can convert between domain and range.
Later \todo{} we inductively define an extension of the functors $\cC_k$ to functors $\cl{\cC}_k$ from arbitrary manifolds to sets. We need the restriction of these functors to $k$-spheres, for $k<n$, for the next axiom.
@@ -242,8 +239,8 @@
For $c\in \cl{\cC}_{k-1}(\bd X)$ we define $\cC_k(X; c) = \bd^{-1}(c)$.
Many of the examples we are interested in are enriched in some auxiliary category $\cS$
-(e.g. $\cS$ is vector spaces or rings, or, in the $A_\infty$ case, chain complex or topological spaces).
-This means (by definition) that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure
+(e.g. vector spaces or rings, or, in the $A_\infty$ case, chain complex or topological spaces).
+This means that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure
of an object of $\cS$, and all of the structure maps of the category (above and below) are
compatible with the $\cS$ structure on $\cC_n(X; c)$.
@@ -298,6 +295,16 @@
\label{axiom:product}
For each pinched product $\pi:E\to X$, with $X$ a $k$-ball and $E$ a $k{+}m$-ball ($m\ge 1$),
there is a map $\pi^*:\cC(X)\to \cC(E)$.
+These maps must be
+\begin{enumerate}
+\item natural with respect to maps of pinched products,
+\item functorial with respect to composition of pinched products,
+\item compatible with gluing and restriction of pinched products.
+\end{enumerate}
+
+%%% begin noop %%%
+% this was the original list of conditions, which I've replaced with the much terser list above -S
+\noop{
These maps must satisfy the following conditions.
\begin{enumerate}
\item
@@ -338,6 +345,7 @@
\res_D\circ\pi^* = \rho^*\circ\res_Y .
\]
\end{enumerate}
+} %%% end \noop %%%
\end{axiom}
\begin{axiom}[\textup{\textbf{[plain version]}} Extended isotopy invariance in dimension $n$.]
\label{axiom:extended-isotopies}
@@ -676,7 +684,9 @@
By the `blob cochains' of a manifold $X$, we mean the $A_\infty$ maps of $\bc_*(X)$ as a $\bc_*(\bdy X)$ $A_\infty$-module.
-\todo{Sketch proof}
+\begin{proof}
+We have already defined the action of mapping cylinders, in Theorem \ref{thm:evaluation}, and the action of surgeries is just composition of maps of $A_\infty$-modules. We only need to check that the relations of the $n$-SC operad are satisfied. This follows immediately from the locality of the action of $\CH{-}$ (i.e., that it is compatible with gluing) and functoriality.
+\end{proof}
The little disks operad $LD$ is homotopy equivalent to 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 cohains $Hoch^*(C, C)$. The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923}) gives a map
\[
@@ -703,7 +713,7 @@
%% \appendix[Appendix Title]
\begin{acknowledgments}
--- text of acknowledgments here, including grant info --
+\nn{say something here}
\end{acknowledgments}
%% PNAS does not support submission of supporting .tex files such as BibTeX.