--- a/blob1.tex	Sat Feb 28 16:00:38 2009 +0000
+++ b/blob1.tex	Tue Mar 03 16:40:59 2009 +0000
@@ -23,6 +23,7 @@
 \def\op{^\mathrm{op}}
 \def\deq{\stackrel{\mathrm{def}}{=}}
 \def\pd#1#2{\frac{\partial #1}{\partial #2}}
+\def\lf{\overline{\cC}}
 
 \def\nn#1{{{\it \small [#1]}}}
 
@@ -121,7 +122,7 @@
 \begin{itemize}
 \item Starting point: TQFTs via fields and local relations.
 This gives a satisfactory treatment for semisimple TQFTs
-(i.e. TQFTs for which the cylinder 1-category associated to an
+(i.e.\ TQFTs for which the cylinder 1-category associated to an
 $n{-}1$-manifold $Y$ is semisimple for all $Y$).
 \item For non-semiemple TQFTs, this approach is less satisfactory.
 Our main motivating example (though we will not develop it in this paper)
@@ -164,7 +165,7 @@
 \]
 Here $\bc_0$ is linear combinations of fields on $W$,
 $\bc_1$ is linear combinations of local relations on $W$,
-$\bc_1$ is linear combinations of relations amongst relations on $W$,
+$\bc_2$ is linear combinations of relations amongst relations on $W$,
 and so on.
 \item None of the above ideas depend on the details of the Khovanov homology example,
 so we develop the general theory in the paper and postpone specific applications
@@ -186,7 +187,6 @@
 X \mapsto \bc_*^{\cF,\cU}(X)
 \end{equation*}
 is a functor from $n$-manifolds and diffeomorphisms between them to chain complexes and isomorphisms between them.
-\scott{Do we want to or need to weaken `isomorphisms' to `homotopy equivalences' or `quasi-isomorphisms'?}
 \end{property}
 
 \begin{property}[Disjoint union]
@@ -328,6 +328,8 @@
 \item $\cC_k$ is compatible with the symmetric monoidal
 structures on $\cM_k$ and sets: $\cC_k(X \du W) \cong \cC_k(X)\times \cC_k(W)$,
 compatibly with homeomorphisms, restriction to boundary, and orientation reversal.
+We will call the projections $\cC(X_1 \du X_2) \to \cC(X_i)$
+restriction maps.
 \item Gluing without corners.
 Let $\bd X = Y \du -Y \du W$, where $Y$ and $W$ are closed $k{-}1$-manifolds.
 Let $X\sgl$ denote $X$ glued to itself along $\pm Y$.
@@ -373,11 +375,13 @@
 \item There are maps $\cC_{k-1}(Y) \to \cC_k(Y \times I)$, denoted
 $c \mapsto c\times I$.
 These maps comprise a natural transformation of functors, and commute appropriately
-with all the structure maps above (disjoint union, boundary restriction, etc.)
+with all the structure maps above (disjoint union, boundary restriction, etc.).
 Furthermore, if $f: Y\times I \to Y\times I$ is a fiber-preserving homeomorphism
 covering $\bar{f}:Y\to Y$, then $f(c\times I) = \bar{f}(c)\times I$.
 \end{enumerate}
 
+\nn{need to introduce two notations for glued fields --- $x\bullet y$ and $x\sgl$}
+
 \bigskip
 Using the functoriality and $\bullet\times I$ properties above, together
 with boundary collar homeomorphisms of manifolds, we can define the notion of 
@@ -387,9 +391,9 @@
 Let $x \in \cC(M)$ be a field on $M$ and such that $\bd x$ is cuttable along $\bd Y$.
 Let $c$ be $x$ restricted to $Y$.
 Let $M \cup (Y\times I)$ denote $M$ glued to $Y\times I$ along $Y$.
-Then we have the glued field $x \cup (c\times I)$ on $M \cup (Y\times I)$.
+Then we have the glued field $x \bullet (c\times I)$ on $M \cup (Y\times I)$.
 Let $f: M \cup (Y\times I) \to M$ be a collaring homeomorphism.
-Then we say that $x$ is {\it extended isotopic} to $f(x \cup (c\times I))$.
+Then we say that $x$ is {\it extended isotopic} to $f(x \bullet (c\times I))$.
 More generally, we define extended isotopy to be the equivalence relation on fields
 on $M$ generated by isotopy plus all instance of the above construction
 (for all appropriate $Y$ and $x$).
@@ -497,17 +501,17 @@
 
 For top dimensional ($n$-dimensional) manifolds, we're actually interested
 in the linearized space of fields.
-By default, define $\cC_l(X) = \c[\cC(X)]$; that is, $\cC_l(X)$ is
+By default, define $\lf(X) = \c[\cC(X)]$; that is, $\lf(X)$ is
 the vector space of finite
 linear combinations of fields on $X$.
