...
--- a/text/a_inf_blob.tex Tue Oct 13 21:32:06 2009 +0000
+++ b/text/a_inf_blob.tex Thu Oct 15 23:29:45 2009 +0000
@@ -20,7 +20,7 @@
Let $\cF$ be the $A_\infty$ $k$-category which assigns to a $k$-ball
$X$ the old-fashioned blob complex $\bc_*(X\times F)$.
-\begin{thm}
+\begin{thm} \label{product_thm}
The old-fashioned blob complex $\bc_*^C(Y\times F)$ is homotopy equivalent to the
new-fangled blob complex $\bc_*^\cF(Y)$.
\end{thm}
@@ -28,14 +28,20 @@
\begin{proof}
We will use the concrete description of the colimit from Subsection \ref{ss:ncat_fields}.
-First we define a map from $\bc_*^\cF(Y)$ to $\bc_*^C(Y\times F)$.
+First we define a map
+\[
+ \psi: \bc_*^\cF(Y) \to \bc_*^C(Y\times F) .
+\]
In filtration degree 0 we just glue together the various blob diagrams on $X\times F$
(where $X$ is a component of a permissible decomposition of $Y$) to get a blob diagram on
$Y\times F$.
In filtration degrees 1 and higher we define the map to be zero.
It is easy to check that this is a chain map.
-Next we define a map from $\phi: \bc_*^C(Y\times F) \to \bc_*^\cF(Y)$.
+Next we define a map
+\[
+ \phi: \bc_*^C(Y\times F) \to \bc_*^\cF(Y) .
+\]
Actually, we will define it on the homotopy equivalent subcomplex
$\cS_* \sub \bc_*^C(Y\times F)$ generated by blob diagrams which are small with
respect to some open cover
@@ -56,7 +62,7 @@
We will define $\phi$ using a variant of the method of acyclic models.
Let $a\in \cS_m$ be a blob diagram on $Y\times F$.
For $m$ sufficiently small there exists a decomposition $K$ of $Y$ into $k$-balls such that the
-codimension 1 cells of $K\times F$ miss the blobs of $a$, and more generally such that $a$ is splittable along $K\times F$.
+codimension 1 cells of $K\times F$ miss the blobs of $a$, and more generally such that $a$ is splittable along (the codimension-1 part of) $K\times F$.
Let $D(a)$ denote the subcomplex of $\bc_*^\cF(Y)$ generated by all $(a, \bar{K})$
such that each $K_i$ has the aforementioned splittable property
(see Subsection \ref{ss:ncat_fields}).
@@ -109,7 +115,6 @@
\nn{need to also require that $KLM$ antirefines to $KM$, etc.}
Then we have a filtration degree 2 chain, as shown in Figure \ref{zzz5}, which does the trick.
(Each small triangle in Figure \ref{zzz5} can be filled with a filtration degree 2 chain.)
-For example, ....
\begin{figure}[!ht]
\begin{equation*}
@@ -119,16 +124,48 @@
\label{zzz5}
\end{figure}
+Continuing in this way we see that $D(a)$ is acyclic.
\end{proof}
+We are now in a position to apply the method of acyclic models to get a map
+$\phi:\cS_* \to \bc_*^\cF(Y)$.
+This map is defined in sufficiently low degrees, sends a blob diagram $a$ to $D(a)$,
+and is well-defined up to (iterated) homotopy.
-\nn{....}
+The subcomplex $\cS_* \subset \bc_*^C(Y\times F)$ depends on choice of cover of $Y\times F$.
+If we refine that cover, we get a complex $\cS'_* \subset \cS_*$
+and a map $\phi':\cS'_* \to \bc_*^\cF(Y)$.
+$\phi'$ is defined only on homological degrees below some bound, but this bound is higher than
+the corresponding bound for $\phi$.
+We must show that $\phi$ and $\phi'$ agree, up to homotopy,
+on the intersection of the subcomplexes on which they are defined.
+This is clear, since the acyclic subcomplexes $D(a)$ above used in the definition of
+$\phi$ and $\phi'$ do not depend on the choice of cover.
+
+\nn{need to say (and justify) that we now have a map $\phi$ indep of choice of cover}
+
+We now show that $\phi\circ\psi$ and $\psi\circ\phi$ are homotopic to the identity.
+
+$\psi\circ\phi$ is the identity. $\phi$ takes a blob diagram $a$ and chops it into pieces
+according to some decomposition $K$ of $Y$.
+$\psi$ glues those pieces back together, yielding the same $a$ we started with.
+
+$\phi\circ\psi$ is the identity up to homotopy by another MoAM argument...
+
+This concludes the proof of Theorem \ref{product_thm}.
+\nn{at least I think it does; it's pretty rough at this point.}
\end{proof}
-
\nn{need to say something about dim $< n$ above}
+\medskip
+\begin{cor}
+The new-fangled and old-fashioned blob complexes are homotopic.
+\end{cor}
+\begin{proof}
+Apply Theorem \ref{product_thm} with the fiber $F$ equal to a point.
+\end{proof}
\medskip
\hrule