blob: comparison text/intro.tex

equal deleted inserted replaced

-:982eca6e2663
+:6c760675d461
 homeomorphisms extends to a suitably defined action of the complex of singular chains of homeomorphisms.
 The axioms for an $A_\infty$ $n$-category are designed to capture two main examples: the blob complexes of $n$-balls labelled by a
 topological $n$-category, and the complex $\CM{-}{T}$ of maps to a fixed target space $T$.
 In \S \ref{ss:ncat_fields}  we explain how to construct a system of fields from a topological $n$-category
-(using a colimit along cellulations of a manifold), and in \S \ref{sec:ainfblob} give an alternative definition
+(using a colimit along certain decompositions of a manifold into balls). With this in hand, we freely write $\bc_*(M; \cC)$ to indicate the blob complex of a manifold $M$ with the system of fields constructed from the $n$-category $\cC$. In \S \ref{sec:ainfblob} we give an alternative definition
 of the blob complex for an $A_\infty$ $n$-category on an $n$-manifold (analogously, using a homotopy colimit).
 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 Theorem \ref{thm:gluing} below.
 \begin{property}[Functoriality]
 \label{property:functoriality}%
 The blob complex is functorial with respect to homeomorphisms.
 That is,
-for a fixed $n$-dimensional system of fields $\cC$, the association
+for a fixed $n$-dimensional system of fields $\cF$, the association
 \begin{equation*}
-X \mapsto \bc_*(X; \cC)
+X \mapsto \bc_*(X; \cF)
 \end{equation*}
 is a functor from $n$-manifolds and homeomorphisms between them to chain
 complexes and isomorphisms between them.
 \end{property}
-As a consequence, there is an action of $\Homeo(X)$ on the chain complex $\bc_*(X; \cC)$;
+As a consequence, there is an action of $\Homeo(X)$ on the chain complex $\bc_*(X; \cF)$;
 this action is extended to all of $C_*(\Homeo(X))$ in Theorem \ref{thm:evaluation} below.
-The blob complex is also functorial (indeed, exact) with respect to $\cC$,
+The blob complex is also functorial (indeed, exact) with respect to $\cF$,
 although we will not address this in detail here.
 \begin{property}[Disjoint union]
 \label{property:disjoint-union}
 The blob complex of a disjoint union is naturally the tensor product of the blob complexes.
 \end{property}
 \begin{property}[Contractibility]
 \label{property:contractibility}%
 With field coefficients, the blob complex on an $n$-ball is contractible in the sense that it is homotopic to its $0$-th homology.
-Moreover, the $0$-th homology of balls can be canonically identified with the vector spaces associated by the system of fields $\cC$ to balls.
+Moreover, the $0$-th homology of balls can be canonically identified with the vector spaces associated by the system of fields $\cF$ to balls.
 \begin{equation*}
-\xymatrix{\bc_*(B^n;\cC) \ar[r]^(0.4){\iso}_(0.4){\text{qi}} & H_0(\bc_*(B^n;\cC)) \ar[r]^(0.6)\iso & \cC(B^n)}
+\xymatrix{\bc_*(B^n;\cF) \ar[r]^(0.4){\iso}_(0.4){\text{qi}} & H_0(\bc_*(B^n;\cF)) \ar[r]^(0.6)\iso & \cF(B^n)}
 \end{equation*}
 \end{property}
 Properties \ref{property:functoriality} will be immediate from the definition given in
 \S \ref{sec:blob-definition}, and we'll recall it at the appropriate point there.
 \newtheorem*{thm:skein-modules}{Theorem \ref{thm:skein-modules}}
 \begin{thm:skein-modules}[Skein modules]
 The $0$-th blob homology of $X$ is the usual
 (dual) TQFT Hilbert space (a.k.a.\ skein module) associated to $X$
-by $\cC$.
+by $\cF$.
 (See \S \ref{sec:local-relations}.)
 \begin{equation*}
-H_0(\bc_*(X;\cC)) \iso A_{\cC}(X)
+H_0(\bc_*(X;\cF)) \iso A_{\cF}(X)
 \end{equation*}
 \end{thm:skein-modules}
 \newtheorem*{thm:hochschild}{Theorem \ref{thm:hochschild}}
 Kevin Costello,
 Chris Douglas,
 and
 Alexander Kirillov
 for many interesting and useful conversations.
-During this work, Kevin Walker has been at Microsoft Station Q, and Scott Morrison has been at Microsoft Station Q and the Miller Institute for Basic Research at UC Berkeley.
+During this work, Kevin Walker has been at Microsoft Station Q, and Scott Morrison has been at Microsoft Station Q and the Miller Institute for Basic Research at UC Berkeley. We'd like to thank the Aspen Center for Physics for the conducive environment provided there during the final preparation of this manuscript.

changeset 464	6c760675d461
parent 454	3377d4db80d9
child 481	7caafccef7e8