70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%!TEX root = ../blob1.tex
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
Let $CD_*(X, Y)$ denote $C_*(\Diff(X \to Y))$, the singular chain complex of
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
the space of diffeomorphisms
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
\nn{or homeomorphisms}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
between the $n$-manifolds $X$ and $Y$ (extending a fixed diffeomorphism $\bd X \to \bd Y$).
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
For convenience, we will permit the singular cells generating $CD_*(X, Y)$ to be more general
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
than simplices --- they can be based on any linear polyhedron.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
\nn{be more restrictive here? does more need to be said?}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
We also will use the abbreviated notation $CD_*(X) \deq CD_*(X, X)$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
\begin{prop} \label{CDprop}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
For $n$-manifolds $X$ and $Y$ there is a chain map
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
\eq{
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
e_{XY} : CD_*(X, Y) \otimes \bc_*(X) \to \bc_*(Y) .
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
On $CD_0(X, Y) \otimes \bc_*(X)$ it agrees with the obvious action of $\Diff(X, Y)$ on $\bc_*(X)$
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
18 |
(Proposition (\ref{diff0prop})).
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
For any splittings $X = X_1 \cup X_2$ and $Y = Y_1 \cup Y_2$,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
20 |
the following diagram commutes up to homotopy
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
21 |
\eq{ \xymatrix{
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
22 |
CD_*(X, Y) \otimes \bc_*(X) \ar[r]^{e_{XY}} & \bc_*(Y) \\
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
23 |
CD_*(X_1, Y_1) \otimes CD_*(X_2, Y_2) \otimes \bc_*(X_1) \otimes \bc_*(X_2)
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
24 |
\ar@/_4ex/[r]_{e_{X_1Y_1} \otimes e_{X_2Y_2}} \ar[u]^{\gl \otimes \gl} &
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
25 |
\bc_*(Y_1) \otimes \bc_*(Y_2) \ar[u]_{\gl}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
26 |
} }
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
27 |
Any other map satisfying the above two properties is homotopic to $e_X$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
28 |
\end{prop}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
29 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
30 |
\nn{need to rewrite for self-gluing instead of gluing two pieces together}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
31 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
32 |
\nn{Should say something stronger about uniqueness.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
33 |
Something like: there is
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
34 |
a contractible subcomplex of the complex of chain maps
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
35 |
$CD_*(X) \otimes \bc_*(X) \to \bc_*(X)$ (0-cells are the maps, 1-cells are homotopies, etc.),
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
36 |
and all choices in the construction lie in the 0-cells of this
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
37 |
contractible subcomplex.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
38 |
Or maybe better to say any two choices are homotopic, and
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
39 |
any two homotopies and second order homotopic, and so on.}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
40 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
41 |
\nn{Also need to say something about associativity.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
42 |
Put it in the above prop or make it a separate prop?
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
43 |
I lean toward the latter.}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
44 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
45 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
46 |
The proof will occupy the remainder of this section.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
47 |
\nn{unless we put associativity prop at end}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
48 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
49 |
Without loss of generality, we will assume $X = Y$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
50 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
51 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
52 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
53 |
Let $f: P \times X \to X$ be a family of diffeomorphisms and $S \sub X$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
54 |
We say that {\it $f$ is supported on $S$} if $f(p, x) = f(q, x)$ for all
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
55 |
$x \notin S$ and $p, q \in P$. Equivalently, $f$ is supported on $S$ if there is a family of diffeomorphisms $f' : P \times S \to S$ and a `background'
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
56 |
diffeomorphism $f_0 : X \to X$ so that
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
57 |
\begin{align}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
58 |
f(p,s) & = f_0(f'(p,s)) \;\;\;\; \mbox{for}\; (p, s) \in P\times S \\
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
59 |
\intertext{and}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
60 |
f(p,x) & = f_0(x) \;\;\;\; \mbox{for}\; (p, x) \in {P \times (X \setmin S)}.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
61 |
\end{align}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
62 |
Note that if $f$ is supported on $S$ then it is also supported on any $R \sup S$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
63 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
64 |
Let $\cU = \{U_\alpha\}$ be an open cover of $X$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
65 |
A $k$-parameter family of diffeomorphisms $f: P \times X \to X$ is
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
66 |
{\it adapted to $\cU$} if there is a factorization
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
67 |
\eq{
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
68 |
P = P_1 \times \cdots \times P_m
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
69 |
}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
70 |
(for some $m \le k$)
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
71 |
and families of diffeomorphisms
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
72 |
\eq{
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
73 |
f_i : P_i \times X \to X
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
74 |
}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
75 |
such that
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
76 |
\begin{itemize}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
77 |
\item each $f_i$ is supported on some connected $V_i \sub X$;
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
78 |
\item the sets $V_i$ are mutually disjoint;
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
79 |
\item each $V_i$ is the union of at most $k_i$ of the $U_\alpha$'s,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
80 |
where $k_i = \dim(P_i)$; and
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
81 |
\item $f(p, \cdot) = g \circ f_1(p_1, \cdot) \circ \cdots \circ f_m(p_m, \cdot)$
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
82 |
for all $p = (p_1, \ldots, p_m)$, for some fixed $g \in \Diff(X)$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
83 |
\end{itemize}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
84 |
A chain $x \in CD_k(X)$ is (by definition) adapted to $\cU$ if it is the sum
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
85 |
of singular cells, each of which is adapted to $\cU$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
86 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
87 |
(Actually, in this section we will only need families of diffeomorphisms to be
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
88 |
{\it weakly adapted} to $\cU$, meaning that the support of $f$ is contained in the union
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
89 |
of at most $k$ of the $U_\alpha$'s.)
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
90 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
91 |
\begin{lemma} \label{extension_lemma}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
92 |
Let $x \in CD_k(X)$ be a singular chain such that $\bd x$ is adapted to $\cU$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
93 |
Then $x$ is homotopic (rel boundary) to some $x' \in CD_k(X)$ which is adapted to $\cU$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
94 |
Furthermore, one can choose the homotopy so that its support is equal to the support of $x$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
95 |
\end{lemma}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
96 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
97 |
The proof will be given in Section \ref{sec:localising}.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
98 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
99 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
100 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
101 |
Before diving into the details, we outline our strategy for the proof of Proposition \ref{CDprop}.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
102 |
|
73
|
103 |
%Suppose for the moment that evaluation maps with the advertised properties exist.
|
70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
104 |
Let $p$ be a singular cell in $CD_k(X)$ and $b$ be a blob diagram in $\bc_*(X)$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
105 |
Suppose that there exists $V \sub X$ such that
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
106 |
\begin{enumerate}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
107 |
\item $V$ is homeomorphic to a disjoint union of balls, and
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
108 |
\item $\supp(p) \cup \supp(b) \sub V$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
109 |
\end{enumerate}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
110 |
Let $W = X \setmin V$, and let $V' = p(V)$ and $W' = p(W)$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
111 |
We then have a factorization
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
112 |
\[
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
113 |
p = \gl(q, r),
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
114 |
\]
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
115 |
where $q \in CD_k(V, V')$ and $r' \in CD_0(W, W')$.
|
73
|
116 |
We can also factorize $b = \gl(b_V, b_W)$, where $b_V\in \bc_*(V)$ and $b_W\in\bc_0(W)$.
|
70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
117 |
According to the commutative diagram of the proposition, we must have
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
118 |
\[
|
73
|
119 |
e_X(p\otimes b) = e_X(\gl(q\otimes b_V, r\otimes b_W)) =
|
|
120 |
gl(e_{VV'}(q\otimes b_V), e_{WW'}(r\otimes b_W)) .
|
|
121 |
\]
|
|
122 |
Since $r$ is a plain, 0-parameter family of diffeomorphisms, we must have
|
|
123 |
\[
|
|
124 |
e_{WW'}(r\otimes b_W) = r(b_W),
|
70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
125 |
\]
|
73
|
126 |
where $r(b_W)$ denotes the obvious action of diffeomorphisms on blob diagrams (in
|
|
127 |
this case a 0-blob diagram).
|
|
128 |
Since $V'$ is a disjoint union of balls, $\bc_*(V')$ is acyclic in degrees $>0$
|
|
129 |
(by \ref{disjunion} and \ref{bcontract}).
|
|
130 |
Assuming inductively that we have already defined $e_{VV'}(\bd(q\otimes b_V))$,
|
|
131 |
there is, up to homotopy, a unique choice for $e_{VV'}(q\otimes b_V)$
|
|
132 |
such that
|
|
133 |
\[
|
|
134 |
\bd(e_{VV'}(q\otimes b_V)) = e_{VV'}(\bd(q\otimes b_V)) .
|
|
135 |
\]
|
|
136 |
|
|
137 |
Thus the conditions of the proposition determine (up to homotopy) the evaluation
|
|
138 |
map for generators $p\otimes b$ such that $\supp(p) \cup \supp(b)$ is contained in a disjoint
|
|
139 |
union of balls.
|
|
140 |
On the other hand, Lemma \ref{extension_lemma} allows us to homotope
|
|
141 |
\nn{is this commonly used as a verb?} arbitrary generators to sums of generators with this property.
|
|
142 |
\nn{should give a name to this property}
|
|
143 |
This (roughly) establishes the uniqueness part of the proposition.
|
|
144 |
To show existence, we must show that the various choices involved in constructing
|
|
145 |
evaluation maps in this way affect the final answer only by a homotopy.
|
|
146 |
|
|
147 |
\nn{now for a more detailed outline of the proof...}
|
|
148 |
|
|
149 |
|
|
150 |
|
70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
151 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
152 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
153 |
\nn{to be continued....}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
154 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
155 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
156 |
%\nn{say something about associativity here}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
157 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
158 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
159 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
160 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
161 |
|