author | Kevin Walker <kevin@canyon23.net> |
Mon, 28 Jun 2010 08:54:36 -0700 | |
changeset 408 | 37f036dda03c |
parent 402 | 853376c08d76 |
child 410 | 14e3124a48e8 |
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 |
|
312 | 6 |
\section{$n$-categories and their modules} |
94 | 7 |
\label{sec:ncats} |
8 |
||
108 | 9 |
\subsection{Definition of $n$-categories} |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
336
diff
changeset
|
10 |
\label{ss:n-cat-def} |
108 | 11 |
|
94 | 12 |
Before proceeding, we need more appropriate definitions of $n$-categories, |
13 |
$A_\infty$ $n$-categories, modules for these, and tensor products of these modules. |
|
187 | 14 |
(As is the case throughout this paper, by ``$n$-category" we implicitly intend some notion of |
15 |
a `weak' $n$-category with `strong duality'.) |
|
94 | 16 |
|
141 | 17 |
The definitions presented below tie the categories more closely to the topology |
18 |
and avoid combinatorial questions about, for example, the minimal sufficient |
|
19 |
collections of generalized associativity axioms; we prefer maximal sets of axioms to minimal sets. |
|
20 |
For examples of topological origin, it is typically easy to show that they |
|
21 |
satisfy our axioms. |
|
22 |
For examples of a more purely algebraic origin, one would typically need the combinatorial |
|
23 |
results that we have avoided here. |
|
24 |
||
25 |
\medskip |
|
26 |
||
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
27 |
There are many existing definitions of $n$-categories, with various intended uses. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
28 |
In any such definition, there are sets of $k$-morphisms for each $0 \leq k \leq n$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
29 |
Generally, these sets are indexed by instances of a certain typical shape. |
347
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
30 |
Some $n$-category definitions model $k$-morphisms on the standard bihedron (interval, bigon, and so on). |
94 | 31 |
Other definitions have a separate set of 1-morphisms for each interval $[0,l] \sub \r$, |
32 |
a separate set of 2-morphisms for each rectangle $[0,l_1]\times [0,l_2] \sub \r^2$, |
|
33 |
and so on. |
|
34 |
(This allows for strict associativity.) |
|
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
35 |
Still other definitions (see, for example, \cite{MR2094071}) |
94 | 36 |
model the $k$-morphisms on more complicated combinatorial polyhedra. |
37 |
||
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
38 |
For our definition, we will allow our $k$-morphisms to have any shape, so long as it is homeomorphic to the standard $k$-ball. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
39 |
Thus we expect to associate a set of $k$-morphisms $\cC_k(X)$ to any $k$-manifold $X$ homeomorphic |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
40 |
to the standard $k$-ball. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
41 |
By ``a $k$-ball" we mean any $k$-manifold which is homeomorphic to the |
103 | 42 |
standard $k$-ball. |
43 |
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
|
44 |
preferred homeomorphism to the standard $k$-ball, and the same applies to ``a $k$-sphere" below. |
103 | 45 |
|
109 | 46 |
Given a homeomorphism $f:X\to Y$ between $k$-balls (not necessarily fixed on |
47 |
the boundary), we want a corresponding |
|
94 | 48 |
bijection of sets $f:\cC(X)\to \cC(Y)$. |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
49 |
(This will imply ``strong duality", among other things.) Putting these together, we have |
94 | 50 |
|
187 | 51 |
\begin{axiom}[Morphisms] |
52 |
\label{axiom:morphisms} |
|
53 |
For each $0 \le k \le n$, we have a functor $\cC_k$ from |
|
103 | 54 |
the category of $k$-balls and |
187 | 55 |
homeomorphisms to the category of sets and bijections. |
56 |
\end{axiom} |
|
57 |
||
94 | 58 |
|
59 |
(Note: We usually omit the subscript $k$.) |
|
60 |
||
195 | 61 |
We are so far being deliberately vague about what flavor of $k$-balls |
62 |
we are considering. |
|
94 | 63 |
They could be unoriented or oriented or Spin or $\mbox{Pin}_\pm$. |
64 |
They could be topological or PL or smooth. |
|
195 | 65 |
%\nn{need to check whether this makes much difference} |
94 | 66 |
(If smooth, ``homeomorphism" should be read ``diffeomorphism", and we would need |
386 | 67 |
to be fussier about corners and boundaries.) |
94 | 68 |
For each flavor of manifold there is a corresponding flavor of $n$-category. |
195 | 69 |
We will concentrate on the case of PL unoriented manifolds. |
94 | 70 |
|
311
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
71 |
(The ambitious reader may want to keep in mind two other classes of balls. |
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
72 |
The first is balls equipped with a map to some other space $Y$ (c.f. \cite{MR2079378}). |
311
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
73 |
This will be used below to describe the blob complex of a fiber bundle with |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
74 |
base space $Y$. |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
75 |
The second is balls equipped with a section of the the tangent bundle, or the frame |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
76 |
bundle (i.e.\ framed balls), or more generally some flag bundle associated to the tangent bundle. |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
77 |
These can be used to define categories with less than the ``strong" duality we assume here, |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
78 |
though we will not develop that idea fully in this paper.) |
62d112a2df12
mention some other flavors of balls
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
79 |
|
94 | 80 |
Next we consider domains and ranges of morphisms (or, as we prefer to say, boundaries |
81 |
of morphisms). |
|
82 |
The 0-sphere is unusual among spheres in that it is disconnected. |
|
83 |
Correspondingly, for 1-morphisms it makes sense to distinguish between domain and range. |
|
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
84 |
(Actually, this is only true in the oriented case, with 1-morphisms parameterized |
359
6224e50c9311
metric independence for homeo action (proof done now)
Kevin Walker <kevin@canyon23.net>
parents:
356
diff
changeset
|
85 |
by {\it oriented} 1-balls.) |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
86 |
For $k>1$ and in the presence of strong duality the division into domain and range makes less sense. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
87 |
For example, in a pivotal tensor category, there are natural isomorphisms $\Hom{}{A}{B \tensor C} \isoto \Hom{}{B^* \tensor A}{C}$, etc. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
88 |
(sometimes called ``Frobenius reciprocity''), which canonically identify all the morphism spaces which have the same boundary. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
89 |
We prefer to not make the distinction in the first place. |
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
90 |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
91 |
Instead, we will combine the domain and range into a single entity which we call the |
94 | 92 |
boundary of a morphism. |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
93 |
Morphisms are modeled on balls, so their boundaries are modeled on spheres. |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
94 |
In other words, we need to extend the functors $\cC_{k-1}$ from balls to spheres, for |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
95 |
$1\le k \le n$. |
313 | 96 |
At first it might seem that we need another axiom for this, but in fact once we have |
333 | 97 |
all the axioms in the subsection for $0$ through $k-1$ we can use a colimit |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
98 |
construction, as described in Subsection \ref{ss:ncat-coend} below, to extend $\cC_{k-1}$ |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
99 |
to spheres (and any other manifolds): |
94 | 100 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
101 |
\begin{lem} |
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
102 |
\label{lem:spheres} |
333 | 103 |
For each $1 \le k \le n$, we have a functor $\cl{\cC}_{k-1}$ from |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
104 |
the category of $k{-}1$-spheres and |
187 | 105 |
homeomorphisms to the category of sets and bijections. |
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
106 |
\end{lem} |
94 | 107 |
|
402 | 108 |
We postpone the proof of this result until after we've actually given all the axioms. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
109 |
Note that defining this functor for some $k$ only requires the data described in Axiom \ref{axiom:morphisms} at level $k$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
110 |
along with the data described in the other Axioms at lower levels. |
263
fc3e10aa0d40
minor edits at the beginning of ncat
Scott Morrison <scott@tqft.net>
parents:
261
diff
changeset
|
111 |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
112 |
%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 | 113 |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
114 |
\begin{axiom}[Boundaries]\label{nca-boundary} |
333 | 115 |
For each $k$-ball $X$, we have a map of sets $\bd: \cC_k(X)\to \cl{\cC}_{k-1}(\bd X)$. |
187 | 116 |
These maps, for various $X$, comprise a natural transformation of functors. |
117 |
\end{axiom} |
|
94 | 118 |
|
119 |
(Note that the first ``$\bd$" above is part of the data for the category, |
|
120 |
while the second is the ordinary boundary of manifolds.) |
|
121 |
||
333 | 122 |
Given $c\in\cl{\cC}(\bd(X))$, we will write $\cC(X; c)$ for $\bd^{-1}(c)$, those morphisms with specified boundary $c$. |
94 | 123 |
|
124 |
Most of the examples of $n$-categories we are interested in are enriched in the following sense. |
|
103 | 125 |
The various sets of $n$-morphisms $\cC(X; c)$, for all $n$-balls $X$ and |
333 | 126 |
all $c\in \cl{\cC}(\bd X)$, have the structure of an object in some auxiliary symmetric monoidal category |
94 | 127 |
(e.g.\ vector spaces, or modules over some ring, or chain complexes), |
128 |
and all the structure maps of the $n$-category should be compatible with the auxiliary |
|
129 |
category structure. |
|
130 |
Note that this auxiliary structure is only in dimension $n$; |
|
131 |
$\cC(Y; c)$ is just a plain set if $\dim(Y) < n$. |
|
132 |
||
133 |
\medskip |
|
109 | 134 |
\nn{ |
135 |
%At the moment I'm a little confused about orientations, and more specifically |
|
136 |
%about the role of orientation-reversing maps of boundaries when gluing oriented manifolds. |
|
137 |
Maybe need a discussion about what the boundary of a manifold with a |
|
138 |
structure (e.g. orientation) means. |
|
94 | 139 |
Tentatively, I think we need to redefine the oriented boundary of an oriented $n$-manifold. |
140 |
Instead of an ordinary oriented $(n-1)$-manifold via the inward (or outward) normal |
|
141 |
first (or last) convention, perhaps it is better to define the boundary to be an $(n-1)$-manifold |
|
142 |
equipped with an orientation of its once-stabilized tangent bundle. |
|
143 |
Similarly, in dimension $n-k$ we would have manifolds equipped with an orientation of |
|
144 |
their $k$ times stabilized tangent bundles. |
|
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
145 |
(cf. \cite{MR2079378}.) |
115 | 146 |
Probably should also have a framing of the stabilized dimensions in order to indicate which |
147 |
side the bounded manifold is on. |
|
94 | 148 |
For the moment just stick with unoriented manifolds.} |
149 |
\medskip |
|
150 |
||
151 |
We have just argued that the boundary of a morphism has no preferred splitting into |
|
152 |
domain and range, but the converse meets with our approval. |
|
153 |
That is, given compatible domain and range, we should be able to combine them into |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
154 |
the full boundary of a morphism. |
402 | 155 |
The following lemma will follow from the colimit construction used to define $\cl{\cC}_{k-1}$ |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
156 |
on spheres. |
94 | 157 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
158 |
\begin{lem}[Boundary from domain and range] |
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
159 |
\label{lem:domain-and-range} |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
160 |
Let $S = B_1 \cup_E B_2$, where $S$ is a $k{-}1$-sphere $(1\le k\le n)$, |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
161 |
$B_i$ is a $k{-}1$-ball, and $E = B_1\cap B_2$ is a $k{-}2$-sphere (Figure \ref{blah3}). |
333 | 162 |
Let $\cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2)$ denote the fibered product of the |
163 |
two maps $\bd: \cC(B_i)\to \cl{\cC}(E)$. |
|
187 | 164 |
Then we have an injective map |
94 | 165 |
\[ |
402 | 166 |
\gl_E : \cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2) \into \cl{\cC}(S) |
94 | 167 |
\] |
187 | 168 |
which is natural with respect to the actions of homeomorphisms. |
333 | 169 |
(When $k=1$ we stipulate that $\cl{\cC}(E)$ is a point, so that the above fibered product |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
170 |
becomes a normal product.) |
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
171 |
\end{lem} |
94 | 172 |
|
179 | 173 |
\begin{figure}[!ht] |
186 | 174 |
$$ |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
175 |
\begin{tikzpicture}[%every label/.style={green} |
333 | 176 |
] |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
177 |
\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
|
178 |
\node[fill=black, circle, label=above:$E$, inner sep=2pt](N) at (0,2) {}; |
186 | 179 |
\draw (S) arc (-90:90:1); |
180 |
\draw (N) arc (90:270:1); |
|
181 |
\node[left] at (-1,1) {$B_1$}; |
|
182 |
\node[right] at (1,1) {$B_2$}; |
|
183 |
\end{tikzpicture} |
|
184 |
$$ |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
185 |
\caption{Combining two balls to get a full boundary.}\label{blah3}\end{figure} |
179 | 186 |
|
402 | 187 |
Note that we insist on injectivity above. \todo{Make sure we prove this, as a consequence of the next axiom, later.} |
109 | 188 |
|
333 | 189 |
Let $\cl{\cC}(S)_E$ denote the image of $\gl_E$. |
402 | 190 |
We will refer to elements of $\cl{\cC}(S)_E$ as ``splittable along $E$" or ``transverse to $E$". |
109 | 191 |
|
195 | 192 |
If $X$ is a $k$-ball and $E \sub \bd X$ splits $\bd X$ into two $k{-}1$-balls $B_1$ and $B_2$ |
333 | 193 |
as above, then we define $\cC(X)_E = \bd^{-1}(\cl{\cC}(\bd X)_E)$. |
195 | 194 |
|
333 | 195 |
We will call the projection $\cl{\cC}(S)_E \to \cC(B_i)$ |
110 | 196 |
a {\it restriction} map and write $\res_{B_i}(a)$ |
333 | 197 |
(or simply $\res(a)$ when there is no ambiguity), for $a\in \cl{\cC}(S)_E$. |
195 | 198 |
More generally, we also include under the rubric ``restriction map" the |
199 |
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
|
200 |
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
|
201 |
of restriction maps. |
195 | 202 |
In particular, we have restriction maps $\cC(X)_E \to \cC(B_i)$ |
203 |
($i = 1, 2$, notation from previous paragraph). |
|
204 |
These restriction maps can be thought of as |
|
205 |
domain and range maps, relative to the choice of splitting $\bd X = B_1 \cup_E B_2$. |
|
94 | 206 |
|
207 |
||
208 |
Next we consider composition of morphisms. |
|
209 |
For $n$-categories which lack strong duality, one usually considers |
|
210 |
$k$ different types of composition of $k$-morphisms, each associated to a different direction. |
|
211 |
(For example, vertical and horizontal composition of 2-morphisms.) |
|
212 |
In the presence of strong duality, these $k$ distinct compositions are subsumed into |
|
213 |
one general type of composition which can be in any ``direction". |
|
214 |
||
187 | 215 |
\begin{axiom}[Composition] |
216 |
Let $B = B_1 \cup_Y B_2$, where $B$, $B_1$ and $B_2$ are $k$-balls ($0\le k\le n$) |
|
179 | 217 |
and $Y = B_1\cap B_2$ is a $k{-}1$-ball (Figure \ref{blah5}). |
103 | 218 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
94 | 219 |
Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$. |
220 |
We have restriction (domain or range) maps $\cC(B_i)_E \to \cC(Y)$. |
|
221 |
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
|
222 |
We have a map |
94 | 223 |
\[ |
224 |
\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B)_E |
|
225 |
\] |
|
226 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
227 |
to the intersection of the boundaries of $B$ and $B_i$. |
|
228 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
187 | 229 |
(For $k=n$, see below.) |
230 |
\end{axiom} |
|
94 | 231 |
|
179 | 232 |
\begin{figure}[!ht] |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
233 |
$$ |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
234 |
\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
|
235 |
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
|
236 |
\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
|
237 |
\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
|
238 |
\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
|
239 |
\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
|
240 |
\draw (N) -- (S); |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
241 |
\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
|
242 |
\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
|
243 |
\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
|
244 |
\end{tikzpicture} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
245 |
$$ |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
246 |
\caption{From two balls to one ball.}\label{blah5}\end{figure} |
179 | 247 |
|
195 | 248 |
\begin{axiom}[Strict associativity] \label{nca-assoc} |
187 | 249 |
The composition (gluing) maps above are strictly associative. |
250 |
\end{axiom} |
|
102 | 251 |
|
179 | 252 |
\begin{figure}[!ht] |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
253 |
$$\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
|
254 |
\caption{An example of strict associativity.}\label{blah6}\end{figure} |
179 | 255 |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
256 |
We'll use the notations $a\bullet b$ as well as $a \cup b$ for the glued together field $\gl_Y(a, b)$. |
110 | 257 |
In the other direction, we will call the projection from $\cC(B)_E$ to $\cC(B_i)_E$ |
195 | 258 |
a restriction map (one of many types of map so called) and write $\res_{B_i}(a)$ for $a\in \cC(B)_E$. |
259 |
%Compositions of boundary and restriction maps will also be called restriction maps. |
|
260 |
%For example, if $B$ is a $k$-ball and $Y\sub \bd B$ is a $k{-}1$-ball, there is a |
|
261 |
%restriction map from $\cC(B)_{\bd Y}$ to $\cC(Y)$. |
|
110 | 262 |
|
192 | 263 |
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
|
264 |
We will call elements of $\cC(B)_Y$ morphisms which are `splittable along $Y$' or `transverse to $Y$'. |
192 | 265 |
We have $\cC(B)_Y \sub \cC(B)_E \sub \cC(B)$. |
109 | 266 |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
267 |
More generally, let $\alpha$ be a subdivision of a ball $X$ into smaller balls. |
193 | 268 |
Let $\cC(X)_\alpha \sub \cC(X)$ denote the image of the iterated gluing maps from |
269 |
the smaller balls to $X$. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
270 |
We say that elements of $\cC(X)_\alpha$ are morphisms which are `splittable along $\alpha$'. |
193 | 271 |
In situations where the subdivision is notationally anonymous, we will write |
272 |
$\cC(X)\spl$ for the morphisms which are splittable along (a.k.a.\ transverse to) |
|
273 |
the unnamed subdivision. |
|
335
9bf409eb5040
mostly finished inserting \cl
Scott Morrison <scott@tqft.net>
parents:
334
diff
changeset
|
274 |
If $\beta$ is a subdivision of $\bd X$, we define $\cC(X)_\beta \deq \bd\inv(\cl{\cC}(\bd X)_\beta)$; |
193 | 275 |
this can also be denoted $\cC(X)\spl$ if the context contains an anonymous |
276 |
subdivision of $\bd X$ and no competing subdivision of $X$. |
|
192 | 277 |
|
278 |
The above two composition axioms are equivalent to the following one, |
|
102 | 279 |
which we state in slightly vague form. |
280 |
||
281 |
\xxpar{Multi-composition:} |
|
282 |
{Given any decomposition $B = B_1\cup\cdots\cup B_m$ of a $k$-ball |
|
283 |
into small $k$-balls, there is a |
|
284 |
map from an appropriate subset (like a fibered product) |
|
193 | 285 |
of $\cC(B_1)\spl\times\cdots\times\cC(B_m)\spl$ to $\cC(B)\spl$, |
95 | 286 |
and these various $m$-fold composition maps satisfy an |
365
a93bb76a8525
moving an already prepared diagram out of tempkw
Scott Morrison <scott@tqft.net>
parents:
364
diff
changeset
|
287 |
operad-type strict associativity condition (Figure \ref{fig:operad-composition}).} |
179 | 288 |
|
289 |
\begin{figure}[!ht] |
|
365
a93bb76a8525
moving an already prepared diagram out of tempkw
Scott Morrison <scott@tqft.net>
parents:
364
diff
changeset
|
290 |
$$\mathfig{.8}{ncat/operad-composition}$$ |
a93bb76a8525
moving an already prepared diagram out of tempkw
Scott Morrison <scott@tqft.net>
parents:
364
diff
changeset
|
291 |
\caption{Operad composition and associativity}\label{fig:operad-composition}\end{figure} |
95 | 292 |
|
293 |
The next axiom is related to identity morphisms, though that might not be immediately obvious. |
|
294 |
||
343 | 295 |
\begin{axiom}[Product (identity) morphisms, preliminary version] |
296 |
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)$, |
|
297 |
usually denoted $a\mapsto a\times D$ for $a\in \cC(X)$. |
|
298 |
These maps must satisfy the following conditions. |
|
299 |
\begin{enumerate} |
|
300 |
\item |
|
301 |
If $f:X\to X'$ and $\tilde{f}:X\times D \to X'\times D'$ are maps such that the diagram |
|
302 |
\[ \xymatrix{ |
|
303 |
X\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & X'\times D' \ar[d]^{\pi} \\ |
|
304 |
X \ar[r]^{f} & X' |
|
305 |
} \] |
|
306 |
commutes, then we have |
|
307 |
\[ |
|
308 |
\tilde{f}(a\times D) = f(a)\times D' . |
|
309 |
\] |
|
310 |
\item |
|
311 |
Product morphisms are compatible with gluing (composition) in both factors: |
|
312 |
\[ |
|
313 |
(a'\times D)\bullet(a''\times D) = (a'\bullet a'')\times D |
|
314 |
\] |
|
315 |
and |
|
316 |
\[ |
|
317 |
(a\times D')\bullet(a\times D'') = a\times (D'\bullet D'') . |
|
318 |
\] |
|
319 |
\item |
|
320 |
Product morphisms are associative: |
|
321 |
\[ |
|
322 |
(a\times D)\times D' = a\times (D\times D') . |
|
323 |
\] |
|
324 |
(Here we are implicitly using functoriality and the obvious homeomorphism |
|
325 |
$(X\times D)\times D' \to X\times(D\times D')$.) |
|
326 |
\item |
|
327 |
Product morphisms are compatible with restriction: |
|
328 |
\[ |
|
329 |
\res_{X\times E}(a\times D) = a\times E |
|
330 |
\] |
|
331 |
for $E\sub \bd D$ and $a\in \cC(X)$. |
|
332 |
\end{enumerate} |
|
333 |
\end{axiom} |
|
334 |
||
335 |
We will need to strengthen the above preliminary version of the axiom to allow |
|
336 |
for products which are ``pinched" in various ways along their boundary. |
|
352
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
337 |
(See Figure \ref{pinched_prods}.) |
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
338 |
\begin{figure}[t] |
364
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
339 |
$$ |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
340 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
341 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
342 |
\path[clip] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
343 |
\draw[blue,line width=2pt] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
344 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
345 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
346 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
347 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
348 |
\draw[blue,line width=1.5pt] (0,-3) -- (5.66,-3); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
349 |
\draw[->,red,line width=2pt] (2.83,-1.5) -- (2.83,-2.5); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
350 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
351 |
\qquad \qquad |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
352 |
\begin{tikzpicture}[baseline=-0.15cm] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
353 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
354 |
\path[clip] (0,1) arc (90:135:8 and 4) arc (-135:-90:8 and 4) -- cycle; |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
355 |
\draw[blue,line width=2pt] (0,1) arc (90:135:8 and 4) arc (-135:-90:8 and 4) -- cycle; |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
356 |
\foreach \x in {-6, -5.5, ..., 0} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
357 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
358 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
359 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
360 |
\draw[blue,line width=1.5pt] (-5.66,-3.15) -- (0,-3.15); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
361 |
\draw[->,red,line width=2pt] (-2.83,-1.5) -- (-2.83,-2.5); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
362 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
363 |
$$ |
352
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
364 |
\caption{Examples of pinched products}\label{pinched_prods} |
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
365 |
\end{figure} |
344 | 366 |
(The need for a strengthened version will become apparent in appendix \ref{sec:comparing-defs} |
367 |
where we construct a traditional category from a topological category.) |
|
343 | 368 |
Define a {\it pinched product} to be a map |
369 |
\[ |
|
370 |
\pi: E\to X |
|
371 |
\] |
|
344 | 372 |
such that $E$ is a $k{+}m$-ball, $X$ is a $k$-ball ($m\ge 1$), and $\pi$ is locally modeled |
343 | 373 |
on a standard iterated degeneracy map |
374 |
\[ |
|
344 | 375 |
d: \Delta^{k+m}\to\Delta^k . |
343 | 376 |
\] |
377 |
In other words, \nn{each point has a neighborhood blah blah...} |
|
378 |
(We thank Kevin Costello for suggesting this approach.) |
|
379 |
||
344 | 380 |
Note that for each interior point $x\in X$, $\pi\inv(x)$ is an $m$-ball, |
343 | 381 |
and for for each boundary point $x\in\bd X$, $\pi\inv(x)$ is a ball of dimension |
344 | 382 |
$l \le m$, with $l$ depending on $x$. |
343 | 383 |
|
384 |
It is easy to see that a composition of pinched products is again a pinched product. |
|
385 |
||
386 |
A {\it sub pinched product} is a sub-$m$-ball $E'\sub E$ such that the restriction |
|
387 |
$\pi:E'\to \pi(E')$ is again a pinched product. |
|
388 |
A {union} of pinched products is a decomposition $E = \cup_i E_i$ |
|
389 |
such that each $E_i\sub E$ is a sub pinched product. |
|
352
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
390 |
(See Figure \ref{pinched_prod_unions}.) |
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
391 |
\begin{figure}[t] |
364
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
392 |
$$ |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
393 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
394 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
395 |
\path[clip] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
396 |
\draw[blue,line width=2pt] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
397 |
\draw[blue] (0,0) -- (5.66,0); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
398 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
399 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
400 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
401 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
402 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
403 |
\qquad |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
404 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
405 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
406 |
\path[clip] (0,-1) rectangle (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
407 |
\draw[blue,line width=2pt] (0,-1) rectangle (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
408 |
\draw[blue] (0,0) -- (5,0); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
409 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
410 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
411 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
412 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
413 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
414 |
\qquad |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
415 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
416 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
417 |
\path[clip] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
418 |
\draw[blue,line width=2pt] (0,0) arc (135:45:4) arc (-45:-135:4); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
419 |
\draw[blue] (2.83,3) circle (3); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
420 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
421 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
422 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
423 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
424 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
425 |
$$ |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
426 |
$$ |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
427 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
428 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
429 |
\path[clip] (0,-1) rectangle (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
430 |
\draw[blue,line width=2pt] (0,-1) rectangle (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
431 |
\draw[blue] (0,-1) -- (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
432 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
433 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
434 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
435 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
436 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
437 |
\qquad |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
438 |
\begin{tikzpicture}[baseline=0] |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
439 |
\begin{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
440 |
\path[clip] (0,-1) rectangle (5,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
441 |
\draw[blue,line width=2pt] (0,-1) rectangle (5,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
442 |
\draw[blue] (1,-1) .. controls (2,-1) and (3,1) .. (4,1); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
443 |
\foreach \x in {0, 0.5, ..., 6} { |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
444 |
\draw[green!50!brown] (\x,-2) -- (\x,2); |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
445 |
} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
446 |
\end{scope} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
447 |
\end{tikzpicture} |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
448 |
$$ |
93d636f420c7
converting some hand drawn pictures to tikz
Scott Morrison <scott@tqft.net>
parents:
359
diff
changeset
|
449 |
\caption{Five examples of unions of pinched products}\label{pinched_prod_unions} |
352
38da35694123
added pinched product figs
Kevin Walker <kevin@canyon23.net>
parents:
348
diff
changeset
|
450 |
\end{figure} |
343 | 451 |
|
452 |
The product axiom will give a map $\pi^*:\cC(X)\to \cC(E)$ for each pinched product |
|
453 |
$\pi:E\to X$. |
|
344 | 454 |
Morphisms in the image of $\pi^*$ will be called product morphisms. |
343 | 455 |
Before stating the axiom, we illustrate it in our two motivating examples of $n$-categories. |
456 |
In the case where $\cC(X) = \{f: X\to T\}$, we define $\pi^*(f) = f\circ\pi$. |
|
344 | 457 |
In the case where $\cC(X)$ is the set of all labeled embedded cell complexes $K$ in $X$, |
458 |
define $\pi^*(K) = \pi\inv(K)$, with each codimension $i$ cell $\pi\inv(c)$ labeled by the |
|
459 |
same (traditional) $i$-morphism as the corresponding codimension $i$ cell $c$. |
|
343 | 460 |
|
461 |
||
462 |
\addtocounter{axiom}{-1} |
|
187 | 463 |
\begin{axiom}[Product (identity) morphisms] |
344 | 464 |
For each pinched product $\pi:E\to X$, with $X$ a $k$-ball and $E$ a $k{+}m$-ball ($m\ge 1$), |
465 |
there is a map $\pi^*:\cC(X)\to \cC(E)$. |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
466 |
These maps must satisfy the following conditions. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
467 |
\begin{enumerate} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
468 |
\item |
344 | 469 |
If $\pi:E\to X$ and $\pi':E'\to X'$ are pinched products, and |
470 |
if $f:X\to X'$ and $\tilde{f}:E \to E'$ are maps such that the diagram |
|
95 | 471 |
\[ \xymatrix{ |
344 | 472 |
E \ar[r]^{\tilde{f}} \ar[d]_{\pi} & E' \ar[d]^{\pi'} \\ |
95 | 473 |
X \ar[r]^{f} & X' |
474 |
} \] |
|
109 | 475 |
commutes, then we have |
476 |
\[ |
|
344 | 477 |
\pi'^*\circ f = \tilde{f}\circ \pi^*. |
109 | 478 |
\] |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
479 |
\item |
344 | 480 |
Product morphisms are compatible with gluing (composition). |
481 |
Let $\pi:E\to X$, $\pi_1:E_1\to X_1$, and $\pi_2:E_2\to X_2$ |
|
482 |
be pinched products with $E = E_1\cup E_2$. |
|
483 |
Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\sub X$. |
|
484 |
Then |
|
109 | 485 |
\[ |
344 | 486 |
\pi^*(a) = \pi_1^*(a_1)\bullet \pi_2^*(a_2) . |
109 | 487 |
\] |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
488 |
\item |
344 | 489 |
Product morphisms are associative. |
490 |
If $\pi:E\to X$ and $\rho:D\to E$ and pinched products then |
|
109 | 491 |
\[ |
344 | 492 |
\rho^*\circ\pi^* = (\pi\circ\rho)^* . |
109 | 493 |
\] |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
494 |
\item |
344 | 495 |
Product morphisms are compatible with restriction. |
496 |
If we have a commutative diagram |
|
497 |
\[ \xymatrix{ |
|
498 |
D \ar@{^(->}[r] \ar[d]_{\rho} & E \ar[d]^{\pi} \\ |
|
499 |
Y \ar@{^(->}[r] & X |
|
500 |
} \] |
|
501 |
such that $\rho$ and $\pi$ are pinched products, then |
|
110 | 502 |
\[ |
344 | 503 |
\res_D\circ\pi^* = \rho^*\circ\res_Y . |
110 | 504 |
\] |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
505 |
\end{enumerate} |
187 | 506 |
\end{axiom} |
95 | 507 |
|
343 | 508 |
|
509 |
\medskip |
|
128 | 510 |
|
95 | 511 |
All of the axioms listed above hold for both ordinary $n$-categories and $A_\infty$ $n$-categories. |
512 |
The last axiom (below), concerning actions of |
|
513 |
homeomorphisms in the top dimension $n$, distinguishes the two cases. |
|
514 |
||
515 |
We start with the plain $n$-category case. |
|
516 |
||
267 | 517 |
\begin{axiom}[Isotopy invariance in dimension $n$]{\textup{\textbf{[preliminary]}}} |
187 | 518 |
Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
95 | 519 |
to the identity on $\bd X$ and is isotopic (rel boundary) to the identity. |
187 | 520 |
Then $f$ acts trivially on $\cC(X)$; $f(a) = a$ for all $a\in \cC(X)$. |
267 | 521 |
\end{axiom} |
96 | 522 |
|
174 | 523 |
This axiom needs to be strengthened to force product morphisms to act as the identity. |
103 | 524 |
Let $X$ be an $n$-ball and $Y\sub\bd X$ be an $n{-}1$-ball. |
96 | 525 |
Let $J$ be a 1-ball (interval). |
526 |
We have a collaring homeomorphism $s_{Y,J}: X\cup_Y (Y\times J) \to X$. |
|
122 | 527 |
(Here we use the ``pinched" version of $Y\times J$. |
528 |
\nn{need notation for this}) |
|
96 | 529 |
We define a map |
530 |
\begin{eqnarray*} |
|
531 |
\psi_{Y,J}: \cC(X) &\to& \cC(X) \\ |
|
532 |
a & \mapsto & s_{Y,J}(a \cup ((a|_Y)\times J)) . |
|
533 |
\end{eqnarray*} |
|
142 | 534 |
(See Figure \ref{glue-collar}.) |
189 | 535 |
\begin{figure}[!ht] |
536 |
\begin{equation*} |
|
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
537 |
\begin{tikzpicture} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
538 |
\def\rad{1} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
539 |
\def\srad{0.75} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
540 |
\def\gap{4.5} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
541 |
\foreach \i in {0, 1, 2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
542 |
\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
|
543 |
\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
|
544 |
\foreach \n in {1,2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
545 |
\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
|
546 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
547 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
548 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
549 |
\begin{scope}[decoration={brace,amplitude=10,aspect=0.5}] |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
550 |
\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
|
551 |
\end{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
552 |
\node[right=1mm] at (0.east) {$a$}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
553 |
\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
|
554 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
555 |
\draw (1-small) circle (\srad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
556 |
\foreach \theta in {90, 72, ..., -90} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
557 |
\draw[blue] (1) -- ($(1)+(\rad,0)+(\theta:\srad)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
558 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
559 |
\filldraw[fill=white] (1) circle (\rad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
560 |
\foreach \n in {1,2} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
561 |
\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
|
562 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
563 |
\node[below] at (1-small.south) {$a \times J$}; |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
564 |
\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
|
565 |
|
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
566 |
\begin{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
567 |
\path[clip] (2) circle (\rad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
568 |
\draw[clip] (2.east) circle (\srad); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
569 |
\foreach \y in {1, 0.86, ..., -1} { |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
570 |
\draw[blue] ($(2)+(-1,\y) $)-- ($(2)+(1,\y)$); |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
571 |
} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
572 |
\end{scope} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
573 |
\end{tikzpicture} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
574 |
\end{equation*} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
575 |
\begin{equation*} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
576 |
\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 | 577 |
\end{equation*} |
578 |
||
579 |
\caption{Extended homeomorphism.}\label{glue-collar}\end{figure} |
|
174 | 580 |
We say that $\psi_{Y,J}$ is {\it extended isotopic} to the identity map. |
581 |
\nn{bad terminology; fix it later} |
|
582 |
\nn{also need to make clear that plain old isotopic to the identity implies |
|
583 |
extended isotopic} |
|
97 | 584 |
\nn{maybe remark that in some examples (e.g.\ ones based on sub cell complexes) |
585 |
extended isotopies are also plain isotopies, so |
|
586 |
no extension necessary} |
|
96 | 587 |
It can be thought of as the action of the inverse of |
588 |
a map which projects a collar neighborhood of $Y$ onto $Y$. |
|
589 |
||
590 |
The revised axiom is |
|
591 |
||
267 | 592 |
\addtocounter{axiom}{-1} |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
593 |
\begin{axiom}{\textup{\textbf{[topological version]}} Extended isotopy invariance in dimension $n$} |
187 | 594 |
\label{axiom:extended-isotopies} |
595 |
Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
|
174 | 596 |
to the identity on $\bd X$ and is extended isotopic (rel boundary) to the identity. |
187 | 597 |
Then $f$ acts trivially on $\cC(X)$. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
598 |
\end{axiom} |
96 | 599 |
|
600 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
94 | 601 |
|
97 | 602 |
\smallskip |
603 |
||
604 |
For $A_\infty$ $n$-categories, we replace |
|
605 |
isotopy invariance with the requirement that families of homeomorphisms act. |
|
606 |
For the moment, assume that our $n$-morphisms are enriched over chain complexes. |
|
607 |
||
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
608 |
\addtocounter{axiom}{-1} |
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
609 |
\begin{axiom}{\textup{\textbf{[$A_\infty$ version]}} Families of homeomorphisms act in dimension $n$} |
335
9bf409eb5040
mostly finished inserting \cl
Scott Morrison <scott@tqft.net>
parents:
334
diff
changeset
|
610 |
For each $n$-ball $X$ and each $c\in \cl{\cC}(\bd X)$ we have a map of chain complexes |
97 | 611 |
\[ |
612 |
C_*(\Homeo_\bd(X))\ot \cC(X; c) \to \cC(X; c) . |
|
613 |
\] |
|
614 |
Here $C_*$ means singular chains and $\Homeo_\bd(X)$ is the space of homeomorphisms of $X$ |
|
615 |
which fix $\bd X$. |
|
616 |
These action maps are required to be associative up to homotopy |
|
617 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
236 | 618 |
a diagram like the one in Proposition \ref{CHprop} commutes. |
97 | 619 |
\nn{repeat diagram here?} |
187 | 620 |
\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
|
621 |
\end{axiom} |
97 | 622 |
|
623 |
We should strengthen the above axiom to apply to families of extended homeomorphisms. |
|
109 | 624 |
To do this we need to explain how extended homeomorphisms form a topological space. |
97 | 625 |
Roughly, the set of $n{-}1$-balls in the boundary of an $n$-ball has a natural topology, |
626 |
and we can replace the class of all intervals $J$ with intervals contained in $\r$. |
|
627 |
\nn{need to also say something about collaring homeomorphisms.} |
|
628 |
\nn{this paragraph needs work.} |
|
629 |
||
103 | 630 |
Note that if we take homology of chain complexes, we turn an $A_\infty$ $n$-category |
631 |
into a plain $n$-category (enriched over graded groups). |
|
97 | 632 |
\nn{say more here?} |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
633 |
In a different direction, if we enrich over topological spaces instead of chain complexes, |
97 | 634 |
we get a space version of an $A_\infty$ $n$-category, with $\Homeo_\bd(X)$ acting |
635 |
instead of $C_*(\Homeo_\bd(X))$. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
636 |
Taking singular chains converts such a space type $A_\infty$ $n$-category into a chain complex |
97 | 637 |
type $A_\infty$ $n$-category. |
638 |
||
99 | 639 |
\medskip |
97 | 640 |
|
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
641 |
The alert reader will have already noticed that our definition of a (plain) $n$-category |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
642 |
is extremely similar to our definition of a topological system of fields. |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
643 |
There are two essential differences. |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
644 |
First, for the $n$-category definition we restrict our attention to balls |
99 | 645 |
(and their boundaries), while for fields we consider all manifolds. |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
646 |
Second, in category definition we directly impose isotopy |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
647 |
invariance in dimension $n$, while in the fields definition we have do not expect isotopy invariance on fields |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
648 |
but instead remember a subspace of local relations which contain differences of isotopic fields. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
649 |
(Recall that the compensation for this complication is that we can demand that the gluing map for fields is injective.) |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
650 |
Thus a system of fields and local relations $(\cF,\cU)$ determines an $n$-category $\cC_ {\cF,\cU}$ simply by restricting our attention to |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
651 |
balls and, at level $n$, quotienting out by the local relations: |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
652 |
\begin{align*} |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
653 |
\cC_{\cF,\cU}(B^k) & = \begin{cases}\cF(B) & \text{when $k<n$,} \\ \cF(B) / \cU(B) & \text{when $k=n$.}\end{cases} |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
654 |
\end{align*} |
142 | 655 |
This $n$-category can be thought of as the local part of the fields. |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
656 |
Conversely, given a topological $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
|
657 |
a colimit construction; see \S \ref{ss:ncat_fields} below. |
99 | 658 |
|
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
659 |
\subsection{Examples of $n$-categories} |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
660 |
\label{ss:ncat-examples} |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
661 |
|
101 | 662 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
663 |
We now describe several classes of examples of $n$-categories satisfying our axioms. |
101 | 664 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
665 |
\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
|
666 |
\rm |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
667 |
\label{ex:maps-to-a-space}% |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
668 |
Fix a `target space' $T$, any topological space. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
669 |
We define $\pi_{\leq n}(T)$, the fundamental $n$-category of $T$, as follows. |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
670 |
For $X$ a $k$-ball with $k < n$, define $\pi_{\leq n}(T)(X)$ to be the set of |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
671 |
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
|
672 |
For $X$ an $n$-ball define $\pi_{\leq n}(T)(X)$ to be continuous maps from $X$ to $T$ modulo |
196 | 673 |
homotopies fixed on $\bd X$. |
101 | 674 |
(Note that homotopy invariance implies isotopy invariance.) |
675 |
For $a\in \cC(X)$ define the product morphism $a\times D \in \cC(X\times D)$ to |
|
676 |
be $a\circ\pi_X$, where $\pi_X : X\times D \to X$ is the projection. |
|
313 | 677 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
678 |
Recall we described a system of fields and local relations based on maps to $T$ in Example \ref{ex:maps-to-a-space(fields)} above. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
679 |
Constructing a system of fields from $\pi_{\leq n}(T)$ recovers that example. |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
680 |
\end{example} |
101 | 681 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
682 |
\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
|
683 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
684 |
\label{ex:maps-to-a-space-with-a-fiber}% |
196 | 685 |
We can modify the example above, by fixing a |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
686 |
closed $m$-manifold $F$, and defining $\pi^{\times F}_{\leq n}(T)(X) = \Maps(X \times F \to T)$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
687 |
otherwise leaving the definition in Example \ref{ex:maps-to-a-space} unchanged. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
688 |
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
|
689 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
690 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
691 |
\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
|
692 |
\rm |
190
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
693 |
\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
|
694 |
We can linearize Examples \ref{ex:maps-to-a-space} and \ref{ex:maps-to-a-space-with-a-fiber} as follows. |
101 | 695 |
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
|
696 |
(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
|
697 |
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
|
698 |
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
|
699 |
the $R$-module of finite linear combinations of continuous maps from $X\times F$ to $T$, |
101 | 700 |
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
|
701 |
$h: X\times F\times I \to T$, then $a = \alpha(h)b$. |
101 | 702 |
\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
|
703 |
\end{example} |
16efb5711c6f
minor edits in ncats
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
189
diff
changeset
|
704 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
705 |
The next example is only intended to be illustrative, as we don't specify which definition of a `traditional $n$-category' we intend. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
706 |
Further, most of these definitions don't even have an agreed-upon notion of `strong duality', which we assume here. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
707 |
\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
|
708 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
709 |
\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
|
710 |
Given a `traditional $n$-category with strong duality' $C$ |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
711 |
define $\cC(X)$, for $X$ a $k$-ball with $k < n$, |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
712 |
to be the set of all $C$-labeled embedded cell complexes of $X$ (c.f. \S \ref{sec:fields}). |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
336
diff
changeset
|
713 |
For $X$ an $n$-ball and $c\in \cl{\cC}(\bd X)$, define $\cC(X; c)$ to be finite linear |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
714 |
combinations of $C$-labeled embedded cell complexes of $X$ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
715 |
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
|
716 |
Define a product morphism $a\times D$, for $D$ an $m$-ball, to be the product of the cell complex of $a$ with $D$, |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
717 |
with each cell labelled according to the corresponding cell for $a$. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
718 |
(These two cells have the same codimension.) |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
719 |
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
|
720 |
Define $\cC(X)$, for $\dim(X) < n$, |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
721 |
to be the set of all $C$-labeled embedded cell complexes of $X\times F$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
722 |
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
|
723 |
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
|
724 |
\nn{refer elsewhere for details?} |
313 | 725 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
726 |
Recall we described a system of fields and local relations based on a `traditional $n$-category' |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
727 |
$C$ in Example \ref{ex:traditional-n-categories(fields)} above. |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
728 |
\nn{KW: We already refer to \S \ref{sec:fields} above} |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
729 |
Constructing a system of fields from $\cC$ recovers that example. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
730 |
\todo{Except that it doesn't: pasting diagrams v.s. string diagrams.} |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
731 |
\nn{KW: but the above example is all about string diagrams. the only difference is at the top level, |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
732 |
where the quotient is built in. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
733 |
but (string diagrams)/(relations) is isomorphic to |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
734 |
(pasting diagrams composed of smaller string diagrams)/(relations)} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
735 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
736 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
737 |
Finally, we describe a version of the bordism $n$-category suitable to our definitions. |
204 | 738 |
|
739 |
\nn{should also include example of ncats coming from TQFTs, or refer ahead to where we discuss that example} |
|
740 |
||
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
741 |
\newcommand{\Bord}{\operatorname{Bord}} |
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
742 |
\begin{example}[The bordism $n$-category, plain version] |
348
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
743 |
\label{ex:bord-cat} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
744 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
745 |
\label{ex:bordism-category} |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
746 |
For a $k$-ball $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
|
747 |
submanifolds $W$ of $X\times \Real^\infty$ such that the projection $W \to X$ is transverse |
196 | 748 |
to $\bd X$. |
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
749 |
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
|
750 |
we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism |
196 | 751 |
$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
|
752 |
\end{example} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
753 |
|
196 | 754 |
%\nn{the next example might be an unnecessary distraction. consider deleting it.} |
101 | 755 |
|
196 | 756 |
%\begin{example}[Variation on the above examples] |
757 |
%We could allow $F$ to have boundary and specify boundary conditions on $X\times \bd F$, |
|
758 |
%for example product boundary conditions or take the union over all boundary conditions. |
|
759 |
%%\nn{maybe should not emphasize this case, since it's ``better" in some sense |
|
760 |
%%to think of these guys as affording a representation |
|
761 |
%%of the $n{+}1$-category associated to $\bd F$.} |
|
762 |
%\end{example} |
|
101 | 763 |
|
764 |
||
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
765 |
%We have two main examples of $A_\infty$ $n$-categories, coming from maps to a target space and from the blob complex. |
101 | 766 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
767 |
\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
|
768 |
\rm |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
769 |
\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
|
770 |
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$. |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
771 |
For a $k$-ball $X$, with $k < n$, the set $\pi^\infty_{\leq n}(T)(X)$ is 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
|
772 |
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
|
773 |
$$C_*(\Maps_c(X\times F \to T)),$$ where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary, |
101 | 774 |
and $C_*$ denotes singular chains. |
211 | 775 |
\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
|
776 |
\end{example} |
101 | 777 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
778 |
See also Theorem \ref{thm:map-recon} below, recovering $C_*(\Maps(M \to T))$ up to |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
779 |
homotopy the blob complex of $M$ with coefficients in $\pi^\infty_{\le n}(T)$. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
780 |
|
279 | 781 |
\begin{example}[Blob complexes of balls (with a fiber)] |
782 |
\rm |
|
783 |
\label{ex:blob-complexes-of-balls} |
|
291 | 784 |
Fix an $n-k$-dimensional manifold $F$ and an $n$-dimensional system of fields $\cE$. |
785 |
We will define an $A_\infty$ $k$-category $\cC$. |
|
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
786 |
When $X$ is a $m$-ball, with $m<k$, define $\cC(X) = \cE(X\times F)$. |
291 | 787 |
When $X$ is an $k$-ball, |
279 | 788 |
define $\cC(X; c) = \bc^\cE_*(X\times F; c)$ |
789 |
where $\bc^\cE_*$ denotes the blob complex based on $\cE$. |
|
790 |
\end{example} |
|
101 | 791 |
|
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
399
diff
changeset
|
792 |
This example will be essential for Theorem \ref{thm:product} below, which allows us to compute the blob complex of a product. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
793 |
Notice that with $F$ a point, the above example is a construction turning a topological |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
794 |
$n$-category $\cC$ into an $A_\infty$ $n$-category which we'll denote by $\bc_*(\cC)$. |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
795 |
We think of this as providing a `free resolution' |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
796 |
\nn{`cofibrant replacement'?} |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
797 |
of the topological $n$-category. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
798 |
\todo{Say more here!} |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
799 |
In fact, there is also a trivial, but mostly uninteresting, way to do this: |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
800 |
we can think of each vector space associated to an $n$-ball as a chain complex concentrated in degree $0$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
801 |
and take $\CD{B}$ to act trivially. |
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
265
diff
changeset
|
802 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
803 |
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)$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
804 |
It's easy to see that with $n=0$, the corresponding system of fields is just |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
805 |
linear combinations of connected components of $T$, and the local relations are trivial. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
806 |
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
|
807 |
|
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
808 |
\begin{example}[The bordism $n$-category, $A_\infty$ version] |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
809 |
\rm |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
810 |
\label{ex:bordism-category-ainf} |
348
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
811 |
As in Example \ref{ex:bord-cat}, for $X$ a $k$-ball, $k<n$, we define $\Bord^{n,\infty}(X)$ |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
812 |
to be the set of all $k$-dimensional |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
813 |
submanifolds $W$ of $X\times \Real^\infty$ such that the projection $W \to X$ is transverse |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
814 |
to $\bd X$. |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
815 |
For an $n$-ball $X$ with boundary condition $c$ |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
816 |
define $\Bord^{n,\infty}(X; c)$ to be the space of all $k$-dimensional |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
817 |
submanifolds $W$ of $X\times \Real^\infty$ such that |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
818 |
$W$ coincides with $c$ at $\bd X \times \Real^\infty$. |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
819 |
(The topology on this space is induced by ambient isotopy rel boundary. |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
820 |
This is homotopy equivalent to a disjoint union of copies $\mathrm{B}\!\Homeo(W')$, where |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
821 |
$W'$ runs though representatives of homeomorphism types of such manifolds.) |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
822 |
\nn{check this} |
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
823 |
\end{example} |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
824 |
|
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
825 |
|
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
826 |
|
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
827 |
Let $\cE\cB_n$ be the operad of smooth embeddings of $k$ (little) |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
828 |
copies of the standard $n$-ball $B^n$ into another (big) copy of $B^n$. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
829 |
(We require that the interiors of the little balls be disjoint, but their |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
830 |
boundaries are allowed to meet. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
831 |
Note in particular that the space for $k=1$ contains a copy of $\Diff(B^n)$, namely |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
832 |
the embeddings of a ``little" ball with image all of the big ball $B^n$. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
833 |
\nn{should we warn that the inclusion of this copy of $\Diff(B^n)$ is not a homotopy equivalence?}) |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
834 |
The operad $\cE\cB_n$ is homotopy equivalent to the standard framed little $n$-ball operad. |
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
835 |
By shrinking the little balls (precomposing them with dilations), |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
836 |
we see that both operads are homotopic to the space of $k$ framed points |
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
837 |
in $B^n$. |
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
838 |
It is easy to see that $n$-fold loop spaces $\Omega^n(T)$ have |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
839 |
an action of $\cE\cB_n$. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
840 |
\nn{add citation for this operad if we can find one} |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
841 |
|
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
842 |
\begin{example}[$E_n$ algebras] |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
843 |
\rm |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
844 |
\label{ex:e-n-alg} |
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
845 |
|
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
846 |
Let $A$ be an $\cE\cB_n$-algebra. |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
847 |
Note that this implies a $\Diff(B^n)$ action on $A$, |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
848 |
since $\cE\cB_n$ contains a copy of $\Diff(B^n)$. |
309
386d2d12f95b
start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
849 |
We will define an $A_\infty$ $n$-category $\cC^A$. |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
850 |
If $X$ is a ball of dimension $k<n$, define $\cC^A(X)$ to be a point. |
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
851 |
In other words, the $k$-morphisms are trivial for $k<n$. |
347
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
852 |
If $X$ is an $n$-ball, we define $\cC^A(X)$ via a colimit construction. |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
853 |
(Plain colimit, not homotopy colimit.) |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
854 |
Let $J$ be the category whose objects are embeddings of a disjoint union of copies of |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
855 |
the standard ball $B^n$ into $X$, and who morphisms are given by engulfing some of the |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
856 |
embedded balls into a single larger embedded ball. |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
857 |
To each object of $J$ we associate $A^{\times m}$ (where $m$ is the number of balls), and |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
858 |
to each morphism of $J$ we associate a morphism coming from the $\cE\cB_n$ action on $A$. |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
859 |
Alternatively and more simply, we could define $\cC^A(X)$ to be |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
860 |
$\Diff(B^n\to X)\times A$ modulo the diagonal action of $\Diff(B^n)$. |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
861 |
The remaining data for the $A_\infty$ $n$-category |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
862 |
--- composition and $\Diff(X\to X')$ action --- |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
863 |
also comes from the $\cE\cB_n$ action on $A$. |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
864 |
\nn{should we spell this out?} |
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
865 |
|
347
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
346
diff
changeset
|
866 |
\nn{Should remark that this is just Lurie's topological chiral homology construction |
348
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
867 |
applied to $n$-balls (check this). |
b2fab3bf491b
A-inf bordism cat example
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
868 |
Hmmm... Does Lurie do both framed and unframed cases?} |
356
9bbe6eb6fb6c
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net>
parents:
352
diff
changeset
|
869 |
|
9bbe6eb6fb6c
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net>
parents:
352
diff
changeset
|
870 |
Conversely, one can show that a topological $A_\infty$ $n$-category $\cC$, where the $k$-morphisms |
9bbe6eb6fb6c
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net>
parents:
352
diff
changeset
|
871 |
$\cC(X)$ are trivial (single point) for $k<n$, gives rise to |
9bbe6eb6fb6c
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net>
parents:
352
diff
changeset
|
872 |
an $\cE\cB_n$-algebra. |
9bbe6eb6fb6c
remark about EB_n-algebras from n-cats
Kevin Walker <kevin@canyon23.net>
parents:
352
diff
changeset
|
873 |
\nn{The paper is already long; is it worth giving details here?} |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
874 |
\end{example} |
95 | 875 |
|
108 | 876 |
|
877 |
||
878 |
||
879 |
||
880 |
||
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
881 |
%\subsection{From $n$-categories to systems of fields} |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
882 |
\subsection{From balls to manifolds} |
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
883 |
\label{ss:ncat_fields} \label{ss:ncat-coend} |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
884 |
In this section we describe how to extend an $n$-category $\cC$ as described above |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
885 |
(of either the plain or $A_\infty$ variety) to an invariant of manifolds, which we denote by $\cl{\cC}$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
886 |
This extension is a certain colimit, and we've chosen the notation to remind you of this. |
402 | 887 |
Thus we show that functors $\cC_k$ satisfying the axioms above have a canonical extension |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
888 |
from $k$-balls to arbitrary $k$-manifolds. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
889 |
Recall that we've already anticipated this construction in the previous section, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
890 |
inductively defining $\cl{\cC}$ on $k$-spheres in terms of $\cC$ on $k$-balls, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
891 |
so that we can state the boundary axiom for $\cC$ on $k+1$-balls. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
892 |
In the case of plain $n$-categories, this construction factors into a construction of a |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
893 |
system of fields and local relations, followed by the usual TQFT definition of a |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
894 |
vector space invariant of manifolds given as Definition \ref{defn:TQFT-invariant}. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
895 |
For an $A_\infty$ $n$-category, $\cl{\cC}$ is defined using a homotopy colimit instead. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
896 |
Recall that we can take a plain $n$-category $\cC$ and pass to the `free resolution', |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
897 |
an $A_\infty$ $n$-category $\bc_*(\cC)$, by computing the blob complex of balls (recall Example \ref{ex:blob-complexes-of-balls} above). |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
898 |
We will show in Corollary \ref{cor:new-old} below that the homotopy colimit invariant |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
899 |
for a manifold $M$ associated to this $A_\infty$ $n$-category is actually the same as the original blob complex for $M$ with coefficients in $\cC$. |
108 | 900 |
|
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
901 |
We will first define the `cell-decomposition' poset $\cell(W)$ for any $k$-manifold $W$, for $1 \leq k \leq n$. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
902 |
An $n$-category $\cC$ provides a functor from this poset to the category of sets, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
903 |
and we will define $\cC(W)$ as a suitable colimit |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
904 |
(or homotopy colimit in the $A_\infty$ case) of this functor. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
905 |
We'll later give a more explicit description of this colimit. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
906 |
In the case that the $n$-category $\cC$ is enriched (e.g. associates vector spaces or chain complexes to $n$-manifolds with boundary data), |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
907 |
then the resulting colimit 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 | 908 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
909 |
\begin{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
910 |
Say that a `permissible decomposition' of $W$ is a cell decomposition |
108 | 911 |
\[ |
912 |
W = \bigcup_a X_a , |
|
913 |
\] |
|
142 | 914 |
where each closed top-dimensional cell $X_a$ is an embedded $k$-ball. |
108 | 915 |
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
|
916 |
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
|
917 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
918 |
The category $\cell(W)$ has objects the permissible decompositions of $W$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
919 |
and a unique morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
920 |
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
|
921 |
\end{defn} |
119 | 922 |
|
923 |
\begin{figure}[!ht] |
|
924 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
925 |
\mathfig{.63}{ncat/zz2} |
119 | 926 |
\end{equation*} |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
927 |
\caption{A small part of $\cell(W)$} |
119 | 928 |
\label{partofJfig} |
929 |
\end{figure} |
|
930 |
||
108 | 931 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
932 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
933 |
An $n$-category $\cC$ determines |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
934 |
a functor $\psi_{\cC;W}$ from $\cell(W)$ to the category of sets |
108 | 935 |
(possibly with additional structure if $k=n$). |
197 | 936 |
Each $k$-ball $X$ of a decomposition $y$ of $W$ has its boundary decomposed into $k{-}1$-balls, |
937 |
and, as described above, we have a subset $\cC(X)\spl \sub \cC(X)$ of morphisms whose boundaries |
|
938 |
are splittable along this decomposition. |
|
939 |
%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 | 940 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
941 |
\begin{defn} |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
942 |
Define the functor $\psi_{\cC;W} : \cell(W) \to \Set$ as follows. |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
943 |
For a decomposition $x = \bigcup_a X_a$ in $\cell(W)$, $\psi_{\cC;W}(x)$ is the subset |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
944 |
\begin{equation} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
945 |
\label{eq:psi-C} |
197 | 946 |
\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
|
947 |
\end{equation} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
948 |
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
|
949 |
$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
|
950 |
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
|
951 |
\end{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
952 |
|
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
953 |
When the $n$-category $\cC$ is enriched in some symmetric monoidal category $(A,\boxtimes)$, and $W$ is a |
197 | 954 |
closed $n$-manifold, the functor $\psi_{\cC;W}$ has target $A$ and |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
955 |
we replace the cartesian product of sets appearing in Equation \eqref{eq:psi-C} with the monoidal product $\boxtimes$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
956 |
(Moreover, $\psi_{\cC;W}(x)$ might be a subobject, rather than a subset, of the product.) |
197 | 957 |
Similar things are true if $W$ is an $n$-manifold with non-empty boundary and we |
958 |
fix a field on $\bd W$ |
|
959 |
(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
|
960 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
961 |
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
|
962 |
|
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
963 |
\begin{defn}[System of fields functor] |
402 | 964 |
If $\cC$ is an $n$-category enriched in sets or vector spaces, $\cl{\cC}(W)$ is the usual colimit of the functor $\psi_{\cC;W}$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
965 |
That is, for each decomposition $x$ there is a map |
402 | 966 |
$\psi_{\cC;W}(x)\to \cl{\cC}(W)$, these maps are compatible with the refinement maps |
967 |
above, and $\cl{\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
|
968 |
\end{defn} |
112 | 969 |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
970 |
\begin{defn}[System of fields functor, $A_\infty$ case] |
402 | 971 |
When $\cC$ is an $A_\infty$ $n$-category, $\cl{\cC}(W)$ for $W$ a $k$-manifold with $k < n$ |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
972 |
is defined as above, as the colimit of $\psi_{\cC;W}$. |
402 | 973 |
When $W$ is an $n$-manifold, the chain complex $\cl{\cC}(W)$ is the homotopy colimit of the functor $\psi_{\cC;W}$. |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
974 |
\end{defn} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
975 |
|
402 | 976 |
We can specify boundary data $c \in \cl{\cC}(\bdy W)$, and define functors $\psi_{\cC;W,c}$ |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
977 |
with values the subsets of those of $\psi_{\cC;W}$ which agree with $c$ on the boundary of $W$. |
111 | 978 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
979 |
We now give a more concrete description of the colimit in each case. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
980 |
If $\cC$ is enriched over vector spaces, and $W$ is an $n$-manifold, |
402 | 981 |
we can take the vector space $\cl{\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
|
982 |
\begin{equation*} |
402 | 983 |
\cl{\cC}(W,c) = \left( \bigoplus_x \psi_{\cC;W,c}(x)\right) \big/ K |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
984 |
\end{equation*} |
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
985 |
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
|
986 |
$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
|
987 |
\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
|
988 |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
989 |
In the $A_\infty$ case, enriched over chain complexes, the concrete description of the homotopy colimit |
197 | 990 |
is more involved. |
142 | 991 |
%\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
|
992 |
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$. |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
993 |
Such sequences (for all $m$) form a simplicial set in $\cell(W)$. |
402 | 994 |
Define $\cl{\cC}(W)$ as a vector space via |
112 | 995 |
\[ |
402 | 996 |
\cl{\cC}(W) = \bigoplus_{(x_i)} \psi_{\cC;W}(x_0)[m] , |
112 | 997 |
\] |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
998 |
where the sum is over all $m$-sequences $(x_i)$ and all $m$, and each summand is degree shifted by $m$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
999 |
(Our homological conventions are non-standard: if a complex $U$ is concentrated in degree $0$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1000 |
the complex $U[m]$ is concentrated in degree $m$.) |
402 | 1001 |
We endow $\cl{\cC}(W)$ with a differential which is the sum of the differential of the $\psi_{\cC;W}(x_0)$ |
112 | 1002 |
summands plus another term using the differential of the simplicial set of $m$-sequences. |
1003 |
More specifically, if $(a, \bar{x})$ denotes an element in the $\bar{x}$ |
|
402 | 1004 |
summand of $\cl{\cC}(W)$ (with $\bar{x} = (x_0,\dots,x_k)$), define |
112 | 1005 |
\[ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
1006 |
\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 | 1007 |
\] |
1008 |
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 | 1009 |
is the usual gluing map coming from the antirefinement $x_0 \le x_1$. |
112 | 1010 |
\nn{need to say this better} |
1011 |
\nn{maybe mention that there is a version that emphasizes minimal gluings (antirefinements) which |
|
1012 |
combine only two balls at a time; for $n=1$ this version will lead to usual definition |
|
1013 |
of $A_\infty$ category} |
|
108 | 1014 |
|
113 | 1015 |
We will call $m$ the filtration degree of the complex. |
1016 |
We can think of this construction as starting with a disjoint copy of a complex for each |
|
1017 |
permissible decomposition (filtration degree 0). |
|
1018 |
Then we glue these together with mapping cylinders coming from gluing maps |
|
1019 |
(filtration degree 1). |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1020 |
Then we kill the extra homology we just introduced with mapping |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1021 |
cylinders between the mapping cylinders (filtration degree 2), and so on. |
113 | 1022 |
|
402 | 1023 |
$\cC(W)$ is functorial with respect to homeomorphisms of $k$-manifolds. Restricting the $k$-spheres, we have now proved Lemma \ref{lem:spheres}. |
108 | 1024 |
|
402 | 1025 |
\todo{This next sentence is circular: these maps are an axiom, not a consequence of anything. -S} It is easy to see that |
108 | 1026 |
there are well-defined maps $\cC(W)\to\cC(\bd W)$, and that these maps |
1027 |
comprise a natural transformation of functors. |
|
1028 |
||
402 | 1029 |
\todo{Explicitly say somewhere: `this proves Lemma \ref{lem:domain-and-range}'} |
1030 |
||
108 | 1031 |
\nn{need to finish explaining why we have a system of fields; |
1032 |
need to say more about ``homological" fields? |
|
1033 |
(actions of homeomorphisms); |
|
1034 |
define $k$-cat $\cC(\cdot\times W)$} |
|
1035 |
||
1036 |
\subsection{Modules} |
|
95 | 1037 |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1038 |
Next we define plain and $A_\infty$ $n$-category modules. |
199 | 1039 |
The definition will be very similar to that of $n$-categories, |
1040 |
but with $k$-balls replaced by {\it marked $k$-balls,} defined below. |
|
109 | 1041 |
\nn{** need to make sure all revisions of $n$-cat def are also made to module def.} |
310
ee7be19ee61a
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net>
parents:
309
diff
changeset
|
1042 |
\nn{in particular, need to to get rid of the ``hemisphere axiom"} |
198 | 1043 |
%\nn{should they be called $n$-modules instead of just modules? probably not, but worth considering.} |
1044 |
||
104 | 1045 |
Our motivating example comes from an $(m{-}n{+}1)$-dimensional manifold $W$ with boundary |
102 | 1046 |
in the context of an $m{+}1$-dimensional TQFT. |
1047 |
Such a $W$ gives rise to a module for the $n$-category associated to $\bd W$. |
|
1048 |
This will be explained in more detail as we present the axioms. |
|
1049 |
||
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1050 |
\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
|
1051 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1052 |
Throughout, we fix an $n$-category $\cC$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1053 |
For all but one axiom, it doesn't matter whether $\cC$ is a topological $n$-category or an $A_\infty$ $n$-category. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1054 |
We state the final axiom, on actions of homeomorphisms, differently in the two cases. |
102 | 1055 |
|
1056 |
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
|
1057 |
$$(\text{standard $k$-ball}, \text{northern hemisphere in boundary of standard $k$-ball}).$$ |
102 | 1058 |
We call $B$ the ball and $N$ the marking. |
1059 |
A homeomorphism between marked $k$-balls is a homeomorphism of balls which |
|
1060 |
restricts to a homeomorphism of markings. |
|
1061 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1062 |
\begin{module-axiom}[Module morphisms] |
102 | 1063 |
{For each $0 \le k \le n$, we have a functor $\cM_k$ from |
1064 |
the category of marked $k$-balls and |
|
1065 |
homeomorphisms to the category of sets and bijections.} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1066 |
\end{module-axiom} |
102 | 1067 |
|
1068 |
(As with $n$-categories, we will usually omit the subscript $k$.) |
|
1069 |
||
104 | 1070 |
For example, let $\cD$ be the $m{+}1$-dimensional TQFT which assigns to a $k$-manifold $N$ the set |
1071 |
of maps from $N$ to $T$, modulo homotopy (and possibly linearized) if $k=m$. |
|
1072 |
Let $W$ be an $(m{-}n{+}1)$-dimensional manifold with boundary. |
|
1073 |
Let $\cC$ be the $n$-category with $\cC(X) \deq \cD(X\times \bd W)$. |
|
1074 |
Let $\cM(B, N) \deq \cD((B\times \bd W)\cup (N\times W))$. |
|
1075 |
(The union is along $N\times \bd W$.) |
|
110 | 1076 |
(If $\cD$ were a general TQFT, we would define $\cM(B, N)$ to be |
1077 |
the subset of $\cD((B\times \bd W)\cup (N\times W))$ which is splittable along $N\times \bd W$.) |
|
102 | 1078 |
|
182 | 1079 |
\begin{figure}[!ht] |
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1080 |
$$\mathfig{.8}{ncat/boundary-collar}$$ |
182 | 1081 |
\caption{From manifold with boundary collar to marked ball}\label{blah15}\end{figure} |
1082 |
||
103 | 1083 |
Define the boundary of a marked $k$-ball $(B, N)$ to be the pair $(\bd B \setmin N, \bd N)$. |
1084 |
Call such a thing a {marked $k{-}1$-hemisphere}. |
|
102 | 1085 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1086 |
\begin{lem} |
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1087 |
\label{lem:hemispheres} |
102 | 1088 |
{For each $0 \le k \le n-1$, we have a functor $\cM_k$ from |
104 | 1089 |
the category of marked $k$-hemispheres and |
102 | 1090 |
homeomorphisms to the category of sets and bijections.} |
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1091 |
\end{lem} |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1092 |
The proof is exactly analogous to that of Lemma \ref{lem:spheres}, and we omit the details. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1093 |
We use the same type of colimit construction. |
102 | 1094 |
|
104 | 1095 |
In our example, let $\cM(H) \deq \cD(H\times\bd W \cup \bd H\times W)$. |
1096 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1097 |
\begin{module-axiom}[Module boundaries (maps)] |
102 | 1098 |
{For each marked $k$-ball $M$ we have a map of sets $\bd: \cM(M)\to \cM(\bd M)$. |
1099 |
These maps, for various $M$, comprise a natural transformation of functors.} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1100 |
\end{module-axiom} |
102 | 1101 |
|
110 | 1102 |
Given $c\in\cM(\bd M)$, let $\cM(M; c) \deq \bd^{-1}(c)$. |
102 | 1103 |
|
1104 |
If the $n$-category $\cC$ is enriched over some other category (e.g.\ vector spaces), |
|
1105 |
then $\cM(M; c)$ should be an object in that category for each marked $n$-ball $M$ |
|
1106 |
and $c\in \cC(\bd M)$. |
|
1107 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1108 |
\begin{lem}[Boundary from domain and range] |
102 | 1109 |
{Let $H = M_1 \cup_E M_2$, where $H$ is a marked $k$-hemisphere ($0\le k\le n-1$), |
104 | 1110 |
$M_i$ is a marked $k$-ball, and $E = M_1\cap M_2$ is a marked $k{-}1$-hemisphere. |
1111 |
Let $\cM(M_1) \times_{\cM(E)} \cM(M_2)$ denote the fibered product of the |
|
1112 |
two maps $\bd: \cM(M_i)\to \cM(E)$. |
|
102 | 1113 |
Then (axiom) we have an injective map |
1114 |
\[ |
|
199 | 1115 |
\gl_E : \cM(M_1) \times_{\cM(E)} \cM(M_2) \hookrightarrow \cM(H) |
102 | 1116 |
\] |
1117 |
which is natural with respect to the actions of homeomorphisms.} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1118 |
\end{lem} |
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1119 |
Again, this is in exact analogy with Lemma \ref{lem:domain-and-range}. |
102 | 1120 |
|
110 | 1121 |
Let $\cM(H)_E$ denote the image of $\gl_E$. |
1122 |
We will refer to elements of $\cM(H)_E$ as ``splittable along $E$" or ``transverse to $E$". |
|
1123 |
||
1124 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1125 |
\begin{module-axiom}[Module to category restrictions] |
103 | 1126 |
{For each marked $k$-hemisphere $H$ there is a restriction map |
1127 |
$\cM(H)\to \cC(H)$. |
|
1128 |
($\cC(H)$ means apply $\cC$ to the underlying $k$-ball of $H$.) |
|
1129 |
These maps comprise a natural transformation of functors.} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1130 |
\end{module-axiom} |
102 | 1131 |
|
103 | 1132 |
Note that combining the various boundary and restriction maps above |
110 | 1133 |
(for both modules and $n$-categories) |
103 | 1134 |
we have for each marked $k$-ball $(B, N)$ and each $k{-}1$-ball $Y\sub \bd B \setmin N$ |
1135 |
a natural map from a subset of $\cM(B, N)$ to $\cC(Y)$. |
|
110 | 1136 |
The subset is the subset of morphisms which are appropriately splittable (transverse to the |
1137 |
cutting submanifolds). |
|
103 | 1138 |
This fact will be used below. |
102 | 1139 |
|
104 | 1140 |
In our example, the various restriction and gluing maps above come from |
1141 |
restricting and gluing maps into $T$. |
|
1142 |
||
1143 |
We require two sorts of composition (gluing) for modules, corresponding to two ways |
|
103 | 1144 |
of splitting a marked $k$-ball into two (marked or plain) $k$-balls. |
119 | 1145 |
(See Figure \ref{zzz3}.) |
103 | 1146 |
|
119 | 1147 |
\begin{figure}[!ht] |
1148 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1149 |
\mathfig{.4}{ncat/zz3} |
119 | 1150 |
\end{equation*} |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1151 |
\caption{Module composition (top); $n$-category action (bottom).} |
119 | 1152 |
\label{zzz3} |
1153 |
\end{figure} |
|
1154 |
||
1155 |
First, we can compose two module morphisms to get another module morphism. |
|
103 | 1156 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1157 |
\begin{module-axiom}[Module composition] |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1158 |
{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 | 1159 |
and $Y = M_1\cap M_2$ is a marked $k{-}1$-ball. |
1160 |
Let $E = \bd Y$, which is a marked $k{-}2$-hemisphere. |
|
1161 |
Note that each of $M$, $M_1$ and $M_2$ has its boundary split into two marked $k{-}1$-balls by $E$. |
|
1162 |
We have restriction (domain or range) maps $\cM(M_i)_E \to \cM(Y)$. |
|
1163 |
Let $\cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E$ denote the fibered product of these two maps. |
|
1164 |
Then (axiom) we have a map |
|
1165 |
\[ |
|
1166 |
\gl_Y : \cM(M_1)_E \times_{\cM(Y)} \cM(M_2)_E \to \cM(M)_E |
|
1167 |
\] |
|
1168 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
1169 |
to the intersection of the boundaries of $M$ and $M_i$. |
|
1170 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
1171 |
(For $k=n$, see below.)} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1172 |
\end{module-axiom} |
119 | 1173 |
|
1174 |
||
103 | 1175 |
Second, we can compose an $n$-category morphism with a module morphism to get another |
1176 |
module morphism. |
|
1177 |
We'll call this the action map to distinguish it from the other kind of composition. |
|
1178 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1179 |
\begin{module-axiom}[$n$-category action] |
103 | 1180 |
{Let $M = X \cup_Y M'$, where $M$ and $M'$ are marked $k$-balls ($0\le k\le n$), |
1181 |
$X$ is a plain $k$-ball, |
|
1182 |
and $Y = X\cap M'$ is a $k{-}1$-ball. |
|
1183 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
|
1184 |
We have restriction maps $\cM(M')_E \to \cC(Y)$ and $\cC(X)_E\to \cC(Y)$. |
|
1185 |
Let $\cC(X)_E \times_{\cC(Y)} \cM(M')_E$ denote the fibered product of these two maps. |
|
1186 |
Then (axiom) we have a map |
|
1187 |
\[ |
|
1188 |
\gl_Y :\cC(X)_E \times_{\cC(Y)} \cM(M')_E \to \cM(M)_E |
|
1189 |
\] |
|
1190 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
|
1191 |
to the intersection of the boundaries of $X$ and $M'$. |
|
1192 |
If $k < n$ we require that $\gl_Y$ is injective. |
|
1193 |
(For $k=n$, see below.)} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1194 |
\end{module-axiom} |
103 | 1195 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1196 |
\begin{module-axiom}[Strict associativity] |
103 | 1197 |
{The composition and action maps above are strictly associative.} |
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1198 |
\end{module-axiom} |
103 | 1199 |
|
110 | 1200 |
Note that the above associativity axiom applies to mixtures of module composition, |
1201 |
action maps and $n$-category composition. |
|
119 | 1202 |
See Figure \ref{zzz1b}. |
1203 |
||
1204 |
\begin{figure}[!ht] |
|
1205 |
\begin{equation*} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
218
diff
changeset
|
1206 |
\mathfig{0.49}{ncat/zz0} \mathfig{0.49}{ncat/zz1} |
119 | 1207 |
\end{equation*} |
1208 |
\caption{Two examples of mixed associativity} |
|
1209 |
\label{zzz1b} |
|
1210 |
\end{figure} |
|
1211 |
||
110 | 1212 |
|
1213 |
The above three axioms are equivalent to the following axiom, |
|
103 | 1214 |
which we state in slightly vague form. |
1215 |
\nn{need figure for this} |
|
1216 |
||
1217 |
\xxpar{Module multi-composition:} |
|
1218 |
{Given any decomposition |
|
1219 |
\[ |
|
1220 |
M = X_1 \cup\cdots\cup X_p \cup M_1\cup\cdots\cup M_q |
|
1221 |
\] |
|
1222 |
of a marked $k$-ball $M$ |
|
1223 |
into small (marked and plain) $k$-balls $M_i$ and $X_j$, there is a |
|
1224 |
map from an appropriate subset (like a fibered product) |
|
1225 |
of |
|
1226 |
\[ |
|
1227 |
\cC(X_1)\times\cdots\times\cC(X_p) \times \cM(M_1)\times\cdots\times\cM(M_q) |
|
1228 |
\] |
|
1229 |
to $\cM(M)$, |
|
1230 |
and these various multifold composition maps satisfy an |
|
1231 |
operad-type strict associativity condition.} |
|
1232 |
||
1233 |
(The above operad-like structure is analogous to the swiss cheese operad |
|
146 | 1234 |
\cite{MR1718089}.) |
200 | 1235 |
%\nn{need to double-check that this is true.} |
103 | 1236 |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1237 |
\begin{module-axiom}[Product/identity morphisms] |
103 | 1238 |
{Let $M$ be a marked $k$-ball and $D$ be a plain $m$-ball, with $k+m \le n$. |
1239 |
Then we have a map $\cM(M)\to \cM(M\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cM(M)$. |
|
1240 |
If $f:M\to M'$ and $\tilde{f}:M\times D \to M'\times D'$ are maps such that the diagram |
|
1241 |
\[ \xymatrix{ |
|
1242 |
M\times D \ar[r]^{\tilde{f}} \ar[d]_{\pi} & M'\times D' \ar[d]^{\pi} \\ |
|
1243 |
M \ar[r]^{f} & M' |
|
1244 |
} \] |
|
1245 |
commutes, then we have $\tilde{f}(a\times D) = f(a)\times D'$.} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1246 |
\end{module-axiom} |
103 | 1247 |
|
111 | 1248 |
\nn{Need to add compatibility with various things, as in the n-cat version of this axiom above.} |
103 | 1249 |
|
200 | 1250 |
\nn{postpone finalizing the above axiom until the n-cat version is finalized} |
110 | 1251 |
|
103 | 1252 |
There are two alternatives for the next axiom, according whether we are defining |
1253 |
modules for plain $n$-categories or $A_\infty$ $n$-categories. |
|
1254 |
In the plain case we require |
|
1255 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1256 |
\begin{module-axiom}[\textup{\textbf{[topological version]}} Extended isotopy invariance in dimension $n$] |
103 | 1257 |
{Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts |
175 | 1258 |
to the identity on $\bd M$ and is extended isotopic (rel boundary) to the identity. |
103 | 1259 |
Then $f$ acts trivially on $\cM(M)$.} |
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1260 |
\end{module-axiom} |
103 | 1261 |
|
1262 |
\nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.} |
|
1263 |
||
1264 |
We emphasize that the $\bd M$ above means boundary in the marked $k$-ball sense. |
|
1265 |
In other words, if $M = (B, N)$ then we require only that isotopies are fixed |
|
1266 |
on $\bd B \setmin N$. |
|
1267 |
||
1268 |
For $A_\infty$ modules we require |
|
1269 |
||
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1270 |
\addtocounter{module-axiom}{-1} |
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1271 |
\begin{module-axiom}[\textup{\textbf{[$A_\infty$ version]}} Families of homeomorphisms act] |
103 | 1272 |
{For each marked $n$-ball $M$ and each $c\in \cM(\bd M)$ we have a map of chain complexes |
1273 |
\[ |
|
1274 |
C_*(\Homeo_\bd(M))\ot \cM(M; c) \to \cM(M; c) . |
|
1275 |
\] |
|
1276 |
Here $C_*$ means singular chains and $\Homeo_\bd(M)$ is the space of homeomorphisms of $M$ |
|
1277 |
which fix $\bd M$. |
|
1278 |
These action maps are required to be associative up to homotopy |
|
1279 |
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that |
|
236 | 1280 |
a diagram like the one in Proposition \ref{CHprop} commutes. |
103 | 1281 |
\nn{repeat diagram here?} |
1282 |
\nn{restate this with $\Homeo(M\to M')$? what about boundary fixing property?}} |
|
336
7a5a73ec8961
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Scott Morrison <scott@tqft.net>
parents:
335
diff
changeset
|
1283 |
\end{module-axiom} |
103 | 1284 |
|
1285 |
\medskip |
|
102 | 1286 |
|
104 | 1287 |
Note that the above axioms imply that an $n$-category module has the structure |
1288 |
of an $n{-}1$-category. |
|
1289 |
More specifically, let $J$ be a marked 1-ball, and define $\cE(X)\deq \cM(X\times J)$, |
|
346
90e0c5e7ae07
EB_n operad example; other misc stuff
Kevin Walker <kevin@canyon23.net>
parents:
344
diff
changeset
|
1290 |
where $X$ is a $k$-ball and in the product $X\times J$ we pinch |
104 | 1291 |
above the non-marked boundary component of $J$. |
200 | 1292 |
(More specifically, we collapse $X\times P$ to a single point, where |
1293 |
$P$ is the non-marked boundary component of $J$.) |
|
1294 |
\nn{give figure for this?} |
|
104 | 1295 |
Then $\cE$ has the structure of an $n{-}1$-category. |
102 | 1296 |
|
105 | 1297 |
All marked $k$-balls are homeomorphic, unless $k = 1$ and our manifolds |
1298 |
are oriented or Spin (but not unoriented or $\text{Pin}_\pm$). |
|
1299 |
In this case ($k=1$ and oriented or Spin), there are two types |
|
1300 |
of marked 1-balls, call them left-marked and right-marked, |
|
1301 |
and hence there are two types of modules, call them right modules and left modules. |
|
1302 |
In all other cases ($k>1$ or unoriented or $\text{Pin}_\pm$), |
|
1303 |
there is no left/right module distinction. |
|
1304 |
||
130 | 1305 |
\medskip |
1306 |
||
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1307 |
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
|
1308 |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1309 |
\begin{example}[Examples from TQFTs] |
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1310 |
\todo{} |
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
1311 |
\end{example} |
108 | 1312 |
|
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1313 |
\begin{example} |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1314 |
Suppose $S$ is a topological space, with a subspace $T$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1315 |
We can define a module $\pi_{\leq n}(S,T)$ so that on each marked $k$-ball $(B,N)$ |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1316 |
for $k<n$ the set $\pi_{\leq n}(S,T)(B,N)$ consists of all continuous maps of pairs |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1317 |
$(B,N) \to (S,T)$ and on each marked $n$-ball $(B,N)$ it consists of all |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1318 |
such maps modulo homotopies fixed on $\bdy B \setminus N$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1319 |
This is a module over the fundamental $n$-category $\pi_{\leq n}(S)$ of $S$, from Example \ref{ex:maps-to-a-space}. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1320 |
Modifications corresponding to Examples \ref{ex:maps-to-a-space-with-a-fiber} and |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1321 |
\ref{ex:linearized-maps-to-a-space} are also possible, and there is an $A_\infty$ version analogous to |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1322 |
Example \ref{ex:chains-of-maps-to-a-space} given by taking singular chains. |
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1323 |
\end{example} |
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
1324 |
|
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
319
diff
changeset
|
1325 |
\subsection{Modules as boundary labels (colimits for decorated manifolds)} |
112 | 1326 |
\label{moddecss} |
108 | 1327 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1328 |
Fix a topological $n$-category or $A_\infty$ $n$-category $\cC$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1329 |
Let $W$ be a $k$-manifold ($k\le n$), |
143 | 1330 |
let $\{Y_i\}$ be a collection of disjoint codimension 0 submanifolds of $\bd W$, |
1331 |
and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to $Y_i$. |
|
1332 |
||
1333 |
%Let $\cC$ be an [$A_\infty$] $n$-category, let $W$ be a $k$-manifold ($k\le n$), |
|
1334 |
%and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to each boundary |
|
1335 |
%component $\bd_i W$ of $W$. |
|
1336 |
%(More generally, each $\cN_i$ could label some codimension zero submanifold of $\bd W$.) |
|
108 | 1337 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1338 |
We will define a set $\cC(W, \cN)$ using a colimit construction similar to |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1339 |
the one appearing in \S \ref{ss:ncat_fields} above. |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1340 |
(If $k = n$ and our $n$-categories are enriched, then |
108 | 1341 |
$\cC(W, \cN)$ will have additional structure; see below.) |
1342 |
||
1343 |
Define a permissible decomposition of $W$ to be a decomposition |
|
1344 |
\[ |
|
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
1345 |
W = \left(\bigcup_a X_a\right) \cup \left(\bigcup_{i,b} M_{ib}\right) , |
108 | 1346 |
\] |
1347 |
where each $X_a$ is a plain $k$-ball (disjoint from $\bd W$) and |
|
1348 |
each $M_{ib}$ is a marked $k$-ball intersecting $\bd_i W$, |
|
143 | 1349 |
with $M_{ib}\cap Y_i$ being the marking. |
1350 |
(See Figure \ref{mblabel}.) |
|
1351 |
\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
|
1352 |
\mathfig{.4}{ncat/mblabel} |
143 | 1353 |
\end{equation*}\caption{A permissible decomposition of a manifold |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1354 |
whose boundary components are labeled by $\cC$ modules $\{\cN_i\}$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1355 |
Marked balls are shown shaded, plain balls are unshaded.}\label{mblabel}\end{figure} |
108 | 1356 |
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement |
1357 |
of $y$, or write $x \le y$, if each ball of $y$ is a union of balls of $x$. |
|
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
1358 |
This defines a partial ordering $\cell(W)$, which we will think of as a category. |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
1359 |
(The objects of $\cell(D)$ are permissible decompositions of $W$, and there is a unique |
108 | 1360 |
morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$.) |
1361 |
||
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1362 |
The collection of modules $\cN$ determines |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
1363 |
a functor $\psi_\cN$ from $\cell(W)$ to the category of sets |
108 | 1364 |
(possibly with additional structure if $k=n$). |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
328
diff
changeset
|
1365 |
For a decomposition $x = (X_a, M_{ib})$ in $\cell(W)$, define $\psi_\cN(x)$ to be the subset |
108 | 1366 |
\[ |
191
8c2c330e87f2
working on ncats -- no new material, just improving text
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
190
diff
changeset
|
1367 |
\psi_\cN(x) \sub \left(\prod_a \cC(X_a)\right) \times \left(\prod_{ib} \cN_i(M_{ib})\right) |
108 | 1368 |
\] |
1369 |
such that the restrictions to the various pieces of shared boundaries amongst the |
|
1370 |
$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
|
1371 |
(That is, the fibered product over the boundary maps.) |
108 | 1372 |
If $x$ is a refinement of $y$, define a map $\psi_\cN(x)\to\psi_\cN(y)$ |
1373 |
via the gluing (composition or action) maps from $\cC$ and the $\cN_i$. |
|
1374 |
||
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1375 |
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
|
1376 |
(As usual, if $k=n$ and we are in the $A_\infty$ case, then ``colimit" means |
143 | 1377 |
homotopy colimit.) |
108 | 1378 |
|
143 | 1379 |
If $D$ is an $m$-ball, $0\le m \le n-k$, then we can similarly define |
1380 |
$\cC(D\times W, \cN)$, where in this case $\cN_i$ labels the submanifold |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1381 |
$D\times Y_i \sub \bd(D\times W)$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1382 |
It is not hard to see that the assignment $D \mapsto \cC(D\times W, \cN)$ |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1383 |
has the structure of an $n{-}k$-category, which we call $\cT(W, \cN)(D)$. |
144 | 1384 |
|
1385 |
\medskip |
|
1386 |
||
1387 |
||
1388 |
We will use a simple special case of the above |
|
1389 |
construction to define tensor products |
|
1390 |
of modules. |
|
1391 |
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
|
1392 |
(If $k=1$ and our manifolds are oriented, then one should be |
144 | 1393 |
a left module and the other a right module.) |
1394 |
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
|
1395 |
Define the tensor product $\cM_1 \tensor \cM_2$ to be the |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1396 |
$n{-}1$-category $\cT(J, \{\cM_1, \cM_2\})$. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1397 |
This of course depends (functorially) |
144 | 1398 |
on the choice of 1-ball $J$. |
105 | 1399 |
|
144 | 1400 |
We will define a more general self tensor product (categorified coend) below. |
1401 |
||
1402 |
%\nn{what about self tensor products /coends ?} |
|
105 | 1403 |
|
108 | 1404 |
\nn{maybe ``tensor product" is not the best name?} |
1405 |
||
144 | 1406 |
%\nn{start with (less general) tensor products; maybe change this later} |
106 | 1407 |
|
107 | 1408 |
|
1409 |
||
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1410 |
|
291 | 1411 |
\subsection{Morphisms of $A_\infty$ $1$-category modules} |
288 | 1412 |
\label{ss:module-morphisms} |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1413 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1414 |
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
|
1415 |
(Section \ref{sec:deligne}), |
291 | 1416 |
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
|
1417 |
some of their elementary properties. |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1418 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1419 |
To motivate the definitions which follow, consider algebras $A$ and $B$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1420 |
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
|
1421 |
\begin{eqnarray*} |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1422 |
\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
|
1423 |
f &\mapsto& [x \mapsto f(x\ot -)] \\ |
279 | 1424 |
{}[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
|
1425 |
\end{eqnarray*} |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1426 |
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
|
1427 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1428 |
(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
|
1429 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1430 |
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
|
1431 |
and modules $\cM_\cC$ and $_\cC\cN$, |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1432 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1433 |
(\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
|
1434 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1435 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1436 |
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
|
1437 |
$\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
|
1438 |
$\hom_\cC$. |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1439 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1440 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1441 |
\def\olD{{\overline D}} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1442 |
\def\cbar{{\bar c}} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1443 |
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
|
1444 |
for general $n$. |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1445 |
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
|
1446 |
and their gluings (antirefinements). |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1447 |
(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
|
1448 |
To a subdivision $D$ |
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1449 |
\[ |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1450 |
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
|
1451 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1452 |
we associate the chain complex |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1453 |
\[ |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1454 |
\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
|
1455 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1456 |
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
|
1457 |
module actions of $\cC$ on $\cM$ and $\cN$. |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1458 |
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
|
1459 |
\[ |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1460 |
\bigoplus_l \bigoplus_{\olD} \psi(D_0)[l] , |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1461 |
\] |
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1462 |
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
|
1463 |
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
|
1464 |
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
|
1465 |
$\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
|
1466 |
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
|
1467 |
\begin{align*} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1468 |
\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 | 1469 |
& \qquad + (-1)^l \olD\ot\bd m\ot\cbar\ot n + (-1)^{l+\deg m} \olD\ot m\ot\bd \cbar\ot n + \\ |
1470 |
& \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
|
1471 |
\end{align*} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
1472 |
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
|
1473 |
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
|
1474 |
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
|
1475 |
|
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1476 |
$(\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
|
1477 |
\[ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1478 |
\prod_l \prod_{\olD} (\psi(D_0)[l])^* , |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1479 |
\] |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1480 |
where $(\psi(D_0)[l])^*$ denotes the linear dual. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1481 |
The boundary is given by |
291 | 1482 |
\begin{align} |
1483 |
\label{eq:tensor-product-boundary} |
|
1484 |
(-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) + \\ |
|
1485 |
& \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 \\ |
|
1486 |
& \qquad + (-1)^{l + \deg m + \deg \cbar} f(\olD\ot m\ot\cbar\ot \bd n). \notag |
|
1487 |
\end{align} |
|
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1488 |
|
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1489 |
Next we define the dual module $(_\cC\cN)^*$. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1490 |
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
|
1491 |
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
|
1492 |
to chain complexes. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1493 |
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
|
1494 |
\[ |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1495 |
(_\cC\cN)^*(K) \deq ({_\cC\cN}(J\setmin K))^* , |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1496 |
\] |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1497 |
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
|
1498 |
to the right-marked interval $J\setmin K$. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1499 |
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
|
1500 |
\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
|
1501 |
It's easy to verify the remaining module axioms. |
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1502 |
|
260 | 1503 |
Now we reinterpret $(\cM_\cC\ot {_\cC\cN})^*$ |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1504 |
as some sort of morphism $\cM_\cC \to (_\cC\cN)^*$. |
260 | 1505 |
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
|
1506 |
Let $\olD = (D_0\cdots D_l)$ be a chain of subdivisions with $D_0 = [J = I_1\cup\cdots\cup I_m]$. |
291 | 1507 |
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
|
1508 |
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
|
1509 |
\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
|
1510 |
\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
|
1511 |
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
|
1512 |
\end{eqnarray*} |
260 | 1513 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1514 |
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
|
1515 |
$\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
|
1516 |
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
|
1517 |
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
|
1518 |
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
|
1519 |
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
|
1520 |
omitted. |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1521 |
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
|
1522 |
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
|
1523 |
(See Figure \ref{fig:lmar}.) |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1524 |
\begin{figure}[t]$$ |
381
84bcc5fdf8c2
experiment with tikz colors
Kevin Walker <kevin@canyon23.net>
parents:
367
diff
changeset
|
1525 |
\definecolor{arcolor}{rgb}{.75,.4,.1} |
386 | 1526 |
\begin{tikzpicture}[line width=1pt] |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1527 |
\fill (0,0) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1528 |
\draw (0,0) -- (2,0); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1529 |
\draw (1,0.1) -- (1,-0.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1530 |
|
381
84bcc5fdf8c2
experiment with tikz colors
Kevin Walker <kevin@canyon23.net>
parents:
367
diff
changeset
|
1531 |
\draw [->, arcolor] (1,0.25) -- (1,0.75); |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1532 |
|
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1533 |
\fill (0,1) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1534 |
\draw (0,1) -- (2,1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1535 |
\end{tikzpicture} |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1536 |
\qquad |
386 | 1537 |
\begin{tikzpicture}[line width=1pt] |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1538 |
\fill (0,0) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1539 |
\draw (0,0) -- (2,0); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1540 |
\draw (1,0.1) -- (1,-0.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1541 |
|
381
84bcc5fdf8c2
experiment with tikz colors
Kevin Walker <kevin@canyon23.net>
parents:
367
diff
changeset
|
1542 |
\draw [->, arcolor] (1,0.25) -- (1,0.75); |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1543 |
|
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1544 |
\fill (0,1) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1545 |
\draw (0,1) -- (1,1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1546 |
\end{tikzpicture} |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1547 |
\qquad |
386 | 1548 |
\begin{tikzpicture}[line width=1pt] |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1549 |
\fill (0,0) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1550 |
\draw (0,0) -- (3,0); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1551 |
\foreach \x in {0.5, 1.0, 1.25, 1.5, 2.0, 2.5} { |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1552 |
\draw (\x,0.1) -- (\x,-0.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1553 |
} |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1554 |
|
381
84bcc5fdf8c2
experiment with tikz colors
Kevin Walker <kevin@canyon23.net>
parents:
367
diff
changeset
|
1555 |
\draw [->, arcolor] (1,0.25) -- (1,0.75); |
366
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1556 |
|
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1557 |
\fill (0,1) circle (.1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1558 |
\draw (0,1) -- (2,1); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1559 |
\foreach \x in {1.0, 1.5} { |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1560 |
\draw (\x,1.1) -- (\x,0.9); |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1561 |
} |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1562 |
|
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1563 |
\end{tikzpicture} |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1564 |
$$ |
b69b09d24049
tikzing left-marked-antirefinements
Scott Morrison <scott@tqft.net>
parents:
365
diff
changeset
|
1565 |
\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
|
1566 |
|
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1567 |
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
|
1568 |
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
|
1569 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1570 |
\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
|
1571 |
\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
|
1572 |
\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
|
1573 |
\] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1574 |
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
|
1575 |
(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
|
1576 |
$\hom[l](- \to -)$ means graded linear maps of degree $l$. |
260 | 1577 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1578 |
\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
|
1579 |
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
|
1580 |
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
|
1581 |
perhaps we should give another version of the definition in terms of natural transformations of functors.} |
260 | 1582 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1583 |
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
|
1584 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1585 |
\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
|
1586 |
\] |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1587 |
For fixed $D_0$ and $D_1$, let $\cbar = \cbar'\ot\cbar''$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1588 |
where $\cbar'$ corresponds to the subintervals of $D_0$ which map to $D_1$ and |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1589 |
$\cbar''$ corresponds to the subintervals |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1590 |
which are dropped off the right side. |
386 | 1591 |
(If no such subintervals are dropped, then $\cbar''$ is empty.) |
291 | 1592 |
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
|
1593 |
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
|
1594 |
\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
|
1595 |
(\bd g)(\olD\ot x \ot \cbar) &=& \bd(g(\olD\ot x \ot \cbar)) + g(\olD\ot\bd(x\ot\cbar)) + \\ |
330 | 1596 |
& & \;\; g((\bd_+\olD)\ot x\ot\cbar) + \gl''(g((\bd_0\olD)\ot \gl'(x\ot\cbar'))\ot\cbar'') . |
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1597 |
\end{eqnarray*} |
291 | 1598 |
\nn{put in signs, rearrange terms to match order in previous formulas} |
330 | 1599 |
Here $\gl''$ denotes the module action in $\cY_\cC$ |
1600 |
and $\gl'$ denotes the module action in $\cX_\cC$. |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1601 |
This completes the definition of $\hom_\cC(\cX_\cC \to \cY_\cC)$. |
260 | 1602 |
|
261
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1603 |
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
|
1604 |
\[ |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1605 |
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
|
1606 |
\] |
1c408505c9f5
finished def of module morphisms; still need to define (yet another) 'evaluation' map
Kevin Walker <kevin@canyon23.net>
parents:
260
diff
changeset
|
1607 |
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
|
1608 |
$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
|
1609 |
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
|
1610 |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1611 |
Define a {\it naive morphism} |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1612 |
\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
|
1613 |
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
|
1614 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1615 |
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
|
1616 |
\] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1617 |
for each left-marked interval $K$. |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1618 |
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
|
1619 |
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
|
1620 |
\[ \xymatrix{ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1621 |
\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
|
1622 |
\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
|
1623 |
\ar[d]^{\gl} \\ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1624 |
\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
|
1625 |
} \] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1626 |
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
|
1627 |
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
|
1628 |
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
|
1629 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1630 |
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
|
1631 |
\] |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1632 |
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
|
1633 |
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
|
1634 |
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
|
1635 |
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
|
1636 |
|
330 | 1637 |
We can think of a general closed element $g\in \hom_\cC(\cX_\cC \to \cY_\cC)$ |
1638 |
as a collection of chain maps which commute with the module action (gluing) up to coherent homotopy. |
|
1639 |
\nn{ideally should give explicit examples of this in low degrees, |
|
1640 |
but skip that for now.} |
|
1641 |
\nn{should also say something about composition of morphisms; well-defined up to homotopy, or maybe |
|
1642 |
should make some arbitrary choice} |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1643 |
\medskip |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1644 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1645 |
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
|
1646 |
\[ |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1647 |
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
|
1648 |
\] |
386 | 1649 |
\nn{...} |
1650 |
More generally, we have a chain map |
|
1651 |
\[ |
|
1652 |
\hom_\cC(\cX_\cC \to \cY_\cC) \ot \cX_\cC \ot {}_\cC\cZ \to \cY_\cC \ot {}_\cC\cZ . |
|
1653 |
\] |
|
330 | 1654 |
|
1655 |
\nn{not sure whether to do low degree examples or try to state the general case; ideally both, |
|
1656 |
but maybe just low degrees for now.} |
|
1657 |
||
1658 |
||
1659 |
\nn{...} |
|
262
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1660 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1661 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1662 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1663 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1664 |
\medskip |
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1665 |
|
3278eafef668
done for the moment with module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
261
diff
changeset
|
1666 |
|
330 | 1667 |
\nn{should we define functors between $n$-cats in a similar way? i.e.\ natural transformations |
1668 |
of the $\cC$ functors which commute with gluing only up to higher morphisms? |
|
1669 |
perhaps worth having both definitions available. |
|
1670 |
certainly the simple kind (strictly commute with gluing) arise in nature.} |
|
258
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1671 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1672 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1673 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1674 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1675 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1676 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1677 |
|
fd5d1647f4f3
starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents:
236
diff
changeset
|
1678 |
|
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
1679 |
\subsection{The $n{+}1$-category of sphere modules} |
218 | 1680 |
\label{ssec:spherecat} |
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
115
diff
changeset
|
1681 |
|
205 | 1682 |
In this subsection we define an $n{+}1$-category $\cS$ of ``sphere modules" |
327 | 1683 |
whose objects are $n$-categories. |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1684 |
When $n=2$ |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1685 |
this is closely related to the familiar $2$-category of algebras, bimodules and intertwiners. |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1686 |
While it is appropriate to call an $S^0$ module a bimodule, |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1687 |
this is much less true for higher dimensional spheres, |
327 | 1688 |
so we prefer the term ``sphere module" for the general case. |
144 | 1689 |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
1690 |
The results of this subsection are not needed for the rest of the paper, |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1691 |
so we will skimp on details in a couple of places. We have included this mostly for the sake of comparing our notion of a topological $n$-category to other definitions. |
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
1692 |
|
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1693 |
For simplicity, we will assume that $n$-categories are enriched over $\c$-vector spaces. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1694 |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
1695 |
The $0$- through $n$-dimensional parts of $\cS$ are various sorts of modules, and we describe |
205 | 1696 |
these first. |
259
db18f7c32abe
more module morphism stuff
Kevin Walker <kevin@canyon23.net>
parents:
258
diff
changeset
|
1697 |
The $n{+}1$-dimensional part of $\cS$ consists of intertwiners |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1698 |
of $1$-category modules associated to decorated $n$-balls. |
205 | 1699 |
We will see below that in order for these $n{+}1$-morphisms to satisfy all of |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1700 |
the axioms of an $n{+}1$-category (in particular, duality requirements), we will have to assume |
205 | 1701 |
that our $n$-categories and modules have non-degenerate inner products. |
1702 |
(In other words, we need to assume some extra duality on the $n$-categories and modules.) |
|
1703 |
||
1704 |
\medskip |
|
1705 |
||
1706 |
Our first task is to define an $n$-category $m$-sphere module, for $0\le m \le n-1$. |
|
1707 |
These will be defined in terms of certain classes of marked balls, very similarly |
|
1708 |
to the definition of $n$-category modules above. |
|
1709 |
(This, in turn, is very similar to our definition of $n$-category.) |
|
1710 |
Because of this similarity, we only sketch the definitions below. |
|
1711 |
||
327 | 1712 |
We start with $0$-sphere modules, which also could reasonably be called (categorified) bimodules. |
205 | 1713 |
(For $n=1$ they are precisely bimodules in the usual, uncategorified sense.) |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1714 |
Define a $0$-marked $k$-ball, $1\le k \le n$, to be a pair $(X, M)$ homeomorphic to the standard |
327 | 1715 |
$(B^k, B^{k-1})$. |
209 | 1716 |
See Figure \ref{feb21a}. |
205 | 1717 |
Another way to say this is that $(X, M)$ is homeomorphic to $B^{k-1}\times([-1,1], \{0\})$. |
1718 |
||
209 | 1719 |
\begin{figure}[!ht] |
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1720 |
$$\tikz[baseline,line width=2pt]{\draw[blue] (-2,0)--(2,0); \fill[red] (0,0) circle (0.1);} \qquad \qquad \tikz[baseline,line width=2pt]{\draw[blue][fill=blue!30!white] (0,0) circle (2 and 1); \draw[red] (0,1)--(0,-1);}$$ |
209 | 1721 |
\caption{0-marked 1-ball and 0-marked 2-ball} |
1722 |
\label{feb21a} |
|
1723 |
\end{figure} |
|
1724 |
||
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1725 |
The $0$-marked balls can be cut into smaller balls in various ways. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1726 |
We only consider those decompositions in which the smaller balls are either |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1727 |
$0$-marked (i.e. intersect the $0$-marking of the large ball in a disc) |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
1728 |
or plain (don't intersect the $0$-marking of the large ball). |
327 | 1729 |
We can also take the boundary of a $0$-marked ball, which is $0$-marked sphere. |
205 | 1730 |
|
1731 |
Fix $n$-categories $\cA$ and $\cB$. |
|
327 | 1732 |
These will label the two halves of a $0$-marked $k$-ball. |
205 | 1733 |
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1734 |
An $n$-category $0$-sphere module $\cM$ over the $n$-categories $\cA$ and $\cB$ is a collection of functors $\cM_k$ from the category |
327 | 1735 |
of $0$-marked $k$-balls, $1\le k \le n$, |
205 | 1736 |
(with the two halves labeled by $\cA$ and $\cB$) to the category of sets. |
1737 |
If $k=n$ these sets should be enriched to the extent $\cA$ and $\cB$ are. |
|
327 | 1738 |
Given a decomposition of a $0$-marked $k$-ball $X$ into smaller balls $X_i$, we have |
205 | 1739 |
morphism sets $\cA_k(X_i)$ (if $X_i$ lies on the $\cA$-labeled side) |
1740 |
or $\cB_k(X_i)$ (if $X_i$ lies on the $\cB$-labeled side) |
|
1741 |
or $\cM_k(X_i)$ (if $X_i$ intersects the marking and is therefore a smaller 0-marked ball). |
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1742 |
Corresponding to this decomposition we have a composition (or `gluing') map |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1743 |
from the product (fibered over the boundary data) of these various sets into $\cM_k(X)$. |
205 | 1744 |
|
1745 |
\medskip |
|
107 | 1746 |
|
327 | 1747 |
Part of the structure of an $n$-category 0-sphere module $\cM$ is captured by saying it is |
206 | 1748 |
a collection $\cD^{ab}$ of $n{-}1$-categories, indexed by pairs $(a, b)$ of objects (0-morphisms) |
1749 |
of $\cA$ and $\cB$. |
|
1750 |
Let $J$ be some standard 0-marked 1-ball (i.e.\ an interval with a marked point in its interior). |
|
1751 |
Given a $j$-ball $X$, $0\le j\le n-1$, we define |
|
1752 |
\[ |
|
1753 |
\cD(X) \deq \cM(X\times J) . |
|
1754 |
\] |
|
1755 |
The product is pinched over the boundary of $J$. |
|
327 | 1756 |
The set $\cD$ breaks into ``blocks" according to the restrictions to the pinched points of $X\times J$ |
209 | 1757 |
(see Figure \ref{feb21b}). |
206 | 1758 |
These restrictions are 0-morphisms $(a, b)$ of $\cA$ and $\cB$. |
107 | 1759 |
|
209 | 1760 |
\begin{figure}[!ht] |
367 | 1761 |
$$ |
1762 |
\begin{tikzpicture}[blue,line width=2pt] |
|
1763 |
\draw (0,1) -- (0,-1) node[below] {$X$}; |
|
1764 |
||
1765 |
\draw (2,0) -- (4,0) node[below] {$J$}; |
|
1766 |
\fill[red] (3,0) circle (0.1); |
|
1767 |
||
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1768 |
\draw[fill=blue!30!white] (6,0) node(a) {} arc (135:90:4) node(top) {} arc (90:45:4) node(b) {} arc (-45:-90:4) node(bottom) {} arc(-90:-135:4); |
367 | 1769 |
\draw[red] (top.center) -- (bottom.center); |
1770 |
\fill (a) circle (0.1) node[left] {\color{green!50!brown} $a$}; |
|
1771 |
\fill (b) circle (0.1) node[right] {\color{green!50!brown} $b$}; |
|
1772 |
||
1773 |
\path (bottom) node[below]{$X \times J$}; |
|
1774 |
||
1775 |
\end{tikzpicture} |
|
1776 |
$$ |
|
209 | 1777 |
\caption{The pinched product $X\times J$} |
1778 |
\label{feb21b} |
|
1779 |
\end{figure} |
|
1780 |
||
206 | 1781 |
More generally, consider an interval with interior marked points, and with the complements |
1782 |
of these points labeled by $n$-categories $\cA_i$ ($0\le i\le l$) and the marked points labeled |
|
1783 |
by $\cA_i$-$\cA_{i+1}$ bimodules $\cM_i$. |
|
209 | 1784 |
(See Figure \ref{feb21c}.) |
327 | 1785 |
To this data we can apply the coend construction as in Subsection \ref{moddecss} above |
1786 |
to obtain an $\cA_0$-$\cA_l$ $0$-sphere module and, forgetfully, an $n{-}1$-category. |
|
1787 |
This amounts to a definition of taking tensor products of $0$-sphere module over $n$-categories. |
|
205 | 1788 |
|
209 | 1789 |
\begin{figure}[!ht] |
367 | 1790 |
$$ |
1791 |
\begin{tikzpicture}[baseline,line width = 2pt] |
|
1792 |
\draw[blue] (0,0) -- (6,0); |
|
1793 |
\foreach \x/\n in {0.5/0,1.5/1,3/2,4.5/3,5.5/4} { |
|
1794 |
\path (\x,0) node[below] {\color{green!50!brown}$\cA_{\n}$}; |
|
1795 |
} |
|
1796 |
\foreach \x/\n in {1/0,2/1,4/2,5/3} { |
|
1797 |
\fill[red] (\x,0) circle (0.1) node[above] {\color{green!50!brown}$\cM_{\n}$}; |
|
1798 |
} |
|
1799 |
\end{tikzpicture} |
|
1800 |
\qquad |
|
1801 |
\qquad |
|
1802 |
\begin{tikzpicture}[baseline,line width = 2pt] |
|
1803 |
\draw[blue] (0,0) circle (2); |
|
1804 |
\foreach \q/\n in {-45/0,90/1,180/2} { |
|
1805 |
\path (\q:2.4) node {\color{green!50!brown}$\cA_{\n}$}; |
|
1806 |
} |
|
1807 |
\foreach \q/\n in {60/0,120/1,-120/2} { |
|
1808 |
\fill[red] (\q:2) circle (0.1); |
|
1809 |
\path (\q:2.4) node {\color{green!50!brown}$\cM_{\n}$}; |
|
1810 |
} |
|
1811 |
\end{tikzpicture} |
|
1812 |
$$ |
|
209 | 1813 |
\caption{Marked and labeled 1-manifolds} |
1814 |
\label{feb21c} |
|
1815 |
\end{figure} |
|
1816 |
||
206 | 1817 |
We could also similarly mark and label a circle, obtaining an $n{-}1$-category |
1818 |
associated to the marked and labeled circle. |
|
209 | 1819 |
(See Figure \ref{feb21c}.) |
206 | 1820 |
If the circle is divided into two intervals, we can think of this $n{-}1$-category |
327 | 1821 |
as the 2-sided tensor product of the two bimodules associated to the two intervals. |
206 | 1822 |
|
1823 |
\medskip |
|
1824 |
||
1825 |
Next we define $n$-category 1-sphere modules. |
|
1826 |
These are just representations of (modules for) $n{-}1$-categories associated to marked and labeled |
|
1827 |
circles (1-spheres) which we just introduced. |
|
1828 |
||
1829 |
Equivalently, we can define 1-sphere modules in terms of 1-marked $k$-balls, $2\le k\le n$. |
|
1830 |
Fix a marked (and labeled) circle $S$. |
|
209 | 1831 |
Let $C(S)$ denote the cone of $S$, a marked 2-ball (Figure \ref{feb21d}). |
207 | 1832 |
\nn{I need to make up my mind whether marked things are always labeled too. |
1833 |
For the time being, let's say they are.} |
|
1834 |
A 1-marked $k$-ball is anything homeomorphic to $B^j \times C(S)$, $0\le j\le n-2$, |
|
1835 |
where $B^j$ is the standard $j$-ball. |
|
399 | 1836 |
A 1-marked $k$-ball can be decomposed in various ways into smaller balls, which are either |
1837 |
(a) smaller 1-marked $k$-balls, (b) 0-marked $k$-balls, or (c) plain $k$-balls. |
|
1838 |
(See Figure xxxx.) |
|
207 | 1839 |
We now proceed as in the above module definitions. |
1840 |
||
209 | 1841 |
\begin{figure}[!ht] |
367 | 1842 |
$$ |
1843 |
\begin{tikzpicture}[baseline,line width = 2pt] |
|
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1844 |
\draw[blue][fill=blue!15!white] (0,0) circle (2); |
367 | 1845 |
\fill[red] (0,0) circle (0.1); |
1846 |
\foreach \qm/\qa/\n in {70/-30/0, 120/95/1, -120/180/2} { |
|
1847 |
\draw[red] (0,0) -- (\qm:2); |
|
1848 |
\path (\qa:1) node {\color{green!50!brown} $\cA_\n$}; |
|
1849 |
\path (\qm+20:2.5) node(M\n) {\color{green!50!brown} $\cM_\n$}; |
|
1850 |
\draw[line width=1pt, green!50!brown, ->] (M\n.\qm+135) to[out=\qm+135,in=\qm+90] (\qm+5:1.3); |
|
1851 |
} |
|
1852 |
\end{tikzpicture} |
|
1853 |
$$ |
|
209 | 1854 |
\caption{Cone on a marked circle} |
1855 |
\label{feb21d} |
|
1856 |
\end{figure} |
|
1857 |
||
207 | 1858 |
A $n$-category 1-sphere module is, among other things, an $n{-}2$-category $\cD$ with |
1859 |
\[ |
|
1860 |
\cD(X) \deq \cM(X\times C(S)) . |
|
1861 |
\] |
|
1862 |
The product is pinched over the boundary of $C(S)$. |
|
1863 |
$\cD$ breaks into ``blocks" according to the restriction to the |
|
1864 |
image of $\bd C(S) = S$ in $X\times C(S)$. |
|
1865 |
||
1866 |
More generally, consider a 2-manifold $Y$ |
|
1867 |
(e.g.\ 2-ball or 2-sphere) marked by an embedded 1-complex $K$. |
|
1868 |
The components of $Y\setminus K$ are labeled by $n$-categories, |
|
1869 |
the edges of $K$ are labeled by 0-sphere modules, |
|
1870 |
and the 0-cells of $K$ are labeled by 1-sphere modules. |
|
1871 |
We can now apply the coend construction and obtain an $n{-}2$-category. |
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1872 |
If $Y$ has boundary then this $n{-}2$-category is a module for the $n{-}1$-category |
207 | 1873 |
associated to the (marked, labeled) boundary of $Y$. |
1874 |
In particular, if $\bd Y$ is a 1-sphere then we get a 1-sphere module as defined above. |
|
1875 |
||
1876 |
\medskip |
|
1877 |
||
1878 |
It should now be clear how to define $n$-category $m$-sphere modules for $0\le m \le n-1$. |
|
1879 |
For example, there is an $n{-}2$-category associated to a marked, labeled 2-sphere, |
|
208 | 1880 |
and a 2-sphere module is a representation of such an $n{-}2$-category. |
207 | 1881 |
|
1882 |
\medskip |
|
1883 |
||
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1884 |
We can now define the $n$-or-less-dimensional part of our $n{+}1$-category $\cS$. |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1885 |
Choose some collection of $n$-categories, then choose some collections of bimodules between |
207 | 1886 |
these $n$-categories, then choose some collection of 1-sphere modules for the various |
1887 |
possible marked 1-spheres labeled by the $n$-categories and bimodules, and so on. |
|
1888 |
Let $L_i$ denote the collection of $i{-}1$-sphere modules we have chosen. |
|
1889 |
(For convenience, we declare a $(-1)$-sphere module to be an $n$-category.) |
|
1890 |
There is a wide range of possibilities. |
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1891 |
The set $L_0$ could contain infinitely many $n$-categories or just one. |
207 | 1892 |
For each pair of $n$-categories in $L_0$, $L_1$ could contain no bimodules at all or |
1893 |
it could contain several. |
|
208 | 1894 |
The only requirement is that each $k$-sphere module be a module for a $k$-sphere $n{-}k$-category |
1895 |
constructed out of labels taken from $L_j$ for $j<k$. |
|
1896 |
||
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1897 |
We now define $\cS(X)$, for $X$ a ball of dimension at most $n$, to be the set of all |
208 | 1898 |
cell-complexes $K$ embedded in $X$, with the codimension-$j$ parts of $(X, K)$ labeled |
1899 |
by elements of $L_j$. |
|
1900 |
As described above, we can think of each decorated $k$-ball as defining a $k{-}1$-sphere module |
|
1901 |
for the $n{-}k{+}1$-category associated to its decorated boundary. |
|
1902 |
Thus the $k$-morphisms of $\cS$ (for $k\le n$) can be thought |
|
1903 |
of as $n$-category $k{-}1$-sphere modules |
|
1904 |
(generalizations of bimodules). |
|
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1905 |
On the other hand, we can equally well think of the $k$-morphisms as decorations on $k$-balls, |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1906 |
and from this point of view it is clear that they satisfy all of the axioms of an |
208 | 1907 |
$n{+}1$-category. |
1908 |
(All of the axioms for the less-than-$n{+}1$-dimensional part of an $n{+}1$-category, that is.) |
|
1909 |
||
1910 |
\medskip |
|
1911 |
||
1912 |
Next we define the $n{+}1$-morphisms of $\cS$. |
|
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1913 |
The construction of the 0- through $n$-morphisms was easy and tautological, but the |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1914 |
$n{+}1$-morphisms will require some effort and combinatorial topology, as well as additional |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1915 |
duality assumptions on the lower morphisms. These are required because we define the spaces of $n{+}1$-morphisms by making arbitrary choices of incoming and outgoing boundaries for each $n$-ball. The additional duality assumptions are needed to prove independence of our definition form these choices. |
208 | 1916 |
|
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1917 |
Let $X$ be an $n{+}1$-ball, and let $c$ be a decoration of its boundary |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1918 |
by a cell complex labeled by 0- through $n$-morphisms, as above. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1919 |
Choose an $n{-}1$-sphere $E\sub \bd X$ which divides |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1920 |
$\bd X$ into ``incoming" and ``outgoing" boundary $\bd_-X$ and $\bd_+X$. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1921 |
Let $E_c$ denote $E$ decorated by the restriction of $c$ to $E$. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1922 |
Recall from above the associated 1-category $\cS(E_c)$. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1923 |
We can also have $\cS(E_c)$ modules $\cS(\bd_-X_c)$ and $\cS(\bd_+X_c)$. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1924 |
Define |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1925 |
\[ |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1926 |
\cS(X; c; E) \deq \hom_{\cS(E_c)}(\cS(\bd_-X_c), \cS(\bd_+X_c)) . |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1927 |
\] |
208 | 1928 |
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1929 |
We will show that if the sphere modules are equipped with a `compatible family of |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1930 |
non-degenerate inner products', then there is a coherent family of isomorphisms |
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1931 |
$\cS(X; c; E) \cong \cS(X; c; E')$ for all pairs of choices $E$ and $E'$. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1932 |
This will allow us to define $\cS(X; e)$ independently of the choice of $E$. |
208 | 1933 |
|
390
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1934 |
First we must define ``inner product", ``non-degenerate" and ``compatible". |
387
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1935 |
Let $Y$ be a decorated $n$-ball, and $\ol{Y}$ it's mirror image. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1936 |
(We assume we are working in the unoriented category.) |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1937 |
Let $Y\cup\ol{Y}$ denote the decorated $n$-sphere obtained by gluing $Y$ and $\ol{Y}$ |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1938 |
along their common boundary. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1939 |
An {\it inner product} on $\cS(Y)$ is a dual vector |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1940 |
\[ |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1941 |
z_Y : \cS(Y\cup\ol{Y}) \to \c. |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1942 |
\] |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1943 |
We will also use the notation |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1944 |
\[ |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1945 |
\langle a, b\rangle \deq z_Y(a\bullet \ol{b}) \in \c . |
f0518720227a
sphere modules (in progress)
Kevin Walker <kevin@canyon23.net>
parents:
386
diff
changeset
|
1946 |
\] |
390
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1947 |
An inner product induces a linear map |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1948 |
\begin{eqnarray*} |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1949 |
\varphi: \cS(Y) &\to& \cS(Y)^* \\ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1950 |
a &\mapsto& \langle a, \cdot \rangle |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1951 |
\end{eqnarray*} |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1952 |
which satisfies, for all morphisms $e$ of $\cS(\bd Y)$, |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1953 |
\[ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1954 |
\varphi(ae)(b) = \langle ae, b \rangle = z_Y(a\bullet e\bullet b) = |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1955 |
\langle a, eb \rangle = \varphi(a)(eb) . |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1956 |
\] |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1957 |
In other words, $\varphi$ is a map of $\cS(\bd Y)$ modules. |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1958 |
An inner product is {\it non-degenerate} if $\varphi$ is an isomorphism. |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1959 |
This implies that $\cS(Y; c)$ is finite dimensional for all boundary conditions $c$. |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1960 |
(One can think of these inner products as giving some duality in dimension $n{+}1$; |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1961 |
heretofore we have only assumed duality in dimensions 0 through $n$.) |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1962 |
|
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1963 |
Next we define compatibility. |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1964 |
Let $Y = Y_1\cup Y_2$ with $D = Y_1\cap Y_2$. |
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1965 |
Let $X_1$ and $X_2$ be the two components of $Y\times I$ cut along |
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
393
diff
changeset
|
1966 |
$D\times I$, in both cases using the pinched product. |
390
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1967 |
(Here we are overloading notation and letting $D$ denote both a decorated and an undecorated |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1968 |
manifold.) |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1969 |
We have $\bd X_i = Y_i \cup \ol{Y}_i \cup (D\times I)$ |
393 | 1970 |
(see Figure \ref{jun23a}). |
1971 |
\begin{figure}[t] |
|
1972 |
\begin{equation*} |
|
1973 |
\mathfig{.6}{tempkw/jun23a} |
|
1974 |
\end{equation*} |
|
1975 |
\caption{$Y\times I$ sliced open} |
|
1976 |
\label{jun23a} |
|
1977 |
\end{figure} |
|
390
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1978 |
Given $a_i\in \cS(Y_i)$, $b_i\in \cS(\ol{Y}_i)$ and $v\in\cS(D\times I)$ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1979 |
which agree on their boundaries, we can evaluate |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1980 |
\[ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1981 |
z_{Y_i}(a_i\bullet b_i\bullet v) \in \c . |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1982 |
\] |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1983 |
(This requires a choice of homeomorphism $Y_i \cup \ol{Y}_i \cup (D\times I) \cong |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1984 |
Y_i \cup \ol{Y}_i$, but the value of $z_{Y_i}$ is independent of this choice.) |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1985 |
We can think of $z_{Y_i}$ as giving a function |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1986 |
\[ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1987 |
\psi_i : \cS(Y_i) \ot \cS(\ol{Y}_i) \to \cS(D\times I)^* |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1988 |
\stackrel{\varphi\inv}{\longrightarrow} \cS(D\times I) . |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1989 |
\] |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1990 |
We can now finally define a family of inner products to be {\it compatible} if |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1991 |
for all decompositions $Y = Y_1\cup Y_2$ as above and all $a_i\in \cS(Y_i)$, $b_i\in \cS(\ol{Y}_i)$ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1992 |
we have |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1993 |
\[ |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1994 |
z_Y(a_1\bullet a_2\bullet b_1\bullet b_2) = |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1995 |
z_{D\times I}(\psi_1(a_1\ot b_1)\bullet \psi_2(a_2\ot b_2)) . |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1996 |
\] |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1997 |
In other words, the inner product on $Y$ is determined by the inner products on |
027bfdae3098
define compatible familty of non-degenerate IPs
Kevin Walker <kevin@canyon23.net>
parents:
387
diff
changeset
|
1998 |
$Y_1$, $Y_2$ and $D\times I$. |
207 | 1999 |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2000 |
Now we show how to unambiguously identify $\cS(X; c; E)$ and $\cS(X; c; E')$ for any |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2001 |
two choices of $E$ and $E'$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2002 |
Consider first the case where $\bd X$ is decomposed as three $n$-balls $A$, $B$ and $C$, |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2003 |
with $E = \bd(A\cup B)$ and $E' = \bd A$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2004 |
We must provide an isomorphism between $\cS(X; c; E) = \hom(\cS(C), \cS(A\cup B))$ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2005 |
and $\cS(X; c; E') = \hom(\cS(C\cup \ol{B}), \cS(A))$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2006 |
Let $D = B\cap A$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2007 |
Then as above we can construct a map |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2008 |
\[ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2009 |
\psi: \cS(B)\ot\cS(\ol{B}) \to \cS(D\times I) . |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2010 |
\] |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2011 |
Given $f\in \hom(\cS(C), \cS(A\cup B))$ we define $f'\in \hom(\cS(C\cup \ol{B}), \cS(A))$ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2012 |
to be the composition |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2013 |
\[ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2014 |
\cS(C\cup \ol{B}) \stackrel{f\ot\id}{\longrightarrow} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2015 |
\cS(A\cup B\cup \ol{B}) \stackrel{\id\ot\psi}{\longrightarrow} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2016 |
\cS(A\cup(D\times I)) \stackrel{\cong}{\longrightarrow} \cS(A) . |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2017 |
\] |
393 | 2018 |
(See Figure \ref{jun23b}.) |
2019 |
\begin{figure}[t] |
|
2020 |
\begin{equation*} |
|
2021 |
\mathfig{.5}{tempkw/jun23b} |
|
2022 |
\end{equation*} |
|
2023 |
\caption{Moving $B$ from top to bottom} |
|
2024 |
\label{jun23b} |
|
2025 |
\end{figure} |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2026 |
Let $D' = B\cap C$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2027 |
Using the inner products there is an adjoint map |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2028 |
\[ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2029 |
\psi^\dagger: \cS(D'\times I) \to \cS(\ol{B})\ot\cS(B) . |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2030 |
\] |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2031 |
Given $f'\in \hom(\cS(C\cup \ol{B}), \cS(A))$ we define $f\in \hom(\cS(C), \cS(A\cup B))$ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2032 |
to be the composition |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2033 |
\[ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2034 |
\cS(C) \stackrel{\cong}{\longrightarrow} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2035 |
\cS(C\cup(D'\times I)) \stackrel{\id\ot\psi^\dagger}{\longrightarrow} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2036 |
\cS(C\cup \ol{B}\cup B) \stackrel{f'\ot\id}{\longrightarrow} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2037 |
\cS(A\cup B) . |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2038 |
\] |
393 | 2039 |
(See Figure \ref{jun23c}.) |
2040 |
\begin{figure}[t] |
|
2041 |
\begin{equation*} |
|
2042 |
\mathfig{.5}{tempkw/jun23c} |
|
2043 |
\end{equation*} |
|
2044 |
\caption{Moving $B$ from bottom to top} |
|
2045 |
\label{jun23c} |
|
2046 |
\end{figure} |
|
2047 |
Let $D' = B\cap C$. |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2048 |
It is not hard too show that the above two maps are mutually inverse. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2049 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2050 |
\begin{lem} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2051 |
Any two choices of $E$ and $E'$ are related by a series of modifications as above. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2052 |
\end{lem} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2053 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2054 |
\begin{proof} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2055 |
(Sketch) |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2056 |
$E$ and $E'$ are isotopic, and any isotopy is |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2057 |
homotopic to a composition of small isotopies which are either |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2058 |
(a) supported away from $E$, or (b) modify $E$ in the simple manner described above. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2059 |
\end{proof} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2060 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2061 |
It follows from the lemma that we can construct an isomorphism |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2062 |
between $\cS(X; c; E)$ and $\cS(X; c; E')$ for any pair $E$, $E'$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2063 |
This construction involves on a choice of simple ``moves" (as above) to transform |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2064 |
$E$ to $E'$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2065 |
We must now show that the isomorphism does not depend on this choice. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2066 |
We will show below that it suffice to check two ``movie moves". |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2067 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2068 |
The first movie move is to push $E$ across an $n$-ball $B$ as above, then push it back. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2069 |
The result is equivalent to doing nothing. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2070 |
As we remarked above, the isomorphisms corresponding to these two pushes are mutually |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2071 |
inverse, so we have invariance under this movie move. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2072 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2073 |
The second movie move replaces to successive pushes in the same direction, |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2074 |
across $B_1$ and $B_2$, say, with a single push across $B_1\cup B_2$. |
393 | 2075 |
(See Figure \ref{jun23d}.) |
2076 |
\begin{figure}[t] |
|
2077 |
\begin{equation*} |
|
2078 |
\mathfig{.9}{tempkw/jun23d} |
|
2079 |
\end{equation*} |
|
2080 |
\caption{A movie move} |
|
2081 |
\label{jun23d} |
|
2082 |
\end{figure} |
|
392
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2083 |
Invariance under this movie move follows from the compatibility of the inner |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2084 |
product for $B_1\cup B_2$ with the inner products for $B_1$ and $B_2$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2085 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2086 |
If $n\ge 2$, these two movie move suffice: |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2087 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2088 |
\begin{lem} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2089 |
Assume $n\ge 2$ and fix $E$ and $E'$ as above. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2090 |
The any two sequences of elementary moves connecting $E$ to $E'$ |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2091 |
are related by a sequence of the two movie moves defined above. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2092 |
\end{lem} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2093 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2094 |
\begin{proof} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2095 |
(Sketch) |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2096 |
Consider a two parameter family of diffeomorphisms (one parameter family of isotopies) |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2097 |
of $\bd X$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2098 |
Up to homotopy, |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2099 |
such a family is homotopic to a family which can be decomposed |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2100 |
into small families which are either |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2101 |
(a) supported away from $E$, |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2102 |
(b) have boundaries corresponding to the two movie moves above. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2103 |
Finally, observe that the space of $E$'s is simply connected. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2104 |
(This fails for $n=1$.) |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2105 |
\end{proof} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2106 |
|
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2107 |
For $n=1$ we have to check an additional ``global" relations corresponding to |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2108 |
rotating the 0-sphere $E$ around the 1-sphere $\bd X$. |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2109 |
\nn{should check this global move, or maybe cite Frobenius reciprocity result} |
a7b53f6a339d
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net>
parents:
390
diff
changeset
|
2110 |
|
207 | 2111 |
\nn{...} |
101 | 2112 |
|
2113 |
\medskip |
|
2114 |
\hrule |
|
2115 |
\medskip |
|
2116 |
||
95 | 2117 |
\nn{to be continued...} |
101 | 2118 |
\medskip |
98 | 2119 |
|
2120 |
||
208 | 2121 |
|
2122 |
||
2123 |
||
2124 |
||
98 | 2125 |
Stuff that remains to be done (either below or in an appendix or in a separate section or in |
2126 |
a separate paper): |
|
2127 |
\begin{itemize} |
|
207 | 2128 |
\item discuss Morita equivalence |
139 | 2129 |
\item functors |
98 | 2130 |
\end{itemize} |
2131 |
||
204 | 2132 |