# HG changeset patch
# User scott@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1269841288 0
# Node ID 32a76e8886d1cf6b45afd1414ca8fe948b9abda1
# Parent  9faf1f7fad3ebc72fe22b602acc7b06347a38aa5
minor tweaks on small blobs

diff -r 9faf1f7fad3e -r 32a76e8886d1 text/a_inf_blob.tex
--- a/text/a_inf_blob.tex	Sun Mar 28 01:40:58 2010 +0000
+++ b/text/a_inf_blob.tex	Mon Mar 29 05:41:28 2010 +0000
@@ -7,7 +7,7 @@
 complex $\bc_*(M)$ to the be the homotopy colimit $\cC(M)$ of Section \ref{sec:ncats}.
 \nn{say something about this being anticlimatically tautological?}
 We will show below 
-\nn{give ref}
+in Corollary \ref{cor:new-old}
 that this agrees (up to homotopy) with our original definition of the blob complex
 in the case of plain $n$-categories.
 When we need to distinguish between the new and old definitions, we will refer to the 
@@ -204,6 +204,7 @@
 \medskip
 
 \begin{cor}
+\label{cor:new-old}
 The new-fangled and old-fashioned blob complexes are homotopic.
 \end{cor}
 \begin{proof}
diff -r 9faf1f7fad3e -r 32a76e8886d1 text/intro.tex
--- a/text/intro.tex	Sun Mar 28 01:40:58 2010 +0000
+++ b/text/intro.tex	Mon Mar 29 05:41:28 2010 +0000
@@ -224,7 +224,7 @@
 \end{rem}
 
 There is a version of the blob complex for $\cC$ an $A_\infty$ $n$-category
-instead of a garden variety $n$-category; this is described in \S \ref{sec:ainfblob}.
+instead of a topological $n$-category; this is described in \S \ref{sec:ainfblob}.
 
 \begin{property}[Product formula]
 \label{property:product}
diff -r 9faf1f7fad3e -r 32a76e8886d1 text/ncat.tex
--- a/text/ncat.tex	Sun Mar 28 01:40:58 2010 +0000
+++ b/text/ncat.tex	Mon Mar 29 05:41:28 2010 +0000
@@ -557,7 +557,7 @@
 For a $k$-ball or $k$-sphere $X$, $k<n$, define $\Bord^n(X)$ to be the set of all $k$-dimensional
 submanifolds $W$ of $X\times \Real^\infty$ such that the projection $W \to X$ is transverse
 to $\bd X$.
-For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes (rel boundary) of such submanifolds;
+For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes (rel boundary) of such $n$-dimensional submanifolds;
 we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism
 $W \to W'$ which restricts to the identity on the boundary.
 \end{example}
@@ -614,7 +614,7 @@
 In this section we describe how to extend an $n$-category as described above (of either the plain or $A_\infty$ variety) to a system of fields. That is, we show that functors $\cC_k$ satisfying the axioms above have a canonical extension, from $k$-balls and $k$-spheres to arbitrary $k$-manifolds.
 In the case of plain $n$-categories, this is just the usual construction of a TQFT
 from an $n$-category.
