1 \documentclass[11pt]{amsart}

     2 

     3 \usepackage{amsthm}

     4 \theoremstyle{plain}

     5 \newtheorem{prop}{Proposition}[section]

     6 \newtheorem{conj}[prop]{Conjecture}

     7 \newtheorem{thm}[prop]{Theorem}

     8 \newtheorem{lem}[prop]{Lemma}

     9 

    10 \usepackage{graphicx}

    11 \newcommand{\mathfig}[2]{{\hspace{-3pt}\begin{array}{c}%

    12   \raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{#2}}%

    13 \end{array}\hspace{-3pt}}}

    14 

    15 

    16 \usepackage{tikz}

    17 \usetikzlibrary{shapes}

    18 

    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);}}}}

    20 

    21 \usepackage{hyperref}

    22 \newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}}

    23 

    24 \newcommand{\bdy}{\partial}

    25 \newcommand{\iso}{\cong}

    26 

    27 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}

    28 \newcommand{\set}[1]{\left\{#1\right\}}

    29 \newcommand{\setc}[2]{\setcl{#1}{#2}}

    30 

    31 % tricky way to iterate macros over a list

    32 \def\semicolon{;}

    33 \def\applytolist#1{

    34     \expandafter\def\csname multi#1\endcsname##1{

    35         \def\multiack{##1}\ifx\multiack\semicolon

    36             \def\next{\relax}

    37         \else

    38             \csname #1\endcsname{##1}

    39             \def\next{\csname multi#1\endcsname}

    40         \fi

    41         \next}

    42     \csname multi#1\endcsname}

    43 

    44 % \def\cA{{\cal A}} for A..Z

    45 \def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}}

    46 \applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM;

    47 \newcommand{\cl}[1]{\underrightarrow{#1}}

    48 

    49 % \DeclareMathOperator{\pr}{pr} etc.

    50 \def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}

    51 \applytolist{declaremathop}{Maps}{Diff}{Homeo};

    52 

    53 \title{Fields and local relations}

    54 \author{Scott Morrison}

    55 \date{January 25 2011}

    56 

    57 \begin{document}

    58 \maketitle

    59 

    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.

    61 

    62 \section{Examples of fields}

    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$.

    64 

    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.

    66 

    67 There are two main examples which will motivate the precise definitions, so we'll go and understand these in some detail first.

    68 

    69 \subsection{Maps to a target space}

    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.

    71 

    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.

    73 

    74 Let's identify some useful features of this system of fields and local relations; momentarily these will inspire the axioms.

    75 

    76 \begin{description}

    77 \item[Boundaries] We can restrict $f: X \to T$ to a map $\bdy f: \bdy X \to T$.

    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$.

    79 \item[Relations form an ideal]

    80 Suppose $X$ and $Y$ are $n$-balls, and we can glue them together to form another $n$-ball $X \cup_S Y$.

    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$.

    82 \end{description}

    83 

    84 \end{document}