text/evmap.tex
changeset 358 8589275ac65b
parent 357 bbd55b6e9650
child 359 6224e50c9311
--- a/text/evmap.tex	Wed Jun 09 13:21:55 2010 +0200
+++ b/text/evmap.tex	Thu Jun 10 22:00:06 2010 +0200
@@ -503,6 +503,7 @@
 
 Let $R_*$ be the chain complex with a generating 0-chain for each non-negative
 integer and a generating 1-chain connecting each adjacent pair $(j, j+1)$.
+(So $R_*$ is a simplicial version of the non-negative reals.)
 Denote the 0-chains by $j$ (for $j$ a non-negative integer) and the 1-chain connecting $j$ and $j+1$
 by $\iota_j$.
 Define a map (homotopy equivalence)
@@ -585,6 +586,22 @@
 but we have come very close}
 \nn{better: change statement of thm}
 
+\medskip
+
+Next we show that the action maps are compatible with gluing.
+Let $G^m_*$ and $\ol{G}^m_*$ be the complexes, as above, used for defining
+the action maps $e_{X\sgl}$ and $e_X$.
+The gluing map $X\sgl\to X$ induces a map
+\[
+	\gl: R_*\ot CH_*(X\sgl, X \sgl) \otimes \bc_*(X \sgl) \to R_*\ot CH_*(X, X) \otimes \bc_*(X) ,
+\]
+and it is easy to see that $\gl(G^m_*)\sub \ol{G}^m_*$.
+From this it follows that the diagram in the statement of Proposition \ref{CHprop} commutes.
+
+\medskip
+
+Finally we show that the action maps defined above are independent of
+the choice of metric (up to iterated homotopy).
 
 \nn{...}
 
@@ -599,7 +616,6 @@
 and $\hat{N}_{i,l}$ the alternate neighborhoods.
 Main idea is that for all $i$ there exists sufficiently large $k$ such that
 $\hat{N}_{k,l} \sub N_{i,l}$, and similarly with the roles of $N$ and $\hat{N}$ reversed.
-\item prove gluing compatibility, as in statement of main thm (this is relatively easy)
 \end{itemize}
 
 \nn{to be continued....}