--- a/blob1.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/blob1.tex Wed Aug 26 02:35:24 2009 +0000
@@ -22,7 +22,23 @@
%\versioninfo
[26 August 2009]
+\medskip
+\noindent
+{\bf Warning:} This draft is draftier than you might expect.
+More specifically,
+\begin{itemize}
+\item Some sections are missing.
+\item Many sections are incomplete.
+In some cases the incompleteness is noted, in some cases not.
+\item Some sections have been rewritten, but the older, obsolete version of
+the section has not been deleted yet.
+\item Some sections were written nearly two years ago, and are now outdated.
+\item Some sections have not been proof-read.
+\item There are not yet enough citations to similar work of other people.
+\end{itemize}
+Despite all this, there's probably enough decipherable material
+here to interest the motivated reader.
\noop{
--- a/text/a_inf_blob.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/a_inf_blob.tex Wed Aug 26 02:35:24 2009 +0000
@@ -98,6 +98,7 @@
We want to show that this cycle bounds a chain of filtration degree 2 stuff.
Choose a decomposition $M$ which has common refinements with each of
$K$, $KL$, $L$, $K'L$, $K'$, $K'L'$, $L'$ and $KL'$.
+\nn{need to also require that $KLM$ antirefines to $KM$, etc.}
Then we have a filtration degree 2 chain, as shown in Figure yyyy, which does the trick.
For example, ....
--- a/text/comm_alg.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/comm_alg.tex Wed Aug 26 02:35:24 2009 +0000
@@ -5,6 +5,12 @@
\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.}
+\nn{I strongly suspect that [blob complex
+for $M^n$ based on comm alg $C$ thought of as an $n$-category]
+is homotopy equivalent to [higher Hochschild complex for $M^n$ with coefficients in $C$].
+(Thomas Tradler's idea.)
+Should prove (or at least conjecture) that here.}
+
If $C$ is a commutative algebra it
can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for
$j<n$ and whose $n$-morphisms are $C$.
--- a/text/definitions.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/definitions.tex Wed Aug 26 02:35:24 2009 +0000
@@ -3,6 +3,9 @@
\section{Definitions}
\label{sec:definitions}
+\nn{this section is a bit out of date; needs to be updated
+to fit with $n$-category definition given later}
+
\subsection{Systems of fields}
\label{sec:fields}
@@ -19,7 +22,7 @@
is a collection of functors $\cC_k : \cM_k \to \Set$ for $0 \leq k \leq n$
together with some additional data and satisfying some additional conditions, all specified below.
-\nn{refer somewhere to my TQFT notes \cite{kw:tqft}, and possibly also to paper with Chris}
+\nn{refer somewhere to my TQFT notes \cite{kw:tqft}}
Before finishing the definition of fields, we give two motivating examples
(actually, families of examples) of systems of fields.
--- a/text/intro.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/intro.tex Wed Aug 26 02:35:24 2009 +0000
@@ -162,10 +162,63 @@
\end{itemize}
\end{property}
-\nn{add product formula? $n$-dimensional fat graph operad stuff?}
+
+
+\begin{property}[Relation to mapping spaces]
+There is a version of the blob complex for $C$ an $A_\infty$ $n$-category
+instead of a garden variety $n$-category.
+
+Let $\pi^\infty_{\le n}(W)$ denote the $A_\infty$ $n$-category based on maps
+$B^n \to W$.
+(The case $n=1$ is the usual $A_\infty$ category of paths in $W$.)
+Then $\bc_*(M, \pi^\infty_{\le n}(W))$ is
+homotopy equivalent to $C_*(\{\text{maps}\; M \to W\})$.
+\end{property}
+
+
+
+
+\begin{property}[Product formula]
+Let $M^n = Y^{n-k}\times W^k$ and let $C$ be an $n$-category.
+Let $A_*(Y)$ be the $A_\infty$ $k$-category associated to $Y$ via blob homology.
+Then
+\[
+ \bc_*(Y^{n-k}\times W^k, C) \simeq \bc_*(W, A_*(Y)) .
+\]
+\nn{say something about general fiber bundles?}
+\end{property}
+
+
+
+
+\begin{property}[Higher dimensional Deligne conjecture]
+The singular chains of the $n$-dimensional fat graph operad act on blob cochains.
+
+The $n$-dimensional fat graph operad can be thought of as a sequence of general surgeries
+of $n$-manifolds
+$R_i \cup A_i \leadsto R_i \cup B_i$ together with mapping cylinders of diffeomorphisms
+$f_i: R_i\cup B_i \to R_{i+1}\cup A_{i+1}$.
+(Note that the suboperad where $A_i$, $B_i$ and $R_i\cup A_i$ are all diffeomorphic to
+the $n$-ball is equivalent to the little $n{+}1$-disks operad.)
+
+If $A$ and $B$ are $n$-manifolds sharing the same boundary, define
+the blob cochains $\bc^*(A, B)$ (analogous to Hochschild cohomology) to be
+$A_\infty$ maps from $\bc_*(A)$ to $\bc_*(B)$, where we think of both
+(collections of) complexes as modules over the $A_\infty$ category associated to $\bd A = \bd B$.
+The ``holes" in the above
+$n$-dimensional fat graph operad are labeled by $\bc^*(A_i, B_i)$.
+\end{property}
+
+
+
+
+
+
+
Properties \ref{property:functoriality}, \ref{property:gluing-map} and \ref{property:skein-modules} will be immediate from the definition given in
\S \ref{sec:blob-definition}, and we'll recall them at the appropriate points there. \todo{Make sure this gets done.}
Properties \ref{property:disjoint-union} and \ref{property:contractibility} are established in \S \ref{sec:basic-properties}.
Property \ref{property:hochschild} is established in \S \ref{sec:hochschild}, Property \ref{property:evaluation} in \S \ref{sec:evaluation},
and Property \ref{property:gluing} in \S \ref{sec:gluing}.
+\nn{need to say where the remaining properties are proved.}
\ No newline at end of file
--- a/text/ncat.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/ncat.tex Wed Aug 26 02:35:24 2009 +0000
@@ -457,7 +457,8 @@
$\psi_\cC(x)\to \cC(W)$, these maps are compatible with the refinement maps
above, and $\cC(W)$ is universal with respect to these properties.
In the $A_\infty$ case, it means
-\nn{.... need to check if there is a def in the literature before writing this down}
+\nn{.... need to check if there is a def in the literature before writing this down;
+homotopy colimit I think}
More concretely, in the plain case enriched over vector spaces, and with $\dim(W) = n$, we can take
\[
@@ -469,6 +470,7 @@
In the $A_\infty$ case enriched over chain complexes, the concrete description of the colimit
is as follows.
+\nn{should probably rewrite this to be compatible with some standard reference}
Define an $m$-sequence to be a sequence $x_0 \le x_1 \le \dots \le x_m$ of permissible decompositions.
Such sequences (for all $m$) form a simplicial set.
Let
@@ -815,6 +817,12 @@
+\subsection{The $n{+}1$-category of sphere modules}
+
+Outline:
+\begin{itemize}
+\item
+\end{itemize}
@@ -838,7 +846,9 @@
\item say something about unoriented vs oriented vs spin vs pin for $n=1$ (and $n=2$?)
\item spell out what difference (if any) Top vs PL vs Smooth makes
\item explain relation between old-fashioned blob homology and new-fangled blob homology
-\item define $n{+}1$-cat of $n$-cats; discuss Morita equivalence
+(follows as special case of product formula (product with a point).
+\item define $n{+}1$-cat of $n$-cats (a.k.a.\ $n{+}1$-category of generalized bimodules
+a.k.a.\ $n{+}1$-category of sphere modules); discuss Morita equivalence
\end{itemize}