# HG changeset patch # User kevin@6e1638ff-ae45-0410-89bd-df963105f760 # Date 1263148069 0 # Node ID 408d3bf2d667a5e67866d4dba8a76d6b45ac4deb # Parent f947616a75836f3f5a47942bf22534313583f37a ... diff -r f947616a7583 -r 408d3bf2d667 text/kw_macros.tex --- a/text/kw_macros.tex Tue Jan 05 21:18:39 2010 +0000 +++ b/text/kw_macros.tex Sun Jan 10 18:27:49 2010 +0000 @@ -1,6 +1,7 @@ %!TEX root = ../blob1.tex %%%%% excerpts from KW's include file of standard macros +%%% (with various new ones added) \def\z{\mathbb{Z}} \def\r{\mathbb{R}} diff -r f947616a7583 -r 408d3bf2d667 text/ncat.tex --- a/text/ncat.tex Tue Jan 05 21:18:39 2010 +0000 +++ b/text/ncat.tex Sun Jan 10 18:27:49 2010 +0000 @@ -593,9 +593,11 @@ \subsection{From $n$-categories to systems of fields} \label{ss:ncat_fields} -In this section we describe how to extend an $n$-category as described above (of either the plain or $A_\infty$ variation) 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 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. -We will first define the `cell-decomposition' poset $\cJ(W)$ for any $k$-manifold $W$, for $1 \leq k \leq n$. An $n$-category $\cC$ provides a functor from this poset to the category of sets, and we will define $\cC(W)$ as a suitable colimit (or homotopy colimit) of this functor. We'll later give a more explicit description of this colimit. In the case that the $n$-category $\cC$ is enriched (e.g. associates vector spaces or chain complex to $n$-manifolds with boundary data), then the resulting system of fields is also enriched, that is, the set associated to $W$ splits into subsets according to boundary data, and each of these subsets has the appropriate structure (e.g. a vector space or chain complex). +We will first define the `cell-decomposition' poset $\cJ(W)$ for any $k$-manifold $W$, for $1 \leq k \leq n$. +An $n$-category $\cC$ provides a functor from this poset to the category of sets, and we will define $\cC(W)$ as a suitable colimit (or homotopy colimit in the $A_\infty$ case) of this functor. +We'll later give a more explicit description of this colimit. In the case that the $n$-category $\cC$ is enriched (e.g. associates vector spaces or chain complexes to $n$-manifolds with boundary data), then the resulting system of fields is also enriched, that is, the set associated to $W$ splits into subsets according to boundary data, and each of these subsets has the appropriate structure (e.g. a vector space or chain complex). \begin{defn} Say that a `permissible decomposition' of $W$ is a cell decomposition @@ -621,27 +623,32 @@ -\nn{resume revising here} - An $n$-category $\cC$ determines a functor $\psi_{\cC;W}$ from $\cJ(W)$ to the category of sets (possibly with additional structure if $k=n$). -For a $k$-cell $X$ in a cell composition of $W$, we can consider the `splittable fields' $\cC(X)_{\bdy X}$, the subset of $\cC(X)$ consisting of fields which are splittable with respect to each boundary $k-1$-cell. +Each $k$-ball $X$ of a decomposition $y$ of $W$ has its boundary decomposed into $k{-}1$-balls, +and, as described above, we have a subset $\cC(X)\spl \sub \cC(X)$ of morphisms whose boundaries +are splittable along this decomposition. +%For a $k$-cell $X$ in a cell composition of $W$, we can consider the `splittable fields' $\cC(X)_{\bdy X}$, the subset of $\cC(X)$ consisting of fields which are splittable with respect to each boundary $k-1$-cell. \begin{defn} Define the functor $\psi_{\cC;W} : \cJ(W) \to \Set$ as follows. For a decomposition $x = \bigcup_a X_a$ in $\cJ(W)$, $\psi_{\cC;W}(x)$ is the subset \begin{equation} \label{eq:psi-C} - \psi_{\cC;W}(x) \sub \prod_a \cC(X_a)_{\bdy X_a} + \psi_{\cC;W}(x) \sub \prod_a \cC(X_a)\spl \end{equation} where the restrictions to the various pieces of shared boundaries amongst the cells $X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n-1$-cells). If $x$ is a refinement of $y$, the map $\psi_{\cC;W}(x) \to \psi_{\cC;W}(y)$ is given by the composition maps of $\cC$. \end{defn} -When the $n$-category $\cC$ is enriched in some monoidal category $(A,\boxtimes)$, and $W$ is an $n$-manifold, the functor $\psi_{\cC;W}$ has target $A$ +When the $n$-category $\cC$ is enriched in some monoidal category $(A,\boxtimes)$, and $W$ is a +closed $n$-manifold, the functor $\psi_{\cC;W}$ has target $A$ and we replace the cartesian product of sets appearing in Equation \eqref{eq:psi-C} with the monoidal product $\boxtimes$. (Moreover, $\psi_{\cC;W}(x)$ might be a subobject, rather than a subset, of the product.) +Similar things are true if $W$ is an $n$-manifold with non-empty boundary and we +fix a field on $\bd W$ +(i.e. fix an element of the colimit associated to $\bd W$). Finally, we construct $\cC(W)$ as the appropriate colimit of $\psi_{\cC;W}$. @@ -658,7 +665,7 @@ We can specify boundary data $c \in \cC(\bdy W)$, and define functors $\psi_{\cC;W,c}$ with values the subsets of those of $\psi_{\cC;W}$ which agree with $c$ on the boundary of $W$. -We can now give a more concrete description of the colimit in each case. If $\cC$ is enriched over vector spaces, and $W$ is an $n$-manifold, we can take the vector space $\cC(W,c)$ to be the direct sum over all permissible decompositions of $W$ +We now give a more concrete description of the colimit in each case. If $\cC$ is enriched over vector spaces, and $W$ is an $n$-manifold, we can take the vector space $\cC(W,c)$ to be the direct sum over all permissible decompositions of $W$ \begin{equation*} \cC(W,c) = \left( \bigoplus_x \psi_{\cC;W,c}(x)\right) \big/ K \end{equation*} @@ -666,8 +673,10 @@ $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$. +\nn{ ** resume revising here} + In the $A_\infty$ case enriched over chain complexes, the concrete description of the homotopy colimit -is slightly more involved. +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$. Such sequences (for all $m$) form a simplicial set in $\cJ(W)$.