-If $X$ has boundary, we of course fix a boundary condition: $\cC_l(X; a) = \c[\cC(X; a)]$.
+If $X$ has boundary, we of course fix a boundary condition: $\lf(X; a) = \c[\cC(X; a)]$.
 Thus the restriction (to boundary) maps are well defined because we never
 take linear combinations of fields with differing boundary conditions.
 
 In some cases we don't linearize the default way; instead we take the
-spaces $\cC_l(X; a)$ to be part of the data for the system of fields.
+spaces $\lf(X; a)$ to be part of the data for the system of fields.
 In particular, for fields based on linear $n$-category pictures we linearize as follows.
-Define $\cC_l(X; a) = \c[\cC(X; a)]/K$, where $K$ is the space generated by
+Define $\lf(X; a) = \c[\cC(X; a)]/K$, where $K$ is the space generated by
 obvious relations on 0-cell labels.
 More specifically, let $L$ be a cell decomposition of $X$
 and let $p$ be a 0-cell of $L$.
@@ -530,7 +534,7 @@
 space determined by the labeling of the link of the 0-cell.
 (If the 0-cell were labeled, the label would live in this space.)
 We associate to each almost-labeling the tensor product of these spaces (one for each 0-cell).
-We now define $\cC_l(X; a)$ to be the direct sum over all almost labelings of the
+We now define $\lf(X; a)$ to be the direct sum over all almost labelings of the
 above tensor products.
 
 
@@ -539,10 +543,10 @@
 \label{sec:local-relations}
 
 
-A {\it local relation} is a collection subspaces $U(B; c) \sub \c[\cC_l(B; c)]$
-(for all $n$-manifolds $B$ which are
-homeomorphic to the standard $n$-ball and 
-all $c \in \cC(\bd B)$) satisfying the following properties.
+A {\it local relation} is a collection subspaces $U(B; c) \sub \lf(B; c)$,
+for all $n$-manifolds $B$ which are
+homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, 
+satisfying the following properties.
 \begin{enumerate}
 \item functoriality: 
 $f(U(B; c)) = U(B', f(c))$ for all homeomorphisms $f: B \to B'$
@@ -550,16 +554,16 @@
 if $x, y \in \cC(B; c)$ and $x$ is extended isotopic 
 to $y$, then $x-y \in U(B; c)$.
 \item ideal with respect to gluing:
-if $B = B' \cup B''$, $x\in U(B')$, and $c\in \cC(B'')$, then $x\cup r \in U(B)$
+if $B = B' \cup B''$, $x\in U(B')$, and $c\in \cC(B'')$, then $x\bullet r \in U(B)$
 \end{enumerate}
 See \cite{kw:tqft} for details.
 
 
-For maps into spaces, $U(B; c)$ is generated by things of the form $a-b \in \cC_l(B; c)$,
+For maps into spaces, $U(B; c)$ is generated by things of the form $a-b \in \lf(B; c)$,
 where $a$ and $b$ are maps (fields) which are homotopic rel boundary.
 
 For $n$-category pictures, $U(B; c)$ is equal to the kernel of the evaluation map
-$\cC_l(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into
+$\lf(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into
 domain and range.
 
 \nn{maybe examples of local relations before general def?}
@@ -571,6 +575,8 @@
 is defined to be the dual of $A(Y; c)$.
 (See \cite{kw:tqft} or xxxx for details.)
 
+\nn{should expand above paragraph}
+
 The blob complex is in some sense the derived version of $A(Y; c)$.
 
 
@@ -581,7 +587,7 @@
 Let $X$ be an $n$-manifold.
 Assume a fixed system of fields.
 In this section we will usually suppress boundary conditions on $X$ from the notation
-(e.g. write $\cC_l(X)$ instead of $\cC_l(X; c)$).
+(e.g. write $\lf(X)$ instead of $\lf(X; c)$).
 
 We only consider compact manifolds, so if $Y \sub X$ is a closed codimension 0
 submanifold of $X$, then $X \setmin Y$ implicitly means the closure
@@ -589,8 +595,8 @@
 
 We will define $\bc_0(X)$, $\bc_1(X)$ and $\bc_2(X)$, then give the general case.
 
-Define $\bc_0(X) = \cC_l(X)$.
-(If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \cC_l(X; c)$.
+Define $\bc_0(X) = \lf(X)$.
+(If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \lf(X; c)$.
 We'll omit this sort of detail in the rest of this section.)
 In other words, $\bc_0(X)$ is just the space of all linearized fields on $X$.
 
@@ -651,7 +657,7 @@
 \item A pair of nested balls (blobs) $B_0 \sub B_1 \sub X$.
 \item A field $r \in \cC(X \setmin B_0; c_0)$
 (for some $c_0 \in \cC(\bd B_0)$).
-Let $r = r_1 \cup r'$, where $r_1 \in \cC(B_1 \setmin B_0; c_0, c_1)$
+Let $r = r_1 \bullet r'$, where $r_1 \in \cC(B_1 \setmin B_0; c_0, c_1)$
 (for some $c_1 \in \cC(B_1)$) and
 $r' \in \cC(X \setmin B_1; c_1)$.
 \item A local relation field $u_0 \in U(B_0; c_0)$.