# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1271293923 25200
# Node ID c6ea1c9c504eebe767b851068b0363dc3e069c2e
# Parent  daf58017eec5583e9daa54ec2f8f90b22b04e251
evmap: assembly

diff -r daf58017eec5 -r c6ea1c9c504e blob1.tex
--- a/blob1.tex	Sun Apr 11 10:38:38 2010 -0700
+++ b/blob1.tex	Wed Apr 14 18:12:03 2010 -0700
@@ -21,7 +21,7 @@
 \maketitle
 
 
-[revision $>$ 246;  $>$ 6 April 2010]
+[revision $\ge$ 250;  $\ge$ 14 April 2010]
 
 \textbf{Draft version, read with caution.}
 
diff -r daf58017eec5 -r c6ea1c9c504e text/evmap.tex
--- a/text/evmap.tex	Sun Apr 11 10:38:38 2010 -0700
+++ b/text/evmap.tex	Wed Apr 14 18:12:03 2010 -0700
@@ -487,11 +487,34 @@
 where $t = \phi_{k-1}(2\phi_{k-1}+2)r + \phi_{k-1} r$.
 \end{proof}
 
-
 \medskip
 
+Next we assemble the maps $e_{i,m}$, for various $i$ but fixed $m$, into a single map 
+\[
+	e_m: CH_*(X, X) \otimes \bc_*(X) \to \bc_*(X) .
+\]
+More precisely, we will specify an $m$-connected subspace of the chain complex
+of all maps from $CH_*(X, X) \otimes \bc_*(X)$ to $\bc_*(X)$.
 
-\hrule\medskip\hrule\medskip
+First we specify an endomorphism $\alpha$ of $CH_*(X, X) \otimes \bc_*(X)$ using acyclic models.
+Let $p\ot b$ be a generator of $CH_*(X, X) \otimes \bc_*(X)$, with $n = \deg(p)$.
+Let $i = k_{bmn}$ and $j = j_i$ be as in the statement of Lemma \ref{Gim_approx}.
+Let $K_{p,b} \sub CH_*(X, X)$ be the union of the tracks of the homotopies from $g_l(p)$ to 
+$g_{l+1}(p)$, for all $l \ge j$.
+This is a contractible set, and so therefore is $K_{p,b}\ot b \sub CH_*(X, X) \otimes \bc_*(X)$.
+Without loss of generality we may assume that $k_{bmn} \ge k_{cm,n-1}$ for all blob diagrams $c$ appearing in $\bd b$.
+It follows that $K_{p,b}\ot b \sub K_{q,c}\ot c$ for all $q\ot c$ 
+appearing in the boundary of $p\ot b$.
+Thus we can apply Lemma \ref{xxxx} \nn{backward acyclic models lemma, from appendix}
+to get the desired map $\alpha$, well-defined up to a contractible set of choices.
+
+
+
+
+
+
+
+\medskip\hrule\medskip\hrule\medskip
 
 \nn{outline of what remains to be done:}
 
@@ -507,6 +530,7 @@
 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
 \item Also need to prove associativity.
 \end{itemize}