--- a/text/ncat.tex Wed Jul 07 11:07:48 2010 -0600
+++ b/text/ncat.tex Thu Jul 08 08:36:34 2010 -0600
@@ -253,6 +253,8 @@
The composition (gluing) maps above are strictly associative.
\end{axiom}
+\nn{should say this means $N$ at a time, not just 3 at a time}
+
\begin{figure}[!ht]
$$\mathfig{.65}{ncat/strict-associativity}$$
\caption{An example of strict associativity.}\label{blah6}\end{figure}
@@ -491,7 +493,7 @@
\]
\item
Product morphisms are associative.
-If $\pi:E\to X$ and $\rho:D\to E$ and pinched products then
+If $\pi:E\to X$ and $\rho:D\to E$ are pinched products then
\[
\rho^*\circ\pi^* = (\pi\circ\rho)^* .
\]
@@ -687,7 +689,7 @@
an n-cat}
}
-\begin{example}[Maps to a space, with a fiber]
+\begin{example}[Maps to a space, with a fiber] \label{ex:maps-with-fiber}
\rm
\label{ex:maps-to-a-space-with-a-fiber}%
We can modify the example above, by fixing a
@@ -877,8 +879,7 @@
\nn{should we spell this out?}
\nn{Should remark that this is just Lurie's topological chiral homology construction
-applied to $n$-balls (check this).
-Hmmm... Does Lurie do both framed and unframed cases?}
+applied to $n$-balls (need to check that colims agree).}
Conversely, one can show that a topological $A_\infty$ $n$-category $\cC$, where the $k$-morphisms
$\cC(X)$ are trivial (single point) for $k<n$, gives rise to
@@ -1063,8 +1064,6 @@
\end{proof}
\nn{need to finish explaining why we have a system of fields;
-need to say more about ``homological" fields?
-(actions of homeomorphisms);
define $k$-cat $\cC(\cdot\times W)$}
\subsection{Modules}
@@ -1072,17 +1071,12 @@
Next we define plain and $A_\infty$ $n$-category modules.
The definition will be very similar to that of $n$-categories,
but with $k$-balls replaced by {\it marked $k$-balls,} defined below.
-\nn{** need to make sure all revisions of $n$-cat def are also made to module def.}
-\nn{in particular, need to to get rid of the ``hemisphere axiom"}
-%\nn{should they be called $n$-modules instead of just modules? probably not, but worth considering.}
Our motivating example comes from an $(m{-}n{+}1)$-dimensional manifold $W$ with boundary
in the context of an $m{+}1$-dimensional TQFT.
Such a $W$ gives rise to a module for the $n$-category associated to $\bd W$.
This will be explained in more detail as we present the axioms.
-\nn{should also develop $\pi_{\le n}(T, S)$ as a module for $\pi_{\le n}(T)$, where $S\sub T$.}
-
Throughout, we fix an $n$-category $\cC$.
For all but one axiom, it doesn't matter whether $\cC$ is a topological $n$-category or an $A_\infty$ $n$-category.
We state the final axiom, on actions of homeomorphisms, differently in the two cases.
@@ -1101,14 +1095,15 @@
(As with $n$-categories, we will usually omit the subscript $k$.)
-For example, let $\cD$ be the $m{+}1$-dimensional TQFT which assigns to a $k$-manifold $N$ the set
-of maps from $N$ to $T$, modulo homotopy (and possibly linearized) if $k=m$.
+For example, let $\cD$ be the TQFT which assigns to a $k$-manifold $N$ the set
+of maps from $N$ to $T$ (for $k\le m$), modulo homotopy (and possibly linearized) if $k=m$.
Let $W$ be an $(m{-}n{+}1)$-dimensional manifold with boundary.
Let $\cC$ be the $n$-category with $\cC(X) \deq \cD(X\times \bd W)$.
-Let $\cM(B, N) \deq \cD((B\times \bd W)\cup (N\times W))$.
+Let $\cM(B, N) \deq \cD((B\times \bd W)\cup (N\times W))$
+(see Example \ref{ex:maps-with-fiber}).
(The union is along $N\times \bd W$.)
-(If $\cD$ were a general TQFT, we would define $\cM(B, N)$ to be
-the subset of $\cD((B\times \bd W)\cup (N\times W))$ which is splittable along $N\times \bd W$.)
+%(If $\cD$ were a general TQFT, we would define $\cM(B, N)$ to be
+%the subset of $\cD((B\times \bd W)\cup (N\times W))$ which is splittable along $N\times \bd W$.)
\begin{figure}[!ht]
$$\mathfig{.8}{ncat/boundary-collar}$$
@@ -1140,11 +1135,11 @@
and $c\in \cC(\bd M)$.
\begin{lem}[Boundary from domain and range]
-{Let $H = M_1 \cup_E M_2$, where $H$ is a marked $k$-hemisphere ($0\le k\le n-1$),
-$M_i$ is a marked $k$-ball, and $E = M_1\cap M_2$ is a marked $k{-}1$-hemisphere.
+{Let $H = M_1 \cup_E M_2$, where $H$ is a marked $k{-}1$-hemisphere ($1\le k\le n$),
+$M_i$ is a marked $k{-}1$-ball, and $E = M_1\cap M_2$ is a marked $k{-}2$-hemisphere.
Let $\cM(M_1) \times_{\cM(E)} \cM(M_2)$ denote the fibered product of the
two maps $\bd: \cM(M_i)\to \cM(E)$.
-Then (axiom) we have an injective map
+Then we have an injective map
\[
\gl_E : \cM(M_1) \times_{\cM(E)} \cM(M_2) \hookrightarrow \cM(H)
\]
@@ -1228,9 +1223,11 @@
\end{module-axiom}
\begin{module-axiom}[Strict associativity]
-{The composition and action maps above are strictly associative.}
+The composition and action maps above are strictly associative.
\end{module-axiom}
+\nn{should say that this is multifold, not just 3-fold}
+
Note that the above associativity axiom applies to mixtures of module composition,
action maps and $n$-category composition.
See Figure \ref{zzz1b}.
@@ -1264,24 +1261,70 @@
and these various multifold composition maps satisfy an
operad-type strict associativity condition.}
-(The above operad-like structure is analogous to the swiss cheese operad
-\cite{MR1718089}.)
-%\nn{need to double-check that this is true.}
+The above operad-like structure is analogous to the swiss cheese operad
+\cite{MR1718089}.
+
+\medskip
+
+We can define marked pinched products $\pi:E\to M$ of marked balls analogously to the
+plain ball case.
+Note that a marked pinched product can be decomposed into either
+two marked pinched products or a plain pinched product and a marked pinched product.
+\nn{should give figure}
-\begin{module-axiom}[Product/identity morphisms]
-{Let $M$ be a marked $k$-ball and $D$ be a plain $m$-ball, with $k+m \le n$.
-Then we have a map $\cM(M)\to \cM(M\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cM(M)$.
-If $f:M\to M'$ and $\tilde{f}:M\times D \to M'\times D'$ are maps such that the diagram
+\begin{module-axiom}[Product (identity) morphisms]
+For each pinched product $\pi:E\to M$, with $M$ a marked $k$-ball and $E$ a marked
+$k{+}m$-ball ($m\ge 1$),
+there is a map $\pi^*:\cC(M)\to \cC(E)$.
+These maps must satisfy the following conditions.
+\begin{enumerate}
+\item
+If $\pi:E\to M$ and $\pi':E'\to M'$ are marked pinched products, and
+if $f:M\to M'$ and $\tilde{f}:E \to E'$ are maps such that the diagram
\[ \xymatrix{
- M\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & M'\times D' \ar[d]^{\pi} \\
+ E \ar[r]^{\tilde{f}} \ar[d]_{\pi} & E' \ar[d]^{\pi'} \\
M \ar[r]^{f} & M'
} \]
-commutes, then we have $\tilde{f}(a\times D) = f(a)\times D'$.}
+commutes, then we have
+\[
+ \pi'^*\circ f = \tilde{f}\circ \pi^*.
+\]
+\item
+Product morphisms are compatible with module composition and module action.
+Let $\pi:E\to M$, $\pi_1:E_1\to M_1$, and $\pi_2:E_2\to M_2$
+be pinched products with $E = E_1\cup E_2$.
+Let $a\in \cM(M)$, and let $a_i$ denote the restriction of $a$ to $M_i\sub M$.
+Then
+\[
+ \pi^*(a) = \pi_1^*(a_1)\bullet \pi_2^*(a_2) .
+\]
+Similarly, if $\rho:D\to X$ is a pinched product of plain balls and
+$E = D\cup E_1$, then
+\[
+ \pi^*(a) = \rho^*(a')\bullet \pi_1^*(a_1),
+\]
+where $a'$ is the restriction of $a$ to $D$.
+\item
+Product morphisms are associative.
+If $\pi:E\to M$ and $\rho:D\to E$ are marked pinched products then
+\[
+ \rho^*\circ\pi^* = (\pi\circ\rho)^* .
+\]
+\item
+Product morphisms are compatible with restriction.
+If we have a commutative diagram
+\[ \xymatrix{
+ D \ar@{^(->}[r] \ar[d]_{\rho} & E \ar[d]^{\pi} \\
+ Y \ar@{^(->}[r] & M
+} \]
+such that $\rho$ and $\pi$ are pinched products, then
+\[
+ \res_D\circ\pi^* = \rho^*\circ\res_Y .
+\]
+($Y$ could be either a marked or plain ball.)
+\end{enumerate}
\end{module-axiom}
-\nn{Need to add compatibility with various things, as in the n-cat version of this axiom above.}
-
-\nn{postpone finalizing the above axiom until the n-cat version is finalized}
There are two alternatives for the next axiom, according whether we are defining
modules for plain $n$-categories or $A_\infty$ $n$-categories.