author | Scott Morrison <scott@tqft.net> |
Wed, 29 Jun 2011 12:37:55 -0700 | |
changeset 834 | 16ec4ad5c618 |
parent 774 | b88c4c4af945 |
permissions | -rw-r--r-- |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
1 |
%!TEX root = ../../blob1.tex |
321
76c301fdf0a2
some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net>
parents:
317
diff
changeset
|
2 |
\section{The small blob complex} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
3 |
\label{appendix:small-blobs} |
81 | 4 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
5 |
Before proving Theorem \ref{thm:small-blobs}, we need a lemma allowing us to choose a convenient action of families of diffeomorphisms. |
312 | 6 |
Say that an open cover $\cV$ is strictly subordinate to $\cU$ if the closure of every open set of $\cV$ is contained in some open set of $\cU$. |
233
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
7 |
|
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
8 |
\begin{lem} |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
9 |
\label{lem:CH-small-blobs} |
402 | 10 |
Fix an open cover $\cU$, and a sequence $\cV_k$ of open covers which are each strictly subordinate to $\cU$. For a given $k$, consider $\cG_k$ the subspace of $C_k(\Homeo(M)) \tensor \bc_*(M)$ spanned by $f \tensor b$, where $f:P^k \times M \to M$ is a $k$-parameter family of homeomorphisms such that for each $p \in P$, $f(p, -)$ makes $b$ small with respect to $\cV_k$. We can choose an up-to-homotopy representative $\ev$ of the chain map of Theorem \ref{thm:evaluation} which gives the action of families of homeomorphisms, which restricts to give a map |
243 | 11 |
$$\ev : \cG_k \subset C_k(\Homeo(M)) \tensor \bc_*(M) \to \bc^{\cU}_*(M)$$ |
12 |
for each $k$. |
|
233
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
13 |
\end{lem} |
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
14 |
\begin{rem} |
243 | 15 |
We can't quite do the same with all $\cV_k$ just equal to $\cU$, but we can get by if we give ourselves arbitrarily little room to maneuver, by making the blobs we act on slightly smaller. |
233
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
16 |
\end{rem} |
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
17 |
\begin{proof} |
396
f58d590e8a08
cross-references for the small blobs lemma
Scott Morrison <scott@tqft.net>
parents:
385
diff
changeset
|
18 |
This follows from Remark \ref{rem:for-small-blobs} following the proof of |
452 | 19 |
Theorem \ref{thm:CH}. |
385
b1da2a454ee7
refinement of ev map statement needed for small blobs
Kevin Walker <kevin@canyon23.net>
parents:
321
diff
changeset
|
20 |
\end{proof} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
21 |
|
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
22 |
\begin{proof}[Proof of Theorem \ref{thm:small-blobs}] |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
23 |
We begin by describing the homotopy inverse in small degrees, to illustrate the general technique. |
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
24 |
We will construct a chain map $s: \bc_*(M) \to \bc^{\cU}_*(M)$ and a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ so that $\bdy h+h \bdy=i\circ s - \id$. The composition $s \circ i$ will just be the identity. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
25 |
|
312 | 26 |
On $0$-blobs, $s$ is just the identity; a blob diagram without any blobs is compatible with any open cover. |
452 | 27 |
%\nn{KW: For some systems of fields this is not true. |
28 |
%For example, consider a planar algebra with boxes of size greater than zero. |
|
29 |
%So I think we should do the homotopy even in degree zero. |
|
30 |
%But as noted above, maybe it's best to ignore this.} |
|
312 | 31 |
Nevertheless, we'll begin introducing nomenclature at this point: for configuration $\beta$ of disjoint embedded balls in $M$ we'll associate a one parameter family of homeomorphisms $\phi_\beta : \Delta^1 \to \Homeo(M)$ (here $\Delta^m$ is the standard simplex $\setc{\mathbf{x} \in \Real^{m+1}}{\sum_{i=0}^m x_i = 1}$). For $0$-blobs, where $\beta = \eset$, all these homeomorphisms are just the identity. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
32 |
|
417
d3b05641e7ca
making quotation marks consistently "American style"
Kevin Walker <kevin@canyon23.net>
parents:
405
diff
changeset
|
33 |
When $\beta$ is a collection of disjoint embedded balls in $M$, we say that a homeomorphism of $M$ ``makes $\beta$ small" if the image of each ball in $\beta$ under the homeomorphism is contained in some open set of $\cU$. Further, we'll say a homeomorphism ``makes $\beta$ $\epsilon$-small" if the image of each ball is contained in some open ball of radius $\epsilon$. |
233
0488412c274b
describing how to ensure the action of homeomorphisms keeps things small. complicated...
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
34 |
|
417
d3b05641e7ca
making quotation marks consistently "American style"
Kevin Walker <kevin@canyon23.net>
parents:
405
diff
changeset
|
35 |
On a $1$-blob $b$, with ball $\beta$, $s$ is defined as the sum of two terms. Essentially, the first term ``makes $\beta$ small", while the other term ``gets the boundary right". First, pick a one-parameter family $\phi_\beta : \Delta^1 \to \Homeo(M)$ of homeomorphisms, so $\phi_\beta(1,0)$ is the identity and $\phi_\beta(0,1)$ makes the ball $\beta$ small --- in fact, not just small with respect to $\cU$, but $\epsilon/2$-small, where $\epsilon > 0$ is such that every $\epsilon$-ball is contained in some open set of $\cU$. Next, pick a two-parameter family $\phi_{\eset \prec \beta} : \Delta^2 \to \Homeo(M)$ so that $\phi_{\eset \prec \beta}(0,x_1,x_2)$ makes the ball $\beta$ $\frac{3\epsilon}{4}$-small for all $x_1+x_2=1$, while $\phi_{\eset \prec \beta}(x_0,0,x_2) = \phi_\beta(x_0,x_2)$ and $\phi_{\eset \prec \beta}(x_0,x_1,0) = \phi_\eset(x_0,x_1)$. (It's perhaps not obvious that this is even possible --- see Lemma \ref{lem:extend-small-homeomorphisms} below.) We now define $s$ by |
296 | 36 |
$$s(b) = \restrict{\phi_\beta}{x_0=0}(b) - \restrict{\phi_{\eset \prec \beta}}{x_0=0}(\bdy b).$$ |
243 | 37 |
Here, $\restrict{\phi_\beta}{x_0=0} = \phi_\beta(0,1)$ is just a homeomorphism, which we apply to $b$, while $\restrict{\phi_{\eset \prec \beta}}{x_0=0}$ is a one parameter family of homeomorphisms which acts on the $0$-blob $\bdy b$ to give a $1$-blob. To be precise, this action is via the chain map identified in Lemma \ref{lem:CH-small-blobs} with $\cV_0$ the open cover by $\epsilon/2$-balls and $\cV_1$ the open cover by $\frac{3\epsilon}{4}$-balls. From this, it is immediate that $s(b) \in \bc^{\cU}_1(M)$, as desired. |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
38 |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
224
diff
changeset
|
39 |
We now check that $s$, as defined so far, is a chain map, calculating |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
40 |
\begin{align*} |
296 | 41 |
\bdy (s(b)) & = \restrict{\phi_\beta}{x_0=0}(\bdy b) - (\bdy \restrict{\phi_{\eset \prec \beta}}{x_0=0})(\bdy b) \\ |
42 |
& = \restrict{\phi_\beta}{x_0=0}(\bdy b) - \restrict{\phi_\beta}{x_0=0}(\bdy b) + \restrict{\phi_\eset}{x_0=0}(\bdy b) \\ |
|
224
9faf1f7fad3e
fixing signs in small blobs lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
43 |
& = \restrict{\phi_\eset}{x_0=0}(\bdy b) \\ |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
44 |
& = s(\bdy b) |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
45 |
\end{align*} |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
46 |
Next, we compute the compositions $s \circ i$ and $i \circ s$. If we start with a small $1$-blob diagram $b$, first include it up to the full blob complex then apply $s$, we get exactly back to $b$, at least assuming we adopt the convention that for any ball $\beta$ which is already small, we choose the families of homeomorphisms $\phi_\beta$ and $\phi_{\eset \prec \beta}$ to always be the identity. In the other direction, $i \circ s$, we will need to construct a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ for $*=0$ or $1$. |
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
47 |
|
296 | 48 |
The homotopy $h$ is defined by $$h(b) = \phi_\eset(b)$$ when $b$ is a $0$-blob (here $\phi_\eset$ is a one parameter family of homeomorphisms, so this is a $1$-blob), and $$h(b) = \phi_\beta(b) - \phi_{\eset \prec \beta}(\bdy b)$$ when $b$ is a $1$-blob (here $\beta$ is the ball in $b$, and the first term is the action of a one parameter family of homeomorphisms on a $1$-blob, and the second term is the action of a two parameter family of homeomorphisms on a $0$-blob, so both are $2$-blobs). We then calculate |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
49 |
\begin{align*} |
296 | 50 |
(\bdy h+h \bdy)(b) & = \bdy (\phi_{\beta}(b) - \phi_{\eset \prec \beta}(\bdy b)) + \phi_\eset(\bdy b) \\ |
51 |
& = \restrict{\phi_\beta}{x_0=0}(b) - \restrict{\phi_\beta}{x_1=0}(b) - \phi_\beta(\bdy b) - (\bdy \phi_{\eset \prec \beta})(\bdy b) + \phi_\eset(\bdy b) \\ |
|
52 |
& = \restrict{\phi_\beta}{x_0=0}(b) - b - \phi_\beta(\bdy b) - \restrict{\phi_{\eset \prec \beta}}{x_0=0}(\bdy b) + \phi_\beta(\bdy b) - \phi_\eset(\bdy b) + \phi_\eset(\bdy b) \\ |
|
53 |
& = \restrict{\phi_\beta}{x_0=0}(b) - b - \restrict{\phi_{\eset \prec \beta}}{x_0=0}(\bdy b) \\ |
|
290
9bb7d314c694
working on smallblobs.tex. messed up some oof the module stuff, will fix again momentarily
Scott Morrison <scott@tqft.net>
parents:
243
diff
changeset
|
54 |
& = (i \circ s - \id)(b). |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
55 |
\end{align*} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
56 |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
57 |
|
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
58 |
In order to define $s$ on arbitrary blob diagrams, we first fix a sequence of strictly subordinate covers for $\cU$. First choose an $\epsilon > 0$ so every $\epsilon$ ball is contained in some open set of $\cU$. For $k \geq 1$, let $\cV_{k}$ be the open cover of $M$ by $\epsilon (1-2^{-k})$ balls, and $\cV_0 = \cU$. Certainly $\cV_k$ is strictly subordinate to $\cU$. We now chose the chain map $\ev$ provided by Lemma \ref{lem:CH-small-blobs} for the open covers $\cV_k$ strictly subordinate to $\cU$. Note that $\cV_1$ and $\cV_2$ have already implicitly appeared in the description above. |
81 | 59 |
|
417
d3b05641e7ca
making quotation marks consistently "American style"
Kevin Walker <kevin@canyon23.net>
parents:
405
diff
changeset
|
60 |
Next, we choose a ``shrinking system" for $\left(\cU,\{\cV_k\}_{k \geq 1}\right)$, namely for each increasing sequence of blob configurations |
305 | 61 |
$\beta_1 \prec \cdots \prec \beta_n$, an $n$ parameter family of diffeomorphisms |
62 |
$\phi_{\beta_1 \prec \cdots \prec \beta_n} : \Delta^{n+1} \to \Diff{M}$, such that |
|
81 | 63 |
\begin{itemize} |
305 | 64 |
\item for any $x$ with $x_0 = 0$, $\phi_{\beta_1 \prec \cdots \prec \beta_n}(x)(\beta_1)$ is subordinate to $\cV_{n+1}$, and |
65 |
\item for each $i = 1, \ldots, n$, |
|
81 | 66 |
\begin{align*} |
305 | 67 |
\phi_{\beta_1 \prec \cdots \prec \beta_n}&(x_0, \ldots, x_{i-1},0,x_{i+1},\ldots,x_n) = \\ &\phi_{\beta_1 \prec \cdots \prec \beta_{i-1} \prec \beta_{i+1} \prec \cdots \prec \beta_n}(x_0,\ldots, x_{i-1},x_{i+1},\ldots,x_n). |
81 | 68 |
\end{align*} |
69 |
\end{itemize} |
|
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
70 |
Again, we've already made the choices for $\phi_{\beta}$ and for $\phi_{\eset \prec \beta}$, where $\beta$ is a single ball. It's not immediately obvious that it's possible to make such choices, but it follows readily from the following. |
81 | 71 |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
72 |
\begin{lem} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
73 |
\label{lem:extend-small-homeomorphisms} |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
74 |
Fix a collection of disjoint embedded balls $\beta$ in $M$ and some open cover $\cV$. Suppose we have a map $f : X \to \Homeo(M)$ on some compact $X$ such that for each $x \in \bdy X$, $f(x)$ makes $\beta$ $\cV$-small. Then we can extend $f$ to a map $\tilde{f} : X \times [0,1] \to \Homeo(M)$ so that $\tilde{f}(x,0) = f(x)$ and for every $x \in \bdy X \times [0,1] \cup X \times \{1\}$, $\tilde{f}(x)$ makes $\beta$ $\cV$-small. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
75 |
\end{lem} |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
76 |
\begin{proof} |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
77 |
Fix a metric on $M$, and pick $\epsilon > 0$ so every $\epsilon$ ball in $M$ is contained in some open set of $\cV$. First construct a family of homeomorphisms $g_s : M \to M$, $s \in [1,\infty)$ so $g_1$ is the identity, and $g_s(\beta_i) \subset \beta_i$ and $\rad g_s(\beta_i) \leq \frac{1}{s} \rad \beta_i$ for each ball $\beta_i$. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
78 |
There is some $K$ which uniformly bounds the expansion factors of all the homeomorphisms $f(x)$, that is $d(f(x)(a), f(x)(b)) < K d(a,b)$ for all $x \in X, a,b \in M$. Write $S=\epsilon^{-1} K \max_i \{\rad \beta_i\}$ (note that is $S<1$, we can just take $S=1$, as already $f(x)$ makes $\beta$ small for all $x$). Now define $\tilde{f}(t, x) = f(x) \compose g_{(S-1)t+1}$. |
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
79 |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
233
diff
changeset
|
80 |
If $x \in \bdy X$, then $g_{(S-1)t+1}(\beta_i) \subset \beta_i$, and by hypothesis $f(x)$ makes $\beta_i$ small, so $\tilde{f}(t, x)$ makes $\beta$ $\cV$-small for all $t \in [0,1]$. Alternatively, $\rad g_S(\beta_i) \leq \frac{1}{S} \rad \beta_i \leq \frac{\epsilon}{K}$, so $\rad \tilde{f}(1,x)(\beta_i) \leq \epsilon$, and so $\tilde{f}(1,x)$ makes $\beta$ $\cV$-small for all $x \in X$. |
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
173
diff
changeset
|
81 |
\end{proof} |
81 | 82 |
|
305 | 83 |
In fact, the application of this Lemma would allow us to choose the families of diffeomorphisms $\phi_{\beta_1 \prec \cdots \prec \beta_n}$ so that for any $x$ with $x_0 = 0$, $\phi_{\beta_1 \prec \cdots \prec \beta_n}(x)(\beta_1)$ is subordinate to any fixed open cover, for example $\cV_1$ (that is, the covering by $\epsilon/2$ balls), not just $\cV_{n+1}$, which is a weaker condition. Regardless, because of the way we have chosen the $\ev$ map, we only ensure that $\ev(\restrict{\phi_{\beta_1 \prec \cdots \prec \beta_n}}{x_0 = 0} \tensor \beta_1) \in \bc_{\deg \beta_1 + n}^{\cU}(M)$, so the distinction is not important. |
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
84 |
|
305 | 85 |
We now describe the general case. For a $k$-blob diagram $b \in \bc_k(M)$, denote by $b_\cS$ for $\cS \subset \{1, \ldots, k\}$ the blob diagram obtained by erasing the corresponding blobs. In particular, $b_\eset = b$, $b_{\{1,\ldots,k\}} \in \bc_0(M)$, and $\bdy b_\cS = \sum_{i \notin \cS} (-1)^{i+1+\card{\setc{j \in \cS}{j < i}}} b_{\cS \cup \{i\}}$. |
86 |
Similarly, for a disjoint embedding of $k$ balls $\beta$ (that is, a blob diagram but without the labels on regions), $\beta_\cS$ denotes the result of erasing a subset of blobs. |
|
81 | 87 |
|
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
88 |
\newcommand{\length}[1]{\operatorname{length}(#1)} |
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
89 |
|
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
90 |
We've finally reached the point where we can define a map $s: \bc_*(M) \to \bc^{\cU}_*(M)$, and then a homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ so that $dh+hd=i\circ s$. We have |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
91 |
$$s(b) = \sum_{m=0}^{k} \sum_{i \in \{1, \ldots, k\}^{m} \setminus \Delta} (-1)^{\sigma(i)} \ev(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor b_i),$$ |
314 | 92 |
where the sum is over sequences without repeats $i=(i_1,\ldots,i_m)$ in $\{1,\ldots,k\}$, with $0\leq m \leq k$ (we're using $\Delta$ here to indicate the generalized diagonal, where any two entries coincide), $\sigma(i)$ is defined blow, $i(b)$ denotes the increasing sequence of blob configurations |
81 | 93 |
$$\beta_{(i_1,\ldots,i_m)} \prec \beta_{(i_2,\ldots,i_m)} \prec \cdots \prec \beta_{()},$$ |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
94 |
and, as usual, $b_i$ denotes $b$ with blobs $i_1, \ldots, i_m$ erased. |
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
95 |
The homotopy $h:\bc_*(M) \to \bc_{*+1}(M)$ is similarly given by |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
96 |
$$h(b) = \sum_{m=0}^{k} \sum_{i} (-1)^{\sigma(i)} \ev(\phi_{i(b)}, b_i).$$ |
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
97 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
98 |
The signs $\sigma: \{1, \ldots, k\}^{m} \setminus \Delta \to \Integer/2\Integer$ are defined by |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
99 |
$$\sigma(i)= \lceil\frac{m-1}{2}\rceil +o(i) + \sum i$$ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
100 |
where $o(i)$ is the number of transpositions required to bring $i$ into increasing order. Given a sequence $a \in \{1, \ldots, k\}^{m-1} \setminus \Delta$ and $1 \leq b \leq k$ with $b \not \in a$, denote by $a \!\downarrow_b\in \{1, \ldots, k-1\}^{m-1} \setminus \Delta$ the sequence obtained by reducing by 1 each entry of $a$ which is greater than $b$. We'll need the identities |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
101 |
\begin{align} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
102 |
\sigma(ab) & = \sigma(a\!\downarrow_b) +m + b+1 \label{eq:sigma(ab)}\\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
103 |
% & = \sigma(a) + m+b + 1 + \card{\setc{x \in a}{x > b}} \\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
104 |
\intertext{and} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
105 |
\sigma(ba) & = \sigma(a\!\downarrow_b) + b \notag \\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
106 |
& = \sigma(a) + m+b + 1+\card{\setc{x \in a}{x < b}}. \label{eq:sigma(ba)} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
107 |
\end{align} |
314 | 108 |
|
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
109 |
Before completing the proof, we unpack this definition for $b \in \bc_2(M)$, a $2$-blob. We'll write $\beta$ for the underlying balls (either nested or disjoint). |
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
110 |
Now $s$ is the sum of $5$ terms, split into three groups depending on with the length of the sequence $i$ is $0, 1$ or $2$. Thus |
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
111 |
\begin{align*} |
296 | 112 |
s(b) & = (-1)^{\sigma()} \restrict{\phi_{\beta}}{x_0 = 0}(b) + \\ |
113 |
& \quad + (-1)^{\sigma(1)} \restrict{\phi_{\beta_1 \prec \beta}}{x_0 = 0}(b_1) + (-1)^{\sigma(2)} \restrict{\phi_{\beta_2 \prec \beta}}{x_0 = 0}(b_2) + \\ |
|
114 |
& \quad + (-1)^{\sigma(12)} \restrict{\phi_{\eset \prec \beta_2 \prec \beta}}{x_0 = 0}(b_{12}) + (-1)^{\sigma(21)} \restrict{\phi_{\eset \prec \beta_1 \prec \beta}}{x_0 = 0}(b_{12}). |
|
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
115 |
\end{align*} |
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
116 |
|
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
117 |
As in the $k=1$ case, the first term, corresponding to $i(b) = \eset$, makes the all balls in $\beta$ $\cV_1$-small. However, if this were the only term $s$ would not be a chain map, because we have no control over $\restrict{\phi_{\beta}}{x_0 = 0}(\bdy b)$. This necessitates the other terms, which fix the boundary at successively higher codimensions. |
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
118 |
|
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
119 |
It may be useful to look at Figure \ref{fig:erectly-a-tent-badly} to help understand the arrangement. The red, blue and orange $2$-cells there correspond to the $m=0$, $m=1$ and $m=2$ terms respectively, while the $3$-cells (only one of each type is shown) correspond to the terms in the homotopy $h$. |
774 | 120 |
\begin{figure}[t] |
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
121 |
$$\mathfig{0.5}{smallblobs/tent}$$ |
452 | 122 |
\caption{``Erecting a tent badly.'' We know where we want to send a simplex, and each of the iterated boundary components. However, these do not agree, and we need to stitch the pieces together. Note that these diagrams don't exactly match the situation in the text: a $k$-simplex has $k+1$ boundary components, while a $k$-blob has $k$ boundary terms.} |
293
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
123 |
\label{fig:erectly-a-tent-badly} |
fc1e49660173
removed the cruft from smallblobs, hopefully just a chain map calculation to do now
Scott Morrison <scott@tqft.net>
parents:
290
diff
changeset
|
124 |
\end{figure} |
82 | 125 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
126 |
Now |
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
127 |
\begin{align*} |
296 | 128 |
\bdy s(b) & = (-1)^{\sigma()} \restrict{\phi_{\beta}}{x_0 = 0}(\bdy b) + \\ |
129 |
& \quad + (-1)^{\sigma(1)} \left( \restrict{\phi_{\beta}}{x_0 = 0}(b_1) - \restrict{\phi_{\beta_1}}{x_0 = 0}(b_1) - \restrict{\phi_{\beta_1 \prec \beta}}{x_0 = 0}(b_{12}) \right) + \\ |
|
130 |
& \quad + (-1)^{\sigma(2)} \left( \restrict{\phi_{\beta}}{x_0 = 0}(b_2) - \restrict{\phi_{\beta_2}}{x_0 = 0}(b_2) - \restrict{\phi_{\beta_2 \prec \beta}}{x_0 = 0}(b_{12}) \right) + \\ |
|
131 |
& \quad + (-1)^{\sigma(12)} \left( \restrict{\phi_{\beta_2 \prec \beta}}{x_0 = 0}(b_{12}) - \restrict{\phi_{\eset \prec \beta}}{x_0 = 0}(b_{12}) + \restrict{\phi_{\eset \prec \beta_2}}{x_0 = 0}(b_{12}) \right) + \\ |
|
132 |
& \quad + (-1)^{\sigma(21)} \left( \restrict{\phi_{\beta_1 \prec \beta}}{x_0 = 0}(b_{12}) - \restrict{\phi_{\eset \prec \beta}}{x_0 = 0}(b_{12}) + \restrict{\phi_{\eset \prec \beta_1}}{x_0 = 0}(b_{12}) \right), \\ |
|
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
133 |
\intertext{while} |
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
134 |
s(\bdy(b)) & = s(b_1) - s(b_2) \\ |
296 | 135 |
& = \restrict{\phi_{\beta_1}}{x_0=0}(b_1) - \restrict{\phi_{\eset \prec \beta_1}}{x_0=0}(b_{12}) - \restrict{\phi_{\beta_2}}{x_0=0}(b_2) + \restrict{\phi_{\eset \prec \beta_2}}{x_0=0}(b_{12}) . |
294
6a43367bf06b
I hate signs in differentials
Scott Morrison <scott@tqft.net>
parents:
293
diff
changeset
|
136 |
\end{align*} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
137 |
This gives what we want, since $\sigma() = 0,\sigma(1)=1, \sigma(2)=0, \sigma(21)=1$ and $\sigma(12)=0$. |
81 | 138 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
139 |
We now return to the general case. Certainly, the image of $s$ in fact lies in $\bc^{\cU}_*(M)$: each of the families of diffeomorphisms $\phi_{i(b)}$ has been chosen so with $x_0=0$ they pointwise make $b_i$ sufficiently small that the $\ev$ map we've chosen has image in $\bc^{\cU}_*(M)$. |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
140 |
|
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
141 |
We need to check that $s$ is a chain map. |
82 | 142 |
\begin{align*} |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
143 |
\bdy(s(b)) & = \sum_{m=0}^{k} \sum_{i \in \{1, \ldots, k\}^{m} \setminus \Delta} (-1)^{\sigma(i)} \ev\left(\bdy(\restrict{\phi_{i(b)}}{x_0 = 0})\tensor b_i\right) + (-1)^{\sigma(i) + m} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \bdy b_i\right) \\ |
308
be2d126ce79b
send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents:
305
diff
changeset
|
144 |
\intertext{and begin by expanding out $\bdy(\restrict{\phi_{i(b)}}{x_0 = 0})$,} |
305 | 145 |
& = \sum_{m=0}^{k} \sum_{i \in \{1, \ldots, k\}^{m} \setminus \Delta} \Bigg(\sum_{p=1}^{m+1} (-1)^{\sigma(i)+p+1} \ev\left(\restrict{\phi_{i(b)}}{x_0 = x_p = 0}\tensor b_i\right) \Bigg) + \\ |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
146 |
& \qquad + (-1)^{\sigma(i) + m} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \bdy b_i\right) |
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
147 |
\end{align*} |
314 | 148 |
Now, write $s_{p-1,p}(i)$ to indicate the sequence obtained from $i$ by transposing its $p-1$-th and $p$-th entries and note that for $2 \leq p \leq m$, |
305 | 149 |
\begin{align*} |
150 |
\restrict{\phi_{i(b)}}{x_0=x_p=0} & = \restrict{\phi_{\beta_{i_1\cdots i_m} \prec \beta_{i_2 \cdots i_m} \prec \cdots \prec \beta}}{x_0=x_p=0} \\ |
|
151 |
& = \restrict{\phi_{\beta_{i_1\cdots i_m} \prec \beta_{i_2 \cdots i_m} \prec \cdots \prec \beta_{i_{p-1} i_p \cdots i_m} \prec \beta_{i_{p+1} \cdots i_m} \prec \cdots \prec \beta}}{x_0=0} \\ |
|
152 |
& = \restrict{\phi_{s_{p-1,p}(i)(b)}}{x_0=x_p=0}. |
|
153 |
\end{align*} |
|
314 | 154 |
Since $\sigma(i) = - \sigma(s_{p-1,p}(i))$, we can cancel out in pairs all the terms above except those with $p=1$ or $p=m+1$. Thus |
305 | 155 |
\begin{align*} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
156 |
\bdy(s(b)) & = \sum_{m=0}^{k} \sum_{i \in \{1, \ldots, k\}^{m} \setminus \Delta} \Bigg((-1)^{\sigma(i)} \ev\left(\restrict{\phi_{\rest(i)(b)}}{x_0 = 0}\tensor b_i\right) + (-1)^{\sigma(i) + m} \ev\left(\restrict{\phi_{\most(i)\!\downarrow_{i_m}(b_{i_m})}}{x_0 = 0}\tensor b_i\right)\Bigg) + \\ |
308
be2d126ce79b
send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents:
305
diff
changeset
|
157 |
& \qquad + (-1)^{\sigma(i) + m} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \bdy b_i\right) |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
158 |
\end{align*} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
159 |
where we use the notations $\rest(i_1 i_2 \cdots i_m) = (i_2 \cdots i_m)$ and $\most(i_1 \cdots i_{m-1} i_m) = (i_1 \cdots i_{m-1})$. Next, we note that $b_i = (b_{i_1})_{\rest(i)} = (b_{i_m})_{\most(i)}$, and then rewrite the sum of $i$ as a double sum over $i_1$ and $\rest(i)$, with $i = i_1\rest(i)$, for the first term, and as a double sum over $\most(i)$ and $i_m$, with $i = \most(i)i_m$, for the second term. |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
160 |
\begin{align*} |
308
be2d126ce79b
send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents:
305
diff
changeset
|
161 |
\bdy(s(b)) & = \sum_{m=0}^{k} \Bigg( \sum_{\rest(i) \in \{1, \ldots, k\}^{m-1} \setminus \Delta} \sum_{\substack{i_1 = 1 \\ i_1 \not\in \rest(i)}}^{k} (-1)^{\sigma(i_1\rest(i))} \ev\left(\restrict{\phi_{\rest(i)(b)}}{x_0 = 0}\tensor b_{i_1\rest(i)}\right) \Bigg)+ \\ |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
162 |
& \qquad \Bigg( \sum_{\most(i) \in \{1, \ldots, k\}^{m-1} \setminus \Delta} \sum_{\substack{i_m = 1 \\ i_1 \not\in \most(i)}}^{k} (-1)^{\sigma(\most(i) i_m) + m} \ev\left(\restrict{\phi_{\most(i)\!\downarrow_{i_m}(b_{i_m})}}{x_0 = 0}\tensor b_{\most(i) i_m}\right)\Bigg) + \\ |
308
be2d126ce79b
send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents:
305
diff
changeset
|
163 |
& \qquad \Bigg( \sum_{i \in \{1, \ldots, k\}^{m} \setminus \Delta} (-1)^{\sigma(i) + m} \ev\left(\restrict{\phi_{i(b)}}{x_0 = 0} \tensor \bdy b_i\right)\Bigg) |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
164 |
\end{align*} |
314 | 165 |
We will show that the first and third rows cancel, and that the second row gives with $s(\bdy b)$. |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
166 |
First, |
302
52309e058a95
struggling, definitely struggling, nailing down the small blobs chain map actually being a chain map
Scott Morrison <scott@tqft.net>
parents:
296
diff
changeset
|
167 |
\begin{align*} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
168 |
\sum_{\substack{i_1 = 1 \\ i_1 \not\in \rest(i)}}^{k} (-1)^{\sigma(i_1\rest(i))} b_{i_1\rest(i)} & = |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
169 |
\sum_{\substack{i_1 = 1 \\ i_1 \not\in \rest(i)}}^{k} (-1)^{\sigma(\rest(i))+m+1+i_1 + \card{\setc{x \in \rest(i)}{x<i_1}}} (b_{\rest(i)})_{i_1} \\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
170 |
\intertext{(using Equation \eqref{eq:sigma(ba)})} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
171 |
& = (-1)^{\sigma(\rest(i))+m} \bdy (b_{\rest(i)}), |
82 | 172 |
\end{align*} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
173 |
and this cancels exactly with the term indexed by $\rest(i)$ (with a value of $m$ off by one) in the third row. |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
174 |
The second row gives |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
175 |
\begin{align*} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
176 |
& \sum_{m=0}^k \sum_{\most(i) \in \{1, \ldots, k\}^{m-1} \setminus \Delta} \sum_{\substack{i_m = 1 \\ i_1 \not\in \most(i)}}^{k} (-1)^{\sigma(\most(i) i_m) + m} \ev\left(\restrict{\phi_{\most(i)\!\downarrow_{i_m}(b_{i_m})}}{x_0 = 0}\tensor b_{\most(i) i_m}\right) \\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
177 |
& \quad = \sum_{m=0}^{k-1} \sum_{q=1}^k \sum_{i \in \{1, \ldots, k-1\}^m\setminus \Delta} (-1)^{\sigma(i)+q+1} \ev\left(\restrict{\phi_{i(b_{q})}}{x_0 = 0}\tensor (b_q)_i\right) \\ |
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
417
diff
changeset
|
178 |
\intertext{(here we've used Equation \eqref{eq:sigma(ab)} and renamed $i_m$ to $q$ and $\most(i)$ to $i$, as well as shifted $m$ by one), which is just} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
179 |
& \quad = \sum_{q=1}^k (-1)^{q+1} s(b_q) \\ |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
180 |
& \quad = s(\bdy b). |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
181 |
\end{align*} |
81 | 182 |
|
314 | 183 |
Finally, the calculation that $\bdy h+h \bdy=i\circ s - \id$ is very similar, and we omit it. |
81 | 184 |
\end{proof} |
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
314
diff
changeset
|
185 |