Automated merge with https://tqft.net/hg/blob/
authorScott Morrison <scott@tqft.net>
Thu, 17 Jun 2010 12:48:26 -0700
changeset 372 7c7b06239444
parent 369 2eb73a43726a (diff)
parent 371 7d15bb9afe01 (current diff)
child 373 e15ad788718d
Automated merge with https://tqft.net/hg/blob/
diagrams/pdf/tempkw/dfig2.pdf
--- a/text/evmap.tex	Thu Jun 17 12:35:32 2010 -0700
+++ b/text/evmap.tex	Thu Jun 17 12:48:26 2010 -0700
@@ -618,6 +618,19 @@
 \end{proof}
 
 
+\noop{
+
+\nn{this should perhaps be a numbered remark, so we can cite it more easily}
+
+\begin{rem}
+For the proof of xxxx below we will need the following observation on the action constructed above.
+Let $b$ be a blob diagram and $p:P\times X\to X$ be a family of homeomorphisms.
+Then we may choose $e$ such that $e(p\ot b)$ is a sum of generators, each
+of which has support arbitrarily close to $p(t,|b|)$ for some $t\in P$.
+This follows from the fact that the 
+\nn{not correct, since there could also be small balls far from $|b|$}
+\end{rem}
+}
 
 \begin{prop}
 The $CH_*(X, Y)$ actions defined above are associative.