-For $\infty$ $n$-categories \nn{or whatever we decide to call them}, this gives an alternate (and
+For $A_\infty$ $n$-categories, this gives an alternate (and
 somewhat more canonical/tautological) construction of the blob complex.
 \nn{though from this point of view it seems more natural to just add some
 adjective to ``TQFT" rather than coining a completely new term like ``blob complex".}
@@ -697,7 +697,7 @@
 $a\in \psi_{\cC;W,c}(x)$ for some decomposition $x$, and $g: \psi_{\cC;W,c}(x)
 \to \psi_{\cC;W,c}(y)$ is value of $\psi_{\cC;W,c}$ on some antirefinement $x \leq y$.
 
-In the $A_\infty$ case enriched over chain complexes, the concrete description of the homotopy colimit
+In the $A_\infty$ case, enriched over chain complexes, the concrete description of the homotopy colimit
 is more involved.
 %\nn{should probably rewrite this to be compatible with some standard reference}
 Define an $m$-sequence in $W$ to be a sequence $x_0 \le x_1 \le \dots \le x_m$ of permissible decompositions of $W$.
@@ -995,10 +995,9 @@
 
 We now give some examples of modules over topological and $A_\infty$ $n$-categories.
 
-Examples of modules:
-\begin{itemize}
-\item \nn{examples from TQFTs}
-\end{itemize}
+\begin{example}[Examples from TQFTs]
+\todo{}
+\end{example}
 
 \begin{example}
 Suppose $S$ is a topological space, with a subspace $T$. We can define a module $\pi_{\leq n}(S,T)$ so that on each marked $k$-ball $(B,N)$ for $k<n$ the set $\pi_{\leq n}(S,T)(B,N)$ consists of all continuous maps of pairs $(B,N) \to (S,T)$ and on each marked $n$-ball $(B,N)$ it consists of all such maps modulo homotopies fixed on $\bdy B \setminus N$. This is a module over the fundamental $n$-category $\pi_{\leq n}(S)$ of $S$, from Example \ref{ex:maps-to-a-space}. Modifications corresponding to Examples \ref{ex:maps-to-a-space-with-a-fiber} and \ref{ex:linearized-maps-to-a-space} are also possible, and there is an $A_\infty$ version analogous to Example \ref{ex:chains-of-maps-to-a-space} given by taking singular chains.
diff -r 9faf1f7fad3e -r 32a76e8886d1 text/smallblobs.tex
--- a/text/smallblobs.tex	Sun Mar 28 01:40:58 2010 +0000
+++ b/text/smallblobs.tex	Mon Mar 29 05:41:28 2010 +0000
@@ -8,13 +8,15 @@
 \end{thm}
 \begin{proof}
 We begin by describing the homotopy inverse in small degrees, to illustrate the general technique.
-We will construct a chain map $s:  \bc_*(M) \to \bc^{\cU}_*(M)$ and a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ so that $\bdy h+h \bdy=\id - i\circ s$. The composition $s \circ i$ will just be the identity.
+We will construct a chain map $s:  \bc_*(M) \to \bc^{\cU}_*(M)$ and a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ so that $\bdy h+h \bdy=i\circ s - \id$. The composition $s \circ i$ will just be the identity.
 
 On $0$-blobs, $s$ is just the identity; a blob diagram without any blobs is compatible with any open cover. Nevertheless, we'll begin introducing nomenclature at this point: for configuration $\beta$ of disjoint embedded balls in $M$ we'll associate a one parameter family of homeomorphisms $\phi_\beta : \Delta^1 \to \Homeo(M)$ (here $\Delta^m$ is the standard simplex $\setc{\mathbf{x} \in \Real^{m+1}}{\sum_{i=0}^m x_i = 1}$). For $0$-blobs, where $\beta = \eset$, all these homeomorphisms are just the identity.
 
 On a $1$-blob $b$, with ball $\beta$, $s$ is defined as the sum of two terms. Essentially, the first term `makes $\beta$ small', while the other term `gets the boundary right'. First, pick a one-parameter family $\phi_\beta : \Delta^1 \to \Homeo(M)$ of homeomorphisms, so $\phi_\beta(1,0)$ is the identity and $\phi_\beta(0,1)$ makes the ball $\beta$ small. Next, pick a two-parameter family $\phi_{\eset \prec \beta} : \Delta^2 \to \Homeo(M)$ so that $\phi_{\eset \prec \beta}(0,x_1,x_2)$ makes the ball $\beta$ small for all $x_1+x_2=1$, while $\phi_{\eset \prec \beta}(x_0,0,x_2) = \phi_\eset(x_0,x_2)$ and $\phi_{\eset \prec \beta}(x_0,x_1,0) = \phi_\beta(x_0,x_1)$. (It's perhaps not obvious that this is even possible --- see Lemma \ref{lem:extend-small-homeomorphisms} below.) We now define $s$ by
 $$s(b) = \restrict{\phi_\beta}{x_0=0}(b) + \restrict{\phi_{\eset \prec \beta}}{x_0=0}(\bdy b).$$
-Here, $\restrict{\phi_\beta}{x_0=0} = \phi_\beta(0,1)$ is just a homeomorphism, which we apply to $b$, while $\restrict{\phi_{\eset \prec \beta}}{x_0=0}$ is a one parameter family of homeomorphisms which acts on the $0$-blob $\bdy b$ to give a $1$-blob. We now check that $s$, as defined so far, is a chain map, calculating
+Here, $\restrict{\phi_\beta}{x_0=0} = \phi_\beta(0,1)$ is just a homeomorphism, which we apply to $b$, while $\restrict{\phi_{\eset \prec \beta}}{x_0=0}$ is a one parameter family of homeomorphisms which acts on the $0$-blob $\bdy b$ to give a $1$-blob.
+\todo{Does $s$ actually land in small blobs?}
+We now check that $s$, as defined so far, is a chain map, calculating
 \begin{align*}
 \bdy (s(b)) & = \restrict{\phi_\beta}{x_0=0}(\bdy b) + (\bdy \restrict{\phi_{\eset \prec \beta}}{x_0=0})(\bdy b) \\
 		 & = \restrict{\phi_\beta}{x_0=0}(\bdy b) + \restrict{\phi_\eset}{x_0=0}(\bdy b) - \restrict{\phi_\beta}{x_0=0}(\bdy b) \\
@@ -30,20 +32,23 @@
 	& = (i \circ s - \id)(b)
 \end{align*}
 
