18 \[ |
18 \[ |
19 \cdots \to \bc_2(X) \to \bc_1(X) \to \bc_0(X) . |
19 \cdots \to \bc_2(X) \to \bc_1(X) \to \bc_0(X) . |
20 \] |
20 \] |
21 |
21 |
22 We will define $\bc_0(X)$, $\bc_1(X)$ and $\bc_2(X)$, then give the general case $\bc_k(X)$. |
22 We will define $\bc_0(X)$, $\bc_1(X)$ and $\bc_2(X)$, then give the general case $\bc_k(X)$. |
23 In fact, on the first pass we will intentionally describe the definition in a misleadingly simple way, then explain the technical difficulties, and finally give a cumbersome but complete definition in Definition \ref{defn:blob-definition}. If (we don't recommend it) you want to keep track of the ways in which this initial description is misleading, or you're reading through a second time to understand the technical difficulties, keep note that later we will give precise meanings to ``a ball in $X$'', ``nested'' and ``disjoint'', that are not quite the intuitive ones. Moreover some of the pieces into which we cut manifolds below are not themselves manifolds, and it requires special attention to define fields on these pieces. |
23 In fact, on the first pass we will intentionally describe the definition in a misleadingly simple way, then explain the technical difficulties, and finally give a cumbersome but complete definition in Definition \ref{defn:blobs}. If (we don't recommend it) you want to keep track of the ways in which this initial description is misleading, or you're reading through a second time to understand the technical difficulties, keep note that later we will give precise meanings to ``a ball in $X$'', ``nested'' and ``disjoint'', that are not quite the intuitive ones. Moreover some of the pieces into which we cut manifolds below are not themselves manifolds, and it requires special attention to define fields on these pieces. |
24 |
24 |
25 We of course define $\bc_0(X) = \lf(X)$. |
25 We of course define $\bc_0(X) = \lf(X)$. |
26 (If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \lf(X; c)$ for each $c \in \lf{\bdy X}$. |
26 (If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \lf(X; c)$ for each $c \in \lf{\bdy X}$. |
27 We'll omit this sort of detail in the rest of this section.) |
27 We'll omit this sort of detail in the rest of this section.) |
28 In other words, $\bc_0(X)$ is just the vector space of all fields on $X$. |
28 In other words, $\bc_0(X)$ is just the vector space of all fields on $X$. |
37 \end{itemize} |
37 \end{itemize} |
38 (See Figure \ref{blob1diagram}.) Since $c$ is implicitly determined by $u$ or $r$, we usually omit it from the notation. |
38 (See Figure \ref{blob1diagram}.) Since $c$ is implicitly determined by $u$ or $r$, we usually omit it from the notation. |
39 \begin{figure}[t]\begin{equation*} |
39 \begin{figure}[t]\begin{equation*} |
40 \mathfig{.6}{definition/single-blob} |
40 \mathfig{.6}{definition/single-blob} |
41 \end{equation*}\caption{A 1-blob diagram.}\label{blob1diagram}\end{figure} |
41 \end{equation*}\caption{A 1-blob diagram.}\label{blob1diagram}\end{figure} |
42 In order to get the linear structure correct, the actual definition is |
42 In order to get the linear structure correct, we define |
43 \[ |
43 \[ |
44 \bc_1(X) \deq \bigoplus_B \bigoplus_c U(B; c) \otimes \lf(X \setmin B; c) . |
44 \bc_1(X) \deq \bigoplus_B \bigoplus_c U(B; c) \otimes \lf(X \setmin B; c) . |
45 \] |
45 \] |
46 The first direct sum is indexed by all blobs $B\subset X$, and the second |
46 The first direct sum is indexed by all blobs $B\subset X$, and the second |
47 by all boundary conditions $c \in \cC(\bd B)$. |
47 by all boundary conditions $c \in \cC(\bd B)$. |
135 The fields $c_i$ and $c_j$ must have identical restrictions to $\bd B_i \cap \bd B_j$ |
135 The fields $c_i$ and $c_j$ must have identical restrictions to $\bd B_i \cap \bd B_j$ |
136 if the latter space is not empty. |
136 if the latter space is not empty. |
137 \item A field $r \in \cC(X \setmin B^t; c^t)$, |
137 \item A field $r \in \cC(X \setmin B^t; c^t)$, |
138 where $B^t$ is the union of all the twig blobs and $c^t \in \cC(\bd B^t)$ |
138 where $B^t$ is the union of all the twig blobs and $c^t \in \cC(\bd B^t)$ |
139 is determined by the $c_i$'s. |
139 is determined by the $c_i$'s. |
140 $r$ is required to be splittable along the boundaries of all blobs, twigs or not. (This is equivalent to asking for a field on of the components of $X \setmin B^t$.) |
140 The field $r$ is required to be splittable along the boundaries of all blobs, twigs or not. (This is equivalent to asking for a field on of the components of $X \setmin B^t$.) |
141 \item For each twig blob $B_j$ a local relation field $u_j \in U(B_j; c_j)$, |
141 \item For each twig blob $B_j$ a local relation field $u_j \in U(B_j; c_j)$. |
142 where $c_j$ is the restriction of $c^t$ to $\bd B_j$. |
|
143 If $B_i = B_j$ then $u_i = u_j$. |
142 If $B_i = B_j$ then $u_i = u_j$. |
144 \end{itemize} |
143 \end{itemize} |
145 (See Figure \ref{blobkdiagram}.) |
144 (See Figure \ref{blobkdiagram}.) |
146 \begin{figure}[t]\begin{equation*} |
145 \begin{figure}[t]\begin{equation*} |
147 \mathfig{.7}{definition/k-blobs} |
146 \mathfig{.7}{definition/k-blobs} |
211 |
210 |
212 Note that the boundaries of a configuration of $k$ blobs may cut up the manifold $X$ into components which are not themselves manifolds. \todo{example: the components between the boundaries of the balls may be pathological} |
211 Note that the boundaries of a configuration of $k$ blobs may cut up the manifold $X$ into components which are not themselves manifolds. \todo{example: the components between the boundaries of the balls may be pathological} |
213 |
212 |
214 In the informal description above, in the definition of a $k$-blob diagram we asked for any collection of $k$ balls which were pairwise disjoint or nested. We now further insist that the balls are a configuration in the sense of Definition \ref{defn:configuration}. Also, we asked for a local relation on each twig blob, and a field on the complement of the twig blobs; this is unsatisfactory because that complement need not be a manifold. Thus, the official definition is |
213 In the informal description above, in the definition of a $k$-blob diagram we asked for any collection of $k$ balls which were pairwise disjoint or nested. We now further insist that the balls are a configuration in the sense of Definition \ref{defn:configuration}. Also, we asked for a local relation on each twig blob, and a field on the complement of the twig blobs; this is unsatisfactory because that complement need not be a manifold. Thus, the official definition is |
215 \begin{defn} |
214 \begin{defn} |
|
215 \label{defn:blob-diagram} |
216 A $k$-blob diagram on $X$ consists of |
216 A $k$-blob diagram on $X$ consists of |
217 \begin{itemize} |
217 \begin{itemize} |
218 \item a configuration of $k$ blobs in $X$, |
218 \item a configuration of $k$ blobs in $X$, |
219 \item and a field $r \in \cC(X)$ which is splittable along some gluing decomposition compatible with that configuration, |
219 \item and a field $r \in \cC(X)$ which is splittable along some gluing decomposition compatible with that configuration, |
220 \end{itemize} |
220 \end{itemize} |
221 such that |
221 such that |
222 the restriction of $r$ to each twig blob $B_i$ lies in the subspace $U(B_i) \subset \cC(B_i)$. |
222 the restriction of $r$ to each twig blob $B_i$ lies in the subspace $U(B_i) \subset \cC(B_i)$. |
223 \end{defn} |
223 \end{defn} |
224 and |
224 and |
225 \begin{defn} |
225 \begin{defn} |
|
226 \label{defn:blobs} |
226 The $k$-th vector space $\bc_k(X)$ of the \emph{blob complex} of $X$ is the direct sum of all configurations of $k$ blobs in $X$ of the vector space of $k$-blob diagrams with that configuration, modulo identifying the vector spaces for configurations that only differ by a permutation of the balls by the sign of that permutation. The differential $bc_k(X) \to bc_{k-1}(X)$ is, as above, the signed sum of ways of forgetting one ball from the configuration, preserving the field $r$. |
227 The $k$-th vector space $\bc_k(X)$ of the \emph{blob complex} of $X$ is the direct sum of all configurations of $k$ blobs in $X$ of the vector space of $k$-blob diagrams with that configuration, modulo identifying the vector spaces for configurations that only differ by a permutation of the balls by the sign of that permutation. The differential $bc_k(X) \to bc_{k-1}(X)$ is, as above, the signed sum of ways of forgetting one ball from the configuration, preserving the field $r$. |
227 \end{defn} |
228 \end{defn} |
228 We readily see that if a gluing decomposition is compatible with some configuration of blobs, then it is also compatible with any configuration obtained by forgetting some blobs, ensuring that the differential in fact lands in the space of $k{-}1$-blob diagrams. |
229 We readily see that if a gluing decomposition is compatible with some configuration of blobs, then it is also compatible with any configuration obtained by forgetting some blobs, ensuring that the differential in fact lands in the space of $k{-}1$-blob diagrams. |
229 A slight compensation to the complication of the official definition arising from attention to splitting is that the differential now just preserves the entire field $r$ without having to say anything about gluing together fields on smaller components. |
230 A slight compensation to the complication of the official definition arising from attention to splitting is that the differential now just preserves the entire field $r$ without having to say anything about gluing together fields on smaller components. |
230 |
231 |