author | Scott Morrison <scott@tqft.net> |
Fri, 27 Apr 2012 22:37:14 -0700 | |
changeset 978 | a80cc9f9a65b |
parent 953 | ec1c5ccef482 |
permissions | -rw-r--r-- |
113 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
3 |
\section{The blob complex for \texorpdfstring{$A_\infty$}{A-infinity} \texorpdfstring{$n$}{n}-categories} |
113 | 4 |
\label{sec:ainfblob} |
901
77a80b7eb98e
definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
Scott Morrison <scott@tqft.net>
parents:
896
diff
changeset
|
5 |
Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we make the following |
544
24be062a87a1
breaking lines, and one other minor comment
Kevin Walker <kevin@canyon23.net>
parents:
538
diff
changeset
|
6 |
anticlimactically tautological definition of the blob |
901
77a80b7eb98e
definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
Scott Morrison <scott@tqft.net>
parents:
896
diff
changeset
|
7 |
complex. |
77a80b7eb98e
definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
Scott Morrison <scott@tqft.net>
parents:
896
diff
changeset
|
8 |
\begin{defn} |
953 | 9 |
The blob complex $\bc_*(M;\cC)$ of an $n$-manifold $M$ with coefficients in |
978 | 10 |
an $A_\infty$ $n$-category $\cC$ is the homotopy colimit $\colimit{\cC}(M)$ of \S\ref{ss:ncat_fields}. |
901
77a80b7eb98e
definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
Scott Morrison <scott@tqft.net>
parents:
896
diff
changeset
|
11 |
\end{defn} |
113 | 12 |
|
13 |
We will show below |
|
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
14 |
in Corollary \ref{cor:new-old} |
832
36bfe7c2eecc
using consistent names for field in \S 7
Scott Morrison <scott@tqft.net>
parents:
831
diff
changeset
|
15 |
that when $\cC$ is obtained from a system of fields $\cE$ |
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
|
16 |
as the blob complex of an $n$-ball (see Example \ref{ex:blob-complexes-of-balls}), |
978 | 17 |
$\colimit{\cC}(M)$ is homotopy equivalent to |
832
36bfe7c2eecc
using consistent names for field in \S 7
Scott Morrison <scott@tqft.net>
parents:
831
diff
changeset
|
18 |
our original definition of the blob complex $\bc_*(M;\cE)$. |
113 | 19 |
|
524
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
20 |
%\medskip |
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
|
21 |
|
524
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
22 |
%An important technical tool in the proofs of this section is provided by the idea of ``small blobs". |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
23 |
%Fix $\cU$, an open cover of $M$. |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
24 |
%Define the ``small blob complex" $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
25 |
%of all blob diagrams in which every blob is contained in some open set of $\cU$, |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
26 |
%and moreover each field labeling a region cut out by the blobs is splittable |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
27 |
%into fields on smaller regions, each of which is contained in some open set of $\cU$. |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
28 |
% |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
29 |
%\begin{thm}[Small blobs] \label{thm:small-blobs} |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
30 |
%The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence. |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
31 |
%\end{thm} |
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
32 |
%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
|
33 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
34 |
\subsection{A product formula} |
312 | 35 |
\label{ss:product-formula} |
36 |
||
37 |
||
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
38 |
Given an $n$-dimensional system of fields $\cE$ and a $n{-}k$-manifold $F$, recall from |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
39 |
Example \ref{ex:blob-complexes-of-balls} that there is an $A_\infty$ $k$-category $\cC_F$ |
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 |
defined by $\cC_F(X) = \cE(X\times F)$ if $\dim(X) < k$ and |
538 | 41 |
$\cC_F(X) = \bc_*(X\times F;\cE)$ if $\dim(X) = k$. |
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
|
42 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
43 |
|
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
|
44 |
\begin{thm} \label{thm:product} |
766
823999dd14fd
acknowledge the existence of manifolds without ball decompositions
Kevin Walker <kevin@canyon23.net>
parents:
746
diff
changeset
|
45 |
Let $Y$ be a $k$-manifold which admits a ball decomposition |
823999dd14fd
acknowledge the existence of manifolds without ball decompositions
Kevin Walker <kevin@canyon23.net>
parents:
746
diff
changeset
|
46 |
(e.g.\ any triangulable manifold). |
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
|
47 |
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
|
48 |
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
|
49 |
\[ |
978 | 50 |
\cB_*(Y \times F) \htpy \colimit{\cC_F}(Y) . |
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
|
51 |
\]\end{thm} |
306
06f06de6f133
outline two approaches for non-trivial bundles
Kevin Walker <kevin@canyon23.net>
parents:
303
diff
changeset
|
52 |
|
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
|
53 |
\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
|
54 |
We will use the concrete description of the homotopy colimit from \S\ref{ss:ncat_fields}. |
113 | 55 |
|
123 | 56 |
First we define a map |
57 |
\[ |
|
978 | 58 |
\psi: \colimit{\cC_F}(Y) \to \bc_*(Y\times F;\cE) . |
123 | 59 |
\] |
447 | 60 |
On 0-simplices of the hocolimit |
61 |
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
|
62 |
(where $X_i$ is a component of a permissible decomposition of $Y$) to get a blob diagram on |
113 | 63 |
$Y\times F$. |
447 | 64 |
For simplices of dimension 1 and higher we define the map to be zero. |
113 | 65 |
It is easy to check that this is a chain map. |
66 |
||
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
67 |
In the other direction, we will define (in the next few paragraphs) |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
68 |
a subcomplex $G_*\sub \bc_*(Y\times F;\cE)$ and a map |
123 | 69 |
\[ |
978 | 70 |
\phi: G_* \to \colimit{\cC_F}(Y) . |
123 | 71 |
\] |
113 | 72 |
|
115 | 73 |
Given a decomposition $K$ of $Y$ into $k$-balls $X_i$, let $K\times F$ denote the corresponding |
74 |
decomposition of $Y\times F$ into the pieces $X_i\times F$. |
|
75 |
||
832
36bfe7c2eecc
using consistent names for field in \S 7
Scott Morrison <scott@tqft.net>
parents:
831
diff
changeset
|
76 |
Let $G_*\sub \bc_*(Y\times F;\cE)$ 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
|
77 |
exists a decomposition $K$ of $Y$ such that $a$ splits along $K\times F$. |
832
36bfe7c2eecc
using consistent names for field in \S 7
Scott Morrison <scott@tqft.net>
parents:
831
diff
changeset
|
78 |
It follows from Lemma \ref{thm:small-blobs} that $\bc_*(Y\times F; \cE)$ |
476
4d0ca2fc4f2b
dual module (non-)definition; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
448
diff
changeset
|
79 |
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
|
80 |
(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
|
81 |
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
|
82 |
Note that the image of $\psi$ is equal to $G_*$. |
115 | 83 |
|
978 | 84 |
We will define $\phi: G_* \to \colimit{\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
|
85 |
Let $a$ be a generator of $G_*$. |
978 | 86 |
Let $D(a)$ denote the subcomplex of $\colimit{\cC_F}(Y)$ generated by all $(b, \ol{K})$ |
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
87 |
where $b$ is a generator appearing |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
88 |
in an iterated boundary of $a$ (this includes $a$ itself) |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
89 |
and $b$ splits along $K_0\times F$. |
312 | 90 |
(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
|
91 |
see \S\ref{ss:ncat_fields}.) |
322
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
92 |
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
|
93 |
$b$ split according to $K_0\times F$. |
091c36b943e7
more futzing with product thm
Kevin Walker <kevin@canyon23.net>
parents:
320
diff
changeset
|
94 |
To simplify notation we will just write plain $b$ instead of $b^\sharp$. |
447 | 95 |
Roughly speaking, $D(a)$ consists of 0-simplices which glue up to give |
96 |
$a$ (or one of its iterated boundaries), 1-simplices which connect all the 0-simplices, |
|
97 |
2-simplices which kill the homology created by the |
|
98 |
1-simplices, and so on. |
|
115 | 99 |
More formally, |
100 |
||
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
101 |
\begin{lemma} \label{lem:d-a-acyclic} |
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
102 |
$D(a)$ is acyclic in positive degrees. |
115 | 103 |
\end{lemma} |
104 |
||
105 |
\begin{proof} |
|
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
106 |
Let $P(a)$ denote the finite cone-product polyhedron composed of $a$ and its iterated boundaries. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
107 |
(See Remark \ref{blobsset-remark}.) |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
108 |
We can think of $D(a)$ as a cell complex equipped with an obvious |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
109 |
map $p: D(a) \to P(a)$ which forgets the second factor. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
110 |
For each cell $b$ of $P(a)$, let $I(b) = p\inv(b)$. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
111 |
It suffices to show that each $I(b)$ is acyclic and more generally that |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
112 |
each intersection $I(b)\cap I(b')$ is acyclic. |
116 | 113 |
|
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
114 |
If $I(b)\cap I(b')$ is nonempty then then as a cell complex it is isomorphic to |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
115 |
$(b\cap b') \times E(b, b')$, where $E(b, b')$ consists of those simplices |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
116 |
$\ol{K} = (K_0,\ldots,K_l)$ such that both $b$ and $b'$ split along $K_0\times F$. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
117 |
(Here we are thinking of $b$ and $b'$ as both blob diagrams and also faces of $P(a)$.) |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
118 |
So it suffices to show that $E(b, b')$ is acyclic. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
119 |
|
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
120 |
Let $K$ and $K'$ be two decompositions of $Y$ (i.e.\ 0-simplices) in $E(b, b')$. |
447 | 121 |
We want to find 1-simplices which connect $K$ and $K'$. |
116 | 122 |
We might hope that $K$ and $K'$ have a common refinement, but this is not necessarily |
123 |
the case. |
|
838
0ab0b8d9b3d6
changing example for no common refinement
Scott Morrison <scott@tqft.net>
parents:
837
diff
changeset
|
124 |
(Consider the $x$-axis and the graph of $y = e^{-1/x^2} \sin(1/x)$ in $\r^2$.) |
116 | 125 |
However, we {\it can} find another decomposition $L$ such that $L$ shares common |
862
9020b09ddc63
minor: fixing common refinement example
Scott Morrison <scott@tqft.net>
parents:
855
diff
changeset
|
126 |
refinements with both $K$ and $K'$. (For instance, in the example above, $L$ can be the graph of $y=x^2-1$.) |
896
deeff619087e
Initial version of the new splitting axiom.
Kevin Walker <kevin@canyon23.net>
parents:
889
diff
changeset
|
127 |
This follows from Axiom \ref{axiom:splittings}, which in turn follows from the |
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
128 |
splitting axiom for the system of fields $\cE$. |
116 | 129 |
Let $KL$ and $K'L$ denote these two refinements. |
447 | 130 |
Then 1-simplices associated to the four anti-refinements |
116 | 131 |
$KL\to K$, $KL\to L$, $K'L\to L$ and $K'L\to K'$ |
132 |
give the desired chain connecting $(a, K)$ and $(a, K')$ |
|
119 | 133 |
(see Figure \ref{zzz4}). |
896
deeff619087e
Initial version of the new splitting axiom.
Kevin Walker <kevin@canyon23.net>
parents:
889
diff
changeset
|
134 |
(In the language of Lemma \ref{lemma:vcones}, this is $\vcone(K \du K')$.) |
119 | 135 |
|
530
b236746e8e4d
futzing with figures (\begin{center|equation} to \centering)
Kevin Walker <kevin@canyon23.net>
parents:
529
diff
changeset
|
136 |
\begin{figure}[t] \centering |
188 | 137 |
\begin{tikzpicture} |
138 |
\foreach \x/\label in {-3/K, 0/L, 3/K'} { |
|
139 |
\node(\label) at (\x,0) {$\label$}; |
|
140 |
} |
|
141 |
\foreach \x/\la/\lb in {-1.5/K/L, 1.5/K'/L} { |
|
142 |
\node(\la \lb) at (\x,-1.5) {$\la \lb$}; |
|
143 |
\draw[->] (\la \lb) -- (\la); |
|
144 |
\draw[->] (\la \lb) -- (\lb); |
|
145 |
} |
|
146 |
\end{tikzpicture} |
|
119 | 147 |
\caption{Connecting $K$ and $K'$ via $L$} |
148 |
\label{zzz4} |
|
149 |
\end{figure} |
|
116 | 150 |
|
848
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
151 |
Consider next a 1-cycle in $E(b, b')$, such as one arising from |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
152 |
a different choice of decomposition $L'$ in place of $L$ above. |
7dc75375d376
fixing proof of 7.1.1 (product thm)
Kevin Walker <kevin@canyon23.net>
parents:
838
diff
changeset
|
153 |
%We want to find 2-simplices which fill in this cycle. |
896
deeff619087e
Initial version of the new splitting axiom.
Kevin Walker <kevin@canyon23.net>
parents:
889
diff
changeset
|
154 |
By Lemma \ref{lemma:vcones} we can fill in this 1-cycle with 2-simplices. |
116 | 155 |
Choose a decomposition $M$ which has common refinements with each of |
156 |
$K$, $KL$, $L$, $K'L$, $K'$, $K'L'$, $L'$ and $KL'$. |
|
746 | 157 |
(We also require that $KLM$ antirefines to $KM$, etc.) |
447 | 158 |
Then we have 2-simplices, as shown in Figure \ref{zzz5}, which do the trick. |
159 |
(Each small triangle in Figure \ref{zzz5} can be filled with a 2-simplex.) |
|
116 | 160 |
|
530
b236746e8e4d
futzing with figures (\begin{center|equation} to \centering)
Kevin Walker <kevin@canyon23.net>
parents:
529
diff
changeset
|
161 |
\begin{figure}[t] \centering |
186 | 162 |
\begin{tikzpicture} |
163 |
\node(M) at (0,0) {$M$}; |
|
164 |
\foreach \angle/\label in {0/K', 45/K'L, 90/L, 135/KL, 180/K, 225/KL', 270/L', 315/K'L'} { |
|
165 |
\node(\label) at (\angle:4) {$\label$}; |
|
166 |
} |
|
167 |
\foreach \label in {K', L, K, L'} { |
|
168 |
\node(\label M) at ($(M)!0.6!(\label)$) {$\label M$}; |
|
169 |
\draw[->] (\label M)--(M); |
|
170 |
\draw[->] (\label M)--(\label); |
|
171 |
} |
|
172 |
\foreach \k in {K, K'} { |
|
173 |
\foreach \l in {L, L'} { |
|
174 |
\node(\k \l M) at (intersection cs: first line={(\k M)--(\l)}, second line={(\l M)--(\k)}) {$\k \l M$}; |
|
175 |
\draw[->] (\k \l M)--(M); |
|
176 |
\draw[->] (\k \l M)--(\k \l ); |
|
177 |
\draw[->] (\k \l M)--(\k M); |
|
178 |
\draw[->] (\k \l M)--(\l); |
|
179 |
\draw[->] (\k \l M)--(\l M); |
|
180 |
\draw[->] (\k \l M)--(\k); |
|
181 |
} |
|
182 |
} |
|
183 |
\draw[->] (K'L') to[bend right=10] (K'); |
|
184 |
\draw[->] (K'L') to[bend left=10] (L'); |
|
185 |
\draw[->] (KL') to[bend left=10] (K); |
|
186 |
\draw[->] (KL') to[bend right=10] (L'); |
|
187 |
\draw[->] (K'L) to[bend left=10] (K'); |
|
188 |
\draw[->] (K'L) to[bend right=10] (L); |
|
189 |
\draw[->] (KL) to[bend right=10] (K); |
|
190 |
\draw[->] (KL) to[bend left=10] (L); |
|
191 |
\end{tikzpicture} |
|
119 | 192 |
\caption{Filling in $K$-$KL$-$L$-$K'L$-$K'$-$K'L'$-$L'$-$KL'$-$K$} |
193 |
\label{zzz5} |
|
194 |
\end{figure} |
|
116 | 195 |
|
123 | 196 |
Continuing in this way we see that $D(a)$ is acyclic. |
896
deeff619087e
Initial version of the new splitting axiom.
Kevin Walker <kevin@canyon23.net>
parents:
889
diff
changeset
|
197 |
By Lemma \ref{lemma:vcones} we can fill in any cycle with a V-Cone. |
115 | 198 |
\end{proof} |
199 |
||
123 | 200 |
We are now in a position to apply the method of acyclic models to get a map |
978 | 201 |
$\phi:G_* \to \colimit{\cC_F}(Y)$. |
447 | 202 |
We may assume that $\phi(a)$ has the form $(a, K) + r$, where $(a, K)$ is a 0-simplex |
203 |
and $r$ is a sum of simplices of dimension 1 or higher. |
|
123 | 204 |
|
205 |
We now show that $\phi\circ\psi$ and $\psi\circ\phi$ are homotopic to the identity. |
|
206 |
||
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
207 |
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
|
208 |
\[ |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
209 |
\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
|
210 |
\] |
4b64f9c6313f
Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net>
parents:
317
diff
changeset
|
211 |
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
|
212 |
$\psi$ glues those pieces back together, yielding $a$. |
447 | 213 |
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
|
214 |
|
401
a8b8ebcf07ac
Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net>
parents:
400
diff
changeset
|
215 |
Second, $\phi\circ\psi$ is the identity up to homotopy by another argument based on the method of acyclic models. |
978 | 216 |
To each generator $(b, \ol{K})$ of $\colimit{\cC_F}(Y)$ 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
|
217 |
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
|
218 |
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
|
219 |
are homotopic. |
123 | 220 |
|
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
|
221 |
This concludes the proof of Theorem \ref{thm:product}. |
113 | 222 |
\end{proof} |
223 |
||
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
224 |
%\nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category} |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
225 |
|
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
226 |
If $Y$ has dimension $k-m$, then we have an $m$-category $\cC_{Y\times F}$ whose value at |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
227 |
a $j$-ball $X$ is either $\cE(X\times Y\times F)$ (if $j<m$) or $\bc_*(X\times Y\times F)$ |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
228 |
(if $j=m$). |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
229 |
(See Example \ref{ex:blob-complexes-of-balls}.) |
978 | 230 |
Similarly we have an $m$-category whose value at $X$ is $\colimit{\cC_F}(X\times Y)$. |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
231 |
These two categories are equivalent, but since we do not define functors between |
685
8efbd2730ef9
"topological n-cat" --> either "disk-like n-cat" or "ordinary n-cat" (when contrasted with A-inf n-cat)
Kevin Walker <kevin@canyon23.net>
parents:
557
diff
changeset
|
232 |
disk-like $n$-categories in this paper we are unable to say precisely |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
233 |
what ``equivalent" means in this context. |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
234 |
We hope to include this stronger result in a future paper. |
113 | 235 |
|
123 | 236 |
\medskip |
113 | 237 |
|
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
238 |
Taking $F$ in Theorem \ref{thm:product} to be a point, we obtain the following corollary. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
239 |
|
123 | 240 |
\begin{cor} |
225
32a76e8886d1
minor tweaks on small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
222
diff
changeset
|
241 |
\label{cor:new-old} |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
242 |
Let $\cE$ be a system of fields (with local relations) and let $\cC_\cE$ be the $A_\infty$ |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
243 |
$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
|
244 |
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
|
245 |
homotopy equivalent: |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
246 |
\[ |
978 | 247 |
\bc^\cE_*(Y) \htpy \colimit{\cC_\cE}(Y) . |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
248 |
\] |
123 | 249 |
\end{cor} |
113 | 250 |
|
251 |
\medskip |
|
133 | 252 |
|
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
|
253 |
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
|
254 |
\[ |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
255 |
F \to E \to Y , |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
256 |
\] |
855 | 257 |
and indeed even to the case of general maps |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
258 |
\[ |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
259 |
M\to Y . |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
260 |
\] |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
261 |
We outline two approaches to these generalizations. |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
262 |
The first is somewhat tautological, while the second is more amenable to |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
263 |
calculation. |
312 | 264 |
|
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
265 |
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
|
266 |
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
|
267 |
(c.f. \cite{MR2079378}). |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
268 |
Call this a {\it $k$-category over $Y$}. |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
269 |
A fiber bundle $F\to E\to Y$ gives an example of a $k$-category over $Y$: |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
270 |
assign to $p:D\to Y$ the blob complex $\bc_*(p^*(E))$, when $\dim(D) = k$, |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
271 |
or the fields $\cE(p^*(E))$, when $\dim(D) < k$. |
744
0405b70c95cd
fixing minor mistake in the proof of the product formula
Scott Morrison <scott@tqft.net>
parents:
685
diff
changeset
|
272 |
(Here $p^*(E)$ denotes the pull-back bundle over $D$.) |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
273 |
Let $\cF_E$ denote this $k$-category over $Y$. |
908
33404cea7dd3
minor typos from recent edits
Scott Morrison <scott@tqft.net>
parents:
907
diff
changeset
|
274 |
We can adapt the homotopy colimit construction (based on decompositions of $Y$ into balls) to |
978 | 275 |
get a chain complex $\colimit{\cF_E}(Y)$. |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
276 |
|
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
277 |
\begin{thm} |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
278 |
Let $F \to E \to Y$ be a fiber bundle and let $\cF_E$ be the $k$-category over $Y$ defined above. |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
279 |
Then |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
280 |
\[ |
978 | 281 |
\bc_*(E) \simeq \colimit{\cF_E}(Y) . |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
282 |
\] |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
283 |
\qed |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
284 |
\end{thm} |
315
c6483345e64e
start on general fiber bundle extension of product thm
Kevin Walker <kevin@canyon23.net>
parents:
312
diff
changeset
|
285 |
|
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
286 |
\begin{proof} |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
287 |
The proof is nearly identical to the proof of Theorem \ref{thm:product}, so we will only give a sketch which |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
288 |
emphasizes the few minor changes that need to be made. |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
289 |
|
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
290 |
As before, we define a map |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
291 |
\[ |
978 | 292 |
\psi: \colimit{\cF_E}(Y) \to \bc_*(E) . |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
293 |
\] |
978 | 294 |
The 0-simplices of the homotopy colimit $\colimit{\cF_E}(Y)$ are glued up to give an element of $\bc_*(E)$. |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
295 |
Simplices of positive degree are sent to zero. |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
296 |
|
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
297 |
Let $G_* \sub \bc_*(E)$ be the image of $\psi$. |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
298 |
By Lemma \ref{thm:small-blobs}, $\bc_*(Y\times F; \cE)$ |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
299 |
is homotopic to a subcomplex of $G_*$. |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
300 |
We will define a homotopy inverse of $\psi$ on $G_*$, using acyclic models. |
978 | 301 |
To each generator $a$ of $G_*$ we assign an acyclic subcomplex $D(a) \sub \colimit{\cF_E}(Y)$ which consists of |
907
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
302 |
0-simplices which map via $\psi$ to $a$, plus higher simplices (as described in the proof of Theorem \ref{thm:product}) |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
303 |
which insure that $D(a)$ is acyclic. |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
304 |
\end{proof} |
fcd380e21e7c
in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
Kevin Walker <kevin@canyon23.net>
parents:
901
diff
changeset
|
305 |
|
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
306 |
We can generalize this result still further by noting that it is not really necessary |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
307 |
for the definition of $\cF_E$ that $E\to Y$ be a fiber bundle. |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
308 |
Let $M\to Y$ be a map, with $\dim(M) = n$ and $\dim(Y) = k$. |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
309 |
Call a map $D^j\to Y$ ``good" with respect to $M$ if the fibered product |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
310 |
$D\widetilde{\times} M$ is a manifold of dimension $n-k+j$ with a collar structure along the boundary of $D$. |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
311 |
(If $D\to Y$ is an embedding then $D\widetilde{\times} M$ is just the part of $M$ |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
312 |
lying above $D$.) |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
313 |
We can define a $k$-category $\cF_M$ based on maps of balls into $Y$ which are good with respect to $M$. |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
314 |
We can again adapt the homotopy colimit construction to |
978 | 315 |
get a chain complex $\colimit{\cF_M}(Y)$. |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
316 |
The proof of Theorem \ref{thm:product} again goes through essentially unchanged |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
317 |
to show that |
911
084156aaee2f
changing general map thm to remark, as suggested by referee
Kevin Walker <kevin@canyon23.net>
parents:
908
diff
changeset
|
318 |
%\begin{thm} |
084156aaee2f
changing general map thm to remark, as suggested by referee
Kevin Walker <kevin@canyon23.net>
parents:
908
diff
changeset
|
319 |
%Let $M \to Y$ be a map of manifolds and let $\cF_M$ be the $k$-category over $Y$ defined above. |
084156aaee2f
changing general map thm to remark, as suggested by referee
Kevin Walker <kevin@canyon23.net>
parents:
908
diff
changeset
|
320 |
%Then |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
321 |
\[ |
978 | 322 |
\bc_*(M) \simeq \colimit{\cF_M}(Y) . |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
323 |
\] |
911
084156aaee2f
changing general map thm to remark, as suggested by referee
Kevin Walker <kevin@canyon23.net>
parents:
908
diff
changeset
|
324 |
%\qed |
084156aaee2f
changing general map thm to remark, as suggested by referee
Kevin Walker <kevin@canyon23.net>
parents:
908
diff
changeset
|
325 |
%\end{thm} |
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
326 |
|
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
327 |
|
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
328 |
\medskip |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
329 |
|
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
330 |
In the second approach we use a decorated colimit (as in \S \ref{ssec:spherecat}) |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
331 |
and various sphere modules based on $F \to E \to Y$ |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
332 |
or $M\to Y$, instead of an undecorated colimit with fancier $k$-categories over $Y$. |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
333 |
Information about the specific map to $Y$ has been taken out of the categories |
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
334 |
and put into sphere modules and decorations. |
557 | 335 |
|
336 |
Let $F \to E \to Y$ be a fiber bundle as above. |
|
337 |
Choose a decomposition $Y = \cup X_i$ |
|
338 |
such that the restriction of $E$ to $X_i$ is homeomorphic to a product $F\times X_i$, |
|
339 |
and choose trivializations of these products as well. |
|
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
340 |
|
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
341 |
Let $\cF$ be the $k$-category associated to $F$. |
557 | 342 |
To each codimension-1 face $X_i\cap X_j$ we have a bimodule ($S^0$-module) for $\cF$. |
343 |
More generally, to each codimension-$m$ face we have an $S^{m-1}$-module for a $(k{-}m{+}1)$-category |
|
344 |
associated to the (decorated) link of that face. |
|
345 |
We can decorate the strata of the decomposition of $Y$ with these sphere modules and form a |
|
346 |
colimit as in \S \ref{ssec:spherecat}. |
|
347 |
This colimit computes $\bc_*(E)$. |
|
348 |
||
349 |
There is a similar construction for general maps $M\to Y$. |
|
350 |
||
526 | 351 |
%Note that Theorem \ref{thm:gluing} can be viewed as a special case of this one. |
352 |
%Let $X_1$ and $X_2$ be $n$-manifolds |
|
557 | 353 |
%\nn{...} |
354 |
||
355 |
||
525
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
356 |
|
4e4b6505d9ef
starting to finish fiber bundle stuff
Kevin Walker <kevin@canyon23.net>
parents:
524
diff
changeset
|
357 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
358 |
\subsection{A gluing theorem} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
359 |
\label{sec:gluing} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
360 |
|
901
77a80b7eb98e
definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
Scott Morrison <scott@tqft.net>
parents:
896
diff
changeset
|
361 |
Next we prove a gluing theorem. Throughout this section fix a particular $n$-dimensional system of fields $\cE$ and local relations. Each blob complex below is with respect to this $\cE$. |
133 | 362 |
Let $X$ be a closed $k$-manifold with a splitting $X = X'_1\cup_Y X'_2$. |
363 |
We will need an explicit collar on $Y$, so rewrite this as |
|
364 |
$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
|
365 |
Given this data we have: |
133 | 366 |
\begin{itemize} |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
367 |
\item An $A_\infty$ $n{-}k$-category $\bc(X)$, which assigns to an $m$-ball |
133 | 368 |
$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
|
369 |
(for $m+k = n$). |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
370 |
(See Example \ref{ex:blob-complexes-of-balls}.) |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
371 |
%\nn{need to explain $c$}. |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
372 |
\item An $A_\infty$ $n{-}k{+}1$-category $\bc(Y)$, defined similarly. |
133 | 373 |
\item Two $\bc(Y)$ modules $\bc(X_1)$ and $\bc(X_2)$, which assign to a marked |
374 |
$m$-ball $(D, H)$ either fields on $(D\times Y) \cup (H\times X_i)$ (if $m+k < n$) |
|
375 |
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
|
376 |
(See Example \ref{bc-module-example}.) |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
377 |
\item The tensor product $\bc(X_1) \otimes_{\bc(Y), J} \bc(X_2)$, which is |
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
378 |
an $A_\infty$ $n{-}k$-category. |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
379 |
(See \S \ref{moddecss}.) |
133 | 380 |
\end{itemize} |
381 |
||
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
382 |
It is the case that the $n{-}k$-categories $\bc(X)$ and $\bc(X_1) \otimes_{\bc(Y), J} \bc(X_2)$ |
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
383 |
are equivalent for all $k$, but since we do not develop a definition of functor between $n$-categories |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
384 |
in this paper, we cannot state this precisely. |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
385 |
(It will appear in a future paper.) |
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
386 |
So we content ourselves with |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
387 |
|
133 | 388 |
\begin{thm} |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
389 |
\label{thm:gluing} |
953 | 390 |
Suppose $X$ is an $n$-manifold, and $X = X_1\cup (Y\times J) \cup X_2$ (i.e. take $k=n$ in the above discussion). |
391 |
Then $\bc(X)$ is homotopy equivalent to the $A_\infty$ tensor product $\bc(X_1) \otimes_{\bc(Y), J} \bc(X_2)$. |
|
133 | 392 |
\end{thm} |
393 |
||
394 |
\begin{proof} |
|
555
11532ce39ec0
making "no functors" excuses; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
550
diff
changeset
|
395 |
%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
|
396 |
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
|
397 |
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
|
398 |
the proof of Theorem \ref{thm:product}. |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
399 |
|
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
400 |
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
|
401 |
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
|
402 |
|
342 | 403 |
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
|
404 |
On 0-simplices it is given |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
405 |
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
|
406 |
On simplices of dimension 1 and greater $\psi$ is zero. |
133 | 407 |
|
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
408 |
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
|
409 |
over some decomposition of $J$. |
524
edf8798ef477
finished 1st draft of new evmap section; commented out older versions
Kevin Walker <kevin@canyon23.net>
parents:
512
diff
changeset
|
410 |
It follows from Lemma \ref{thm:small-blobs} that $\bc_*(X)$ is homotopic to |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
411 |
a subcomplex of $G_*$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
412 |
|
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
413 |
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
|
414 |
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
|
415 |
an acyclic subcomplex which is (roughly) $\psi\inv(a)$. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
416 |
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
|
417 |
a common refinement. |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
418 |
|
953 | 419 |
The proof that these two maps are homotopy 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
|
420 |
Theorem \ref{thm:product}. |
324
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
421 |
\end{proof} |
a20e2318cbb0
rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net>
parents:
323
diff
changeset
|
422 |
|
133 | 423 |
\medskip |
211 | 424 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
425 |
\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
|
426 |
\label{sec:map-recon} |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
225
diff
changeset
|
427 |
|
211 | 428 |
The next theorem shows how to reconstruct a mapping space from local data. |
429 |
Let $T$ be a topological space, let $M$ be an $n$-manifold, |
|
888
a0fd6e620926
Backed out changeset 7abe7642265e
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
430 |
and recall the $A_\infty$ $n$-category $\pi^\infty_{\leq n}(T)$ |
211 | 431 |
of Example \ref{ex:chains-of-maps-to-a-space}. |
432 |
Think of $\pi^\infty_{\leq n}(T)$ as encoding everything you would ever |
|
433 |
want to know about spaces of maps of $k$-balls into $T$ ($k\le n$). |
|
434 |
To simplify notation, let $\cT = \pi^\infty_{\leq n}(T)$. |
|
435 |
||
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
|
436 |
\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
|
437 |
\label{thm:map-recon} |
342 | 438 |
The blob complex for $M$ with coefficients in the fundamental $A_\infty$ $n$-category for $T$ |
439 |
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
|
440 |
$$\cB^\cT(M) \simeq C_*(\Maps(M\to T)).$$ |
211 | 441 |
\end{thm} |
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
442 |
\begin{rem} |
775 | 443 |
Lurie has shown in \cite[Theorem 3.8.6]{0911.0018} that the topological chiral homology |
342 | 444 |
of an $n$-manifold $M$ with coefficients in a certain $E_n$ algebra constructed from $T$ recovers |
878
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
445 |
the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n{-}1$-connected. |
342 | 446 |
This extra hypothesis is not surprising, in view of the idea described in Example \ref{ex:e-n-alg} |
447 |
that an $E_n$ algebra is roughly equivalent data to an $A_\infty$ $n$-category which |
|
529 | 448 |
is trivial at levels 0 through $n-1$. |
342 | 449 |
Ricardo Andrade also told us about a similar result. |
878
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
450 |
|
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
451 |
Specializing still further, Theorem \ref{thm:map-recon} is related to the classical result that for connected spaces $T$ |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
452 |
we have $HH_*(C_*(\Omega T)) \cong H_*(LT)$, that is, the Hochschild homology of based loops in $T$ is isomorphic |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
453 |
to the homology of the free loop space of $T$ (see \cite{MR793184} and \cite{MR842427}). |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
454 |
Theorem \ref{thm:map-recon} says that for any space $T$ (connected or not) we have |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
455 |
$\bc_*(S^1; C_*(\pi^\infty_{\le 1}(T))) \simeq C_*(LT)$. |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
456 |
Here $C_*(\pi^\infty_{\le 1}(T))$ denotes the singular chain version of the fundamental infinity-groupoid of $T$, |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
457 |
whose objects are points in $T$ and morphism chain complexes are $C_*(\paths(t_1 \to t_2))$ for $t_1, t_2 \in T$. |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
458 |
If $T$ is connected then the $A_\infty$ 1-category $C_*(\pi^\infty_{\le 1}(T))$ is Morita equivalent to the |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
459 |
$A_\infty$ algebra $C_*(\Omega T)$; |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
460 |
the bimodule for the equivalence is the singular chains of the space of paths which start at the base point of $T$. |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
461 |
Theorem \ref{thm:hochschild} holds for $A_\infty$ 1-categories (though we do not prove that in this paper), |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
462 |
which then implies that |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
463 |
\[ |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
464 |
Hoch_*(C_*(\Omega T)) \simeq Hoch_*(C_*(\pi^\infty_{\le 1}(T))) |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
465 |
\simeq \bc_*(S^1; C_*(\pi^\infty_{\le 1}(T))) \simeq C_*(LT) . |
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
466 |
\] |
303
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
467 |
\end{rem} |
2252c53bd449
minor changes in a few places
Scott Morrison <scott@tqft.net>
parents:
291
diff
changeset
|
468 |
|
878
937214896458
add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents:
865
diff
changeset
|
469 |
\begin{proof}[Proof of Theorem \ref{thm:map-recon}] |
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
|
470 |
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
|
471 |
|
837 | 472 |
We begin by constructing a chain map $\psi: \cB^\cT(M) \to C_*(\Maps(M\to T))$. |
355
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
473 |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
474 |
Recall that |
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
475 |
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
|
476 |
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
|
477 |
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
|
478 |
of $\cT$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
479 |
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
|
480 |
$(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
|
481 |
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
|
482 |
The summand indexed by $(K, \vphi)$ is |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
483 |
\[ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
484 |
\bigotimes_b D_*(b, \vphi), |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
485 |
\] |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
486 |
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
|
487 |
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
|
488 |
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
|
489 |
all of $M$ to $K$. |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
490 |
This defines $\psi$ on 0-simplices. |
325 | 491 |
|
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
492 |
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
|
493 |
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
|
494 |
$\cB^\cT(M)$ to $C_*(\Maps(M\to T))$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
495 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
496 |
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
|
497 |
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
|
498 |
It follows from Lemma \ref{extension_lemma_c} |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
499 |
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
|
500 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
501 |
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
|
502 |
Let $a$ be a generator of $G_*$. |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
503 |
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
|
504 |
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
|
505 |
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
|
506 |
(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
|
507 |
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
|
508 |
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
|
509 |
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
|
510 |
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
|
511 |
\[ |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
512 |
\phi(a) = (a, K) + r |
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
513 |
\] |
448
c3c8fb292934
done with a-inf section for now
Kevin Walker <kevin@canyon23.net>
parents:
447
diff
changeset
|
514 |
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
|
515 |
|
dfefae16073c
proof of mapping space thm
Kevin Walker <kevin@canyon23.net>
parents:
342
diff
changeset
|
516 |
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
|
517 |
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
|
518 |
(See the proof of Theorem \ref{thm:product} for more details.) |
550 | 519 |
\end{proof} |