+We now describe the general case. For a $k$-blob diagram $b \in \bc_k(M)$, denote by $b_\cS$ for $\cS \subset \{0, \ldots, k-1\}$ the blob diagram obtained by erasing the corresponding blobs. In particular, $b_\eset = b$, $b_{\{0,\ldots,k-1\}} \in \bc_0(M)$, and $d b_\cS = \sum_{i \notin \cS} \pm  b_{\cS \cup \{i\}}$.
+Similarly, for a disjoint embedding of $k$ balls $\beta$ (that is, a blob diagram but without the labels on regions), $\beta_\cS$ denotes the result of erasing a subset of blobs. We'll write $\beta' \prec \beta$ if $\beta' = \beta_\cS$ for some $\cS$. Finally, for finite sequences, we'll write $i \prec i'$ if $i$ is subsequence of $i'$, and $i \prec_1 i$ if the lengths differ by exactly 1.
 
-Given a blob diagram $b \in \bc_k(M)$, denote by $b_\cS$ for $\cS \subset \{1, \ldots, k\}$ the blob diagram obtained by erasing the corresponding blobs. In particular, $b_\eset = b$, $b_{\{1,\ldots,k\}} \in \bc_0(M)$, and $d b_\cS = \sum_{\cS' = \cS'\sqcup\{i\}} \pm  b_{\cS'}$.
-Similarly, for a disjoint embedding of $k$ balls $\beta$ (that is, a blob diagram but without the labels on regions), $\beta_\cS$ denotes the result of erasing a subset of blobs. We'll write $\beta' \prec \beta$ if $\beta' = \beta_\cS$ for some $\cS$. Finally, for finite sequences, we'll write $i \prec i'$ if $i$ is subsequence of $i'$, and $i \prec_1 i$ if the lengths differ by exactly 1.
+For a $2$-blob $b$, with balls $\beta$, $s$ is the sum of $5$ terms. Again, there is a term that makes $\beta$ small, while the others `get the boundary right'. It may be useful to look at Figure \ref{fig:erectly-a-tent-badly} to help understand the arrangement.
+\begin{figure}[!ht]
+\todo{}
+\caption{``Erecting a tent badly.'' We know where we want to send a simplex, and each of the iterated boundary components. However, these do not agree, and we need to stitch the pieces together. Note that these diagrams don't exactly match the situation in the text: a $k$-simplex has $k+1$ boundary components, while a $k$-blob has $k$ boundary terms.}
+\end{figure}
 
 Next, we'll choose a `shrinking system' for $\cU$, namely for each increasing sequence of blob configurations
-$\beta_0 \prec \beta_1 \prec \cdots \prec \beta_m$, an $m$ parameter family of diffeomorphisms
-$\phi_{\beta_0 \prec \cdots \prec \beta_m} : \Delta^m \to \Diff{M}$ (here $\Delta^m$ is the standard simplex $\setc{\mathbf{x} \in \Real^{m+1}}{\sum_i x_i = 1}$), such that
+$\beta_0 \prec \beta_1 \prec \cdots \prec \beta_m$, an $m+1$ parameter family of diffeomorphisms
+$\phi_{\beta_0 \prec \cdots \prec \beta_m} : \Delta^{m+1} \to \Diff{M}$, such that
 \begin{itemize}
-\item if $\beta$ is the empty configuration, $\phi_{\beta}(1) = \id_M$,
-\item if $\beta$ is a single configuration of blobs, then $\phi_{\beta}(1)(\beta)$ (which is another configuration of blobs: $\phi_{\beta}(1)$ is a diffeomorphism of $M$) is subordinate to $\cU$,
-\item (more generally) for any $x$ with $x_0 = 0$, $\phi_{\beta_0 \prec \cdots \prec \beta_m}(x)(\beta)$ is subordinate to $\cU$, and
+\item for any $x$ with $x_0 = 0$, $\phi_{\beta_0 \prec \cdots \prec \beta_m}(x)(\beta_m)$ is subordinate to $\cU$, and
 \item for each $i = 1, \ldots, m$,
 \begin{align*}
-\phi_{\beta_0 \prec \cdots \prec \beta_m}(x_0, \ldots, x_{i-1},0,x_{i+1},\ldots,x_m) & = \phi_{\beta_0 \prec \cdots \beta_{i-1} \prec \beta_{i+1} \prec \beta_m}(x_0,\ldots, x_{i-1},x_{i+1},\ldots,x_m).
+\phi_{\beta_0 \prec \cdots \prec \beta_m}&(x_0, \ldots, x_{i-1},0,x_{i+1},\ldots,x_m) = \\ &\phi_{\beta_0 \prec \cdots \prec \beta_{i-1} \prec \beta_{i+1} \prec \cdots \prec \beta_m}(x_0,\ldots, x_{i-1},x_{i+1},\ldots,x_m).
 \end{align*}
 \end{itemize}
 It's not immediately obvious that it's possible to make such choices, but it follows readily from the following Lemma.