author | Scott Morrison <scott@tqft.net> |
Fri, 21 Jan 2011 20:53:49 -0800 | |
changeset 694 | 2d89072c8b33 |
child 695 | 1d99796a73f3 |
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 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
3 |
\usepackage{amsthm} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
4 |
\theoremstyle{plain} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
5 |
\newtheorem{prop}{Proposition}[section] |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
6 |
\newtheorem{conj}[prop]{Conjecture} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
7 |
\newtheorem{thm}[prop]{Theorem} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
8 |
\newtheorem{lem}[prop]{Lemma} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
9 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
10 |
\usepackage{graphicx} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
11 |
\newcommand{\mathfig}[2]{{\hspace{-3pt}\begin{array}{c}% |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
12 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{#2}}% |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
13 |
\end{array}\hspace{-3pt}}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
14 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
15 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
16 |
\usepackage{tikz} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
17 |
\usetikzlibrary{shapes} |
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 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.48,-0.16); \draw[->] (0,0.2) .. controls (0.6,0.8) and (0.6,-0.6) .. (0,0);}}}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
20 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
21 |
\usepackage{hyperref} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
22 |
\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
|
23 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
24 |
\newcommand{\bdy}{\partial} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
25 |
\newcommand{\iso}{\cong} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
26 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
27 |
\newcommand{\restrict}[2]{#1{}_{\mid #2}{}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
28 |
\newcommand{\set}[1]{\left\{#1\right\}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
29 |
\newcommand{\setc}[2]{\setcl{#1}{#2}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
30 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
31 |
% tricky way to iterate macros over a list |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
32 |
\def\semicolon{;} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
33 |
\def\applytolist#1{ |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
34 |
\expandafter\def\csname multi#1\endcsname##1{ |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
35 |
\def\multiack{##1}\ifx\multiack\semicolon |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
36 |
\def\next{\relax} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
37 |
\else |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
38 |
\csname #1\endcsname{##1} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
39 |
\def\next{\csname multi#1\endcsname} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
40 |
\fi |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
41 |
\next} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
42 |
\csname multi#1\endcsname} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
43 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
44 |
% \def\cA{{\cal A}} for A..Z |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
45 |
\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
|
46 |
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
47 |
\newcommand{\cl}[1]{\underrightarrow{#1}} |
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 |
% \DeclareMathOperator{\pr}{pr} etc. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
50 |
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
51 |
\applytolist{declaremathop}{Maps}{Diff}{Homeo}; |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
52 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
53 |
\title{Fields and local relations} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
54 |
\author{Scott Morrison} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
55 |
\date{January 25 2011} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
56 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
57 |
\begin{document} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
58 |
\maketitle |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
59 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
60 |
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
|
61 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
62 |
\section{Examples of fields} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
63 |
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
|
64 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
65 |
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
|
66 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
67 |
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
|
68 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
69 |
\subsection{Maps to a target space} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
70 |
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 possibly boundary condition. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
71 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
72 |
What then are the local relations? We define $U(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. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
73 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
74 |
Let's identify some useful features of this system of fields and local relations; momentarily these will inspire the axioms. |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
75 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
76 |
\begin{description} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
77 |
\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
|
78 |
\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
|
79 |
\item[Relations form an ideal] |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
80 |
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
|
81 |
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
|
82 |
\end{description} |
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
83 |
|
2d89072c8b33
writing notes for Teichner's course
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
84 |
\end{document} |