author | Scott Morrison <scott@tqft.net> |
Sat, 29 May 2010 23:13:20 -0700 | |
changeset 303 | 2252c53bd449 |
parent 291 | 9b8b474e272c |
child 309 | 386d2d12f95b |
permissions | -rw-r--r-- |
94 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\def\xxpar#1#2{\smallskip\noindent{\bf #1} {\it #2} \smallskip} |
|
199 | 4 |
\def\mmpar#1#2#3{\smallskip\noindent{\bf #1} (#2). {\it #3} \smallskip} |
94 | 5 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
6 |
\section{Definitions of $n$-categories} |
94 | 7 |
\label{sec:ncats} |
8 |
||
108 | 9 |
\subsection{Definition of $n$-categories} |
10 |
||
94 | 11 |
Before proceeding, we need more appropriate definitions of $n$-categories, |
12 |
$A_\infty$ $n$-categories, modules for these, and tensor products of these modules. |
|
187 | 13 |
(As is the case throughout this paper, by ``$n$-category" we implicitly intend some notion of |
14 |
a `weak' $n$-category with `strong duality'.) |
|
94 | 15 |
|
141 | 16 |
The definitions presented below tie the categories more closely to the topology |
17 |
and avoid combinatorial questions about, for example, the minimal sufficient |
|
18 |
collections of generalized associativity axioms; we prefer maximal sets of axioms to minimal sets. |
|
19 |
For examples of topological origin, it is typically easy to show that they |
|
20 |
satisfy our axioms. |
|
21 |
For examples of a more purely algebraic origin, one would typically need the combinatorial |
|
22 |
results that we have avoided here. |
|
23 |
||
24 |
\medskip |
|
25 |
||
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
26 |
There are many existing definitions of $n$-categories, with various intended uses. In any such definition, there are sets of $k$-morphisms for each $0 \leq k \leq n$. Generally, these sets are indexed by instances of a certain typical chape. |
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
27 |
Some $n$-category definitions model $k$-morphisms on the standard bihedrons (interval, bigon, and so on). |
94 | 28 |
Other definitions have a separate set of 1-morphisms for each interval $[0,l] \sub \r$, |
29 |
a separate set of 2-morphisms for each rectangle $[0,l_1]\times [0,l_2] \sub \r^2$, |
|
30 |
and so on. |
|
31 |
(This allows for strict associativity.) |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
32 |
Still other definitions (see, for example, \cite{MR2094071}) |
94 | 33 |
model the $k$-morphisms on more complicated combinatorial polyhedra. |
34 |
||
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
35 |
For our definition, we will allow our $k$-morphisms to have any shape, so long as it is homeomorphic to the standard $k$-ball: |
94 | 36 |
|
267 | 37 |
\begin{axiom}[Morphisms]{\textup{\textbf{[preliminary]}}} |
187 | 38 |
For any $k$-manifold $X$ homeomorphic |
103 | 39 |
to the standard $k$-ball, we have a set of $k$-morphisms |
187 | 40 |
$\cC_k(X)$. |
267 | 41 |
\end{axiom} |
94 | 42 |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
43 |
By ``a $k$-ball" we mean any $k$-manifold which is homeomorphic to the |
103 | 44 |
standard $k$-ball. |
45 |
We {\it do not} assume that it is equipped with a |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
46 |
preferred homeomorphism to the standard $k$-ball, and the same applies to ``a $k$-sphere" below. |
103 | 47 |
|
109 | 48 |
|
49 |
Given a homeomorphism $f:X\to Y$ between $k$-balls (not necessarily fixed on |
|
50 |
the boundary), we want a corresponding |
|
94 | 51 |
bijection of sets $f:\cC(X)\to \cC(Y)$. |
109 | 52 |
(This will imply ``strong duality", among other things.) |
94 | 53 |
So we replace the above with |
54 |
||
267 | 55 |
\addtocounter{axiom}{-1} |
187 | 56 |
\begin{axiom}[Morphisms] |
57 |
\label{axiom:morphisms} |
|
58 |
For each $0 \le k \le n$, we have a functor $\cC_k$ from |
|
103 | 59 |
the category of $k$-balls and |
187 | 60 |
homeomorphisms to the category of sets and bijections. |
61 |
\end{axiom} |
|
62 |
||
94 | 63 |
|
64 |
(Note: We usually omit the subscript $k$.) |
|
65 |
||
195 | 66 |
We are so far being deliberately vague about what flavor of $k$-balls |
67 |
we are considering. |
|
94 | 68 |
They could be unoriented or oriented or Spin or $\mbox{Pin}_\pm$. |
69 |
They could be topological or PL or smooth. |
|
195 | 70 |
%\nn{need to check whether this makes much difference} |
94 | 71 |
(If smooth, ``homeomorphism" should be read ``diffeomorphism", and we would need |
72 |
to be fussier about corners.) |
|
73 |
For each flavor of manifold there is a corresponding flavor of $n$-category. |
|
195 | 74 |
We will concentrate on the case of PL unoriented manifolds. |
94 | 75 |
|
76 |
Next we consider domains and ranges of morphisms (or, as we prefer to say, boundaries |
|
77 |
of morphisms). |
|
78 |
The 0-sphere is unusual among spheres in that it is disconnected. |
|
79 |
Correspondingly, for 1-morphisms it makes sense to distinguish between domain and range. |
|
109 | 80 |
(Actually, this is only true in the oriented case, with 1-morphsims parameterized |
81 |
by oriented 1-balls.) |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
82 |
For $k>1$ and in the presence of strong duality the division into domain and range makes less sense. For example, in a pivotal tensor category, there are natural isomorphisms $\Hom{}{A}{B \tensor C} \isoto \Hom{}{A \tensor B^*}{C}$, etc. (sometimes called ``Frobenius reciprocity''), which canonically identify all the morphism spaces which have the same boundary. We prefer to not make the distinction in the first place. |
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
83 |
|
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
84 |
Instead, we combine the domain and range into a single entity which we call the |
94 | 85 |
boundary of a morphism. |
86 |
Morphisms are modeled on balls, so their boundaries are modeled on spheres: |
|
87 |
||
187 | 88 |
\begin{axiom}[Boundaries (spheres)] |
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
89 |
\label{axiom:spheres} |
187 | 90 |
For each $0 \le k \le n-1$, we have a functor $\cC_k$ from |
103 | 91 |
the category of $k$-spheres and |
187 | 92 |
homeomorphisms to the category of sets and bijections. |
93 |
\end{axiom} |
|
94 | 94 |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
95 |
In order to conserve symbols, we use the same symbol $\cC_k$ for both morphisms and boundaries, and again often omit the subscript. |
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
96 |
|
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
97 |
In fact, the functors for spheres are entirely determined by the functors for balls and the subsequent axioms. (In particular, $\cC(S^k)$ is the colimit of $\cC$ applied to decompositions of $S^k$ into balls.) However, it is easiest to think of it as additional data at this point. |
94 | 98 |
|
195 | 99 |
\begin{axiom}[Boundaries (maps)]\label{nca-boundary} |
187 | 100 |
For each $k$-ball $X$, we have a map of sets $\bd: \cC(X)\to \cC(\bd X)$. |
101 |
These maps, for various $X$, comprise a natural transformation of functors. |
|
102 |
\end{axiom} |
|
94 | 103 |
|
104 |
(Note that the first ``$\bd$" above is part of the data for the category, |
|
105 |
while the second is the ordinary boundary of manifolds.) |
|
106 |
||
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
107 |
Given $c\in\cC(\bd(X))$, we will write $\cC(X; c)$ for $\bd^{-1}(c)$, those morphisms with specified boundary $c$. |
94 | 108 |
|
109 |
Most of the examples of $n$-categories we are interested in are enriched in the following sense. |
|
103 | 110 |
The various sets of $n$-morphisms $\cC(X; c)$, for all $n$-balls $X$ and |
94 | 111 |
all $c\in \cC(\bd X)$, have the structure of an object in some auxiliary category |
112 |
(e.g.\ vector spaces, or modules over some ring, or chain complexes), |
|
113 |
and all the structure maps of the $n$-category should be compatible with the auxiliary |
|
114 |
category structure. |
|
115 |
Note that this auxiliary structure is only in dimension $n$; |
|
116 |
$\cC(Y; c)$ is just a plain set if $\dim(Y) < n$. |
|
117 |
||
118 |
\medskip |
|
109 | 119 |
\nn{ |
120 |
%At the moment I'm a little confused about orientations, and more specifically |
|
121 |
%about the role of orientation-reversing maps of boundaries when gluing oriented manifolds. |
|
122 |
Maybe need a discussion about what the boundary of a manifold with a |
|
123 |
structure (e.g. orientation) means. |
|
94 | 124 |
Tentatively, I think we need to redefine the oriented boundary of an oriented $n$-manifold. |
125 |
Instead of an ordinary oriented $(n-1)$-manifold via the inward (or outward) normal |
|
126 |
first (or last) convention, perhaps it is better to define the boundary to be an $(n-1)$-manifold |
|
127 |
equipped with an orientation of its once-stabilized tangent bundle. |
|
128 |
Similarly, in dimension $n-k$ we would have manifolds equipped with an orientation of |
|
129 |
their $k$ times stabilized tangent bundles. |
|
141 | 130 |
(cf. [Stolz and Teichner].) |
115 | 131 |
Probably should also have a framing of the stabilized dimensions in order to indicate which |
132 |
side the bounded manifold is on. |
|
94 | 133 |
For the moment just stick with unoriented manifolds.} |
134 |
\medskip |
|
135 |
||
136 |
We have just argued that the boundary of a morphism has no preferred splitting into |
|
137 |
domain and range, but the converse meets with our approval. |
|
138 |
That is, given compatible domain and range, we should be able to combine them into |
|
139 |
the full boundary of a morphism: |
|
140 |
||
187 | 141 |
\begin{axiom}[Boundary from domain and range] |
142 |
Let $S = B_1 \cup_E B_2$, where $S$ is a $k$-sphere $(0\le k\le n-1)$, |
|
179 | 143 |
$B_i$ is a $k$-ball, and $E = B_1\cap B_2$ is a $k{-}1$-sphere (Figure \ref{blah3}). |
94 | 144 |
Let $\cC(B_1) \times_{\cC(E)} \cC(B_2)$ denote the fibered product of the |
145 |
two maps $\bd: \cC(B_i)\to \cC(E)$. |
|
187 | 146 |
Then we have an injective map |
94 | 147 |
\[ |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
148 |
\gl_E : \cC(B_1) \times_{\cC(E)} \cC(B_2) \into \cC(S) |
94 | 149 |
\] |
187 | 150 |
which is natural with respect to the actions of homeomorphisms. |
151 |
\end{axiom} |
|
94 | 152 |
|
179 | 153 |
\begin{figure}[!ht] |
186 | 154 |
$$ |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
155 |
\begin{tikzpicture}[%every label/.style={green} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
156 |
] |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
157 |
\node[fill=black, circle, label=below:$E$, inner sep=2pt](S) at (0,0) {}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
158 |
\node[fill=black, circle, label=above:$E$, inner sep=2pt](N) at (0,2) {}; |
186 | 159 |
\draw (S) arc (-90:90:1); |
160 |
\draw (N) arc (90:270:1); |
|
161 |
\node[left] at (-1,1) {$B_1$}; |
|
162 |
\node[right] at (1,1) {$B_2$}; |
|
163 |
\end{tikzpicture} |
|
164 |
$$ |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
165 |
\caption{Combining two balls to get a full boundary.}\label{blah3}\end{figure} |
179 | 166 |
|
94 | 167 |
Note that we insist on injectivity above. |
109 | 168 |
|
94 | 169 |
Let $\cC(S)_E$ denote the image of $\gl_E$. |
109 | 170 |
We will refer to elements of $\cC(S)_E$ as ``splittable along $E$" or ``transverse to $E$". |
171 |
||
195 | 172 |
If $X$ is a $k$-ball and $E \sub \bd X$ splits $\bd X$ into two $k{-}1$-balls $B_1$ and $B_2$ |
173 |
as above, then we define $\cC(X)_E = \bd^{-1}(\cC(\bd X)_E)$. |
|
174 |
||
110 | 175 |
We will call the projection $\cC(S)_E \to \cC(B_i)$ |
176 |
a {\it restriction} map and write $\res_{B_i}(a)$ |
|
177 |
(or simply $\res(a)$ when there is no ambiguity), for $a\in \cC(S)_E$. |
|
195 | 178 |
More generally, we also include under the rubric ``restriction map" the |
179 |
the boundary maps of Axiom \ref{nca-boundary} above, |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
180 |
another class of maps introduced after Axiom \ref{nca-assoc} below, as well as any composition |
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
181 |
of restriction maps. |
195 | 182 |
In particular, we have restriction maps $\cC(X)_E \to \cC(B_i)$ |
183 |
($i = 1, 2$, notation from previous paragraph). |
|
184 |
These restriction maps can be thought of as |
|
185 |
domain and range maps, relative to the choice of splitting $\bd X = B_1 \cup_E B_2$. |
|
94 | 186 |
|
187 |
||
188 |
Next we consider composition of morphisms. |
|
189 |
For $n$-categories which lack strong duality, one usually considers |
|
190 |
$k$ different types of composition of $k$-morphisms, each associated to a different direction. |
|
191 |
(For example, vertical and horizontal composition of 2-morphisms.) |
|
192 |
In the presence of strong duality, these $k$ distinct compositions are subsumed into |
|
193 |
one general type of composition which can be in any ``direction". |
|
194 |
||
187 | 195 |
\begin{axiom}[Composition] |
196 |
Let $B = B_1 \cup_Y B_2$, where $B$, $B_1$ and $B_2$ are $k$-balls ($0\le k\le n$) |
|
179 | 197 |
and $Y = B_1\cap B_2$ is a $k{-}1$-ball (Figure \ref{blah5}). |
103 | 198 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
94 | 199 |
Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$. |
200 |
We have restriction (domain or range) maps $\cC(B_i)_E \to \cC(Y)$. |
|
201 |
Let $\cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E$ denote the fibered product of these two maps. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
202 |
We have a map |
94 | 203 |
\[ |
204 |
\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B)_E |
|
205 |
\] |
|
206 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
207 |
to the intersection of the boundaries of $B$ and $B_i$. |
|
208 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
187 | 209 |
(For $k=n$, see below.) |
210 |
\end{axiom} |
|
94 | 211 |
|
179 | 212 |
\begin{figure}[!ht] |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
213 |
$$ |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
214 |
\begin{tikzpicture}[%every label/.style={green}, |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
215 |
x=1.5cm,y=1.5cm] |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
216 |
\node[fill=black, circle, label=below:$E$, inner sep=2pt](S) at (0,0) {}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
217 |
\node[fill=black, circle, label=above:$E$, inner sep=2pt](N) at (0,2) {}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
218 |
\draw (S) arc (-90:90:1); |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
219 |
\draw (N) arc (90:270:1); |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
220 |
\draw (N) -- (S); |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
221 |
\node[left] at (-1/4,1) {$B_1$}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
222 |
\node[right] at (1/4,1) {$B_2$}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
223 |
\node at (1/6,3/2) {$Y$}; |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
224 |
\end{tikzpicture} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
225 |
$$ |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
226 |
\caption{From two balls to one ball.}\label{blah5}\end{figure} |
179 | 227 |
|
195 | 228 |
\begin{axiom}[Strict associativity] \label{nca-assoc} |
187 | 229 |
The composition (gluing) maps above are strictly associative. |
230 |
\end{axiom} |
|
102 | 231 |
|
179 | 232 |
\begin{figure}[!ht] |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
233 |
$$\mathfig{.65}{ncat/strict-associativity}$$ |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
234 |
\caption{An example of strict associativity.}\label{blah6}\end{figure} |
179 | 235 |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
236 |
We'll use the notations $a\bullet b$ as well as $a \cup b$ for the glued together field $\gl_Y(a, b)$. |
110 | 237 |
In the other direction, we will call the projection from $\cC(B)_E$ to $\cC(B_i)_E$ |
195 | 238 |
a restriction map (one of many types of map so called) and write $\res_{B_i}(a)$ for $a\in \cC(B)_E$. |
239 |
%Compositions of boundary and restriction maps will also be called restriction maps. |
|
240 |
%For example, if $B$ is a $k$-ball and $Y\sub \bd B$ is a $k{-}1$-ball, there is a |
|
241 |
%restriction map from $\cC(B)_{\bd Y}$ to $\cC(Y)$. |
|
110 | 242 |
|
192 | 243 |
We will write $\cC(B)_Y$ for the image of $\gl_Y$ in $\cC(B)$. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
244 |
We will call elements of $\cC(B)_Y$ morphisms which are `splittable along $Y$' or `transverse to $Y$'. |
192 | 245 |
We have $\cC(B)_Y \sub \cC(B)_E \sub \cC(B)$. |
109 | 246 |
|
193 | 247 |
More generally, let $\alpha$ be a subdivision of a ball (or sphere) $X$ into smaller balls. |
248 |
Let $\cC(X)_\alpha \sub \cC(X)$ denote the image of the iterated gluing maps from |
|
249 |
the smaller balls to $X$. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
250 |
We say that elements of $\cC(X)_\alpha$ are morphisms which are `splittable along $\alpha$'. |
193 | 251 |
In situations where the subdivision is notationally anonymous, we will write |
252 |
$\cC(X)\spl$ for the morphisms which are splittable along (a.k.a.\ transverse to) |
|
253 |
the unnamed subdivision. |
|
254 |
If $\beta$ is a subdivision of $\bd X$, we define $\cC(X)_\beta \deq \bd\inv(\cC(\bd X)_\beta)$; |
|
255 |
this can also be denoted $\cC(X)\spl$ if the context contains an anonymous |
|
256 |
subdivision of $\bd X$ and no competing subdivision of $X$. |
|
192 | 257 |
|
258 |
The above two composition axioms are equivalent to the following one, |
|
102 | 259 |
which we state in slightly vague form. |
260 |
||
261 |
\xxpar{Multi-composition:} |
|
262 |
{Given any decomposition $B = B_1\cup\cdots\cup B_m$ of a $k$-ball |
|
263 |
into small $k$-balls, there is a |
|
264 |
map from an appropriate subset (like a fibered product) |
|
193 | 265 |
of $\cC(B_1)\spl\times\cdots\times\cC(B_m)\spl$ to $\cC(B)\spl$, |
95 | 266 |
and these various $m$-fold composition maps satisfy an |
179 | 267 |
operad-type strict associativity condition (Figure \ref{blah7}).} |
268 |
||
269 |
\begin{figure}[!ht] |
|
270 |
$$\mathfig{.8}{tempkw/blah7}$$ |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
271 |
\caption{Operad composition and associativity}\label{blah7}\end{figure} |
95 | 272 |
|
273 |
The next axiom is related to identity morphisms, though that might not be immediately obvious. |
|
274 |
||
187 | 275 |
\begin{axiom}[Product (identity) morphisms] |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
276 |
For each $k$-ball $X$ and $m$-ball $D$, with $k+m \le n$, there is a map $\cC(X)\to \cC(X\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cC(X)$. These maps must satisfy the following conditions. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
277 |
\begin{enumerate} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
278 |
\item |
95 | 279 |
If $f:X\to X'$ and $\tilde{f}:X\times D \to X'\times D'$ are maps such that the diagram |
280 |
\[ \xymatrix{ |
|
96 | 281 |
X\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & X'\times D' \ar[d]^{\pi} \\ |
95 | 282 |
X \ar[r]^{f} & X' |
283 |
} \] |
|
109 | 284 |
commutes, then we have |
285 |
\[ |
|
286 |
\tilde{f}(a\times D) = f(a)\times D' . |
|
287 |
\] |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
288 |
\item |
109 | 289 |
Product morphisms are compatible with gluing (composition) in both factors: |
290 |
\[ |
|
291 |
(a'\times D)\bullet(a''\times D) = (a'\bullet a'')\times D |
|
292 |
\] |
|
293 |
and |
|
294 |
\[ |
|
295 |
(a\times D')\bullet(a\times D'') = a\times (D'\bullet D'') . |
|
296 |
\] |
|
122 | 297 |
\nn{if pinched boundary, then remove first case above} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
298 |
\item |
109 | 299 |
Product morphisms are associative: |
300 |
\[ |
|
301 |
(a\times D)\times D' = a\times (D\times D') . |
|
302 |
\] |
|
303 |
(Here we are implicitly using functoriality and the obvious homeomorphism |
|
304 |
$(X\times D)\times D' \to X\times(D\times D')$.) |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
305 |
\item |
110 | 306 |
Product morphisms are compatible with restriction: |
307 |
\[ |
|
308 |
\res_{X\times E}(a\times D) = a\times E |
|
309 |
\] |
|
310 |
for $E\sub \bd D$ and $a\in \cC(X)$. |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
311 |
\end{enumerate} |
187 | 312 |
\end{axiom} |
95 | 313 |
|
110 | 314 |
\nn{need even more subaxioms for product morphisms?} |
95 | 315 |
|
122 | 316 |
\nn{Almost certainly we need a little more than the above axiom. |
317 |
More specifically, in order to bootstrap our way from the top dimension |
|
318 |
properties of identity morphisms to low dimensions, we need regular products, |
|
319 |
pinched products and even half-pinched products. |
|
142 | 320 |
I'm not sure what the best way to cleanly axiomatize the properties of these various |
321 |
products is. |
|
122 | 322 |
For the moment, I'll assume that all flavors of the product are at |
323 |
our disposal, and I'll plan on revising the axioms later.} |
|
324 |
||
128 | 325 |
\nn{current idea for fixing this: make the above axiom a ``preliminary version" |
326 |
(as we have already done with some of the other axioms), then state the official |
|
327 |
axiom for maps $\pi: E \to X$ which are almost fiber bundles. |
|
328 |
one option is to restrict E to be a (full/half/not)-pinched product (up to homeo). |
|
329 |
the alternative is to give some sort of local criterion for what's allowed. |
|
330 |
state a gluing axiom for decomps $E = E'\cup E''$ where all three are of the correct type. |
|
331 |
} |
|
332 |
||
95 | 333 |
All of the axioms listed above hold for both ordinary $n$-categories and $A_\infty$ $n$-categories. |
334 |
The last axiom (below), concerning actions of |
|
335 |
homeomorphisms in the top dimension $n$, distinguishes the two cases. |
|
336 |
||
337 |
We start with the plain $n$-category case. |
|
338 |
||
267 | 339 |
\begin{axiom}[Isotopy invariance in dimension $n$]{\textup{\textbf{[preliminary]}}} |
187 | 340 |
Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
95 | 341 |
to the identity on $\bd X$ and is isotopic (rel boundary) to the identity. |
187 | 342 |
Then $f$ acts trivially on $\cC(X)$; $f(a) = a$ for all $a\in \cC(X)$. |
267 | 343 |
\end{axiom} |
96 | 344 |
|
174 | 345 |
This axiom needs to be strengthened to force product morphisms to act as the identity. |
103 | 346 |
Let $X$ be an $n$-ball and $Y\sub\bd X$ be an $n{-}1$-ball. |
96 | 347 |
Let $J$ be a 1-ball (interval). |
348 |
We have a collaring homeomorphism $s_{Y,J}: X\cup_Y (Y\times J) \to X$. |
|
122 | 349 |
(Here we use the ``pinched" version of $Y\times J$. |
350 |
\nn{need notation for this}) |
|
96 | 351 |
We define a map |
352 |
\begin{eqnarray*} |
|
353 |
\psi_{Y,J}: \cC(X) &\to& \cC(X) \\ |
|
354 |
a & \mapsto & s_{Y,J}(a \cup ((a|_Y)\times J)) . |
|
355 |
\end{eqnarray*} |
|
142 | 356 |
(See Figure \ref{glue-collar}.) |
189 | 357 |
\begin{figure}[!ht] |
358 |
\begin{equation*} |
|
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
359 |
\begin{tikzpicture} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
360 |
\def\rad{1} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
361 |
\def\srad{0.75} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
362 |
\def\gap{4.5} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
363 |
\foreach \i in {0, 1, 2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
364 |
\node(\i) at ($\i*(\gap,0)$) [draw, circle through = {($\i*(\gap,0)+(\rad,0)$)}] {}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
365 |
\node(\i-small) at (\i.east) [circle through={($(\i.east)+(\srad,0)$)}] {}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
366 |
\foreach \n in {1,2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
367 |
\fill (intersection \n of \i-small and \i) node(\i-intersection-\n) {} circle (2pt); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
368 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
369 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
370 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
371 |
\begin{scope}[decoration={brace,amplitude=10,aspect=0.5}] |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
372 |
\draw[decorate] (0-intersection-1.east) -- (0-intersection-2.east); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
373 |
\end{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
374 |
\node[right=1mm] at (0.east) {$a$}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
375 |
\draw[->] ($(0.east)+(0.75,0)$) -- ($(1.west)+(-0.2,0)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
376 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
377 |
\draw (1-small) circle (\srad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
378 |
\foreach \theta in {90, 72, ..., -90} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
379 |
\draw[blue] (1) -- ($(1)+(\rad,0)+(\theta:\srad)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
380 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
381 |
\filldraw[fill=white] (1) circle (\rad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
382 |
\foreach \n in {1,2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
383 |
\fill (intersection \n of 1-small and 1) circle (2pt); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
384 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
385 |
\node[below] at (1-small.south) {$a \times J$}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
386 |
\draw[->] ($(1.east)+(1,0)$) -- ($(2.west)+(-0.2,0)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
387 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
388 |
\begin{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
389 |
\path[clip] (2) circle (\rad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
390 |
\draw[clip] (2.east) circle (\srad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
391 |
\foreach \y in {1, 0.86, ..., -1} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
392 |
\draw[blue] ($(2)+(-1,\y) $)-- ($(2)+(1,\y)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
393 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
394 |
\end{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
395 |
\end{tikzpicture} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
396 |
\end{equation*} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
397 |
\begin{equation*} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
398 |
\xymatrix@C+2cm{\cC(X) \ar[r]^(0.45){\text{glue}} & \cC(X \cup \text{collar}) \ar[r]^(0.55){\text{homeo}} & \cC(X)} |
189 | 399 |
\end{equation*} |
400 |
||
401 |
\caption{Extended homeomorphism.}\label{glue-collar}\end{figure} |
|
174 | 402 |
We say that $\psi_{Y,J}$ is {\it extended isotopic} to the identity map. |
403 |
\nn{bad terminology; fix it later} |
|
404 |
\nn{also need to make clear that plain old isotopic to the identity implies |
|
405 |
extended isotopic} |
|
97 | 406 |
\nn{maybe remark that in some examples (e.g.\ ones based on sub cell complexes) |
407 |
extended isotopies are also plain isotopies, so |
|
408 |
no extension necessary} |
|
96 | 409 |
It can be thought of as the action of the inverse of |
410 |
a map which projects a collar neighborhood of $Y$ onto $Y$. |
|
411 |
||
412 |
The revised axiom is |
|
413 |
||
267 | 414 |
\addtocounter{axiom}{-1} |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
415 |
\begin{axiom}{\textup{\textbf{[topological version]}} Extended isotopy invariance in dimension $n$} |
187 | 416 |
\label{axiom:extended-isotopies} |
417 |
Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
|
174 | 418 |
to the identity on $\bd X$ and is extended isotopic (rel boundary) to the identity. |
187 | 419 |
Then $f$ acts trivially on $\cC(X)$. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
420 |
\end{axiom} |
96 | 421 |
|
422 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
94 | 423 |
|
97 | 424 |
\smallskip |
425 |
||
426 |
For $A_\infty$ $n$-categories, we replace |
|
427 |
isotopy invariance with the requirement that families of homeomorphisms act. |
|
428 |
For the moment, assume that our $n$-morphisms are enriched over chain complexes. |
|
429 |
||
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
430 |
\addtocounter{axiom}{-1} |
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
431 |
\begin{axiom}{\textup{\textbf{[$A_\infty$ version]}} Families of homeomorphisms act in dimension $n$} |
187 | 432 |
For each $n$-ball $X$ and each $c\in \cC(\bd X)$ we have a map of chain complexes |
97 | 433 |
\[ |
434 |
C_*(\Homeo_\bd(X))\ot \cC(X; c) \to \cC(X; c) . |
|
435 |
\] |
|
436 |
Here $C_*$ means singular chains and $\Homeo_\bd(X)$ is the space of homeomorphisms of $X$ |
|
437 |
which fix $\bd X$. |
|
438 |
These action maps are required to be associative up to homotopy |
|
439 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
236 | 440 |
a diagram like the one in Proposition \ref{CHprop} commutes. |
97 | 441 |
\nn{repeat diagram here?} |
187 | 442 |
\nn{restate this with $\Homeo(X\to X')$? what about boundary fixing property?} |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
443 |
\end{axiom} |
97 | 444 |
|
445 |
We should strengthen the above axiom to apply to families of extended homeomorphisms. |
|
109 | 446 |
To do this we need to explain how extended homeomorphisms form a topological space. |
97 | 447 |
Roughly, the set of $n{-}1$-balls in the boundary of an $n$-ball has a natural topology, |
448 |
and we can replace the class of all intervals $J$ with intervals contained in $\r$. |
|
449 |
\nn{need to also say something about collaring homeomorphisms.} |
|
450 |
\nn{this paragraph needs work.} |
|
451 |
||
103 | 452 |
Note that if we take homology of chain complexes, we turn an $A_\infty$ $n$-category |
453 |
into a plain $n$-category (enriched over graded groups). |
|
97 | 454 |
\nn{say more here?} |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
455 |
In a different direction, if we enrich over topological spaces instead of chain complexes, |
97 | 456 |
we get a space version of an $A_\infty$ $n$-category, with $\Homeo_\bd(X)$ acting |
457 |
instead of $C_*(\Homeo_\bd(X))$. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
458 |
Taking singular chains converts such a space type $A_\infty$ $n$-category into a chain complex |
97 | 459 |
type $A_\infty$ $n$-category. |
460 |
||
99 | 461 |
\medskip |
97 | 462 |
|
99 | 463 |
The alert reader will have already noticed that our definition of (plain) $n$-category |
464 |
is extremely similar to our definition of topological fields. |
|
142 | 465 |
The main difference is that for the $n$-category definition we restrict our attention to balls |
99 | 466 |
(and their boundaries), while for fields we consider all manifolds. |
142 | 467 |
(A minor difference is that in the category definition we directly impose isotopy |
468 |
invariance in dimension $n$, while in the fields definition we have non-isotopy-invariant fields |
|
469 |
but then mod out by local relations which imply isotopy invariance.) |
|
99 | 470 |
Thus a system of fields determines an $n$-category simply by restricting our attention to |
471 |
balls. |
|
142 | 472 |
This $n$-category can be thought of as the local part of the fields. |
99 | 473 |
Conversely, given an $n$-category we can construct a system of fields via |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
474 |
a colimit construction; see \S \ref{ss:ncat_fields} below. |
99 | 475 |
|
142 | 476 |
%\nn{Next, say something about $A_\infty$ $n$-categories and ``homological" systems |
477 |
%of fields. |
|
478 |
%The universal (colimit) construction becomes our generalized definition of blob homology. |
|
479 |
%Need to explain how it relates to the old definition.} |
|
97 | 480 |
|
95 | 481 |
\medskip |
482 |
||
195 | 483 |
\subsection{Examples of $n$-categories}\ \ |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
484 |
|
101 | 485 |
\nn{these examples need to be fleshed out a bit more} |
486 |
||
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
487 |
We now describe several classes of examples of $n$-categories satisfying our axioms. |
101 | 488 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
489 |
\begin{example}[Maps to a space] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
490 |
\rm |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
491 |
\label{ex:maps-to-a-space}% |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
492 |
Fix a `target space' $T$, any topological space. We define $\pi_{\leq n}(T)$, the fundamental $n$-category of $T$, as follows. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
493 |
For $X$ a $k$-ball or $k$-sphere with $k < n$, define $\pi_{\leq n}(T)(X)$ to be the set of |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
494 |
all continuous maps from $X$ to $T$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
495 |
For $X$ an $n$-ball define $\pi_{\leq n}(T)(X)$ to be continuous maps from $X$ to $T$ modulo |
196 | 496 |
homotopies fixed on $\bd X$. |
101 | 497 |
(Note that homotopy invariance implies isotopy invariance.) |
498 |
For $a\in \cC(X)$ define the product morphism $a\times D \in \cC(X\times D)$ to |
|
499 |
be $a\circ\pi_X$, where $\pi_X : X\times D \to X$ is the projection. |
|
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
500 |
\end{example} |
101 | 501 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
502 |
\begin{example}[Maps to a space, with a fiber] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
503 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
504 |
\label{ex:maps-to-a-space-with-a-fiber}% |
196 | 505 |
We can modify the example above, by fixing a |
506 |
closed $m$-manifold $F$, and defining $\pi^{\times F}_{\leq n}(T)(X) = \Maps(X \times F \to T)$, otherwise leaving the definition in Example \ref{ex:maps-to-a-space} unchanged. Taking $F$ to be a point recovers the previous case. |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
507 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
508 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
509 |
\begin{example}[Linearized, twisted, maps to a space] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
510 |
\rm |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
511 |
\label{ex:linearized-maps-to-a-space}% |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
512 |
We can linearize Examples \ref{ex:maps-to-a-space} and \ref{ex:maps-to-a-space-with-a-fiber} as follows. |
101 | 513 |
Let $\alpha$ be an $(n{+}m{+}1)$-cocycle on $T$ with values in a ring $R$ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
514 |
(have in mind the trivial cocycle). |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
515 |
For $X$ of dimension less than $n$ define $\pi^{\alpha, \times F}_{\leq n}(T)(X)$ as before, ignoring $\alpha$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
516 |
For $X$ an $n$-ball and $c\in \Maps(\bdy X \times F \to T)$ define $\pi^{\alpha, \times F}_{\leq n}(T)(X; c)$ to be |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
517 |
the $R$-module of finite linear combinations of continuous maps from $X\times F$ to $T$, |
101 | 518 |
modulo the relation that if $a$ is homotopic to $b$ (rel boundary) via a homotopy |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
519 |
$h: X\times F\times I \to T$, then $a = \alpha(h)b$. |
101 | 520 |
\nn{need to say something about fundamental classes, or choose $\alpha$ carefully} |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
521 |
\end{example} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
522 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
523 |
The next example is only intended to be illustrative, as we don't specify which definition of a `traditional $n$-category' we intend. Further, most of these definitions don't even have an agreed-upon notion of `strong duality', which we assume here. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
524 |
\begin{example}[Traditional $n$-categories] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
525 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
526 |
\label{ex:traditional-n-categories} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
527 |
Given a `traditional $n$-category with strong duality' $C$ |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
528 |
define $\cC(X)$, for $X$ a $k$-ball or $k$-sphere with $k < n$, |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
529 |
to be the set of all $C$-labeled sub cell complexes of $X$ (c.f. \S \ref{sec:fields}). |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
530 |
For $X$ an $n$-ball and $c\in \cC(\bd X)$, define $\cC(X)$ to finite linear |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
531 |
combinations of $C$-labeled sub cell complexes of $X$ |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
532 |
modulo the kernel of the evaluation map. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
533 |
Define a product morphism $a\times D$, for $D$ an $m$-ball, to be the product of the cell complex of $a$ with $D$, |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
534 |
with each cell labelled by the $m$-th iterated identity morphism of the corresponding cell for $a$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
535 |
More generally, start with an $n{+}m$-category $C$ and a closed $m$-manifold $F$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
536 |
Define $\cC(X)$, for $\dim(X) < n$, |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
537 |
to be the set of all $C$-labeled sub cell complexes of $X\times F$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
538 |
Define $\cC(X; c)$, for $X$ an $n$-ball, |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
539 |
to be the dual Hilbert space $A(X\times F; c)$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
540 |
\nn{refer elsewhere for details?} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
541 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
542 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
543 |
Finally, we describe a version of the bordism $n$-category suitable to our definitions. |
204 | 544 |
|
545 |
\nn{should also include example of ncats coming from TQFTs, or refer ahead to where we discuss that example} |
|
546 |
||
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
547 |
\newcommand{\Bord}{\operatorname{Bord}} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
548 |
\begin{example}[The bordism $n$-category] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
549 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
550 |
\label{ex:bordism-category} |
196 | 551 |
For a $k$-ball or $k$-sphere $X$, $k<n$, define $\Bord^n(X)$ to be the set of all $k$-dimensional |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
552 |
submanifolds $W$ of $X\times \Real^\infty$ such that the projection $W \to X$ is transverse |
196 | 553 |
to $\bd X$. |
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
554 |
For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes (rel boundary) of such $n$-dimensional submanifolds; |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
555 |
we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism |
196 | 556 |
$W \to W'$ which restricts to the identity on the boundary. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
557 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
558 |
|
196 | 559 |
%\nn{the next example might be an unnecessary distraction. consider deleting it.} |
101 | 560 |
|
196 | 561 |
%\begin{example}[Variation on the above examples] |
562 |
%We could allow $F$ to have boundary and specify boundary conditions on $X\times \bd F$, |
|
563 |
%for example product boundary conditions or take the union over all boundary conditions. |
|
564 |
%%\nn{maybe should not emphasize this case, since it's ``better" in some sense |
|
565 |
%%to think of these guys as affording a representation |
|
566 |
%%of the $n{+}1$-category associated to $\bd F$.} |
|
567 |
%\end{example} |
|
101 | 568 |
|
569 |
||
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
570 |
We have two main examples of $A_\infty$ $n$-categories, coming from maps to a target space and from the blob complex. |
101 | 571 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
572 |
\begin{example}[Chains of maps to a space] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
573 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
574 |
\label{ex:chains-of-maps-to-a-space} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
575 |
We can modify Example \ref{ex:maps-to-a-space} above to define the fundamental $A_\infty$ $n$-category $\pi^\infty_{\le n}(T)$ of a topological space $T$. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
576 |
For $k$-balls and $k$-spheres $X$, with $k < n$, the sets $\pi^\infty_{\leq n}(T)(X)$ are just $\Maps(X \to T)$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
577 |
Define $\pi^\infty_{\leq n}(T)(X; c)$ for an $n$-ball $X$ and $c \in \pi^\infty_{\leq n}(T)(\bdy X)$ to be the chain complex |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
578 |
$$C_*(\Maps_c(X\times F \to T)),$$ where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary, |
101 | 579 |
and $C_*$ denotes singular chains. |
211 | 580 |
\nn{maybe should also mention version where we enrich over spaces rather than chain complexes} |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
581 |
\end{example} |
101 | 582 |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
583 |
See also Theorem \ref{thm:map-recon} below, recovering $C_*(\Maps(M \to T))$ up to homotopy the blob complex of $M$ with coefficients in $\pi^\infty_{\le n}(T)$. |
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
584 |
|
279 | 585 |
\begin{example}[Blob complexes of balls (with a fiber)] |
586 |
\rm |
|
587 |
\label{ex:blob-complexes-of-balls} |
|
291 | 588 |
Fix an $n-k$-dimensional manifold $F$ and an $n$-dimensional system of fields $\cE$. |
589 |
We will define an $A_\infty$ $k$-category $\cC$. |
|
590 |
When $X$ is a $m$-ball or $m$-sphere, with $m<k$, define $\cC(X) = \cE(X\times F)$. |
|
591 |
When $X$ is an $k$-ball, |
|
279 | 592 |
define $\cC(X; c) = \bc^\cE_*(X\times F; c)$ |
593 |
where $\bc^\cE_*$ denotes the blob complex based on $\cE$. |
|
594 |
\end{example} |
|
101 | 595 |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
596 |
This example will be essential for Theorem \ref{product_thm} below, which allows us to compute the blob complex of a product. Notice that with $F$ a point, the above example is a construction turning a topological $n$-category into an $A_\infty$ $n$-category. We think of this as providing a `free resolution' of the topological $n$-category. \todo{Say more here!} In fact, there is also a trivial way to do this: we can think of each vector space associated to an $n$-ball as a chain complex concentrated in degree $0$, and take $\CD{B}$ to act trivially. |
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
597 |
|
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
598 |
Be careful that the `free resolution' of the topological $n$-category $\pi_{\leq n}(T)$ is not the $A_\infty$ $n$-category $\pi^\infty_{\leq n}(T)$. It's easy to see that with $n=0$, the corresponding system of fields is just linear combinations of connected components of $T$, and the local relations are trivial. There's no way for the blob complex to magically recover all the data of $\pi^\infty_{\leq 0}(T) \iso C_* T$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
599 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
600 |
\begin{example} |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
601 |
\nn{should add $\infty$ version of bordism $n$-cat} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
602 |
\end{example} |
95 | 603 |
|
108 | 604 |
|
605 |
||
606 |
||
607 |
||
608 |
||
609 |
\subsection{From $n$-categories to systems of fields} |
|
113 | 610 |
\label{ss:ncat_fields} |
197 | 611 |
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. |
204 | 612 |
In the case of plain $n$-categories, this is just the usual construction of a TQFT |
613 |
from an $n$-category. |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
614 |
For $A_\infty$ $n$-categories, this gives an alternate (and |
204 | 615 |
somewhat more canonical/tautological) construction of the blob complex. |
616 |
\nn{though from this point of view it seems more natural to just add some |
|
617 |
adjective to ``TQFT" rather than coining a completely new term like ``blob complex".} |
|
108 | 618 |
|
197 | 619 |
We will first define the `cell-decomposition' poset $\cJ(W)$ for any $k$-manifold $W$, for $1 \leq k \leq n$. |
620 |
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. |
|
621 |
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). |
|
108 | 622 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
623 |
\begin{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
624 |
Say that a `permissible decomposition' of $W$ is a cell decomposition |
108 | 625 |
\[ |
626 |
W = \bigcup_a X_a , |
|
627 |
\] |
|
142 | 628 |
where each closed top-dimensional cell $X_a$ is an embedded $k$-ball. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
629 |
|
108 | 630 |
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
631 |
of $y$, or write $x \le y$, if each $k$-ball of $y$ is a union of $k$-balls of $x$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
632 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
633 |
The category $\cJ(W)$ has objects the permissible decompositions of $W$, and a unique morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
634 |
See Figure \ref{partofJfig} for an example. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
635 |
\end{defn} |
119 | 636 |
|
637 |
\begin{figure}[!ht] |
|
638 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
639 |
\mathfig{.63}{ncat/zz2} |
119 | 640 |
\end{equation*} |
641 |
\caption{A small part of $\cJ(W)$} |
|
642 |
\label{partofJfig} |
|
643 |
\end{figure} |
|
644 |
||
108 | 645 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
646 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
647 |
An $n$-category $\cC$ determines |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
648 |
a functor $\psi_{\cC;W}$ from $\cJ(W)$ to the category of sets |
108 | 649 |
(possibly with additional structure if $k=n$). |
197 | 650 |
Each $k$-ball $X$ of a decomposition $y$ of $W$ has its boundary decomposed into $k{-}1$-balls, |
651 |
and, as described above, we have a subset $\cC(X)\spl \sub \cC(X)$ of morphisms whose boundaries |
|
652 |
are splittable along this decomposition. |
|
653 |
%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. |
|
108 | 654 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
655 |
\begin{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
656 |
Define the functor $\psi_{\cC;W} : \cJ(W) \to \Set$ as follows. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
657 |
For a decomposition $x = \bigcup_a X_a$ in $\cJ(W)$, $\psi_{\cC;W}(x)$ is the subset |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
658 |
\begin{equation} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
659 |
\label{eq:psi-C} |
197 | 660 |
\psi_{\cC;W}(x) \sub \prod_a \cC(X_a)\spl |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
661 |
\end{equation} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
662 |
where the restrictions to the various pieces of shared boundaries amongst the cells |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
663 |
$X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n-1$-cells). |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
664 |
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$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
665 |
\end{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
666 |
|
197 | 667 |
When the $n$-category $\cC$ is enriched in some monoidal category $(A,\boxtimes)$, and $W$ is a |
668 |
closed $n$-manifold, the functor $\psi_{\cC;W}$ has target $A$ and |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
669 |
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.) |
197 | 670 |
Similar things are true if $W$ is an $n$-manifold with non-empty boundary and we |
671 |
fix a field on $\bd W$ |
|
672 |
(i.e. fix an element of the colimit associated to $\bd W$). |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
673 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
674 |
Finally, we construct $\cC(W)$ as the appropriate colimit of $\psi_{\cC;W}$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
675 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
676 |
\begin{defn}[System of fields functor] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
677 |
If $\cC$ is an $n$-category enriched in sets or vector spaces, $\cC(W)$ is the usual colimit of the functor $\psi_{\cC;W}$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
678 |
That is, for each decomposition $x$ there is a map |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
679 |
$\psi_{\cC;W}(x)\to \cC(W)$, these maps are compatible with the refinement maps |
108 | 680 |
above, and $\cC(W)$ is universal with respect to these properties. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
681 |
\end{defn} |
112 | 682 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
683 |
\begin{defn}[System of fields functor, $A_\infty$ case] |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
684 |
When $\cC$ is an $A_\infty$ $n$-category, $\cC(W)$ for $W$ a $k$-manifold with $k < n$ is defined as above, as the colimit of $\psi_{\cC;W}$. When $W$ is an $n$-manifold, the chain complex $\cC(W)$ is the homotopy colimit of the functor $\psi_{\cC;W}$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
685 |
\end{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
686 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
687 |
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$. |
111 | 688 |
|
197 | 689 |
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$ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
690 |
\begin{equation*} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
691 |
\cC(W,c) = \left( \bigoplus_x \psi_{\cC;W,c}(x)\right) \big/ K |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
692 |
\end{equation*} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
693 |
where $K$ is the vector space spanned by elements $a - g(a)$, with |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
694 |
$a\in \psi_{\cC;W,c}(x)$ for some decomposition $x$, and $g: \psi_{\cC;W,c}(x) |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
695 |
\to \psi_{\cC;W,c}(y)$ is value of $\psi_{\cC;W,c}$ on some antirefinement $x \leq y$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
696 |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
697 |
In the $A_\infty$ case, enriched over chain complexes, the concrete description of the homotopy colimit |
197 | 698 |
is more involved. |
142 | 699 |
%\nn{should probably rewrite this to be compatible with some standard reference} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
700 |
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$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
701 |
Such sequences (for all $m$) form a simplicial set in $\cJ(W)$. |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
702 |
Define $V$ as a vector space via |
112 | 703 |
\[ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
704 |
V = \bigoplus_{(x_i)} \psi_{\cC;W}(x_0)[m] , |
112 | 705 |
\] |
198 | 706 |
where the sum is over all $m$-sequences $(x_i)$ and all $m$, and each summand is degree shifted by $m$. (Our homological conventions are non-standard: if a complex $U$ is concentrated in degree $0$, the complex $U[m]$ is concentrated in degree $m$.) |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
707 |
We endow $V$ with a differential which is the sum of the differential of the $\psi_{\cC;W}(x_0)$ |
112 | 708 |
summands plus another term using the differential of the simplicial set of $m$-sequences. |
709 |
More specifically, if $(a, \bar{x})$ denotes an element in the $\bar{x}$ |
|
710 |
summand of $V$ (with $\bar{x} = (x_0,\dots,x_k)$), define |
|
711 |
\[ |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
712 |
\bd (a, \bar{x}) = (\bd a, \bar{x}) + (-1)^{\deg{a}} (g(a), d_0(\bar{x})) + (-1)^{\deg{a}} \sum_{j=1}^k (-1)^{j} (a, d_j(\bar{x})) , |
112 | 713 |
\] |
714 |
where $d_j(\bar{x}) = (x_0,\dots,x_{j-1},x_{j+1},\dots,x_k)$ and $g: \psi_\cC(x_0)\to \psi_\cC(x_1)$ |
|
198 | 715 |
is the usual gluing map coming from the antirefinement $x_0 \le x_1$. |
112 | 716 |
\nn{need to say this better} |
717 |
\nn{maybe mention that there is a version that emphasizes minimal gluings (antirefinements) which |
|
718 |
combine only two balls at a time; for $n=1$ this version will lead to usual definition |
|
719 |
of $A_\infty$ category} |
|
108 | 720 |
|
113 | 721 |
We will call $m$ the filtration degree of the complex. |
722 |
We can think of this construction as starting with a disjoint copy of a complex for each |
|
723 |
permissible decomposition (filtration degree 0). |
|
724 |
Then we glue these together with mapping cylinders coming from gluing maps |
|
725 |
(filtration degree 1). |
|
267 | 726 |
Then we kill the extra homology we just introduced with mapping cylinders between the mapping cylinders (filtration degree 2), and so on. |
113 | 727 |
|
108 | 728 |
$\cC(W)$ is functorial with respect to homeomorphisms of $k$-manifolds. |
729 |
||
730 |
It is easy to see that |
|
731 |
there are well-defined maps $\cC(W)\to\cC(\bd W)$, and that these maps |
|
732 |
comprise a natural transformation of functors. |
|
733 |
||
734 |
\nn{need to finish explaining why we have a system of fields; |
|
735 |
need to say more about ``homological" fields? |
|
736 |
(actions of homeomorphisms); |
|
737 |
define $k$-cat $\cC(\cdot\times W)$} |
|
738 |
||
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
739 |
Recall that Axiom \ref{axiom:spheres} for an $n$-category provided functors $\cC$ from $k$-spheres to sets for $0 \leq k < n$. We claim now that these functors automatically agree with the colimits we have associated to spheres in this section. \todo{} \todo{In fact, we probably should do this for balls as well!} For the remainder of this section we will write $\underrightarrow{\cC}(W)$ for the colimit associated to an arbitary manifold $W$, to distinguish it, in the case that $W$ is a ball or a sphere, from $\cC(W)$, which is part of the definition of the $n$-category. After the next three lemmas, there will be no further need for this notational distinction. |
267 | 740 |
|
741 |
\begin{lem} |
|
742 |
For a $k$-ball or $k$-sphere $W$, with $0\leq k < n$, $$\underrightarrow{\cC}(W) = \cC(W).$$ |
|
743 |
\end{lem} |
|
744 |
||
745 |
\begin{lem} |
|
746 |
For a topological $n$-category $\cC$, and an $n$-ball $B$, $$\underrightarrow{\cC}(B) = \cC(B).$$ |
|
747 |
\end{lem} |
|
748 |
||
749 |
\begin{lem} |
|
750 |
For an $A_\infty$ $n$-category $\cC$, and an $n$-ball $B$, $$\underrightarrow{\cC}(B) \quism \cC(B).$$ |
|
751 |
\end{lem} |
|
108 | 752 |
|
753 |
||
754 |
\subsection{Modules} |
|
95 | 755 |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
756 |
Next we define plain and $A_\infty$ $n$-category modules. |
199 | 757 |
The definition will be very similar to that of $n$-categories, |
758 |
but with $k$-balls replaced by {\it marked $k$-balls,} defined below. |
|
109 | 759 |
\nn{** need to make sure all revisions of $n$-cat def are also made to module def.} |
198 | 760 |
%\nn{should they be called $n$-modules instead of just modules? probably not, but worth considering.} |
761 |
||
104 | 762 |
Our motivating example comes from an $(m{-}n{+}1)$-dimensional manifold $W$ with boundary |
102 | 763 |
in the context of an $m{+}1$-dimensional TQFT. |
764 |
Such a $W$ gives rise to a module for the $n$-category associated to $\bd W$. |
|
765 |
This will be explained in more detail as we present the axioms. |
|
766 |
||
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
767 |
\nn{should also develop $\pi_{\le n}(T, S)$ as a module for $\pi_{\le n}(T)$, where $S\sub T$.} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
768 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
769 |
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. |
102 | 770 |
|
771 |
Define a {\it marked $k$-ball} to be a pair $(B, N)$ homeomorphic to the pair |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
772 |
$$(\text{standard $k$-ball}, \text{northern hemisphere in boundary of standard $k$-ball}).$$ |
102 | 773 |
We call $B$ the ball and $N$ the marking. |
774 |
A homeomorphism between marked $k$-balls is a homeomorphism of balls which |
|
775 |
restricts to a homeomorphism of markings. |
|
776 |
||
199 | 777 |
\mmpar{Module axiom 1}{Module morphisms} |
102 | 778 |
{For each $0 \le k \le n$, we have a functor $\cM_k$ from |
779 |
the category of marked $k$-balls and |
|
780 |
homeomorphisms to the category of sets and bijections.} |
|
781 |
||
782 |
(As with $n$-categories, we will usually omit the subscript $k$.) |
|
783 |
||
104 | 784 |
For example, let $\cD$ be the $m{+}1$-dimensional TQFT which assigns to a $k$-manifold $N$ the set |
785 |
of maps from $N$ to $T$, modulo homotopy (and possibly linearized) if $k=m$. |
|
786 |
Let $W$ be an $(m{-}n{+}1)$-dimensional manifold with boundary. |
|
787 |
Let $\cC$ be the $n$-category with $\cC(X) \deq \cD(X\times \bd W)$. |
|
788 |
Let $\cM(B, N) \deq \cD((B\times \bd W)\cup (N\times W))$. |
|
789 |
(The union is along $N\times \bd W$.) |
|
110 | 790 |
(If $\cD$ were a general TQFT, we would define $\cM(B, N)$ to be |
791 |
the subset of $\cD((B\times \bd W)\cup (N\times W))$ which is splittable along $N\times \bd W$.) |
|
102 | 792 |
|
182 | 793 |
\begin{figure}[!ht] |
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
794 |
$$\mathfig{.8}{ncat/boundary-collar}$$ |
182 | 795 |
\caption{From manifold with boundary collar to marked ball}\label{blah15}\end{figure} |
796 |
||
103 | 797 |
Define the boundary of a marked $k$-ball $(B, N)$ to be the pair $(\bd B \setmin N, \bd N)$. |
798 |
Call such a thing a {marked $k{-}1$-hemisphere}. |
|
102 | 799 |
|
199 | 800 |
\mmpar{Module axiom 2}{Module boundaries (hemispheres)} |
102 | 801 |
{For each $0 \le k \le n-1$, we have a functor $\cM_k$ from |
104 | 802 |
the category of marked $k$-hemispheres and |
102 | 803 |
homeomorphisms to the category of sets and bijections.} |
804 |
||
104 | 805 |
In our example, let $\cM(H) \deq \cD(H\times\bd W \cup \bd H\times W)$. |
806 |
||
199 | 807 |
\mmpar{Module axiom 3}{Module boundaries (maps)} |
102 | 808 |
{For each marked $k$-ball $M$ we have a map of sets $\bd: \cM(M)\to \cM(\bd M)$. |
809 |
These maps, for various $M$, comprise a natural transformation of functors.} |
|
810 |
||
110 | 811 |
Given $c\in\cM(\bd M)$, let $\cM(M; c) \deq \bd^{-1}(c)$. |
102 | 812 |
|
813 |
If the $n$-category $\cC$ is enriched over some other category (e.g.\ vector spaces), |
|
814 |
then $\cM(M; c)$ should be an object in that category for each marked $n$-ball $M$ |
|
815 |
and $c\in \cC(\bd M)$. |
|
816 |
||
199 | 817 |
\mmpar{Module axiom 4}{Boundary from domain and range} |
102 | 818 |
{Let $H = M_1 \cup_E M_2$, where $H$ is a marked $k$-hemisphere ($0\le k\le n-1$), |
104 | 819 |
$M_i$ is a marked $k$-ball, and $E = M_1\cap M_2$ is a marked $k{-}1$-hemisphere. |
820 |
Let $\cM(M_1) \times_{\cM(E)} \cM(M_2)$ denote the fibered product of the |
|
821 |
two maps $\bd: \cM(M_i)\to \cM(E)$. |
|
102 | 822 |
Then (axiom) we have an injective map |
823 |
\[ |
|
199 | 824 |
\gl_E : \cM(M_1) \times_{\cM(E)} \cM(M_2) \hookrightarrow \cM(H) |
102 | 825 |
\] |
826 |
which is natural with respect to the actions of homeomorphisms.} |
|
827 |
||
110 | 828 |
Let $\cM(H)_E$ denote the image of $\gl_E$. |
829 |
We will refer to elements of $\cM(H)_E$ as ``splittable along $E$" or ``transverse to $E$". |
|
830 |
||
831 |
||
199 | 832 |
\mmpar{Module axiom 5}{Module to category restrictions} |
103 | 833 |
{For each marked $k$-hemisphere $H$ there is a restriction map |
834 |
$\cM(H)\to \cC(H)$. |
|
835 |
($\cC(H)$ means apply $\cC$ to the underlying $k$-ball of $H$.) |
|
836 |
These maps comprise a natural transformation of functors.} |
|
102 | 837 |
|
103 | 838 |
Note that combining the various boundary and restriction maps above |
110 | 839 |
(for both modules and $n$-categories) |
103 | 840 |
we have for each marked $k$-ball $(B, N)$ and each $k{-}1$-ball $Y\sub \bd B \setmin N$ |
841 |
a natural map from a subset of $\cM(B, N)$ to $\cC(Y)$. |
|
110 | 842 |
The subset is the subset of morphisms which are appropriately splittable (transverse to the |
843 |
cutting submanifolds). |
|
103 | 844 |
This fact will be used below. |
102 | 845 |
|
104 | 846 |
In our example, the various restriction and gluing maps above come from |
847 |
restricting and gluing maps into $T$. |
|
848 |
||
849 |
We require two sorts of composition (gluing) for modules, corresponding to two ways |
|
103 | 850 |
of splitting a marked $k$-ball into two (marked or plain) $k$-balls. |
119 | 851 |
(See Figure \ref{zzz3}.) |
103 | 852 |
|
119 | 853 |
\begin{figure}[!ht] |
854 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
855 |
\mathfig{.4}{ncat/zz3} |
119 | 856 |
\end{equation*} |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
857 |
\caption{Module composition (top); $n$-category action (bottom).} |
119 | 858 |
\label{zzz3} |
859 |
\end{figure} |
|
860 |
||
861 |
First, we can compose two module morphisms to get another module morphism. |
|
103 | 862 |
|
200 | 863 |
\mmpar{Module axiom 6}{Module composition} |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
864 |
{Let $M = M_1 \cup_Y M_2$, where $M$, $M_1$ and $M_2$ are marked $k$-balls (with $0\le k\le n$) |
103 | 865 |
and $Y = M_1\cap M_2$ is a marked $k{-}1$-ball. |
866 |
Let $E = \bd Y$, which is a marked $k{-}2$-hemisphere. |
|
867 |
Note that each of $M$, $M_1$ and $M_2$ has its boundary split into two marked $k{-}1$-balls by $E$. |
|
868 |
We have restriction (domain or range) maps $\cM(M_i)_E \to \cM(Y)$. |
|
869 |
Let $\cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E$ denote the fibered product of these two maps. |
|
870 |
Then (axiom) we have a map |
|
871 |
\[ |
|
872 |
\gl_Y : \cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E \to \cM(M)_E |
|
873 |
\] |
|
874 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
875 |
to the intersection of the boundaries of $M$ and $M_i$. |
|
876 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
877 |
(For $k=n$, see below.)} |
|
878 |
||
119 | 879 |
|
880 |
||
103 | 881 |
Second, we can compose an $n$-category morphism with a module morphism to get another |
882 |
module morphism. |
|
883 |
We'll call this the action map to distinguish it from the other kind of composition. |
|
884 |
||
200 | 885 |
\mmpar{Module axiom 7}{$n$-category action} |
103 | 886 |
{Let $M = X \cup_Y M'$, where $M$ and $M'$ are marked $k$-balls ($0\le k\le n$), |
887 |
$X$ is a plain $k$-ball, |
|
888 |
and $Y = X\cap M'$ is a $k{-}1$-ball. |
|
889 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
|
890 |
We have restriction maps $\cM(M')_E \to \cC(Y)$ and $\cC(X)_E\to \cC(Y)$. |
|
891 |
Let $\cC(X)_E \times_{\cC(Y)} \cM(M')_E$ denote the fibered product of these two maps. |
|
892 |
Then (axiom) we have a map |
|
893 |
\[ |
|
894 |
\gl_Y :\cC(X)_E \times_{\cC(Y)} \cM(M')_E \to \cM(M)_E |
|
895 |
\] |
|
896 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
897 |
to the intersection of the boundaries of $X$ and $M'$. |
|
898 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
899 |
(For $k=n$, see below.)} |
|
900 |
||
200 | 901 |
\mmpar{Module axiom 8}{Strict associativity} |
103 | 902 |
{The composition and action maps above are strictly associative.} |
903 |
||
110 | 904 |
Note that the above associativity axiom applies to mixtures of module composition, |
905 |
action maps and $n$-category composition. |
|
119 | 906 |
See Figure \ref{zzz1b}. |
907 |
||
908 |
\begin{figure}[!ht] |
|
909 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
910 |
\mathfig{0.49}{ncat/zz0} \mathfig{0.49}{ncat/zz1} |
119 | 911 |
\end{equation*} |
912 |
\caption{Two examples of mixed associativity} |
|
913 |
\label{zzz1b} |
|
914 |
\end{figure} |
|
915 |
||
110 | 916 |
|
917 |
The above three axioms are equivalent to the following axiom, |
|
103 | 918 |
which we state in slightly vague form. |
919 |
\nn{need figure for this} |
|
920 |
||
921 |
\xxpar{Module multi-composition:} |
|
922 |
{Given any decomposition |
|
923 |
\[ |
|
924 |
M = X_1 \cup\cdots\cup X_p \cup M_1\cup\cdots\cup M_q |
|
925 |
\] |
|
926 |
of a marked $k$-ball $M$ |
|
927 |
into small (marked and plain) $k$-balls $M_i$ and $X_j$, there is a |
|
928 |
map from an appropriate subset (like a fibered product) |
|
929 |
of |
|
930 |
\[ |
|
931 |
\cC(X_1)\times\cdots\times\cC(X_p) \times \cM(M_1)\times\cdots\times\cM(M_q) |
|
932 |
\] |
|
933 |
to $\cM(M)$, |
|
934 |
and these various multifold composition maps satisfy an |
|
935 |
operad-type strict associativity condition.} |
|
936 |
||
937 |
(The above operad-like structure is analogous to the swiss cheese operad |
|
146 | 938 |
\cite{MR1718089}.) |
200 | 939 |
%\nn{need to double-check that this is true.} |
103 | 940 |
|
200 | 941 |
\mmpar{Module axiom 9}{Product/identity morphisms} |
103 | 942 |
{Let $M$ be a marked $k$-ball and $D$ be a plain $m$-ball, with $k+m \le n$. |
943 |
Then we have a map $\cM(M)\to \cM(M\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cM(M)$. |
|
944 |
If $f:M\to M'$ and $\tilde{f}:M\times D \to M'\times D'$ are maps such that the diagram |
|
945 |
\[ \xymatrix{ |
|
946 |
M\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & M'\times D' \ar[d]^{\pi} \\ |
|
947 |
M \ar[r]^{f} & M' |
|
948 |
} \] |
|
949 |
commutes, then we have $\tilde{f}(a\times D) = f(a)\times D'$.} |
|
950 |
||
111 | 951 |
\nn{Need to add compatibility with various things, as in the n-cat version of this axiom above.} |
103 | 952 |
|
200 | 953 |
\nn{postpone finalizing the above axiom until the n-cat version is finalized} |
110 | 954 |
|
103 | 955 |
There are two alternatives for the next axiom, according whether we are defining |
956 |
modules for plain $n$-categories or $A_\infty$ $n$-categories. |
|
957 |
In the plain case we require |
|
958 |
||
200 | 959 |
\mmpar{Module axiom 10a}{Extended isotopy invariance in dimension $n$} |
103 | 960 |
{Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts |
175 | 961 |
to the identity on $\bd M$ and is extended isotopic (rel boundary) to the identity. |
103 | 962 |
Then $f$ acts trivially on $\cM(M)$.} |
963 |
||
964 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
965 |
||
966 |
We emphasize that the $\bd M$ above means boundary in the marked $k$-ball sense. |
|
967 |
In other words, if $M = (B, N)$ then we require only that isotopies are fixed |
|
968 |
on $\bd B \setmin N$. |
|
969 |
||
970 |
For $A_\infty$ modules we require |
|
971 |
||
200 | 972 |
\mmpar{Module axiom 10b}{Families of homeomorphisms act} |
103 | 973 |
{For each marked $n$-ball $M$ and each $c\in \cM(\bd M)$ we have a map of chain complexes |
974 |
\[ |
|
975 |
C_*(\Homeo_\bd(M))\ot \cM(M; c) \to \cM(M; c) . |
|
976 |
\] |
|
977 |
Here $C_*$ means singular chains and $\Homeo_\bd(M)$ is the space of homeomorphisms of $M$ |
|
978 |
which fix $\bd M$. |
|
979 |
These action maps are required to be associative up to homotopy |
|
980 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
236 | 981 |
a diagram like the one in Proposition \ref{CHprop} commutes. |
103 | 982 |
\nn{repeat diagram here?} |
983 |
\nn{restate this with $\Homeo(M\to M')$? what about boundary fixing property?}} |
|
984 |
||
985 |
\medskip |
|
102 | 986 |
|
104 | 987 |
Note that the above axioms imply that an $n$-category module has the structure |
988 |
of an $n{-}1$-category. |
|
989 |
More specifically, let $J$ be a marked 1-ball, and define $\cE(X)\deq \cM(X\times J)$, |
|
990 |
where $X$ is a $k$-ball or $k{-}1$-sphere and in the product $X\times J$ we pinch |
|
991 |
above the non-marked boundary component of $J$. |
|
200 | 992 |
(More specifically, we collapse $X\times P$ to a single point, where |
993 |
$P$ is the non-marked boundary component of $J$.) |
|
994 |
\nn{give figure for this?} |
|
104 | 995 |
Then $\cE$ has the structure of an $n{-}1$-category. |
102 | 996 |
|
105 | 997 |
All marked $k$-balls are homeomorphic, unless $k = 1$ and our manifolds |
998 |
are oriented or Spin (but not unoriented or $\text{Pin}_\pm$). |
|
999 |
In this case ($k=1$ and oriented or Spin), there are two types |
|
1000 |
of marked 1-balls, call them left-marked and right-marked, |
|
1001 |
and hence there are two types of modules, call them right modules and left modules. |
|
1002 |
In all other cases ($k>1$ or unoriented or $\text{Pin}_\pm$), |
|
1003 |
there is no left/right module distinction. |
|
1004 |
||
130 | 1005 |
\medskip |
1006 |
||
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1007 |
We now give some examples of modules over topological and $A_\infty$ $n$-categories. |
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1008 |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1009 |
\begin{example}[Examples from TQFTs] |
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1010 |
\todo{} |
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1011 |
\end{example} |
108 | 1012 |
|
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1013 |
\begin{example} |
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1014 |
Suppose $S$ is a topological space, with a subspace $T$. We can define a module $\pi_{\leq n}(S,T)$ so that on each marked $k$-ball $(B,N)$ for $k<n$ the set $\pi_{\leq n}(S,T)(B,N)$ consists of all continuous maps of pairs $(B,N) \to (S,T)$ and on each marked $n$-ball $(B,N)$ it consists of all such maps modulo homotopies fixed on $\bdy B \setminus N$. This is a module over the fundamental $n$-category $\pi_{\leq n}(S)$ of $S$, from Example \ref{ex:maps-to-a-space}. Modifications corresponding to Examples \ref{ex:maps-to-a-space-with-a-fiber} and \ref{ex:linearized-maps-to-a-space} are also possible, and there is an $A_\infty$ version analogous to Example \ref{ex:chains-of-maps-to-a-space} given by taking singular chains. |
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1015 |
\end{example} |
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1016 |
|
108 | 1017 |
\subsection{Modules as boundary labels} |
112 | 1018 |
\label{moddecss} |
108 | 1019 |
|
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1020 |
Fix a topological $n$-category or $A_\infty$ $n$-category $\cC$. Let $W$ be a $k$-manifold ($k\le n$), |
143 | 1021 |
let $\{Y_i\}$ be a collection of disjoint codimension 0 submanifolds of $\bd W$, |
1022 |
and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to $Y_i$. |
|
1023 |
||
1024 |
%Let $\cC$ be an [$A_\infty$] $n$-category, let $W$ be a $k$-manifold ($k\le n$), |
|
1025 |
%and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to each boundary |
|
1026 |
%component $\bd_i W$ of $W$. |
|
1027 |
%(More generally, each $\cN_i$ could label some codimension zero submanifold of $\bd W$.) |
|
108 | 1028 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1029 |
We will define a set $\cC(W, \cN)$ using a colimit construction similar to the one appearing in \S \ref{ss:ncat_fields} above. |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1030 |
(If $k = n$ and our $n$-categories are enriched, then |
108 | 1031 |
$\cC(W, \cN)$ will have additional structure; see below.) |
1032 |
||
1033 |
Define a permissible decomposition of $W$ to be a decomposition |
|
1034 |
\[ |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
1035 |
W = \left(\bigcup_a X_a\right) \cup \left(\bigcup_{i,b} M_{ib}\right) , |
108 | 1036 |
\] |
1037 |
where each $X_a$ is a plain $k$-ball (disjoint from $\bd W$) and |
|
1038 |
each $M_{ib}$ is a marked $k$-ball intersecting $\bd_i W$, |
|
143 | 1039 |
with $M_{ib}\cap Y_i$ being the marking. |
1040 |
(See Figure \ref{mblabel}.) |
|
1041 |
\begin{figure}[!ht]\begin{equation*} |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1042 |
\mathfig{.4}{ncat/mblabel} |
143 | 1043 |
\end{equation*}\caption{A permissible decomposition of a manifold |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1044 |
whose boundary components are labeled by $\cC$ modules $\{\cN_i\}$. Marked balls are shown shaded, plain balls are unshaded.}\label{mblabel}\end{figure} |
108 | 1045 |
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement |
1046 |
of $y$, or write $x \le y$, if each ball of $y$ is a union of balls of $x$. |
|
1047 |
This defines a partial ordering $\cJ(W)$, which we will think of as a category. |
|
1048 |
(The objects of $\cJ(D)$ are permissible decompositions of $W$, and there is a unique |
|
1049 |
morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$.) |
|
1050 |
||
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1051 |
The collection of modules $\cN$ determines |
108 | 1052 |
a functor $\psi_\cN$ from $\cJ(W)$ to the category of sets |
1053 |
(possibly with additional structure if $k=n$). |
|
1054 |
For a decomposition $x = (X_a, M_{ib})$ in $\cJ(W)$, define $\psi_\cN(x)$ to be the subset |
|
1055 |
\[ |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
1056 |
\psi_\cN(x) \sub \left(\prod_a \cC(X_a)\right) \times \left(\prod_{ib} \cN_i(M_{ib})\right) |
108 | 1057 |
\] |
1058 |
such that the restrictions to the various pieces of shared boundaries amongst the |
|
1059 |
$X_a$ and $M_{ib}$ all agree. |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1060 |
(That is, the fibered product over the boundary maps.) |
108 | 1061 |
If $x$ is a refinement of $y$, define a map $\psi_\cN(x)\to\psi_\cN(y)$ |
1062 |
via the gluing (composition or action) maps from $\cC$ and the $\cN_i$. |
|
1063 |
||
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1064 |
We now define the set $\cC(W, \cN)$ to be the colimit of the functor $\psi_\cN$. |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1065 |
(As usual, if $k=n$ and we are in the $A_\infty$ case, then ``colimit" means |
143 | 1066 |
homotopy colimit.) |
108 | 1067 |
|
143 | 1068 |
If $D$ is an $m$-ball, $0\le m \le n-k$, then we can similarly define |
1069 |
$\cC(D\times W, \cN)$, where in this case $\cN_i$ labels the submanifold |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1070 |
$D\times Y_i \sub \bd(D\times W)$. It is not hard to see that the assignment $D \mapsto \cC(D\times W, \cN)$ |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1071 |
has the structure of an $n{-}k$-category, which we call $\cT(W, \cN)(D)$. |
144 | 1072 |
|
1073 |
\medskip |
|
1074 |
||
1075 |
||
1076 |
We will use a simple special case of the above |
|
1077 |
construction to define tensor products |
|
1078 |
of modules. |
|
1079 |
Let $\cM_1$ and $\cM_2$ be modules for an $n$-category $\cC$. |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1080 |
(If $k=1$ and our manifolds are oriented, then one should be |
144 | 1081 |
a left module and the other a right module.) |
1082 |
Choose a 1-ball $J$, and label the two boundary points of $J$ by $\cM_1$ and $\cM_2$. |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1083 |
Define the tensor product $\cM_1 \tensor \cM_2$ to be the |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1084 |
$n{-}1$-category $\cT(J, \{\cM_1, \cM_2\})$. This of course depends (functorially) |
144 | 1085 |
on the choice of 1-ball $J$. |
105 | 1086 |
|
144 | 1087 |
We will define a more general self tensor product (categorified coend) below. |
1088 |
||
1089 |
%\nn{what about self tensor products /coends ?} |
|
105 | 1090 |
|
108 | 1091 |
\nn{maybe ``tensor product" is not the best name?} |
1092 |
||
144 | 1093 |
%\nn{start with (less general) tensor products; maybe change this later} |
106 | 1094 |
|
107 | 1095 |
|
1096 |
||
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1097 |
|
291 | 1098 |
\subsection{Morphisms of $A_\infty$ $1$-category modules} |
288 | 1099 |
\label{ss:module-morphisms} |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1100 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1101 |
In order to state and prove our version of the higher dimensional Deligne conjecture |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1102 |
(Section \ref{sec:deligne}), |
291 | 1103 |
we need to define morphisms of $A_\infty$ $1$-category modules and establish |
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1104 |
some of their elementary properties. |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1105 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1106 |
To motivate the definitions which follow, consider algebras $A$ and $B$, right modules $X_B$ and $Z_A$ and a bimodule $\leftidx{_B}{Y}{_A}$, and the familiar adjunction |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1107 |
\begin{eqnarray*} |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1108 |
\hom_A(X_B\ot {_BY_A} \to Z_A) &\cong& \hom_B(X_B \to \hom_A( {_BY_A} \to Z_A)) \\ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1109 |
f &\mapsto& [x \mapsto f(x\ot -)] \\ |
279 | 1110 |
{}[x\ot y \mapsto g(x)(y)] & \mapsfrom & g . |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1111 |
\end{eqnarray*} |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1112 |
If $A$ and $Z_A$ are both the ground field $\k$, this simplifies to |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1113 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1114 |
(X_B\ot {_BY})^* \cong \hom_B(X_B \to (_BY)^*) . |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1115 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1116 |
We will establish the analogous isomorphism for a topological $A_\infty$ 1-cat $\cC$ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1117 |
and modules $\cM_\cC$ and $_\cC\cN$, |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1118 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1119 |
(\cM_\cC\ot {_\cC\cN})^* \cong \hom_\cC(\cM_\cC \to (_\cC\cN)^*) . |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1120 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1121 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1122 |
In the next few paragraphs we define the objects appearing in the above equation: |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1123 |
$\cM_\cC\ot {_\cC\cN}$, $(\cM_\cC\ot {_\cC\cN})^*$, $(_\cC\cN)^*$ and finally |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1124 |
$\hom_\cC$. |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1125 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1126 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1127 |
\def\olD{{\overline D}} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1128 |
\def\cbar{{\bar c}} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1129 |
In the previous subsection we defined a tensor product of $A_\infty$ $n$-category modules |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1130 |
for general $n$. |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1131 |
For $n=1$ this definition is a homotopy colimit indexed by subdivisions of a fixed interval $J$ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1132 |
and their gluings (antirefinements). |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1133 |
(This tensor product depends functorially on the choice of $J$.) |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1134 |
To a subdivision $D$ |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1135 |
\[ |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1136 |
J = I_1\cup \cdots\cup I_p |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1137 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1138 |
we associate the chain complex |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1139 |
\[ |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1140 |
\psi(D) = \cM(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_{m-1})\ot\cN(I_m) . |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1141 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1142 |
To each antirefinement we associate a chain map using the composition law of $\cC$ and the |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1143 |
module actions of $\cC$ on $\cM$ and $\cN$. |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1144 |
The underlying graded vector space of the homotopy colimit is |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1145 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1146 |
\bigoplus_l \bigoplus_{\olD} \psi(D_0)[l] , |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1147 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1148 |
where $l$ runs through the natural numbers, $\olD = (D_0\to D_1\to\cdots\to D_l)$ |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1149 |
runs through chains of antirefinements of length $l+1$, and $[l]$ denotes a grading shift. |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1150 |
We will denote an element of the summand indexed by $\olD$ by |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1151 |
$\olD\ot m\ot\cbar\ot n$, where $m\ot\cbar\ot n \in \psi(D_0)$. |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1152 |
The boundary map is given by |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1153 |
\begin{align*} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1154 |
\bd(\olD\ot m\ot\cbar\ot n) &= (\bd_0 \olD)\ot \rho(m\ot\cbar\ot n) + (\bd_+ \olD)\ot m\ot\cbar\ot n \; + \\ |
291 | 1155 |
& \qquad + (-1)^l \olD\ot\bd m\ot\cbar\ot n + (-1)^{l+\deg m} \olD\ot m\ot\bd \cbar\ot n + \\ |
1156 |
& \qquad + (-1)^{l+\deg m + \deg \cbar} \olD\ot m\ot \cbar\ot \bd n |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1157 |
\end{align*} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1158 |
where $\bd_+ \olD = \sum_{i>0} (-1)^i (D_0\to \cdots \to \widehat{D_i} \to \cdots \to D_l)$ (those parts of the simplicial |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1159 |
boundary which retain $D_0$), $\bd_0 \olD = (D_1 \to \cdots \to D_l)$, |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1160 |
and $\rho$ is the gluing map associated to the antirefinement $D_0\to D_1$. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1161 |
|
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1162 |
$(\cM_\cC\ot {_\cC\cN})^*$ is just the dual chain complex to $\cM_\cC\ot {_\cC\cN}$: |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1163 |
\[ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1164 |
\prod_l \prod_{\olD} (\psi(D_0)[l])^* , |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1165 |
\] |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1166 |
where $(\psi(D_0)[l])^*$ denotes the linear dual. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1167 |
The boundary is given by |
291 | 1168 |
\begin{align} |
1169 |
\label{eq:tensor-product-boundary} |
|
1170 |
(-1)^{\deg f +1} (\bd f)(\olD\ot m\ot\cbar\ot n) & = f((\bd_0 \olD)\ot \rho(m\ot\cbar\ot n)) + f((\bd_+ \olD)\ot m\ot\cbar\ot n) + \\ |
|
1171 |
& \qquad + (-1)^{l} f(\olD\ot\bd m\ot\cbar \ot n) + (-1)^{l + \deg m} f(\olD\ot m\ot\bd \cbar \ot n) + \notag \\ |
|
1172 |
& \qquad + (-1)^{l + \deg m + \deg \cbar} f(\olD\ot m\ot\cbar\ot \bd n). \notag |
|
1173 |
\end{align} |
|
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1174 |
|
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1175 |
Next we define the dual module $(_\cC\cN)^*$. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1176 |
This will depend on a choice of interval $J$, just as the tensor product did. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1177 |
Recall that $_\cC\cN$ is, among other things, a functor from right-marked intervals |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1178 |
to chain complexes. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1179 |
Given $J$, we define for each $K\sub J$ which contains the {\it left} endpoint of $J$ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1180 |
\[ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1181 |
(_\cC\cN)^*(K) \deq ({_\cC\cN}(J\setmin K))^* , |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1182 |
\] |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1183 |
where $({_\cC\cN}(J\setmin K))^*$ denotes the (linear) dual of the chain complex associated |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1184 |
to the right-marked interval $J\setmin K$. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1185 |
This extends to a functor from all left-marked intervals (not just those contained in $J$). |
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1186 |
\nn{need to say more here; not obvious how homeomorphisms act} |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1187 |
It's easy to verify the remaining module axioms. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1188 |
|
260 | 1189 |
Now we reinterpret $(\cM_\cC\ot {_\cC\cN})^*$ |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1190 |
as some sort of morphism $\cM_\cC \to (_\cC\cN)^*$. |
260 | 1191 |
Let $f\in (\cM_\cC\ot {_\cC\cN})^*$. |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1192 |
Let $\olD = (D_0\cdots D_l)$ be a chain of subdivisions with $D_0 = [J = I_1\cup\cdots\cup I_m]$. |
291 | 1193 |
Recall that for any subdivision $J = I_1\cup\cdots\cup I_p$, $(_\cC\cN)^*(I_1\cup\cdots\cup I_{p-1}) = (_\cC\cN(I_p))^*$. |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1194 |
Then for each such $\olD$ we have a degree $l$ map |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1195 |
\begin{eqnarray*} |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1196 |
\cM(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_{p-1}) &\to& (_\cC\cN)^*(I_1\cup\cdots\cup I_{p-1}) \\ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1197 |
m\ot \cbar &\mapsto& [n\mapsto f(\olD\ot m\ot \cbar\ot n)] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1198 |
\end{eqnarray*} |
260 | 1199 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1200 |
We are almost ready to give the definition of morphisms between arbitrary modules |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1201 |
$\cX_\cC$ and $\cY_\cC$. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1202 |
Note that the rightmost interval $I_m$ does not appear above, except implicitly in $\olD$. |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1203 |
To fix this, we define subdivisions as antirefinements of left-marked intervals. |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1204 |
Subdivisions are just the obvious thing, but antirefinements are defined to mimic |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1205 |
the above antirefinements of the fixed interval $J$, but with the rightmost subinterval $I_m$ always |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1206 |
omitted. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1207 |
More specifically, $D\to D'$ is an antirefinement if $D'$ is obtained from $D$ by |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1208 |
gluing subintervals together and/or omitting some of the rightmost subintervals. |
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1209 |
(See Figure \ref{fig:lmar}.) |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1210 |
\begin{figure}[t]\begin{equation*} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1211 |
\mathfig{.6}{tempkw/left-marked-antirefinements} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1212 |
\end{equation*}\caption{Antirefinements of left-marked intervals}\label{fig:lmar}\end{figure} |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1213 |
|
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1214 |
Now we define the chain complex $\hom_\cC(\cX_\cC \to \cY_\cC)$. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1215 |
The underlying vector space is |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1216 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1217 |
\prod_l \prod_{\olD} \hom[l]\left( |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1218 |
\cX(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_{p-1}) \to |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1219 |
\cY(I_1\cup\cdots\cup I_{p-1}) \rule{0pt}{1.1em}\right) , |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1220 |
\] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1221 |
where, as usual $\olD = (D_0\cdots D_l)$ is a chain of antirefinements |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1222 |
(but now of left-marked intervals) and $D_0$ is the subdivision $I_1\cup\cdots\cup I_{p-1}$. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1223 |
$\hom[l](- \to -)$ means graded linear maps of degree $l$. |
260 | 1224 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1225 |
\nn{small issue (pun intended): |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1226 |
the above is a vector space only if the class of subdivisions is a set, e.g. only if |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1227 |
all of our left-marked intervals are contained in some universal interval (like $J$ above). |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1228 |
perhaps we should give another version of the definition in terms of natural transformations of functors.} |
260 | 1229 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1230 |
Abusing notation slightly, we will denote elements of the above space by $g$, with |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1231 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1232 |
\olD\ot x \ot \cbar \mapsto g(\olD\ot x \ot \cbar) \in \cY(I_1\cup\cdots\cup I_{p-1}) . |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1233 |
\] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1234 |
For fixed $D_0$ and $D_1$, let $\cbar = \cbar'\ot\cbar''$, where $\cbar'$ corresponds to the subintervals of $D_0$ which map to $D_1$ and $\cbar''$ corresponds to the subintervals |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1235 |
which are dropped off the right side. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1236 |
(Either $\cbar'$ or $\cbar''$ might be empty.) |
291 | 1237 |
\nn{surely $\cbar'$ can't be empy: we don't allow $D_1$ to be empty.} |
1238 |
Translating from the boundary map for $(\cM_\cC\ot {_\cC\cN})^*$ appearing in Equation \eqref{eq:tensor-product-boundary}, |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1239 |
we have |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1240 |
\begin{eqnarray*} |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1241 |
(\bd g)(\olD\ot x \ot \cbar) &=& \bd(g(\olD\ot x \ot \cbar)) + g(\olD\ot\bd(x\ot\cbar)) + \\ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1242 |
& & \;\; g((\bd_+\olD)\ot x\ot\cbar) + \gl(g((\bd_0\olD)\ot x\ot\cbar')\ot\cbar'') . |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1243 |
\end{eqnarray*} |
291 | 1244 |
\nn{put in signs, rearrange terms to match order in previous formulas} |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1245 |
Here $\gl$ denotes the module action in $\cY_\cC$. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1246 |
This completes the definition of $\hom_\cC(\cX_\cC \to \cY_\cC)$. |
260 | 1247 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1248 |
Note that if $\bd g = 0$, then each |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1249 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1250 |
g(\olD\ot -) : \cX(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_{p-1}) \to \cY(I_1\cup\cdots\cup I_{p-1}) |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1251 |
\] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1252 |
constitutes a null homotopy of |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1253 |
$g((\bd \olD)\ot -)$ (where the $g((\bd_0 \olD)\ot -)$ part of $g((\bd \olD)\ot -)$ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1254 |
should be interpreted as above). |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1255 |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1256 |
Define a {\it naive morphism} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1257 |
\nn{should consider other names for this} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1258 |
of modules to be a collection of {\it chain} maps |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1259 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1260 |
h_K : \cX(K)\to \cY(K) |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1261 |
\] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1262 |
for each left-marked interval $K$. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1263 |
These are required to commute with gluing; |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1264 |
for each subdivision $K = I_1\cup\cdots\cup I_q$ the following diagram commutes: |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1265 |
\[ \xymatrix{ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1266 |
\cX(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_q) \ar[r]^{h_{I_0}\ot \id} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1267 |
\ar[d]_{\gl} & \cY(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_q) |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1268 |
\ar[d]^{\gl} \\ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1269 |
\cX(K) \ar[r]^{h_{K}} & \cY(K) |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1270 |
} \] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1271 |
Given such an $h$ we can construct a non-naive morphism $g$, with $\bd g = 0$, as follows. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1272 |
Define $g(\olD\ot - ) = 0$ if the length/degree of $\olD$ is greater than 0. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1273 |
If $\olD$ consists of the single subdivision $K = I_0\cup\cdots\cup I_q$ then define |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1274 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1275 |
g(\olD\ot x\ot \cbar) \deq h_K(\gl(x\ot\cbar)) . |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1276 |
\] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1277 |
Trivially, we have $(\bd g)(\olD\ot x \ot \cbar) = 0$ if $\deg(\olD) > 1$. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1278 |
If $\deg(\olD) = 1$, $(\bd g) = 0$ is equivalent to the fact that $h$ commutes with gluing. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1279 |
If $\deg(\olD) = 0$, $(\bd g) = 0$ is equivalent to the fact |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1280 |
that each $h_K$ is a chain map. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1281 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1282 |
\medskip |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1283 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1284 |
Given $_\cC\cZ$ and $g: \cX_\cC \to \cY_\cC$ with $\bd g = 0$ as above, we next define a chain map |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1285 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1286 |
g\ot\id : \cX_\cC \ot {}_\cC\cZ \to \cY_\cC \ot {}_\cC\cZ . |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1287 |
\] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1288 |
\nn{this is fairly straightforward, but the details are messy enough that I'm inclined |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1289 |
to postpone writing it up, in the hopes that I'll think of a better way to organize things.} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1290 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1291 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1292 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1293 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1294 |
\medskip |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1295 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1296 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1297 |
\nn{do we need to say anything about composing morphisms of modules?} |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1298 |
|
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1299 |
\nn{should we define functors between $n$-cats in a similar way?} |
260 | 1300 |
|
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1301 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1302 |
\nn{...} |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1303 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1304 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1305 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1306 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1307 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1308 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1309 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1310 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1311 |
|
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
1312 |
\subsection{The $n{+}1$-category of sphere modules} |
218 | 1313 |
\label{ssec:spherecat} |
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
1314 |
|
205 | 1315 |
In this subsection we define an $n{+}1$-category $\cS$ of ``sphere modules" |
1316 |
whose objects correspond to $n$-categories. |
|
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1317 |
When $n=2$ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1318 |
this is a version of the familiar algebras-bimodules-intertwiners 2-category. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1319 |
(Terminology: It is clearly appropriate to call an $S^0$ module a bimodule, |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1320 |
but this is much less true for higher dimensional spheres, |
155 | 1321 |
so we prefer the term ``sphere module" for the general case.) |
144 | 1322 |
|
205 | 1323 |
The $0$- through $n$-dimensional parts of $\cC$ are various sorts of modules, and we describe |
1324 |
these first. |
|
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1325 |
The $n{+}1$-dimensional part of $\cS$ consists of intertwiners |
205 | 1326 |
(of garden-variety $1$-category modules associated to decorated $n$-balls). |
1327 |
We will see below that in order for these $n{+}1$-morphisms to satisfy all of |
|
1328 |
the duality requirements of an $n{+}1$-category, we will have to assume |
|
1329 |
that our $n$-categories and modules have non-degenerate inner products. |
|
1330 |
(In other words, we need to assume some extra duality on the $n$-categories and modules.) |
|
1331 |
||
1332 |
\medskip |
|
1333 |
||
1334 |
Our first task is to define an $n$-category $m$-sphere module, for $0\le m \le n-1$. |
|
1335 |
These will be defined in terms of certain classes of marked balls, very similarly |
|
1336 |
to the definition of $n$-category modules above. |
|
1337 |
(This, in turn, is very similar to our definition of $n$-category.) |
|
1338 |
Because of this similarity, we only sketch the definitions below. |
|
1339 |
||
1340 |
We start with 0-sphere modules, which also could reasonably be called (categorified) bimodules. |
|
1341 |
(For $n=1$ they are precisely bimodules in the usual, uncategorified sense.) |
|
1342 |
Define a 0-marked $k$-ball $(X, M)$, $1\le k \le n$, to be a pair homeomorphic to the standard |
|
1343 |
$(B^k, B^{k-1})$, where $B^{k-1}$ is properly embedded in $B^k$. |
|
209 | 1344 |
See Figure \ref{feb21a}. |
205 | 1345 |
Another way to say this is that $(X, M)$ is homeomorphic to $B^{k-1}\times([-1,1], \{0\})$. |
1346 |
||
209 | 1347 |
\begin{figure}[!ht] |
1348 |
\begin{equation*} |
|
1349 |
\mathfig{.85}{tempkw/feb21a} |
|
1350 |
\end{equation*} |
|
1351 |
\caption{0-marked 1-ball and 0-marked 2-ball} |
|
1352 |
\label{feb21a} |
|
1353 |
\end{figure} |
|
1354 |
||
205 | 1355 |
0-marked balls can be cut into smaller balls in various ways. |
1356 |
These smaller balls could be 0-marked or plain. |
|
1357 |
We can also take the boundary of a 0-marked ball, which is 0-marked sphere. |
|
1358 |
||
1359 |
Fix $n$-categories $\cA$ and $\cB$. |
|
1360 |
These will label the two halves of a 0-marked $k$-ball. |
|
1361 |
The 0-sphere module we define next will depend on $\cA$ and $\cB$ |
|
1362 |
(it's an $\cA$-$\cB$ bimodule), but we will suppress that from the notation. |
|
1363 |
||
1364 |
An $n$-category 0-sphere module $\cM$ is a collection of functors $\cM_k$ from the category |
|
1365 |
of 0-marked $k$-balls, $1\le k \le n$, |
|
1366 |
(with the two halves labeled by $\cA$ and $\cB$) to the category of sets. |
|
1367 |
If $k=n$ these sets should be enriched to the extent $\cA$ and $\cB$ are. |
|
1368 |
Given a decomposition of a 0-marked $k$-ball $X$ into smaller balls $X_i$, we have |
|
1369 |
morphism sets $\cA_k(X_i)$ (if $X_i$ lies on the $\cA$-labeled side) |
|
1370 |
or $\cB_k(X_i)$ (if $X_i$ lies on the $\cB$-labeled side) |
|
1371 |
or $\cM_k(X_i)$ (if $X_i$ intersects the marking and is therefore a smaller 0-marked ball). |
|
1372 |
Corresponding to this decomposition we have an action and/or composition map |
|
1373 |
from the product of these various sets into $\cM(X)$. |
|
1374 |
||
1375 |
\medskip |
|
107 | 1376 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1377 |
Part of the structure of an $n$-category 0-sphere module is captured by saying it is |
206 | 1378 |
a collection $\cD^{ab}$ of $n{-}1$-categories, indexed by pairs $(a, b)$ of objects (0-morphisms) |
1379 |
of $\cA$ and $\cB$. |
|
1380 |
Let $J$ be some standard 0-marked 1-ball (i.e.\ an interval with a marked point in its interior). |
|
1381 |
Given a $j$-ball $X$, $0\le j\le n-1$, we define |
|
1382 |
\[ |
|
1383 |
\cD(X) \deq \cM(X\times J) . |
|
1384 |
\] |
|
1385 |
The product is pinched over the boundary of $J$. |
|
1386 |
$\cD$ breaks into ``blocks" according to the restrictions to the pinched points of $X\times J$ |
|
209 | 1387 |
(see Figure \ref{feb21b}). |
206 | 1388 |
These restrictions are 0-morphisms $(a, b)$ of $\cA$ and $\cB$. |
107 | 1389 |
|
209 | 1390 |
\begin{figure}[!ht] |
1391 |
\begin{equation*} |
|
1392 |
\mathfig{1}{tempkw/feb21b} |
|
1393 |
\end{equation*} |
|
1394 |
\caption{The pinched product $X\times J$} |
|
1395 |
\label{feb21b} |
|
1396 |
\end{figure} |
|
1397 |
||
206 | 1398 |
More generally, consider an interval with interior marked points, and with the complements |
1399 |
of these points labeled by $n$-categories $\cA_i$ ($0\le i\le l$) and the marked points labeled |
|
1400 |
by $\cA_i$-$\cA_{i+1}$ bimodules $\cM_i$. |
|
209 | 1401 |
(See Figure \ref{feb21c}.) |
206 | 1402 |
To this data we can apply to coend construction as in Subsection \ref{moddecss} above |
1403 |
to obtain an $\cA_0$-$\cA_l$ bimodule and, forgetfully, an $n{-}1$-category. |
|
1404 |
This amounts to a definition of taking tensor products of bimodules over $n$-categories. |
|
205 | 1405 |
|
209 | 1406 |
\begin{figure}[!ht] |
1407 |
\begin{equation*} |
|
1408 |
\mathfig{1}{tempkw/feb21c} |
|
1409 |
\end{equation*} |
|
1410 |
\caption{Marked and labeled 1-manifolds} |
|
1411 |
\label{feb21c} |
|
1412 |
\end{figure} |
|
1413 |
||
206 | 1414 |
We could also similarly mark and label a circle, obtaining an $n{-}1$-category |
1415 |
associated to the marked and labeled circle. |
|
209 | 1416 |
(See Figure \ref{feb21c}.) |
206 | 1417 |
If the circle is divided into two intervals, we can think of this $n{-}1$-category |
1418 |
as the 2-ended tensor product of the two bimodules associated to the two intervals. |
|
1419 |
||
1420 |
\medskip |
|
1421 |
||
1422 |
Next we define $n$-category 1-sphere modules. |
|
1423 |
These are just representations of (modules for) $n{-}1$-categories associated to marked and labeled |
|
1424 |
circles (1-spheres) which we just introduced. |
|
1425 |
||
1426 |
Equivalently, we can define 1-sphere modules in terms of 1-marked $k$-balls, $2\le k\le n$. |
|
1427 |
Fix a marked (and labeled) circle $S$. |
|
209 | 1428 |
Let $C(S)$ denote the cone of $S$, a marked 2-ball (Figure \ref{feb21d}). |
207 | 1429 |
\nn{I need to make up my mind whether marked things are always labeled too. |
1430 |
For the time being, let's say they are.} |
|
1431 |
A 1-marked $k$-ball is anything homeomorphic to $B^j \times C(S)$, $0\le j\le n-2$, |
|
1432 |
where $B^j$ is the standard $j$-ball. |
|
1433 |
1-marked $k$-balls can be decomposed in various ways into smaller balls, which are either |
|
1434 |
smaller 1-marked $k$-balls or the product of an unmarked ball with a marked interval. |
|
1435 |
We now proceed as in the above module definitions. |
|
1436 |
||
209 | 1437 |
\begin{figure}[!ht] |
1438 |
\begin{equation*} |
|
1439 |
\mathfig{.4}{tempkw/feb21d} |
|
1440 |
\end{equation*} |
|
1441 |
\caption{Cone on a marked circle} |
|
1442 |
\label{feb21d} |
|
1443 |
\end{figure} |
|
1444 |
||
207 | 1445 |
A $n$-category 1-sphere module is, among other things, an $n{-}2$-category $\cD$ with |
1446 |
\[ |
|
1447 |
\cD(X) \deq \cM(X\times C(S)) . |
|
1448 |
\] |
|
1449 |
The product is pinched over the boundary of $C(S)$. |
|
1450 |
$\cD$ breaks into ``blocks" according to the restriction to the |
|
1451 |
image of $\bd C(S) = S$ in $X\times C(S)$. |
|
1452 |
||
1453 |
More generally, consider a 2-manifold $Y$ |
|
1454 |
(e.g.\ 2-ball or 2-sphere) marked by an embedded 1-complex $K$. |
|
1455 |
The components of $Y\setminus K$ are labeled by $n$-categories, |
|
1456 |
the edges of $K$ are labeled by 0-sphere modules, |
|
1457 |
and the 0-cells of $K$ are labeled by 1-sphere modules. |
|
1458 |
We can now apply the coend construction and obtain an $n{-}2$-category. |
|
1459 |
If $Y$ has boundary then this $n{-}2$-category is a module for the $n{-}1$-manifold |
|
1460 |
associated to the (marked, labeled) boundary of $Y$. |
|
1461 |
In particular, if $\bd Y$ is a 1-sphere then we get a 1-sphere module as defined above. |
|
1462 |
||
1463 |
\medskip |
|
1464 |
||
1465 |
It should now be clear how to define $n$-category $m$-sphere modules for $0\le m \le n-1$. |
|
1466 |
For example, there is an $n{-}2$-category associated to a marked, labeled 2-sphere, |
|
208 | 1467 |
and a 2-sphere module is a representation of such an $n{-}2$-category. |
207 | 1468 |
|
1469 |
\medskip |
|
1470 |
||
1471 |
We can now define the $n$- or less dimensional part of our $n{+}1$-category $\cS$. |
|
1472 |
Choose some collection of $n$-categories, then choose some collections of bimodules for |
|
1473 |
these $n$-categories, then choose some collection of 1-sphere modules for the various |
|
1474 |
possible marked 1-spheres labeled by the $n$-categories and bimodules, and so on. |
|
1475 |
Let $L_i$ denote the collection of $i{-}1$-sphere modules we have chosen. |
|
1476 |
(For convenience, we declare a $(-1)$-sphere module to be an $n$-category.) |
|
1477 |
There is a wide range of possibilities. |
|
1478 |
$L_0$ could contain infinitely many $n$-categories or just one. |
|
1479 |
For each pair of $n$-categories in $L_0$, $L_1$ could contain no bimodules at all or |
|
1480 |
it could contain several. |
|
208 | 1481 |
The only requirement is that each $k$-sphere module be a module for a $k$-sphere $n{-}k$-category |
1482 |
constructed out of labels taken from $L_j$ for $j<k$. |
|
1483 |
||
1484 |
We now define $\cS(X)$, for $X$ of dimension at most $n$, to be the set of all |
|
1485 |
cell-complexes $K$ embedded in $X$, with the codimension-$j$ parts of $(X, K)$ labeled |
|
1486 |
by elements of $L_j$. |
|
1487 |
As described above, we can think of each decorated $k$-ball as defining a $k{-}1$-sphere module |
|
1488 |
for the $n{-}k{+}1$-category associated to its decorated boundary. |
|
1489 |
Thus the $k$-morphisms of $\cS$ (for $k\le n$) can be thought |
|
1490 |
of as $n$-category $k{-}1$-sphere modules |
|
1491 |
(generalizations of bimodules). |
|
1492 |
On the other hand, we can equally think of the $k$-morphisms as decorations on $k$-balls, |
|
1493 |
and from this (official) point of view it is clear that they satisfy all of the axioms of an |
|
1494 |
$n{+}1$-category. |
|
1495 |
(All of the axioms for the less-than-$n{+}1$-dimensional part of an $n{+}1$-category, that is.) |
|
1496 |
||
1497 |
\medskip |
|
1498 |
||
1499 |
Next we define the $n{+}1$-morphisms of $\cS$. |
|
1500 |
||
1501 |
||
1502 |
||
1503 |
||
1504 |
||
1505 |
||
207 | 1506 |
|
1507 |
\nn{...} |
|
101 | 1508 |
|
1509 |
\medskip |
|
1510 |
\hrule |
|
1511 |
\medskip |
|
1512 |
||
95 | 1513 |
\nn{to be continued...} |
101 | 1514 |
\medskip |
98 | 1515 |
|
1516 |
||
208 | 1517 |
|
1518 |
||
1519 |
||
1520 |
||
98 | 1521 |
Stuff that remains to be done (either below or in an appendix or in a separate section or in |
1522 |
a separate paper): |
|
1523 |
\begin{itemize} |
|
1524 |
\item spell out what difference (if any) Top vs PL vs Smooth makes |
|
207 | 1525 |
\item discuss Morita equivalence |
130 | 1526 |
\item morphisms of modules; show that it's adjoint to tensor product |
139 | 1527 |
(need to define dual module for this) |
1528 |
\item functors |
|
98 | 1529 |
\end{itemize} |
1530 |
||
204 | 1531 |
\bigskip |
1532 |
||
1533 |
\hrule |
|
134 | 1534 |
\nn{Some salvaged paragraphs that we might want to work back in:} |
204 | 1535 |
\bigskip |
98 | 1536 |
|
134 | 1537 |
Appendix \ref{sec:comparing-A-infty} explains the translation between this definition of an $A_\infty$ $1$-category and the usual one expressed in terms of `associativity up to higher homotopy', as in \cite{MR1854636}. (In this version of the paper, that appendix is incomplete, however.) |
1538 |
||
1539 |
The motivating example is `chains of maps to $M$' for some fixed target space $M$. This is a topological $A_\infty$ category $\Xi_M$ with $\Xi_M(J) = C_*(\Maps(J \to M))$. The gluing maps $\Xi_M(J) \tensor \Xi_M(J') \to \Xi_M(J \cup J')$ takes the product of singular chains, then glues maps to $M$ together; the associativity condition is automatically satisfied. The evaluation map $\ev_{J,J'} : \CD{J \to J'} \tensor \Xi_M(J) \to \Xi_M(J')$ is the composition |
|
1540 |
\begin{align*} |
|
1541 |
\CD{J \to J'} \tensor C_*(\Maps(J \to M)) & \to C_*(\Diff(J \to J') \times \Maps(J \to M)) \\ & \to C_*(\Maps(J' \to M)), |
|
1542 |
\end{align*} |
|
1543 |
where the first map is the product of singular chains, and the second is precomposition by the inverse of a diffeomorphism. |
|
1544 |
||
1545 |
\hrule |