author | scott@6e1638ff-ae45-0410-89bd-df963105f760 |
Fri, 30 Oct 2009 04:05:33 +0000 | |
changeset 147 | db91d0a8ed75 |
parent 146 | 08bbcf3ec4d2 |
child 155 | 6224f29393c1 |
permissions | -rw-r--r-- |
94 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\def\xxpar#1#2{\smallskip\noindent{\bf #1} {\it #2} \smallskip} |
|
4 |
||
141 | 5 |
\section{$n$-categories} |
94 | 6 |
\label{sec:ncats} |
7 |
||
141 | 8 |
%In order to make further progress establishing properties of the blob complex, |
9 |
%we need a definition of $A_\infty$ $n$-category that is adapted to our needs. |
|
10 |
%(Even in the case $n=1$, we need the new definition given below.) |
|
11 |
%It turns out that the $A_\infty$ $n$-category definition and the plain $n$-category |
|
12 |
%definition are mostly the same, so we give a new definition of plain |
|
13 |
%$n$-categories too. |
|
14 |
%We also define modules and tensor products for both plain and $A_\infty$ $n$-categories. |
|
94 | 15 |
|
139 | 16 |
|
108 | 17 |
\subsection{Definition of $n$-categories} |
18 |
||
94 | 19 |
Before proceeding, we need more appropriate definitions of $n$-categories, |
20 |
$A_\infty$ $n$-categories, modules for these, and tensor products of these modules. |
|
21 |
(As is the case throughout this paper, by ``$n$-category" we mean |
|
22 |
a weak $n$-category with strong duality.) |
|
23 |
||
141 | 24 |
The definitions presented below tie the categories more closely to the topology |
25 |
and avoid combinatorial questions about, for example, the minimal sufficient |
|
26 |
collections of generalized associativity axioms; we prefer maximal sets of axioms to minimal sets. |
|
27 |
For examples of topological origin, it is typically easy to show that they |
|
28 |
satisfy our axioms. |
|
29 |
For examples of a more purely algebraic origin, one would typically need the combinatorial |
|
30 |
results that we have avoided here. |
|
31 |
||
32 |
\medskip |
|
33 |
||
94 | 34 |
Consider first ordinary $n$-categories. |
35 |
We need a set (or sets) of $k$-morphisms for each $0\le k \le n$. |
|
36 |
We must decide on the ``shape" of the $k$-morphisms. |
|
37 |
Some $n$-category definitions model $k$-morphisms on the standard bihedron (interval, bigon, ...). |
|
38 |
Other definitions have a separate set of 1-morphisms for each interval $[0,l] \sub \r$, |
|
39 |
a separate set of 2-morphisms for each rectangle $[0,l_1]\times [0,l_2] \sub \r^2$, |
|
40 |
and so on. |
|
41 |
(This allows for strict associativity.) |
|
145 | 42 |
Still other definitions \nn{need refs for all these; maybe the Leinster book \cite{MR2094071}} |
94 | 43 |
model the $k$-morphisms on more complicated combinatorial polyhedra. |
44 |
||
108 | 45 |
We will allow our $k$-morphisms to have any shape, so long as it is homeomorphic to |
46 |
the standard $k$-ball. |
|
94 | 47 |
In other words, |
48 |
||
102 | 49 |
\xxpar{Morphisms (preliminary version):} |
50 |
{For any $k$-manifold $X$ homeomorphic |
|
103 | 51 |
to the standard $k$-ball, we have a set of $k$-morphisms |
109 | 52 |
$\cC_k(X)$.} |
94 | 53 |
|
103 | 54 |
Terminology: By ``a $k$-ball" we mean any $k$-manifold which is homeomorphic to the |
55 |
standard $k$-ball. |
|
56 |
We {\it do not} assume that it is equipped with a |
|
57 |
preferred homeomorphism to the standard $k$-ball. |
|
58 |
The same goes for ``a $k$-sphere" below. |
|
59 |
||
109 | 60 |
|
61 |
Given a homeomorphism $f:X\to Y$ between $k$-balls (not necessarily fixed on |
|
62 |
the boundary), we want a corresponding |
|
94 | 63 |
bijection of sets $f:\cC(X)\to \cC(Y)$. |
109 | 64 |
(This will imply ``strong duality", among other things.) |
94 | 65 |
So we replace the above with |
66 |
||
102 | 67 |
\xxpar{Morphisms:} |
141 | 68 |
%\xxpar{Axiom 1 -- Morphisms:} |
102 | 69 |
{For each $0 \le k \le n$, we have a functor $\cC_k$ from |
103 | 70 |
the category of $k$-balls and |
94 | 71 |
homeomorphisms to the category of sets and bijections.} |
72 |
||
73 |
(Note: We usually omit the subscript $k$.) |
|
74 |
||
75 |
We are being deliberately vague about what flavor of manifolds we are considering. |
|
76 |
They could be unoriented or oriented or Spin or $\mbox{Pin}_\pm$. |
|
77 |
They could be topological or PL or smooth. |
|
109 | 78 |
\nn{need to check whether this makes much difference --- see pseudo-isotopy below} |
94 | 79 |
(If smooth, ``homeomorphism" should be read ``diffeomorphism", and we would need |
80 |
to be fussier about corners.) |
|
81 |
For each flavor of manifold there is a corresponding flavor of $n$-category. |
|
82 |
We will concentrate of the case of PL unoriented manifolds. |
|
83 |
||
84 |
Next we consider domains and ranges of morphisms (or, as we prefer to say, boundaries |
|
85 |
of morphisms). |
|
86 |
The 0-sphere is unusual among spheres in that it is disconnected. |
|
87 |
Correspondingly, for 1-morphisms it makes sense to distinguish between domain and range. |
|
109 | 88 |
(Actually, this is only true in the oriented case, with 1-morphsims parameterized |
89 |
by oriented 1-balls.) |
|
94 | 90 |
For $k>1$ and in the presence of strong duality the domain/range division makes less sense. |
91 |
\nn{maybe say more here; rotate disk, Frobenius reciprocity blah blah} |
|
92 |
We prefer to combine the domain and range into a single entity which we call the |
|
93 |
boundary of a morphism. |
|
94 |
Morphisms are modeled on balls, so their boundaries are modeled on spheres: |
|
95 |
||
96 |
\xxpar{Boundaries (domain and range), part 1:} |
|
97 |
{For each $0 \le k \le n-1$, we have a functor $\cC_k$ from |
|
103 | 98 |
the category of $k$-spheres and |
94 | 99 |
homeomorphisms to the category of sets and bijections.} |
100 |
||
101 |
(In order to conserve symbols, we use the same symbol $\cC_k$ for both morphisms and boundaries.) |
|
102 |
||
103 |
\xxpar{Boundaries, part 2:} |
|
103 | 104 |
{For each $k$-ball $X$, we have a map of sets $\bd: \cC(X)\to \cC(\bd X)$. |
94 | 105 |
These maps, for various $X$, comprise a natural transformation of functors.} |
106 |
||
107 |
(Note that the first ``$\bd$" above is part of the data for the category, |
|
108 |
while the second is the ordinary boundary of manifolds.) |
|
109 |
||
109 | 110 |
Given $c\in\cC(\bd(X))$, let $\cC(X; c) \deq \bd^{-1}(c)$. |
94 | 111 |
|
112 |
Most of the examples of $n$-categories we are interested in are enriched in the following sense. |
|
103 | 113 |
The various sets of $n$-morphisms $\cC(X; c)$, for all $n$-balls $X$ and |
94 | 114 |
all $c\in \cC(\bd X)$, have the structure of an object in some auxiliary category |
115 |
(e.g.\ vector spaces, or modules over some ring, or chain complexes), |
|
116 |
and all the structure maps of the $n$-category should be compatible with the auxiliary |
|
117 |
category structure. |
|
118 |
Note that this auxiliary structure is only in dimension $n$; |
|
119 |
$\cC(Y; c)$ is just a plain set if $\dim(Y) < n$. |
|
120 |
||
121 |
\medskip |
|
109 | 122 |
\nn{ |
123 |
%At the moment I'm a little confused about orientations, and more specifically |
|
124 |
%about the role of orientation-reversing maps of boundaries when gluing oriented manifolds. |
|
125 |
Maybe need a discussion about what the boundary of a manifold with a |
|
126 |
structure (e.g. orientation) means. |
|
94 | 127 |
Tentatively, I think we need to redefine the oriented boundary of an oriented $n$-manifold. |
128 |
Instead of an ordinary oriented $(n-1)$-manifold via the inward (or outward) normal |
|
129 |
first (or last) convention, perhaps it is better to define the boundary to be an $(n-1)$-manifold |
|
130 |
equipped with an orientation of its once-stabilized tangent bundle. |
|
131 |
Similarly, in dimension $n-k$ we would have manifolds equipped with an orientation of |
|
132 |
their $k$ times stabilized tangent bundles. |
|
141 | 133 |
(cf. [Stolz and Teichner].) |
115 | 134 |
Probably should also have a framing of the stabilized dimensions in order to indicate which |
135 |
side the bounded manifold is on. |
|
94 | 136 |
For the moment just stick with unoriented manifolds.} |
137 |
\medskip |
|
138 |
||
139 |
We have just argued that the boundary of a morphism has no preferred splitting into |
|
140 |
domain and range, but the converse meets with our approval. |
|
141 |
That is, given compatible domain and range, we should be able to combine them into |
|
142 |
the full boundary of a morphism: |
|
143 |
||
144 |
\xxpar{Domain $+$ range $\to$ boundary:} |
|
103 | 145 |
{Let $S = B_1 \cup_E B_2$, where $S$ is a $k$-sphere ($0\le k\le n-1$), |
146 |
$B_i$ is a $k$-ball, and $E = B_1\cap B_2$ is a $k{-}1$-sphere. |
|
94 | 147 |
Let $\cC(B_1) \times_{\cC(E)} \cC(B_2)$ denote the fibered product of the |
148 |
two maps $\bd: \cC(B_i)\to \cC(E)$. |
|
149 |
Then (axiom) we have an injective map |
|
150 |
\[ |
|
151 |
\gl_E : \cC(B_1) \times_{\cC(E)} \cC(B_2) \to \cC(S) |
|
152 |
\] |
|
153 |
which is natural with respect to the actions of homeomorphisms.} |
|
154 |
||
155 |
Note that we insist on injectivity above. |
|
109 | 156 |
|
94 | 157 |
Let $\cC(S)_E$ denote the image of $\gl_E$. |
109 | 158 |
We will refer to elements of $\cC(S)_E$ as ``splittable along $E$" or ``transverse to $E$". |
159 |
||
110 | 160 |
We will call the projection $\cC(S)_E \to \cC(B_i)$ |
161 |
a {\it restriction} map and write $\res_{B_i}(a)$ |
|
162 |
(or simply $\res(a)$ when there is no ambiguity), for $a\in \cC(S)_E$. |
|
163 |
These restriction maps can be thought of as |
|
94 | 164 |
domain and range maps, relative to the choice of splitting $S = B_1 \cup_E B_2$. |
165 |
||
103 | 166 |
If $B$ is a $k$-ball and $E \sub \bd B$ splits $\bd B$ into two $k{-}1$-balls |
94 | 167 |
as above, then we define $\cC(B)_E = \bd^{-1}(\cC(\bd B)_E)$. |
168 |
||
169 |
Next we consider composition of morphisms. |
|
170 |
For $n$-categories which lack strong duality, one usually considers |
|
171 |
$k$ different types of composition of $k$-morphisms, each associated to a different direction. |
|
172 |
(For example, vertical and horizontal composition of 2-morphisms.) |
|
173 |
In the presence of strong duality, these $k$ distinct compositions are subsumed into |
|
174 |
one general type of composition which can be in any ``direction". |
|
175 |
||
176 |
\xxpar{Composition:} |
|
103 | 177 |
{Let $B = B_1 \cup_Y B_2$, where $B$, $B_1$ and $B_2$ are $k$-balls ($0\le k\le n$) |
178 |
and $Y = B_1\cap B_2$ is a $k{-}1$-ball. |
|
179 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
|
94 | 180 |
Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$. |
181 |
We have restriction (domain or range) maps $\cC(B_i)_E \to \cC(Y)$. |
|
182 |
Let $\cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E$ denote the fibered product of these two maps. |
|
183 |
Then (axiom) we have a map |
|
184 |
\[ |
|
185 |
\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B)_E |
|
186 |
\] |
|
187 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
188 |
to the intersection of the boundaries of $B$ and $B_i$. |
|
189 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
190 |
(For $k=n$, see below.)} |
|
191 |
||
95 | 192 |
\xxpar{Strict associativity:} |
102 | 193 |
{The composition (gluing) maps above are strictly associative.} |
194 |
||
109 | 195 |
Notation: $a\bullet b \deq \gl_Y(a, b)$ and/or $a\cup b \deq \gl_Y(a, b)$. |
110 | 196 |
In the other direction, we will call the projection from $\cC(B)_E$ to $\cC(B_i)_E$ |
197 |
a {\it restriction} map and write $\res_{B_i}(a)$ for $a\in \cC(B)_E$. |
|
198 |
Compositions of boundary and restriction maps will also be called restriction maps. |
|
199 |
For example, if $B$ is a $k$-ball and $Y\sub \bd B$ is a $k{-}1$-ball, there is a |
|
200 |
restriction map from $\cC(B)_{\bd Y}$ to $\cC(Y)$. |
|
201 |
||
202 |
%More notation and terminology: |
|
203 |
%We will call the projection from $\cC(B)_E$ to $\cC(B_i)_E$ a {\it restriction} |
|
204 |
%map |
|
109 | 205 |
|
102 | 206 |
The above two axioms are equivalent to the following axiom, |
207 |
which we state in slightly vague form. |
|
208 |
||
209 |
\xxpar{Multi-composition:} |
|
210 |
{Given any decomposition $B = B_1\cup\cdots\cup B_m$ of a $k$-ball |
|
211 |
into small $k$-balls, there is a |
|
212 |
map from an appropriate subset (like a fibered product) |
|
213 |
of $\cC(B_1)\times\cdots\times\cC(B_m)$ to $\cC(B)$, |
|
95 | 214 |
and these various $m$-fold composition maps satisfy an |
102 | 215 |
operad-type strict associativity condition.} |
95 | 216 |
|
217 |
The next axiom is related to identity morphisms, though that might not be immediately obvious. |
|
218 |
||
219 |
\xxpar{Product (identity) morphisms:} |
|
103 | 220 |
{Let $X$ be a $k$-ball and $D$ be an $m$-ball, with $k+m \le n$. |
95 | 221 |
Then we have a map $\cC(X)\to \cC(X\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cC(X)$. |
222 |
If $f:X\to X'$ and $\tilde{f}:X\times D \to X'\times D'$ are maps such that the diagram |
|
223 |
\[ \xymatrix{ |
|
96 | 224 |
X\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & X'\times D' \ar[d]^{\pi} \\ |
95 | 225 |
X \ar[r]^{f} & X' |
226 |
} \] |
|
109 | 227 |
commutes, then we have |
228 |
\[ |
|
229 |
\tilde{f}(a\times D) = f(a)\times D' . |
|
230 |
\] |
|
231 |
Product morphisms are compatible with gluing (composition) in both factors: |
|
232 |
\[ |
|
233 |
(a'\times D)\bullet(a''\times D) = (a'\bullet a'')\times D |
|
234 |
\] |
|
235 |
and |
|
236 |
\[ |
|
237 |
(a\times D')\bullet(a\times D'') = a\times (D'\bullet D'') . |
|
238 |
\] |
|
122 | 239 |
\nn{if pinched boundary, then remove first case above} |
109 | 240 |
Product morphisms are associative: |
241 |
\[ |
|
242 |
(a\times D)\times D' = a\times (D\times D') . |
|
243 |
\] |
|
244 |
(Here we are implicitly using functoriality and the obvious homeomorphism |
|
245 |
$(X\times D)\times D' \to X\times(D\times D')$.) |
|
110 | 246 |
Product morphisms are compatible with restriction: |
247 |
\[ |
|
248 |
\res_{X\times E}(a\times D) = a\times E |
|
249 |
\] |
|
250 |
for $E\sub \bd D$ and $a\in \cC(X)$. |
|
109 | 251 |
} |
95 | 252 |
|
110 | 253 |
\nn{need even more subaxioms for product morphisms?} |
95 | 254 |
|
122 | 255 |
\nn{Almost certainly we need a little more than the above axiom. |
256 |
More specifically, in order to bootstrap our way from the top dimension |
|
257 |
properties of identity morphisms to low dimensions, we need regular products, |
|
258 |
pinched products and even half-pinched products. |
|
142 | 259 |
I'm not sure what the best way to cleanly axiomatize the properties of these various |
260 |
products is. |
|
122 | 261 |
For the moment, I'll assume that all flavors of the product are at |
262 |
our disposal, and I'll plan on revising the axioms later.} |
|
263 |
||
128 | 264 |
\nn{current idea for fixing this: make the above axiom a ``preliminary version" |
265 |
(as we have already done with some of the other axioms), then state the official |
|
266 |
axiom for maps $\pi: E \to X$ which are almost fiber bundles. |
|
267 |
one option is to restrict E to be a (full/half/not)-pinched product (up to homeo). |
|
268 |
the alternative is to give some sort of local criterion for what's allowed. |
|
269 |
state a gluing axiom for decomps $E = E'\cup E''$ where all three are of the correct type. |
|
270 |
} |
|
271 |
||
95 | 272 |
All of the axioms listed above hold for both ordinary $n$-categories and $A_\infty$ $n$-categories. |
273 |
The last axiom (below), concerning actions of |
|
274 |
homeomorphisms in the top dimension $n$, distinguishes the two cases. |
|
275 |
||
276 |
We start with the plain $n$-category case. |
|
277 |
||
278 |
\xxpar{Isotopy invariance in dimension $n$ (preliminary version):} |
|
103 | 279 |
{Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
95 | 280 |
to the identity on $\bd X$ and is isotopic (rel boundary) to the identity. |
96 | 281 |
Then $f$ acts trivially on $\cC(X)$; $f(a) = a$ for all $a\in \cC(X)$.} |
282 |
||
283 |
We will strengthen the above axiom in two ways. |
|
284 |
(Amusingly, these two ways are related to each of the two senses of the term |
|
285 |
``pseudo-isotopy".) |
|
286 |
||
287 |
First, we require that $f$ act trivially on $\cC(X)$ if it is pseudo-isotopic to the identity |
|
288 |
in the sense of homeomorphisms of mapping cylinders. |
|
289 |
This is motivated by TQFT considerations: |
|
290 |
If the mapping cylinder of $f$ is homeomorphic to the mapping cylinder of the identity, |
|
291 |
then these two $n{+}1$-manifolds should induce the same map from $\cC(X)$ to itself. |
|
292 |
\nn{is there a non-TQFT reason to require this?} |
|
94 | 293 |
|
96 | 294 |
Second, we require that product (a.k.a.\ identity) $n$-morphisms act as the identity. |
103 | 295 |
Let $X$ be an $n$-ball and $Y\sub\bd X$ be an $n{-}1$-ball. |
96 | 296 |
Let $J$ be a 1-ball (interval). |
297 |
We have a collaring homeomorphism $s_{Y,J}: X\cup_Y (Y\times J) \to X$. |
|
122 | 298 |
(Here we use the ``pinched" version of $Y\times J$. |
299 |
\nn{need notation for this}) |
|
96 | 300 |
We define a map |
301 |
\begin{eqnarray*} |
|
302 |
\psi_{Y,J}: \cC(X) &\to& \cC(X) \\ |
|
303 |
a & \mapsto & s_{Y,J}(a \cup ((a|_Y)\times J)) . |
|
304 |
\end{eqnarray*} |
|
142 | 305 |
(See Figure \ref{glue-collar}.) |
306 |
\begin{figure}[!ht]\begin{equation*} |
|
307 |
\mathfig{.9}{tempkw/glue-collar} |
|
308 |
\end{equation*}\caption{Extended homeomorphism.}\label{glue-collar}\end{figure} |
|
96 | 309 |
We will call $\psi_{Y,J}$ an extended isotopy. |
97 | 310 |
\nn{or extended homeomorphism? see below.} |
311 |
\nn{maybe remark that in some examples (e.g.\ ones based on sub cell complexes) |
|
312 |
extended isotopies are also plain isotopies, so |
|
313 |
no extension necessary} |
|
96 | 314 |
It can be thought of as the action of the inverse of |
315 |
a map which projects a collar neighborhood of $Y$ onto $Y$. |
|
316 |
(This sort of collapse map is the other sense of ``pseudo-isotopy".) |
|
317 |
\nn{need to check this} |
|
318 |
||
319 |
The revised axiom is |
|
320 |
||
321 |
\xxpar{Pseudo and extended isotopy invariance in dimension $n$:} |
|
103 | 322 |
{Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
96 | 323 |
to the identity on $\bd X$ and is pseudo-isotopic or extended isotopic (rel boundary) to the identity. |
324 |
Then $f$ acts trivially on $\cC(X)$.} |
|
325 |
||
326 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
94 | 327 |
|
97 | 328 |
\smallskip |
329 |
||
330 |
For $A_\infty$ $n$-categories, we replace |
|
331 |
isotopy invariance with the requirement that families of homeomorphisms act. |
|
332 |
For the moment, assume that our $n$-morphisms are enriched over chain complexes. |
|
333 |
||
334 |
\xxpar{Families of homeomorphisms act.} |
|
335 |
{For each $n$-ball $X$ and each $c\in \cC(\bd X)$ we have a map of chain complexes |
|
336 |
\[ |
|
337 |
C_*(\Homeo_\bd(X))\ot \cC(X; c) \to \cC(X; c) . |
|
338 |
\] |
|
339 |
Here $C_*$ means singular chains and $\Homeo_\bd(X)$ is the space of homeomorphisms of $X$ |
|
340 |
which fix $\bd X$. |
|
341 |
These action maps are required to be associative up to homotopy |
|
342 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
343 |
a diagram like the one in Proposition \ref{CDprop} commutes. |
|
344 |
\nn{repeat diagram here?} |
|
345 |
\nn{restate this with $\Homeo(X\to X')$? what about boundary fixing property?}} |
|
346 |
||
347 |
We should strengthen the above axiom to apply to families of extended homeomorphisms. |
|
109 | 348 |
To do this we need to explain how extended homeomorphisms form a topological space. |
97 | 349 |
Roughly, the set of $n{-}1$-balls in the boundary of an $n$-ball has a natural topology, |
350 |
and we can replace the class of all intervals $J$ with intervals contained in $\r$. |
|
351 |
\nn{need to also say something about collaring homeomorphisms.} |
|
352 |
\nn{this paragraph needs work.} |
|
353 |
||
103 | 354 |
Note that if we take homology of chain complexes, we turn an $A_\infty$ $n$-category |
355 |
into a plain $n$-category (enriched over graded groups). |
|
97 | 356 |
\nn{say more here?} |
357 |
In the other direction, if we enrich over topological spaces instead of chain complexes, |
|
358 |
we get a space version of an $A_\infty$ $n$-category, with $\Homeo_\bd(X)$ acting |
|
359 |
instead of $C_*(\Homeo_\bd(X))$. |
|
360 |
Taking singular chains converts a space-type $A_\infty$ $n$-category into a chain complex |
|
361 |
type $A_\infty$ $n$-category. |
|
362 |
||
99 | 363 |
\medskip |
97 | 364 |
|
99 | 365 |
The alert reader will have already noticed that our definition of (plain) $n$-category |
366 |
is extremely similar to our definition of topological fields. |
|
142 | 367 |
The main difference is that for the $n$-category definition we restrict our attention to balls |
99 | 368 |
(and their boundaries), while for fields we consider all manifolds. |
142 | 369 |
(A minor difference is that in the category definition we directly impose isotopy |
370 |
invariance in dimension $n$, while in the fields definition we have non-isotopy-invariant fields |
|
371 |
but then mod out by local relations which imply isotopy invariance.) |
|
99 | 372 |
Thus a system of fields determines an $n$-category simply by restricting our attention to |
373 |
balls. |
|
142 | 374 |
This $n$-category can be thought of as the local part of the fields. |
99 | 375 |
Conversely, given an $n$-category we can construct a system of fields via |
142 | 376 |
a colimit construction; see below. |
99 | 377 |
|
142 | 378 |
%\nn{Next, say something about $A_\infty$ $n$-categories and ``homological" systems |
379 |
%of fields. |
|
380 |
%The universal (colimit) construction becomes our generalized definition of blob homology. |
|
381 |
%Need to explain how it relates to the old definition.} |
|
97 | 382 |
|
95 | 383 |
\medskip |
384 |
||
101 | 385 |
\nn{these examples need to be fleshed out a bit more} |
386 |
||
387 |
Examples of plain $n$-categories: |
|
388 |
\begin{itemize} |
|
389 |
||
390 |
\item Let $F$ be a closed $m$-manifold (e.g.\ a point). |
|
391 |
Let $T$ be a topological space. |
|
392 |
For $X$ a $k$-ball or $k$-sphere with $k < n$, define $\cC(X)$ to be the set of |
|
393 |
all maps from $X\times F$ to $T$. |
|
394 |
For $X$ an $n$-ball define $\cC(X)$ to be maps from $X\times F$ to $T$ modulo |
|
103 | 395 |
homotopies fixed on $\bd X \times F$. |
101 | 396 |
(Note that homotopy invariance implies isotopy invariance.) |
397 |
For $a\in \cC(X)$ define the product morphism $a\times D \in \cC(X\times D)$ to |
|
398 |
be $a\circ\pi_X$, where $\pi_X : X\times D \to X$ is the projection. |
|
399 |
||
400 |
\item We can linearize the above example as follows. |
|
401 |
Let $\alpha$ be an $(n{+}m{+}1)$-cocycle on $T$ with values in a ring $R$ |
|
402 |
(e.g.\ the trivial cocycle). |
|
403 |
For $X$ of dimension less than $n$ define $\cC(X)$ as before. |
|
404 |
For $X$ an $n$-ball and $c\in \cC(\bd X)$ define $\cC(X; c)$ to be |
|
405 |
the $R$-module of finite linear combinations of maps from $X\times F$ to $T$, |
|
406 |
modulo the relation that if $a$ is homotopic to $b$ (rel boundary) via a homotopy |
|
407 |
$h: X\times F\times I \to T$, then $a \sim \alpha(h)b$. |
|
408 |
\nn{need to say something about fundamental classes, or choose $\alpha$ carefully} |
|
409 |
||
410 |
\item Given a traditional $n$-category $C$ (with strong duality etc.), |
|
411 |
define $\cC(X)$ (with $\dim(X) < n$) |
|
412 |
to be the set of all $C$-labeled sub cell complexes of $X$. |
|
142 | 413 |
(See Subsection \ref{sec:fields}.) |
101 | 414 |
For $X$ an $n$-ball and $c\in \cC(\bd X)$, define $\cC(X)$ to finite linear |
415 |
combinations of $C$-labeled sub cell complexes of $X$ |
|
416 |
modulo the kernel of the evaluation map. |
|
417 |
Define a product morphism $a\times D$ to be the product of the cell complex of $a$ with $D$, |
|
418 |
and with the same labeling as $a$. |
|
102 | 419 |
More generally, start with an $n{+}m$-category $C$ and a closed $m$-manifold $F$. |
420 |
Define $\cC(X)$, for $\dim(X) < n$, |
|
421 |
to be the set of all $C$-labeled sub cell complexes of $X\times F$. |
|
422 |
Define $\cC(X; c)$, for $X$ an $n$-ball, |
|
423 |
to be the dual Hilbert space $A(X\times F; c)$. |
|
101 | 424 |
\nn{refer elsewhere for details?} |
425 |
||
426 |
\item Variation on the above examples: |
|
103 | 427 |
We could allow $F$ to have boundary and specify boundary conditions on $X\times \bd F$, |
101 | 428 |
for example product boundary conditions or take the union over all boundary conditions. |
142 | 429 |
%\nn{maybe should not emphasize this case, since it's ``better" in some sense |
430 |
%to think of these guys as affording a representation |
|
431 |
%of the $n{+}1$-category associated to $\bd F$.} |
|
101 | 432 |
|
142 | 433 |
\item Here's our version of the bordism $n$-category. |
434 |
For a $k$-ball $X$, $k<n$, define $\cC(X)$ to be the set of all $k$-dimensional |
|
435 |
submanifolds $W$ of $X\times \r^\infty$ such that the projection $W \to X$ is transverse |
|
436 |
to $\bd X$. |
|
437 |
For $k=n$ define $\cC(X)$ to be homeomorphism classes (rel boundary) of such submanifolds; |
|
438 |
we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism |
|
439 |
$W\to W'$ which restricts to the identity on the boundary. |
|
440 |
||
143 | 441 |
\item \nn{sphere modules; ref to below} |
125 | 442 |
|
101 | 443 |
\end{itemize} |
444 |
||
445 |
||
446 |
Examples of $A_\infty$ $n$-categories: |
|
447 |
\begin{itemize} |
|
448 |
||
449 |
\item Same as in example \nn{xxxx} above (fiber $F$, target space $T$), |
|
450 |
but we define, for an $n$-ball $X$, $\cC(X; c)$ to be the chain complex |
|
451 |
$C_*(\Maps_c(X\times F))$, where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary, |
|
452 |
and $C_*$ denotes singular chains. |
|
453 |
||
454 |
\item |
|
455 |
Given a plain $n$-category $C$, |
|
456 |
define $\cC(X; c) = \bc^C_*(X\times F; c)$, where $X$ is an $n$-ball |
|
457 |
and $\bc^C_*$ denotes the blob complex based on $C$. |
|
458 |
||
125 | 459 |
\item \nn{should add $\infty$ version of bordism $n$-cat} |
460 |
||
101 | 461 |
\end{itemize} |
95 | 462 |
|
108 | 463 |
|
464 |
||
465 |
||
466 |
||
467 |
||
468 |
\subsection{From $n$-categories to systems of fields} |
|
113 | 469 |
\label{ss:ncat_fields} |
108 | 470 |
|
471 |
We can extend the functors $\cC$ above from $k$-balls to arbitrary $k$-manifolds as follows. |
|
472 |
||
473 |
Let $W$ be a $k$-manifold, $1\le k \le n$. |
|
474 |
We will define a set $\cC(W)$. |
|
475 |
(If $k = n$ and our $k$-categories are enriched, then |
|
476 |
$\cC(W)$ will have additional structure; see below.) |
|
477 |
$\cC(W)$ will be the colimit of a functor defined on a category $\cJ(W)$, |
|
478 |
which we define next. |
|
479 |
||
142 | 480 |
Define a permissible decomposition of $W$ to be a cell decomposition |
108 | 481 |
\[ |
482 |
W = \bigcup_a X_a , |
|
483 |
\] |
|
142 | 484 |
where each closed top-dimensional cell $X_a$ is an embedded $k$-ball. |
108 | 485 |
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement |
486 |
of $y$, or write $x \le y$, if each ball of $y$ is a union of balls of $x$. |
|
487 |
This defines a partial ordering $\cJ(W)$, which we will think of as a category. |
|
488 |
(The objects of $\cJ(W)$ are permissible decompositions of $W$, and there is a unique |
|
119 | 489 |
morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$. |
490 |
See Figure \ref{partofJfig}.) |
|
491 |
||
492 |
\begin{figure}[!ht] |
|
493 |
\begin{equation*} |
|
494 |
\mathfig{.63}{tempkw/zz2} |
|
495 |
\end{equation*} |
|
496 |
\caption{A small part of $\cJ(W)$} |
|
497 |
\label{partofJfig} |
|
498 |
\end{figure} |
|
499 |
||
108 | 500 |
|
501 |
$\cC$ determines |
|
502 |
a functor $\psi_\cC$ from $\cJ(W)$ to the category of sets |
|
503 |
(possibly with additional structure if $k=n$). |
|
504 |
For a decomposition $x = (X_a)$ in $\cJ(W)$, define $\psi_\cC(x)$ to be the subset |
|
505 |
\[ |
|
506 |
\psi_\cC(x) \sub \prod_a \cC(X_a) |
|
507 |
\] |
|
508 |
such that the restrictions to the various pieces of shared boundaries amongst the |
|
509 |
$X_a$ all agree. |
|
510 |
(Think fibered product.) |
|
511 |
If $x$ is a refinement of $y$, define a map $\psi_\cC(x)\to\psi_\cC(y)$ |
|
512 |
via the composition maps of $\cC$. |
|
112 | 513 |
(If $\dim(W) = n$ then we need to also make use of the monoidal |
514 |
product in the enriching category. |
|
515 |
\nn{should probably be more explicit here}) |
|
108 | 516 |
|
517 |
Finally, define $\cC(W)$ to be the colimit of $\psi_\cC$. |
|
142 | 518 |
When $k<n$ or $k=n$ and we are in the plain (non-$A_\infty$) case, this means that |
112 | 519 |
for each decomposition $x$ there is a map |
108 | 520 |
$\psi_\cC(x)\to \cC(W)$, these maps are compatible with the refinement maps |
521 |
above, and $\cC(W)$ is universal with respect to these properties. |
|
142 | 522 |
When $k=n$ and we are in the $A_\infty$ case, it means |
523 |
homotopy colimit. |
|
112 | 524 |
|
525 |
More concretely, in the plain case enriched over vector spaces, and with $\dim(W) = n$, we can take |
|
526 |
\[ |
|
527 |
\cC(W) = \left( \oplus_x \psi_\cC(x)\right) \big/ K |
|
528 |
\] |
|
529 |
where $K$ is generated by all things of the form $a - g(a)$, where |
|
530 |
$a\in \psi_\cC(x)$ for some decomposition $x$, $x\le y$, and $g: \psi_\cC(x) |
|
531 |
\to \psi_\cC(y)$ is value of $\psi_\cC$ on the antirefinement $x\to y$. |
|
111 | 532 |
|
112 | 533 |
In the $A_\infty$ case enriched over chain complexes, the concrete description of the colimit |
534 |
is as follows. |
|
142 | 535 |
%\nn{should probably rewrite this to be compatible with some standard reference} |
113 | 536 |
Define an $m$-sequence to be a sequence $x_0 \le x_1 \le \dots \le x_m$ of permissible decompositions. |
112 | 537 |
Such sequences (for all $m$) form a simplicial set. |
538 |
Let |
|
539 |
\[ |
|
540 |
V = \bigoplus_{(x_i)} \psi_\cC(x_0) , |
|
541 |
\] |
|
113 | 542 |
where the sum is over all $m$-sequences and all $m$, and each summand is degree shifted by $m$. |
112 | 543 |
We endow $V$ with a differential which is the sum of the differential of the $\psi_\cC(x_0)$ |
544 |
summands plus another term using the differential of the simplicial set of $m$-sequences. |
|
545 |
More specifically, if $(a, \bar{x})$ denotes an element in the $\bar{x}$ |
|
546 |
summand of $V$ (with $\bar{x} = (x_0,\dots,x_k)$), define |
|
547 |
\[ |
|
548 |
\bd (a, \bar{x}) = (\bd a, \bar{x}) \pm (g(a), d_0(\bar{x})) + \sum_{j=1}^k \pm (a, d_j(\bar{x})) , |
|
549 |
\] |
|
550 |
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)$ |
|
551 |
is the usual map. |
|
552 |
\nn{need to say this better} |
|
553 |
\nn{maybe mention that there is a version that emphasizes minimal gluings (antirefinements) which |
|
554 |
combine only two balls at a time; for $n=1$ this version will lead to usual definition |
|
555 |
of $A_\infty$ category} |
|
108 | 556 |
|
113 | 557 |
We will call $m$ the filtration degree of the complex. |
558 |
We can think of this construction as starting with a disjoint copy of a complex for each |
|
559 |
permissible decomposition (filtration degree 0). |
|
560 |
Then we glue these together with mapping cylinders coming from gluing maps |
|
561 |
(filtration degree 1). |
|
562 |
Then we kill the extra homology we just introduced with mapping cylinder between the mapping cylinders (filtration degree 2). |
|
563 |
And so on. |
|
564 |
||
108 | 565 |
$\cC(W)$ is functorial with respect to homeomorphisms of $k$-manifolds. |
566 |
||
567 |
It is easy to see that |
|
568 |
there are well-defined maps $\cC(W)\to\cC(\bd W)$, and that these maps |
|
569 |
comprise a natural transformation of functors. |
|
570 |
||
571 |
\nn{need to finish explaining why we have a system of fields; |
|
572 |
need to say more about ``homological" fields? |
|
573 |
(actions of homeomorphisms); |
|
574 |
define $k$-cat $\cC(\cdot\times W)$} |
|
575 |
||
576 |
||
577 |
||
578 |
\subsection{Modules} |
|
95 | 579 |
|
101 | 580 |
Next we define [$A_\infty$] $n$-category modules (a.k.a.\ representations, |
581 |
a.k.a.\ actions). |
|
102 | 582 |
The definition will be very similar to that of $n$-categories. |
109 | 583 |
\nn{** need to make sure all revisions of $n$-cat def are also made to module def.} |
110 | 584 |
\nn{should they be called $n$-modules instead of just modules? probably not, but worth considering.} |
102 | 585 |
|
104 | 586 |
Our motivating example comes from an $(m{-}n{+}1)$-dimensional manifold $W$ with boundary |
102 | 587 |
in the context of an $m{+}1$-dimensional TQFT. |
588 |
Such a $W$ gives rise to a module for the $n$-category associated to $\bd W$. |
|
589 |
This will be explained in more detail as we present the axioms. |
|
590 |
||
591 |
Fix an $n$-category $\cC$. |
|
592 |
||
593 |
Define a {\it marked $k$-ball} to be a pair $(B, N)$ homeomorphic to the pair |
|
594 |
(standard $k$-ball, northern hemisphere in boundary of standard $k$-ball). |
|
595 |
We call $B$ the ball and $N$ the marking. |
|
596 |
A homeomorphism between marked $k$-balls is a homeomorphism of balls which |
|
597 |
restricts to a homeomorphism of markings. |
|
598 |
||
599 |
\xxpar{Module morphisms} |
|
600 |
{For each $0 \le k \le n$, we have a functor $\cM_k$ from |
|
601 |
the category of marked $k$-balls and |
|
602 |
homeomorphisms to the category of sets and bijections.} |
|
603 |
||
604 |
(As with $n$-categories, we will usually omit the subscript $k$.) |
|
605 |
||
104 | 606 |
For example, let $\cD$ be the $m{+}1$-dimensional TQFT which assigns to a $k$-manifold $N$ the set |
607 |
of maps from $N$ to $T$, modulo homotopy (and possibly linearized) if $k=m$. |
|
608 |
Let $W$ be an $(m{-}n{+}1)$-dimensional manifold with boundary. |
|
609 |
Let $\cC$ be the $n$-category with $\cC(X) \deq \cD(X\times \bd W)$. |
|
610 |
Let $\cM(B, N) \deq \cD((B\times \bd W)\cup (N\times W))$. |
|
611 |
(The union is along $N\times \bd W$.) |
|
110 | 612 |
(If $\cD$ were a general TQFT, we would define $\cM(B, N)$ to be |
613 |
the subset of $\cD((B\times \bd W)\cup (N\times W))$ which is splittable along $N\times \bd W$.) |
|
102 | 614 |
|
103 | 615 |
Define the boundary of a marked $k$-ball $(B, N)$ to be the pair $(\bd B \setmin N, \bd N)$. |
616 |
Call such a thing a {marked $k{-}1$-hemisphere}. |
|
102 | 617 |
|
618 |
\xxpar{Module boundaries, part 1:} |
|
619 |
{For each $0 \le k \le n-1$, we have a functor $\cM_k$ from |
|
104 | 620 |
the category of marked $k$-hemispheres and |
102 | 621 |
homeomorphisms to the category of sets and bijections.} |
622 |
||
104 | 623 |
In our example, let $\cM(H) \deq \cD(H\times\bd W \cup \bd H\times W)$. |
624 |
||
102 | 625 |
\xxpar{Module boundaries, part 2:} |
626 |
{For each marked $k$-ball $M$ we have a map of sets $\bd: \cM(M)\to \cM(\bd M)$. |
|
627 |
These maps, for various $M$, comprise a natural transformation of functors.} |
|
628 |
||
110 | 629 |
Given $c\in\cM(\bd M)$, let $\cM(M; c) \deq \bd^{-1}(c)$. |
102 | 630 |
|
631 |
If the $n$-category $\cC$ is enriched over some other category (e.g.\ vector spaces), |
|
632 |
then $\cM(M; c)$ should be an object in that category for each marked $n$-ball $M$ |
|
633 |
and $c\in \cC(\bd M)$. |
|
634 |
||
635 |
\xxpar{Module domain $+$ range $\to$ boundary:} |
|
636 |
{Let $H = M_1 \cup_E M_2$, where $H$ is a marked $k$-hemisphere ($0\le k\le n-1$), |
|
104 | 637 |
$M_i$ is a marked $k$-ball, and $E = M_1\cap M_2$ is a marked $k{-}1$-hemisphere. |
638 |
Let $\cM(M_1) \times_{\cM(E)} \cM(M_2)$ denote the fibered product of the |
|
639 |
two maps $\bd: \cM(M_i)\to \cM(E)$. |
|
102 | 640 |
Then (axiom) we have an injective map |
641 |
\[ |
|
642 |
\gl_E : \cM(M_1) \times_{\cM(E)} \cM(M_2) \to \cM(H) |
|
643 |
\] |
|
644 |
which is natural with respect to the actions of homeomorphisms.} |
|
645 |
||
110 | 646 |
Let $\cM(H)_E$ denote the image of $\gl_E$. |
647 |
We will refer to elements of $\cM(H)_E$ as ``splittable along $E$" or ``transverse to $E$". |
|
648 |
||
649 |
||
103 | 650 |
\xxpar{Axiom yet to be named:} |
651 |
{For each marked $k$-hemisphere $H$ there is a restriction map |
|
652 |
$\cM(H)\to \cC(H)$. |
|
653 |
($\cC(H)$ means apply $\cC$ to the underlying $k$-ball of $H$.) |
|
654 |
These maps comprise a natural transformation of functors.} |
|
102 | 655 |
|
103 | 656 |
Note that combining the various boundary and restriction maps above |
110 | 657 |
(for both modules and $n$-categories) |
103 | 658 |
we have for each marked $k$-ball $(B, N)$ and each $k{-}1$-ball $Y\sub \bd B \setmin N$ |
659 |
a natural map from a subset of $\cM(B, N)$ to $\cC(Y)$. |
|
110 | 660 |
The subset is the subset of morphisms which are appropriately splittable (transverse to the |
661 |
cutting submanifolds). |
|
103 | 662 |
This fact will be used below. |
102 | 663 |
|
104 | 664 |
In our example, the various restriction and gluing maps above come from |
665 |
restricting and gluing maps into $T$. |
|
666 |
||
667 |
We require two sorts of composition (gluing) for modules, corresponding to two ways |
|
103 | 668 |
of splitting a marked $k$-ball into two (marked or plain) $k$-balls. |
119 | 669 |
(See Figure \ref{zzz3}.) |
103 | 670 |
|
119 | 671 |
\begin{figure}[!ht] |
672 |
\begin{equation*} |
|
673 |
\mathfig{.63}{tempkw/zz3} |
|
674 |
\end{equation*} |
|
675 |
\caption{Module composition (top); $n$-category action (bottom)} |
|
676 |
\label{zzz3} |
|
677 |
\end{figure} |
|
678 |
||
679 |
First, we can compose two module morphisms to get another module morphism. |
|
103 | 680 |
|
681 |
\xxpar{Module composition:} |
|
682 |
{Let $M = M_1 \cup_Y M_2$, where $M$, $M_1$ and $M_2$ are marked $k$-balls ($0\le k\le n$) |
|
683 |
and $Y = M_1\cap M_2$ is a marked $k{-}1$-ball. |
|
684 |
Let $E = \bd Y$, which is a marked $k{-}2$-hemisphere. |
|
685 |
Note that each of $M$, $M_1$ and $M_2$ has its boundary split into two marked $k{-}1$-balls by $E$. |
|
686 |
We have restriction (domain or range) maps $\cM(M_i)_E \to \cM(Y)$. |
|
687 |
Let $\cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E$ denote the fibered product of these two maps. |
|
688 |
Then (axiom) we have a map |
|
689 |
\[ |
|
690 |
\gl_Y : \cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E \to \cM(M)_E |
|
691 |
\] |
|
692 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
693 |
to the intersection of the boundaries of $M$ and $M_i$. |
|
694 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
695 |
(For $k=n$, see below.)} |
|
696 |
||
119 | 697 |
|
698 |
||
103 | 699 |
Second, we can compose an $n$-category morphism with a module morphism to get another |
700 |
module morphism. |
|
701 |
We'll call this the action map to distinguish it from the other kind of composition. |
|
702 |
||
703 |
\xxpar{$n$-category action:} |
|
704 |
{Let $M = X \cup_Y M'$, where $M$ and $M'$ are marked $k$-balls ($0\le k\le n$), |
|
705 |
$X$ is a plain $k$-ball, |
|
706 |
and $Y = X\cap M'$ is a $k{-}1$-ball. |
|
707 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
|
708 |
We have restriction maps $\cM(M')_E \to \cC(Y)$ and $\cC(X)_E\to \cC(Y)$. |
|
709 |
Let $\cC(X)_E \times_{\cC(Y)} \cM(M')_E$ denote the fibered product of these two maps. |
|
710 |
Then (axiom) we have a map |
|
711 |
\[ |
|
712 |
\gl_Y :\cC(X)_E \times_{\cC(Y)} \cM(M')_E \to \cM(M)_E |
|
713 |
\] |
|
714 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
715 |
to the intersection of the boundaries of $X$ and $M'$. |
|
716 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
717 |
(For $k=n$, see below.)} |
|
718 |
||
719 |
\xxpar{Module strict associativity:} |
|
720 |
{The composition and action maps above are strictly associative.} |
|
721 |
||
110 | 722 |
Note that the above associativity axiom applies to mixtures of module composition, |
723 |
action maps and $n$-category composition. |
|
119 | 724 |
See Figure \ref{zzz1b}. |
725 |
||
726 |
\begin{figure}[!ht] |
|
727 |
\begin{equation*} |
|
728 |
\mathfig{1}{tempkw/zz1b} |
|
729 |
\end{equation*} |
|
730 |
\caption{Two examples of mixed associativity} |
|
731 |
\label{zzz1b} |
|
732 |
\end{figure} |
|
733 |
||
110 | 734 |
|
735 |
The above three axioms are equivalent to the following axiom, |
|
103 | 736 |
which we state in slightly vague form. |
737 |
\nn{need figure for this} |
|
738 |
||
739 |
\xxpar{Module multi-composition:} |
|
740 |
{Given any decomposition |
|
741 |
\[ |
|
742 |
M = X_1 \cup\cdots\cup X_p \cup M_1\cup\cdots\cup M_q |
|
743 |
\] |
|
744 |
of a marked $k$-ball $M$ |
|
745 |
into small (marked and plain) $k$-balls $M_i$ and $X_j$, there is a |
|
746 |
map from an appropriate subset (like a fibered product) |
|
747 |
of |
|
748 |
\[ |
|
749 |
\cC(X_1)\times\cdots\times\cC(X_p) \times \cM(M_1)\times\cdots\times\cM(M_q) |
|
750 |
\] |
|
751 |
to $\cM(M)$, |
|
752 |
and these various multifold composition maps satisfy an |
|
753 |
operad-type strict associativity condition.} |
|
754 |
||
755 |
(The above operad-like structure is analogous to the swiss cheese operad |
|
146 | 756 |
\cite{MR1718089}.) |
103 | 757 |
\nn{need to double-check that this is true.} |
758 |
||
759 |
\xxpar{Module product (identity) morphisms:} |
|
760 |
{Let $M$ be a marked $k$-ball and $D$ be a plain $m$-ball, with $k+m \le n$. |
|
761 |
Then we have a map $\cM(M)\to \cM(M\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cM(M)$. |
|
762 |
If $f:M\to M'$ and $\tilde{f}:M\times D \to M'\times D'$ are maps such that the diagram |
|
763 |
\[ \xymatrix{ |
|
764 |
M\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & M'\times D' \ar[d]^{\pi} \\ |
|
765 |
M \ar[r]^{f} & M' |
|
766 |
} \] |
|
767 |
commutes, then we have $\tilde{f}(a\times D) = f(a)\times D'$.} |
|
768 |
||
111 | 769 |
\nn{Need to add compatibility with various things, as in the n-cat version of this axiom above.} |
103 | 770 |
|
110 | 771 |
\nn{** marker --- resume revising here **} |
772 |
||
103 | 773 |
There are two alternatives for the next axiom, according whether we are defining |
774 |
modules for plain $n$-categories or $A_\infty$ $n$-categories. |
|
775 |
In the plain case we require |
|
776 |
||
777 |
\xxpar{Pseudo and extended isotopy invariance in dimension $n$:} |
|
778 |
{Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts |
|
779 |
to the identity on $\bd M$ and is pseudo-isotopic or extended isotopic (rel boundary) to the identity. |
|
780 |
Then $f$ acts trivially on $\cM(M)$.} |
|
781 |
||
782 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
783 |
||
784 |
We emphasize that the $\bd M$ above means boundary in the marked $k$-ball sense. |
|
785 |
In other words, if $M = (B, N)$ then we require only that isotopies are fixed |
|
786 |
on $\bd B \setmin N$. |
|
787 |
||
788 |
For $A_\infty$ modules we require |
|
789 |
||
790 |
\xxpar{Families of homeomorphisms act.} |
|
791 |
{For each marked $n$-ball $M$ and each $c\in \cM(\bd M)$ we have a map of chain complexes |
|
792 |
\[ |
|
793 |
C_*(\Homeo_\bd(M))\ot \cM(M; c) \to \cM(M; c) . |
|
794 |
\] |
|
795 |
Here $C_*$ means singular chains and $\Homeo_\bd(M)$ is the space of homeomorphisms of $M$ |
|
796 |
which fix $\bd M$. |
|
797 |
These action maps are required to be associative up to homotopy |
|
798 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
799 |
a diagram like the one in Proposition \ref{CDprop} commutes. |
|
800 |
\nn{repeat diagram here?} |
|
801 |
\nn{restate this with $\Homeo(M\to M')$? what about boundary fixing property?}} |
|
802 |
||
803 |
\medskip |
|
102 | 804 |
|
104 | 805 |
Note that the above axioms imply that an $n$-category module has the structure |
806 |
of an $n{-}1$-category. |
|
807 |
More specifically, let $J$ be a marked 1-ball, and define $\cE(X)\deq \cM(X\times J)$, |
|
808 |
where $X$ is a $k$-ball or $k{-}1$-sphere and in the product $X\times J$ we pinch |
|
809 |
above the non-marked boundary component of $J$. |
|
810 |
\nn{give figure for this, or say more?} |
|
811 |
Then $\cE$ has the structure of an $n{-}1$-category. |
|
102 | 812 |
|
105 | 813 |
All marked $k$-balls are homeomorphic, unless $k = 1$ and our manifolds |
814 |
are oriented or Spin (but not unoriented or $\text{Pin}_\pm$). |
|
815 |
In this case ($k=1$ and oriented or Spin), there are two types |
|
816 |
of marked 1-balls, call them left-marked and right-marked, |
|
817 |
and hence there are two types of modules, call them right modules and left modules. |
|
818 |
In all other cases ($k>1$ or unoriented or $\text{Pin}_\pm$), |
|
819 |
there is no left/right module distinction. |
|
820 |
||
130 | 821 |
\medskip |
822 |
||
823 |
Examples of modules: |
|
824 |
\begin{itemize} |
|
142 | 825 |
\item \nn{examples from TQFTs} |
826 |
\item \nn{for maps to $T$, can restrict to subspaces of $T$;} |
|
130 | 827 |
\end{itemize} |
108 | 828 |
|
829 |
\subsection{Modules as boundary labels} |
|
112 | 830 |
\label{moddecss} |
108 | 831 |
|
832 |
Let $\cC$ be an [$A_\infty$] $n$-category, let $W$ be a $k$-manifold ($k\le n$), |
|
143 | 833 |
let $\{Y_i\}$ be a collection of disjoint codimension 0 submanifolds of $\bd W$, |
834 |
and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to $Y_i$. |
|
835 |
||
836 |
%Let $\cC$ be an [$A_\infty$] $n$-category, let $W$ be a $k$-manifold ($k\le n$), |
|
837 |
%and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to each boundary |
|
838 |
%component $\bd_i W$ of $W$. |
|
839 |
%(More generally, each $\cN_i$ could label some codimension zero submanifold of $\bd W$.) |
|
108 | 840 |
|
841 |
We will define a set $\cC(W, \cN)$ using a colimit construction similar to above. |
|
842 |
\nn{give ref} |
|
843 |
(If $k = n$ and our $k$-categories are enriched, then |
|
844 |
$\cC(W, \cN)$ will have additional structure; see below.) |
|
845 |
||
846 |
Define a permissible decomposition of $W$ to be a decomposition |
|
847 |
\[ |
|
848 |
W = (\bigcup_a X_a) \cup (\bigcup_{i,b} M_{ib}) , |
|
849 |
\] |
|
850 |
where each $X_a$ is a plain $k$-ball (disjoint from $\bd W$) and |
|
851 |
each $M_{ib}$ is a marked $k$-ball intersecting $\bd_i W$, |
|
143 | 852 |
with $M_{ib}\cap Y_i$ being the marking. |
853 |
(See Figure \ref{mblabel}.) |
|
854 |
\begin{figure}[!ht]\begin{equation*} |
|
855 |
\mathfig{.9}{tempkw/mblabel} |
|
856 |
\end{equation*}\caption{A permissible decomposition of a manifold |
|
146 | 857 |
whose boundary components are labeled by $\cC$ modules $\{\cN_i\}$.}\label{mblabel}\end{figure} |
108 | 858 |
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement |
859 |
of $y$, or write $x \le y$, if each ball of $y$ is a union of balls of $x$. |
|
860 |
This defines a partial ordering $\cJ(W)$, which we will think of as a category. |
|
861 |
(The objects of $\cJ(D)$ are permissible decompositions of $W$, and there is a unique |
|
862 |
morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$.) |
|
863 |
||
864 |
$\cN$ determines |
|
865 |
a functor $\psi_\cN$ from $\cJ(W)$ to the category of sets |
|
866 |
(possibly with additional structure if $k=n$). |
|
867 |
For a decomposition $x = (X_a, M_{ib})$ in $\cJ(W)$, define $\psi_\cN(x)$ to be the subset |
|
868 |
\[ |
|
111 | 869 |
\psi_\cN(x) \sub (\prod_a \cC(X_a)) \times (\prod_{ib} \cN_i(M_{ib})) |
108 | 870 |
\] |
871 |
such that the restrictions to the various pieces of shared boundaries amongst the |
|
872 |
$X_a$ and $M_{ib}$ all agree. |
|
873 |
(Think fibered product.) |
|
874 |
If $x$ is a refinement of $y$, define a map $\psi_\cN(x)\to\psi_\cN(y)$ |
|
875 |
via the gluing (composition or action) maps from $\cC$ and the $\cN_i$. |
|
876 |
||
877 |
Finally, define $\cC(W, \cN)$ to be the colimit of $\psi_\cN$. |
|
143 | 878 |
(Recall that if $k=n$ and we are in the $A_\infty$ case, then ``colimit" means |
879 |
homotopy colimit.) |
|
108 | 880 |
|
143 | 881 |
If $D$ is an $m$-ball, $0\le m \le n-k$, then we can similarly define |
882 |
$\cC(D\times W, \cN)$, where in this case $\cN_i$ labels the submanifold |
|
883 |
$D\times Y_i \sub \bd(D\times W)$. |
|
112 | 884 |
|
143 | 885 |
It is not hard to see that the assignment $D \mapsto \cT(W, \cN)(D) \deq \cC(D\times W, \cN)$ |
886 |
has the structure of an $n{-}k$-category. |
|
144 | 887 |
|
888 |
\medskip |
|
889 |
||
890 |
||
891 |
%\subsection{Tensor products} |
|
108 | 892 |
|
144 | 893 |
We will use a simple special case of the above |
894 |
construction to define tensor products |
|
895 |
of modules. |
|
896 |
Let $\cM_1$ and $\cM_2$ be modules for an $n$-category $\cC$. |
|
897 |
(If $k=1$ and manifolds are oriented, then one should be |
|
898 |
a left module and the other a right module.) |
|
899 |
Choose a 1-ball $J$, and label the two boundary points of $J$ by $\cM_1$ and $\cM_2$. |
|
900 |
Define the tensor product of $\cM_1$ and $\cM_2$ to be the |
|
901 |
$n{-}1$-category $\cT(J, \cM_1, \cM_2)$, |
|
902 |
\[ |
|
903 |
\cM_1\otimes \cM_2 \deq \cT(J, \cM_1, \cM_2) . |
|
904 |
\] |
|
905 |
This of course depends (functorially) |
|
906 |
on the choice of 1-ball $J$. |
|
105 | 907 |
|
144 | 908 |
We will define a more general self tensor product (categorified coend) below. |
909 |
||
112 | 910 |
|
144 | 911 |
|
912 |
||
913 |
%\nn{what about self tensor products /coends ?} |
|
105 | 914 |
|
108 | 915 |
\nn{maybe ``tensor product" is not the best name?} |
916 |
||
144 | 917 |
%\nn{start with (less general) tensor products; maybe change this later} |
106 | 918 |
|
107 | 919 |
|
920 |
||
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
921 |
\subsection{The $n{+}1$-category of sphere modules} |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
922 |
|
144 | 923 |
|
924 |
||
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
925 |
Outline: |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
926 |
\begin{itemize} |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
927 |
\item |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
928 |
\end{itemize} |
107 | 929 |
|
930 |
||
144 | 931 |
\nn{need to assume a little extra structure to define the top ($n+1$) part (?)} |
101 | 932 |
|
933 |
\medskip |
|
934 |
\hrule |
|
935 |
\medskip |
|
936 |
||
95 | 937 |
\nn{to be continued...} |
101 | 938 |
\medskip |
98 | 939 |
|
940 |
||
941 |
Stuff that remains to be done (either below or in an appendix or in a separate section or in |
|
942 |
a separate paper): |
|
943 |
\begin{itemize} |
|
944 |
\item traditional $n$-cat defs (e.g. *-1-cat, pivotal 2-cat) imply our def of plain $n$-cat |
|
945 |
\item conversely, our def implies other defs |
|
105 | 946 |
\item do same for modules; maybe an appendix on relating topological |
947 |
vs traditional defs, $n = 1,2$, $A_\infty$ or not, cats, modules, tensor products |
|
98 | 948 |
\item traditional $A_\infty$ 1-cat def implies our def |
99 | 949 |
\item ... and vice-versa (already done in appendix) |
98 | 950 |
\item say something about unoriented vs oriented vs spin vs pin for $n=1$ (and $n=2$?) |
951 |
\item spell out what difference (if any) Top vs PL vs Smooth makes |
|
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
952 |
\item define $n{+}1$-cat of $n$-cats (a.k.a.\ $n{+}1$-category of generalized bimodules |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
953 |
a.k.a.\ $n{+}1$-category of sphere modules); discuss Morita equivalence |
130 | 954 |
\item morphisms of modules; show that it's adjoint to tensor product |
139 | 955 |
(need to define dual module for this) |
956 |
\item functors |
|
98 | 957 |
\end{itemize} |
958 |
||
134 | 959 |
\nn{Some salvaged paragraphs that we might want to work back in:} |
960 |
\hrule |
|
98 | 961 |
|
134 | 962 |
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.) |
963 |
||
964 |
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 |
|
965 |
\begin{align*} |
|
966 |
\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)), |
|
967 |
\end{align*} |
|
968 |
where the first map is the product of singular chains, and the second is precomposition by the inverse of a diffeomorphism. |
|
969 |
||
970 |
We now give two motivating examples, as theorems constructing other homological systems of fields, |
|
971 |
||
972 |
||
973 |
\begin{thm} |
|
974 |
For a fixed target space $X$, `chains of maps to $X$' is a homological system of fields $\Xi$, defined as |
|
975 |
\begin{equation*} |
|
976 |
\Xi(M) = \CM{M}{X}. |
|
977 |
\end{equation*} |
|
978 |
\end{thm} |
|
979 |
||
980 |
\begin{thm} |
|
981 |
Given an $n$-dimensional system of fields $\cF$, and a $k$-manifold $F$, there is an $n-k$ dimensional homological system of fields $\cF^{\times F}$ defined by |
|
982 |
\begin{equation*} |
|
983 |
\cF^{\times F}(M) = \cB_*(M \times F, \cF). |
|
984 |
\end{equation*} |
|
985 |
\end{thm} |
|
986 |
We might suggestively write $\cF^{\times F}$ as $\cB_*(F \times [0,1]^b, \cF)$, interpreting this as an (undefined!) $A_\infty$ $b$-category, and then as the resulting homological system of fields, following a recipe analogous to that given above for $A_\infty$ $1$-categories. |
|
987 |
||
988 |
||
989 |
In later sections, we'll prove the following two unsurprising theorems, about the (as-yet-undefined) blob homology of these homological systems of fields. |
|
990 |
||
991 |
||
992 |
\begin{thm} |
|
993 |
\begin{equation*} |
|
994 |
\cB_*(M, \Xi) \iso \Xi(M) |
|
995 |
\end{equation*} |
|
996 |
\end{thm} |
|
997 |
||
998 |
\begin{thm}[Product formula] |
|
999 |
Given a $b$-manifold $B$, an $f$-manifold $F$ and a $b+f$ dimensional system of fields, |
|
1000 |
there is a quasi-isomorphism |
|
1001 |
\begin{align*} |
|
1002 |
\cB_*(B \times F, \cF) & \quismto \cB_*(B, \cF^{\times F}) |
|
1003 |
\end{align*} |
|
1004 |
\end{thm} |
|
1005 |
||
1006 |
\begin{question} |
|
1007 |
Is it possible to compute the blob homology of a non-trivial bundle in terms of the blob homology of its fiber? |
|
1008 |
\end{question} |
|
1009 |
||
1010 |
\hrule |