text/a_inf_blob.tex
changeset 122 d4e6bf589ebe
parent 119 a044fda18400
child 123 a5e863658e74
--- 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