author | Kevin Walker <kevin@canyon23.net> |
Sat, 28 May 2011 09:49:30 -0600 | |
changeset 789 | 787914e9e859 |
parent 780 | b76b4b79dbe1 |
child 827 | 8c07beb30362 |
permissions | -rw-r--r-- |
215 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{The blob complex} |
|
551
9dfb5db2acd7
remaining changes from tuesday afternoon
Scott Morrison <scott@tqft.net>
parents:
550
diff
changeset
|
4 |
\subsection{Definitions} |
215 | 5 |
\label{sec:blob-definition} |
6 |
Let $X$ be an $n$-manifold. |
|
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
7 |
Let $(\cF,U)$ 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 |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
10 |
linear combinations of elements of $\cF(X; c)$, for fixed $c\in \cF(\bd X)$. |
216 | 11 |
|
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
12 |
%In this section we will usually suppress boundary conditions on $X$ from the notation, e.g. by writing $\cF(X)$ instead of $\cF(X; c)$. |
215 | 13 |
|
14 |
We want to replace the quotient |
|
15 |
\[ |
|
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
16 |
A(X) \deq \cF(X) / U(X) |
215 | 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)$. |
473 | 24 |
In fact, on the first pass we will intentionally describe the definition in a misleadingly simple way, |
25 |
then explain the technical difficulties, and finally give a cumbersome but complete definition in |
|
26 |
Definition \ref{defn:blobs}. |
|
27 |
If (we don't recommend it) you want to keep track of the ways in which |
|
28 |
this initial description is misleading, or you're reading through a second time to understand the |
|
29 |
technical difficulties, keep note that later we will give precise meanings to ``a ball in $X$'', |
|
472
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. |
473 | 31 |
Moreover some of the pieces |
32 |
into which we cut manifolds below are not themselves manifolds, and it requires special attention |
|
33 |
to define fields on these pieces. |
|
215 | 34 |
|
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
35 |
We of course define $\bc_0(X) = \cF(X)$. |
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
36 |
In other words, $\bc_0(X)$ is just the vector space of all fields on $X$. |
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
37 |
|
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
38 |
(If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \cF(X; c)$ for $c \in \cF(\bdy X)$. |
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
39 |
The blob complex $\bc_*(X; c)$ will depend on a fixed boundary condition $c\in \cF(\bdy X)$. |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
40 |
We'll omit such boundary conditions from the notation in the rest of this section.) |
215 | 41 |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
42 |
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
|
43 |
``the space of all local relations that can be imposed on $\bc_0(X)$". |
437 | 44 |
Thus we say a $1$-blob diagram consists of: |
215 | 45 |
\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
|
46 |
\item An closed ball in $X$ (``blob") $B \sub X$. |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
47 |
\item A boundary condition $c \in \cF(\bdy B) = \cF(\bd(X \setmin B))$. |
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
48 |
\item A field $r \in \cF(X \setmin B; c)$. |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
49 |
\item A local relation field $u \in U(B; c)$. |
215 | 50 |
\end{itemize} |
437 | 51 |
(See Figure \ref{blob1diagram}.) Since $c$ is implicitly determined by $u$ or $r$, we usually omit it from the notation. |
216 | 52 |
\begin{figure}[t]\begin{equation*} |
313 | 53 |
\mathfig{.6}{definition/single-blob} |
215 | 54 |
\end{equation*}\caption{A 1-blob diagram.}\label{blob1diagram}\end{figure} |
467
f3ccfc58ba7d
minor adjustments to blobdef
Scott Morrison <scott@tqft.net>
parents:
466
diff
changeset
|
55 |
In order to get the linear structure correct, we define |
215 | 56 |
\[ |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
57 |
\bc_1(X) \deq \bigoplus_B \bigoplus_c U(B; c) \otimes \cF(X \setmin B; c) . |
215 | 58 |
\] |
59 |
The first direct sum is indexed by all blobs $B\subset X$, and the second |
|
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
60 |
by all boundary conditions $c \in \cF(\bd B)$. |
215 | 61 |
Note that $\bc_1(X)$ is spanned by 1-blob diagrams $(B, u, r)$. |
62 |
||
63 |
Define the boundary map $\bd : \bc_1(X) \to \bc_0(X)$ by |
|
64 |
\[ |
|
65 |
(B, u, r) \mapsto u\bullet r, |
|
66 |
\] |
|
216 | 67 |
where $u\bullet r$ denotes the field on $X$ obtained by gluing $u$ to $r$. |
215 | 68 |
In other words $\bd : \bc_1(X) \to \bc_0(X)$ is given by |
69 |
just erasing the blob from the picture |
|
70 |
(but keeping the blob label $u$). |
|
71 |
||
437 | 72 |
Note that directly from the definition we have |
550 | 73 |
\begin{prop} |
437 | 74 |
\label{thm:skein-modules} |
75 |
The skein module $A(X)$ is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$. |
|
550 | 76 |
\end{prop} |
437 | 77 |
This also establishes the second |
342 | 78 |
half of Property \ref{property:contractibility}. |
215 | 79 |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
80 |
Next, we want the vector space $\bc_2(X)$ to capture ``the space of all relations |
342 | 81 |
(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
|
82 |
local relations encoded in $\bc_1(X)$''. |
437 | 83 |
A $2$-blob diagram, comes in one of two types, disjoint and nested. |
215 | 84 |
A disjoint 2-blob diagram consists of |
85 |
\begin{itemize} |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
86 |
\item A pair of closed balls (blobs) $B_1, B_2 \sub X$ with disjoint interiors. |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
87 |
\item A field $r \in \cF(X \setmin (B_1 \cup B_2); c_1, c_2)$ |
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
88 |
(where $c_i \in \cF(\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
|
89 |
\item Local relation fields $u_i \in U(B_i; c_i)$, $i=1,2$. |
215 | 90 |
\end{itemize} |
91 |
(See Figure \ref{blob2ddiagram}.) |
|
216 | 92 |
\begin{figure}[t]\begin{equation*} |
313 | 93 |
\mathfig{.6}{definition/disjoint-blobs} |
215 | 94 |
\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
|
95 |
We also identify $(B_1, B_2, u_1, u_2, r)$ with $-(B_2, B_1, u_2, u_1, r)$; |
215 | 96 |
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
|
97 |
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
|
98 |
(B_2, u_2, u_1\bullet r) - (B_1, u_1, u_2\bullet r) \in \bc_1(X)$. |
215 | 99 |
In other words, the boundary of a disjoint 2-blob diagram |
100 |
is the sum (with alternating signs) |
|
101 |
of the two ways of erasing one of the blobs. |
|
102 |
It's easy to check that $\bd^2 = 0$. |
|
103 |
||
104 |
A nested 2-blob diagram consists of |
|
105 |
\begin{itemize} |
|
413 | 106 |
\item A pair of nested balls (blobs) $B_1 \subseteq B_2 \subseteq X$. |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
107 |
\item A field $r' \in \cF(B_2 \setminus B_1; c_1, c_2)$ |
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
108 |
(for some $c_1 \in \cF(\bdy B_1)$ and $c_2 \in \cF(\bdy B_2)$). |
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
109 |
\item A field $r \in \cF(X \setminus B_2; c_2)$. |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
110 |
\item A local relation field $u \in U(B_1; c_1)$. |
215 | 111 |
\end{itemize} |
112 |
(See Figure \ref{blob2ndiagram}.) |
|
216 | 113 |
\begin{figure}[t]\begin{equation*} |
313 | 114 |
\mathfig{.6}{definition/nested-blobs} |
215 | 115 |
\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
|
116 |
Define $\bd(B_1, B_2, u, r', r) = (B_2, u\bullet r', r) - (B_1, u, r' \bullet r)$. |
215 | 117 |
As in the disjoint 2-blob case, the boundary of a nested 2-blob is the alternating |
118 |
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
|
119 |
When we erase the inner blob, the outer blob inherits the label $u\bullet r'$. |
437 | 120 |
It is again easy to check that $\bd^2 = 0$. Note that the requirement that |
121 |
local relations are an ideal with respect to gluing guarantees that $u\bullet r' \in U(B_2)$. |
|
215 | 122 |
|
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
123 |
As with the $1$-blob diagrams, in order to get the linear structure correct the actual definition is |
215 | 124 |
\begin{eqnarray*} |
125 |
\bc_2(X) & \deq & |
|
126 |
\left( |
|
413 | 127 |
\bigoplus_{B_1, B_2\; \text{disjoint}} \bigoplus_{c_1, c_2} |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
128 |
U(B_1; c_1) \otimes U(B_2; c_2) \otimes \cF(X\setmin (B_1\cup B_2); c_1, c_2) |
413 | 129 |
\right) \bigoplus \\ |
130 |
&& \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
|
131 |
\bigoplus_{B_1 \subset B_2} \bigoplus_{c_1, c_2} |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
132 |
U(B_1; c_1) \otimes \cF(B_2 \setmin B_1; c_1, c_2) \tensor \cF(X \setminus B_2; c_2) |
215 | 133 |
\right) . |
134 |
\end{eqnarray*} |
|
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
135 |
% __ (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
|
136 |
%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
|
137 |
%(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
|
138 |
|
474 | 139 |
\medskip |
140 |
||
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
141 |
Roughly, $\bc_k(X)$ is generated by configurations of $k$ blobs, pairwise disjoint or nested, |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
142 |
along with fields on all the components that the blobs divide $X$ into. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
143 |
Blobs which have no other blobs inside are called `twig blobs', |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
144 |
and the fields on the twig blobs must be local relations. |
474 | 145 |
The boundary is the alternating sum of erasing one of the blobs. |
146 |
In order to describe this general case in full detail, we must give a more precise description of |
|
147 |
which configurations of balls inside $X$ we permit. |
|
148 |
These configurations are generated by two operations: |
|
149 |
\begin{itemize} |
|
150 |
\item For any (possibly empty) configuration of blobs on an $n$-ball $D$, we can add |
|
151 |
$D$ itself as an outermost blob. |
|
152 |
(This is used in the proof of Proposition \ref{bcontract}.) |
|
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
153 |
\item If $X\sgl$ is obtained from $X$ by gluing, then any permissible configuration of blobs |
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
154 |
on $X$ gives rise to a permissible configuration on $X\sgl$. |
474 | 155 |
(This is necessary for Proposition \ref{blob-gluing}.) |
156 |
\end{itemize} |
|
157 |
Combining these two operations can give rise to configurations of blobs whose complement in $X$ is not |
|
491 | 158 |
a manifold. |
474 | 159 |
Thus will need to be more careful when speaking of a field $r$ on the complement of the blobs. |
160 |
||
780
b76b4b79dbe1
starting to work on colimit stuff, but not much progress yet
Kevin Walker <kevin@canyon23.net>
parents:
711
diff
changeset
|
161 |
\begin{example} \label{sin1x-example} |
487
c576b7868f05
some improvements to blobdef, including the z sin(1/z) example
Scott Morrison <scott@tqft.net>
parents:
479
diff
changeset
|
162 |
Consider the four subsets of $\Real^3$, |
c576b7868f05
some improvements to blobdef, including the z sin(1/z) example
Scott Morrison <scott@tqft.net>
parents:
479
diff
changeset
|
163 |
\begin{align*} |
489
bdbd890086eb
trying to talk about restrictions to twig blobs precisely, but the currently text is clunky
Scott Morrison <scott@tqft.net>
parents:
488
diff
changeset
|
164 |
A & = [0,1] \times [0,1] \times [0,1] \\ |
bdbd890086eb
trying to talk about restrictions to twig blobs precisely, but the currently text is clunky
Scott Morrison <scott@tqft.net>
parents:
488
diff
changeset
|
165 |
B & = [0,1] \times [-1,0] \times [0,1] \\ |
bdbd890086eb
trying to talk about restrictions to twig blobs precisely, but the currently text is clunky
Scott Morrison <scott@tqft.net>
parents:
488
diff
changeset
|
166 |
C & = [-1,0] \times \setc{(y,z)}{z \sin(1/z) \leq y \leq 1, z \in [0,1]} \\ |
bdbd890086eb
trying to talk about restrictions to twig blobs precisely, but the currently text is clunky
Scott Morrison <scott@tqft.net>
parents:
488
diff
changeset
|
167 |
D & = [-1,0] \times \setc{(y,z)}{-1 \leq y \leq z \sin(1/z), z \in [0,1]}. |
487
c576b7868f05
some improvements to blobdef, including the z sin(1/z) example
Scott Morrison <scott@tqft.net>
parents:
479
diff
changeset
|
168 |
\end{align*} |
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
169 |
Here $A \cup B = [0,1] \times [-1,1] \times [0,1]$ and $C \cup D = [-1,0] \times [-1,1] \times [0,1]$. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
170 |
Now, $\{A\}$ is a valid configuration of blobs in $A \cup B$, |
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
171 |
and $\{D\}$ is a valid configuration of blobs in $C \cup D$, |
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
172 |
so we must allow $\{A, D\}$ as a configuration of blobs in $[-1,1]^2 \times [0,1]$. |
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
173 |
Note however that the complement is not a manifold. |
487
c576b7868f05
some improvements to blobdef, including the z sin(1/z) example
Scott Morrison <scott@tqft.net>
parents:
479
diff
changeset
|
174 |
\end{example} |
474 | 175 |
|
176 |
\begin{defn} |
|
177 |
\label{defn:gluing-decomposition} |
|
178 |
A \emph{gluing decomposition} of an $n$-manifold $X$ is a sequence of manifolds |
|
179 |
$M_0 \to M_1 \to \cdots \to M_m = X$ such that each $M_k$ is obtained from $M_{k-1}$ |
|
180 |
by gluing together some disjoint pair of homeomorphic $n{-}1$-manifolds in the boundary of $M_{k-1}$. |
|
181 |
If, in addition, $M_0$ is a disjoint union of balls, we call it a \emph{ball decomposition}. |
|
182 |
\end{defn} |
|
708
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
183 |
|
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
184 |
Let $M_0 \to M_1 \to \cdots \to M_m = X$ be a gluing decomposition of $X$, |
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
185 |
and let $M_0^0,\ldots,M_0^k$ be the connected components of $M_0$. |
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
186 |
We say that a field |
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
187 |
$a\in \cF(X)$ is splittable along the decomposition if $a$ is the image |
710 | 188 |
under gluing and disjoint union of fields $a_i \in \cF(M_0^i)$, $0\le i\le k$. |
711
bff0c24013fe
re-added a remark that was accidentally deleted earlier
Kevin Walker <kevin@canyon23.net>
parents:
710
diff
changeset
|
189 |
Note that if $a$ is splittable in the sense then it makes sense to talk about the restriction of $a$ of any |
bff0c24013fe
re-added a remark that was accidentally deleted earlier
Kevin Walker <kevin@canyon23.net>
parents:
710
diff
changeset
|
190 |
component $M'_j$ of any $M_j$ of the decomposition. |
474 | 191 |
|
515 | 192 |
In the example above, note that |
193 |
\[ |
|
194 |
A \sqcup B \sqcup C \sqcup D \to (A \cup B) \sqcup (C \cup D) \to A \cup B \cup C \cup D |
|
195 |
\] |
|
196 |
is a ball decomposition, but other sequences of gluings starting from $A \sqcup B \sqcup C \sqcup D$ |
|
197 |
have intermediate steps which are not manifolds. |
|
487
c576b7868f05
some improvements to blobdef, including the z sin(1/z) example
Scott Morrison <scott@tqft.net>
parents:
479
diff
changeset
|
198 |
|
474 | 199 |
We'll now slightly restrict the possible configurations of blobs. |
506 | 200 |
%%%%% oops -- I missed the similar discussion after the definition |
201 |
%The basic idea is that each blob in a configuration |
|
202 |
%is the image a ball, with embedded interior and possibly glued-up boundary; |
|
203 |
%distinct blobs should either have disjoint interiors or be nested; |
|
204 |
%and the entire configuration should be compatible with some gluing decomposition of $X$. |
|
474 | 205 |
\begin{defn} |
206 |
\label{defn:configuration} |
|
506 | 207 |
A configuration of $k$ blobs in $X$ is an ordered collection of $k$ subsets $\{B_1, \ldots B_k\}$ |
208 |
of $X$ such that there exists a gluing decomposition $M_0 \to \cdots \to M_m = X$ of $X$ and |
|
708
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
209 |
for each subset $B_i$ there is some $0 \leq l \leq m$ and some connected component $M_l'$ of |
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
210 |
$M_l$ which is a ball, so $B_i$ is the image of $M_l'$ in $X$. |
506 | 211 |
We say that such a gluing decomposition |
212 |
is \emph{compatible} with the configuration. |
|
213 |
A blob $B_i$ is a twig blob if no other blob $B_j$ is a strict subset of it. |
|
474 | 214 |
\end{defn} |
215 |
In particular, this implies what we said about blobs above: |
|
216 |
that for any two blobs in a configuration of blobs in $X$, |
|
217 |
they either have disjoint interiors, or one blob is contained in the other. |
|
218 |
We describe these as disjoint blobs and nested blobs. |
|
219 |
Note that nested blobs may have boundaries that overlap, or indeed coincide. |
|
220 |
Blobs may meet the boundary of $X$. |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
221 |
Further, note that blobs need not actually be embedded balls in $X$, since parts of the |
708
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
222 |
boundary of the ball $M_l'$ may have been glued together. |
474 | 223 |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
224 |
Note that often the gluing decomposition for a configuration of blobs may just be the trivial one: |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
225 |
if the boundaries of all the blobs cut $X$ into pieces which are all manifolds, |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
226 |
we can just take $M_0$ to be these pieces, and $M_1 = X$. |
474 | 227 |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
228 |
In the informal description above, in the definition of a $k$-blob diagram we asked for any |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
229 |
collection of $k$ balls which were pairwise disjoint or nested. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
230 |
We now further insist that the balls are a configuration in the sense of Definition \ref{defn:configuration}. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
231 |
Also, we asked for a local relation on each twig blob, and a field on the complement of the twig blobs; |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
232 |
this is unsatisfactory because that complement need not be a manifold. Thus, the official definitions are |
474 | 233 |
\begin{defn} |
234 |
\label{defn:blob-diagram} |
|
235 |
A $k$-blob diagram on $X$ consists of |
|
236 |
\begin{itemize} |
|
479
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
237 |
\item a configuration $\{B_1, \ldots B_k\}$ of $k$ blobs in $X$, |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
238 |
\item and a field $r \in \cF(X)$ which is splittable along some gluing decomposition compatible with that configuration, |
474 | 239 |
\end{itemize} |
240 |
such that |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
241 |
the restriction $u_i$ of $r$ to each twig blob $B_i$ lies in the subspace |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
242 |
$U(B_i) \subset \cF(B_i)$. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
243 |
(See Figure \ref{blobkdiagram}.) |
708
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
244 |
More precisely, each twig blob $B_i$ is the image of some ball $M_l'$ as above, |
8c6e1c3478d6
clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net>
parents:
705
diff
changeset
|
245 |
and it is really the restriction to $M_l'$ that must lie in the subspace $U(M_l')$. |
474 | 246 |
\end{defn} |
479
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
247 |
\begin{figure}[t]\begin{equation*} |
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
248 |
\mathfig{.7}{definition/k-blobs} |
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
249 |
\end{equation*}\caption{A $k$-blob diagram.}\label{blobkdiagram}\end{figure} |
474 | 250 |
and |
251 |
\begin{defn} |
|
252 |
\label{defn:blobs} |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
253 |
The $k$-th vector space $\bc_k(X)$ of the \emph{blob complex} of $X$ is the direct sum over all |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
254 |
configurations of $k$ blobs in $X$ of the vector space of $k$-blob diagrams with that configuration, |
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
551
diff
changeset
|
255 |
modulo identifying the vector spaces for configurations that only differ by a permutation of the blobs |
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
256 |
by the sign of that permutation. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
257 |
The differential $\bc_k(X) \to \bc_{k-1}(X)$ is, as above, the signed sum of ways of |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
258 |
forgetting one blob from the configuration, preserving the field $r$: |
479
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
259 |
\begin{equation*} |
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
260 |
\bdy(\{B_1, \ldots B_k\}, r) = \sum_{i=1}^{k} (-1)^{i+1} (\{B_1, \ldots, \widehat{B_i}, \ldots, B_k\}, r) |
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
474
diff
changeset
|
261 |
\end{equation*} |
474 | 262 |
\end{defn} |
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
263 |
We readily see that if a gluing decomposition is compatible with some configuration of blobs, |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
264 |
then it is also compatible with any configuration obtained by forgetting some blobs, |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
265 |
ensuring that the differential in fact lands in the space of $k{-}1$-blob diagrams. |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
266 |
A slight compensation to the complication of the official definition arising from attention |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
267 |
to splitting is that the differential now just preserves the entire field $r$ without |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
268 |
having to say anything about gluing together fields on smaller components. |
472
0b9293d2f3f2
prelim blobdef.tex; committing now in anticipation Scott's further edits
Kevin Walker <kevin@canyon23.net>
parents:
466
diff
changeset
|
269 |
|
474 | 270 |
Note that Property \ref{property:functoriality}, that the blob complex is functorial with respect to homeomorphisms, |
271 |
is immediately obvious from the definition. |
|
437 | 272 |
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
|
273 |
|
513 | 274 |
\begin{remark} \label{blobsset-remark} \rm |
216 | 275 |
We note that blob diagrams in $X$ have a structure similar to that of a simplicial set, |
276 |
but with simplices replaced by a more general class of combinatorial shapes. |
|
277 |
Let $P$ be the minimal set of (isomorphisms classes of) polyhedra which is closed under products |
|
278 |
and cones, and which contains the point. |
|
279 |
We can associate an element $p(b)$ of $P$ to each blob diagram $b$ |
|
280 |
(equivalently, to each rooted tree) according to the following rules: |
|
281 |
\begin{itemize} |
|
282 |
\item $p(\emptyset) = pt$, where $\emptyset$ denotes a 0-blob diagram or empty tree; |
|
342 | 283 |
\item $p(a \du b) = p(a) \times p(b)$, where $a \du b$ denotes the distant (non-overlapping) union |
284 |
of two blob diagrams (equivalently, join two trees at the roots); and |
|
285 |
\item $p(\bar{b}) = \kone(p(b))$, where $\bar{b}$ is obtained from $b$ by adding an outer blob which |
|
286 |
encloses all the others (equivalently, add a new edge to the root, with the new vertex becoming the root). |
|
216 | 287 |
\end{itemize} |
288 |
For example, a diagram of $k$ strictly nested blobs corresponds to a $k$-simplex, while |
|
289 |
a diagram of $k$ disjoint blobs corresponds to a $k$-cube. |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
290 |
(When the fields come from an $n$-category, this correspondence works best if we think of each |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
291 |
twig label $u_i$ as having the form |
490
e9ef2270eb61
changing all the \cC's to \cF's in blobdef
Scott Morrison <scott@tqft.net>
parents:
489
diff
changeset
|
292 |
$x - s(e(x))$, where $x$ is an arbitrary field on $B_i$, $e: \cF(B_i) \to C$ is the evaluation map, |
491 | 293 |
and $s:C \to \cF(B_i)$ is some fixed section of $e$.) |
542
3baa4e4d395e
preparing for new def of morphisms of a-ing 1-cat modules
Kevin Walker <kevin@canyon23.net>
parents:
515
diff
changeset
|
294 |
|
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
295 |
For lack of a better name, |
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
542
diff
changeset
|
296 |
we'll call elements of $P$ cone-product polyhedra, |
542
3baa4e4d395e
preparing for new def of morphisms of a-ing 1-cat modules
Kevin Walker <kevin@canyon23.net>
parents:
515
diff
changeset
|
297 |
and say that blob diagrams have the structure of a cone-product set (analogous to simplicial set). |
513 | 298 |
\end{remark} |
215 | 299 |