author | Kevin Walker <kevin@canyon23.net> |
Thu, 22 Jul 2010 11:41:21 -0600 | |
changeset 472 | 0b9293d2f3f2 |
parent 466 | d238aa1ec317 |
child 473 | 270164061847 |
permissions | -rw-r--r-- |
215 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{The blob complex} |
|
4 |
\label{sec:blob-definition} |
|
5 |
||
6 |
Let $X$ be an $n$-manifold. |
|
437 | 7 |
Let $\cC$ be a fixed system of fields and local relations. |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
8 |
We'll assume it is enriched over \textbf{Vect}; |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
9 |
if it is not we can make it so by allowing finite |
437 | 10 |
linear combinations of elements of $\cC(X; c)$, for fixed $c\in \cC(\bd X)$. |
216 | 11 |
|
466
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
12 |
%In this section we will usually suppress boundary conditions on $X$ from the notation, e.g. by writing $\lf(X)$ instead of $\lf(X; c)$. |
215 | 13 |
|
14 |
We want to replace the quotient |
|
15 |
\[ |
|
16 |
A(X) \deq \lf(X) / U(X) |
|
17 |
\] |
|
437 | 18 |
of Definition \ref{defn:TQFT-invariant} with a resolution |
215 | 19 |
\[ |
20 |
\cdots \to \bc_2(X) \to \bc_1(X) \to \bc_0(X) . |
|
21 |
\] |
|
22 |
||
466
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
23 |
We will define $\bc_0(X)$, $\bc_1(X)$ and $\bc_2(X)$, then give the general case $\bc_k(X)$. |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
24 |
In fact, on the first pass we will intentionally describe the definition in a misleadingly |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
25 |
simple way, then explain the technical difficulties, |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
26 |
and finally give a cumbersome but complete definition in Definition \ref{defn:blob-definition}. |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
27 |
If (we don't recommend it) you want to keep track of the ways in which this initial |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
28 |
description is misleading, or you're reading through a second time to understand the |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
29 |
technical difficulties, note that later we will give precise meanings to ``a ball in $X$'', |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
30 |
``nested'' and ``disjoint'', that are not quite the intuitive ones. |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
31 |
Moreover some of the pieces into which we cut manifolds below are not themselves manifolds, |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
32 |
and it requires special attention to define fields on these pieces. |
215 | 33 |
|
34 |
We of course define $\bc_0(X) = \lf(X)$. |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
35 |
(If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \lf(X; c)$ for each $c \in \lf(\bdy X)$. |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
36 |
We'll omit such boundary conditions from the notation in the rest of this section.) |
437 | 37 |
In other words, $\bc_0(X)$ is just the vector space of all fields on $X$. |
215 | 38 |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
39 |
We want the vector space $\bc_1(X)$ to capture |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
40 |
``the space of all local relations that can be imposed on $\bc_0(X)$". |
437 | 41 |
Thus we say a $1$-blob diagram consists of: |
215 | 42 |
\begin{itemize} |
466
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
43 |
\item An closed ball in $X$ (``blob") $B \sub X$. |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
44 |
\item A boundary condition $c \in \cC(\bdy B) = \cC(\bd(X \setmin B))$. |
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
45 |
\item A field $r \in \cC(X \setmin B; c)$. |
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
46 |
\item A local relation field $u \in U(B; c)$. |
215 | 47 |
\end{itemize} |
437 | 48 |
(See Figure \ref{blob1diagram}.) Since $c$ is implicitly determined by $u$ or $r$, we usually omit it from the notation. |
216 | 49 |
\begin{figure}[t]\begin{equation*} |
313 | 50 |
\mathfig{.6}{definition/single-blob} |
215 | 51 |
\end{equation*}\caption{A 1-blob diagram.}\label{blob1diagram}\end{figure} |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
52 |
In order to get the linear structure correct, the actual definition is |
215 | 53 |
\[ |
54 |
\bc_1(X) \deq \bigoplus_B \bigoplus_c U(B; c) \otimes \lf(X \setmin B; c) . |
|
55 |
\] |
|
56 |
The first direct sum is indexed by all blobs $B\subset X$, and the second |
|
57 |
by all boundary conditions $c \in \cC(\bd B)$. |
|
58 |
Note that $\bc_1(X)$ is spanned by 1-blob diagrams $(B, u, r)$. |
|
59 |
||
60 |
Define the boundary map $\bd : \bc_1(X) \to \bc_0(X)$ by |
|
61 |
\[ |
|
62 |
(B, u, r) \mapsto u\bullet r, |
|
63 |
\] |
|
216 | 64 |
where $u\bullet r$ denotes the field on $X$ obtained by gluing $u$ to $r$. |
215 | 65 |
In other words $\bd : \bc_1(X) \to \bc_0(X)$ is given by |
66 |
just erasing the blob from the picture |
|
67 |
(but keeping the blob label $u$). |
|
68 |
||
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
69 |
\nn{it seems rather strange to make this a theorem} |
437 | 70 |
Note that directly from the definition we have |
71 |
\begin{thm} |
|
72 |
\label{thm:skein-modules} |
|
73 |
The skein module $A(X)$ is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$. |
|
74 |
\end{thm} |
|
75 |
This also establishes the second |
|
342 | 76 |
half of Property \ref{property:contractibility}. |
215 | 77 |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
78 |
Next, we want the vector space $\bc_2(X)$ to capture ``the space of all relations |
342 | 79 |
(redundancies, syzygies) among the |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
80 |
local relations encoded in $\bc_1(X)$''. |
437 | 81 |
A $2$-blob diagram, comes in one of two types, disjoint and nested. |
215 | 82 |
A disjoint 2-blob diagram consists of |
83 |
\begin{itemize} |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
84 |
\item A pair of closed balls (blobs) $B_1, B_2 \sub X$ with disjoint interiors. |
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
85 |
\item A field $r \in \cC(X \setmin (B_1 \cup B_2); c_1, c_2)$ |
215 | 86 |
(where $c_i \in \cC(\bd B_i)$). |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
87 |
\item Local relation fields $u_i \in U(B_i; c_i)$, $i=1,2$. |
215 | 88 |
\end{itemize} |
89 |
(See Figure \ref{blob2ddiagram}.) |
|
216 | 90 |
\begin{figure}[t]\begin{equation*} |
313 | 91 |
\mathfig{.6}{definition/disjoint-blobs} |
215 | 92 |
\end{equation*}\caption{A disjoint 2-blob diagram.}\label{blob2ddiagram}\end{figure} |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
93 |
We also identify $(B_1, B_2, u_1, u_2, r)$ with $-(B_2, B_1, u_2, u_1, r)$; |
215 | 94 |
reversing the order of the blobs changes the sign. |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
95 |
Define $\bd(B_1, B_2, u_1, u_2, r) = |
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
96 |
(B_2, u_2, u_1\bullet r) - (B_1, u_1, u_2\bullet r) \in \bc_1(X)$. |
215 | 97 |
In other words, the boundary of a disjoint 2-blob diagram |
98 |
is the sum (with alternating signs) |
|
99 |
of the two ways of erasing one of the blobs. |
|
100 |
It's easy to check that $\bd^2 = 0$. |
|
101 |
||
102 |
A nested 2-blob diagram consists of |
|
103 |
\begin{itemize} |
|
413 | 104 |
\item A pair of nested balls (blobs) $B_1 \subseteq B_2 \subseteq X$. |
342 | 105 |
\item A field $r' \in \cC(B_2 \setminus B_1; c_1, c_2)$ |
106 |
(for some $c_1 \in \cC(\bdy B_1)$ and $c_2 \in \cC(\bdy B_2)$). |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
107 |
\item A field $r \in \cC(X \setminus B_2; c_2)$. |
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
108 |
\item A local relation field $u \in U(B_1; c_1)$. |
215 | 109 |
\end{itemize} |
110 |
(See Figure \ref{blob2ndiagram}.) |
|
216 | 111 |
\begin{figure}[t]\begin{equation*} |
313 | 112 |
\mathfig{.6}{definition/nested-blobs} |
215 | 113 |
\end{equation*}\caption{A nested 2-blob diagram.}\label{blob2ndiagram}\end{figure} |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
114 |
Define $\bd(B_1, B_2, u, r', r) = (B_2, u\bullet r', r) - (B_1, u, r' \bullet r)$. |
215 | 115 |
As in the disjoint 2-blob case, the boundary of a nested 2-blob is the alternating |
116 |
sum of the two ways of erasing one of the blobs. |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
117 |
When we erase the inner blob, the outer blob inherits the label $u\bullet r'$. |
437 | 118 |
It is again easy to check that $\bd^2 = 0$. Note that the requirement that |
119 |
local relations are an ideal with respect to gluing guarantees that $u\bullet r' \in U(B_2)$. |
|
215 | 120 |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
121 |
As with the $1$-blob diagrams, in order to get the linear structure correct the actual definition is |
215 | 122 |
\begin{eqnarray*} |
123 |
\bc_2(X) & \deq & |
|
124 |
\left( |
|
413 | 125 |
\bigoplus_{B_1, B_2\; \text{disjoint}} \bigoplus_{c_1, c_2} |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
126 |
U(B_1; c_1) \otimes U(B_2; c_2) \otimes \lf(X\setmin (B_1\cup B_2); c_1, c_2) |
413 | 127 |
\right) \bigoplus \\ |
128 |
&& \quad\quad \left( |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
129 |
\bigoplus_{B_1 \subset B_2} \bigoplus_{c_1, c_2} |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
130 |
U(B_1; c_1) \otimes \lf(B_2 \setmin B_1; c_1, c_2) \tensor \cC(X \setminus B_2; c_2) |
215 | 131 |
\right) . |
132 |
\end{eqnarray*} |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
133 |
% __ (already said this above) |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
134 |
%For the disjoint blobs, reversing the ordering of $B_1$ and $B_2$ introduces a minus sign |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
135 |
%(rather than a new, linearly independent, 2-blob diagram). |
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
136 |
|
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
137 |
|
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
138 |
|
413 | 139 |
|
466
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
140 |
Before describing the general case, note that when we say blobs are disjoint, we will only mean that their interiors are disjoint. Nested blobs may have boundaries that overlap, or indeed may coincide. |
215 | 141 |
A $k$-blob diagram consists of |
142 |
\begin{itemize} |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
143 |
\item A collection of blobs $B_i \sub X$, $i = 1, \ldots, k$. |
216 | 144 |
For each $i$ and $j$, we require that either $B_i$ and $B_j$ have disjoint interiors or |
215 | 145 |
$B_i \sub B_j$ or $B_j \sub B_i$. |
146 |
If a blob has no other blobs strictly contained in it, we call it a twig blob. |
|
147 |
\item Fields (boundary conditions) $c_i \in \cC(\bd B_i)$. |
|
148 |
(These are implied by the data in the next bullets, so we usually |
|
149 |
suppress them from the notation.) |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
150 |
The fields $c_i$ and $c_j$ must have identical restrictions to $\bd B_i \cap \bd B_j$ |
215 | 151 |
if the latter space is not empty. |
152 |
\item A field $r \in \cC(X \setmin B^t; c^t)$, |
|
153 |
where $B^t$ is the union of all the twig blobs and $c^t \in \cC(\bd B^t)$ |
|
154 |
is determined by the $c_i$'s. |
|
437 | 155 |
$r$ is required to be splittable along the boundaries of all blobs, twigs or not. (This is equivalent to asking for a field on of the components of $X \setmin B^t$.) |
215 | 156 |
\item For each twig blob $B_j$ a local relation field $u_j \in U(B_j; c_j)$, |
157 |
where $c_j$ is the restriction of $c^t$ to $\bd B_j$. |
|
158 |
If $B_i = B_j$ then $u_i = u_j$. |
|
159 |
\end{itemize} |
|
160 |
(See Figure \ref{blobkdiagram}.) |
|
216 | 161 |
\begin{figure}[t]\begin{equation*} |
313 | 162 |
\mathfig{.7}{definition/k-blobs} |
215 | 163 |
\end{equation*}\caption{A $k$-blob diagram.}\label{blobkdiagram}\end{figure} |
164 |
||
165 |
If two blob diagrams $D_1$ and $D_2$ |
|
166 |
differ only by a reordering of the blobs, then we identify |
|
167 |
$D_1 = \pm D_2$, where the sign is the sign of the permutation relating $D_1$ and $D_2$. |
|
168 |
||
437 | 169 |
Roughly, then, $\bc_k(X)$ is all finite linear combinations of $k$-blob diagrams. |
215 | 170 |
As before, the official definition is in terms of direct sums |
171 |
of tensor products: |
|
172 |
\[ |
|
173 |
\bc_k(X) \deq \bigoplus_{\overline{B}} \bigoplus_{\overline{c}} |
|
437 | 174 |
\left( \bigotimes_j U(B_j; c_j)\right) \otimes \lf(X \setmin B^t; c^t) . |
215 | 175 |
\] |
176 |
Here $\overline{B}$ runs over all configurations of blobs, satisfying the conditions above. |
|
342 | 177 |
The index $\overline{c}$ runs over all boundary conditions, again as described above and $j$ runs over all indices of twig blobs. |
178 |
The final $\lf(X \setmin B^t; c^t)$ must be interpreted as fields which are splittable along all of the blobs in $\overline{B}$. |
|
215 | 179 |
|
216 | 180 |
The boundary map |
181 |
\[ |
|
182 |
\bd : \bc_k(X) \to \bc_{k-1}(X) |
|
183 |
\] |
|
184 |
is defined as follows. |
|
215 | 185 |
Let $b = (\{B_i\}, \{u_j\}, r)$ be a $k$-blob diagram. |
186 |
Let $E_j(b)$ denote the result of erasing the $j$-th blob. |
|
187 |
If $B_j$ is not a twig blob, this involves only decrementing |
|
437 | 188 |
the indices of blobs $B_{j+1},\ldots,B_{k}$. |
215 | 189 |
If $B_j$ is a twig blob, we have to assign new local relation labels |
437 | 190 |
if removing $B_j$ creates new twig blobs. \todo{Have to say what happens when no new twig blobs are created} |
215 | 191 |
If $B_l$ becomes a twig after removing $B_j$, then set $u_l = u_j\bullet r_l$, |
192 |
where $r_l$ is the restriction of $r$ to $B_l \setmin B_j$. |
|
193 |
Finally, define |
|
194 |
\eq{ |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
195 |
\bd(b) = \sum_{j=1}^{k} (-1)^{j+1} E_j(b). |
215 | 196 |
} |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
197 |
The $(-1)^{j+1}$ factors imply that the terms of $\bd^2(b)$ all cancel. |
215 | 198 |
Thus we have a chain complex. |
199 |
||
342 | 200 |
Note that Property \ref{property:functoriality}, that the blob complex is functorial with respect to homeomorphisms, is immediately obvious from the definition. |
437 | 201 |
A homeomorphism acts in an obvious way on blobs and on fields. |
332
160ca7078ae9
fixing some inconsistencies in where the easy basic properties are treated
Scott Morrison <scott@tqft.net>
parents:
321
diff
changeset
|
202 |
|
466
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
203 |
At this point, it is time to pay back our debt and define certain notions more carefully. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
204 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
205 |
In order to precisely state the general definition, we'll need a suitable notion of cutting up a manifold into balls. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
206 |
\begin{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
207 |
\label{defn:gluing-decomposition} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
208 |
A \emph{gluing decomposition} of an $n$-manifold $X$ is a sequence of manifolds $M_0 \to M_1 \to \cdots \to M_m = X$ such that $M_0$ is a disjoint union of balls, and each $M_k$ is obtained from $M_{k-1}$ by gluing together some disjoint pair of homeomorphic $n{-}1$-manifolds in the boundary of $M_{k-1}$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
209 |
\end{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
210 |
Given a gluing decomposition $M_0 \to M_1 \to \cdots \to M_m = X$, we say that a field is splittable along it if it is the image of a field on $M_0$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
211 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
212 |
By `a ball in $X$' we don't literally mean a submanifold homeomorphic to a ball, but rather the image of a map from the pair $(B^n, S^{n-1})$ into $X$, which is an embedding on the interior. The boundary of a ball in $X$ is the image of a locally embedded $n{-}1$-sphere. \todo{examples, e.g. balls which actually look like an annulus, but we remember the boundary} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
213 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
214 |
\begin{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
215 |
\label{defn:ball-decomposition} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
216 |
A \emph{ball decomposition} of an $n$-manifold $X$ is a collection of balls in $X$, such that there exists some gluing decomposition $M_0 \to \cdots \to M_m = X$ so that the balls are the images of the components of $M_0$ in $X$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
217 |
\end{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
218 |
In particular, the union of all the balls in a ball decomposition comprises all of $X$. \todo{example} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
219 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
220 |
We'll now slightly restrict the possible configurations of blobs. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
221 |
\begin{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
222 |
\label{defn:configuration} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
223 |
A configuration of $k$ blobs in $X$ is an ordered collection of $k$ balls in $X$ such that there is some gluing decomposition $M_0 \to \cdots \to M_m = X$ of $X$ and each of the balls is the image of some connected component of one of the $M_k$. Such a gluing decomposition is \emph{compatible} with the configuration. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
224 |
\end{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
225 |
In particular, this implies what we said about blobs above: that for any two blobs in a configuration of blobs in $X$, they either have disjoint interiors, or one blob is strictly contained in the other. We describe these as disjoint blobs and nested blobs. Note that nested blobs may have boundaries that overlap, or indeed coincide. Blobs may meet the boundary of $X$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
226 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
227 |
Note that the boundaries of a configuration of $k$ blobs may cut up the manifold $X$ into components which are not themselves manifolds. \todo{example: the components between the boundaries of the balls may be pathological} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
228 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
229 |
In the informal description above, in the definition of a $k$-blob diagram we asked for any collection of $k$ balls which were pairwise disjoint or nested. We now further insist that the balls are a configuration in the sense of Definition \ref{defn:configuration}. Also, we asked for a local relation on each twig blob, and a field on the complement of the twig blobs; this is unsatisfactory because that complement need not be a manifold. Thus, the official definition is |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
230 |
\begin{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
231 |
A $k$-blob diagram on $X$ consists of |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
232 |
\begin{itemize} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
233 |
\item a configuration of $k$ blobs in $X$, |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
234 |
\item and a field $r \in \cC(X)$ which is splittable along some gluing decomposition compatible with that configuration, |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
235 |
\end{itemize} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
236 |
such that |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
237 |
the restriction of $r$ to each twig blob $B_i$ lies in the subspace $U(B_i) \subset \cC(B_i)$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
238 |
\end{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
239 |
and |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
240 |
\begin{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
241 |
The $k$-th vector space $\bc_k(X)$ of the \emph{blob complex} of $X$ is the direct sum of all configurations of $k$ blobs in $X$ of the vector space of $k$-blob diagrams with that configuration, modulo identifying the vector spaces for configurations that only differ by a permutation of the balls by the sign of that permutation. The differential $bc_k(X) \to bc_{k-1}(X)$ is, as above, the signed sum of ways of forgetting one ball from the configuration, preserving the field $r$. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
242 |
\end{defn} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
243 |
We readily see that if a gluing decomposition is compatible with some configuration of blobs, then it is also compatible with any configuration obtained by forgetting some blobs, ensuring that the differential in fact lands in the space of $k{-}1$-blob diagrams. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
244 |
A slight compensation to the complication of the official definition arising from attention to splitting is that the differential now just preserves the entire field $r$ without having to say anything about gluing together fields on smaller components. |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
245 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
246 |
\todo{this notion of configuration of blobs is the minimal one that allows gluing and engulfing} |
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
247 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
248 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
249 |
|
d238aa1ec317
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
Scott Morrison <scott@tqft.net>
parents:
465
diff
changeset
|
250 |
|
257 | 251 |
We define the {\it support} of a blob diagram $b$, $\supp(b) \sub X$, |
252 |
to be the union of the blobs of $b$. |
|
253 |
For $y \in \bc_*(X)$ with $y = \sum c_i b_i$ ($c_i$ a non-zero number, $b_i$ a blob diagram), |
|
254 |
we define $\supp(y) \deq \bigcup_i \supp(b_i)$. |
|
255 |
||
216 | 256 |
We note that blob diagrams in $X$ have a structure similar to that of a simplicial set, |
257 |
but with simplices replaced by a more general class of combinatorial shapes. |
|
258 |
Let $P$ be the minimal set of (isomorphisms classes of) polyhedra which is closed under products |
|
259 |
and cones, and which contains the point. |
|
260 |
We can associate an element $p(b)$ of $P$ to each blob diagram $b$ |
|
261 |
(equivalently, to each rooted tree) according to the following rules: |
|
262 |
\begin{itemize} |
|
263 |
\item $p(\emptyset) = pt$, where $\emptyset$ denotes a 0-blob diagram or empty tree; |
|
342 | 264 |
\item $p(a \du b) = p(a) \times p(b)$, where $a \du b$ denotes the distant (non-overlapping) union |
265 |
of two blob diagrams (equivalently, join two trees at the roots); and |
|
266 |
\item $p(\bar{b}) = \kone(p(b))$, where $\bar{b}$ is obtained from $b$ by adding an outer blob which |
|
267 |
encloses all the others (equivalently, add a new edge to the root, with the new vertex becoming the root). |
|
216 | 268 |
\end{itemize} |
269 |
For example, a diagram of $k$ strictly nested blobs corresponds to a $k$-simplex, while |
|
270 |
a diagram of $k$ disjoint blobs corresponds to a $k$-cube. |
|
437 | 271 |
(This correspondence works best if we think of each twig label $u_i$ as having the form |
219 | 272 |
$x - s(e(x))$, where $x$ is an arbitrary field on $B_i$, $e: \cC(B_i) \to C$ is the evaluation map, |
437 | 273 |
and $s:C \to \cC(B_i)$ is some fixed section of $e$. \todo{This parenthetical remark mysteriously specialises to the category case}) |
215 | 274 |
|
275 |