...
--- a/blob1.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/blob1.tex Fri Oct 30 04:05:33 2009 +0000
@@ -103,10 +103,6 @@
\input{text/a_inf_blob}
-% \input{text/A-infty}
-
-% \input{text/gluing}
-
\input{text/comm_alg}
--- a/preamble.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/preamble.tex Fri Oct 30 04:05:33 2009 +0000
@@ -1,4 +1,5 @@
%auto-ignore
+%!TEX root = blob1.tex
%this ensures the arxiv doesn't try to start TeXing here.
\usepackage{amsmath,amssymb,amsfonts}
@@ -122,7 +123,11 @@
\newcommand{\HC}{\operatorname{Hoch}}
\newcommand{\HH}{\operatorname{HH}}
-\newcommand{\selfarrow}{\ensuremath{\!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]}\phantom{++.}}}
+\newcommand{\selfarrow}{\ensuremath{\!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]}\phantom{++.\!\!}}}
+\newsavebox{\selfarrowcontents}
+\savebox{\selfarrowcontents}{\selfarrow}
+\renewcommand{\selfarrow}{\usebox{\selfarrowcontents}}
+
\def\bc{{\mathcal B}}
--- a/text/a_inf_blob.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/text/a_inf_blob.tex Fri Oct 30 04:05:33 2009 +0000
@@ -2,7 +2,6 @@
\section{The blob complex for $A_\infty$ $n$-categories}
\label{sec:ainfblob}
-\label{sec:gluing}
Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we define the blob
complex $\bc_*(M)$ to the be the homotopy colimit $\cC(M)$ of Section \ref{sec:ncats}.
--- a/text/comm_alg.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/text/comm_alg.tex Fri Oct 30 04:05:33 2009 +0000
@@ -1,6 +1,7 @@
%!TEX root = ../blob1.tex
\section{Commutative algebras as $n$-categories}
+\label{sec:comm_alg}
\nn{this should probably not be a section by itself. i'm just trying to write down the outline
while it's still fresh in my mind.}
--- a/text/definitions.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/text/definitions.tex Fri Oct 30 04:05:33 2009 +0000
@@ -1,10 +1,10 @@
%!TEX root = ../blob1.tex
\section{TQFTs via fields}
-%\label{sec:definitions}
+\label{sec:fields}
In this section we review the construction of TQFTs from ``topological fields".
-For more details see xxxx.
+For more details see \cite{kw:tqft}.
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
@@ -12,7 +12,6 @@
\subsection{Systems of fields}
-\label{sec:fields}
Let $\cM_k$ denote the category with objects
unoriented PL manifolds of dimension
--- a/text/intro.tex Wed Oct 28 21:59:38 2009 +0000
+++ b/text/intro.tex Fri Oct 30 04:05:33 2009 +0000
@@ -2,17 +2,37 @@
\section{Introduction}
+We construct the ``blob complex'' $\bc_*(M; \cC)$ associated to an $n$-manifold $M$ and a ``linear $n$-category with strong duality'' $\cC$. This blob complex provides a simultaneous generalisation of several well-understood constructions:
+\begin{itemize}
+\item The vector space $H_0(\bc_*(M; \cC))$ is isomorphic to the usual topological quantum field theory invariant of $M$ associated to $\cC$. (See \S \ref{sec:fields} \nn{more specific}.)
+\item When $n=1$, $\cC$ is just an associative algebroid, and $\bc_*(S^1; \cC)$ is quasi-isomorphic to the Hochschild complex $\HC_*(\cC)$. (See \S \ref{sec:hochschild}.)
+\item When $\cC = k[t]$, thought of as an n-category, we have $$H_*(\bc_*(M; k[t])) = H^{\text{sing}}_*(\Delta^\infty(M), k).$$ (See \S \ref{sec:comm_alg}.)
+\end{itemize}
+The blob complex has good formal properties, summarized in \S \ref{sec:properties}. These include an action of $\CD{M}$, extending the usual $\Diff(M)$ action on the TQFT space $H_0$ (see Property \ref{property:evaluation}) and a `gluing formula' allowing calculations by cutting manifolds into smaller parts (see Property \ref{property:gluing}).
+
+The blob complex definition is motivated by \nn{ continue here ...} give multiple motivations/viewpoints for blob complex: (1) derived cat
+version of TQFT Hilbert space; (2) generalization of Hochschild homology to higher $n$-cats;
+(3) ? sort-of-obvious colimit type construction;
+(4) ? a generalization of $C_*(\Maps(M, T))$ to the case where $T$ is
+a category rather than a manifold
+
+We expect applications of the blob complex to \nn{ ... } but do not address these in this paper.
+\nn{hope to apply to Kh, contact, (other examples?) in the future}
+
+
+\subsubsection{Structure of the paper}
+
+The first part of the paper (sections \S \ref{sec:fields}---\S \ref{sec:evaluation}) gives the definition of the blob complex, and establishes some of its properties. There are many alternative definitions of $n$-categories, and part of our difficulty defining the blob complex is simply explaining what we mean by an ``$n$-category with strong duality'' as one of the inputs. At first we entirely avoid this problem by introducing the notion of a `system of fields', and define the blob complex associated to an $n$-manifold and an $n$-dimensional system of fields. We sketch the construction of a system of fields from a $1$-category or from a pivotal $2$-category.
+
+Nevertheless, when we attempt to establish all of the observed properties of the blob complex, we find this situation unsatisfactory. Thus, in the second part of the paper (section \S \ref{sec:ncats}) we pause and give yet another definition of an $n$-category, or rather a definition of an $n$-category with strong duality. (It's not clear that we could remove the duality conditions from our definition, even if we wanted to.) We call these ``topological $n$-categories'', to differentiate them from previous versions. Moreover, we find that we need analogous $A_\infty$ $n$-categories, and we define these as well following very similar axioms. When $n=1$ these reduce to the usual $A_\infty$ categories.
+
+In the third part of the paper (section \S \ref{sec:ainfblob}) we explain how to construct a system of fields from a topological $n$-category, and give an alternative definition of the blob complex for an $n$-manifold and an $A_\infty$ $n$-category. Using these definitions, we show how to use the blob complex to `resolve' any topological $n$-category as an $A_\infty$ $n$-category, and relate the first and second definitions of the blob complex. We use the blob complex for $A_\infty$ $n$-categories to establish important properties of the blob complex (in both variants), in particular the `gluing formula' of Property \ref{property:gluing} below.
+
+
[some things to cover in the intro]
\begin{itemize}
\item explain relation between old and new blob complex definitions
\item overview of sections
-\item state main properties of blob complex (already mostly done below)
-\item give multiple motivations/viewpoints for blob complex: (1) derived cat
-version of TQFT Hilbert space; (2) generalization of Hochschild homology to higher $n$-cats;
-(3) ? sort-of-obvious colimit type construction;
-(4) ? a generalization of $C_*(\Maps(M, T))$ to the case where $T$ is
-a category rather than a manifold
-\item hope to apply to Kh, contact, (other examples?) in the future
\item ?? we have resisted the temptation
(actually, it was not a temptation) to state things in the greatest
generality possible
@@ -84,6 +104,8 @@
\hrule
\bigskip
+\subsection{Formal properties}
+\label{sec:properties}
We then show that blob homology enjoys the following properties.
\begin{property}[Functoriality]
@@ -149,14 +171,13 @@
\end{equation*}
\end{property}
-
+Here $\CD{X}$ is the singular chain complex of the space of diffeomorphisms of $X$, fixed on $\bdy X$.
\begin{property}[$C_*(\Diff(-))$ action]
\label{property:evaluation}%
There is a chain map
\begin{equation*}
\ev_X: \CD{X} \tensor \bc_*(X) \to \bc_*(X).
\end{equation*}
-(Here $\CD{X}$ is the singular chain complex of the space of diffeomorphisms of $X$, fixed on $\bdy X$.)
Restricted to $C_0(\Diff(X))$ this is just the action of diffeomorphisms described in Property \ref{property:functoriality}. Further, for
any codimension $1$-submanifold $Y \subset X$ dividing $X$ into $X_1 \cup_Y X_2$, the following diagram
@@ -170,11 +191,22 @@
}
\end{equation*}
\nn{should probably say something about associativity here (or not?)}
-\nn{maybe do self-gluing instead of 2 pieces case}
+\nn{maybe do self-gluing instead of 2 pieces case:}
+Further, for
+any codimension $0$-submanifold $Y \sqcup Y^\text{op} \subset \bdy X$ the following diagram
+(using the gluing maps described in Property \ref{property:gluing-map}) commutes.
+\begin{equation*}
+\xymatrix@C+2cm{
+ \CD{X \bigcup_Y \selfarrow} \otimes \bc_*(X \bigcup_Y \selfarrow) \ar[r]^<<<<<<<<<<<<{\ev_{(X \bigcup_Y \scalebox{0.5}{\selfarrow})}} & \bc_*(X \bigcup_Y \selfarrow) \\
+ \CD{X} \otimes \bc_*(X)
+ \ar[r]_{\ev_{X}} \ar[u]^{\gl^{\Diff}_Y \otimes \gl_Y} &
+ \bc_*(X) \ar[u]_{\gl_Y}
+}
+\end{equation*}
\end{property}
There is a version of the blob complex for $\cC$ an $A_\infty$ $n$-category
-instead of a garden variety $n$-category.
+instead of a garden variety $n$-category; this is described in \S \ref{sec:ainfblob}.
\begin{property}[Product formula]
Let $M^n = Y^{n-k}\times W^k$ and let $\cC$ be an $n$-category.