author | Kevin Walker <kevin@canyon23.net> |
Fri, 30 Jul 2010 08:36:25 -0400 | |
changeset 502 | cc44e5ed2db1 |
parent 476 | 4d0ca2fc4f2b |
child 512 | 050dba5e7bdd |
permissions | -rw-r--r-- |
113 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{The blob complex for $A_\infty$ $n$-categories} |
|
4 |
\label{sec:ainfblob} |
|
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
5 |
Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we make the anticlimactically tautological definition of the blob |
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
420
diff
changeset
|
6 |
complex $\bc_*(M;\cC)$ to be the homotopy colimit $\cl{\cC}(M)$ of \S\ref{ss:ncat_fields}. |
113 | 7 |
|
8 |
We will show below |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
9 |
in Corollary \ref{cor:new-old} |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
10 |
that when $\cC$ is obtained from a system of fields $\cD$ |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
11 |
as the blob complex of an $n$-ball (see Example \ref{ex:blob-complexes-of-balls}), |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
12 |
$\cl{\cC}(M)$ is homotopy equivalent to |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
13 |
our original definition of the blob complex $\bc_*^\cD(M)$. |
113 | 14 |
|
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
15 |
\medskip |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
16 |
|
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
17 |
An important technical tool in the proofs of this section is provided by the idea of ``small blobs". |
342 | 18 |
Fix $\cU$, an open cover of $M$. |
447 | 19 |
Define the ``small blob complex" $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ |
20 |
of all blob diagrams in which every blob is contained in some open set of $\cU$, |
|
21 |
and moreover each field labeling a region cut out by the blobs is splittable |
|
22 |
into fields on smaller regions, each of which is contained in some open set of $\cU$. |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
23 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
24 |
\begin{thm}[Small blobs] \label{thm:small-blobs} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
25 |
The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence. |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
26 |
\end{thm} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
27 |
The proof appears in \S \ref{appendix:small-blobs}. |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
28 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
29 |
\subsection{A product formula} |
312 | 30 |
\label{ss:product-formula} |
31 |
||
32 |
||
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
33 |
Given a system of fields $\cE$ and a $n{-}k$-manifold $F$, recall from |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
34 |
Example \ref{ex:blob-complexes-of-balls} that there is an $A_\infty$ $k$-category $\cC_F$ |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
35 |
defined by $\cC_F(X) = \cE(X\times F)$ if $\dim(X) < k$ and |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
36 |
$\cC_F(X) = \bc_*^\cE(X\times F)$ if $\dim(X) = k$. |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
37 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
38 |
|
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
39 |
\begin{thm} \label{thm:product} |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
40 |
Let $Y$ be a $k$-manifold. |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
41 |
Then there is a homotopy equivalence between ``old-fashioned" (blob diagrams) |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
42 |
and ``new-fangled" (hocolimit) blob complexes |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
43 |
\[ |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
44 |
\cB_*(Y \times F) \htpy \cl{\cC_F}(Y) . |
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
45 |
\]\end{thm} |
306
06f06de6f133
outline two approaches for non-trivial bundles
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
46 |
|
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
47 |
\begin{proof} |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
48 |
We will use the concrete description of the homotopy colimit from \S\ref{ss:ncat_fields}. |
113 | 49 |
|
123 | 50 |
First we define a map |
51 |
\[ |
|
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
52 |
\psi: \cl{\cC_F}(Y) \to \bc_*(Y\times F;C) . |
123 | 53 |
\] |
447 | 54 |
On 0-simplices of the hocolimit |
55 |
we just glue together the various blob diagrams on $X_i\times F$ |
|
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
56 |
(where $X_i$ is a component of a permissible decomposition of $Y$) to get a blob diagram on |
113 | 57 |
$Y\times F$. |
447 | 58 |
For simplices of dimension 1 and higher we define the map to be zero. |
113 | 59 |
It is easy to check that this is a chain map. |
60 |
||
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
61 |
In the other direction, we will define a subcomplex $G_*\sub \bc_*(Y\times F;C)$ |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
62 |
and a map |
123 | 63 |
\[ |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
64 |
\phi: G_* \to \cl{\cC_F}(Y) . |
123 | 65 |
\] |
113 | 66 |
|
115 | 67 |
Given a decomposition $K$ of $Y$ into $k$-balls $X_i$, let $K\times F$ denote the corresponding |
68 |
decomposition of $Y\times F$ into the pieces $X_i\times F$. |
|
69 |
||
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
70 |
Let $G_*\sub \bc_*(Y\times F;C)$ be the subcomplex generated by blob diagrams $a$ such that there |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
71 |
exists a decomposition $K$ of $Y$ such that $a$ splits along $K\times F$. |
476
4d0ca2fc4f2b
dual module (non-)definition; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
448
diff
changeset
|
72 |
It follows from Proposition \ref{thm:small-blobs} that $\bc_*(Y\times F; C)$ |
4d0ca2fc4f2b
dual module (non-)definition; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
448
diff
changeset
|
73 |
is homotopic to a subcomplex of $G_*$. |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
74 |
(If the blobs of $a$ are small with respect to a sufficiently fine cover then their |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
75 |
projections to $Y$ are contained in some disjoint union of balls.) |
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
76 |
Note that the image of $\psi$ is equal to $G_*$. |
115 | 77 |
|
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
78 |
We will define $\phi: G_* \to \cl{\cC_F}(Y)$ using the method of acyclic models. |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
79 |
Let $a$ be a generator of $G_*$. |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
80 |
Let $D(a)$ denote the subcomplex of $\cl{\cC_F}(Y)$ generated by all $(b, \ol{K})$ |
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
81 |
such that $a$ splits along $K_0\times F$ and $b$ is a generator appearing |
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
82 |
in an iterated boundary of $a$ (this includes $a$ itself). |
312 | 83 |
(Recall that $\ol{K} = (K_0,\ldots,K_l)$ denotes a chain of decompositions; |
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
420
diff
changeset
|
84 |
see \S\ref{ss:ncat_fields}.) |
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
85 |
By $(b, \ol{K})$ we really mean $(b^\sharp, \ol{K})$, where $b^\sharp$ is |
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
86 |
$b$ split according to $K_0\times F$. |
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
87 |
To simplify notation we will just write plain $b$ instead of $b^\sharp$. |
447 | 88 |
Roughly speaking, $D(a)$ consists of 0-simplices which glue up to give |
89 |
$a$ (or one of its iterated boundaries), 1-simplices which connect all the 0-simplices, |
|
90 |
2-simplices which kill the homology created by the |
|
91 |
1-simplices, and so on. |
|
115 | 92 |
More formally, |
93 |
||
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
94 |
\begin{lemma} \label{lem:d-a-acyclic} |
115 | 95 |
$D(a)$ is acyclic. |
96 |
\end{lemma} |
|
97 |
||
98 |
\begin{proof} |
|
476
4d0ca2fc4f2b
dual module (non-)definition; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
448
diff
changeset
|
99 |
We will prove acyclicity in the first couple of degrees, and |
4d0ca2fc4f2b
dual module (non-)definition; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
448
diff
changeset
|
100 |
%\nn{in this draft, at least} |
115 | 101 |
leave the general case to the reader. |
116 | 102 |
|
447 | 103 |
Let $K$ and $K'$ be two decompositions (0-simplices) of $Y$ compatible with $a$. |
104 |
We want to find 1-simplices which connect $K$ and $K'$. |
|
116 | 105 |
We might hope that $K$ and $K'$ have a common refinement, but this is not necessarily |
106 |
the case. |
|
107 |
(Consider the $x$-axis and the graph of $y = x^2\sin(1/x)$ in $\r^2$.) |
|
108 |
However, we {\it can} find another decomposition $L$ such that $L$ shares common |
|
109 |
refinements with both $K$ and $K'$. |
|
110 |
Let $KL$ and $K'L$ denote these two refinements. |
|
447 | 111 |
Then 1-simplices associated to the four anti-refinements |
116 | 112 |
$KL\to K$, $KL\to L$, $K'L\to L$ and $K'L\to K'$ |
113 |
give the desired chain connecting $(a, K)$ and $(a, K')$ |
|
119 | 114 |
(see Figure \ref{zzz4}). |
115 |
||
116 |
\begin{figure}[!ht] |
|
117 |
\begin{equation*} |
|
188 | 118 |
\begin{tikzpicture} |
119 |
\foreach \x/\label in {-3/K, 0/L, 3/K'} { |
|
120 |
\node(\label) at (\x,0) {$\label$}; |
|
121 |
} |
|
122 |
\foreach \x/\la/\lb in {-1.5/K/L, 1.5/K'/L} { |
|
123 |
\node(\la \lb) at (\x,-1.5) {$\la \lb$}; |
|
124 |
\draw[->] (\la \lb) -- (\la); |
|
125 |
\draw[->] (\la \lb) -- (\lb); |
|
126 |
} |
|
127 |
\end{tikzpicture} |
|
119 | 128 |
\end{equation*} |
129 |
\caption{Connecting $K$ and $K'$ via $L$} |
|
130 |
\label{zzz4} |
|
131 |
\end{figure} |
|
116 | 132 |
|
133 |
Consider a different choice of decomposition $L'$ in place of $L$ above. |
|
447 | 134 |
This leads to a cycle of 1-simplices. |
135 |
We want to find 2-simplices which fill in this cycle. |
|
116 | 136 |
Choose a decomposition $M$ which has common refinements with each of |
137 |
$K$, $KL$, $L$, $K'L$, $K'$, $K'L'$, $L'$ and $KL'$. |
|
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
138 |
(We also also require that $KLM$ antirefines to $KM$, etc.) |
447 | 139 |
Then we have 2-simplices, as shown in Figure \ref{zzz5}, which do the trick. |
140 |
(Each small triangle in Figure \ref{zzz5} can be filled with a 2-simplex.) |
|
116 | 141 |
|
119 | 142 |
\begin{figure}[!ht] |
186 | 143 |
%\begin{equation*} |
144 |
%\mathfig{1.0}{tempkw/zz5} |
|
145 |
%\end{equation*} |
|
119 | 146 |
\begin{equation*} |
186 | 147 |
\begin{tikzpicture} |
148 |
\node(M) at (0,0) {$M$}; |
|
149 |
\foreach \angle/\label in {0/K', 45/K'L, 90/L, 135/KL, 180/K, 225/KL', 270/L', 315/K'L'} { |
|
150 |
\node(\label) at (\angle:4) {$\label$}; |
|
151 |
} |
|
152 |
\foreach \label in {K', L, K, L'} { |
|
153 |
\node(\label M) at ($(M)!0.6!(\label)$) {$\label M$}; |
|
154 |
\draw[->] (\label M)--(M); |
|
155 |
\draw[->] (\label M)--(\label); |
|
156 |
} |
|
157 |
\foreach \k in {K, K'} { |
|
158 |
\foreach \l in {L, L'} { |
|
159 |
\node(\k \l M) at (intersection cs: first line={(\k M)--(\l)}, second line={(\l M)--(\k)}) {$\k \l M$}; |
|
160 |
\draw[->] (\k \l M)--(M); |
|
161 |
\draw[->] (\k \l M)--(\k \l ); |
|
162 |
\draw[->] (\k \l M)--(\k M); |
|
163 |
\draw[->] (\k \l M)--(\l); |
|
164 |
\draw[->] (\k \l M)--(\l M); |
|
165 |
\draw[->] (\k \l M)--(\k); |
|
166 |
} |
|
167 |
} |
|
168 |
\draw[->] (K'L') to[bend right=10] (K'); |
|
169 |
\draw[->] (K'L') to[bend left=10] (L'); |
|
170 |
\draw[->] (KL') to[bend left=10] (K); |
|
171 |
\draw[->] (KL') to[bend right=10] (L'); |
|
172 |
\draw[->] (K'L) to[bend left=10] (K'); |
|
173 |
\draw[->] (K'L) to[bend right=10] (L); |
|
174 |
\draw[->] (KL) to[bend right=10] (K); |
|
175 |
\draw[->] (KL) to[bend left=10] (L); |
|
176 |
\end{tikzpicture} |
|
119 | 177 |
\end{equation*} |
178 |
\caption{Filling in $K$-$KL$-$L$-$K'L$-$K'$-$K'L'$-$L'$-$KL'$-$K$} |
|
179 |
\label{zzz5} |
|
180 |
\end{figure} |
|
116 | 181 |
|
123 | 182 |
Continuing in this way we see that $D(a)$ is acyclic. |
115 | 183 |
\end{proof} |
184 |
||
123 | 185 |
We are now in a position to apply the method of acyclic models to get a map |
445
45807ce15615
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Kevin Walker <kevin@canyon23.net>
parents:
426
diff
changeset
|
186 |
$\phi:G_* \to \cl{\cC_F}(Y)$. |
447 | 187 |
We may assume that $\phi(a)$ has the form $(a, K) + r$, where $(a, K)$ is a 0-simplex |
188 |
and $r$ is a sum of simplices of dimension 1 or higher. |
|
123 | 189 |
|
190 |
We now show that $\phi\circ\psi$ and $\psi\circ\phi$ are homotopic to the identity. |
|
191 |
||
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
192 |
First, $\psi\circ\phi$ is the identity on the nose: |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
193 |
\[ |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
194 |
\psi(\phi(a)) = \psi((a,K)) + \psi(r) = a + 0. |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
195 |
\] |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
196 |
Roughly speaking, $(a, K)$ is just $a$ chopped up into little pieces, and |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
197 |
$\psi$ glues those pieces back together, yielding $a$. |
447 | 198 |
We have $\psi(r) = 0$ since $\psi$ is zero on $(\ge 1)$-simplices. |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
199 |
|
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
200 |
Second, $\phi\circ\psi$ is the identity up to homotopy by another argument based on the method of acyclic models. |
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
201 |
To each generator $(b, \ol{K})$ of $G_*$ we associate the acyclic subcomplex $D(b)$ defined above. |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
202 |
Both the identity map and $\phi\circ\psi$ are compatible with this |
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
203 |
collection of acyclic subcomplexes, so by the usual method of acyclic models argument these two maps |
320
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
204 |
are homotopic. |
123 | 205 |
|
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
206 |
This concludes the proof of Theorem \ref{thm:product}. |
113 | 207 |
\end{proof} |
208 |
||
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
209 |
\nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category} |
113 | 210 |
|
123 | 211 |
\medskip |
113 | 212 |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
213 |
Taking $F$ above to be a point, we obtain the following corollary. |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
214 |
|
123 | 215 |
\begin{cor} |
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
216 |
\label{cor:new-old} |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
217 |
Let $\cE$ be a system of fields (with local relations) and let $\cC_\cE$ be the $A_\infty$ |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
218 |
$n$-category obtained from $\cE$ by taking the blob complex of balls. |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
219 |
Then for all $n$-manifolds $Y$ the old-fashioned and new-fangled blob complexes are |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
220 |
homotopy equivalent: |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
221 |
\[ |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
222 |
\bc^\cE_*(Y) \htpy \cl{\cC_\cE}(Y) . |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
223 |
\] |
123 | 224 |
\end{cor} |
113 | 225 |
|
226 |
\medskip |
|
133 | 227 |
|
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
228 |
Theorem \ref{thm:product} extends to the case of general fiber bundles |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
229 |
\[ |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
230 |
F \to E \to Y . |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
231 |
\] |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
232 |
We outline one approach here and a second in \S \ref{xyxyx}. |
312 | 233 |
|
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
234 |
We can generalize the definition of a $k$-category by replacing the categories |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
235 |
of $j$-balls ($j\le k$) with categories of $j$-balls $D$ equipped with a map $p:D\to Y$ |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
236 |
(c.f. \cite{MR2079378}). |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
237 |
Call this a $k$-category over $Y$. |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
238 |
A fiber bundle $F\to E\to Y$ gives an example of a $k$-category over $Y$: |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
239 |
assign to $p:D\to Y$ the blob complex $\bc_*(p^*(E))$. |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
240 |
Let $\cF_E$ denote this $k$-category over $Y$. |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
241 |
We can adapt the homotopy colimit construction (based decompositions of $Y$ into balls) to |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
242 |
get a chain complex $\cl{\cF_E}(Y)$. |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
243 |
The proof of Theorem \ref{thm:product} goes through essentially unchanged |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
244 |
to show that |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
245 |
\[ |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
246 |
\bc_*(E) \simeq \cl{\cF_E}(Y) . |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
247 |
\] |
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
248 |
|
418
a96f3d2ef852
revisions of n-cat examples
Kevin Walker <kevin@canyon23.net>
parents:
417
diff
changeset
|
249 |
\nn{remark further that this still works when the map is not even a fibration?} |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
250 |
|
323
6cc92b273d44
added \cl ([ho]colim) (currently \underrightarrow)
Kevin Walker <kevin@canyon23.net>
parents:
322
diff
changeset
|
251 |
\nn{put this later} |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
252 |
|
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
253 |
\nn{The second approach: Choose a decomposition $Y = \cup X_i$ |
312 | 254 |
such that the restriction of $E$ to $X_i$ is a product $F\times X_i$. |
255 |
Choose the product structure as well. |
|
256 |
To each codim-1 face $D_i\cap D_j$ we have a bimodule ($S^0$-module). |
|
257 |
And more generally to each codim-$j$ face we have an $S^{j-1}$-module. |
|
258 |
Decorate the decomposition with these modules and do the colimit. |
|
259 |
} |
|
260 |
||
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
261 |
\nn{There is a version of this last construction for arbitrary maps $E \to Y$ |
418
a96f3d2ef852
revisions of n-cat examples
Kevin Walker <kevin@canyon23.net>
parents:
417
diff
changeset
|
262 |
(not necessarily a fibration). |
a96f3d2ef852
revisions of n-cat examples
Kevin Walker <kevin@canyon23.net>
parents:
417
diff
changeset
|
263 |
In fact, there is also a version of the first construction for non-fibrations.} |
312 | 264 |
|
265 |
||
266 |
||
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
267 |
\subsection{A gluing theorem} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
268 |
\label{sec:gluing} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
269 |
|
133 | 270 |
Next we prove a gluing theorem. |
271 |
Let $X$ be a closed $k$-manifold with a splitting $X = X'_1\cup_Y X'_2$. |
|
272 |
We will need an explicit collar on $Y$, so rewrite this as |
|
273 |
$X = X_1\cup (Y\times J) \cup X_2$. |
|
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
274 |
Given this data we have: |
133 | 275 |
\begin{itemize} |
276 |
\item An $A_\infty$ $n{-}k$-category $\bc(X)$, which assigns to an $m$-ball |
|
277 |
$D$ fields on $D\times X$ (for $m+k < n$) or the blob complex $\bc_*(D\times X; c)$ |
|
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
278 |
(for $m+k = n$). |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
279 |
(See Example \ref{ex:blob-complexes-of-balls}.) |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
280 |
%\nn{need to explain $c$}. |
133 | 281 |
\item An $A_\infty$ $n{-}k{+}1$-category $\bc(Y)$, defined similarly. |
282 |
\item Two $\bc(Y)$ modules $\bc(X_1)$ and $\bc(X_2)$, which assign to a marked |
|
283 |
$m$-ball $(D, H)$ either fields on $(D\times Y) \cup (H\times X_i)$ (if $m+k < n$) |
|
284 |
or the blob complex $\bc_*((D\times Y) \cup (H\times X_i))$ (if $m+k = n$). |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
285 |
(See Example \ref{bc-module-example}.) |
133 | 286 |
\end{itemize} |
287 |
||
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
288 |
\nn{statement (and proof) is only for case $k=n$; need to revise either above or below; maybe |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
289 |
just say that until we define functors we can't do more} |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
290 |
|
133 | 291 |
\begin{thm} |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
292 |
\label{thm:gluing} |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
293 |
$\bc(X) \simeq \bc(X_1) \otimes_{\bc(Y), J} \bc(X_2)$. |
133 | 294 |
\end{thm} |
295 |
||
296 |
\begin{proof} |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
297 |
We will assume $k=n$; the other cases are similar. |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
298 |
The proof is similar to that of Theorem \ref{thm:product}. |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
299 |
We give a short sketch with emphasis on the differences from |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
300 |
the proof of Theorem \ref{thm:product}. |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
301 |
|
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
302 |
Let $\cT$ denote the chain complex $\bc(X_1) \otimes_{\bc(Y), J} \bc(X_2)$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
303 |
Recall that this is a homotopy colimit based on decompositions of the interval $J$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
304 |
|
342 | 305 |
We define a map $\psi:\cT\to \bc_*(X)$. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
306 |
On 0-simplices it is given |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
307 |
by gluing the pieces together to get a blob diagram on $X$. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
308 |
On simplices of dimension 1 and greater $\psi$ is zero. |
133 | 309 |
|
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
310 |
The image of $\psi$ is the subcomplex $G_*\sub \bc(X)$ generated by blob diagrams which split |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
311 |
over some decomposition of $J$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
312 |
It follows from Proposition \ref{thm:small-blobs} that $\bc_*(X)$ is homotopic to |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
313 |
a subcomplex of $G_*$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
314 |
|
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
315 |
Next we define a map $\phi:G_*\to \cT$ using the method of acyclic models. |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
316 |
As in the proof of Theorem \ref{thm:product}, we assign to a generator $a$ of $G_*$ |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
317 |
an acyclic subcomplex which is (roughly) $\psi\inv(a)$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
318 |
The proof of acyclicity is easier in this case since any pair of decompositions of $J$ have |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
319 |
a common refinement. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
320 |
|
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
321 |
The proof that these two maps are inverse to each other is the same as in |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
322 |
Theorem \ref{thm:product}. |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
323 |
\end{proof} |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
324 |
|
133 | 325 |
\medskip |
211 | 326 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
327 |
\subsection{Reconstructing mapping spaces} |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
328 |
\label{sec:map-recon} |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
329 |
|
211 | 330 |
The next theorem shows how to reconstruct a mapping space from local data. |
331 |
Let $T$ be a topological space, let $M$ be an $n$-manifold, |
|
332 |
and recall the $A_\infty$ $n$-category $\pi^\infty_{\leq n}(T)$ |
|
333 |
of Example \ref{ex:chains-of-maps-to-a-space}. |
|
334 |
Think of $\pi^\infty_{\leq n}(T)$ as encoding everything you would ever |
|
335 |
want to know about spaces of maps of $k$-balls into $T$ ($k\le n$). |
|
336 |
To simplify notation, let $\cT = \pi^\infty_{\leq n}(T)$. |
|
337 |
||
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
338 |
\begin{thm} |
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
339 |
\label{thm:map-recon} |
342 | 340 |
The blob complex for $M$ with coefficients in the fundamental $A_\infty$ $n$-category for $T$ |
341 |
is quasi-isomorphic to singular chains on maps from $M$ to $T$. |
|
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
342 |
$$\cB^\cT(M) \simeq C_*(\Maps(M\to T)).$$ |
211 | 343 |
\end{thm} |
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
344 |
\begin{rem} |
342 | 345 |
Lurie has shown in \cite[Theorem 3.8.6]{0911.0018} that the topological chiral homology |
346 |
of an $n$-manifold $M$ with coefficients in a certain $E_n$ algebra constructed from $T$ recovers |
|
347 |
the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n-1$-connected. |
|
348 |
This extra hypothesis is not surprising, in view of the idea described in Example \ref{ex:e-n-alg} |
|
349 |
that an $E_n$ algebra is roughly equivalent data to an $A_\infty$ $n$-category which |
|
350 |
is trivial at all but the topmost level. |
|
351 |
Ricardo Andrade also told us about a similar result. |
|
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
352 |
\end{rem} |
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
353 |
|
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
354 |
\begin{proof} |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
355 |
The proof is again similar to that of Theorem \ref{thm:product}. |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
356 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
357 |
We begin by constructing chain map $\psi: \cB^\cT(M) \to C_*(\Maps(M\to T))$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
358 |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
359 |
Recall that |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
360 |
the 0-simplices of the homotopy colimit $\cB^\cT(M)$ |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
361 |
are a direct sum of chain complexes with the summands indexed by |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
362 |
decompositions of $M$ which have their $n{-}1$-skeletons labeled by $n{-}1$-morphisms |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
363 |
of $\cT$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
364 |
Since $\cT = \pi^\infty_{\leq n}(T)$, this means that the summands are indexed by pairs |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
365 |
$(K, \vphi)$, where $K$ is a decomposition of $M$ and $\vphi$ is a continuous |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
366 |
map from the $n{-}1$-skeleton of $K$ to $T$. |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
367 |
The summand indexed by $(K, \vphi)$ is |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
368 |
\[ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
369 |
\bigotimes_b D_*(b, \vphi), |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
370 |
\] |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
371 |
where $b$ runs through the $n$-cells of $K$ and $D_*(b, \vphi)$ denotes |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
372 |
chains of maps from $b$ to $T$ compatible with $\vphi$. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
373 |
We can take the product of these chains of maps to get chains of maps from |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
374 |
all of $M$ to $K$. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
375 |
This defines $\psi$ on 0-simplices. |
325 | 376 |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
377 |
We define $\psi$ to be zero on $(\ge1)$-simplices. |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
378 |
It is not hard to see that this defines a chain map from |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
379 |
$\cB^\cT(M)$ to $C_*(\Maps(M\to T))$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
380 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
381 |
The image of $\psi$ is the subcomplex $G_*\sub C_*(\Maps(M\to T))$ generated by |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
382 |
families of maps whose support is contained in a disjoint union of balls. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
383 |
It follows from Lemma \ref{extension_lemma_c} |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
384 |
that $C_*(\Maps(M\to T))$ is homotopic to a subcomplex of $G_*$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
385 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
386 |
We will define a map $\phi:G_*\to \cB^\cT(M)$ via acyclic models. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
387 |
Let $a$ be a generator of $G_*$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
388 |
Define $D(a)$ to be the subcomplex of $\cB^\cT(M)$ generated by all |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
389 |
pairs $(b, \ol{K})$, where $b$ is a generator appearing in an iterated boundary of $a$ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
390 |
and $\ol{K}$ is an index of the homotopy colimit $\cB^\cT(M)$. |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
391 |
(See the proof of Theorem \ref{thm:product} for more details.) |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
392 |
The same proof as of Lemma \ref{lem:d-a-acyclic} shows that $D(a)$ is acyclic. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
393 |
By the usual acyclic models nonsense, there is a (unique up to homotopy) |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
394 |
map $\phi:G_*\to \cB^\cT(M)$ such that $\phi(a)\in D(a)$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
395 |
Furthermore, we may choose $\phi$ such that for all $a$ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
396 |
\[ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
397 |
\phi(a) = (a, K) + r |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
398 |
\] |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
399 |
where $(a, K)$ is a 0-simplex and $r$ is a sum of simplices of dimension 1 and greater. |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
400 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
401 |
It is now easy to see that $\psi\circ\phi$ is the identity on the nose. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
402 |
Another acyclic models argument shows that $\phi\circ\psi$ is homotopic to the identity. |
400
a02a6158f3bd
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net>
parents:
397
diff
changeset
|
403 |
(See the proof of Theorem \ref{thm:product} for more details.) |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
404 |
\end{proof} |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
405 |
|
212 | 406 |
\nn{maybe should also mention version where we enrich over |
325 | 407 |
spaces rather than chain complexes;} |
211 | 408 |
|
409 |
\medskip |
|
113 | 410 |
\hrule |
411 |
\medskip |
|
412 |
||
413 |
\nn{to be continued...} |
|
414 |
\medskip |
|
325 | 415 |
\nn{still to do: general maps} |
113 | 416 |
|
134 | 417 |