--- a/text/evmap.tex Sat Jul 11 06:40:01 2009 +0000
+++ b/text/evmap.tex Sun Jul 12 06:14:45 2009 +0000
@@ -165,7 +165,7 @@
Choose another sequence of positive real numbers $\delta_i$ such that $\delta_i/\ep_i$
converges monotonically to zero (e.g.\ $\delta_i = \ep_i^2$).
Let $\phi_l$ be an increasing sequence of positive numbers
-satisfying the inequalities of Lemma \ref{xx2phi} (e.g. $\phi_l = 2^{3^{l-1}}$).
+satisfying the inequalities of Lemma \ref{xx2phi}.
Given a generator $p\otimes b$ of $CD_*(X)\otimes \bc_*(X)$ and non-negative integers $i$ and $l$
define
\[
@@ -231,7 +231,7 @@
We have $\deg(p'') = 0$ and, inductively, $f'' = p''(b'')$.
%We also have that $\deg(b'') = 0 = \deg(p'')$.
Choose $x' \in \bc_*(p(V))$ such that $\bd x' = f'$.
-This is possible by \ref{bcontract}, \ref{disjunion} and \nn{prop. 2 of local relations (isotopy)}.
+This is possible by \ref{bcontract}, \ref{disjunion} and \nn{property 2 of local relations (isotopy)}.
Finally, define
\[
e(p\ot b) \deq x' \bullet p''(b'') .
@@ -374,70 +374,71 @@
\begin{proof} \label{xxyy2}
Let $S$ be contained in $B_r(y)$, $y \in \ebb^n$.
-Note that $\Nbd_a(S) \sup B_r(y)$.
-Simple applications of the triangle inequality show that $\Nbd_a(S)$
-is star-shaped with respect to $y$.
+Note that if $a \ge 2r$ then $\Nbd_a(S) \sup B_r(y)$.
+Let $z\in \Nbd_a(S) \setmin B_r(y)$.
+Consider the triangle
+\nn{give figure?} with vertices $z$, $y$ and $s$ with $s\in S$.
+The length of the edge $yz$ is greater than $r$ which is greater
+than the length of the edge $ys$.
+It follows that the angle at $z$ is less than $\pi/2$ (less than $\pi/3$, in fact),
+which means that points on the edge $yz$ near $z$ are closer to $s$ than $z$ is,
+which implies that these points are also in $\Nbd_a(S)$.
+Hence $\Nbd_a(S)$ is star-shaped with respect to $y$.
+\end{proof}
+
+If we replace $\ebb^n$ above with an arbitrary compact Riemannian manifold $M$,
+the same result holds, so long as $a$ is not too large:
+
+\begin{lemma} \label{xxzz11}
+Let $M$ be a compact Riemannian manifold.
+Then there is a constant $\rho(M)$ such that for all
+subsets $S\sub M$ of radius $\le r$ and all $a$ such that $2r \le a \le \rho(M)$,
+$\Nbd_a(S)$ is homeomorphic to a ball.
+\end{lemma}
+
+\begin{proof}
+Choose $\rho = \rho(M)$ such that $3\rho/2$ is less than the radius of injectivity of $M$,
+and also so that for any point $y\in M$ the geodesic coordinates of radius $3\rho/2$ around
+$y$ distort angles by only a small amount.
+Now the argument of the previous lemma works.
\end{proof}
-\begin{lemma} \label{xxyy3}
-Let $S \sub \ebb^n$ be contained in a union (not necessarily disjoint)
+
+\begin{lemma} \label{xx2phi}
+Let $S \sub M$ be contained in a union (not necessarily disjoint)
of $k$ metric balls of radius $r$.
-Then there exists a neighborhood $U$ of $S$ such that $U$ is homeomorphic to a disjoint union
-of balls and
+Let $\phi_1, \phi_2, \ldots$ be an increasing sequence of real numbers satisfying
+$\phi_1 \ge 2$ and $\phi_{i+1} \ge \phi_i(2\phi_i + 2) + \phi_i$.
+For convenience, let $\phi_0 = 0$.
+Assume also that $\phi_k r \le \rho(M)$.
+Then there exists a neighborhood $U$ of $S$,
+homeomorphic to a disjoint union of balls, such that
\[
- \Nbd_{2r}(S) \subeq U \subeq \Nbd_{4^k r}(S) .
+ \Nbd_{\phi_{k-1} r}(S) \subeq U \subeq \Nbd_{\phi_k r}(S) .
\]
\end{lemma}
\begin{proof}
+For $k=1$ this follows from Lemma \ref{xxzz11}.
+Assume inductively that it holds for $k-1$.
Partition $S$ into $k$ disjoint subsets $S_1,\ldots,S_k$, each of radius $\le r$.
-By Lemma \ref{xxyy2}, each $\Nbd(S_i)$ is homeomorphic to a ball.
-If these balls are disjoint (always the case if $k=1$) we are done.
-If two (or more) of them intersect, then $S$ is contained in a union of $k-1$ metric
-balls of radius $4r$.
-By induction, there is a neighborhood $U$ of $S$ such that
+By Lemma \ref{xxzz11}, each $\Nbd_{\phi_{k-1} r}(S_i)$ is homeomorphic to a ball.
+If these balls are disjoint, let $U$ be their union.
+Otherwise, assume WLOG that $S_{k-1}$ and $S_k$ are distance less than $2\phi_{k-1}r$ apart.
+Let $R_i = \Nbd_{\phi_{k-1} r}(S_i)$ for $i = 1,\ldots,k-2$
+and $R_{k-1} = \Nbd_{\phi_{k-1} r}(S_{k-1})\cup \Nbd_{\phi_{k-1} r}(S_k)$.
+Each $R_i$ is contained in a metric ball of radius $r' \deq (2\phi_{k-1}+2)r$.
+By induction, there is a neighborhood $U$ of $R \deq \bigcup_i R_i$,
+homeomorphic to a disjoint union
+of balls, and such that
\[
- U \subeq \Nbd_{4^{k-1}\cdot4r} .
+ U \subeq \Nbd_{\phi_{k-1}r'}(R) = \Nbd_{t}(S) \subeq \Nbd_{\phi_k r}(S) ,
\]
+where $t = \phi_{k-1}(2\phi_{k-1}+2)r + \phi_{k-1} r$.
\end{proof}
-\begin{lemma} \label{xxyy4}
-Let $S \sub \ebb^n$ be contained in a union (not necessarily disjoint)
-of $k$ metric balls of radius $r$.
-Then there exist neighborhoods $U_0, U_1, U_2, \ldots$ of $S$,
-each homeomorphic to a disjoint union of balls, such that
-\[
- \Nbd_{2r}(S) \subeq U_0 \subeq \Nbd_{4^k r}(S)
- \subeq U_1 \subeq \Nbd_{4^{2k} r}(S)
- \subeq U_2 \subeq \Nbd_{4^{3k} r}(S) \cdots
-\]
-\end{lemma}
-\begin{proof}
-Apply Lemma \ref {xxyy3} repeatedly.
-\end{proof}
-
-\begin{lemma} \label{xxyy5}
-Let $M$ be a Riemannian $n$-manifold and positive integers $m$ and $k$.
-There exists a constant $\eta(M, m, k)$ such that for all subsets
-$S\subeq M$ which are contained in a (not necessarily disjoint) union of
-$k$ metric balls of radius $r$, $r < \eta(M, m, k)$,
-there exist neighborhoods $U_0, U_1, \ldots, U_m$ of $S$,
-each homeomorphic to a disjoint union of balls, such that
-\[
- \Nbd_{2r}(S) \subeq U_0 \subeq \Nbd_{4^k r}(S)
- \subeq U_1 \subeq \Nbd_{4^{2k} r}(S) \cdots
- \subeq U_m \subeq \Nbd_{4^{(m+1)k} r}(S) .
-\]
-
-\end{lemma}
-
-\begin{proof}
-Choose $\eta = \eta(M, m, k)$ small enough so that metric balls of radius $4^{(m+1)k} \eta$
-are injective and also have small distortion with respect to a Euclidean metric.
-Then proceed as in the proof of Lemma \ref{xxyy4}.
-\end{proof}
\medskip