# HG changeset patch # User Kevin Walker # Date 1297178022 28800 # Node ID 8c6e1c3478d622cf3e18f46d613c323da78d5c05 # Parent 553808396b6f5cd94b248572ac97b07d6f878a85 clarify "splittable"; r -> l diff -r 553808396b6f -r 8c6e1c3478d6 text/blobdef.tex --- a/text/blobdef.tex Sun Feb 06 20:54:10 2011 -0800 +++ b/text/blobdef.tex Tue Feb 08 07:13:42 2011 -0800 @@ -180,8 +180,12 @@ by gluing together some disjoint pair of homeomorphic $n{-}1$-manifolds in the boundary of $M_{k-1}$. If, in addition, $M_0$ is a disjoint union of balls, we call it a \emph{ball decomposition}. \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$. + +Let $M_0 \to M_1 \to \cdots \to M_m = X$ be a gluing decomposition of $X$, +and let $M_0^0,\ldots,M_0^k$ be the connected components of $M_0$. +We say that a field +$a\in \cF(X)$ is splittable along the decomposition if $a$ is the image +under gluing and disjoint union of a fields $a_i \in \cF(M_0^i)$, $0\le i\le k$. In the example above, note that \[ @@ -200,8 +204,8 @@ \label{defn:configuration} A configuration of $k$ blobs in $X$ is an ordered collection of $k$ subsets $\{B_1, \ldots B_k\}$ of $X$ such that there exists a gluing decomposition $M_0 \to \cdots \to M_m = X$ of $X$ and -for each subset $B_i$ there is some $0 \leq r \leq m$ and some connected component $M_r'$ of -$M_r$ which is a ball, so $B_i$ is the image of $M_r'$ in $X$. +for each subset $B_i$ there is some $0 \leq l \leq m$ and some connected component $M_l'$ of +$M_l$ which is a ball, so $B_i$ is the image of $M_l'$ in $X$. We say that such a gluing decomposition is \emph{compatible} with the configuration. A blob $B_i$ is a twig blob if no other blob $B_j$ is a strict subset of it. @@ -213,7 +217,7 @@ Note that nested blobs may have boundaries that overlap, or indeed coincide. Blobs may meet the boundary of $X$. Further, note that blobs need not actually be embedded balls in $X$, since parts of the -boundary of the ball $M_r'$ may have been glued together. +boundary of the ball $M_l'$ may have been glued together. Note that often the gluing decomposition for a configuration of blobs may just be the trivial one: if the boundaries of all the blobs cut $X$ into pieces which are all manifolds, @@ -235,8 +239,8 @@ the restriction $u_i$ of $r$ to each twig blob $B_i$ lies in the subspace $U(B_i) \subset \cF(B_i)$. (See Figure \ref{blobkdiagram}.) -More precisely, each twig blob $B_i$ is the image of some ball $M_r'$ as above, -and it is really the restriction to $M_r'$ that must lie in the subspace $U(M_r')$. +More precisely, each twig blob $B_i$ is the image of some ball $M_l'$ as above, +and it is really the restriction to $M_l'$ that must lie in the subspace $U(M_l')$. \end{defn} \begin{figure}[t]\begin{equation*} \mathfig{.7}{definition/k-blobs} diff -r 553808396b6f -r 8c6e1c3478d6 text/intro.tex --- a/text/intro.tex Sun Feb 06 20:54:10 2011 -0800 +++ b/text/intro.tex Tue Feb 08 07:13:42 2011 -0800 @@ -555,6 +555,7 @@ and Alexander Kirillov for many interesting and useful conversations. +\nn{should add thanks to people from Teichner's reading course; Aaron Mazel-Gee, $\ldots$} During this work, Kevin Walker has been at Microsoft Station Q, and Scott Morrison has been at Microsoft Station Q and the Miller Institute for Basic Research at UC Berkeley. We'd like to thank the Aspen Center for Physics for the pleasant and productive environment provided there during the final preparation of this manuscript.