author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Wed, 04 Nov 2009 21:54:24 +0000 | |
changeset 172 | 0f7a4042b646 |
parent 168 | 576466ef9a68 |
child 173 | 299b404b3bc0 |
permissions | -rw-r--r-- |
146 | 1 |
%!TEX root = ../blob1.tex |
2 |
\nn{Not sure where this goes yet: small blobs, unfinished:} |
|
81 | 3 |
|
172
0f7a4042b646
added tempary def of \setc
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
168
diff
changeset
|
4 |
% ******* temporary |
0f7a4042b646
added tempary def of \setc
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
168
diff
changeset
|
5 |
\def\setc#1#2{\{#1|#2\}} |
0f7a4042b646
added tempary def of \setc
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
168
diff
changeset
|
6 |
|
81 | 7 |
Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$. |
8 |
||
9 |
\begin{lem}[Small blobs] |
|
10 |
The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence. |
|
11 |
\end{lem} |
|
12 |
\begin{proof} |
|
13 |
Given a blob diagram $b \in \bc_k(M)$, denote by $b_\cS$ for $\cS \subset \{1, \ldots, k\}$ the blob diagram obtained by erasing the corresponding blobs. In particular, $b_\eset = b$, $b_{\{1,\ldots,k\}} \in \bc_0(M)$, and $d b_\cS = \sum_{\cS' = \cS'\sqcup\{i\}} \text{some sign} b_{\cS'}$. |
|
82 | 14 |
Similarly, for a configuration of $k$ blobs $\beta$ (that is, an choice of embeddings of balls in $M$, satisfying the disjointness rules for blobs, rather than a blob diagram, which is additionally labelled by appropriate fields), $\beta_\cS$ denotes the result of erasing a subset of blobs. We'll write $\beta' \prec \beta$ if $\beta' = \beta_\cS$ for some $\cS$. Finally, for finite sequences, we'll write $i \prec i'$ if $i$ is subsequence of $i'$, and $i \prec_1 i$ if the lengths differ by exactly 1. |
81 | 15 |
|
16 |
Next, we'll choose a `shrinking system' for $\cU$, namely for each increasing sequence of blob configurations |
|
17 |
$\beta_0 \prec \beta_1 \prec \cdots \prec \beta_m$, an $m$ parameter family of diffeomorphisms |
|
18 |
$\phi_{\beta_0 \prec \cdots \prec \beta_m} : \Delta^m \to \Diff{M}$ (here $\Delta^m$ is the standard simplex $\setc{\mathbf{x} \in \Real^{m+1}}{\sum_i x_i = 1}$), such that |
|
19 |
\begin{itemize} |
|
20 |
\item if $\beta$ is the empty configuration, $\phi_{\beta}(1) = \id_M$, |
|
21 |
\item if $\beta$ is a single configuration of blobs, then $\phi_{\beta}(1)(\beta)$ (which is another configuration of blobs: $\phi_{\beta}(1)$ is a diffeomorphism of $M$) is subordinate to $\cU$, |
|
22 |
\item (more generally) for any $x$ with $x_0 = 0$, $\phi_{\beta_0 \prec \cdots \prec \beta_m}(x)(\beta)$ is subordinate to $\cU$, and |
|
23 |
\item for each $i = 1, \ldots, m$, |
|
24 |
\begin{align*} |
|
25 |
\phi_{\beta_0 \prec \cdots \prec \beta_m}(x_0, \ldots, x_{i-1},0,x_{i+1},\ldots,x_m) & = \phi_{\beta_0 \prec \cdots \beta_{i-1} \prec \beta_{i+1} \prec \beta_m}(x_0,\ldots, x_{i-1},x_{i+1},\ldots,x_m). |
|
26 |
\end{align*} |
|
27 |
\end{itemize} |
|
28 |
It's not immediately obvious that it's possible to make such choices, but it follows quickly from |
|
29 |
\begin{claim} |
|
30 |
If $\beta$ is a collection of disjointly embedded balls in $M$, and $\varphi: B^k \to \Diff{M}$ is a map into diffeomorphisms such that for every $x\in \bdy B^k$, $\varphi(x)(\beta)$ is subordinate to $\cU$, then we can extend $\varphi$ to $\varphi:B^{k+1} \to \Diff{M}$, with the original $B^k$ as $\bdy^{\text{north}}(B^{k+1})$, and $\varphi(x)(\beta)$ subordinate to $\cU$ for every $x \in \bdy^{\text{south}}(B^{k+1})$. |
|
31 |
||
32 |
In fact, for a fixed $\beta$, $\Diff{M}$ retracts onto the subset $\setc{\varphi \in \Diff{M}}{\text{$\varphi(\beta)$ is subordinate to $\cU$}}$. |
|
33 |
\end{claim} |
|
168 | 34 |
\nn{need to check that this is true.} |
81 | 35 |
|
36 |
We'll need a stronger version of Property \ref{property:evaluation}; while the evaluation map $ev: \CD{M} \tensor \bc_*(M) \to \bc_*(M)$ is not unique, it has an up-to-homotopy representative (satisfying the usual conditions) which restricts to become a chain map $ev: \CD{M} \tensor \bc^{\cU}_*(M) \to \bc^{\cU}_*(M)$. The proof is straightforward: when deforming the family of diffeomorphisms to shrink its supports to a union of open sets, do so such that those open sets are subordinate to the cover. |
|
37 |
||
38 |
Now define a map $s: \bc_*(M) \to \bc^{\cU}_*(M)$, and then a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ so that $dh+hd=i\circ s$. The map $s: \bc_0(M) \to \bc^{\cU}_0(M)$ is just the identity; blob diagrams without blobs are automatically compatible with any cover. Given a blob diagram $b$, we'll abuse notation and write $\phi_b$ to mean $\phi_\beta$ for the blob configuration $\beta$ underlying $b$. We have |
|
82 | 39 |
$$s(b) = \sum_{i} ev(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor b_i)$$ |
81 | 40 |
where the sum is over sequences $i=(i_1,\ldots,i_m)$ in $\{1,\ldots,k\}$, with $0\leq m < k$, $i(b)$ denotes the increasing sequence of blob configurations |
41 |
$$\beta_{(i_1,\ldots,i_m)} \prec \beta_{(i_2,\ldots,i_m)} \prec \cdots \prec \beta_{()},$$ |
|
82 | 42 |
and, as usual, $i(b)$ denotes $b$ with blobs $i_1, \ldots i_m$ erased. We'll also write |
43 |
$$s(b) = \sum_{m=0}^{k-1} \sum_{\norm{i}=m} ev(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor b_i),$$ |
|
44 |
arranging the sum according to the length $\norm{i}$ of $i$. |
|
45 |
||
81 | 46 |
|
82 | 47 |
We need to check that $s$ is a chain map, and that the image of $s$ in fact lies in $\bc^{\cU}_*(M)$. \todo{} Calculate |
48 |
\begin{align*} |
|
49 |
\bdy(s(b)) & = \sum_{m=0}^{k-1} \sum_{\norm{i}=m} \ev\left(\bdy(\restrict{\phi_{i(b)}}{x_0 = 0})\tensor b_i\right) + (-1)^m \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \bdy b_i\right) \\ |
|
50 |
& = \sum_{m=0}^{k-1} \sum_{\norm{i}=m} \ev\left(\sum_{i' \prec_1 i} \pm \restrict{\phi_{i'(b)}}{x_0 = 0})\tensor b_i\right) + (-1)^m \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0}\tensor \sum_{i \prec_1 i'} \pm b_{i'}\right) \\ |
|
51 |
\intertext{and telescoping the sum} |
|
52 |
& = \sum_{m=0}^{k-2} \left(\sum_{\norm{i}=m} (-1)^m \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \sum_{i \prec_1 i'} \pm b_{i'}\right) \right) + \left(\sum_{\norm{i}=m+1} \ev\left(\sum_{i' \prec_1 i} \pm \restrict{\phi_{i'(b)}}{x_0 = 0} \tensor b_i\right) \right) + \\ |
|
53 |
& \qquad + (-1)^{k-1} \sum_{\norm{i}=k-1} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \sum_{i \prec_1 i'} \pm b_{i'}\right) \\ |
|
54 |
& = (-1)^{k-1} \sum_{\norm{i}=k-1} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \sum_{i \prec_1 i'} \pm b_{i'}\right) |
|
55 |
\end{align*} |
|
81 | 56 |
|
57 |
Next, we define the homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ by |
|
58 |
$$h(b) = \sum_{i} ev(\phi_{i(b)}, b_i).$$ |
|
59 |
\todo{and check that it's the right one...} |
|
60 |
\end{proof} |