author | Scott Morrison <scott@tqft.net> |
Wed, 10 Aug 2011 00:09:47 -0700 | |
changeset 868 | 0bebc467f65a |
parent 867 | d7130746cfad |
child 882 | ae5d0f91340b |
permissions | -rw-r--r-- |
215 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{TQFTs via fields} |
|
4 |
\label{sec:fields} |
|
5 |
\label{sec:tqftsviafields} |
|
6 |
||
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
7 |
In this section we review the construction of TQFTs from fields and local relations. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
8 |
For more details see \cite{kw:tqft}. |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
9 |
For our purposes, a TQFT is {\it defined} to be something which arises |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
10 |
from this construction. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
11 |
This is an alternative to the more common definition of a TQFT |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
12 |
as a functor on cobordism categories satisfying various conditions. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
13 |
A fully local (``down to points") version of the cobordism-functor TQFT definition |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
14 |
should be equivalent to the fields-and-local-relations definition. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
15 |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
16 |
A system of fields is very closely related to an $n$-category. |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
17 |
In one direction, Example \ref{ex:traditional-n-categories(fields)} |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
18 |
shows how to construct a system of fields from a (traditional) $n$-category. |
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
412
diff
changeset
|
19 |
We do this in detail for $n=1,2$ (\S\ref{sec:example:traditional-n-categories(fields)}) |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
20 |
and more informally for general $n$. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
21 |
In the other direction, |
865
7abe7642265e
relentless adding 'disk-like' everywhere it could possibly go
Scott Morrison <scott@tqft.net>
parents:
845
diff
changeset
|
22 |
our preferred definition of a disk-like $n$-category in \S\ref{sec:ncats} is essentially |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
23 |
just a system of fields restricted to balls of dimensions 0 through $n$; |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
24 |
one could call this the ``local" part of a system of fields. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
25 |
|
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
26 |
Since this section is intended primarily to motivate |
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
412
diff
changeset
|
27 |
the blob complex construction of \S\ref{sec:blob-definition}, |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
28 |
we suppress some technical details. |
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
412
diff
changeset
|
29 |
In \S\ref{sec:ncats} the analogous details are treated more carefully. |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
30 |
|
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
31 |
\medskip |
215 | 32 |
|
33 |
We only consider compact manifolds, so if $Y \sub X$ is a closed codimension 0 |
|
34 |
submanifold of $X$, then $X \setmin Y$ implicitly means the closure |
|
35 |
$\overline{X \setmin Y}$. |
|
36 |
||
37 |
||
38 |
\subsection{Systems of fields} |
|
515 | 39 |
\label{ss:syst-o-fields} |
215 | 40 |
|
41 |
Let $\cM_k$ denote the category with objects |
|
42 |
unoriented PL manifolds of dimension |
|
43 |
$k$ and morphisms homeomorphisms. |
|
44 |
(We could equally well work with a different category of manifolds --- |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
45 |
oriented, topological, smooth, spin, etc. --- but for simplicity we |
215 | 46 |
will stick with unoriented PL.) |
47 |
||
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
48 |
Fix a symmetric monoidal category $\cS$. |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
49 |
Fields on $n$-manifolds will be enriched over $\cS$. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
50 |
Good examples to keep in mind are $\cS = \Set$ or $\cS = \Vect$. |
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
51 |
The presentation here requires that the objects of $\cS$ have an underlying set, |
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
52 |
but this could probably be avoided if desired. |
215 | 53 |
|
54 |
A $n$-dimensional {\it system of fields} in $\cS$ |
|
55 |
is a collection of functors $\cC_k : \cM_k \to \Set$ for $0 \leq k \leq n$ |
|
56 |
together with some additional data and satisfying some additional conditions, all specified below. |
|
57 |
||
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
58 |
Before finishing the definition of fields, we give two motivating examples of systems of fields. |
215 | 59 |
|
313 | 60 |
\begin{example} |
61 |
\label{ex:maps-to-a-space(fields)} |
|
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
62 |
Fix a target space $T$, and let $\cC(X)$ be the set of continuous maps |
327 | 63 |
from $X$ to $T$. |
313 | 64 |
\end{example} |
215 | 65 |
|
313 | 66 |
\begin{example} |
67 |
\label{ex:traditional-n-categories(fields)} |
|
68 |
Fix an $n$-category $C$, and let $\cC(X)$ be |
|
341 | 69 |
the set of embedded cell complexes in $X$ with codimension-$j$ cells labeled by |
215 | 70 |
$j$-morphisms of $C$. |
341 | 71 |
One can think of such embedded cell complexes as dual to pasting diagrams for $C$. |
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
72 |
This is described in more detail in \S \ref{sec:example:traditional-n-categories(fields)}. |
313 | 73 |
\end{example} |
215 | 74 |
|
75 |
Now for the rest of the definition of system of fields. |
|
426
8aca80203f9d
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Kevin Walker <kevin@canyon23.net>
parents:
412
diff
changeset
|
76 |
(Readers desiring a more precise definition should refer to \S\ref{ss:n-cat-def} |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
77 |
and replace $k$-balls with $k$-manifolds.) |
215 | 78 |
\begin{enumerate} |
79 |
\item There are boundary restriction maps $\cC_k(X) \to \cC_{k-1}(\bd X)$, |
|
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
80 |
and these maps comprise a natural |
215 | 81 |
transformation between the functors $\cC_k$ and $\cC_{k-1}\circ\bd$. |
82 |
For $c \in \cC_{k-1}(\bd X)$, we will denote by $\cC_k(X; c)$ the subset of |
|
83 |
$\cC(X)$ which restricts to $c$. |
|
84 |
In this context, we will call $c$ a boundary condition. |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
85 |
\item The subset $\cC_n(X;c)$ of top-dimensional fields |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
86 |
with a given boundary condition is an object in our symmetric monoidal category $\cS$. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
87 |
(This condition is of course trivial when $\cS = \Set$.) |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
88 |
If the objects are sets with extra structure (e.g. $\cS = \Vect$ or $\Kom$), |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
89 |
then this extra structure is considered part of the definition of $\cC_n$. |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
90 |
Any maps mentioned below between fields on $n$-manifolds must be morphisms in $\cS$. |
215 | 91 |
\item $\cC_k$ is compatible with the symmetric monoidal |
92 |
structures on $\cM_k$, $\Set$ and $\cS$: $\cC_k(X \du W) \cong \cC_k(X)\times \cC_k(W)$, |
|
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
93 |
compatibly with homeomorphisms and restriction to boundary. |
215 | 94 |
We will call the projections $\cC(X_1 \du X_2) \to \cC(X_i)$ |
95 |
restriction maps. |
|
96 |
\item Gluing without corners. |
|
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
97 |
Let $\bd X = Y \du Y \du W$, where $Y$ and $W$ are closed $k{-}1$-manifolds. |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
98 |
Let $X\sgl$ denote $X$ glued to itself along the two copies of $Y$. |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
99 |
Using the boundary restriction and disjoint union |
215 | 100 |
maps, we get two maps $\cC_k(X) \to \cC(Y)$, corresponding to the two |
101 |
copies of $Y$ in $\bd X$. |
|
102 |
Let $\Eq_Y(\cC_k(X))$ denote the equalizer of these two maps. |
|
724
3d751b59a7d8
added remark that in the case of disjoint gluing the equalizer is also a fibered product
Kevin Walker <kevin@canyon23.net>
parents:
721
diff
changeset
|
103 |
(When $X$ is a disjoint union $X_1\du X_2$ the equalizer is the same as the fibered product |
3d751b59a7d8
added remark that in the case of disjoint gluing the equalizer is also a fibered product
Kevin Walker <kevin@canyon23.net>
parents:
721
diff
changeset
|
104 |
$\cC_k(X_1)\times_{\cC(Y)} \cC_k(X_2)$.) |
215 | 105 |
Then (here's the axiom/definition part) there is an injective ``gluing" map |
106 |
\[ |
|
107 |
\Eq_Y(\cC_k(X)) \hookrightarrow \cC_k(X\sgl) , |
|
108 |
\] |
|
109 |
and this gluing map is compatible with all of the above structure (actions |
|
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
110 |
of homeomorphisms, boundary restrictions, disjoint union). |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
111 |
Furthermore, up to homeomorphisms of $X\sgl$ isotopic to the identity |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
112 |
and collaring maps, |
215 | 113 |
the gluing map is surjective. |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
114 |
We say that fields on $X\sgl$ in the image of the gluing map |
215 | 115 |
are transverse to $Y$ or splittable along $Y$. |
116 |
\item Gluing with corners. |
|
468 | 117 |
Let $\bd X = (Y \du Y) \cup W$, where the two copies of $Y$ |
118 |
are disjoint from each other and $\bd(Y\du Y) = \bd W$. |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
119 |
Let $X\sgl$ denote $X$ glued to itself along the two copies of $Y$ |
522 | 120 |
(Figure \ref{fig:gluing-with-corners}). |
121 |
\begin{figure}[t] |
|
122 |
\begin{center} |
|
123 |
\begin{tikzpicture} |
|
124 |
||
125 |
\node(A) at (-4,0) { |
|
126 |
\begin{tikzpicture}[scale=.8, fill=blue!15!white] |
|
127 |
\filldraw[line width=1.5pt] (-.4,1) .. controls +(-1,-.1) and +(-1,0) .. (0,-1) |
|
128 |
.. controls +(1,0) and +(1,-.1) .. (.4,1) -- (.4,3) |
|
129 |
.. controls +(3,-.4) and +(3,0) .. (0,-3) |
|
130 |
.. controls +(-3,0) and +(-3,-.1) .. (-.4,3) -- cycle; |
|
131 |
\node at (0,-2) {$X$}; |
|
132 |
\node (W) at (-2.7,-2) {$W$}; |
|
133 |
\node (Y1) at (-1.2,3.5) {$Y$}; |
|
134 |
\node (Y2) at (1.4,3.5) {$Y$}; |
|
135 |
\node[outer sep=2.3] (y1e) at (-.4,2) {}; |
|
136 |
\node[outer sep=2.3] (y2e) at (.4,2) {}; |
|
137 |
\node (we1) at (-2.2,-1.1) {}; |
|
138 |
\node (we2) at (-.6,-.7) {}; |
|
139 |
\draw[->] (Y1) -- (y1e); |
|
140 |
\draw[->] (Y2) -- (y2e); |
|
141 |
\draw[->] (W) .. controls +(0,.5) and +(-.5,-.2) .. (we1); |
|
142 |
\draw[->] (W) .. controls +(.5,0) and +(-.2,-.5) .. (we2); |
|
143 |
\end{tikzpicture} |
|
144 |
}; |
|
145 |
||
146 |
\node(B) at (4,0) { |
|
147 |
\begin{tikzpicture}[scale=.8, fill=blue!15!white] |
|
148 |
\fill (0,1) .. controls +(-1,0) and +(-1,0) .. (0,-1) |
|
149 |
.. controls +(1,0) and +(1,0) .. (0,1) -- (0,3) |
|
150 |
.. controls +(3,0) and +(3,0) .. (0,-3) |
|
151 |
.. controls +(-3,0) and +(-3,0) .. (0,3) -- cycle; |
|
152 |
\draw[line width=1.5pt] (0,1) .. controls +(-1,0) and +(-1,0) .. (0,-1) |
|
153 |
.. controls +(1,0) and +(1,0) .. (0,1); |
|
154 |
\draw[line width=1.5pt] (0,3) .. controls +(3,0) and +(3,0) .. (0,-3) |
|
155 |
.. controls +(-3,0) and +(-3,0) .. (0,3); |
|
156 |
\draw[line width=.5pt, black!65!white] (0,1) -- (0,3); |
|
157 |
\node at (0,-2) {$X\sgl$}; |
|
158 |
\node (W) at (2.7,-2) {$W\sgl$}; |
|
159 |
\node (we1) at (2.2,-1.1) {}; |
|
160 |
\node (we2) at (.6,-.7) {}; |
|
161 |
\draw[->] (W) .. controls +(0,.5) and +(.5,-.2) .. (we1); |
|
162 |
\draw[->] (W) .. controls +(-.5,0) and +(.2,-.5) .. (we2); |
|
163 |
\end{tikzpicture} |
|
164 |
}; |
|
165 |
||
166 |
||
167 |
\draw[->, red!50!green, line width=2pt] (A) -- node[above, black] {glue} (B); |
|
168 |
||
169 |
\end{tikzpicture} |
|
170 |
\end{center} |
|
171 |
\caption{Gluing with corners} |
|
172 |
\label{fig:gluing-with-corners} |
|
173 |
\end{figure} |
|
215 | 174 |
Note that $\bd X\sgl = W\sgl$, where $W\sgl$ denotes $W$ glued to itself |
175 |
(without corners) along two copies of $\bd Y$. |
|
176 |
Let $c\sgl \in \cC_{k-1}(W\sgl)$ be a be a splittable field on $W\sgl$ and let |
|
177 |
$c \in \cC_{k-1}(W)$ be the cut open version of $c\sgl$. |
|
178 |
Let $\cC^c_k(X)$ denote the subset of $\cC(X)$ which restricts to $c$ on $W$. |
|
179 |
(This restriction map uses the gluing without corners map above.) |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
180 |
Using the boundary restriction and gluing without corners maps, |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
181 |
we get two maps $\cC^c_k(X) \to \cC(Y)$, corresponding to the two |
215 | 182 |
copies of $Y$ in $\bd X$. |
183 |
Let $\Eq^c_Y(\cC_k(X))$ denote the equalizer of these two maps. |
|
184 |
Then (here's the axiom/definition part) there is an injective ``gluing" map |
|
185 |
\[ |
|
186 |
\Eq^c_Y(\cC_k(X)) \hookrightarrow \cC_k(X\sgl, c\sgl) , |
|
187 |
\] |
|
188 |
and this gluing map is compatible with all of the above structure (actions |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
189 |
of homeomorphisms, boundary restrictions, disjoint union). |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
190 |
Furthermore, up to homeomorphisms of $X\sgl$ isotopic to the identity |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
191 |
and collaring maps, |
215 | 192 |
the gluing map is surjective. |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
329
diff
changeset
|
193 |
We say that fields in the image of the gluing map |
215 | 194 |
are transverse to $Y$ or splittable along $Y$. |
845
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
195 |
\item Splittings. |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
196 |
Let $c\in \cC_k(X)$ and let $Y\sub X$ be a codimension 1 properly embedded submanifold of $X$. |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
197 |
Then for most small perturbations of $Y$ (i.e.\ for an open dense |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
198 |
subset of such perturbations) $c$ splits along $Y$. |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
199 |
(In Example \ref{ex:maps-to-a-space(fields)}, $c$ splits along all such $Y$. |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
200 |
In Example \ref{ex:traditional-n-categories(fields)}, $c$ splits along $Y$ so long as $Y$ |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
201 |
is in general position with respect to the cell decomposition |
c9b55efd79dd
added splittability axiom for fields
Kevin Walker <kevin@canyon23.net>
parents:
834
diff
changeset
|
202 |
associated to $c$.) |
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
203 |
\item Product fields. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
204 |
There are maps $\cC_{k-1}(Y) \to \cC_k(Y \times I)$, denoted |
215 | 205 |
$c \mapsto c\times I$. |
206 |
These maps comprise a natural transformation of functors, and commute appropriately |
|
207 |
with all the structure maps above (disjoint union, boundary restriction, etc.). |
|
208 |
Furthermore, if $f: Y\times I \to Y\times I$ is a fiber-preserving homeomorphism |
|
209 |
covering $\bar{f}:Y\to Y$, then $f(c\times I) = \bar{f}(c)\times I$. |
|
210 |
\end{enumerate} |
|
211 |
||
212 |
There are two notations we commonly use for gluing. |
|
213 |
One is |
|
214 |
\[ |
|
215 |
x\sgl \deq \gl(x) \in \cC(X\sgl) , |
|
216 |
\] |
|
217 |
for $x\in\cC(X)$. |
|
218 |
The other is |
|
219 |
\[ |
|
220 |
x_1\bullet x_2 \deq \gl(x_1\otimes x_2) \in \cC(X\sgl) , |
|
221 |
\] |
|
222 |
in the case that $X = X_1 \du X_2$, with $x_i \in \cC(X_i)$. |
|
223 |
||
224 |
\medskip |
|
225 |
||
720
27cfae8f4330
remove long nooped section on linearizing fields
Kevin Walker <kevin@canyon23.net>
parents:
718
diff
changeset
|
226 |
|
215 | 227 |
Let $M$ be an $n$-manifold and $Y \subset \bd M$ be a codimension zero submanifold |
228 |
of $\bd M$. |
|
721
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
229 |
Let $M \cup (Y\times I)$ denote $M$ glued to $Y\times I$ along $Y$. |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
230 |
Extend the product structure on $Y\times I$ to a bicollar neighborhood of |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
231 |
$Y$ inside $M \cup (Y\times I)$. |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
232 |
We call a homeomorphism |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
233 |
\[ |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
234 |
f: M \cup (Y\times I) \to M |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
235 |
\] |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
236 |
a {\it collaring homeomorphism} if $f$ is the identity outside of the bicollar |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
237 |
and $f$ preserves the fibers of the bicollar. |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
238 |
|
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
239 |
Using the functoriality and product field properties above, together |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
240 |
with collaring homeomorphisms, we can define |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
241 |
{\it collar maps} $\cC(M)\to \cC(M)$. |
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
242 |
Let $M$ and $Y \sub \bd M$ be as above. |
215 | 243 |
Let $x \in \cC(M)$ be a field on $M$ and such that $\bd x$ is splittable along $\bd Y$. |
244 |
Let $c$ be $x$ restricted to $Y$. |
|
245 |
Then we have the glued field $x \bullet (c\times I)$ on $M \cup (Y\times I)$. |
|
246 |
Let $f: M \cup (Y\times I) \to M$ be a collaring homeomorphism. |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
247 |
Then we call the map $x \mapsto f(x \bullet (c\times I))$ a {\it collar map}. |
721
3ae1a110873b
add definition of collaring homeo, etc.
Kevin Walker <kevin@canyon23.net>
parents:
720
diff
changeset
|
248 |
|
411
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
249 |
We call the equivalence relation generated by collar maps and |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
250 |
homeomorphisms isotopic to the identity {\it extended isotopy}, since the collar maps |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
251 |
can be thought of (informally) as the limit of homeomorphisms |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
252 |
which expand an infinitesimally thin collar neighborhood of $Y$ to a thicker |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
253 |
collar neighborhood. |
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
254 |
|
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
255 |
|
98b8559b0b7a
starting to work on tqdftreview.tex
Kevin Walker <kevin@canyon23.net>
parents:
409
diff
changeset
|
256 |
|
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
257 |
|
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
258 |
\subsection{Systems of fields from \texorpdfstring{$n$}{n}-categories} |
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
313
diff
changeset
|
259 |
\label{sec:example:traditional-n-categories(fields)} |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
260 |
We now describe in more detail Example \ref{ex:traditional-n-categories(fields)}, |
341 | 261 |
systems of fields coming from embedded cell complexes labeled |
215 | 262 |
by $n$-category morphisms. |
263 |
||
264 |
Given an $n$-category $C$ with the right sort of duality |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
265 |
(e.g. a pivotal 2-category, *-1-category), |
215 | 266 |
we can construct a system of fields as follows. |
267 |
Roughly speaking, $\cC(X)$ will the set of all embedded cell complexes in $X$ |
|
268 |
with codimension $i$ cells labeled by $i$-morphisms of $C$. |
|
269 |
We'll spell this out for $n=1,2$ and then describe the general case. |
|
270 |
||
409 | 271 |
This way of decorating an $n$-manifold with an $n$-category is sometimes referred to |
272 |
as a ``string diagram". |
|
273 |
It can be thought of as (geometrically) dual to a pasting diagram. |
|
274 |
One of the advantages of string diagrams over pasting diagrams is that one has more |
|
275 |
flexibility in slicing them up in various ways. |
|
276 |
In addition, string diagrams are traditional in quantum topology. |
|
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
277 |
The diagrams predate by many years the terms ``string diagram" and |
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
278 |
``quantum topology", e.g. \cite{MR0281657,MR776784} % both penrose |
409 | 279 |
|
215 | 280 |
If $X$ has boundary, we require that the cell decompositions are in general |
281 |
position with respect to the boundary --- the boundary intersects each cell |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
282 |
transversely, so cells meeting the boundary are mere half-cells. |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
283 |
Put another way, the cell decompositions we consider are dual to standard cell |
215 | 284 |
decompositions of $X$. |
285 |
||
286 |
We will always assume that our $n$-categories have linear $n$-morphisms. |
|
287 |
||
288 |
For $n=1$, a field on a 0-manifold $P$ is a labeling of each point of $P$ with |
|
289 |
an object (0-morphism) of the 1-category $C$. |
|
290 |
A field on a 1-manifold $S$ consists of |
|
291 |
\begin{itemize} |
|
327 | 292 |
\item a cell decomposition of $S$ (equivalently, a finite collection |
215 | 293 |
of points in the interior of $S$); |
294 |
\item a labeling of each 1-cell (and each half 1-cell adjacent to $\bd S$) |
|
295 |
by an object (0-morphism) of $C$; |
|
296 |
\item a transverse orientation of each 0-cell, thought of as a choice of |
|
297 |
``domain" and ``range" for the two adjacent 1-cells; and |
|
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
298 |
\item a labeling of each 0-cell by a 1-morphism of $C$, with |
215 | 299 |
domain and range determined by the transverse orientation and the labelings of the 1-cells. |
300 |
\end{itemize} |
|
301 |
||
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
302 |
We want fields on 1-manifolds to be enriched over Vect, so we also allow formal linear combinations |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
303 |
of the above fields on a 1-manifold $X$ so long as these fields restrict to the same field on $\bd X$. |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
304 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
305 |
In addition, we mod out by the relation which replaces |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
306 |
a 1-morphism label $a$ of a 0-cell $p$ with $a^*$ and reverse the transverse orientation of $p$. |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
307 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
308 |
If $C$ is a *-algebra (i.e. if $C$ has only one 0-morphism) we can ignore the labels |
215 | 309 |
of 1-cells, so a field on a 1-manifold $S$ is a finite collection of points in the |
310 |
interior of $S$, each transversely oriented and each labeled by an element (1-morphism) |
|
311 |
of the algebra. |
|
312 |
||
313 |
\medskip |
|
314 |
||
315 |
For $n=2$, fields are just the sort of pictures based on 2-categories (e.g.\ tensor categories) |
|
316 |
that are common in the literature. |
|
317 |
We describe these carefully here. |
|
318 |
||
319 |
A field on a 0-manifold $P$ is a labeling of each point of $P$ with |
|
320 |
an object of the 2-category $C$. |
|
321 |
A field of a 1-manifold is defined as in the $n=1$ case, using the 0- and 1-morphisms of $C$. |
|
322 |
A field on a 2-manifold $Y$ consists of |
|
323 |
\begin{itemize} |
|
327 | 324 |
\item a cell decomposition of $Y$ (equivalently, a graph embedded in $Y$ such |
215 | 325 |
that each component of the complement is homeomorphic to a disk); |
326 |
\item a labeling of each 2-cell (and each partial 2-cell adjacent to $\bd Y$) |
|
327 |
by a 0-morphism of $C$; |
|
328 |
\item a transverse orientation of each 1-cell, thought of as a choice of |
|
329 |
``domain" and ``range" for the two adjacent 2-cells; |
|
330 |
\item a labeling of each 1-cell by a 1-morphism of $C$, with |
|
331 |
domain and range determined by the transverse orientation of the 1-cell |
|
332 |
and the labelings of the 2-cells; |
|
333 |
\item for each 0-cell, a homeomorphism of the boundary $R$ of a small neighborhood |
|
334 |
of the 0-cell to $S^1$ such that the intersections of the 1-cells with $R$ are not mapped |
|
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
335 |
to $\pm 1 \in S^1$ |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
336 |
(this amounts to splitting of the link of the 0-cell into domain and range); and |
215 | 337 |
\item a labeling of each 0-cell by a 2-morphism of $C$, with domain and range |
338 |
determined by the labelings of the 1-cells and the parameterizations of the previous |
|
339 |
bullet. |
|
340 |
\end{itemize} |
|
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
341 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
342 |
As in the $n=1$ case, we allow formal linear combinations of fields on 2-manifolds, |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
343 |
so long as their restrictions to the boundary coincide. |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
344 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
345 |
In addition, we regard the labelings as being equivariant with respect to the * structure |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
346 |
on 1-morphisms and pivotal structure on 2-morphisms. |
437 | 347 |
That is, we mod out by the relation which flips the transverse orientation of a 1-cell |
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
348 |
and replaces its label $a$ by $a^*$, as well as the relation which changes the parameterization of the link |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
349 |
of a 0-cell and replaces its label by the appropriate pivotal conjugate. |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
350 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
351 |
\medskip |
215 | 352 |
|
353 |
For general $n$, a field on a $k$-manifold $X^k$ consists of |
|
354 |
\begin{itemize} |
|
355 |
\item A cell decomposition of $X$; |
|
356 |
\item an explicit general position homeomorphism from the link of each $j$-cell |
|
357 |
to the boundary of the standard $(k-j)$-dimensional bihedron; and |
|
358 |
\item a labeling of each $j$-cell by a $(k-j)$-dimensional morphism of $C$, with |
|
359 |
domain and range determined by the labelings of the link of $j$-cell. |
|
360 |
\end{itemize} |
|
361 |
||
362 |
||
772
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
363 |
It is customary when drawing string diagrams to omit identity morphisms. |
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
364 |
In the above context, this corresponds to erasing cells which are labeled by identity morphisms. |
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
365 |
The resulting structure might not, strictly speaking, be a cell complex. |
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
366 |
So when we write ``cell complex" above we really mean a stratification which can be |
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
367 |
refined to a genuine cell complex. |
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
368 |
|
73fc4868c039
string diagrams have stratifications more general than mere cell complexes
Kevin Walker <kevin@canyon23.net>
parents:
771
diff
changeset
|
369 |
|
215 | 370 |
|
371 |
\subsection{Local relations} |
|
372 |
\label{sec:local-relations} |
|
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
373 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
374 |
For convenience we assume that fields are enriched over Vect. |
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
375 |
|
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
376 |
Local relations are subspaces $U(B; c)\sub \cC(B; c)$ of the fields on balls which form an ideal under gluing. |
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
377 |
Again, we give the examples first. |
215 | 378 |
|
834
16ec4ad5c618
fixing a weird numbering issue in \S 2, caused by switching to X.Y.Z numbering scheme
Scott Morrison <scott@tqft.net>
parents:
777
diff
changeset
|
379 |
\addtocounter{subsection}{-2} |
313 | 380 |
\begin{example}[contd.] |
381 |
For maps into spaces, $U(B; c)$ is generated by fields of the form $a-b \in \lf(B; c)$, |
|
382 |
where $a$ and $b$ are maps (fields) which are homotopic rel boundary. |
|
383 |
\end{example} |
|
215 | 384 |
|
313 | 385 |
\begin{example}[contd.] |
386 |
For $n$-category pictures, $U(B; c)$ is equal to the kernel of the evaluation map |
|
387 |
$\lf(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into |
|
388 |
domain and range. |
|
389 |
\end{example} |
|
834
16ec4ad5c618
fixing a weird numbering issue in \S 2, caused by switching to X.Y.Z numbering scheme
Scott Morrison <scott@tqft.net>
parents:
777
diff
changeset
|
390 |
\addtocounter{subsection}{2} |
16ec4ad5c618
fixing a weird numbering issue in \S 2, caused by switching to X.Y.Z numbering scheme
Scott Morrison <scott@tqft.net>
parents:
777
diff
changeset
|
391 |
\addtocounter{prop}{-2} |
313 | 392 |
|
393 |
These motivate the following definition. |
|
394 |
||
395 |
\begin{defn} |
|
215 | 396 |
A {\it local relation} is a collection subspaces $U(B; c) \sub \lf(B; c)$, |
397 |
for all $n$-manifolds $B$ which are |
|
398 |
homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, |
|
399 |
satisfying the following properties. |
|
400 |
\begin{enumerate} |
|
341 | 401 |
\item Functoriality: |
215 | 402 |
$f(U(B; c)) = U(B', f(c))$ for all homeomorphisms $f: B \to B'$ |
341 | 403 |
\item Local relations imply extended isotopy: |
215 | 404 |
if $x, y \in \cC(B; c)$ and $x$ is extended isotopic |
405 |
to $y$, then $x-y \in U(B; c)$. |
|
341 | 406 |
\item Ideal with respect to gluing: |
718 | 407 |
if $B = B' \cup B''$, $x\in U(B')$, and $r\in \cC(B'')$, then $x\bullet r \in U(B)$ |
215 | 408 |
\end{enumerate} |
313 | 409 |
\end{defn} |
410 |
See \cite{kw:tqft} for further details. |
|
215 | 411 |
|
412 |
||
413 |
\subsection{Constructing a TQFT} |
|
222
217b6a870532
committing changes from loon lake - mostly small blobs
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
215
diff
changeset
|
414 |
\label{sec:constructing-a-tqft} |
215 | 415 |
|
416 |
In this subsection we briefly review the construction of a TQFT from a system of fields and local relations. |
|
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
417 |
As usual, see \cite{kw:tqft} for more details. |
215 | 418 |
|
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
419 |
We can think of a path integral $Z(W)$ of an $n+1$-manifold |
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
420 |
(which we're not defining in this context; this is just motivation) as assigning to each |
215 | 421 |
boundary condition $x\in \cC(\bd W)$ a complex number $Z(W)(x)$. |
422 |
In other words, $Z(W)$ lies in $\c^{\lf(\bd W)}$, the vector space of linear |
|
423 |
maps $\lf(\bd W)\to \c$. |
|
424 |
||
425 |
The locality of the TQFT implies that $Z(W)$ in fact lies in a subspace |
|
426 |
$Z(\bd W) \sub \c^{\lf(\bd W)}$ defined by local projections. |
|
427 |
The linear dual to this subspace, $A(\bd W) = Z(\bd W)^*$, |
|
428 |
can be thought of as finite linear combinations of fields modulo local relations. |
|
429 |
(In other words, $A(\bd W)$ is a sort of generalized skein module.) |
|
430 |
This is the motivation behind the definition of fields and local relations above. |
|
431 |
||
432 |
In more detail, let $X$ be an $n$-manifold. |
|
433 |
%To harmonize notation with the next section, |
|
434 |
%let $\bc_0(X)$ be the vector space of finite linear combinations of fields on $X$, so |
|
435 |
%$\bc_0(X) = \lf(X)$. |
|
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
327
diff
changeset
|
436 |
\begin{defn} |
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
327
diff
changeset
|
437 |
\label{defn:TQFT-invariant} |
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
697
diff
changeset
|
438 |
The TQFT invariant of $X$ associated to a system of fields $\cC$ and local relations $U$ is |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
327
diff
changeset
|
439 |
$$A(X) \deq \lf(X) / U(X),$$ |
705
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
697
diff
changeset
|
440 |
where $U(X) \sub \lf(X)$ is the space of local relations in $\lf(X)$: |
ef503460486d
Edits from Aaron Mazel-Gee
Kevin Walker <kevin@canyon23.net>
parents:
697
diff
changeset
|
441 |
$U(X)$ is generated by fields of the form $u\bullet r$, where |
412
87b1507ebc56
done with tqftreview.tex for now
Kevin Walker <kevin@canyon23.net>
parents:
411
diff
changeset
|
442 |
$u\in U(B)$ for some embedded $n$-ball $B\sub X$ and $r\in \cC(X\setmin B)$. |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
327
diff
changeset
|
443 |
\end{defn} |
437 | 444 |
The blob complex, defined in the next section, |
445 |
is in some sense the derived version of $A(X)$. |
|
215 | 446 |
If $X$ has boundary we can similarly define $A(X; c)$ for each |
447 |
boundary condition $c\in\cC(\bd X)$. |
|
448 |
||
449 |
The above construction can be extended to higher codimensions, assigning |
|
450 |
a $k$-category $A(Y)$ to an $n{-}k$-manifold $Y$, for $0 \le k \le n$. |
|
451 |
These invariants fit together via actions and gluing formulas. |
|
867
d7130746cfad
adding some forward references about extended TQFTs, per referee
Scott Morrison <scott@tqft.net>
parents:
865
diff
changeset
|
452 |
We describe only the case $k=1$ below. We describe these extensions in the more general setting of the blob complex later, in particular in Examples \ref{ex:ncats-from-tqfts} and \ref{ex:blob-complexes-of-balls} and in \S \ref{sec:modules}. |
771 | 453 |
|
437 | 454 |
The construction of the $n{+}1$-dimensional part of the theory (the path integral) |
215 | 455 |
requires that the starting data (fields and local relations) satisfy additional |
456 |
conditions. |
|
777
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
457 |
(Specifically, $A(X; c)$ is finite dimensional for all $n$-manifolds $X$ and the inner products |
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
458 |
on $A(B^n; c)$ induced by the path integral of $B^{n+1}$ are positive definite for all $c$.) |
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
459 |
We do not assume these conditions here, so when we say ``TQFT" we mean a ``decapitated" TQFT |
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
460 |
that lacks its $n{+}1$-dimensional part. |
777
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
461 |
Such a decapitated TQFT is sometimes also called an $n{+}\epsilon$ or |
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
462 |
$n{+}\frac{1}{2}$ dimensional TQFT, referring to the fact that it assigns linear maps to $n{+}1$-dimensional |
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
463 |
mapping cylinders between $n$-manifolds, but nothing to general $n{+}1$-manifolds. |
215 | 464 |
|
465 |
Let $Y$ be an $n{-}1$-manifold. |
|
437 | 466 |
Define a linear 1-category $A(Y)$ as follows. |
467 |
The set of objects of $A(Y)$ is $\cC(Y)$. |
|
340
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
468 |
The morphisms from $a$ to $b$ are $A(Y\times I; a, b)$, |
f7da004e1f14
breaking long lines (probably a waste of time, but I couldn't resist)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
469 |
where $a$ and $b$ label the two boundary components of the cylinder $Y\times I$. |
215 | 470 |
Composition is given by gluing of cylinders. |
471 |
||
472 |
Let $X$ be an $n$-manifold with boundary and consider the collection of vector spaces |
|
437 | 473 |
$A(X; -) \deq \{A(X; c)\}$ where $c$ ranges through $\cC(\bd X)$. |
215 | 474 |
This collection of vector spaces affords a representation of the category $A(\bd X)$, where |
475 |
the action is given by gluing a collar $\bd X\times I$ to $X$. |
|
476 |
||
477 |
Given a splitting $X = X_1 \cup_Y X_2$ of a closed $n$-manifold $X$ along an $n{-}1$-manifold $Y$, |
|
437 | 478 |
we have left and right actions of $A(Y)$ on $A(X_1; -)$ and $A(X_2; -)$. |
215 | 479 |
The gluing theorem for $n$-manifolds states that there is a natural isomorphism |
480 |
\[ |
|
437 | 481 |
A(X) \cong A(X_1; -) \otimes_{A(Y)} A(X_2; -) . |
215 | 482 |
\] |
512
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
483 |
A proof of this gluing formula appears in \cite{kw:tqft}, but it also becomes a |
050dba5e7bdd
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Kevin Walker <kevin@canyon23.net>
parents:
468
diff
changeset
|
484 |
special case of Theorem \ref{thm:gluing} by taking $0$-th homology. |