author | Kevin Walker <kevin@canyon23.net> |
Wed, 30 Jun 2010 08:55:46 -0700 | |
changeset 410 | 14e3124a48e8 |
parent 409 | 291f82fb79b5 |
child 417 | d3b05641e7ca |
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 |
|
342 | 6 |
In this section we complete the proofs of Properties 2-4. |
7 |
Throughout the paper, where possible, we prove results using Properties 1-4, |
|
8 |
rather than the actual definition of blob homology. |
|
9 |
This allows the possibility of future improvements to or alternatives on our definition. |
|
10 |
In fact, we hope that there may be a characterisation of blob homology in |
|
11 |
terms of Properties 1-4, but at this point we are unaware of one. |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
12 |
|
342 | 13 |
Recall Property \ref{property:disjoint-union}, |
14 |
that there is a natural isomorphism $\bc_*(X \du Y) \cong \bc_*(X) \otimes \bc_*(Y)$. |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
15 |
|
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
16 |
\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
|
17 |
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
|
18 |
(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
|
19 |
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
|
20 |
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
|
21 |
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
|
22 |
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
|
23 |
a pair of blob diagrams on $X$ and $Y$. |
342 | 24 |
These two maps are compatible with our sign conventions. |
25 |
(We follow the usual convention for tensors products of complexes, |
|
26 |
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
|
27 |
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
|
28 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
29 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
30 |
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
|
31 |
conditions to the notation. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
32 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
33 |
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
|
34 |
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
|
35 |
of the quotient map |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
36 |
$p: \bc_0(B^n; c) \to H_0(\bc_*(B^n, c))$. |
141 | 37 |
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
|
38 |
Then |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
39 |
\begin{prop} \label{bcontract} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
40 |
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
|
41 |
is a chain homotopy equivalence |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
42 |
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
|
43 |
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
|
44 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
45 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
46 |
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
|
47 |
$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
|
48 |
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
|
49 |
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
|
50 |
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
|
51 |
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
|
52 |
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
|
53 |
\end{proof} |
342 | 54 |
This proves Property \ref{property:contractibility} (the second half of the |
55 |
statement of this Property was immediate from the definitions). |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
56 |
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
|
57 |
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
|
58 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
59 |
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
|
60 |
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
|
61 |
|
221 | 62 |
\begin{cor} \label{disj-union-contract} |
63 |
If $X$ is a disjoint union of $n$-balls, then $\bc_*(X; c)$ is contractible. |
|
64 |
\end{cor} |
|
65 |
||
66 |
\begin{proof} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
67 |
This follows from Properties \ref{property:disjoint-union} and \ref{property:contractibility}. |
221 | 68 |
\end{proof} |
69 |
||
70 |
Define the {\it support} of a blob diagram to be the union of all the |
|
71 |
blobs of the diagram. |
|
72 |
Define the support of a linear combination of blob diagrams to be the union of the |
|
73 |
supports of the constituent diagrams. |
|
74 |
For future use we prove the following lemma. |
|
75 |
||
76 |
\begin{lemma} \label{support-shrink} |
|
77 |
Let $L_* \sub \bc_*(X)$ be a subcomplex generated by some |
|
78 |
subset of the blob diagrams on $X$, and let $f: L_* \to L_*$ |
|
79 |
be a chain map which does not increase supports and which induces an isomorphism on |
|
80 |
$H_0(L_*)$. |
|
81 |
Then $f$ is homotopic (in $\bc_*(X)$) to the identity $L_*\to L_*$. |
|
82 |
\end{lemma} |
|
83 |
||
84 |
\begin{proof} |
|
85 |
We will use the method of acyclic models. |
|
86 |
Let $b$ be a blob diagram of $L_*$, let $S\sub X$ be the support of $b$, and let |
|
87 |
$r$ be the restriction of $b$ to $X\setminus S$. |
|
88 |
Note that $S$ is a disjoint union of balls. |
|
89 |
Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$. |
|
403
ef36cdefb130
looking at the Hochschild section
Scott Morrison <scott@tqft.net>
parents:
342
diff
changeset
|
90 |
Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$. |
221 | 91 |
Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), |
403
ef36cdefb130
looking at the Hochschild section
Scott Morrison <scott@tqft.net>
parents:
342
diff
changeset
|
92 |
so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of `compatible' and this statement as a lemma} |
221 | 93 |
\end{proof} |
94 |
||
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
95 |
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
|
96 |
conditions to the notation. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
97 |
|
409 | 98 |
Let $X$ be an $n$-manifold, $\bd X = Y \cup Y \cup Z$. |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
99 |
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
|
100 |
with boundary $Z\sgl$. |
409 | 101 |
Given compatible fields (boundary conditions) $a$, $b$ and $c$ on $Y$, $Y$ and $Z$, |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
102 |
we have the blob complex $\bc_*(X; a, b, c)$. |
409 | 103 |
If $b = a$, then we can glue up blob diagrams on |
342 | 104 |
$X$ to get blob diagrams on $X\sgl$. |
105 |
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
|
106 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
107 |
\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
|
108 |
There is a natural chain map |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
109 |
\eq{ |
409 | 110 |
\gl: \bigoplus_a \bc_*(X; a, a, c) \to \bc_*(X\sgl; c\sgl). |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
111 |
} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
112 |
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
|
113 |
($n{-}2$-dimensional) boundaries with $c$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
114 |
`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
|
115 |
} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
116 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
221
diff
changeset
|
117 |
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
|
118 |
We fix this deficit in Section \ref{sec:gluing} below. |