--- a/text/a_inf_blob.tex Thu Jul 22 15:35:26 2010 -0600
+++ b/text/a_inf_blob.tex Thu Jul 22 16:16:58 2010 -0600
@@ -69,7 +69,8 @@
Let $G_*\sub \bc_*(Y\times F;C)$ be the subcomplex generated by blob diagrams $a$ such that there
exists a decomposition $K$ of $Y$ such that $a$ splits along $K\times F$.
-It follows from Proposition \ref{thm:small-blobs} that $\bc_*(Y\times F; C)$ is homotopic to a subcomplex of $G_*$.
+It follows from Proposition \ref{thm:small-blobs} that $\bc_*(Y\times F; C)$
+is homotopic to a subcomplex of $G_*$.
(If the blobs of $a$ are small with respect to a sufficiently fine cover then their
projections to $Y$ are contained in some disjoint union of balls.)
Note that the image of $\psi$ is equal to $G_*$.
@@ -95,7 +96,8 @@
\end{lemma}
\begin{proof}
-We will prove acyclicity in the first couple of degrees, and \nn{in this draft, at least}
+We will prove acyclicity in the first couple of degrees, and
+%\nn{in this draft, at least}
leave the general case to the reader.
Let $K$ and $K'$ be two decompositions (0-simplices) of $Y$ compatible with $a$.
--- a/text/ncat.tex Thu Jul 22 15:35:26 2010 -0600
+++ b/text/ncat.tex Thu Jul 22 16:16:58 2010 -0600
@@ -1538,7 +1538,7 @@
\[
(X_B\ot {_BY})^* \cong \hom_B(X_B \to (_BY)^*) .
\]
-We will establish the analogous isomorphism for a topological $A_\infty$ 1-cat $\cC$
+We would like to have the analogous isomorphism for a topological $A_\infty$ 1-cat $\cC$
and modules $\cM_\cC$ and $_\cC\cN$,
\[
(\cM_\cC\ot {_\cC\cN})^* \cong \hom_\cC(\cM_\cC \to (_\cC\cN)^*) .
@@ -1547,7 +1547,8 @@
In the next few paragraphs we define the objects appearing in the above equation:
$\cM_\cC\ot {_\cC\cN}$, $(\cM_\cC\ot {_\cC\cN})^*$, $(_\cC\cN)^*$ and finally
$\hom_\cC$.
-
+(Actually, we give only an incomplete definition of $(_\cC\cN)^*$, but since we are only trying to motivate the
+definition of $\hom_\cC$, this will suffice for our purposes.)
\def\olD{{\overline D}}
\def\cbar{{\bar c}}
@@ -1597,7 +1598,7 @@
& \qquad + (-1)^{l + \deg m + \deg \cbar} f(\olD\ot m\ot\cbar\ot \bd n). \notag
\end{align}
-Next we define the dual module $(_\cC\cN)^*$.
+Next we partially define the dual module $(_\cC\cN)^*$.
This will depend on a choice of interval $J$, just as the tensor product did.
Recall that $_\cC\cN$ is, among other things, a functor from right-marked intervals
to chain complexes.
@@ -1607,9 +1608,17 @@
\]
where $({_\cC\cN}(J\setmin K))^*$ denotes the (linear) dual of the chain complex associated
to the right-marked interval $J\setmin K$.
-This extends to a functor from all left-marked intervals (not just those contained in $J$).
-\nn{need to say more here; not obvious how homeomorphisms act}
-It's easy to verify the remaining module axioms.
+We define the action map
+\[
+ (_\cC\cN)^*(K) \ot \cC(I) \to (_\cC\cN)^*(K\cup I)
+\]
+to be the (partial) adjoint of the map
+\[
+ \cC(I)\ot {_\cC\cN}(J\setmin (K\cup I)) \to {_\cC\cN}(J\setmin K) .
+\]
+This falls short of fully defining the module $(_\cC\cN)^*$ (in particular,
+we have no action of homeomorphisms of left-marked intervals), but it will be enough to motivate
+the definition of $\hom_\cC$ below.
Now we reinterpret $(\cM_\cC\ot {_\cC\cN})^*$
as some sort of morphism $\cM_\cC \to (_\cC\cN)^*$.
@@ -1772,10 +1781,10 @@
\medskip
-\nn{should we define functors between $n$-cats in a similar way? i.e.\ natural transformations
-of the $\cC$ functors which commute with gluing only up to higher morphisms?
-perhaps worth having both definitions available.
-certainly the simple kind (strictly commute with gluing) arise in nature.}
+%\nn{should we define functors between $n$-cats in a similar way? i.e.\ natural transformations
+%of the $\cC$ functors which commute with gluing only up to higher morphisms?
+%perhaps worth having both definitions available.
+%certainly the simple kind (strictly commute with gluing) arise in nature.}