diff -r eb9de49b98b4 -r d4e6bf589ebe text/a_inf_blob.tex --- a/text/a_inf_blob.tex Wed Oct 07 18:33:41 2009 +0000 +++ b/text/a_inf_blob.tex Tue Oct 13 21:32:06 2009 +0000 @@ -54,8 +54,8 @@ %This defines a filtration degree 0 element of $\bc_*^\cF(Y)$ We will define $\phi$ using a variant of the method of acyclic models. -Let $a\in S_m$ be a blob diagram on $Y\times F$. -For $m$ sufficiently small there exist decompositions of $K$ of $Y$ into $k$-balls such that the +Let $a\in \cS_m$ be a blob diagram on $Y\times F$. +For $m$ sufficiently small there exists a decomposition $K$ of $Y$ into $k$-balls such that the codimension 1 cells of $K\times F$ miss the blobs of $a$, and more generally such that $a$ is splittable along $K\times F$. Let $D(a)$ denote the subcomplex of $\bc_*^\cF(Y)$ generated by all $(a, \bar{K})$ such that each $K_i$ has the aforementioned splittable property