author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Mon, 13 Jul 2009 20:22:21 +0000 | |
changeset 91 | ea5d8fbcd5bc |
parent 83 | 62cd552bf8c9 |
child 94 | 38ceade5cc5d |
permissions | -rw-r--r-- |
8 | 1 |
\documentclass[11pt,leqno]{amsart} |
0 | 2 |
|
8 | 3 |
\newcommand{\pathtotrunk}{./} |
4 |
\input{text/article_preamble.tex} |
|
5 |
\input{text/top_matter.tex} |
|
71 | 6 |
\input{text/kw_macros.tex} |
0 | 7 |
|
8 |
||
9 |
||
10 |
\title{Blob Homology} |
|
11 |
||
12 |
\begin{document} |
|
13 |
||
14 |
||
15 |
||
16 |
\makeatletter |
|
17 |
\@addtoreset{equation}{section} |
|
18 |
\gdef\theequation{\thesection.\arabic{equation}} |
|
19 |
\makeatother |
|
20 |
||
21 |
||
22 |
\maketitle |
|
23 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
24 |
\textbf{Draft version, do not distribute.} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
25 |
|
80 | 26 |
%\versioninfo |
27 |
[11 June 2009] |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
28 |
|
79 | 29 |
\noop{ |
30 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
31 |
\section*{Todo} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
32 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
33 |
\subsection*{What else?...} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
34 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
35 |
\begin{itemize} |
45
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
36 |
\item higher priority |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
37 |
\begin{itemize} |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
38 |
\item K\&S: learn the state of the art in A-inf categories |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
39 |
(tensor products, Kadeishvili result, ...) |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
40 |
\item K: so-called evaluation map stuff |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
41 |
\item K: topological fields |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
42 |
\item section describing intended applications |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
43 |
\item say something about starting with semisimple n-cat (trivial?? not trivial?) |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
44 |
\item T.O.C. |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
45 |
\end{itemize} |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
46 |
\item medium priority |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
47 |
\begin{itemize} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
48 |
\item $n=2$ examples |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
49 |
\item dimension $n+1$ (generalized Deligne conjecture?) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
50 |
\item should be clear about PL vs Diff; probably PL is better |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
51 |
(or maybe not) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
52 |
\item something about higher derived coend things (derived 2-coend, e.g.) |
41
ef01b18b42ea
added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
40
diff
changeset
|
53 |
\item shuffle product vs gluing product (?) |
45
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
54 |
\item connection between $A_\infty$ operad and topological $A_\infty$ cat defs |
41
ef01b18b42ea
added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
40
diff
changeset
|
55 |
\end{itemize} |
45
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
56 |
\item lower priority |
41
ef01b18b42ea
added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
40
diff
changeset
|
57 |
\begin{itemize} |
45
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
58 |
\item Derive Hochschild standard results from blob point of view? |
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
59 |
\item Kh |
67 | 60 |
\item Mention somewhere \cite{MR1624157} ``Skein homology''; it's not directly related, but has similar motivations. |
45
0047a1211c3b
revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
44
diff
changeset
|
61 |
\end{itemize} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
62 |
\end{itemize} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
63 |
|
79 | 64 |
} %end \noop |
21 | 65 |
|
0 | 66 |
\section{Introduction} |
67 |
||
58
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
68 |
[Outline for intro] |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
69 |
\begin{itemize} |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
70 |
\item Starting point: TQFTs via fields and local relations. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
71 |
This gives a satisfactory treatment for semisimple TQFTs |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
72 |
(i.e.\ TQFTs for which the cylinder 1-category associated to an |
58
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
73 |
$n{-}1$-manifold $Y$ is semisimple for all $Y$). |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
74 |
\item For non-semiemple TQFTs, this approach is less satisfactory. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
75 |
Our main motivating example (though we will not develop it in this paper) |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
76 |
is the $4{+}1$-dimensional TQFT associated to Khovanov homology. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
77 |
It associates a bigraded vector space $A_{Kh}(W^4, L)$ to a 4-manifold $W$ together |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
78 |
with a link $L \subset \bd W$. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
79 |
The original Khovanov homology of a link in $S^3$ is recovered as $A_{Kh}(B^4, L)$. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
80 |
\item How would we go about computing $A_{Kh}(W^4, L)$? |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
81 |
For $A_{Kh}(B^4, L)$, the main tool is the exact triangle (long exact sequence) |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
82 |
\nn{... $L_1, L_2, L_3$}. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
83 |
Unfortunately, the exactness breaks if we glue $B^4$ to itself and attempt |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
84 |
to compute $A_{Kh}(S^1\times B^3, L)$. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
85 |
According to the gluing theorem for TQFTs-via-fields, gluing along $B^3 \subset \bd B^4$ |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
86 |
corresponds to taking a coend (self tensor product) over the cylinder category |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
87 |
associated to $B^3$ (with appropriate boundary conditions). |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
88 |
The coend is not an exact functor, so the exactness of the triangle breaks. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
89 |
\item The obvious solution to this problem is to replace the coend with its derived counterpart. |
83 | 90 |
This presumably works fine for $S^1\times B^3$ (the answer being the Hochschild homology |
58
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
91 |
of an appropriate bimodule), but for more complicated 4-manifolds this leaves much to be desired. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
92 |
If we build our manifold up via a handle decomposition, the computation |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
93 |
would be a sequence of derived coends. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
94 |
A different handle decomposition of the same manifold would yield a different |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
95 |
sequence of derived coends. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
96 |
To show that our definition in terms of derived coends is well-defined, we |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
97 |
would need to show that the above two sequences of derived coends yield the same answer. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
98 |
This is probably not easy to do. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
99 |
\item Instead, we would prefer a definition for a derived version of $A_{Kh}(W^4, L)$ |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
100 |
which is manifestly invariant. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
101 |
(That is, a definition that does not |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
102 |
involve choosing a decomposition of $W$. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
103 |
After all, one of the virtues of our starting point --- TQFTs via field and local relations --- |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
104 |
is that it has just this sort of manifest invariance.) |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
105 |
\item The solution is to replace $A_{Kh}(W^4, L)$, which is a quotient |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
106 |
\[ |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
107 |
\text{linear combinations of fields} \;\big/\; \text{local relations} , |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
108 |
\] |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
109 |
with an appropriately free resolution (the ``blob complex") |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
110 |
\[ |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
111 |
\cdots\to \bc_2(W, L) \to \bc_1(W, L) \to \bc_0(W, L) . |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
112 |
\] |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
113 |
Here $\bc_0$ is linear combinations of fields on $W$, |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
114 |
$\bc_1$ is linear combinations of local relations on $W$, |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
115 |
$\bc_2$ is linear combinations of relations amongst relations on $W$, |
58
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
116 |
and so on. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
117 |
\item None of the above ideas depend on the details of the Khovanov homology example, |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
118 |
so we develop the general theory in the paper and postpone specific applications |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
119 |
to later papers. |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
120 |
\item The blob complex enjoys the following nice properties \nn{...} |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
121 |
\end{itemize} |
0 | 122 |
|
58
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
123 |
\bigskip |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
124 |
\hrule |
267edc250b5d
more detailed outline for intro
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
55
diff
changeset
|
125 |
\bigskip |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
126 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
127 |
We then show that blob homology enjoys the following |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
128 |
\ref{property:gluing} properties. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
129 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
130 |
\begin{property}[Functoriality] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
131 |
\label{property:functoriality}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
132 |
Blob homology is functorial with respect to diffeomorphisms. That is, fixing an $n$-dimensional system of fields $\cF$ and local relations $\cU$, the association |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
133 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
134 |
X \mapsto \bc_*^{\cF,\cU}(X) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
135 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
136 |
is a functor from $n$-manifolds and diffeomorphisms between them to chain complexes and isomorphisms between them. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
137 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
138 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
139 |
\begin{property}[Disjoint union] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
140 |
\label{property:disjoint-union} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
141 |
The blob complex of a disjoint union is naturally the tensor product of the blob complexes. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
142 |
\begin{equation*} |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
143 |
\bc_*(X_1 \du X_2) \iso \bc_*(X_1) \tensor \bc_*(X_2) |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
144 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
145 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
146 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
147 |
\begin{property}[A map for gluing] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
148 |
\label{property:gluing-map}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
149 |
If $X_1$ and $X_2$ are $n$-manifolds, with $Y$ a codimension $0$-submanifold of $\bdy X_1$, and $Y^{\text{op}}$ a codimension $0$-submanifold of $\bdy X_2$, |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
150 |
there is a chain map |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
151 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
152 |
\gl_Y: \bc_*(X_1) \tensor \bc_*(X_2) \to \bc_*(X_1 \cup_Y X_2). |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
153 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
154 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
155 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
156 |
\begin{property}[Contractibility] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
157 |
\label{property:contractibility}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
158 |
\todo{Err, requires a splitting?} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
159 |
The blob complex for an $n$-category on an $n$-ball is quasi-isomorphic to its $0$-th homology. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
160 |
\begin{equation} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
161 |
\xymatrix{\bc_*^{\cC}(B^n) \ar[r]^{\iso}_{\text{qi}} & H_0(\bc_*^{\cC}(B^n))} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
162 |
\end{equation} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
163 |
\todo{Say that this is just the original $n$-category?} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
164 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
165 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
166 |
\begin{property}[Skein modules] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
167 |
\label{property:skein-modules}% |
79 | 168 |
The $0$-th blob homology of $X$ is the usual |
169 |
(dual) TQFT Hilbert space (a.k.a.\ skein module) associated to $X$ |
|
170 |
by $(\cF,\cU)$. (See \S \ref{sec:local-relations}.) |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
171 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
172 |
H_0(\bc_*^{\cF,\cU}(X)) \iso A^{\cF,\cU}(X) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
173 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
174 |
\end{property} |
0 | 175 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
176 |
\begin{property}[Hochschild homology when $X=S^1$] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
177 |
\label{property:hochschild}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
178 |
The blob complex for a $1$-category $\cC$ on the circle is |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
179 |
quasi-isomorphic to the Hochschild complex. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
180 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
181 |
\xymatrix{\bc_*^{\cC}(S^1) \ar[r]^{\iso}_{\text{qi}} & HC_*(\cC)} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
182 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
183 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
184 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
185 |
\begin{property}[Evaluation map] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
186 |
\label{property:evaluation}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
187 |
There is an `evaluation' chain map |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
188 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
189 |
\ev_X: \CD{X} \tensor \bc_*(X) \to \bc_*(X). |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
190 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
191 |
(Here $\CD{X}$ is the singular chain complex of the space of diffeomorphisms of $X$, fixed on $\bdy X$.) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
192 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
193 |
Restricted to $C_0(\Diff(X))$ this is just the action of diffeomorphisms described in Property \ref{property:functoriality}. Further, for |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
194 |
any codimension $1$-submanifold $Y \subset X$ dividing $X$ into $X_1 \cup_Y X_2$, the following diagram |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
195 |
(using the gluing maps described in Property \ref{property:gluing-map}) commutes. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
196 |
\begin{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
197 |
\xymatrix{ |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
198 |
\CD{X} \otimes \bc_*(X) \ar[r]^{\ev_X} & \bc_*(X) \\ |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
199 |
\CD{X_1} \otimes \CD{X_2} \otimes \bc_*(X_1) \otimes \bc_*(X_2) |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
200 |
\ar@/_4ex/[r]_{\ev_{X_1} \otimes \ev_{X_2}} \ar[u]^{\gl^{\Diff}_Y \otimes \gl_Y} & |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
201 |
\bc_*(X_1) \otimes \bc_*(X_2) \ar[u]_{\gl_Y} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
202 |
} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
203 |
\end{equation*} |
79 | 204 |
\nn{should probably say something about associativity here (or not?)} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
205 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
206 |
|
79 | 207 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
208 |
\begin{property}[Gluing formula] |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
209 |
\label{property:gluing}% |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
210 |
\mbox{}% <-- gets the indenting right |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
211 |
\begin{itemize} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
212 |
\item For any $(n-1)$-manifold $Y$, the blob homology of $Y \times I$ is |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
213 |
naturally an $A_\infty$ category. % We'll write $\bc_*(Y)$ for $\bc_*(Y \times I)$ below. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
214 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
215 |
\item For any $n$-manifold $X$, with $Y$ a codimension $0$-submanifold of its boundary, the blob homology of $X$ is naturally an |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
216 |
$A_\infty$ module for $\bc_*(Y \times I)$. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
217 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
218 |
\item For any $n$-manifold $X$, with $Y \cup Y^{\text{op}}$ a codimension |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
219 |
$0$-submanifold of its boundary, the blob homology of $X'$, obtained from |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
220 |
$X$ by gluing along $Y$, is the $A_\infty$ self-tensor product of |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
221 |
$\bc_*(X)$ as an $\bc_*(Y \times I)$-bimodule. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
222 |
\begin{equation*} |
54 | 223 |
\bc_*(X') \iso \bc_*(X) \Tensor^{A_\infty}_{\mathclap{\bc_*(Y \times I)}} \!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
224 |
\end{equation*} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
225 |
\end{itemize} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
226 |
\end{property} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
227 |
|
79 | 228 |
\nn{add product formula? $n$-dimensional fat graph operad stuff?} |
229 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
230 |
Properties \ref{property:functoriality}, \ref{property:gluing-map} and \ref{property:skein-modules} will be immediate from the definition given in |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
231 |
\S \ref{sec:blob-definition}, and we'll recall them at the appropriate points there. \todo{Make sure this gets done.} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
232 |
Properties \ref{property:disjoint-union} and \ref{property:contractibility} are established in \S \ref{sec:basic-properties}. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
233 |
Property \ref{property:hochschild} is established in \S \ref{sec:hochschild}, Property \ref{property:evaluation} in \S \ref{sec:evaluation}, |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
234 |
and Property \ref{property:gluing} in \S \ref{sec:gluing}. |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
235 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
236 |
\section{Definitions} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
237 |
\label{sec:definitions} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
238 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
239 |
\subsection{Systems of fields} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
240 |
\label{sec:fields} |
0 | 241 |
|
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
242 |
Let $\cM_k$ denote the category (groupoid, in fact) with objects |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
243 |
oriented PL manifolds of dimension |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
244 |
$k$ and morphisms homeomorphisms. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
245 |
(We could equally well work with a different category of manifolds --- |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
246 |
unoriented, topological, smooth, spin, etc. --- but for definiteness we |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
247 |
will stick with oriented PL.) |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
248 |
|
67 | 249 |
Fix a top dimension $n$, and a symmetric monoidal category $\cS$ whose objects are sets. While reading the definition, you should just think about the case $\cS = \Set$ with cartesian product, until you reach the discussion of a \emph{linear system of fields} later in this section, where $\cS = \Vect$, and \S \ref{sec:homological-fields}, where $\cS = \Kom$. |
0 | 250 |
|
67 | 251 |
A $n$-dimensional {\it system of fields} in $\cS$ |
252 |
is a collection of functors $\cC_k : \cM_k \to \Set$ for $0 \leq k \leq n$ |
|
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
253 |
together with some additional data and satisfying some additional conditions, all specified below. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
254 |
|
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
255 |
\nn{refer somewhere to my TQFT notes \cite{kw:tqft}, and possibly also to paper with Chris} |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
256 |
|
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
257 |
Before finishing the definition of fields, we give two motivating examples |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
258 |
(actually, families of examples) of systems of fields. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
259 |
|
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
260 |
The first examples: Fix a target space $B$, and let $\cC(X)$ be the set of continuous maps |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
261 |
from X to $B$. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
262 |
|
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
263 |
The second examples: Fix an $n$-category $C$, and let $\cC(X)$ be |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
264 |
the set of sub-cell-complexes of $X$ with codimension-$j$ cells labeled by |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
265 |
$j$-morphisms of $C$. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
266 |
One can think of such sub-cell-complexes as dual to pasting diagrams for $C$. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
267 |
This is described in more detail below. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
268 |
|
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
269 |
Now for the rest of the definition of system of fields. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
270 |
\begin{enumerate} |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
271 |
\item There are boundary restriction maps $\cC_k(X) \to \cC_{k-1}(\bd X)$, |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
272 |
and these maps are a natural |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
273 |
transformation between the functors $\cC_k$ and $\cC_{k-1}\circ\bd$. |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
274 |
For $c \in \cC_{k-1}(\bd X)$, we will denote by $\cC_k(X; c)$ the subset of |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
275 |
$\cC(X)$ which restricts to $c$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
276 |
In this context, we will call $c$ a boundary condition. |
67 | 277 |
\item The subset $\cC_n(X;c)$ of top fields with a given boundary condition is an object in our symmetric monoidal category $\cS$. (This condition is of course trivial when $\cS = \Set$.) If the objects are sets with extra structure (e.g. $\cS = \Vect$ or $\Kom$), then this extra structure is considered part of the definition of $\cC_n$. Any maps mentioned below between top level fields must be morphisms in $\cS$. |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
278 |
\item There are orientation reversal maps $\cC_k(X) \to \cC_k(-X)$, and these maps |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
279 |
again comprise a natural transformation of functors. |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
280 |
In addition, the orientation reversal maps are compatible with the boundary restriction maps. |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
281 |
\item $\cC_k$ is compatible with the symmetric monoidal |
67 | 282 |
structures on $\cM_k$, $\Set$ and $\cS$: $\cC_k(X \du W) \cong \cC_k(X)\times \cC_k(W)$, |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
283 |
compatibly with homeomorphisms, restriction to boundary, and orientation reversal. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
284 |
We will call the projections $\cC(X_1 \du X_2) \to \cC(X_i)$ |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
285 |
restriction maps. |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
286 |
\item Gluing without corners. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
287 |
Let $\bd X = Y \du -Y \du W$, where $Y$ and $W$ are closed $k{-}1$-manifolds. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
288 |
Let $X\sgl$ denote $X$ glued to itself along $\pm Y$. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
289 |
Using the boundary restriction, disjoint union, and (in one case) orientation reversal |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
290 |
maps, we get two maps $\cC_k(X) \to \cC(Y)$, corresponding to the two |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
291 |
copies of $Y$ in $\bd X$. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
292 |
Let $\Eq_Y(\cC_k(X))$ denote the equalizer of these two maps. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
293 |
Then (here's the axiom/definition part) there is an injective ``gluing" map |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
294 |
\[ |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
295 |
\Eq_Y(\cC_k(X)) \hookrightarrow \cC_k(X\sgl) , |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
296 |
\] |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
297 |
and this gluing map is compatible with all of the above structure (actions |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
298 |
of homeomorphisms, boundary restrictions, orientation reversal, disjoint union). |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
299 |
Furthermore, up to homeomorphisms of $X\sgl$ isotopic to the identity, |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
300 |
the gluing map is surjective. |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
301 |
From the point of view of $X\sgl$ and the image $Y \subset X\sgl$ of the |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
302 |
gluing surface, we say that fields in the image of the gluing map |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
303 |
are transverse to $Y$ or cuttable along $Y$. |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
304 |
\item Gluing with corners. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
305 |
Let $\bd X = Y \cup -Y \cup W$, where $\pm Y$ and $W$ might intersect along their boundaries. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
306 |
Let $X\sgl$ denote $X$ glued to itself along $\pm Y$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
307 |
Note that $\bd X\sgl = W\sgl$, where $W\sgl$ denotes $W$ glued to itself |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
308 |
(without corners) along two copies of $\bd Y$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
309 |
Let $c\sgl \in \cC_{k-1}(W\sgl)$ be a be a cuttable field on $W\sgl$ and let |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
310 |
$c \in \cC_{k-1}(W)$ be the cut open version of $c\sgl$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
311 |
Let $\cC^c_k(X)$ denote the subset of $\cC(X)$ which restricts to $c$ on $W$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
312 |
(This restriction map uses the gluing without corners map above.) |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
313 |
Using the boundary restriction, gluing without corners, and (in one case) orientation reversal |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
314 |
maps, we get two maps $\cC^c_k(X) \to \cC(Y)$, corresponding to the two |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
315 |
copies of $Y$ in $\bd X$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
316 |
Let $\Eq^c_Y(\cC_k(X))$ denote the equalizer of these two maps. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
317 |
Then (here's the axiom/definition part) there is an injective ``gluing" map |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
318 |
\[ |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
319 |
\Eq^c_Y(\cC_k(X)) \hookrightarrow \cC_k(X\sgl, c\sgl) , |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
320 |
\] |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
321 |
and this gluing map is compatible with all of the above structure (actions |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
322 |
of homeomorphisms, boundary restrictions, orientation reversal, disjoint union). |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
323 |
Furthermore, up to homeomorphisms of $X\sgl$ isotopic to the identity, |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
324 |
the gluing map is surjective. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
325 |
From the point of view of $X\sgl$ and the image $Y \subset X\sgl$ of the |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
326 |
gluing surface, we say that fields in the image of the gluing map |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
327 |
are transverse to $Y$ or cuttable along $Y$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
328 |
\item There are maps $\cC_{k-1}(Y) \to \cC_k(Y \times I)$, denoted |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
329 |
$c \mapsto c\times I$. |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
330 |
These maps comprise a natural transformation of functors, and commute appropriately |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
331 |
with all the structure maps above (disjoint union, boundary restriction, etc.). |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
332 |
Furthermore, if $f: Y\times I \to Y\times I$ is a fiber-preserving homeomorphism |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
333 |
covering $\bar{f}:Y\to Y$, then $f(c\times I) = \bar{f}(c)\times I$. |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
334 |
\end{enumerate} |
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
335 |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
336 |
\nn{need to introduce two notations for glued fields --- $x\bullet y$ and $x\sgl$} |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
337 |
|
61
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
338 |
\bigskip |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
339 |
Using the functoriality and $\bullet\times I$ properties above, together |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
340 |
with boundary collar homeomorphisms of manifolds, we can define the notion of |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
341 |
{\it extended isotopy}. |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
342 |
Let $M$ be an $n$-manifold and $Y \subset \bd M$ be a codimension zero submanifold |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
343 |
of $\bd M$. |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
344 |
Let $x \in \cC(M)$ be a field on $M$ and such that $\bd x$ is cuttable along $\bd Y$. |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
345 |
Let $c$ be $x$ restricted to $Y$. |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
346 |
Let $M \cup (Y\times I)$ denote $M$ glued to $Y\times I$ along $Y$. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
347 |
Then we have the glued field $x \bullet (c\times I)$ on $M \cup (Y\times I)$. |
61
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
348 |
Let $f: M \cup (Y\times I) \to M$ be a collaring homeomorphism. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
349 |
Then we say that $x$ is {\it extended isotopic} to $f(x \bullet (c\times I))$. |
61
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
350 |
More generally, we define extended isotopy to be the equivalence relation on fields |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
351 |
on $M$ generated by isotopy plus all instance of the above construction |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
352 |
(for all appropriate $Y$ and $x$). |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
353 |
|
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
354 |
\nn{should also say something about pseudo-isotopy} |
59
ac5c74fa38d7
most of fields def; still missing last two items;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
58
diff
changeset
|
355 |
|
67 | 356 |
%\bigskip |
357 |
%\hrule |
|
358 |
%\bigskip |
|
359 |
% |
|
360 |
%\input{text/fields.tex} |
|
361 |
% |
|
362 |
% |
|
363 |
%\bigskip |
|
364 |
%\hrule |
|
365 |
%\bigskip |
|
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
366 |
|
8 | 367 |
\nn{note: probably will suppress from notation the distinction |
0 | 368 |
between fields and their (orientation-reversal) duals} |
369 |
||
370 |
\nn{remark that if top dimensional fields are not already linear |
|
371 |
then we will soon linearize them(?)} |
|
372 |
||
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
373 |
We now describe in more detail systems of fields coming from sub-cell-complexes labeled |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
374 |
by $n$-category morphisms. |
0 | 375 |
|
8 | 376 |
Given an $n$-category $C$ with the right sort of duality |
377 |
(e.g. pivotal 2-category, 1-category with duals, star 1-category, disklike $n$-category), |
|
0 | 378 |
we can construct a system of fields as follows. |
379 |
Roughly speaking, $\cC(X)$ will the set of all embedded cell complexes in $X$ |
|
380 |
with codimension $i$ cells labeled by $i$-morphisms of $C$. |
|
381 |
We'll spell this out for $n=1,2$ and then describe the general case. |
|
382 |
||
383 |
If $X$ has boundary, we require that the cell decompositions are in general |
|
384 |
position with respect to the boundary --- the boundary intersects each cell |
|
385 |
transversely, so cells meeting the boundary are mere half-cells. |
|
386 |
||
387 |
Put another way, the cell decompositions we consider are dual to standard cell |
|
388 |
decompositions of $X$. |
|
389 |
||
390 |
We will always assume that our $n$-categories have linear $n$-morphisms. |
|
391 |
||
392 |
For $n=1$, a field on a 0-manifold $P$ is a labeling of each point of $P$ with |
|
393 |
an object (0-morphism) of the 1-category $C$. |
|
394 |
A field on a 1-manifold $S$ consists of |
|
395 |
\begin{itemize} |
|
8 | 396 |
\item A cell decomposition of $S$ (equivalently, a finite collection |
0 | 397 |
of points in the interior of $S$); |
8 | 398 |
\item a labeling of each 1-cell (and each half 1-cell adjacent to $\bd S$) |
0 | 399 |
by an object (0-morphism) of $C$; |
8 | 400 |
\item a transverse orientation of each 0-cell, thought of as a choice of |
0 | 401 |
``domain" and ``range" for the two adjacent 1-cells; and |
8 | 402 |
\item a labeling of each 0-cell by a morphism (1-morphism) of $C$, with |
0 | 403 |
domain and range determined by the transverse orientation and the labelings of the 1-cells. |
404 |
\end{itemize} |
|
405 |
||
406 |
If $C$ is an algebra (i.e. if $C$ has only one 0-morphism) we can ignore the labels |
|
8 | 407 |
of 1-cells, so a field on a 1-manifold $S$ is a finite collection of points in the |
0 | 408 |
interior of $S$, each transversely oriented and each labeled by an element (1-morphism) |
409 |
of the algebra. |
|
410 |
||
4
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
411 |
\medskip |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
412 |
|
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
413 |
For $n=2$, fields are just the sort of pictures based on 2-categories (e.g.\ tensor categories) |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
414 |
that are common in the literature. |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
415 |
We describe these carefully here. |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
416 |
|
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
417 |
A field on a 0-manifold $P$ is a labeling of each point of $P$ with |
0 | 418 |
an object of the 2-category $C$. |
419 |
A field of a 1-manifold is defined as in the $n=1$ case, using the 0- and 1-morphisms of $C$. |
|
420 |
A field on a 2-manifold $Y$ consists of |
|
421 |
\begin{itemize} |
|
8 | 422 |
\item A cell decomposition of $Y$ (equivalently, a graph embedded in $Y$ such |
0 | 423 |
that each component of the complement is homeomorphic to a disk); |
8 | 424 |
\item a labeling of each 2-cell (and each partial 2-cell adjacent to $\bd Y$) |
0 | 425 |
by a 0-morphism of $C$; |
8 | 426 |
\item a transverse orientation of each 1-cell, thought of as a choice of |
0 | 427 |
``domain" and ``range" for the two adjacent 2-cells; |
8 | 428 |
\item a labeling of each 1-cell by a 1-morphism of $C$, with |
429 |
domain and range determined by the transverse orientation of the 1-cell |
|
0 | 430 |
and the labelings of the 2-cells; |
8 | 431 |
\item for each 0-cell, a homeomorphism of the boundary $R$ of a small neighborhood |
0 | 432 |
of the 0-cell to $S^1$ such that the intersections of the 1-cells with $R$ are not mapped |
433 |
to $\pm 1 \in S^1$; and |
|
8 | 434 |
\item a labeling of each 0-cell by a 2-morphism of $C$, with domain and range |
0 | 435 |
determined by the labelings of the 1-cells and the parameterizations of the previous |
436 |
bullet. |
|
437 |
\end{itemize} |
|
438 |
\nn{need to say this better; don't try to fit everything into the bulleted list} |
|
439 |
||
440 |
For general $n$, a field on a $k$-manifold $X^k$ consists of |
|
441 |
\begin{itemize} |
|
8 | 442 |
\item A cell decomposition of $X$; |
443 |
\item an explicit general position homeomorphism from the link of each $j$-cell |
|
0 | 444 |
to the boundary of the standard $(k-j)$-dimensional bihedron; and |
8 | 445 |
\item a labeling of each $j$-cell by a $(k-j)$-dimensional morphism of $C$, with |
0 | 446 |
domain and range determined by the labelings of the link of $j$-cell. |
447 |
\end{itemize} |
|
448 |
||
4
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
449 |
%\nn{next definition might need some work; I think linearity relations should |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
450 |
%be treated differently (segregated) from other local relations, but I'm not sure |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
451 |
%the next definition is the best way to do it} |
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
452 |
|
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
453 |
\medskip |
0 | 454 |
|
8 | 455 |
For top dimensional ($n$-dimensional) manifolds, we're actually interested |
0 | 456 |
in the linearized space of fields. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
457 |
By default, define $\lf(X) = \c[\cC(X)]$; that is, $\lf(X)$ is |
8 | 458 |
the vector space of finite |
0 | 459 |
linear combinations of fields on $X$. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
460 |
If $X$ has boundary, we of course fix a boundary condition: $\lf(X; a) = \c[\cC(X; a)]$. |
0 | 461 |
Thus the restriction (to boundary) maps are well defined because we never |
462 |
take linear combinations of fields with differing boundary conditions. |
|
463 |
||
464 |
In some cases we don't linearize the default way; instead we take the |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
465 |
spaces $\lf(X; a)$ to be part of the data for the system of fields. |
0 | 466 |
In particular, for fields based on linear $n$-category pictures we linearize as follows. |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
467 |
Define $\lf(X; a) = \c[\cC(X; a)]/K$, where $K$ is the space generated by |
0 | 468 |
obvious relations on 0-cell labels. |
8 | 469 |
More specifically, let $L$ be a cell decomposition of $X$ |
0 | 470 |
and let $p$ be a 0-cell of $L$. |
471 |
Let $\alpha_c$ and $\alpha_d$ be two labelings of $L$ which are identical except that |
|
472 |
$\alpha_c$ labels $p$ by $c$ and $\alpha_d$ labels $p$ by $d$. |
|
473 |
Then the subspace $K$ is generated by things of the form |
|
474 |
$\lambda \alpha_c + \alpha_d - \alpha_{\lambda c + d}$, where we leave it to the reader |
|
475 |
to infer the meaning of $\alpha_{\lambda c + d}$. |
|
476 |
Note that we are still assuming that $n$-categories have linear spaces of $n$-morphisms. |
|
477 |
||
8 | 478 |
\nn{Maybe comment further: if there's a natural basis of morphisms, then no need; |
0 | 479 |
will do something similar below; in general, whenever a label lives in a linear |
8 | 480 |
space we do something like this; ? say something about tensor |
0 | 481 |
product of all the linear label spaces? Yes:} |
482 |
||
483 |
For top dimensional ($n$-dimensional) manifolds, we linearize as follows. |
|
484 |
Define an ``almost-field" to be a field without labels on the 0-cells. |
|
485 |
(Recall that 0-cells are labeled by $n$-morphisms.) |
|
486 |
To each unlabeled 0-cell in an almost field there corresponds a (linear) $n$-morphism |
|
487 |
space determined by the labeling of the link of the 0-cell. |
|
488 |
(If the 0-cell were labeled, the label would live in this space.) |
|
489 |
We associate to each almost-labeling the tensor product of these spaces (one for each 0-cell). |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
490 |
We now define $\lf(X; a)$ to be the direct sum over all almost labelings of the |
0 | 491 |
above tensor products. |
492 |
||
493 |
||
494 |
||
495 |
\subsection{Local relations} |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
496 |
\label{sec:local-relations} |
0 | 497 |
|
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
498 |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
499 |
A {\it local relation} is a collection subspaces $U(B; c) \sub \lf(B; c)$, |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
500 |
for all $n$-manifolds $B$ which are |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
501 |
homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
502 |
satisfying the following properties. |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
503 |
\begin{enumerate} |
61
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
504 |
\item functoriality: |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
505 |
$f(U(B; c)) = U(B', f(c))$ for all homeomorphisms $f: B \to B'$ |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
506 |
\item local relations imply extended isotopy: |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
507 |
if $x, y \in \cC(B; c)$ and $x$ is extended isotopic |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
508 |
to $y$, then $x-y \in U(B; c)$. |
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
509 |
\item ideal with respect to gluing: |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
510 |
if $B = B' \cup B''$, $x\in U(B')$, and $c\in \cC(B'')$, then $x\bullet r \in U(B)$ |
60
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
511 |
\end{enumerate} |
46b5c4f3e83c
finished draft of fields definition; begin to work on local relations definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
59
diff
changeset
|
512 |
See \cite{kw:tqft} for details. |
0 | 513 |
|
514 |
||
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
515 |
For maps into spaces, $U(B; c)$ is generated by things of the form $a-b \in \lf(B; c)$, |
0 | 516 |
where $a$ and $b$ are maps (fields) which are homotopic rel boundary. |
517 |
||
61
4093d7979c56
local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
60
diff
changeset
|
518 |
For $n$-category pictures, $U(B; c)$ is equal to the kernel of the evaluation map |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
519 |
$\lf(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into |
0 | 520 |
domain and range. |
521 |
||
522 |
\nn{maybe examples of local relations before general def?} |
|
523 |
||
524 |
Given a system of fields and local relations, we define the skein space |
|
525 |
$A(Y^n; c)$ to be the space of all finite linear combinations of fields on |
|
526 |
the $n$-manifold $Y$ modulo local relations. |
|
527 |
The Hilbert space $Z(Y; c)$ for the TQFT based on the fields and local relations |
|
528 |
is defined to be the dual of $A(Y; c)$. |
|
23
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
529 |
(See \cite{kw:tqft} or xxxx for details.) |
0 | 530 |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
531 |
\nn{should expand above paragraph} |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
532 |
|
0 | 533 |
The blob complex is in some sense the derived version of $A(Y; c)$. |
534 |
||
535 |
||
536 |
||
537 |
\subsection{The blob complex} |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
538 |
\label{sec:blob-definition} |
0 | 539 |
|
540 |
Let $X$ be an $n$-manifold. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
541 |
Assume a fixed system of fields and local relations. |
0 | 542 |
In this section we will usually suppress boundary conditions on $X$ from the notation |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
543 |
(e.g. write $\lf(X)$ instead of $\lf(X; c)$). |
0 | 544 |
|
8 | 545 |
We only consider compact manifolds, so if $Y \sub X$ is a closed codimension 0 |
0 | 546 |
submanifold of $X$, then $X \setmin Y$ implicitly means the closure |
547 |
$\overline{X \setmin Y}$. |
|
548 |
||
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
549 |
We will define $\bc_0(X)$, $\bc_1(X)$ and $\bc_2(X)$, then give the general case $\bc_k(X)$. |
0 | 550 |
|
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
551 |
Define $\bc_0(X) = \lf(X)$. |
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
552 |
(If $X$ has nonempty boundary, instead define $\bc_0(X; c) = \lf(X; c)$. |
0 | 553 |
We'll omit this sort of detail in the rest of this section.) |
554 |
In other words, $\bc_0(X)$ is just the space of all linearized fields on $X$. |
|
555 |
||
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
556 |
$\bc_1(X)$ is, roughly, the space of all local relations that can be imposed on $\bc_0(X)$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
557 |
Less roughly (but still not the official definition), $\bc_1(X)$ is finite linear |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
558 |
combinations of 1-blob diagrams, where a 1-blob diagram to consists of |
0 | 559 |
\begin{itemize} |
560 |
\item An embedded closed ball (``blob") $B \sub X$. |
|
561 |
\item A field $r \in \cC(X \setmin B; c)$ |
|
562 |
(for some $c \in \cC(\bd B) = \cC(\bd(X \setmin B))$). |
|
563 |
\item A local relation field $u \in U(B; c)$ |
|
564 |
(same $c$ as previous bullet). |
|
565 |
\end{itemize} |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
566 |
In order to get the linear structure correct, we (officially) define |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
567 |
\[ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
568 |
\bc_1(X) \deq \bigoplus_B \bigoplus_c U(B; c) \otimes \lf(X \setmin B; c) . |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
569 |
\] |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
570 |
The first direct sum is indexed by all blobs $B\subset X$, and the second |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
571 |
by all boundary conditions $c \in \cC(\bd B)$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
572 |
Note that $\bc_1(X)$ is spanned by 1-blob diagrams $(B, u, r)$. |
0 | 573 |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
574 |
Define the boundary map $\bd : \bc_1(X) \to \bc_0(X)$ by |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
575 |
\[ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
576 |
(B, u, r) \mapsto u\bullet r, |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
577 |
\] |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
578 |
where $u\bullet r$ denotes the linear |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
579 |
combination of fields on $X$ obtained by gluing $u$ to $r$. |
8 | 580 |
In other words $\bd : \bc_1(X) \to \bc_0(X)$ is given by |
0 | 581 |
just erasing the blob from the picture |
582 |
(but keeping the blob label $u$). |
|
583 |
||
4
8599e156a169
misc. edit, nothing major
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
3
diff
changeset
|
584 |
Note that the skein space $A(X)$ |
0 | 585 |
is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$. |
586 |
||
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
587 |
$\bc_2(X)$ is, roughly, the space of all relations (redundancies) among the |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
588 |
local relations encoded in $\bc_1(X)$. |
8 | 589 |
More specifically, $\bc_2(X)$ is the space of all finite linear combinations of |
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
590 |
2-blob diagrams, of which there are two types, disjoint and nested. |
0 | 591 |
|
592 |
A disjoint 2-blob diagram consists of |
|
593 |
\begin{itemize} |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
594 |
\item A pair of closed balls (blobs) $B_0, B_1 \sub X$ with disjoint interiors. |
0 | 595 |
\item A field $r \in \cC(X \setmin (B_0 \cup B_1); c_0, c_1)$ |
596 |
(where $c_i \in \cC(\bd B_i)$). |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
597 |
\item Local relation fields $u_i \in U(B_i; c_i)$, $i=1,2$. |
0 | 598 |
\end{itemize} |
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
599 |
We also identify $(B_0, B_1, u_0, u_1, r)$ with $-(B_1, B_0, u_1, u_0, r)$; |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
600 |
reversing the order of the blobs changes the sign. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
601 |
Define $\bd(B_0, B_1, u_0, u_1, r) = |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
602 |
(B_1, u_1, u_0\bullet r) - (B_0, u_0, u_1\bullet r) \in \bc_1(X)$. |
0 | 603 |
In other words, the boundary of a disjoint 2-blob diagram |
604 |
is the sum (with alternating signs) |
|
605 |
of the two ways of erasing one of the blobs. |
|
606 |
It's easy to check that $\bd^2 = 0$. |
|
607 |
||
608 |
A nested 2-blob diagram consists of |
|
609 |
\begin{itemize} |
|
610 |
\item A pair of nested balls (blobs) $B_0 \sub B_1 \sub X$. |
|
611 |
\item A field $r \in \cC(X \setmin B_0; c_0)$ |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
612 |
(for some $c_0 \in \cC(\bd B_0)$), which is cuttable along $\bd B_1$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
613 |
\item A local relation field $u_0 \in U(B_0; c_0)$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
614 |
\end{itemize} |
62
fdb1cd651fd2
various small edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
61
diff
changeset
|
615 |
Let $r = r_1 \bullet r'$, where $r_1 \in \cC(B_1 \setmin B_0; c_0, c_1)$ |
0 | 616 |
(for some $c_1 \in \cC(B_1)$) and |
617 |
$r' \in \cC(X \setmin B_1; c_1)$. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
618 |
Define $\bd(B_0, B_1, u_0, r) = (B_1, u_0\bullet r_1, r') - (B_0, u_0, r)$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
619 |
Note that the requirement that |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
620 |
local relations are an ideal with respect to gluing guarantees that $u_0\bullet r_1 \in U(B_1)$. |
0 | 621 |
As in the disjoint 2-blob case, the boundary of a nested 2-blob is the alternating |
622 |
sum of the two ways of erasing one of the blobs. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
623 |
If we erase the inner blob, the outer blob inherits the label $u_0\bullet r_1$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
624 |
It is again easy to check that $\bd^2 = 0$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
625 |
|
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
626 |
\nn{should draw figures for 1, 2 and $k$-blob diagrams} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
627 |
|
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
628 |
As with the 1-blob diagrams, in order to get the linear structure correct it is better to define |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
629 |
(officially) |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
630 |
\begin{eqnarray*} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
631 |
\bc_2(X) & \deq & |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
632 |
\left( |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
633 |
\bigoplus_{B_0, B_1 \text{disjoint}} \bigoplus_{c_0, c_1} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
634 |
U(B_0; c_0) \otimes U(B_1; c_1) \otimes \lf(X\setmin (B_0\cup B_1); c_0, c_1) |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
635 |
\right) \\ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
636 |
&& \bigoplus \left( |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
637 |
\bigoplus_{B_0 \subset B_1} \bigoplus_{c_0} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
638 |
U(B_0; c_0) \otimes \lf(X\setmin B_0; c_0) |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
639 |
\right) . |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
640 |
\end{eqnarray*} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
641 |
The final $\lf(X\setmin B_0; c_0)$ above really means fields cuttable along $\bd B_1$, |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
642 |
but we didn't feel like introducing a notation for that. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
643 |
For the disjoint blobs, reversing the ordering of $B_0$ and $B_1$ introduces a minus sign |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
644 |
(rather than a new, linearly independent 2-blob diagram). |
0 | 645 |
|
646 |
Now for the general case. |
|
647 |
A $k$-blob diagram consists of |
|
648 |
\begin{itemize} |
|
649 |
\item A collection of blobs $B_i \sub X$, $i = 0, \ldots, k-1$. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
650 |
For each $i$ and $j$, we require that either $B_i$ and $B_j$have disjoint interiors or |
0 | 651 |
$B_i \sub B_j$ or $B_j \sub B_i$. |
652 |
(The case $B_i = B_j$ is allowed. |
|
653 |
If $B_i \sub B_j$ the boundaries of $B_i$ and $B_j$ are allowed to intersect.) |
|
654 |
If a blob has no other blobs strictly contained in it, we call it a twig blob. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
655 |
\item Fields (boundary conditions) $c_i \in \cC(\bd B_i)$. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
656 |
(These are implied by the data in the next bullets, so we usually |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
657 |
suppress them from the notation.) |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
658 |
$c_i$ and $c_j$ must have identical restrictions to $\bd B_i \cap \bd B_j$ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
659 |
if the latter space is not empty. |
0 | 660 |
\item A field $r \in \cC(X \setmin B^t; c^t)$, |
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
661 |
where $B^t$ is the union of all the twig blobs and $c^t \in \cC(\bd B^t)$ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
662 |
is determined by the $c_i$'s. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
663 |
$r$ is required to be cuttable along the boundaries of all blobs, twigs or not. |
0 | 664 |
\item For each twig blob $B_j$ a local relation field $u_j \in U(B_j; c_j)$, |
665 |
where $c_j$ is the restriction of $c^t$ to $\bd B_j$. |
|
666 |
If $B_i = B_j$ then $u_i = u_j$. |
|
667 |
\end{itemize} |
|
668 |
||
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
669 |
If two blob diagrams $D_1$ and $D_2$ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
670 |
differ only by a reordering of the blobs, then we identify |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
671 |
$D_1 = \pm D_2$, where the sign is the sign of the permutation relating $D_1$ and $D_2$. |
0 | 672 |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
673 |
$\bc_k(X)$ is, roughly, all finite linear combinations of $k$-blob diagrams. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
674 |
As before, the official definition is in terms of direct sums |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
675 |
of tensor products: |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
676 |
\[ |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
677 |
\bc_k(X) \deq \bigoplus_{\overline{B}} \bigoplus_{\overline{c}} |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
678 |
\left( \otimes_j U(B_j; c_j)\right) \otimes \lf(X \setmin B^t; c^t) . |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
679 |
\] |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
680 |
Here $\overline{B}$ runs over all configurations of blobs, satisfying the conditions above. |
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
681 |
$\overline{c}$ runs over all boundary conditions, again as described above. |
67 | 682 |
$j$ runs over all indices of twig blobs. The final $\lf(X \setmin B^t; c^t)$ must be interpreted as fields which are cuttable along all of the blobs in $\overline{B}$. |
0 | 683 |
|
684 |
The boundary map $\bd : \bc_k(X) \to \bc_{k-1}(X)$ is defined as follows. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
685 |
Let $b = (\{B_i\}, \{u_j\}, r)$ be a $k$-blob diagram. |
0 | 686 |
Let $E_j(b)$ denote the result of erasing the $j$-th blob. |
687 |
If $B_j$ is not a twig blob, this involves only decrementing |
|
688 |
the indices of blobs $B_{j+1},\ldots,B_{k-1}$. |
|
689 |
If $B_j$ is a twig blob, we have to assign new local relation labels |
|
690 |
if removing $B_j$ creates new twig blobs. |
|
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
691 |
If $B_l$ becomes a twig after removing $B_j$, then set $u_l = u_j\bullet r_l$, |
0 | 692 |
where $r_l$ is the restriction of $r$ to $B_l \setmin B_j$. |
693 |
Finally, define |
|
694 |
\eq{ |
|
8 | 695 |
\bd(b) = \sum_{j=0}^{k-1} (-1)^j E_j(b). |
0 | 696 |
} |
697 |
The $(-1)^j$ factors imply that the terms of $\bd^2(b)$ all cancel. |
|
698 |
Thus we have a chain complex. |
|
699 |
||
700 |
\nn{?? say something about the ``shape" of tree? (incl = cone, disj = product)} |
|
701 |
||
63
71b4e45f47f6
reworked blob complex definition
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
62
diff
changeset
|
702 |
\nn{?? remark about dendroidal sets} |
0 | 703 |
|
704 |
||
705 |
||
706 |
\section{Basic properties of the blob complex} |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
707 |
\label{sec:basic-properties} |
0 | 708 |
|
709 |
\begin{prop} \label{disjunion} |
|
710 |
There is a natural isomorphism $\bc_*(X \du Y) \cong \bc_*(X) \otimes \bc_*(Y)$. |
|
711 |
\end{prop} |
|
712 |
\begin{proof} |
|
713 |
Given blob diagrams $b_1$ on $X$ and $b_2$ on $Y$, we can combine them |
|
8 | 714 |
(putting the $b_1$ blobs before the $b_2$ blobs in the ordering) to get a |
0 | 715 |
blob diagram $(b_1, b_2)$ on $X \du Y$. |
716 |
Because of the blob reordering relations, all blob diagrams on $X \du Y$ arise this way. |
|
717 |
In the other direction, any blob diagram on $X\du Y$ is equal (up to sign) |
|
718 |
to one that puts $X$ blobs before $Y$ blobs in the ordering, and so determines |
|
719 |
a pair of blob diagrams on $X$ and $Y$. |
|
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
720 |
These two maps are compatible with our sign conventions. |
0 | 721 |
The two maps are inverses of each other. |
722 |
\nn{should probably say something about sign conventions for the differential |
|
723 |
in a tensor product of chain complexes; ask Scott} |
|
724 |
\end{proof} |
|
725 |
||
726 |
For the next proposition we will temporarily restore $n$-manifold boundary |
|
727 |
conditions to the notation. |
|
728 |
||
8 | 729 |
Suppose that for all $c \in \cC(\bd B^n)$ |
730 |
we have a splitting $s: H_0(\bc_*(B^n, c)) \to \bc_0(B^n; c)$ |
|
0 | 731 |
of the quotient map |
732 |
$p: \bc_0(B^n; c) \to H_0(\bc_*(B^n, c))$. |
|
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
733 |
For example, this is always the case if you coefficient ring is a field. |
0 | 734 |
Then |
735 |
\begin{prop} \label{bcontract} |
|
736 |
For all $c \in \cC(\bd B^n)$ the natural map $p: \bc_*(B^n, c) \to H_0(\bc_*(B^n, c))$ |
|
737 |
is a chain homotopy equivalence |
|
738 |
with inverse $s: H_0(\bc_*(B^n, c)) \to \bc_*(B^n; c)$. |
|
739 |
Here we think of $H_0(\bc_*(B^n, c))$ as a 1-step complex concentrated in degree 0. |
|
740 |
\end{prop} |
|
741 |
\begin{proof} |
|
742 |
By assumption $p\circ s = \id$, so all that remains is to find a degree 1 map |
|
743 |
$h : \bc_*(B^n; c) \to \bc_*(B^n; c)$ such that $\bd h + h\bd = \id - s \circ p$. |
|
744 |
For $i \ge 1$, define $h_i : \bc_i(B^n; c) \to \bc_{i+1}(B^n; c)$ by adding |
|
745 |
an $(i{+}1)$-st blob equal to all of $B^n$. |
|
746 |
In other words, add a new outermost blob which encloses all of the others. |
|
747 |
Define $h_0 : \bc_0(B^n; c) \to \bc_1(B^n; c)$ by setting $h_0(x)$ equal to |
|
748 |
the 1-blob with blob $B^n$ and label $x - s(p(x)) \in U(B^n; c)$. |
|
749 |
\end{proof} |
|
750 |
||
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
751 |
Note that if there is no splitting $s$, we can let $h_0 = 0$ and get a homotopy |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
752 |
equivalence to the 2-step complex $U(B^n; c) \to \cC(B^n; c)$. |
0 | 753 |
|
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
754 |
For fields based on $n$-categories, $H_0(\bc_*(B^n; c)) \cong \mor(c', c'')$, |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
755 |
where $(c', c'')$ is some (any) splitting of $c$ into domain and range. |
0 | 756 |
|
757 |
\medskip |
|
758 |
||
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
759 |
\nn{Maybe there is no longer a need to repeat the next couple of props here, since we also state them in the introduction. |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
760 |
But I think it's worth saying that the Diff actions will be enhanced later. |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
761 |
Maybe put that in the intro too.} |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
762 |
|
0 | 763 |
As we noted above, |
764 |
\begin{prop} |
|
765 |
There is a natural isomorphism $H_0(\bc_*(X)) \cong A(X)$. |
|
766 |
\qed |
|
767 |
\end{prop} |
|
768 |
||
769 |
||
770 |
\begin{prop} |
|
771 |
For fixed fields ($n$-cat), $\bc_*$ is a functor from the category |
|
8 | 772 |
of $n$-manifolds and diffeomorphisms to the category of chain complexes and |
0 | 773 |
(chain map) isomorphisms. |
774 |
\qed |
|
775 |
\end{prop} |
|
776 |
||
777 |
In particular, |
|
778 |
\begin{prop} \label{diff0prop} |
|
779 |
There is an action of $\Diff(X)$ on $\bc_*(X)$. |
|
780 |
\qed |
|
781 |
\end{prop} |
|
782 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
783 |
The above will be greatly strengthened in Section \ref{sec:evaluation}. |
0 | 784 |
|
785 |
\medskip |
|
786 |
||
787 |
For the next proposition we will temporarily restore $n$-manifold boundary |
|
788 |
conditions to the notation. |
|
789 |
||
790 |
Let $X$ be an $n$-manifold, $\bd X = Y \cup (-Y) \cup Z$. |
|
791 |
Gluing the two copies of $Y$ together yields an $n$-manifold $X\sgl$ |
|
792 |
with boundary $Z\sgl$. |
|
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
793 |
Given compatible fields (boundary conditions) $a$, $b$ and $c$ on $Y$, $-Y$ and $Z$, |
0 | 794 |
we have the blob complex $\bc_*(X; a, b, c)$. |
795 |
If $b = -a$ (the orientation reversal of $a$), then we can glue up blob diagrams on |
|
796 |
$X$ to get blob diagrams on $X\sgl$: |
|
797 |
||
798 |
\begin{prop} |
|
799 |
There is a natural chain map |
|
800 |
\eq{ |
|
8 | 801 |
\gl: \bigoplus_a \bc_*(X; a, -a, c) \to \bc_*(X\sgl; c\sgl). |
0 | 802 |
} |
8 | 803 |
The sum is over all fields $a$ on $Y$ compatible at their |
0 | 804 |
($n{-}2$-dimensional) boundaries with $c$. |
805 |
`Natural' means natural with respect to the actions of diffeomorphisms. |
|
806 |
\qed |
|
807 |
\end{prop} |
|
808 |
||
809 |
The above map is very far from being an isomorphism, even on homology. |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
810 |
This will be fixed in Section \ref{sec:gluing} below. |
0 | 811 |
|
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
812 |
\nn{Next para not need, since we already use bullet = gluing notation above(?)} |
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
813 |
|
0 | 814 |
An instance of gluing we will encounter frequently below is where $X = X_1 \du X_2$ |
815 |
and $X\sgl = X_1 \cup_Y X_2$. |
|
816 |
(Typically one of $X_1$ or $X_2$ is a disjoint union of balls.) |
|
817 |
For $x_i \in \bc_*(X_i)$, we introduce the notation |
|
818 |
\eq{ |
|
8 | 819 |
x_1 \bullet x_2 \deq \gl(x_1 \otimes x_2) . |
0 | 820 |
} |
821 |
Note that we have resumed our habit of omitting boundary labels from the notation. |
|
822 |
||
823 |
||
824 |
||
65
15a79fb469e1
edits for "basic properties" section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
63
diff
changeset
|
825 |
|
0 | 826 |
|
15
7340ab80db25
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
13
diff
changeset
|
827 |
\section{Hochschild homology when $n=1$} |
7340ab80db25
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
13
diff
changeset
|
828 |
\label{sec:hochschild} |
7340ab80db25
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
13
diff
changeset
|
829 |
\input{text/hochschild} |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
830 |
|
70 | 831 |
|
832 |
||
833 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
834 |
\section{Action of $\CD{X}$} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
835 |
\label{sec:evaluation} |
70 | 836 |
\input{text/evmap} |
69 | 837 |
|
838 |
||
70 | 839 |
|
840 |
||
18
aac9fd8d6bc6
finished with evaluation map stuff for now.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
17
diff
changeset
|
841 |
|
55 | 842 |
\input{text/A-infty.tex} |
34 | 843 |
|
55 | 844 |
\input{text/gluing.tex} |
51
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
845 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
846 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
847 |
|
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
848 |
\section{Commutative algebras as $n$-categories} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
849 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
850 |
\nn{this should probably not be a section by itself. i'm just trying to write down the outline |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
851 |
while it's still fresh in my mind.} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
852 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
853 |
If $C$ is a commutative algebra it |
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
854 |
can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
855 |
$j<n$ and whose $n$-morphisms are $C$. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
856 |
The goal of this \nn{subsection?} is to compute |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
857 |
$\bc_*(M^n, C)$ for various commutative algebras $C$. |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
858 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
859 |
Let $k[t]$ denote the ring of polynomials in $t$ with coefficients in $k$. |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
860 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
861 |
Let $\Sigma^i(M)$ denote the $i$-th symmetric power of $M$, the configuration space of $i$ |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
862 |
unlabeled points in $M$. |
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
863 |
Note that $\Sigma^0(M)$ is a point. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
864 |
Let $\Sigma^\infty(M) = \coprod_{i=0}^\infty \Sigma^i(M)$. |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
865 |
|
49 | 866 |
Let $C_*(X, k)$ denote the singular chain complex of the space $X$ with coefficients in $k$. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
867 |
|
51
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
868 |
\begin{prop} \label{sympowerprop} |
52 | 869 |
$\bc_*(M, k[t])$ is homotopy equivalent to $C_*(\Sigma^\infty(M), k)$. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
870 |
\end{prop} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
871 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
872 |
\begin{proof} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
873 |
To define the chain maps between the two complexes we will use the following lemma: |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
874 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
875 |
\begin{lemma} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
876 |
Let $A_*$ and $B_*$ be chain complexes, and assume $A_*$ is equipped with |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
877 |
a basis (e.g.\ blob diagrams or singular simplices). |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
878 |
For each basis element $c \in A_*$ assume given a contractible subcomplex $R(c)_* \sub B_*$ |
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
879 |
such that $R(c')_* \sub R(c)_*$ whenever $c'$ is a basis element which is part of $\bd c$. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
880 |
Then the complex of chain maps (and (iterated) homotopies) $f:A_*\to B_*$ such that |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
881 |
$f(c) \in R(c)_*$ for all $c$ is contractible (and in particular non-empty). |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
882 |
\end{lemma} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
883 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
884 |
\begin{proof} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
885 |
\nn{easy, but should probably write the details eventually} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
886 |
\end{proof} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
887 |
|
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
888 |
Our first task: For each blob diagram $b$ define a subcomplex $R(b)_* \sub C_*(\Sigma^\infty(M))$ |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
889 |
satisfying the conditions of the above lemma. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
890 |
If $b$ is a 0-blob diagram, then it is just a $k[t]$ field on $M$, which is a |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
891 |
finite unordered collection of points of $M$ with multiplicities, which is |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
892 |
a point in $\Sigma^\infty(M)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
893 |
Define $R(b)_*$ to be the singular chain complex of this point. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
894 |
If $(B, u, r)$ is an $i$-blob diagram, let $D\sub M$ be its support (the union of the blobs). |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
895 |
The path components of $\Sigma^\infty(D)$ are contractible, and these components are indexed |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
896 |
by the numbers of points in each component of $D$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
897 |
We may assume that the blob labels $u$ have homogeneous $t$ degree in $k[t]$, and so |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
898 |
$u$ picks out a component $X \sub \Sigma^\infty(D)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
899 |
The field $r$ on $M\setminus D$ can be thought of as a point in $\Sigma^\infty(M\setminus D)$, |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
900 |
and using this point we can embed $X$ in $\Sigma^\infty(M)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
901 |
Define $R(B, u, r)_*$ to be the singular chain complex of $X$, thought of as a |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
902 |
subspace of $\Sigma^\infty(M)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
903 |
It is easy to see that $R(\cdot)_*$ satisfies the condition on boundaries from the above lemma. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
904 |
Thus we have defined (up to homotopy) a map from |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
905 |
$\bc_*(M^n, k[t])$ to $C_*(\Sigma^\infty(M))$. |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
906 |
|
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
907 |
Next we define, for each simplex $c$ of $C_*(\Sigma^\infty(M))$, a contractible subspace |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
908 |
$R(c)_* \sub \bc_*(M^n, k[t])$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
909 |
If $c$ is a 0-simplex we use the identification of the fields $\cC(M)$ and |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
910 |
$\Sigma^\infty(M)$ described above. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
911 |
Now let $c$ be an $i$-simplex of $\Sigma^j(M)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
912 |
Choose a metric on $M$, which induces a metric on $\Sigma^j(M)$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
913 |
We may assume that the diameter of $c$ is small --- that is, $C_*(\Sigma^j(M))$ |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
914 |
is homotopy equivalent to the subcomplex of small simplices. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
915 |
How small? $(2r)/3j$, where $r$ is the radius of injectivity of the metric. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
916 |
Let $T\sub M$ be the ``track" of $c$ in $M$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
917 |
\nn{do we need to define this precisely?} |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
918 |
Choose a neighborhood $D$ of $T$ which is a disjoint union of balls of small diameter. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
919 |
\nn{need to say more precisely how small} |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
920 |
Define $R(c)_*$ to be $\bc_*(D, k[t]) \sub \bc_*(M^n, k[t])$. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
921 |
This is contractible by \ref{bcontract}. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
922 |
We can arrange that the boundary/inclusion condition is satisfied if we start with |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
923 |
low-dimensional simplices and work our way up. |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
924 |
\nn{need to be more precise} |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
925 |
|
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
926 |
\nn{still to do: show indep of choice of metric; show compositions are homotopic to the identity |
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
47
diff
changeset
|
927 |
(for this, might need a lemma that says we can assume that blob diameters are small)} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
928 |
\end{proof} |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
929 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
930 |
|
50 | 931 |
\begin{prop} \label{ktcdprop} |
49 | 932 |
The above maps are compatible with the evaluation map actions of $C_*(\Diff(M))$. |
933 |
\end{prop} |
|
934 |
||
935 |
\begin{proof} |
|
936 |
The actions agree in degree 0, and both are compatible with gluing. |
|
937 |
(cf. uniqueness statement in \ref{CDprop}.) |
|
938 |
\end{proof} |
|
939 |
||
940 |
\medskip |
|
941 |
||
942 |
In view of \ref{hochthm}, we have proved that $HH_*(k[t]) \cong C_*(\Sigma^\infty(S^1), k)$, |
|
943 |
and that the cyclic homology of $k[t]$ is related to the action of rotations |
|
944 |
on $C_*(\Sigma^\infty(S^1), k)$. |
|
945 |
\nn{probably should put a more precise statement about cyclic homology and $S^1$ actions in the Hochschild section} |
|
946 |
Let us check this directly. |
|
947 |
||
50 | 948 |
According to \nn{Loday, 3.2.2}, $HH_i(k[t]) \cong k[t]$ for $i=0,1$ and is zero for $i\ge 2$. |
949 |
\nn{say something about $t$-degree? is this in [Loday]?} |
|
950 |
||
49 | 951 |
We can define a flow on $\Sigma^j(S^1)$ by having the points repel each other. |
952 |
The fixed points of this flow are the equally spaced configurations. |
|
50 | 953 |
This defines a map from $\Sigma^j(S^1)$ to $S^1/j$ ($S^1$ modulo a $2\pi/j$ rotation). |
49 | 954 |
The fiber of this map is $\Delta^{j-1}$, the $(j-1)$-simplex, |
955 |
and the holonomy of the $\Delta^{j-1}$ bundle |
|
50 | 956 |
over $S^1/j$ is induced by the cyclic permutation of its $j$ vertices. |
957 |
||
958 |
In particular, $\Sigma^j(S^1)$ is homotopy equivalent to a circle for $j>0$, and |
|
959 |
of course $\Sigma^0(S^1)$ is a point. |
|
960 |
Thus the singular homology $H_i(\Sigma^\infty(S^1))$ has infinitely many generators for $i=0,1$ |
|
961 |
and is zero for $i\ge 2$. |
|
962 |
\nn{say something about $t$-degrees also matching up?} |
|
963 |
||
964 |
By xxxx and \ref{ktcdprop}, |
|
965 |
the cyclic homology of $k[t]$ is the $S^1$-equivariant homology of $\Sigma^\infty(S^1)$. |
|
966 |
Up to homotopy, $S^1$ acts by $j$-fold rotation on $\Sigma^j(S^1) \simeq S^1/j$. |
|
51
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
967 |
If $k = \z$, $\Sigma^j(S^1)$ contributes the homology of an infinite lens space: $\z$ in degree |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
968 |
0, $\z/j \z$ in odd degrees, and 0 in positive even degrees. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
969 |
The point $\Sigma^0(S^1)$ contributes the homology of $BS^1$ which is $\z$ in even |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
970 |
degrees and 0 in odd degrees. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
971 |
This agrees with the calculation in \nn{Loday, 3.1.7}. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
972 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
973 |
\medskip |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
974 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
975 |
Next we consider the case $C = k[t_1, \ldots, t_m]$, commutative polynomials in $m$ variables. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
976 |
Let $\Sigma_m^\infty(M)$ be the $m$-colored infinite symmetric power of $M$, that is, configurations |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
977 |
of points on $M$ which can have any of $m$ distinct colors but are otherwise indistinguishable. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
978 |
The components of $\Sigma_m^\infty(M)$ are indexed by $m$-tuples of natural numbers |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
979 |
corresponding to the number of points of each color of a configuration. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
980 |
A proof similar to that of \ref{sympowerprop} shows that |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
981 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
982 |
\begin{prop} |
52 | 983 |
$\bc_*(M, k[t_1, \ldots, t_m])$ is homotopy equivalent to $C_*(\Sigma_m^\infty(M), k)$. |
51
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
984 |
\end{prop} |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
985 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
986 |
According to \nn{Loday, 3.2.2}, |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
987 |
\[ |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
988 |
HH_n(k[t_1, \ldots, t_m]) \cong \Lambda^n(k^m) \otimes k[t_1, \ldots, t_m] . |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
989 |
\] |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
990 |
Let us check that this is also the singular homology of $\Sigma_m^\infty(S^1)$. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
991 |
We will content ourselves with the case $k = \z$. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
992 |
One can define a flow on $\Sigma_m^\infty(S^1)$ where points of the same color repel each other and points of different colors do not interact. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
993 |
This shows that a component $X$ of $\Sigma_m^\infty(S^1)$ is homotopy equivalent |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
994 |
to the torus $(S^1)^l$, where $l$ is the number of non-zero entries in the $m$-tuple |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
995 |
corresponding to $X$. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
996 |
The homology calculation we desire follows easily from this. |
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
997 |
|
195a0a91e062
continuing to write up commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
50
diff
changeset
|
998 |
\nn{say something about cyclic homology in this case? probably not necessary.} |
49 | 999 |
|
52 | 1000 |
\medskip |
49 | 1001 |
|
52 | 1002 |
Next we consider the case $C = k[t]/t^l$ --- polynomials in $t$ with $t^l = 0$. |
1003 |
Define $\Delta_l \sub \Sigma^\infty(M)$ to be those configurations of points with $l$ or |
|
1004 |
more points coinciding. |
|
49 | 1005 |
|
52 | 1006 |
\begin{prop} |
1007 |
$\bc_*(M, k[t]/t^l)$ is homotopy equivalent to $C_*(\Sigma^\infty(M), \Delta_l, k)$ |
|
1008 |
(relative singular chains with coefficients in $k$). |
|
1009 |
\end{prop} |
|
49 | 1010 |
|
52 | 1011 |
\begin{proof} |
1012 |
\nn{...} |
|
1013 |
\end{proof} |
|
49 | 1014 |
|
1015 |
\nn{...} |
|
1016 |
||
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
1017 |
|
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
1018 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1019 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1020 |
\appendix |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1021 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1022 |
\section{Families of Diffeomorphisms} \label{sec:localising} |
0 | 1023 |
|
1024 |
||
1025 |
Lo, the proof of Lemma (\ref{extension_lemma}): |
|
1026 |
||
1027 |
\nn{should this be an appendix instead?} |
|
1028 |
||
1029 |
\nn{for pedagogical reasons, should do $k=1,2$ cases first; probably do this in |
|
1030 |
later draft} |
|
1031 |
||
1032 |
\nn{not sure what the best way to deal with boundary is; for now just give main argument, worry |
|
1033 |
about boundary later} |
|
1034 |
||
8 | 1035 |
Recall that we are given |
0 | 1036 |
an open cover $\cU = \{U_\alpha\}$ and an |
1037 |
$x \in CD_k(X)$ such that $\bd x$ is adapted to $\cU$. |
|
1038 |
We must find a homotopy of $x$ (rel boundary) to some $x' \in CD_k(X)$ which is adapted to $\cU$. |
|
1039 |
||
1040 |
Let $\{r_\alpha : X \to [0,1]\}$ be a partition of unity for $\cU$. |
|
1041 |
||
1042 |
As a first approximation to the argument we will eventually make, let's replace $x$ |
|
8 | 1043 |
with a single singular cell |
0 | 1044 |
\eq{ |
8 | 1045 |
f: P \times X \to X . |
0 | 1046 |
} |
1047 |
Also, we'll ignore for now issues around $\bd P$. |
|
1048 |
||
1049 |
Our homotopy will have the form |
|
1050 |
\eqar{ |
|
8 | 1051 |
F: I \times P \times X &\to& X \\ |
1052 |
(t, p, x) &\mapsto& f(u(t, p, x), x) |
|
0 | 1053 |
} |
1054 |
for some function |
|
1055 |
\eq{ |
|
8 | 1056 |
u : I \times P \times X \to P . |
0 | 1057 |
} |
1058 |
First we describe $u$, then we argue that it does what we want it to do. |
|
1059 |
||
1060 |
For each cover index $\alpha$ choose a cell decomposition $K_\alpha$ of $P$. |
|
1061 |
The various $K_\alpha$ should be in general position with respect to each other. |
|
1062 |
We will see below that the $K_\alpha$'s need to be sufficiently fine in order |
|
1063 |
to insure that $F$ above is a homotopy through diffeomorphisms of $X$ and not |
|
1064 |
merely a homotopy through maps $X\to X$. |
|
1065 |
||
1066 |
Let $L$ be the union of all the $K_\alpha$'s. |
|
1067 |
$L$ is itself a cell decomposition of $P$. |
|
1068 |
\nn{next two sentences not needed?} |
|
1069 |
To each cell $a$ of $L$ we associate the tuple $(c_\alpha)$, |
|
1070 |
where $c_\alpha$ is the codimension of the cell of $K_\alpha$ which contains $c$. |
|
1071 |
Since the $K_\alpha$'s are in general position, we have $\sum c_\alpha \le k$. |
|
1072 |
||
1073 |
Let $J$ denote the handle decomposition of $P$ corresponding to $L$. |
|
1074 |
Each $i$-handle $C$ of $J$ has an $i$-dimensional tangential coordinate and, |
|
1075 |
more importantly, a $k{-}i$-dimensional normal coordinate. |
|
1076 |
||
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1077 |
For each (top-dimensional) $k$-cell $c$ of each $K_\alpha$, choose a point $p_c \in c \sub P$. |
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1078 |
Let $D$ be a $k$-handle of $J$, and let $D$ also denote the corresponding |
0 | 1079 |
$k$-cell of $L$. |
1080 |
To $D$ we associate the tuple $(c_\alpha)$ of $k$-cells of the $K_\alpha$'s |
|
1081 |
which contain $d$, and also the corresponding tuple $(p_{c_\alpha})$ of points in $P$. |
|
1082 |
||
1083 |
For $p \in D$ we define |
|
1084 |
\eq{ |
|
8 | 1085 |
u(t, p, x) = (1-t)p + t \sum_\alpha r_\alpha(x) p_{c_\alpha} . |
0 | 1086 |
} |
1087 |
(Recall that $P$ is a single linear cell, so the weighted average of points of $P$ |
|
1088 |
makes sense.) |
|
1089 |
||
1090 |
So far we have defined $u(t, p, x)$ when $p$ lies in a $k$-handle of $J$. |
|
8 | 1091 |
For handles of $J$ of index less than $k$, we will define $u$ to |
0 | 1092 |
interpolate between the values on $k$-handles defined above. |
1093 |
||
8 | 1094 |
If $p$ lies in a $k{-}1$-handle $E$, let $\eta : E \to [0,1]$ be the normal coordinate |
0 | 1095 |
of $E$. |
1096 |
In particular, $\eta$ is equal to 0 or 1 only at the intersection of $E$ |
|
1097 |
with a $k$-handle. |
|
1098 |
Let $\beta$ be the index of the $K_\beta$ containing the $k{-}1$-cell |
|
1099 |
corresponding to $E$. |
|
1100 |
Let $q_0, q_1 \in P$ be the points associated to the two $k$-cells of $K_\beta$ |
|
1101 |
adjacent to the $k{-}1$-cell corresponding to $E$. |
|
1102 |
For $p \in E$, define |
|
1103 |
\eq{ |
|
8 | 1104 |
u(t, p, x) = (1-t)p + t \left( \sum_{\alpha \ne \beta} r_\alpha(x) p_{c_\alpha} |
1105 |
+ r_\beta(x) (\eta(p) q_1 + (1-\eta(p)) q_0) \right) . |
|
0 | 1106 |
} |
1107 |
||
1108 |
In general, for $E$ a $k{-}j$-handle, there is a normal coordinate |
|
1109 |
$\eta: E \to R$, where $R$ is some $j$-dimensional polyhedron. |
|
1110 |
The vertices of $R$ are associated to $k$-cells of the $K_\alpha$, and thence to points of $P$. |
|
1111 |
If we triangulate $R$ (without introducing new vertices), we can linearly extend |
|
1
8174b33dda66
just testing svn stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
0
diff
changeset
|
1112 |
a map from the vertices of $R$ into $P$ to a map of all of $R$ into $P$. |
0 | 1113 |
Let $\cN$ be the set of all $\beta$ for which $K_\beta$ has a $k$-cell whose boundary meets |
1114 |
the $k{-}j$-cell corresponding to $E$. |
|
1115 |
For each $\beta \in \cN$, let $\{q_{\beta i}\}$ be the set of points in $P$ associated to the aforementioned $k$-cells. |
|
1116 |
Now define, for $p \in E$, |
|
1117 |
\eq{ |
|
8 | 1118 |
u(t, p, x) = (1-t)p + t \left( |
1119 |
\sum_{\alpha \notin \cN} r_\alpha(x) p_{c_\alpha} |
|
1120 |
+ \sum_{\beta \in \cN} r_\beta(x) \left( \sum_i \eta_{\beta i}(p) \cdot q_{\beta i} \right) |
|
1121 |
\right) . |
|
0 | 1122 |
} |
1123 |
Here $\eta_{\beta i}(p)$ is the weight given to $q_{\beta i}$ by the linear extension |
|
1124 |
mentioned above. |
|
1125 |
||
1126 |
This completes the definition of $u: I \times P \times X \to P$. |
|
1127 |
||
1128 |
\medskip |
|
1129 |
||
1130 |
Next we verify that $u$ has the desired properties. |
|
1131 |
||
1132 |
Since $u(0, p, x) = p$ for all $p\in P$ and $x\in X$, $F(0, p, x) = f(p, x)$ for all $p$ and $x$. |
|
1133 |
Therefore $F$ is a homotopy from $f$ to something. |
|
1134 |
||
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1135 |
Next we show that if the $K_\alpha$'s are sufficiently fine cell decompositions, |
0 | 1136 |
then $F$ is a homotopy through diffeomorphisms. |
1137 |
We must show that the derivative $\pd{F}{x}(t, p, x)$ is non-singular for all $(t, p, x)$. |
|
1138 |
We have |
|
1139 |
\eq{ |
|
8 | 1140 |
% \pd{F}{x}(t, p, x) = \pd{f}{x}(u(t, p, x), x) + \pd{f}{p}(u(t, p, x), x) \pd{u}{x}(t, p, x) . |
1141 |
\pd{F}{x} = \pd{f}{x} + \pd{f}{p} \pd{u}{x} . |
|
0 | 1142 |
} |
1143 |
Since $f$ is a family of diffeomorphisms, $\pd{f}{x}$ is non-singular and |
|
1144 |
\nn{bounded away from zero, or something like that}. |
|
1145 |
(Recall that $X$ and $P$ are compact.) |
|
1146 |
Also, $\pd{f}{p}$ is bounded. |
|
1147 |
So if we can insure that $\pd{u}{x}$ is sufficiently small, we are done. |
|
1148 |
It follows from Equation xxxx above that $\pd{u}{x}$ depends on $\pd{r_\alpha}{x}$ |
|
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1149 |
(which is bounded) |
0 | 1150 |
and the differences amongst the various $p_{c_\alpha}$'s and $q_{\beta i}$'s. |
1151 |
These differences are small if the cell decompositions $K_\alpha$ are sufficiently fine. |
|
1152 |
This completes the proof that $F$ is a homotopy through diffeomorphisms. |
|
1153 |
||
1154 |
\medskip |
|
1155 |
||
1156 |
Next we show that for each handle $D \sub P$, $F(1, \cdot, \cdot) : D\times X \to X$ |
|
1157 |
is a singular cell adapted to $\cU$. |
|
1158 |
This will complete the proof of the lemma. |
|
1159 |
\nn{except for boundary issues and the `$P$ is a cell' assumption} |
|
1160 |
||
8 | 1161 |
Let $j$ be the codimension of $D$. |
0 | 1162 |
(Or rather, the codimension of its corresponding cell. From now on we will not make a distinction |
1163 |
between handle and corresponding cell.) |
|
1164 |
Then $j = j_1 + \cdots + j_m$, $0 \le m \le k$, |
|
1165 |
where the $j_i$'s are the codimensions of the $K_\alpha$ |
|
1166 |
cells of codimension greater than 0 which intersect to form $D$. |
|
1167 |
We will show that |
|
1168 |
if the relevant $U_\alpha$'s are disjoint, then |
|
1169 |
$F(1, \cdot, \cdot) : D\times X \to X$ |
|
1170 |
is a product of singular cells of dimensions $j_1, \ldots, j_m$. |
|
1171 |
If some of the relevant $U_\alpha$'s intersect, then we will get a product of singular |
|
1172 |
cells whose dimensions correspond to a partition of the $j_i$'s. |
|
1173 |
We will consider some simple special cases first, then do the general case. |
|
1174 |
||
1175 |
First consider the case $j=0$ (and $m=0$). |
|
1176 |
A quick look at Equation xxxx above shows that $u(1, p, x)$, and hence $F(1, p, x)$, |
|
1177 |
is independent of $p \in P$. |
|
1178 |
So the corresponding map $D \to \Diff(X)$ is constant. |
|
1179 |
||
1180 |
Next consider the case $j = 1$ (and $m=1$, $j_1=1$). |
|
1181 |
Now Equation yyyy applies. |
|
1182 |
We can write $D = D'\times I$, where the normal coordinate $\eta$ is constant on $D'$. |
|
1183 |
It follows that the singular cell $D \to \Diff(X)$ can be written as a product |
|
1184 |
of a constant map $D' \to \Diff(X)$ and a singular 1-cell $I \to \Diff(X)$. |
|
1185 |
The singular 1-cell is supported on $U_\beta$, since $r_\beta = 0$ outside of this set. |
|
1186 |
||
1187 |
Next case: $j=2$, $m=1$, $j_1 = 2$. |
|
8 | 1188 |
This is similar to the previous case, except that the normal bundle is 2-dimensional instead of |
0 | 1189 |
1-dimensional. |
1190 |
We have that $D \to \Diff(X)$ is a product of a constant singular $k{-}2$-cell |
|
1191 |
and a 2-cell with support $U_\beta$. |
|
1192 |
||
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1193 |
Next case: $j=2$, $m=2$, $j_1 = j_2 = 1$. |
0 | 1194 |
In this case the codimension 2 cell $D$ is the intersection of two |
1195 |
codimension 1 cells, from $K_\beta$ and $K_\gamma$. |
|
1196 |
We can write $D = D' \times I \times I$, where the normal coordinates are constant |
|
1197 |
on $D'$, and the two $I$ factors correspond to $\beta$ and $\gamma$. |
|
1198 |
If $U_\beta$ and $U_\gamma$ are disjoint, then we can factor $D$ into a constant $k{-}2$-cell and |
|
1199 |
two 1-cells, supported on $U_\beta$ and $U_\gamma$ respectively. |
|
1200 |
If $U_\beta$ and $U_\gamma$ intersect, then we can factor $D$ into a constant $k{-}2$-cell and |
|
1201 |
a 2-cell supported on $U_\beta \cup U_\gamma$. |
|
1202 |
\nn{need to check that this is true} |
|
1203 |
||
1204 |
\nn{finally, general case...} |
|
1205 |
||
1206 |
\nn{this completes proof} |
|
1207 |
||
13 | 1208 |
\input{text/explicit.tex} |
0 | 1209 |
|
75 | 1210 |
\section{Comparing definitions of $A_\infty$ algebras} |
76 | 1211 |
\label{sec:comparing-A-infty} |
75 | 1212 |
In this section, we make contact between the usual definition of an $A_\infty$ algebra and our definition of a topological $A_\infty$ algebra, from Definition \ref{defn:topological-Ainfty-category}. |
1213 |
||
1214 |
We begin be restricting the data of a topological $A_\infty$ algebra to the standard interval $[0,1]$, which we can alternatively characterise as: |
|
1215 |
\begin{defn} |
|
1216 |
A \emph{topological $A_\infty$ category on $[0,1]$} $\cC$ has a set of objects $\Obj(\cC)$, and for each $a,b \in \Obj(\cC)$, a chain complex $\cC_{a,b}$, along with |
|
1217 |
\begin{itemize} |
|
1218 |
\item an action of the operad of $\Obj(\cC)$-labeled cell decompositions |
|
1219 |
\item and a compatible action of $\CD{[0,1]}$. |
|
1220 |
\end{itemize} |
|
1221 |
\end{defn} |
|
1222 |
Here the operad of cell decompositions of $[0,1]$ has operations indexed by a finite set of points $0 < x_1< \cdots < x_k < 1$, cutting $[0,1]$ into subintervals. An $X$-labeled cell decomposition labels $\{0, x_1, \ldots, x_k, 1\}$ by $X$. Given two cell decompositions $\cJ^{(1)}$ and $\cJ^{(2)}$, and an index $m$, we can compose them to form a new cell decomposition $\cJ^{(1)} \circ_m \cJ^{(2)}$ by inserting the points of $\cJ^{(2)}$ linearly into the $m$-th interval of $\cJ^{(1)}$. In the $X$-labeled case, we insist that the appropriate labels match up. Saying we have an action of this operad means that for each labeled cell decomposition $0 < x_1< \cdots < x_k < 1$, $a_0, \ldots, a_{k+1} \subset \Obj(\cC)$, there is a chain map $$\cC_{a_0,a_1} \tensor \cdots \tensor \cC_{a_k,a_{k+1}} \to \cC(a_0,a_{k+1})$$ and these chain maps compose exactly as the cell decompositions. |
|
1223 |
An action of $\CD{[0,1]}$ is compatible with an action of the cell decomposition operad if given a decomposition $\pi$, and a family of diffeomorphisms $f \in \CD{[0,1]}$ which is supported on the subintervals determined by $\pi$, then the two possible operations (glue intervals together, then apply the diffeomorphisms, or apply the diffeormorphisms separately to the subintervals, then glue) commute (as usual, up to a weakly unique homotopy). |
|
1224 |
||
1225 |
Translating between these definitions is straightforward. To restrict to the standard interval, define $\cC_{a,b} = \cC([0,1];a,b)$. Given a cell decomposition $0 < x_1< \cdots < x_k < 1$, we use the map (suppressing labels) |
|
1226 |
$$\cC([0,1])^{\tensor k+1} \to \cC([0,x_1]) \tensor \cdots \tensor \cC[x_k,1] \to \cC([0,1])$$ |
|
1227 |
where the factors of the first map are induced by the linear isometries $[0,1] \to [x_i, x_{i+1}]$, and the second map is just gluing. The action of $\CD{[0,1]}$ carries across, and is automatically compatible. Going the other way, we just declare $\cC(J;a,b) = \cC_{a,b}$, pick a diffeomorphism $\phi_J : J \isoto [0,1]$ for every interval $J$, define the gluing map $\cC(J_1) \tensor \cC(J_2) \to \cC(J_1 \cup J_2)$ by the first applying the cell decomposition map for $0 < \frac{1}{2} < 1$, then the self-diffeomorphism of $[0,1]$ given by $\frac{1}{2} (\phi_{J_1} \cup (1+ \phi_{J_2})) \circ \phi_{J_1 \cup J_2}^{-1}$. You can readily check that this gluing map is associative on the nose. \todo{really?} |
|
1228 |
||
1229 |
%First recall the \emph{coloured little intervals operad}. Given a set of labels $\cL$, the operations are indexed by \emph{decompositions of the interval}, each of which is a collection of disjoint subintervals $\{(a_i,b_i)\}_{i=1}^k$ of $[0,1]$, along with a labeling of the complementary regions by $\cL$, $\{l_0, \ldots, l_k\}$. Given two decompositions $\cJ^{(1)}$ and $\cJ^{(2)}$, and an index $m$ such that $l^{(1)}_{m-1} = l^{(2)}_0$ and $l^{(1)}_{m} = l^{(2)}_{k^{(2)}}$, we can form a new decomposition by inserting the intervals of $\cJ^{(2)}$ linearly inside the $m$-th interval of $\cJ^{(1)}$. We call the resulting decomposition $\cJ^{(1)} \circ_m \cJ^{(2)}$. |
|
1230 |
||
1231 |
%\begin{defn} |
|
1232 |
%A \emph{topological $A_\infty$ category} $\cC$ has a set of objects $\Obj(\cC)$ and for each $a,b \in \Obj(\cC)$ a chain complex $\cC_{a,b}$, along with a compatible `composition map' and an `action of families of diffeomorphisms'. |
|
1233 |
||
1234 |
%A \emph{composition map} $f$ is a family of chain maps, one for each decomposition of the interval, $f_\cJ : A^{\tensor k} \to A$, making $\cC$ into a category over the coloured little intervals operad, with labels $\cL = \Obj(\cC)$. Thus the chain maps satisfy the identity |
|
1235 |
%\begin{equation*} |
|
1236 |
%f_{\cJ^{(1)} \circ_m \cJ^{(2)}} = f_{\cJ^{(1)}} \circ (\id^{\tensor m-1} \tensor f_{\cJ^{(2)}} \tensor \id^{\tensor k^{(1)} - m}). |
|
1237 |
%\end{equation*} |
|
1238 |
||
1239 |
%An \emph{action of families of diffeomorphisms} is a chain map $ev: \CD{[0,1]} \tensor A \to A$, such that |
|
1240 |
%\begin{enumerate} |
|
1241 |
%\item The diagram |
|
1242 |
%\begin{equation*} |
|
1243 |
%\xymatrix{ |
|
1244 |
%\CD{[0,1]} \tensor \CD{[0,1]} \tensor A \ar[r]^{\id \tensor ev} \ar[d]^{\circ \tensor \id} & \CD{[0,1]} \tensor A \ar[d]^{ev} \\ |
|
1245 |
%\CD{[0,1]} \tensor A \ar[r]^{ev} & A |
|
1246 |
%} |
|
1247 |
%\end{equation*} |
|
1248 |
%commutes up to weakly unique homotopy. |
|
1249 |
%\item If $\phi \in \Diff([0,1])$ and $\cJ$ is a decomposition of the interval, we obtain a new decomposition $\phi(\cJ)$ and a collection $\phi_m \in \Diff([0,1])$ of diffeomorphisms obtained by taking the restrictions $\restrict{\phi}{[a_m,b_m]} : [a_m,b_m] \to [\phi(a_m),\phi(b_m)]$ and pre- and post-composing these with the linear diffeomorphisms $[0,1] \to [a_m,b_m]$ and $[\phi(a_m),\phi(b_m)] \to [0,1]$. We require that |
|
1250 |
%\begin{equation*} |
|
1251 |
%\phi(f_\cJ(a_1, \cdots, a_k)) = f_{\phi(\cJ)}(\phi_1(a_1), \cdots, \phi_k(a_k)). |
|
1252 |
%\end{equation*} |
|
1253 |
%\end{enumerate} |
|
1254 |
%\end{defn} |
|
1255 |
||
1256 |
From a topological $A_\infty$ category on $[0,1]$ $\cC$ we can produce a `conventional' $A_\infty$ category $(A, \{m_k\})$ as defined in, for example, \cite{MR1854636}. We'll just describe the algebra case (that is, a category with only one object), as the modifications required to deal with multiple objects are trivial. Define $A = \cC$ as a chain complex (so $m_1 = d$). Define $m_2 : A\tensor A \to A$ by $f_{\{(0,\frac{1}{2}),(\frac{1}{2},1)\}}$. To define $m_3$, we begin by taking the one parameter family $\phi_3$ of diffeomorphisms of $[0,1]$ that interpolates linearly between the identity and the piecewise linear diffeomorphism taking $\frac{1}{4}$ to $\frac{1}{2}$ and $\frac{1}{2}$ to $\frac{3}{4}$, and then define |
|
1257 |
\begin{equation*} |
|
1258 |
m_3(a,b,c) = ev(\phi_3, m_2(m_2(a,b), c)). |
|
1259 |
\end{equation*} |
|
1260 |
||
1261 |
It's then easy to calculate that |
|
1262 |
\begin{align*} |
|
1263 |
d(m_3(a,b,c)) & = ev(d \phi_3, m_2(m_2(a,b),c)) - ev(\phi_3 d m_2(m_2(a,b), c)) \\ |
|
1264 |
& = ev( \phi_3(1), m_2(m_2(a,b),c)) - ev(\phi_3(0), m_2 (m_2(a,b),c)) - \\ & \qquad - ev(\phi_3, m_2(m_2(da, b), c) + (-1)^{\deg a} m_2(m_2(a, db), c) + \\ & \qquad \quad + (-1)^{\deg a+\deg b} m_2(m_2(a, b), dc) \\ |
|
1265 |
& = m_2(a , m_2(b,c)) - m_2(m_2(a,b),c) - \\ & \qquad - m_3(da,b,c) + (-1)^{\deg a + 1} m_3(a,db,c) + \\ & \qquad \quad + (-1)^{\deg a + \deg b + 1} m_3(a,b,dc), \\ |
|
1266 |
\intertext{and thus that} |
|
1267 |
m_1 \circ m_3 & = m_2 \circ (\id \tensor m_2) - m_2 \circ (m_2 \tensor \id) - \\ & \qquad - m_3 \circ (m_1 \tensor \id \tensor \id) - m_3 \circ (\id \tensor m_1 \tensor \id) - m_3 \circ (\id \tensor \id \tensor m_1) |
|
1268 |
\end{align*} |
|
1269 |
as required (c.f. \cite[p. 6]{MR1854636}). |
|
1270 |
\todo{then the general case.} |
|
1271 |
We won't describe a reverse construction (producing a topological $A_\infty$ category from a `conventional' $A_\infty$ category), but we presume that this will be easy for the experts. |
|
1272 |
||
76 | 1273 |
\section{Morphisms and duals of topological $A_\infty$ modules} |
1274 |
\label{sec:A-infty-hom-and-duals}% |
|
1275 |
||
1276 |
\begin{defn} |
|
1277 |
If $\cM$ and $\cN$ are topological $A_\infty$ left modules over a topological $A_\infty$ category $\cC$, then a morphism $f: \cM \to \cN$ consists of a chain map $f:\cM(J,p;b) \to \cN(J,p;b)$ for each right marked interval $(J,p)$ with a boundary condition $b$, such that for each interval $J'$ the diagram |
|
1278 |
\begin{equation*} |
|
1279 |
\xymatrix{ |
|
1280 |
\cC(J';a,b) \tensor \cM(J,p;b) \ar[r]^{\text{gl}} \ar[d]^{\id \tensor f} & \cM(J' cup J,a) \ar[d]^f \\ |
|
1281 |
\cC(J';a,b) \tensor \cN(J,p;b) \ar[r]^{\text{gl}} & \cN(J' cup J,a) |
|
1282 |
} |
|
1283 |
\end{equation*} |
|
1284 |
commutes on the nose, and the diagram |
|
1285 |
\begin{equation*} |
|
1286 |
\xymatrix{ |
|
1287 |
\CD{(J,p) \to (J',p')} \tensor \cM(J,p;a) \ar[r]^{\text{ev}} \ar[d]^{\id \tensor f} & \cM(J',p';a) \ar[d]^f \\ |
|
1288 |
\CD{(J,p) \to (J',p')} \tensor \cN(J,p;a) \ar[r]^{\text{ev}} & \cN(J',p';a) \\ |
|
1289 |
} |
|
1290 |
\end{equation*} |
|
1291 |
commutes up to a weakly unique homotopy. |
|
1292 |
\end{defn} |
|
1293 |
||
1294 |
The variations required for right modules and bimodules should be obvious. |
|
1295 |
||
1296 |
\todo{duals} |
|
1297 |
\todo{ the functors $\hom_{\lmod{\cC}}\left(\cM \to -\right)$ and $\cM^* \tensor_{\cC} -$ from $\lmod{\cC}$ to $\Vect$ are naturally isomorphic} |
|
75 | 1298 |
|
1299 |
||
55 | 1300 |
\input{text/obsolete.tex} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
1301 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1302 |
% ---------------------------------------------------------------- |
23
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
1303 |
%\newcommand{\urlprefix}{} |
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
1304 |
\bibliographystyle{plain} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1305 |
%Included for winedt: |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1306 |
%input "bibliography/bibliography.bib" |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1307 |
\bibliography{bibliography/bibliography} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1308 |
% ---------------------------------------------------------------- |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1309 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1310 |
This paper is available online at \arxiv{?????}, and at |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
1311 |
\url{http://tqft.net/blobs}, |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
1312 |
and at \url{http://canyon23.net/math/}. |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
1313 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1314 |
% A GTART necessity: |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1315 |
% \Addresses |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1316 |
% ---------------------------------------------------------------- |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1317 |
\end{document} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
1318 |
% ---------------------------------------------------------------- |
0 | 1319 |
|
1320 |
||
1321 |
||
1322 |
||
1323 |
%Recall that for $n$-category picture fields there is an evaluation map |
|
1324 |
%$m: \bc_0(B^n; c, c') \to \mor(c, c')$. |
|
1325 |
%If we regard $\mor(c, c')$ as a complex concentrated in degree 0, then this becomes a chain |
|
1326 |
%map $m: \bc_*(B^n; c, c') \to \mor(c, c')$. |