diff -r bb696f417f22 -r 9e44c1469918 text/blobdef.tex --- a/text/blobdef.tex Sun Aug 22 21:10:39 2010 -0700 +++ b/text/blobdef.tex Mon Aug 23 21:19:55 2010 -0700 @@ -174,7 +174,12 @@ \end{defn} Given a gluing decomposition $M_0 \to M_1 \to \cdots \to M_m = X$, we say that a field is splittable along it if it is the image of a field on $M_0$. -In the example above, note that $$A \sqcup B \sqcup C \sqcup D \to (A \cup B) \sqcup (C \cup D) \to A \cup B \cup C \cup D$$ is a ball decomposition, but other sequences of gluings starting from $A \sqcup B \sqcup C \sqcup D$have intermediate steps which are not manifolds. +In the example above, note that +\[ + A \sqcup B \sqcup C \sqcup D \to (A \cup B) \sqcup (C \cup D) \to A \cup B \cup C \cup D +\] +is a ball decomposition, but other sequences of gluings starting from $A \sqcup B \sqcup C \sqcup D$ +have intermediate steps which are not manifolds. We'll now slightly restrict the possible configurations of blobs. %%%%% oops -- I missed the similar discussion after the definition