author | Scott Morrison <scott@tqft.net> |
Wed, 12 May 2010 18:26:01 -0500 | |
changeset 264 | e8a5b2e128af |
parent 222 | 217b6a870532 |
child 314 | 6e23226d1cca |
permissions | -rw-r--r-- |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%!TEX root = ../blob1.tex |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
\section{Basic properties of the blob complex} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
\label{sec:basic-properties} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
6 |
In this section we complete the proofs of Properties 1-4. Throughout the paper, where possible, we prove results using Properties 1-4, rather than the actual definition of blob homology. This allows the possibility of future improvements to or alternatives on our definition. In fact, we hope that there may be a characterisation of blob homology in terms of Properties 1-4, but at this point we are unaware of one. |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
7 |
|
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
8 |
Recall Property \ref{property:disjoint-union}, that there is a natural isomorphism $\bc_*(X \du Y) \cong \bc_*(X) \otimes \bc_*(Y)$. |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
9 |
|
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
10 |
\begin{proof}[Proof of Property \ref{property:disjoint-union}] |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
Given blob diagrams $b_1$ on $X$ and $b_2$ on $Y$, we can combine them |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
(putting the $b_1$ blobs before the $b_2$ blobs in the ordering) to get a |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
blob diagram $(b_1, b_2)$ on $X \du Y$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
Because of the blob reordering relations, all blob diagrams on $X \du Y$ arise this way. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
In the other direction, any blob diagram on $X\du Y$ is equal (up to sign) |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
to one that puts $X$ blobs before $Y$ blobs in the ordering, and so determines |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
a pair of blob diagrams on $X$ and $Y$. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
18 |
These two maps are compatible with our sign conventions. (We follow the usual convention for tensors products of complexes, as in e.g. \cite{MR1438306}: $d(a \tensor b) = da \tensor b + (-1)^{\deg(a)} a \tensor db$.) |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
The two maps are inverses of each other. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
20 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
21 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
22 |
For the next proposition we will temporarily restore $n$-manifold boundary |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
23 |
conditions to the notation. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
24 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
25 |
Suppose that for all $c \in \cC(\bd B^n)$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
26 |
we have a splitting $s: H_0(\bc_*(B^n, c)) \to \bc_0(B^n; c)$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
27 |
of the quotient map |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
28 |
$p: \bc_0(B^n; c) \to H_0(\bc_*(B^n, c))$. |
141 | 29 |
For example, this is always the case if the coefficient ring is a field. |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
30 |
Then |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
31 |
\begin{prop} \label{bcontract} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
32 |
For all $c \in \cC(\bd B^n)$ the natural map $p: \bc_*(B^n, c) \to H_0(\bc_*(B^n, c))$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
33 |
is a chain homotopy equivalence |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
34 |
with inverse $s: H_0(\bc_*(B^n, c)) \to \bc_*(B^n; c)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
35 |
Here we think of $H_0(\bc_*(B^n, c))$ as a 1-step complex concentrated in degree 0. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
36 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
37 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
38 |
By assumption $p\circ s = \id$, so all that remains is to find a degree 1 map |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
39 |
$h : \bc_*(B^n; c) \to \bc_*(B^n; c)$ such that $\bd h + h\bd = \id - s \circ p$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
40 |
For $i \ge 1$, define $h_i : \bc_i(B^n; c) \to \bc_{i+1}(B^n; c)$ by adding |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
41 |
an $(i{+}1)$-st blob equal to all of $B^n$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
42 |
In other words, add a new outermost blob which encloses all of the others. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
43 |
Define $h_0 : \bc_0(B^n; c) \to \bc_1(B^n; c)$ by setting $h_0(x)$ equal to |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
44 |
the 1-blob with blob $B^n$ and label $x - s(p(x)) \in U(B^n; c)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
45 |
\end{proof} |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
46 |
This proves Property \ref{property:contractibility} (the second half of the statement of this Property was immediate from the definitions). |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
47 |
Note that even when there is no splitting $s$, we can let $h_0 = 0$ and get a homotopy |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
48 |
equivalence to the 2-step complex $U(B^n; c) \to \cC(B^n; c)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
49 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
50 |
For fields based on $n$-categories, $H_0(\bc_*(B^n; c)) \cong \mor(c', c'')$, |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
51 |
where $(c', c'')$ is some (any) splitting of $c$ into domain and range. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
52 |
|
221 | 53 |
\begin{cor} \label{disj-union-contract} |
54 |
If $X$ is a disjoint union of $n$-balls, then $\bc_*(X; c)$ is contractible. |
|
55 |
\end{cor} |
|
56 |
||
57 |
\begin{proof} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
58 |
This follows from Properties \ref{property:disjoint-union} and \ref{property:contractibility}. |
221 | 59 |
\end{proof} |
60 |
||
61 |
Define the {\it support} of a blob diagram to be the union of all the |
|
62 |
blobs of the diagram. |
|
63 |
Define the support of a linear combination of blob diagrams to be the union of the |
|
64 |
supports of the constituent diagrams. |
|
65 |
For future use we prove the following lemma. |
|
66 |
||
67 |
\begin{lemma} \label{support-shrink} |
|
68 |
Let $L_* \sub \bc_*(X)$ be a subcomplex generated by some |
|
69 |
subset of the blob diagrams on $X$, and let $f: L_* \to L_*$ |
|
70 |
be a chain map which does not increase supports and which induces an isomorphism on |
|
71 |
$H_0(L_*)$. |
|
72 |
Then $f$ is homotopic (in $\bc_*(X)$) to the identity $L_*\to L_*$. |
|
73 |
\end{lemma} |
|
74 |
||
75 |
\begin{proof} |
|
76 |
We will use the method of acyclic models. |
|
77 |
Let $b$ be a blob diagram of $L_*$, let $S\sub X$ be the support of $b$, and let |
|
78 |
$r$ be the restriction of $b$ to $X\setminus S$. |
|
79 |
Note that $S$ is a disjoint union of balls. |
|
80 |
Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$. |
|
81 |
note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$. |
|
82 |
Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), |
|
83 |
so $f$ and the identity map are homotopic. |
|
84 |
\end{proof} |
|
85 |
||
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
86 |
For the next proposition we will temporarily restore $n$-manifold boundary |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
87 |
conditions to the notation. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
88 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
89 |
Let $X$ be an $n$-manifold, $\bd X = Y \cup (-Y) \cup Z$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
90 |
Gluing the two copies of $Y$ together yields an $n$-manifold $X\sgl$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
91 |
with boundary $Z\sgl$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
92 |
Given compatible fields (boundary conditions) $a$, $b$ and $c$ on $Y$, $-Y$ and $Z$, |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
93 |
we have the blob complex $\bc_*(X; a, b, c)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
94 |
If $b = -a$ (the orientation reversal of $a$), then we can glue up blob diagrams on |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
95 |
$X$ to get blob diagrams on $X\sgl$. This proves Property \ref{property:gluing-map}, which we restate here in more detail. |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
96 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
97 |
\textbf{Property \ref{property:gluing-map}.}\emph{ |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
98 |
There is a natural chain map |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
99 |
\eq{ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
100 |
\gl: \bigoplus_a \bc_*(X; a, -a, c) \to \bc_*(X\sgl; c\sgl). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
101 |
} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
102 |
The sum is over all fields $a$ on $Y$ compatible at their |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
103 |
($n{-}2$-dimensional) boundaries with $c$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
104 |
`Natural' means natural with respect to the actions of diffeomorphisms. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
105 |
} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
106 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
107 |
This map is very far from being an isomorphism, even on homology. |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
108 |
We fix this deficit in Section \ref{sec:gluing} below. |