author | Kevin Walker <kevin@canyon23.net> |
Tue, 15 Mar 2011 16:49:49 -0700 | |
changeset 723 | 1b49432f3aef |
parent 704 | edcf5835b3dd |
permissions | -rw-r--r-- |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
1 |
\documentclass[11pt]{amsart} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
2 |
|
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
3 |
% margin stuff |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
4 |
\setlength{\textwidth}{6.25in} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
5 |
\setlength{\oddsidemargin}{0in} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
6 |
\setlength{\evensidemargin}{0in} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
7 |
\setlength{\textheight}{8.5in} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
8 |
\setlength{\topmargin}{-.25in} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
9 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
10 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
11 |
\usepackage{amsthm,amsmath} |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
12 |
\theoremstyle{plain} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
13 |
\newtheorem{prop}{Proposition}[section] |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
14 |
\newtheorem{puzzle}[prop]{Puzzle} |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
15 |
\newtheorem{conj}[prop]{Conjecture} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
16 |
\newtheorem{thm}[prop]{Theorem} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
17 |
\newtheorem{lem}[prop]{Lemma} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
18 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
19 |
\usepackage{graphicx} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
20 |
\newcommand{\mathfig}[2]{{\hspace{-3pt}\begin{array}{c}% |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
21 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{#2}}% |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
22 |
\end{array}\hspace{-3pt}}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
23 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
24 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
25 |
\usepackage{tikz} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
26 |
\usetikzlibrary{shapes} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
27 |
|
696 | 28 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.48,-0.16); \draw[->] (0,0.175) .. controls (0.6,0.65) and (0.6,-0.45) .. (0,0.025);}}}} |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
29 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
30 |
\usepackage{hyperref} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
31 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
32 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
33 |
\newcommand{\bdy}{\partial} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
34 |
\newcommand{\iso}{\cong} |
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
35 |
\newcommand{\tensor}{\otimes} |
696 | 36 |
\newcommand{\Tensor}{\bigotimes} |
701
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
37 |
\newcommand{\directSum}{\oplus} |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
38 |
\newcommand{\DirectSum}{\bigoplus} |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
39 |
|
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
40 |
\newcommand{\into}{\hookrightarrow} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
41 |
|
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
42 |
\newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
43 |
\newcommand{\set}[1]{\left\{#1\right\}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
44 |
\newcommand{\setc}[2]{\setcl{#1}{#2}} |
701
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
45 |
\newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}} |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
46 |
\newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.} |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
47 |
|
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
48 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
49 |
% tricky way to iterate macros over a list |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
50 |
\def\semicolon{;} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
51 |
\def\applytolist#1{ |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
52 |
\expandafter\def\csname multi#1\endcsname##1{ |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
53 |
\def\multiack{##1}\ifx\multiack\semicolon |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
54 |
\def\next{\relax} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
55 |
\else |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
56 |
\csname #1\endcsname{##1} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
57 |
\def\next{\csname multi#1\endcsname} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
58 |
\fi |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
59 |
\next} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
60 |
\csname multi#1\endcsname} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
61 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
62 |
% \def\cA{{\cal A}} for A..Z |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
63 |
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
64 |
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
65 |
\newcommand{\cl}[1]{\underrightarrow{#1}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
66 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
67 |
% \DeclareMathOperator{\pr}{pr} etc. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
68 |
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
69 |
\applytolist{declaremathop}{Maps}{Diff}{Homeo}{Hom}{Cone}; |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
70 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
71 |
\title{Fields and local relations} |
696 | 72 |
\author{Scott Morrison \\ Notes for Teichner's hot topics course} |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
73 |
\date{January 25 2011} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
74 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
75 |
\begin{document} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
76 |
\maketitle |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
77 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
78 |
This talk is essentially a `warm-up' for the main ideas of the blob complex paper. For the most part, it's intended as a summary of how to think about topological quantum field theories via `fields and local relations'. We'll look at some examples of fields, and then use these to motivate the axiomatics. This will get us ready for reading \S 3, the first definition of the blob complex. As we go, I'll also sketch the relationship between fields and local relations and higher categories. For the most part I'll be a little vague about the definitions of higher categories, and instead try to talk about fields and local relations in a way that conveys the intuitions for our later definition of a `disklike $n$-category', in \S 6. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
79 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
80 |
\section{Examples of fields} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
81 |
The barebones data of an `$n$-dimensional system of fields' $\cF$ is a collection of functors $\cF_k$, for $0 \leq k \leq n$, from the groupoid of $k$-manifolds and homeomorphisms to the category of sets. That is, we have to specify the `set of fields on $M$', for any manifold $M$ of dimension at most $n$, along with a prescription for how these sets transform under homeomorphisms of $M$. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
82 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
83 |
Whenever we have a system of fields, we also need the `local relations'. This is a functor $\cU$ from the groupoid of $n$-balls and homeomorphisms to the category of sets, such that $\cU \subset \cF$ and homeomorphisms act compatibly. Note that the local relations are only defined on balls, not arbitrary $n$-manifolds (hence `local'), and they only live at the top dimension. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
84 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
85 |
There are two main examples which will motivate the precise definitions, so we'll go and understand these in some detail first. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
86 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
87 |
\subsection{Maps to a target space} |
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
88 |
Fixing a target space $T$, we can define a system of fields $\Maps(- \to T)$. Actually, it's best to modify this a bit, just in the top dimension, where we'll linearize in the following way: define $\Maps(X^n \to T)$ on an $n$-manifold $X$ to be \emph{formal linear combinations} of maps to $T$, extending a \emph{fixed} linear map on $\bdy X$. (That is, arbitrary boundary conditions are allowed, but we can only take linear combinations of maps with the same boundary conditions.) This will be a common feature for all `linear' systems of fields: at the top dimension the set associated to an $n$-manifold will break up into a vector space for each possible boundary condition. |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
89 |
|
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
90 |
What then are the local relations? We define $\cU(B)$, the local relations on an $n$-ball $B$, to be the subspace of $\Maps(B \to T)$ spanned by differences $f-g$ of maps which are homotopic rel boundary. |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
91 |
|
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
92 |
Let's identify some useful features of this system of fields and local relations; later these will inspire the axioms. |
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
93 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
94 |
\begin{description} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
95 |
\item[Boundaries] We can restrict $f: X \to T$ to a map $\bdy f: \bdy X \to T$. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
96 |
\item[Gluing] Given maps $f: X \to T$ and $g: Y \to T$, and homeomorphic copies of $S$ in the boundaries of $X$ and $Y$, such that $\restrict{f}{S} = \restrict{g}{S}$, we can glue the maps together to obtain $f \bullet_S g : X \cup_S Y \to T$. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
97 |
\item[Relations form an ideal] |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
98 |
Suppose $X$ and $Y$ are $n$-balls, and we can glue them together to form another $n$-ball $X \cup_S Y$. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
99 |
If $f, g: X \to T$ are homotopic maps, and $h: Y \to T$ is an arbitrary map, and all agree on the $(n-1)$-ball $S$, then $f \bullet_S h$ and $g \bullet_S h$ are again homotopic to each other. Said otherwise, $f-g$ was a local relation on $X$, and $(f-g) \bullet_S h$ is a local relation on $X \cup_S Y$. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
100 |
\end{description} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
101 |
|
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
102 |
Finally, a puzzle for you to think about if the next example gets bogged down in nitty-gritty: |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
103 |
\begin{puzzle} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
104 |
Let $\cU(X)$ denote fields of the form $u \bullet f$, where $u \in \cU(B)$ for some ball $B$ in $X$, and $f$ is a map from $X \setminus B$ to $T$. Then $$\Maps(X \to T) / \cU(X) \iso \mathbb{C}[X \to T]$$ Why? |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
105 |
\end{puzzle} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
106 |
(The difficulty is meant to be that we only mod out by `local' homotopies, not all homotopies.) |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
107 |
|
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
108 |
|
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
109 |
\subsection{String diagrams} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
110 |
This will be a more complicated example, and also a very important one. Essentially, it's a recipe for constructing a system of fields and local relations from a suitable $n$-category. As we haven't yet talked about a definition of an $n$-category, I'll be somewhat vague about what we actually require from one. I'll spell out the construction precisely in the cases $n=1$ and $n=2$, where there are familiar concrete definitions to work with. Later, in \S 6, when we introduce our notion of a `disklike $n$-category', you should think of the definition as being optimized to make the transition back and forth between $n$-categories and systems of fields as straightforward as possible. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
111 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
112 |
The core idea is to fix a diagrammatic calculus which represents the algebraic operations in an $n$-category. The diagrams are drawn in $n$-balls. Each diagram is a recipe for composing some collection of morphisms. Modifying the diagram by an isotopy should not change the result of the corresponding composition (perhaps for some types of $n$-categories not all isotopies should be allowed, but we'll generally work in `most invariant' situation, which roughly corresponds to the $n$-categories have lots of nice duality properties). Moreover, the allowed diagrams should be specified by some `local rule': e.g. the diagrams are locally modeled on a certain collection of subdiagrams. Because the diagrams are specified in this way, we can then allow ourselves to draw the same diagrams on arbitrary manifolds, and these become our fields. When we restrict our attention to balls, the `local relations' are precisely those diagrams are a recipe for a composition which is zero in the $n$-category. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
113 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
114 |
There are several alternative schemes for realizing this idea. Two that may be familiar are `string diagrams' (which we'll discuss in detail below, beloved of quantum topologists) and `pasting diagrams' (familiar to category theorists). In fact, these are geometrically dual to each other (and one could look at them as limiting cases of diagrams based on handle decompositions, as the core or co-core diameter goes to zero). The use of string diagrams significantly predates the term (or indeed `quantum topology', and perhaps also `higher category'): Penrose was using them by the late '60s. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
115 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
116 |
Fix an $n$-category $\cC$, according to your favorite definition. Suppose that it has `the right sort of duality'. Let's state the general definition, but then to preserve sanity unwind it in dimensions $1$ and $2$. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
117 |
A string diagram on a $k$-manifold $X$ consists of |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
118 |
\begin{itemize} |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
119 |
\item a `conic stratification' (see below, think ``looks locally like a cell decomposition'') of X; |
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
120 |
\item a general position homeomorphism from the link of each $j$-cell to the boundary of the standard $(k-j)$-dimensional bihedron; and |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
121 |
\item a labelling of each $j$-cell by a $(k-j)$-dimensional morphism of $\cC$, with domain and range determined by the labelings of the link of the $j$-cell. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
122 |
\end{itemize} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
123 |
Actually, this data is just a representative of a string diagram, and we consider this data up to a certain equivalence; we can modify the homeomorphism parametrizing the link of a $j$-cell, at the expense of replacing the corresponding $(k-j)$-morphism labelling that $j$-cell by the `appropriate dual'. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
124 |
|
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
125 |
What is a conic stratification? Actually, I just made up that name. In the blob complex paper we just say ``cell decomposition'' but this is wrong (and we'll fix it)! Really we want something that looks locally like a cell decomposition. Let's postpone this, as it's just a distraction for now. |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
126 |
|
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
127 |
When $X$ has boundary, we ask that each cell meets the boundary transversely (so cells meeting the boundary are only half-cells). Note that this means that a string diagram on $X$ restricts to a string diagram on $\bdy X$. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
128 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
129 |
\subsubsection{$n=1$} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
130 |
Now suppose $n=1$; here the right sort of duality means that we want $\cC$ to be a $*$-$1$-category. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
131 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
132 |
A string diagram on a $0$-manifold consists just of a labeling of each point with an object of $\cC$. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
133 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
134 |
A string diagram on a $1$-manifold $S$ consists of |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
135 |
\begin{itemize} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
136 |
\item a cell decomposition of $S$: the $0$-cells form a finite collection of points in the interior of $S$, the $1$-cells are the complementary intervals; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
137 |
\item a labeling of each $1$-cell by an object of $\cC$; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
138 |
\item a transverse orientation of each $0$-cell; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
139 |
\item a labeling of each $0$-cell by a morphism of $\cC$, with source and target given by the labels on the $1$-cells on the `incoming' and `outgoing' sides of the $0$-cell. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
140 |
\end{itemize} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
141 |
As above, we allow ourselves to switch the transverse orientation of $0$-cell, as long as we replace the label on that $0$-cell by its $*$. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
142 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
143 |
Note that if $S$ is an interval, we can interpret the string diagram as a recipe for a morphism in $\cC$, at least after we fix one boundary point as `incoming' and the other `outgoing'. There's a (half-)$1$-cell adjacent to the incoming boundary point, and another adjacent to the outgoing boundary point. These will be the source and target of the morphism we build. Flip all the transverse orientations of the $0$-cells so they are compatible with the overall orientation of the interval. Now we simply compose all the morphisms living on the $0$-cells. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
144 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
145 |
If $\cC$ were a $*$-algebra (i.e., it has only one $0$-morphism) we could forget the labels on the $1$-cells, and a string diagram would just consist of a finite collection of oriented points in the interior, labelled by elements of the algebra, up to flipping an orientation and taking $*$ of the corresponding element. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
146 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
147 |
\subsubsection{$n=2$} |
703 | 148 |
Now suppose $\cC$ is a (strict) pivotal $*$-$2$-category. (The usual definition in the literature is for a pivotal tensor category; by a pivotal $2$-category we mean to take the axioms for a pivotal tensor category, think of a tensor category as a $2$-category with only one object, then forget that restriction. There is an unfortunate other use of the phrase `pivotal $2$-category' in the literature, which actually refers to a $3$-category, but that's their fault.) The $*$ here means that in addition to being able to rotate $2$-morphisms via the pivotal structure, we can also reflect them. |
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
149 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
150 |
A string diagram on a $0$-manifold is a labeling of each point by an object (a.k.a. a $0$-morphism) of $\cC$. A string diagram on a $1$-manifold is exactly as in the $n=1$ case, with labels taken from the $0$- and $1$-morphisms of $\cC$. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
151 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
152 |
A string diagram on a $2$-manifold $Y$ consists of |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
153 |
\begin{itemize} |
702 | 154 |
\item a `generalized cell decomposition' of $Y$: the $1$-skeleton is a graph embedded in $Y$, but the $2$-cells don't need to be balls. |
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
155 |
\item a $0$-morphism of $\cC$ on each $2$-cell; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
156 |
\item a transverse orientation of each $1$-cell; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
157 |
\item a $1$-morphism of $\cC$ on each $1$-cell, with source and target given by the labels on the $2$-cells on the incoming and outgoing sides; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
158 |
\item for each $0$-cell, a homeomorphism of its link to $S^1$ (this is `the boundary of the standard $2$-bihedron') such that none of the intersections of $1$-cells with the link are sent to $\pm 1$ (this is the `general position' requirement; the points $\pm 1$ are special, as part of the structure of a standard bihedron); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
159 |
\item a $2$-morphism of $\cC$ for each $0$-cell, with source and target given by the labels of the $1$-cells crossing the incoming and outgoing faces of the bihedron. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
160 |
\end{itemize} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
161 |
|
702 | 162 |
You can see here why we can't insist on an actual cell decomposition: asking that the $2$-cells are balls is a non-local condition, so we wouldn't be able to glue fields together. |
163 |
||
695
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
164 |
Let's spell out this stuff about bihedra. Suppose the neighborhood of a $0$-cell looks like the following. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
165 |
$$ |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
166 |
\begin{tikzpicture} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
167 |
\draw[fill] (0,0) circle (0.5mm) node[anchor=north west] (x) {$x$}; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
168 |
\draw (0,0) to[out=135,in=-90] node[above=10] {$b$} (-1,2); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
169 |
\draw (0,0) to[out=10,in=-150] node[right=15] {$c$} (3,1); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
170 |
\draw (0,0) -- node[below right] {$a$} (0,-2); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
171 |
\draw[red,->] (0,-1.5) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
172 |
\draw[red,->] (-0.85,1.2) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
173 |
\draw[red,->] (2.5,0.7) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
174 |
\draw[dashed] (-2,0) arc (135:45:2.81) node[anchor=west] {\tiny $+1$} arc (-45:-135:2.81) node[anchor=east] {\tiny $-1$}; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
175 |
\end{tikzpicture} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
176 |
$$ |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
177 |
(Here the small arrows indicate the transverse orientation of the $1$-cells, and the dashes indicate a parametrization of the link as the boundary of a bihedron.) |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
178 |
Which $2$-morphism space of $\cC$ should the label $x$ belong to? It should be an element of $\Hom(a, b \tensor c)$. But now what if we modify the parametrization as follows: |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
179 |
$$ |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
180 |
\begin{tikzpicture} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
181 |
\draw[fill] (0,0) circle (0.5mm) node[anchor=north west] (x) {$x'$}; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
182 |
\draw (0,0) to[out=135,in=-90] node[above=10] {$b$} (-1,2); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
183 |
\draw (0,0) to[out=10,in=-150] node[right=15] {$c$} (3,1); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
184 |
\draw (0,0) -- node[below right] {$a$} (0,-2); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
185 |
\draw[red,->] (0,-1.5) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
186 |
\draw[red,->] (-0.85,1.2) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
187 |
\draw[red,->] (2.5,0.7) -- +(0.2,0); |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
188 |
\draw[dashed] (225:2) arc (180:90:2.81) node[anchor=west] {\tiny $+1$} arc (0:-90:2.81) node[anchor=east] {\tiny $-1$}; |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
189 |
\end{tikzpicture} |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
190 |
$$ |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
191 |
What is the element $x'$? It should be an element of $\Hom(a \tensor c^*, b)$, and in a pivotal $2$-category this space is naturally isomorphic to $\Hom(a, b \tensor c)$, so we just choose $x'$ to be the image of $x$ under this isomorphism. |
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
192 |
|
1d99796a73f3
writing about string diagrams
Scott Morrison <scott@tqft.net>
parents:
694
diff
changeset
|
193 |
Finally, when $Y$ is a ball, how do we interpret a string diagram on $Y$ as a $2$-morphism in $\cC$? First choose a parametrization of $Y$ as a standard bihedron; now `sweep out' the interior of $Y$. We'll build a $2$-morphism from the tensor product of the $1$-morphisms labeling the $1$-cells meeting the lower boundary to the tensor product of the $1$-morphisms labelling the upper boundary. As we pass critical points in the $1$-cells, apply a pairing or copairing map from the category. As we pass $0$-cells, modify the parametrization to match the direction we're sweeping out, and compose with the label of the $0$-cell, acting on the appropriate tensor factors. |
696 | 194 |
|
195 |
As usual for fields based on string diagrams, the corresponding local relations are exactly the kernel of this `evaluation' map. |
|
196 |
||
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
197 |
\subsection{Conic stratifications} |
702 | 198 |
Here's my attempt to make ``looks locally like a cell decomposition'' sensible. A conic stratification of $M$ is a stratification $$M_0 \subset M_1 \subset \cdots \subset M_n = M$$ |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
199 |
(so $M_k \setminus M_{k-1}$ is a $k$-manifold, the connected components of which we'll still call $k$-cells, even though they need not be balls), which has a certain local model. |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
200 |
|
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
201 |
Any point on $k$-cell has a neighborhood $U$ which is homeomorphic to $B^k \times \Cone(X)$, where $X$ is some conic stratification of $S^{n-k-1}$, and this homeomorphism preserves strata. (In $B^k \times \Cone(X)$, there are no strata below level $k$, the cone points are the $k$-strata, and the points over the $i$-strata of $X$ form the $i+k+1$ strata.) |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
202 |
|
703 | 203 |
It's interesting to think about the details of this definition in dimensions $3$ and maybe even $4$, but in practice we have so few examples of such higher categories that particular axiomatizations of `string diagrams' are not deeply important. |
702 | 204 |
|
696 | 205 |
\section{Axioms for fields} |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
206 |
A $n$-dimensional system of fields and local relations $(\cF, \cU)$ enriched in a symmetric monoidal category $\cS$ consists of the following data: |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
207 |
\begin{description} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
208 |
\item[fields] functors $\cF_k$ from $k$-manifolds (and homeomorphisms) to sets; |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
209 |
\item[boundaries] natural transformations $\bdy : \cF_k \to (\cF_{k-1} \circ \bdy)$; |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
210 |
\item[structure] the structure of an object of $\cS$ on each set $\cF_n(X; c)$, and below, appropriate compatibility at the level of morphisms; |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
211 |
\item[gluing] when $\bdy X = (Y \sqcup Y) \cup Z$, there is an injective map $$\cF_k(X; y \bullet y \bullet z) \into \cF_k(X \bigcup_Y \selfarrow; z)$$ for each $y \in \cF_{k-1}(Y), z \in \cF_{k-1}(Z)$; |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
212 |
\item[identities] natural transformations $\times I: \cF_k \to (\cF_{k+1} \circ \times I)$; |
702 | 213 |
\item[local relations] a functor $\cU$ from $n$-balls (and homeomorphisms) to sets, so $\cU \subset \cF$. |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
214 |
\end{description} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
215 |
and these data satisfy the following properties: |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
216 |
\begin{itemize} |
703 | 217 |
\item everything respects the symmetric monoidal structures on $k$-manifolds (disjoint union), sets, and $\cS$: in particular, $$\cF_k(A \sqcup B) = \cF_k(A) \times \cF_k(B);$$ |
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
218 |
\item gluing is compatible with action of homeomorphisms; |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
219 |
\item the local relations form an ideal under gluing; |
702 | 220 |
\item gluing is surjective up to isotopy; |
221 |
\item identities are compatible on the nose with everything in sight. |
|
700
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
222 |
\end{itemize} |
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
223 |
|
172cf5fc2629
axioms (unfinished) and a bit about cell decompositions
Scott Morrison <scott@tqft.net>
parents:
698
diff
changeset
|
224 |
Actually in the `gluing' axiom above, the field $z$ on the right hand side actually needs to be interpreted as the image of $z$ under a gluing map one dimensional down, because it's now meant to be a field on $Z \bigcup_{\bdy Y} \selfarrow$. |
696 | 225 |
|
702 | 226 |
It's admittedly a little peculiar looking that we insist that gluing is surjective up to isotopy, but it's a feature of the examples and turns out to be useful (see the proof of the gluing formula below). We may actually want to relax this axiom even further: we didn't talk about this, but for systems of fields based on pasting diagrams (as opposed to string diagrams) for $n$-categories, we need to be able to `insert identities', as well as isotope, before gluing becomes surjective. `Inserting an identity' means cutting open a field somewhere that it is splittable, gluing on an identity morphism, then using a collaring morphism before gluing the field up again. Essentially the difference is that string diagrams `have identities everywhere', so they are always splittable after a small isotopy. |
227 |
||
696 | 228 |
\section{TQFT from fields} |
229 |
Given a system of fields and local relations $\cF, \cU$, we define the corresponding vector space valued invariant of $n$-manifolds $A$ as follows. For $X$ an $n$-manifold, write $\cU(X)$ for the subspace of $\cF(X)$ consisting of the span of the images of a gluing map $\cU(B; c) \tensor \cF(X \setminus B; c)$ for any embedded $n$-ball $B \subset X$, and boundary field $c \in \cF(\bdy B)$. We then define |
|
230 |
$$A(X) = \cF(X) / \cU(X).$$ |
|
231 |
It's clear that homeomorphisms of $X$ act on this space. Actually, this collapses to an action of the mapping class group: |
|
232 |
\begin{lem} |
|
233 |
Homeomorphisms isotopic to the identity act trivially on $A(X)$. |
|
234 |
\end{lem} |
|
235 |
\begin{proof} |
|
236 |
Any $1$-parameter family of homeomorphisms is homotopic (rel boundary) to a family for which during any sufficiently short interval of time, the homeomorphism is only being modified inside a ball. The difference between a field at the beginning of such an interval and the field at the end is in $\cU(X)$, and hence zero in $A(X)$. |
|
237 |
\end{proof} |
|
238 |
||
239 |
||
240 |
If $X$ has boundary, we can choose $c \in \cF(\bdy X)$ and similarly define a vector space $A(X; c) = \cF(X; c) / \cU(X; c)$. |
|
241 |
||
242 |
This invariant also extends to manifolds of other dimensions, associating to a codimension $k$ manifold $Y$ a linear $k$-category $A(Y)$. We'll spell this out below for small values of $k$, and postpone the full story until we have our own notion of $k$-category. Thus the TQFT we obtain from fields and local relations is `fully extended'. On the other hand, often a TQFT invariant that associates vector spaces to $n$-manifolds will also associate numbers to $(n+1)$-manifolds. Such a TQFT is called `$(n+1)$-dimensional', while one that doesn't is called alternatively `$(n+\epsilon)$-dimensional', `decapitated' or `topless'. In general the TQFTs from fields and local relations are just $(n+\epsilon)$-dimensional, although with some extra conditions on the input we can produce $(n+1)$-dimensional TQFTs. This discussion is almost entirely orthogonal to the content of the blob complex paper (although c.f. \S 6.7 on the $(n+1)$-category of $n$-categories), so we won't pursue it here. |
|
243 |
||
244 |
To an $(n-1)$-dimensional manifold $Y$, we associate a $1$-category $A(Y)$. Its objects are simply $\cF(Y)$. The morphism spaces are given by $$\Hom(a,b) = A(Y \times [0,1]; a \bullet b).$$ |
|
245 |
Composition of morphisms is via gluing then reparametrization: |
|
246 |
$$A(Y \times [0,1]; a \bullet b) \tensor A(Y \times [0,1]; b \bullet c) \to A(Y \times [0,2]; a \bullet c) \to A(Y \times [0,1]; a \bullet c).$$ |
|
247 |
The gluing maps themselves are strictly associative, and by the lemma above we don't have worry about the reparametrization step here breaking associativity. |
|
248 |
||
249 |
||
250 |
If $Y$ itself has boundary, we have some alternatives here. One is to interpret $Y \times [0,1]$ as the `pinched product', where we collapse the copy of $[0,1]$ over each point of $\bdy Y$. The other is to fix $c \in \cF(\bdy Y)$, and to define $A(Y; c)$, with objects $\cF(Y; c)$ and in which $\Hom(a,b) = A(Y \times [0,1]; a \bullet b \bullet (c \times [0,1]))$. |
|
251 |
||
252 |
Going deeper, we associate a $2$-category $A(P)$ to an $(n-2)$-dimensional manifold $P$. The $0$-morphisms are $\cF(P)$, the $1$-morphisms are $\cF(P \times I)$, and they compose by gluing intervals together. (Note that this composition is not associative on the nose, but will be associative up to a $2$-morphism shortly.) Finally the $2$-morphisms from $a$ to $b$, each $1$-morphisms from $x$ to $y$ are given by the vector space |
|
253 |
$$A(P \times I \times I; \tikz[baseline=11.5]{\draw (0,0) -- node[below] {$a$} (1,0) -- node[below, sloped] {$y \times I$} (1,1) -- node[above] {$b$} (0,1) (0,0) -- node[above,sloped] {$x \times I$} (0,1);})$$ |
|
254 |
||
255 |
\subsection{Gluing formulas} |
|
256 |
Even though the definition of these TQFTs is via an abstract looking (not to mention scarily infinite-dimensional) quotient, we can prove various `gluing formulas' that allow us to compute the invariants algebraically. |
|
257 |
||
258 |
\subsubsection{Codimension 1 gluing} |
|
259 |
||
260 |
Suppose an $n$-manifold $X$ contains a copy of $Y$, an $n-1$ manifold, as a codimension $0$ submanifold of its boundary. Fix a boundary condition $c \in \cF(\bdy X \setminus Y)$. Then the collection $A(X; c \bullet d)$, as $d$ varies over $\cF(Y)$, forms a module over the $1$-category $A(Y)$. The action is via gluing a collar onto $Y$, then applying a `collaring homeomorphism' $X \cup_Y Y \times I \to X$. |
|
261 |
||
262 |
If $X$ contains two copies of $Y$, $A(X)$ is then a bimodule over $A(Y)$. Below, we'll compute the invariant of the `glued up' manifold $X \bigcup_Y \selfarrow$ as the self-tensor product of this bimodule. |
|
263 |
||
701
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
264 |
What is the self-tensor product of a bimodule over a category? First, what is the tensor product of a left-module and a right-module? Recall a module $\cM$ over a category $\cC$ is a collection of vector spaces $\cM_c$ indexed by an object $c \in \cC$, along with a linear map $f: \cM_a \to \cM_b$ for each morphism $f:a \mapsto b$ of $\cC$. The tensor product of a left- and a right-module is defined to be the vector space |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
265 |
$$\cM \Tensor_\cC \cN = \left(\DirectSum_{c \in \cC} \cM_c \tensor {}_c\cN\right) \Big/ \setc{mf \tensor n - m \tensor fn}{f: c \mapsto c'}$$ |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
266 |
just as you'd expect. The self-tensor product of a bimodule ${}_{\cC}\cX_{\cC}$ is then |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
267 |
$$\cX \Tensor_{\cC} \selfarrow = \DirectSum_{c \in \cC} {}_c \cX_c / (xf - fx).$$ |
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
268 |
|
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
269 |
|
696 | 270 |
\begin{lem} |
271 |
Any isotopy of $X \bigcup_Y \selfarrow$ is homotopic to a composition of `collar shift' isotopies and isotopies that are constant on $Y$ (i.e. the image of an isotopy of $X$ itself). |
|
272 |
\end{lem} |
|
273 |
\begin{proof} |
|
274 |
First make the isotopy act locally. When it's acting in a small ball overlapping $Y$, conjugate by a collar shift to move it off. |
|
275 |
\end{proof} |
|
276 |
||
277 |
\begin{thm} |
|
278 |
$$A(X \bigcup_Y \selfarrow) \iso A(X) \Tensor_{A(Y)} \selfarrow$$ |
|
279 |
\end{thm} |
|
280 |
\begin{proof} |
|
701
a35df2babdae
some suggestions from kevin
Scott Morrison <scott@tqft.net>
parents:
700
diff
changeset
|
281 |
Certainly there is a map $\DirectSum_{y \in \cF(Y)} A(X; y \bullet y) \to A(X \bigcup_Y \selfarrow)$. We send an element of $A(X)$ to the corresponding `glued up' element of $A(X \bigcup_Y \selfarrow)$. This is well-defined since $\cU(X)$ maps into $\cU(X \bigcup_Y \selfarrow)$. This map descends down to a map |
696 | 282 |
$$A(X) \Tensor_{A(Y)} \selfarrow \to A(X \bigcup_Y \selfarrow)$$ |
283 |
since the fields $ev$ and $ve$ (here $e \in A(Y), v \in A(X)$) are isotopic on $X \bigcup_Y \selfarrow$ (see Figure \ref{fig:ev-ve}). |
|
284 |
||
285 |
\begin{figure}[!ht] |
|
286 |
$$ |
|
287 |
\begin{tikzpicture}[x=4cm,y=4cm] |
|
288 |
\node (a) at (0,2) { |
|
289 |
\begin{tikzpicture}[x=0.5cm,y=0.5cm] |
|
290 |
\node (a1) at (-2,1.2) {}; |
|
291 |
\node (a2) at (-2,0) {}; |
|
292 |
\node (b1) at (2,1.2) {}; |
|
293 |
\node (b2) at (2,0) {}; |
|
294 |
\draw (a1) arc (270:90:1) -- +(4,0) arc (90:-90:1); |
|
295 |
\draw (a2) arc (270:90:2.5) -- +(4,0) arc (90:-90:2.5); |
|
296 |
||
297 |
% end caps |
|
298 |
\draw (a1) arc (90:450:0.3 and 0.6); |
|
299 |
\draw (b1) arc (90:270:0.3 and 0.6); |
|
300 |
\draw[dashed] (b1) arc (90:-90:0.3 and 0.6); |
|
301 |
||
302 |
% the cylinder |
|
303 |
\draw (-1.2,1.2) arc (90:270:0.3 and 0.6); |
|
304 |
\draw[dashed] (-1.2,0) arc (-90:90: 0.3 and 0.6); |
|
305 |
\draw (-1.2,1.2) -- (1.2,1.2) (-1.2,0) -- (1.2,0); |
|
306 |
\draw (1.2,0) arc (-90:270:0.3 and 0.6); |
|
307 |
% the donut hole |
|
308 |
\draw (-2.5,4.2) arc (-135:-45:2); |
|
309 |
\draw (-2,3.9) arc (135:45:1.3); |
|
310 |
||
311 |
% labels |
|
312 |
\node at (1.8,4) {\Large $v$}; |
|
313 |
\node at (0,0.5) {\Large $e$}; |
|
314 |
\end{tikzpicture} |
|
315 |
}; |
|
316 |
\node (ev) at (-1,1) { |
|
317 |
\begin{tikzpicture}[x=0.5cm,y=0.5cm] |
|
318 |
\node[coordinate] (a1) at (-2,1.2) {}; |
|
319 |
\node[coordinate] (a2) at (-2,0) {}; |
|
320 |
\node[coordinate] (b1) at (2,1.2) {}; |
|
321 |
\node[coordinate] (b2) at (2,0) {}; |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
322 |
\draw (a1) arc (270:90:1) -- +(4,0) arc (90:-90:1); |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
323 |
\draw (a2) arc (270:90:2.5) -- +(4,0) arc (90:-90:2.5); |
696 | 324 |
|
325 |
% end caps |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
326 |
\draw (a1) arc (90:450:0.3 and 0.6); |
696 | 327 |
\draw (b1) arc (90:270:0.3 and 0.6); |
328 |
\draw[dashed] (b1) arc (90:-90:0.3 and 0.6); |
|
329 |
||
330 |
% the donut hole |
|
331 |
\draw (-2.5,4.2) arc (-135:-45:2); |
|
332 |
\draw (-2,3.9) arc (135:45:1.3); |
|
333 |
||
334 |
% dots |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
335 |
\draw[dotted] (-3.7,2.4) ellipse (0.7 and 0.4); |
696 | 336 |
|
337 |
% labels |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
338 |
\node at (1.8,4) {\Large $v$}; |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
339 |
\node at (-3.5,1.4) {\Large $e$}; |
696 | 340 |
\end{tikzpicture} |
341 |
}; |
|
342 |
\node (ve) at (1,1) { |
|
343 |
\begin{tikzpicture}[x=0.5cm,y=0.5cm] |
|
344 |
\node[coordinate] (a1) at (-2,1.2) {}; |
|
345 |
\node[coordinate] (a2) at (-2,0) {}; |
|
346 |
\node[coordinate] (b1) at (2,1.2) {}; |
|
347 |
\node[coordinate] (b2) at (2,0) {}; |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
348 |
\draw (a1) arc (270:90:1) -- +(4,0) arc (90:-90:1); |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
349 |
\draw (a2) arc (270:90:2.5) -- +(4,0) arc (90:-90:2.5); |
696 | 350 |
|
351 |
% end caps |
|
352 |
\draw (a1) arc (90:450:0.3 and 0.6); |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
353 |
\draw (b1) arc (90:270:0.3 and 0.6); |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
354 |
\draw[dashed] (b1) arc (90:-90:0.3 and 0.6); |
696 | 355 |
|
356 |
% dots |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
357 |
\draw[dotted] (3.7,2.4) ellipse (0.7 and 0.4); |
696 | 358 |
|
359 |
% the donut hole |
|
360 |
\draw (-2.5,4.2) arc (-135:-45:2); |
|
361 |
\draw (-2,3.9) arc (135:45:1.3); |
|
362 |
||
363 |
% labels |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
364 |
\node at (1.8,4) {\Large $v$}; |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
365 |
\node at (3.5,1.4) {\Large $e$}; |
696 | 366 |
\end{tikzpicture} |
367 |
}; |
|
368 |
\node (b) at (0,0) { |
|
369 |
\begin{tikzpicture}[x=0.5cm,y=0.5cm] |
|
370 |
\node[coordinate] (a1) at (-2,1.2) {}; |
|
371 |
\node[coordinate] (a2) at (-2,0) {}; |
|
372 |
\node[coordinate] (b1) at (2,1.2) {}; |
|
373 |
\node[coordinate] (b2) at (2,0) {}; |
|
374 |
\draw (a1) arc (270:90:1) -- +(4,0) arc (90:-90:1) -- (-2,1.2); |
|
375 |
\draw (a2) arc (270:90:2.5) -- +(4,0) arc (90:-90:2.5) -- (-2,0); |
|
376 |
||
377 |
% the donut hole |
|
378 |
\draw (-2.5,4.2) arc (-135:-45:2); |
|
379 |
\draw (-2,3.9) arc (135:45:1.3); |
|
380 |
||
381 |
% dots |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
382 |
\draw[dotted] (-3.7,2.4) ellipse (0.7 and 0.4); |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
383 |
\draw[dotted] (3.7,2.4) ellipse (0.7 and 0.4); |
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
384 |
\draw[dotted] (0,0.6) ellipse (0.3 and 0.6); |
696 | 385 |
|
386 |
% labels |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
387 |
\node at (1.8,4) {$ve \sim ev$}; |
696 | 388 |
\end{tikzpicture} |
389 |
}; |
|
390 |
\draw[->] (a) -- (ev); |
|
391 |
\draw[->] (a) -- (ve); |
|
392 |
\draw[->] (ev) -- (b); |
|
393 |
\draw[->] (ve) -- (b); |
|
394 |
\end{tikzpicture} |
|
395 |
$$ |
|
698
f2a4a0788f06
adjusting figure and proof of gluing per kevin's suggestions
Scott Morrison <scott@tqft.net>
parents:
696
diff
changeset
|
396 |
\caption{$ve$ and $ev$ differ by a collar shift on the glued manifold} |
696 | 397 |
\label{fig:ev-ve} |
398 |
\end{figure} |
|
399 |
||
400 |
There is a map the other way, too. There isn't quite a map $\cF(X \bigcup_Y \selfarrow) \to \cF(X)$, since a field on $X \bigcup_Y \selfarrow$ need not be splittable along $Y$. Nevertheless, every field is isotopic to one that is splittable along $Y$, and combining this with the lemma above we obtain a map $\cF(X \bigcup_Y \selfarrow) / (\text{isotopy}) \to A(X) \Tensor_{A(Y)} \selfarrow$. We now need to show that this descends to a map from $A(X \bigcup_Y \selfarrow)$. Consider an field of the form $u \bullet f$, for some ball $B$ embedded in $X \bigcup_Y \selfarrow$ and $u \in \cU(B), f \in \cF(X \bigcup_Y \selfarrow \setminus B)$. Now $B$ might cross $Y$, but we can choose an isotopy of $X \bigcup_Y \selfarrow$ so that it doesn't. Thus $u \bullet f$ is sent to a field in $\cU(X)$, and is zero in $A(X) \Tensor_{A(Y)} \selfarrow$. |
|
401 |
||
402 |
It's not too hard to see that these maps are mutual inverses. |
|
403 |
\end{proof} |
|
404 |
||
703 | 405 |
We can also state a codimension $2$ gluing formula, but even just defining what modules and tensor products over $2$-categories mean is painful. (Maybe I'll expand these notes in the unlikely event that I still have time in the second talk.) Our eventual notion of $n$-category will significantly alleviate this problem, but we still shy away from stating a nice gluing formula in all codimensions simply because the blob complex paper never defines a notion of equivalence of $k$-categories. We're pretty sure we're on the right track with this, however, and the statements are all relatively easy. |
696 | 406 |
|
407 |
\section{$n$-categories and fields} |
|
408 |
Roughly, the data of a system of fields and local relations and the data of a disklike $n$-category (from \S 6) are intended to be equivalent. |
|
409 |
||
410 |
You essentially recover the axioms for a disklike $n$-category by just remembering everything about $\cF(X) / \cU(X)$ for $X$ a ball. |
|
411 |
Almost equivalently, $A(\bullet)$ gives a disklike $n$-category. |
|
412 |
||
413 |
Going the other direction, we've already sketch one method of producing a system of fields from an $n$-category (string diagrams). In \S 6.3 we give another (although not explicitly), based on ball decompositions, which are roughly generalized pasting diagrams. |
|
414 |
||
694
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
415 |
\end{document} |