author | Scott Morrison <scott@tqft.net> |
Tue, 09 Aug 2011 23:22:07 -0700 | |
changeset 864 | 296fcf7e5914 |
parent 763 | 71ab1c23df2a |
permissions | -rw-r--r-- |
566 | 1 |
%% PNAStmpl.tex |
2 |
%% Template file to use for PNAS articles prepared in LaTeX |
|
3 |
%% Version: Apr 14, 2008 |
|
4 |
||
5 |
||
6 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
7 |
%% BASIC CLASS FILE |
|
8 |
%% PNAStwo for two column articles is called by default. |
|
9 |
%% Uncomment PNASone for single column articles. One column class |
|
10 |
%% and style files are available upon request from pnas@nas.edu. |
|
11 |
%% (uncomment means get rid of the '%' in front of the command) |
|
12 |
||
13 |
%\documentclass{pnasone} |
|
14 |
\documentclass{pnastwo} |
|
15 |
||
16 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
17 |
%% Changing position of text on physical page: |
|
18 |
%% Since not all printers position |
|
19 |
%% the printed page in the same place on the physical page, |
|
20 |
%% you can change the position yourself here, if you need to: |
|
21 |
||
22 |
% \advance\voffset -.5in % Minus dimension will raise the printed page on the |
|
23 |
% physical page; positive dimension will lower it. |
|
24 |
||
25 |
%% You may set the dimension to the size that you need. |
|
26 |
||
27 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
28 |
%% OPTIONAL GRAPHICS STYLE FILE |
|
29 |
||
30 |
%% Requires graphics style file (graphicx.sty), used for inserting |
|
31 |
%% .eps files into LaTeX articles. |
|
32 |
%% Note that inclusion of .eps files is for your reference only; |
|
33 |
%% when submitting to PNAS please submit figures separately. |
|
34 |
||
35 |
%% Type into the square brackets the name of the driver program |
|
36 |
%% that you are using. If you don't know, try dvips, which is the |
|
37 |
%% most common PC driver, or textures for the Mac. These are the options: |
|
38 |
||
39 |
% [dvips], [xdvi], [dvipdf], [dvipdfm], [dvipdfmx], [pdftex], [dvipsone], |
|
40 |
% [dviwindo], [emtex], [dviwin], [pctexps], [pctexwin], [pctexhp], [pctex32], |
|
41 |
% [truetex], [tcidvi], [vtex], [oztex], [textures], [xetex] |
|
42 |
||
43 |
%\usepackage[dvips]{graphicx} |
|
44 |
||
45 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
46 |
%% OPTIONAL POSTSCRIPT FONT FILES |
|
47 |
||
48 |
%% PostScript font files: You may need to edit the PNASoneF.sty |
|
49 |
%% or PNAStwoF.sty file to make the font names match those on your system. |
|
50 |
%% Alternatively, you can leave the font style file commands commented out |
|
51 |
%% and typeset your article using the default Computer Modern |
|
52 |
%% fonts (recommended). If accepted, your article will be typeset |
|
53 |
%% at PNAS using PostScript fonts. |
|
54 |
||
55 |
||
56 |
% Choose PNASoneF for one column; PNAStwoF for two column: |
|
57 |
%\usepackage{PNASoneF} |
|
58 |
%\usepackage{PNAStwoF} |
|
59 |
||
60 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
61 |
%% ADDITIONAL OPTIONAL STYLE FILES |
|
62 |
||
63 |
%% The AMS math files are commonly used to gain access to useful features |
|
64 |
%% like extended math fonts and math commands. |
|
65 |
||
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
566
diff
changeset
|
66 |
\usepackage{amssymb,amsfonts,amsmath,amsthm} |
566 | 67 |
|
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
68 |
% fiddle with fonts |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
69 |
|
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
70 |
\usepackage{microtype} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
71 |
|
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
72 |
\usepackage{ifxetex} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
73 |
\ifxetex |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
74 |
\usepackage{xunicode,fontspec,xltxtra} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
75 |
\setmainfont[Ligatures={}]{Linux Libertine O} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
76 |
\usepackage{unicode-math} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
77 |
\setmathfont{Asana Math} |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
78 |
\fi |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
79 |
|
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
80 |
|
566 | 81 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
82 |
%% OPTIONAL MACRO FILES |
|
83 |
%% Insert self-defined macros here. |
|
84 |
%% \newcommand definitions are recommended; \def definitions are supported |
|
85 |
||
86 |
%\newcommand{\mfrac}[2]{\frac{\displaystyle #1}{\displaystyle #2}} |
|
87 |
%\def\s{\sigma} |
|
88 |
||
675
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
89 |
\def\bc{{\mathcal B}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
90 |
\def\btc{{\mathcal{BT}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
91 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
92 |
\newcommand{\HC}{\operatorname{Hoch}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
93 |
\newcommand{\HH}{\operatorname{HH}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
94 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
95 |
\newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
96 |
\newcommand{\CD}[1]{C_*(\Diff(#1))} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
97 |
\newcommand{\CH}[1]{CH_*(#1)} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
98 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
99 |
\newcommand{\cl}[1]{\underrightarrow{#1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
100 |
\newcommand{\clh}[1]{\underrightarrow{#1}_{{}_{{}_{{}_h}}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
101 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
102 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
103 |
\newcommand{\Set}{\text{\textbf{Set}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
104 |
\newcommand{\Vect}{\text{\textbf{Vect}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
105 |
\newcommand{\Kom}{\text{\textbf{Kom}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
106 |
\newcommand{\Cat}{\mathcal{C}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
107 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
108 |
\newcommand{\cell}{\mathfrak{D}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
109 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
110 |
\newcommand{\into}{\hookrightarrow} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
111 |
\newcommand{\onto}{\twoheadrightarrow} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
112 |
\newcommand{\iso}{\cong} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
113 |
\newcommand{\quism}{\underset{\text{q.i.}}{\simeq}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
114 |
\newcommand{\htpy}{\simeq} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
115 |
\newcommand{\actsOn}{\circlearrowright} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
116 |
\newcommand{\xto}[1]{\xrightarrow{#1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
117 |
\newcommand{\isoto}{\xto{\iso}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
118 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
119 |
\newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
120 |
\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
121 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
122 |
\newcommand{\directSum}{\oplus} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
123 |
\newcommand{\DirectSum}{\bigoplus} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
124 |
\newcommand{\tensor}{\otimes} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
125 |
\newcommand{\Tensor}{\bigotimes} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
126 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
127 |
\newcommand{\Bord}{\operatorname{Bord}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
128 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
129 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.39,-0.16); \draw[->] (0,0.2) .. controls (0.5,0.6) and (0.5,-0.4) .. (0,0);}}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
130 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
131 |
\newcommand{\bdy}{\partial} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
132 |
\newcommand{\compose}{\circ} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
133 |
\newcommand{\eset}{\emptyset} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
134 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
135 |
\newcommand{\id}{\boldsymbol{1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
136 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
137 |
% kw_macros |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
138 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
139 |
%!TEX root = ../blob1.tex |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
140 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
141 |
%%%%% excerpts from KW's include file of standard macros |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
142 |
%%% (with various new ones added) |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
143 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
144 |
\def\z{\mathbb{Z}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
145 |
\def\r{\mathbb{R}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
146 |
\def\c{\mathbb{C}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
147 |
\def\t{\mathbb{T}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
148 |
\def\ebb{\mathbb{E}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
149 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
150 |
\def\k{{\bf k}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
151 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
152 |
\def\du{\sqcup} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
153 |
\def\bd{\partial} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
154 |
\def\sub{\subset} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
155 |
\def\subeq{\subseteq} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
156 |
\def\sup{\supset} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
157 |
%\def\setmin{\smallsetminus} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
158 |
\def\setmin{\setminus} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
159 |
\def\ep{\epsilon} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
160 |
\def\sgl{_\mathrm{gl}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
161 |
\def\op{^\mathrm{op}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
162 |
\def\deq{\stackrel{\mathrm{def}}{=}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
163 |
\def\pd#1#2{\frac{\partial #1}{\partial #2}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
164 |
%\def\lf{\overline{\cC}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
165 |
\def\lf{\cC} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
166 |
\def\ot{\otimes} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
167 |
\def\vphi{\varphi} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
168 |
\def\inv{^{-1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
169 |
\def\ol{\overline} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
170 |
\def\BD{BD} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
171 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
172 |
\def\spl{_\pitchfork} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
173 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
174 |
|
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
175 |
|
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
176 |
|
675
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
177 |
% equations |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
178 |
\newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
179 |
\newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
180 |
\newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
181 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
182 |
\DeclareMathOperator*{\colim}{colim} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
183 |
\DeclareMathOperator*{\hocolim}{hocolim} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
184 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
185 |
\DeclareMathOperator{\most}{most} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
186 |
\DeclareMathOperator{\rest}{rest} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
187 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
188 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
189 |
\DeclareMathOperator{\kone}{cone} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
190 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
191 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
192 |
% new theorems |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
193 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
194 |
\newtheorem{prop}{Proposition} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
195 |
\newtheorem{property}[prop]{Property} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
196 |
\newtheorem{thm}[prop]{Theorem} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
197 |
\newtheorem{lem}[prop]{Lemma} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
198 |
\newtheorem{defn}[prop]{Definition} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
199 |
\newtheorem{axiom}[prop]{Axiom} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
200 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
201 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
202 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
203 |
% \mathrlap -- a horizontal \smash-------------------------------- |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
204 |
% For comparison, the existing overlap macros: |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
205 |
% \def\llap#1{\hbox to 0pt{\hss#1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
206 |
% \def\rlap#1{\hbox to 0pt{#1\hss}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
207 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
208 |
\def\mathllap{\mathpalette\mathllapinternal} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
209 |
\def\mathrlap{\mathpalette\mathrlapinternal} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
210 |
\def\mathclap{\mathpalette\mathclapinternal} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
211 |
\def\mathllapinternal#1#2{% |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
212 |
\llap{$\mathsurround=0pt#1{#2}$}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
213 |
\def\mathrlapinternal#1#2{% |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
214 |
\rlap{$\mathsurround=0pt#1{#2}$}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
215 |
\def\mathclapinternal#1#2{% |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
216 |
\clap{$\mathsurround=0pt#1{#2}$}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
217 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
218 |
% tricky way to iterate macros over a list |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
219 |
\def\semicolon{;} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
220 |
\def\applytolist#1{ |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
221 |
\expandafter\def\csname multi#1\endcsname##1{ |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
222 |
\def\multiack{##1}\ifx\multiack\semicolon |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
223 |
\def\next{\relax} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
224 |
\else |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
225 |
\csname #1\endcsname{##1} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
226 |
\def\next{\csname multi#1\endcsname} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
227 |
\fi |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
228 |
\next} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
229 |
\csname multi#1\endcsname} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
230 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
231 |
% \def\cA{{\cal A}} for A..Z |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
232 |
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
233 |
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
234 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
235 |
% \def\bbA{{\mathbb A}} for A..Z |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
236 |
\def\bbc#1{\expandafter\def\csname bb#1\endcsname{{\mathbb #1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
237 |
\applytolist{bbc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
238 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
239 |
% \def\bA{{\mathbf A}} for A..Z |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
240 |
\def\bfc#1{\expandafter\def\csname bf#1\endcsname{{\mathbf #1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
241 |
\applytolist{bfc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
242 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
243 |
% \DeclareMathOperator{\pr}{pr} etc. |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
244 |
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
245 |
\applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat}; |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
246 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
247 |
% \todo, \nn and \noop |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
248 |
\newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
249 |
\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
250 |
\long\def\noop#1{} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
251 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
252 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
253 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
254 |
% references |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
255 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
256 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
257 |
\newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
258 |
\newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
259 |
\newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
260 |
\newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
261 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
262 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
263 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
264 |
% figures |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
265 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
266 |
\newcommand{\mathfig}[2]{\ensuremath{\hspace{-3pt}\begin{array}{c}% |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
267 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{#2}}% |
675
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
268 |
\end{array}\hspace{-3pt}}} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
269 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
270 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
271 |
% packages |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
272 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
273 |
\usepackage{tikz} |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
274 |
%\usetikzlibrary{shapes} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
275 |
%\usetikzlibrary{backgrounds} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
276 |
%\usetikzlibrary{decorations,decorations.pathreplacing} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
277 |
%\usetikzlibrary{fit,calc,through} |
675
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
278 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
279 |
\usepackage[all,color]{xy} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
280 |
\SelectTips{cm}{} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
281 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
282 |
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
283 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
284 |
\usepackage{xcolor} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
285 |
\definecolor{dark-red}{rgb}{0.7,0.25,0.25} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
286 |
\definecolor{dark-blue}{rgb}{0.15,0.15,0.55} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
287 |
\definecolor{medium-blue}{rgb}{0,0,0.65} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
288 |
|
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
289 |
\hypersetup{ |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
290 |
colorlinks, linkcolor={dark-red}, |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
291 |
citecolor={dark-blue}, urlcolor={medium-blue} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
292 |
} |
ccc2d7fe57b3
merging preamble into the main file
Scott Morrison <scott@tqft.net>
parents:
673
diff
changeset
|
293 |
|
566 | 294 |
|
295 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
296 |
%% Don't type in anything in the following section: |
|
297 |
%%%%%%%%%%%% |
|
298 |
%% For PNAS Only: |
|
299 |
\contributor{Submitted to Proceedings |
|
300 |
of the National Academy of Sciences of the United States of America} |
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
566
diff
changeset
|
301 |
%\url{www.pnas.org/cgi/doi/10.1073/pnas.0709640104} |
566 | 302 |
\copyrightyear{2008} |
303 |
\issuedate{Issue Date} |
|
304 |
\volume{Volume} |
|
305 |
\issuenumber{Issue Number} |
|
306 |
%%%%%%%%%%%% |
|
307 |
||
308 |
\begin{document} |
|
309 |
||
310 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
311 |
||
312 |
||
313 |
%% For titles, only capitalize the first letter |
|
314 |
%% \title{Almost sharp fronts for the surface quasi-geostrophic equation} |
|
315 |
||
653 | 316 |
\title{Higher categories, colimits, and the blob complex} |
566 | 317 |
|
318 |
||
319 |
%% Enter authors via the \author command. |
|
320 |
%% Use \affil to define affiliations. |
|
321 |
%% (Leave no spaces between author name and \affil command) |
|
322 |
||
323 |
%% Note that the \thanks{} command has been disabled in favor of |
|
324 |
%% a generic, reserved space for PNAS publication footnotes. |
|
325 |
||
326 |
%% \author{<author name> |
|
327 |
%% \affil{<number>}{<Institution>}} One number for each institution. |
|
328 |
%% The same number should be used for authors that |
|
329 |
%% are affiliated with the same institution, after the first time |
|
330 |
%% only the number is needed, ie, \affil{number}{text}, \affil{number}{} |
|
331 |
%% Then, before last author ... |
|
332 |
%% \and |
|
333 |
%% \author{<author name> |
|
334 |
%% \affil{<number>}{}} |
|
335 |
||
336 |
%% For example, assuming Garcia and Sonnery are both affiliated with |
|
337 |
%% Universidad de Murcia: |
|
338 |
%% \author{Roberta Graff\affil{1}{University of Cambridge, Cambridge, |
|
339 |
%% United Kingdom}, |
|
340 |
%% Javier de Ruiz Garcia\affil{2}{Universidad de Murcia, Bioquimica y Biologia |
|
341 |
%% Molecular, Murcia, Spain}, \and Franklin Sonnery\affil{2}{}} |
|
342 |
||
651 | 343 |
\author{Scott Morrison\affil{1}{Miller Institute for Basic Research, UC Berkeley, CA 94704, USA} |
344 |
\and Kevin Walker\affil{2}{Microsoft Station Q, 2243 CNSI Building, UC Santa Barbara, CA 93106, USA}} |
|
566 | 345 |
|
346 |
\contributor{Submitted to Proceedings of the National Academy of Sciences |
|
347 |
of the United States of America} |
|
348 |
||
349 |
%% The \maketitle command is necessary to build the title page. |
|
350 |
\maketitle |
|
351 |
||
352 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
353 |
\begin{article} |
|
354 |
||
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
355 |
|
650 | 356 |
\begin{abstract} |
669
c21da249a015
minor changes to abstract, and blob diagrams
Scott Morrison <scott@tqft.net>
parents:
668
diff
changeset
|
357 |
We summarize our axioms for higher categories, and describe the ``blob complex". |
651 | 358 |
Fixing an $n$-category $\cC$, the blob complex associates a chain complex $\bc_*(W;\cC)$ to any $n$-manifold $W$. |
669
c21da249a015
minor changes to abstract, and blob diagrams
Scott Morrison <scott@tqft.net>
parents:
668
diff
changeset
|
359 |
The $0$-th homology of this chain complex recovers the usual topological quantum field theory invariants of $W$. |
c21da249a015
minor changes to abstract, and blob diagrams
Scott Morrison <scott@tqft.net>
parents:
668
diff
changeset
|
360 |
The higher homology groups should be viewed as generalizations of Hochschild homology (indeed, when $W=S^1$ they coincide). |
651 | 361 |
The blob complex has a very natural definition in terms of homotopy colimits along decompositions of the manifold $W$. |
362 |
We outline the important properties of the blob complex, and sketch the proof of a generalization of |
|
363 |
Deligne's conjecture on Hochschild cohomology and the little discs operad to higher dimensions. |
|
650 | 364 |
\end{abstract} |
566 | 365 |
|
366 |
||
367 |
%% When adding keywords, separate each term with a straight line: | |
|
578 | 368 |
\keywords{n-categories | topological quantum field theory | hochschild homology} |
566 | 369 |
|
370 |
%% Optional for entering abbreviations, separate the abbreviation from |
|
371 |
%% its definition with a comma, separate each pair with a semicolon: |
|
372 |
%% for example: |
|
373 |
%% \abbreviations{SAM, self-assembled monolayer; OTS, |
|
374 |
%% octadecyltrichlorosilane} |
|
375 |
||
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
376 |
% \abbreviations{TQFT, topological quantum field theory} |
566 | 377 |
|
378 |
%% The first letter of the article should be drop cap: \dropcap{} |
|
379 |
%\dropcap{I}n this article we study the evolution of ''almost-sharp'' fronts |
|
380 |
||
381 |
%% Enter the text of your article beginning here and ending before |
|
382 |
%% \begin{acknowledgements} |
|
383 |
%% Section head commands for your reference: |
|
384 |
%% \section{} |
|
385 |
%% \subsection{} |
|
386 |
%% \subsubsection{} |
|
387 |
||
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
388 |
\dropcap{T}he aim of this paper is to describe a derived category analogue of topological quantum field theories. |
630
e0093da0d39f
silly commit to move stuff from office to home
Kevin Walker <kevin@canyon23.net>
parents:
627
diff
changeset
|
389 |
|
e0093da0d39f
silly commit to move stuff from office to home
Kevin Walker <kevin@canyon23.net>
parents:
627
diff
changeset
|
390 |
For our purposes, an $n{+}1$-dimensional TQFT is a locally defined system of |
653 | 391 |
invariants of manifolds of dimensions 0 through $n{+}1$. In particular, |
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
392 |
the TQFT invariant $A(Y)$ of a closed $k$-manifold $Y$ is a linear $(n{-}k)$-category. |
632 | 393 |
If $Y$ has boundary then $A(Y)$ is a collection of $(n{-}k)$-categories which afford |
394 |
a representation of the $(n{-}k{+}1)$-category $A(\bd Y)$. |
|
763 | 395 |
(See \cite{1009.5025} and \cite{kw:tqft}; |
632 | 396 |
for a more homotopy-theoretic point of view see \cite{0905.0465}.) |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
397 |
|
632 | 398 |
We now comment on some particular values of $k$ above. |
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
399 |
A linear 0-category is a vector space, and a representation |
632 | 400 |
of a vector space is an element of the dual space. |
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
401 |
Thus a TQFT assigns to each closed $n$-manifold $Y$ a vector space $A(Y)$, |
632 | 402 |
and to each $(n{+}1)$-manifold $W$ an element of $A(\bd W)^*$. |
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
403 |
For the remainder of this paper we will in fact be interested in so-called $(n{+}\epsilon)$-dimensional |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
404 |
TQFTs, which are slightly weaker structures in that they assign |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
405 |
invariants to mapping cylinders of homeomorphisms between $n$-manifolds, but not to general $(n{+}1)$-manifolds. |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
406 |
|
660 | 407 |
When $k=n{-}1$ we have a linear 1-category $A(S)$ for each $(n{-}1)$-manifold $S$, |
632 | 408 |
and a representation of $A(\bd Y)$ for each $n$-manifold $Y$. |
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
409 |
The TQFT gluing rule in dimension $n$ states that |
632 | 410 |
$A(Y_1\cup_S Y_2) \cong A(Y_1) \ot_{A(S)} A(Y_2)$, |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
411 |
where $Y_1$ and $Y_2$ are $n$-manifolds with common boundary $S$. |
632 | 412 |
|
413 |
When $k=0$ we have an $n$-category $A(pt)$. |
|
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
414 |
This can be thought of as the local part of the TQFT, and the full TQFT can be reconstructed from $A(pt)$ |
632 | 415 |
via colimits (see below). |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
416 |
|
632 | 417 |
We call a TQFT semisimple if $A(S)$ is a semisimple 1-category for all $(n{-}1)$-manifolds $S$ |
418 |
and $A(Y)$ is a finite-dimensional vector space for all $n$-manifolds $Y$. |
|
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
419 |
Examples of semisimple TQFTs include Witten-Reshetikhin-Turaev theories, |
632 | 420 |
Turaev-Viro theories, and Dijkgraaf-Witten theories. |
421 |
These can all be given satisfactory accounts in the framework outlined above. |
|
651 | 422 |
(The WRT invariants need to be reinterpreted as $3{+}1$-dimensional theories with only a weak |
423 |
dependence on interiors in order to be |
|
637
c1cf892a4ab7
minor changes to rewritten intro
Scott Morrison <scott@tqft.net>
parents:
636
diff
changeset
|
424 |
extended all the way down to dimension 0.) |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
425 |
|
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
426 |
For other non-semisimple TQFT-like invariants, however, the above framework seems to be inadequate. |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
427 |
For example, the gluing rule for 3-manifolds in Ozsv\'ath-Szab\'o/Seiberg-Witten theory |
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
428 |
involves a tensor product over an $A_\infty$ 1-category associated to 2-manifolds \cite{1003.0598,1005.1248}. |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
429 |
Long exact sequences are important computational tools in these theories, |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
430 |
and also in Khovanov homology, but the colimit construction breaks exactness. |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
431 |
For these reasons and others, it is desirable to |
712
e982f12f163b
fix typo ('to' -> 'the') noticed my Rob
Kevin Walker <kevin@canyon23.net>
parents:
692
diff
changeset
|
432 |
extend the above framework to incorporate ideas from derived categories. |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
433 |
|
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
434 |
One approach to such a generalization might be to simply define a |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
435 |
TQFT via its gluing formulas, replacing tensor products with |
643
212991f176d1
citing rozansky for s2 x s1: is there actually a paper by khovanov about this?
Scott Morrison <scott@tqft.net>
parents:
642
diff
changeset
|
436 |
derived tensor products (c.f. \cite{1011.1958}). |
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
437 |
However, it is probably difficult to prove |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
438 |
the invariance of such a definition, as the object associated to a manifold |
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
439 |
will a priori depend on the explicit presentation used to apply the gluing formulas. |
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
440 |
We instead give a manifestly invariant construction, and |
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
441 |
deduce from it the gluing formulas based on $A_\infty$ tensor products. |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
442 |
|
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
443 |
This paper is organized as follows. |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
444 |
We first give an account of our version of $n$-categories. |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
445 |
According to our definition, $n$-categories are, among other things, |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
446 |
functorial invariants of $k$-balls, $0\le k \le n$, which behave well with respect to gluing. |
644
975c807661ca
minor changes in introduction
Scott Morrison <scott@tqft.net>
parents:
643
diff
changeset
|
447 |
We then show how to extend an $n$-category from balls to arbitrary $k$-manifolds, |
975c807661ca
minor changes in introduction
Scott Morrison <scott@tqft.net>
parents:
643
diff
changeset
|
448 |
using colimits and homotopy colimits. |
975c807661ca
minor changes in introduction
Scott Morrison <scott@tqft.net>
parents:
643
diff
changeset
|
449 |
This extension, which we call the blob complex, has as $0$-th homology the usual TQFT invariant. |
639
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
450 |
(The name comes from the ``blobs" which feature prominently |
11f8331ea7c4
maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net>
parents:
632
diff
changeset
|
451 |
in a concrete version of the homotopy colimit.) |
641 | 452 |
We then review some basic properties of the blob complex, and finish by showing how it |
453 |
yields a higher categorical and higher dimensional generalization of Deligne's |
|
454 |
conjecture on Hochschild cochains and the little 2-disks operad. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
455 |
|
651 | 456 |
At several points we only sketch an argument briefly; full details can be found in \cite{1009.5025}. |
457 |
In this paper we attempt to give a clear view of the big picture without getting |
|
458 |
bogged down in technical details. |
|
641 | 459 |
|
632 | 460 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
461 |
\section{Definitions} |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
462 |
\subsection{$n$-categories} \mbox{} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
463 |
|
642
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
464 |
In this section we give a definition of $n$-categories designed to work well with TQFTs. |
692 | 465 |
The main idea is to base the definition on actual balls, rather than combinatorial models of them. |
642
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
466 |
This has the advantages of avoiding a proliferation of coherency axioms and building in a strong |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
467 |
version of duality from the start. |
581 | 468 |
|
469 |
||
642
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
470 |
%\nn{maybe say something about goals: well-suited to TQFTs; avoid proliferation of coherency axioms; |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
471 |
%non-recursive (n-cats not defined n terms of (n-1)-cats; easy to show that the motivating |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
472 |
%examples satisfy the axioms; strong duality; both plain and infty case; |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
473 |
%(?) easy to see that axioms are correct, in the sense of nothing missing (need |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
474 |
%to say this better if we keep it)} |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
475 |
% |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
476 |
%\nn{maybe: the typical n-cat definition tries to do two things at once: (1) give a list of basic properties |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
477 |
%which are weak enough to include the basic examples and strong enough to support the proofs |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
478 |
%of the main theorems; and (2) specify a minimal set of generators and/or axioms. |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
479 |
%We separate these two tasks, and address only the first, which becomes much easier when not burdened by the second. |
61287354218c
short version of cat sect intro; longer intro desirable?
Kevin Walker <kevin@canyon23.net>
parents:
641
diff
changeset
|
480 |
%More specifically, life is easier when working with maximal, rather than minimal, collections of axioms.} |
581 | 481 |
|
666
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
482 |
Of course, there are currently many interesting alternative notions of $n$-category. |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
483 |
We note that our $n$-categories are both more and less general |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
484 |
than the ``fully dualizable" ones which play a prominent role in \cite{0905.0465}. |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
485 |
They are more general in that we make no duality assumptions in the top dimension $n{+}1$. |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
486 |
They are less general in that we impose stronger duality requirements in dimensions 0 through $n$. |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
487 |
Thus our $n$-categories correspond to $(n{+}\epsilon)$-dimensional {\it unoriented} or {\it oriented} TQFTs, while |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
488 |
Lurie's (fully dualizable) $n$-categories correspond to $(n{+}1)$-dimensional {\it framed} TQFTs. |
6b6c565bd76e
move Lurie-comparison paragraph to n-cat section
Kevin Walker <kevin@canyon23.net>
parents:
665
diff
changeset
|
489 |
|
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
490 |
We will define two variations simultaneously, as all but one of the axioms are identical in the two cases. |
671 | 491 |
These variations are ``ordinary $n$-categories", where homeomorphisms fixing the boundary |
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
492 |
act trivially on the sets associated to $n$-balls |
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
493 |
(and these sets are usually vector spaces or more generally modules over a commutative ring) |
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
494 |
and ``$A_\infty$ $n$-categories", where there is a homotopy action of |
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
495 |
$k$-parameter families of homeomorphisms on these sets |
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
496 |
(which are usually chain complexes or topological spaces). |
581 | 497 |
|
610 | 498 |
There are five basic ingredients |
615
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
499 |
\cite{life-of-brian} of an $n$-category definition: |
581 | 500 |
$k$-morphisms (for $0\le k \le n$), domain and range, composition, |
501 |
identity morphisms, and special behavior in dimension $n$ (e.g. enrichment |
|
502 |
in some auxiliary category, or strict associativity instead of weak associativity). |
|
584 | 503 |
We will treat each of these in turn. |
581 | 504 |
|
505 |
To motivate our morphism axiom, consider the venerable notion of the Moore loop space |
|
599 | 506 |
\cite[\S 2.2]{MR505692}. |
581 | 507 |
In the standard definition of a loop space, loops are always parameterized by the unit interval $I = [0,1]$, |
508 |
so composition of loops requires a reparameterization $I\cup I \cong I$, and this leads to a proliferation |
|
509 |
of higher associativity relations. |
|
510 |
While this proliferation is manageable for 1-categories (and indeed leads to an elegant theory |
|
511 |
of Stasheff polyhedra and $A_\infty$ categories), it becomes undesirably complex for higher categories. |
|
512 |
In a Moore loop space, we have a separate space $\Omega_r$ for each interval $[0,r]$, and a |
|
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
513 |
{\it strictly associative} composition $\Omega_r \times \Omega_s \to \Omega_{r+s}$. |
581 | 514 |
Thus we can have the simplicity of strict associativity in exchange for more morphisms. |
515 |
We wish to imitate this strategy in higher categories. |
|
672
3f0f4f4ad048
preferring pivotal over 'strong duality'. may want to search for 'duality' and think about phrasing...
Scott Morrison <scott@tqft.net>
parents:
671
diff
changeset
|
516 |
Because we are mainly interested in the case of pivotal $n$-categories, we replace the intervals $[0,r]$ not with |
678
e0bd7c5ec864
remove tillmann "personal communication" bib entry per PNAS policy
Kevin Walker <kevin@canyon23.net>
parents:
677
diff
changeset
|
517 |
a product of $k$ intervals (c.f.\ \cite{0909.2212}) but rather with any $k$-ball, that is, |
e0bd7c5ec864
remove tillmann "personal communication" bib entry per PNAS policy
Kevin Walker <kevin@canyon23.net>
parents:
677
diff
changeset
|
518 |
% \cite{ulrike-tillmann-2008,0909.2212} |
651 | 519 |
any $k$-manifold which is homeomorphic |
582 | 520 |
to the standard $k$-ball $B^k$. |
583 | 521 |
|
645 | 522 |
By default our balls are unoriented, |
644
975c807661ca
minor changes in introduction
Scott Morrison <scott@tqft.net>
parents:
643
diff
changeset
|
523 |
but it is useful at times to vary this, |
645 | 524 |
for example by considering oriented or Spin balls. |
644
975c807661ca
minor changes in introduction
Scott Morrison <scott@tqft.net>
parents:
643
diff
changeset
|
525 |
We can also consider more exotic structures, such as balls with a map to some target space, |
600
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
526 |
or equipped with $m$ independent vector fields. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
527 |
(The latter structure would model $n$-categories with less duality than we usually assume.) |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
528 |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
529 |
\begin{axiom}[Morphisms] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
530 |
\label{axiom:morphisms} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
531 |
For each $0 \le k \le n$, we have a functor $\cC_k$ from |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
532 |
the category of $k$-balls and |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
533 |
homeomorphisms to the category of sets and bijections. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
534 |
\end{axiom} |
582 | 535 |
|
586
0510346848ed
restore and complete the fragment
Kevin Walker <kevin@canyon23.net>
parents:
585
diff
changeset
|
536 |
Note that the functoriality in the above axiom allows us to operate via |
0510346848ed
restore and complete the fragment
Kevin Walker <kevin@canyon23.net>
parents:
585
diff
changeset
|
537 |
homeomorphisms which are not the identity on the boundary of the $k$-ball. |
672
3f0f4f4ad048
preferring pivotal over 'strong duality'. may want to search for 'duality' and think about phrasing...
Scott Morrison <scott@tqft.net>
parents:
671
diff
changeset
|
538 |
The action of these homeomorphisms gives the pivotal structure. |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
539 |
For this reason we don't subdivide the boundary of a morphism |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
540 |
into domain and range in the next axiom --- the duality operations can convert between domain and range. |
582 | 541 |
|
651 | 542 |
Later we inductively define an extension of the functors $\cC_k$ to functors $\cl{\cC}_k$ |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
543 |
defined on arbitrary manifolds. |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
544 |
We need these functors for $k$-spheres, for $k<n$, for the next axiom. |
582 | 545 |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
546 |
\begin{axiom}[Boundaries]\label{nca-boundary} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
547 |
For each $k$-ball $X$, we have a map of sets $\bd: \cC_k(X)\to \cl{\cC}_{k-1}(\bd X)$. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
548 |
These maps, for various $X$, comprise a natural transformation of functors. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
549 |
\end{axiom} |
582 | 550 |
|
594
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
551 |
For $c\in \cl{\cC}_{k-1}(\bd X)$ we define $\cC_k(X; c) = \bd^{-1}(c)$. |
587
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
552 |
|
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
553 |
Many of the examples we are interested in are enriched in some auxiliary category $\cS$ |
597 | 554 |
(e.g. vector spaces or rings, or, in the $A_\infty$ case, chain complexes or topological spaces). |
595
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
555 |
This means that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure |
587
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
556 |
of an object of $\cS$, and all of the structure maps of the category (above and below) are |
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
557 |
compatible with the $\cS$ structure on $\cC_n(X; c)$. |
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
558 |
|
38ec3d05d0d8
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net>
parents:
586
diff
changeset
|
559 |
|
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
560 |
Given two hemispheres (a ``domain" and ``range") that agree on the equator, we need to be able to |
651 | 561 |
assemble them into a boundary value of the entire sphere. |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
562 |
|
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
563 |
\begin{lem} |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
564 |
\label{lem:domain-and-range} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
565 |
Let $S = B_1 \cup_E B_2$, where $S$ is a $k{-}1$-sphere $(1\le k\le n)$, |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
566 |
$B_i$ is a $k{-}1$-ball, and $E = B_1\cap B_2$ is a $k{-}2$-sphere (Figure \ref{blah3}). |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
567 |
Let $\cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2)$ denote the fibered product of the |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
568 |
two maps $\bd: \cC(B_i)\to \cl{\cC}(E)$. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
569 |
Then we have an injective map |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
570 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
571 |
\gl_E : \cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2) \into \cl{\cC}(S) |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
572 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
573 |
which is natural with respect to the actions of homeomorphisms. |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
574 |
%(When $k=1$ we stipulate that $\cl{\cC}(E)$ is a point, so that the above fibered product |
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
575 |
%becomes a normal product.) |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
576 |
\end{lem} |
582 | 577 |
|
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
578 |
If $\bdy B = S$, we denote $\bdy^{-1}(\im(\gl_E))$ by $\cC(B)_E$. |
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
579 |
|
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
580 |
\begin{axiom}[Gluing] |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
581 |
\label{axiom:composition} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
582 |
Let $B = B_1 \cup_Y B_2$, where $B$, $B_1$ and $B_2$ are $k$-balls ($0\le k\le n$) |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
583 |
and $Y = B_1\cap B_2$ is a $k{-}1$-ball (Figure \ref{blah5}). |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
584 |
Let $E = \bd Y$, which is a $k{-}2$-sphere. |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
585 |
%Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$. |
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
586 |
We have restriction maps $\cC(B_i)_E \to \cC(Y)$. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
587 |
Let $\cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E$ denote the fibered product of these two maps. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
588 |
We have a map |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
589 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
590 |
\gl_Y : \cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E \to \cC(B)_E |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
591 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
592 |
which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
593 |
to the intersection of the boundaries of $B$ and $B_i$. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
594 |
If $k < n$, |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
595 |
or if $k=n$ and we are in the $A_\infty$ case, |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
596 |
we require that $\gl_Y$ is injective. |
671 | 597 |
(For $k=n$ in the ordinary $n$-category case, see Axiom \ref{axiom:extended-isotopies}.) |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
598 |
\end{axiom} |
582 | 599 |
|
646 | 600 |
\begin{axiom}[Strict associativity] \label{nca-assoc}\label{axiom:associativity} |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
601 |
The gluing maps above are strictly associative. |
584 | 602 |
Given any decomposition of a ball $B$ into smaller balls |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
603 |
$$\bigsqcup B_i \to B,$$ |
584 | 604 |
any sequence of gluings (where all the intermediate steps are also disjoint unions of balls) yields the same result. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
605 |
\end{axiom} |
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
606 |
%This axiom is only reasonable because the definition assigns a set to every ball; |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
607 |
%any identifications would limit the extent to which we can demand associativity. |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
608 |
%%%% KW: It took me quite a while figure out what you [or I??] meant by the above, so I'm attempting a rewrite. |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
609 |
Note that even though our $n$-categories are ``weak" in the traditional sense, we can require |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
610 |
strict associativity because we have more morphisms (cf.\ discussion of Moore loops above). |
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
611 |
|
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
612 |
For the next axiom, a \emph{pinched product} is a map locally modeled on a degeneracy map between simplices. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
613 |
\begin{axiom}[Product (identity) morphisms] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
614 |
\label{axiom:product} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
615 |
For each pinched product $\pi:E\to X$, with $X$ a $k$-ball and $E$ a $k{+}m$-ball ($m\ge 1$), |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
616 |
there is a map $\pi^*:\cC(X)\to \cC(E)$. |
595
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
617 |
These maps must be |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
618 |
\begin{enumerate} |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
619 |
\item natural with respect to maps of pinched products, |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
620 |
\item functorial with respect to composition of pinched products, |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
621 |
\item compatible with gluing and restriction of pinched products. |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
622 |
\end{enumerate} |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
623 |
|
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
624 |
%%% begin noop %%% |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
625 |
% this was the original list of conditions, which I've replaced with the much terser list above -S |
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
626 |
\noop{ |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
627 |
These maps must satisfy the following conditions. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
628 |
\begin{enumerate} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
629 |
\item |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
630 |
If $\pi:E\to X$ and $\pi':E'\to X'$ are pinched products, and |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
631 |
if $f:X\to X'$ and $\tilde{f}:E \to E'$ are maps such that the diagram |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
632 |
\[ \xymatrix{ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
633 |
E \ar[r]^{\tilde{f}} \ar[d]_{\pi} & E' \ar[d]^{\pi'} \\ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
634 |
X \ar[r]^{f} & X' |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
635 |
} \] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
636 |
commutes, then we have |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
637 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
638 |
\pi'^*\circ f = \tilde{f}\circ \pi^*. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
639 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
640 |
\item |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
641 |
Product morphisms are compatible with gluing. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
642 |
Let $\pi:E\to X$, $\pi_1:E_1\to X_1$, and $\pi_2:E_2\to X_2$ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
643 |
be pinched products with $E = E_1\cup E_2$. |
611 | 644 |
Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\subset X$. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
645 |
Then |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
646 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
647 |
\pi^*(a) = \pi_1^*(a_1)\bullet \pi_2^*(a_2) . |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
648 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
649 |
\item |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
650 |
Product morphisms are associative. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
651 |
If $\pi:E\to X$ and $\rho:D\to E$ are pinched products then |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
652 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
653 |
\rho^*\circ\pi^* = (\pi\circ\rho)^* . |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
654 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
655 |
\item |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
656 |
Product morphisms are compatible with restriction. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
657 |
If we have a commutative diagram |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
658 |
\[ \xymatrix{ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
659 |
D \ar@{^(->}[r] \ar[d]_{\rho} & E \ar[d]^{\pi} \\ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
660 |
Y \ar@{^(->}[r] & X |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
661 |
} \] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
662 |
such that $\rho$ and $\pi$ are pinched products, then |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
663 |
\[ |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
664 |
\res_D\circ\pi^* = \rho^*\circ\res_Y . |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
665 |
\] |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
666 |
\end{enumerate} |
595
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
667 |
} %%% end \noop %%% |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
668 |
\end{axiom} |
604
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
669 |
|
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
670 |
To state the next axiom we need the notion of {\it collar maps} on $k$-morphisms. |
611 | 671 |
Let $X$ be a $k$-ball and $Y\subset\bd X$ be a $(k{-}1)$-ball. |
604
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
672 |
Let $J$ be a 1-ball. |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
673 |
Let $Y\times_p J$ denote $Y\times J$ pinched along $(\bd Y)\times J$. |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
674 |
A collar map is an instance of the composition |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
675 |
\[ |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
676 |
\cC(X) \to \cC(X\cup_Y (Y\times_p J)) \to \cC(X) , |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
677 |
\] |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
678 |
where the first arrow is gluing with a product morphism on $Y\times_p J$ and |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
679 |
the second is induced by a homeomorphism from $X\cup_Y (Y\times_p J)$ to $X$ which restricts |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
680 |
to the identity on the boundary. |
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
681 |
|
f0dff7f0f337
definition of collar maps
Kevin Walker <kevin@canyon23.net>
parents:
603
diff
changeset
|
682 |
|
671 | 683 |
\begin{axiom}[\textup{\textbf{[for ordinary $n$-categories]}} Extended isotopy invariance in dimension $n$.] |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
684 |
\label{axiom:extended-isotopies} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
685 |
Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
686 |
to the identity on $\bd X$ and isotopic (rel boundary) to the identity. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
687 |
Then $f$ acts trivially on $\cC(X)$. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
688 |
In addition, collar maps act trivially on $\cC(X)$. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
689 |
\end{axiom} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
690 |
|
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
691 |
\smallskip |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
692 |
|
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
693 |
For $A_\infty$ $n$-categories, we replace |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
694 |
isotopy invariance with the requirement that families of homeomorphisms act. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
695 |
For the moment, assume that our $n$-morphisms are enriched over chain complexes. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
696 |
Let $\Homeo_\bd(X)$ denote homeomorphisms of $X$ which fix $\bd X$ and |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
697 |
$C_*(\Homeo_\bd(X))$ denote the singular chains on this space. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
698 |
|
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
699 |
|
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
700 |
\begin{axiom}[\textup{\textbf{[for $A_\infty$ $n$-categories]}} Families of homeomorphisms act in dimension $n$.] |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
701 |
\label{axiom:families} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
702 |
For each $n$-ball $X$ and each $c\in \cl{\cC}(\bd X)$ we have a map of chain complexes |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
703 |
\[ |
611 | 704 |
C_*(\Homeo_\bd(X))\tensor \cC(X; c) \to \cC(X; c) . |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
705 |
\] |
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
706 |
These action maps are required to restrict to the usual action of homeomorphisms on $C_0$, be associative up to homotopy, |
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
707 |
and also be compatible with composition (gluing) in the sense that |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
708 |
a diagram like the one in Theorem \ref{thm:CH} commutes. |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
709 |
\end{axiom} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
710 |
|
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
711 |
\subsection{Example (the fundamental $n$-groupoid)} \mbox{} |
601
6bfa35fb758a
minor changes to cone-product polyhedra discussion
Scott Morrison <scott@tqft.net>
parents:
600
diff
changeset
|
712 |
We will define $\pi_{\le n}(T)$, the fundamental $n$-groupoid of a topological space $T$. |
6bfa35fb758a
minor changes to cone-product polyhedra discussion
Scott Morrison <scott@tqft.net>
parents:
600
diff
changeset
|
713 |
When $X$ is a $k$-ball with $k<n$, define $\pi_{\le n}(T)(X)$ |
600
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
714 |
to be the set of continuous maps from $X$ to $T$. |
601
6bfa35fb758a
minor changes to cone-product polyhedra discussion
Scott Morrison <scott@tqft.net>
parents:
600
diff
changeset
|
715 |
When $X$ is an $n$-ball, define $\pi_{\le n}(T)(X)$ to be homotopy classes (rel boundary) of such maps. |
600
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
716 |
Define boundary restrictions and gluing in the obvious way. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
717 |
If $\rho:E\to X$ is a pinched product and $f:X\to T$ is a $k$-morphism, |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
718 |
define the product morphism $\rho^*(f)$ to be $f\circ\rho$. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
719 |
|
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
720 |
We can also define an $A_\infty$ version $\pi_{\le n}^\infty(T)$ of the fundamental $n$-groupoid. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
721 |
For $X$ an $n$-ball define $\pi_{\le n}^\infty(T)(X)$ to be the space of all maps from $X$ to $T$ |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
722 |
(if we are enriching over spaces) or the singular chains on that space (if we are enriching over chain complexes). |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
723 |
|
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
724 |
|
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
725 |
\subsection{Example (string diagrams)} \mbox{} |
672
3f0f4f4ad048
preferring pivotal over 'strong duality'. may want to search for 'duality' and think about phrasing...
Scott Morrison <scott@tqft.net>
parents:
671
diff
changeset
|
726 |
Fix a ``traditional" pivotal $n$-category $C$ (e.g.\ a pivotal 2-category). |
600
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
727 |
Let $X$ be a $k$-ball and define $\cS_C(X)$ to be the set of $C$ string diagrams drawn on $X$; |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
728 |
that is, certain cell complexes embedded in $X$, with the codimension-$j$ cells labeled by $j$-morphisms of $C$. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
729 |
If $X$ is an $n$-ball, identify two such string diagrams if they evaluate to the same $n$-morphism of $C$. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
730 |
Boundary restrictions and gluing are again straightforward to define. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
731 |
Define product morphisms via product cell decompositions. |
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
732 |
|
658
c56a3fe75d1e
changes from proof-read, 1st installment
Kevin Walker <kevin@canyon23.net>
parents:
657
diff
changeset
|
733 |
\subsection{Example (bordism)} \mbox{} |
612 | 734 |
When $X$ is a $k$-ball with $k<n$, $\Bord^n(X)$ is the set of all $k$-dimensional |
735 |
submanifolds $W$ in $X\times \bbR^\infty$ which project to $X$ transversely |
|
736 |
to $\bd X$. |
|
737 |
For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes rel boundary of such $n$-dimensional submanifolds. |
|
600
e9032f8dee24
Examples and misc.; quality of writing perhaps not so great.
Kevin Walker <kevin@canyon23.net>
parents:
599
diff
changeset
|
738 |
|
651 | 739 |
There is an $A_\infty$ analogue enriched in topological spaces, where at the top level we take |
740 |
all such submanifolds, rather than homeomorphism classes. |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
741 |
For each fixed $\bdy W \subset \bdy X \times \bbR^\infty$, we |
651 | 742 |
topologize the set of submanifolds by ambient isotopy rel boundary. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
743 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
744 |
\subsection{The blob complex} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
745 |
\subsubsection{Decompositions of manifolds} |
670
7a4fc5a873ac
adding a sentence about types of decompositions of manifolds, including a cite to kirillov. Feel free to revert.
Scott Morrison <scott@tqft.net>
parents:
669
diff
changeset
|
746 |
Our description of an $n$-category associates data to each $k$-ball for $k\leq n$. In order to define invariants of $n$-manifolds, we will need a class of decompositions of manifolds into balls. We present one choice here, but alternatives of varying degrees of generality exist, for example handle decompositions or piecewise-linear CW-complexes \cite{1009.4227}. |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
747 |
|
646 | 748 |
A \emph{ball decomposition} of a $k$-manifold $W$ is a |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
749 |
sequence of gluings $M_0\to M_1\to\cdots\to M_m = W$ such that $M_0$ is a disjoint union of balls |
574 | 750 |
$\du_a X_a$ and each $M_i$ is a manifold. |
751 |
If $X_a$ is some component of $M_0$, its image in $W$ need not be a ball; $\bd X_a$ may have been glued to itself. |
|
752 |
A {\it permissible decomposition} of $W$ is a map |
|
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
753 |
\[ |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
754 |
\coprod_a X_a \to W, |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
755 |
\] |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
756 |
which can be completed to a ball decomposition $\du_a X_a = M_0\to\cdots\to M_m = W$. |
574 | 757 |
A permissible decomposition is weaker than a ball decomposition; we forget the order in which the balls |
670
7a4fc5a873ac
adding a sentence about types of decompositions of manifolds, including a cite to kirillov. Feel free to revert.
Scott Morrison <scott@tqft.net>
parents:
669
diff
changeset
|
758 |
are glued up to yield $W$, and just require that there is some non-pathological way to do this. |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
759 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
760 |
Given permissible decompositions $x = \{X_a\}$ and $y = \{Y_b\}$ of $W$, we say that $x$ is a refinement |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
761 |
of $y$, or write $x \le y$, if there is a ball decomposition $\du_a X_a = M_0\to\cdots\to M_m = W$ |
735
bd0d5b2155a7
correctly definition of ball decomposition in PNAS article
Scott Morrison <scott@tqft.net>
parents:
714
diff
changeset
|
762 |
with $\du_b Y_b = M_i$ for some $i$, and each $M_j$ with $j<i$ is also a disjoint union of balls. |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
763 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
764 |
\begin{defn} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
765 |
The poset $\cell(W)$ has objects the permissible decompositions of $W$, |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
766 |
and a unique morphism from $x$ to $y$ if and only if $x$ is a refinement of $y$. |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
767 |
See Figure \ref{partofJfig} for an example. |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
768 |
\end{defn} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
769 |
|
651 | 770 |
This poset in fact has more structure, since we can glue together permissible decompositions of |
771 |
$W_1$ and $W_2$ to obtain a permissible decomposition of $W_1 \sqcup W_2$. |
|
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
772 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
773 |
An $n$-category $\cC$ determines |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
774 |
a functor $\psi_{\cC;W}$ from $\cell(W)$ to the category of sets |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
775 |
(possibly with additional structure if $k=n$). |
653 | 776 |
Each $k$-ball $X$ of a decomposition $y$ of $W$ has its boundary decomposed into $k{-}1$-manifolds, |
611 | 777 |
and there is a subset $\cC(X)\spl \subset \cC(X)$ of morphisms whose boundaries |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
778 |
are splittable along this decomposition. |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
779 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
780 |
\begin{defn} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
781 |
Define the functor $\psi_{\cC;W} : \cell(W) \to \Set$ as follows. |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
782 |
For a decomposition $x = \bigsqcup_a X_a$ in $\cell(W)$, $\psi_{\cC;W}(x)$ is the subset |
574 | 783 |
\begin{equation*} |
784 |
%\label{eq:psi-C} |
|
611 | 785 |
\psi_{\cC;W}(x) \subset \prod_a \cC(X_a)\spl |
574 | 786 |
\end{equation*} |
653 | 787 |
where the restrictions to the various pieces of shared boundaries amongst the balls |
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
788 |
$X_a$ all agree (similar to a fibered product). |
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
789 |
When $k=n$, the ``subset" and ``product" in the above formula should be |
651 | 790 |
interpreted in the appropriate enriching category. |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
791 |
If $x$ is a refinement of $y$, the map $\psi_{\cC;W}(x) \to \psi_{\cC;W}(y)$ is given by the composition maps of $\cC$. |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
792 |
\end{defn} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
793 |
|
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
794 |
%We will use the term ``field on $W$" to refer to a point of this functor, |
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
795 |
%that is, a permissible decomposition $x$ of $W$ together with an element of $\psi_{\cC;W}(x)$. |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
796 |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
797 |
|
632 | 798 |
\subsubsection{Colimits} |
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
799 |
Recall that our definition of an $n$-category is essentially a collection of functors |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
800 |
defined on the categories of homeomorphisms of $k$-balls |
651 | 801 |
for $k \leq n$ satisfying certain axioms. |
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
802 |
It is natural to hope to extend such functors to the |
651 | 803 |
larger categories of all $k$-manifolds (again, with homeomorphisms). |
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
804 |
In fact, the axioms stated above already require such an extension to $k$-spheres for $k<n$. |
638
6a7f2a6295d1
very paltry start on colimits, out of time for now
Scott Morrison <scott@tqft.net>
parents:
637
diff
changeset
|
805 |
|
655
71eb442b8500
trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net>
parents:
654
diff
changeset
|
806 |
The natural construction achieving this is a colimit along the poset of permissible decompositions. |
671 | 807 |
Given an ordinary $n$-category $\cC$, |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
808 |
we will denote its extension to all manifolds by $\cl{\cC}$. On a $k$-manifold $W$, with $k \leq n$, |
656
28592849a474
some more fixes in the colimit section
Scott Morrison <scott@tqft.net>
parents:
655
diff
changeset
|
809 |
this is defined to be the colimit along $\cell(W)$ of the functor $\psi_{\cC;W}$. |
651 | 810 |
Note that Axioms \ref{axiom:composition} and \ref{axiom:associativity} |
811 |
imply that $\cl{\cC}(X) \iso \cC(X)$ when $X$ is a $k$-ball with $k<n$. |
|
660 | 812 |
Suppose that $\cC$ is enriched in vector spaces: this means that given boundary conditions $c \in \cl{\cC}(\bdy X)$, for $X$ an $n$-ball, |
813 |
the set $\cC(X;c)$ is a vector space. |
|
814 |
In this case, for $W$ an arbitrary $n$-manifold and $c \in \cl{\cC}(\bdy W)$, |
|
815 |
the set $\cl{\cC}(W;c) = \bdy^{-1} (c)$ inherits the structure of a vector space. |
|
651 | 816 |
These are the usual TQFT skein module invariants on $n$-manifolds. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
817 |
|
598
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
597
diff
changeset
|
818 |
We can now give a straightforward but rather abstract definition of the blob complex of an $n$-manifold $W$ |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
819 |
with coefficients in the $n$-category $\cC$ as the {\it homotopy} colimit along $\cell(W)$ |
598
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
597
diff
changeset
|
820 |
of the functor $\psi_{\cC; W}$ described above. We write this as $\clh{\cC}(W)$. |
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
597
diff
changeset
|
821 |
|
651 | 822 |
An explicit realization of the homotopy colimit is provided by the simplices of the |
823 |
functor $\psi_{\cC; W}$. That is, $$\clh{\cC}(W) = \DirectSum_{\bar{x}} \psi_{\cC; W}(x_0)[m],$$ |
|
824 |
where $\bar{x} = x_0 \leq \cdots \leq x_m$ is a simplex in $\cell(W)$. |
|
825 |
The differential acts on $(\bar{x},a)$ (here $a \in \psi_{\cC; W}(x_0)$) as |
|
599 | 826 |
$$\bdy (\bar{x},a) = (\bar{x}, \bdy a) + (-1)^{\deg a} \left( (d_0 \bar{x}, g(a)) + \sum_{i=1}^m (-1)^i (d_i \bar{x}, a) \right)$$ |
827 |
where $g$ is the gluing map from $x_0$ to $x_1$, and $d_i \bar{x}$ denotes the $i$-th face of the simplex $\bar{x}$. |
|
598
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
597
diff
changeset
|
828 |
|
651 | 829 |
Alternatively, we can take advantage of the product structure on $\cell(W)$ to realize the |
830 |
homotopy colimit via the cone-product polyhedra in $\cell(W)$. |
|
831 |
A cone-product polyhedra is obtained from a point by successively taking the cone or taking the |
|
832 |
product with another cone-product polyhedron. Just as simplices correspond to linear directed graphs, |
|
833 |
cone-product polyheda correspond to directed trees: taking cone adds a new root before the existing root, |
|
834 |
and taking product identifies the roots of several trees. |
|
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
835 |
The ``local homotopy colimit" is then defined according to the same formula as above, but with $\bar{x}$ a cone-product polyhedron in $\cell(W)$. |
661 | 836 |
We further require that all (compositions of) morphisms in a directed tree are not expressible as a product. |
651 | 837 |
The differential acts on $(\bar{x},a)$ both on $a$ and on $\bar{x}$, applying the appropriate gluing map to $a$ when required. |
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
838 |
A Eilenberg-Zilber subdivision argument shows this is the same as the usual realization. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
839 |
|
605
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
840 |
%When $\cC$ is a topological $n$-category, |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
841 |
%the flexibility available in the construction of a homotopy colimit allows |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
842 |
%us to give a much more explicit description of the blob complex which we'll write as $\bc_*(W; \cC)$. |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
843 |
%\todo{either need to explain why this is the same, or significantly rewrite this section} |
671 | 844 |
When $\cC$ is the ordinary $n$-category based on string diagrams for a traditional |
605
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
845 |
$n$-category $C$, |
610 | 846 |
one can show \cite{1009.5025} that the above two constructions of the homotopy colimit |
606 | 847 |
are equivalent to the more concrete construction which we describe next, and which we denote $\bc_*(W; \cC)$. |
848 |
Roughly speaking, the generators of $\bc_k(W; \cC)$ are string diagrams on $W$ together with |
|
605
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
849 |
a configuration of $k$ balls (or ``blobs") in $W$ whose interiors are pairwise disjoint or nested. |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
850 |
The restriction of the string diagram to innermost blobs is required to be ``null" in the sense that |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
851 |
it evaluates to a zero $n$-morphism of $C$. |
78db9976b145
intro to more concrete \bc_* definition and misc
Kevin Walker <kevin@canyon23.net>
parents:
604
diff
changeset
|
852 |
The next few paragraphs describe this in more detail. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
853 |
|
667
0f45668726dd
more string diagram / field nonsense
Kevin Walker <kevin@canyon23.net>
parents:
666
diff
changeset
|
854 |
We will call a string diagram on a manifold a ``field". |
0f45668726dd
more string diagram / field nonsense
Kevin Walker <kevin@canyon23.net>
parents:
666
diff
changeset
|
855 |
(See \cite{1009.5025} for a more general notion of field.) |
0f45668726dd
more string diagram / field nonsense
Kevin Walker <kevin@canyon23.net>
parents:
666
diff
changeset
|
856 |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
857 |
We say a collection of balls $\{B_i\}$ in a manifold $W$ is \emph{permissible} |
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
858 |
if there exists a permissible decomposition $M_0\to\cdots\to M_m = W$ such that |
651 | 859 |
each $B_i$ appears as a connected component of one of the $M_j$. |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
860 |
Note that this forces the balls to be pairwise either disjoint or nested. |
651 | 861 |
Such a collection of balls cuts $W$ into pieces, the connected components of $W \setminus \bigcup \bdy B_i$. |
663 | 862 |
These pieces need not be manifolds, |
863 |
but they can be further subdivided into pieces which are manifolds |
|
864 |
and which fit into a permissible decomposition of $W$. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
865 |
|
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
866 |
The $k$-blob group $\bc_k(W; \cC)$ is generated by the $k$-blob diagrams. |
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
867 |
A $k$-blob diagram consists of |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
868 |
\begin{itemize} |
663 | 869 |
\item a permissible collection of $k$ embedded balls, and |
870 |
\item a linear combination $s$ of string diagrams on $W$, |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
871 |
\end{itemize} |
663 | 872 |
such that |
873 |
\begin{itemize} |
|
874 |
\item there is a permissible decomposition of $W$, compatible with the $k$ blobs, such that |
|
669
c21da249a015
minor changes to abstract, and blob diagrams
Scott Morrison <scott@tqft.net>
parents:
668
diff
changeset
|
875 |
$s$ is the result of gluing together linear combinations of fields $s_i$ on the initial pieces $X_i$ of the decomposition |
663 | 876 |
(for fixed restrictions to the boundaries of the pieces), |
877 |
\item the $s_i$'s corresponding to innermost blobs evaluate to zero in $\cC$, and |
|
667
0f45668726dd
more string diagram / field nonsense
Kevin Walker <kevin@canyon23.net>
parents:
666
diff
changeset
|
878 |
\item the $s_i$'s corresponding to the other pieces are single fields (linear combinations with only one term). |
663 | 879 |
\end{itemize} |
880 |
%that for any innermost blob $B$, the field on $B$ goes to zero under the gluing map from $\cC$. |
|
881 |
We call such linear combinations which evaluate to zero on a blob $B$ a ``null field on $B$". |
|
668 | 882 |
% could maybe say something here like "if blobs have nice complements then this is just...." |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
883 |
|
608 | 884 |
The differential acts on a $k$-blob diagram by summing over ways to forget one of the $k$ blobs, with alternating signs. |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
885 |
|
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
886 |
We now spell this out for some small values of $k$. |
667
0f45668726dd
more string diagram / field nonsense
Kevin Walker <kevin@canyon23.net>
parents:
666
diff
changeset
|
887 |
For $k=0$, the $0$-blob group is simply linear combinations of fields (string diagrams) on $W$. |
651 | 888 |
For $k=1$, a generator consists of a field on $W$ and a ball, such that the restriction of the field to that ball is a null field. |
889 |
The differential simply forgets the ball. |
|
890 |
Thus we see that $H_0$ of the blob complex is the quotient of fields by fields which are null on some ball. |
|
580
99611dfed1f3
k-blobs for small k, and blob cochains
Scott Morrison <scott@tqft.net>
parents:
579
diff
changeset
|
891 |
|
651 | 892 |
For $k=2$, we have a two types of generators; they each consists of a field $f$ on $W$, and two balls $B_1$ and $B_2$. |
893 |
In the first case, the balls are disjoint, and $f$ restricted to either of the $B_i$ is a null field. |
|
894 |
In the second case, the balls are properly nested, say $B_1 \subset B_2$, and $f$ restricted to $B_1$ is null. |
|
895 |
Note that this implies that $f$ restricted to $B_2$ is also null, by the associativity of the gluing operation. |
|
896 |
This ensures that the differential is well-defined. |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
897 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
898 |
\section{Properties of the blob complex} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
899 |
\subsection{Formal properties} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
900 |
\label{sec:properties} |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
601
diff
changeset
|
901 |
The blob complex enjoys the following list of formal properties. The first three are immediate from the definitions. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
902 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
903 |
\begin{property}[Functoriality] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
904 |
\label{property:functoriality}% |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
905 |
The blob complex is functorial with respect to homeomorphisms. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
906 |
That is, |
574 | 907 |
for a fixed $n$-category $\cC$, the association |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
908 |
\begin{equation*} |
574 | 909 |
X \mapsto \bc_*(X; \cC) |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
910 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
911 |
is a functor from $n$-manifolds and homeomorphisms between them to chain |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
912 |
complexes and isomorphisms between them. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
913 |
\end{property} |
574 | 914 |
As a consequence, there is an action of $\Homeo(X)$ on the chain complex $\bc_*(X; \cC)$; |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
915 |
this action is extended to all of $C_*(\Homeo(X))$ in Theorem \ref{thm:CH} below. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
916 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
917 |
\begin{property}[Disjoint union] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
918 |
\label{property:disjoint-union} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
919 |
The blob complex of a disjoint union is naturally isomorphic to the tensor product of the blob complexes. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
920 |
\begin{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
921 |
\bc_*(X_1 \du X_2) \iso \bc_*(X_1) \tensor \bc_*(X_2) |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
922 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
923 |
\end{property} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
924 |
|
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
925 |
|
574 | 926 |
If an $n$-manifold $X$ contains $Y \sqcup Y^\text{op}$ (we allow $Y = \eset$) as a codimension $0$ submanifold of its boundary, |
927 |
write $X \bigcup_{Y}\selfarrow$ for the manifold obtained by gluing together $Y$ and $Y^\text{op}$. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
928 |
\begin{property}[Gluing map] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
929 |
\label{property:gluing-map}% |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
930 |
%If $X_1$ and $X_2$ are $n$-manifolds, with $Y$ a codimension $0$-submanifold of $\bdy X_1$, and $Y^{\text{op}}$ a codimension $0$-submanifold of $\bdy X_2$, there is a chain map |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
931 |
%\begin{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
932 |
%\gl_Y: \bc_*(X_1) \tensor \bc_*(X_2) \to \bc_*(X_1 \cup_Y X_2). |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
933 |
%\end{equation*} |
607 | 934 |
Given a gluing $X \to X \bigcup_{Y}\selfarrow$, there is |
574 | 935 |
a map |
740
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
936 |
$ |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
937 |
\bc_*(X) \to \bc_*\left(X \bigcup_{Y} \selfarrow\right), |
1708a3f23612
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
Scott Morrison <scott@tqft.net>
parents:
735
diff
changeset
|
938 |
$ |
574 | 939 |
natural with respect to homeomorphisms, and associative with respect to iterated gluings. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
940 |
\end{property} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
941 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
942 |
\begin{property}[Contractibility] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
943 |
\label{property:contractibility}% |
589
14b7d867e423
a few changes, maybe bad ones...
Scott Morrison <scott@tqft.net>
parents:
577
diff
changeset
|
944 |
The blob complex on an $n$-ball is contractible in the sense |
14b7d867e423
a few changes, maybe bad ones...
Scott Morrison <scott@tqft.net>
parents:
577
diff
changeset
|
945 |
that it is homotopic to its $0$-th homology, and this is just the vector space associated to the ball by the $n$-category. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
946 |
\begin{equation*} |
649 | 947 |
\xymatrix{\bc_*(B^n;\cC) \ar[r]^(0.4){\htpy} & H_0(\bc_*(B^n;\cC)) \ar[r]^(0.6)\iso & \cC(B^n)} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
948 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
949 |
\end{property} |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
950 |
%\nn{maybe should say something about the $A_\infty$ case} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
951 |
|
583 | 952 |
\begin{proof}(Sketch) |
953 |
For $k\ge 1$, the contracting homotopy sends a $k$-blob diagram to the $(k{+}1)$-blob diagram |
|
954 |
obtained by adding an outer $(k{+}1)$-st blob consisting of all $B^n$. |
|
955 |
For $k=0$ we choose a splitting $s: H_0(\bc_*(B^n)) \to \bc_0(B^n)$ and send |
|
956 |
$x\in \bc_0(B^n)$ to $x - s([x])$, where $[x]$ denotes the image of $x$ in $H_0(\bc_*(B^n))$. |
|
957 |
\end{proof} |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
958 |
|
649 | 959 |
If $\cC$ is an $A_\infty$ $n$-category then $\bc_*(B^n;\cC)$ is still homotopy equivalent to $\cC(B^n)$, |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
960 |
but this is no longer concentrated in degree zero. |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
961 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
962 |
\subsection{Specializations} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
963 |
\label{sec:specializations} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
964 |
|
615
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
965 |
The blob complex has several important special cases. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
966 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
967 |
\begin{thm}[Skein modules] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
968 |
\label{thm:skein-modules} |
671 | 969 |
Suppose $\cC$ is an ordinary $n$-category. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
970 |
The $0$-th blob homology of $X$ is the usual |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
971 |
(dual) TQFT Hilbert space (a.k.a.\ skein module) associated to $X$ |
589
14b7d867e423
a few changes, maybe bad ones...
Scott Morrison <scott@tqft.net>
parents:
577
diff
changeset
|
972 |
by $\cC$. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
973 |
\begin{equation*} |
649 | 974 |
H_0(\bc_*(X;\cC)) \iso \cl{\cC}(X) |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
975 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
976 |
\end{thm} |
651 | 977 |
This follows from the fact that the $0$-th homology of a homotopy colimit is the usual colimit, |
978 |
or directly from the explicit description of the blob complex. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
979 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
980 |
\begin{thm}[Hochschild homology when $X=S^1$] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
981 |
\label{thm:hochschild} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
982 |
The blob complex for a $1$-category $\cC$ on the circle is |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
983 |
quasi-isomorphic to the Hochschild complex. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
984 |
\begin{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
985 |
\xymatrix{\bc_*(S^1;\cC) \ar[r]^(0.47){\iso}_(0.47){\text{qi}} & \HC_*(\cC).} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
986 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
987 |
\end{thm} |
651 | 988 |
This theorem is established by extending the statement to bimodules as well as categories, |
989 |
then verifying that the universal properties of Hochschild homology also hold for $\bc_*(S^1; -)$. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
990 |
|
615
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
991 |
\begin{thm}[Mapping spaces] |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
992 |
\label{thm:map-recon} |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
993 |
Let $\pi^\infty_{\le n}(T)$ denote the $A_\infty$ $n$-category based on maps |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
994 |
$B^n \to T$. |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
995 |
(The case $n=1$ is the usual $A_\infty$-category of paths in $T$.) |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
996 |
Then |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
997 |
$$\bc_*(X; \pi^\infty_{\le n}(T)) \simeq \CM{X}{T}.$$ |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
998 |
\end{thm} |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
999 |
|
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
1000 |
This says that we can recover (up to homotopy) the space of maps to $T$ via blob homology from local data. |
651 | 1001 |
Note that there is no restriction on the connectivity of $T$ as there is for |
1002 |
the corresponding result in topological chiral homology \cite[Theorem 3.8.6]{0911.0018}. |
|
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1003 |
The result is proved in \cite[\S 7.3]{1009.5025}. |
615
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
1004 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1005 |
\subsection{Structure of the blob complex} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1006 |
\label{sec:structure} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1007 |
|
651 | 1008 |
In the following $\CH{X} = C_*(\Homeo(X))$ is the singular chain complex of the space |
1009 |
of homeomorphisms of $X$, fixed on $\bdy X$. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1010 |
|
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
1011 |
\begin{thm} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1012 |
\label{thm:CH}\label{thm:evaluation} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1013 |
There is a chain map |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1014 |
\begin{equation*} |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
1015 |
e_X: \CH{X} \tensor \bc_*(X) \to \bc_*(X) |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1016 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1017 |
such that |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1018 |
\begin{enumerate} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1019 |
\item Restricted to $CH_0(X)$ this is the action of homeomorphisms described in Property \ref{property:functoriality}. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1020 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1021 |
\item For |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1022 |
any codimension $0$-submanifold $Y \sqcup Y^\text{op} \subset \bdy X$ the following diagram |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1023 |
(using the gluing maps described in Property \ref{property:gluing-map}) commutes (up to homotopy). |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1024 |
\begin{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1025 |
\xymatrix@C+0.3cm{ |
611 | 1026 |
\CH{X} \tensor \bc_*(X) |
1027 |
\ar[r]_{e_{X}} \ar[d]^{\gl^{\Homeo}_Y \tensor \gl_Y} & |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1028 |
\bc_*(X) \ar[d]_{\gl_Y} \\ |
611 | 1029 |
\CH{X \bigcup_Y \selfarrow} \tensor \bc_*(X \bigcup_Y \selfarrow) \ar[r]_<<<<<<<{e_{(X \bigcup_Y \scalebox{0.5}{\selfarrow})}} & \bc_*(X \bigcup_Y \selfarrow) |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1030 |
} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1031 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1032 |
\end{enumerate} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1033 |
|
609 | 1034 |
Further, this map is associative, in the sense that the following diagram commutes (up to homotopy). |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1035 |
\begin{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1036 |
\xymatrix{ |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1037 |
\CH{X} \tensor \CH{X} \tensor \bc_*(X) \ar[r]^<<<<<{\id \tensor e_X} \ar[d]^{\compose \tensor \id} & \CH{X} \tensor \bc_*(X) \ar[d]^{e_X} \\ |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1038 |
\CH{X} \tensor \bc_*(X) \ar[r]^{e_X} & \bc_*(X) |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1039 |
} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1040 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1041 |
\end{thm} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1042 |
|
609 | 1043 |
\begin{proof}(Sketch.) |
622
dda6d3a00b09
minor tweaks in sketch proofs
Scott Morrison <scott@tqft.net>
parents:
620
diff
changeset
|
1044 |
We introduce yet another homotopy equivalent version of |
609 | 1045 |
the blob complex, $\cB\cT_*(X)$. |
1046 |
Blob diagrams have a natural topology, which is ignored by $\bc_*(X)$. |
|
1047 |
In $\cB\cT_*(X)$ we take this topology into account, treating the blob diagrams as something |
|
1048 |
analogous to a simplicial space (but with cone-product polyhedra replacing simplices). |
|
651 | 1049 |
More specifically, a generator of $\cB\cT_k(X)$ is an $i$-parameter family of $j$-blob diagrams, with $i+j=k$. |
1050 |
An essential step in the proof of this equivalence is a result to the effect that a $k$-parameter |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1051 |
family of homeomorphisms can be localized to at most $k$ small sets. |
609 | 1052 |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1053 |
With this alternate version in hand, the theorem is straightforward. |
657
9fbd8e63ab2e
fixing single quotes and long lines
Kevin Walker <kevin@canyon23.net>
parents:
656
diff
changeset
|
1054 |
By functoriality (Property \ref{property:functoriality}) $\Homeo(X)$ acts on the set $BD_j(X)$ of $j$-blob diagrams, and this |
614 | 1055 |
induces a chain map $\CH{X}\tensor C_*(BD_j(X))\to C_*(BD_j(X))$ |
1056 |
and hence a map $e_X: \CH{X} \tensor \cB\cT_*(X) \to \cB\cT_*(X)$. |
|
609 | 1057 |
It is easy to check that $e_X$ thus defined has the desired properties. |
1058 |
\end{proof} |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
1059 |
|
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
1060 |
\begin{thm} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1061 |
\label{thm:blobs-ainfty} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1062 |
Let $\cC$ be a topological $n$-category. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1063 |
Let $Y$ be an $n{-}k$-manifold. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1064 |
There is an $A_\infty$ $k$-category $\bc_*(Y;\cC)$, defined on each $m$-ball $D$, for $0 \leq m < k$, |
610 | 1065 |
to be the set $$\bc_*(Y;\cC)(D) = \cl{\cC}(Y \times D)$$ and on $k$-balls $D$ to be the set |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1066 |
$$\bc_*(Y;\cC)(D) = \bc_*(Y \times D; \cC).$$ |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1067 |
(When $m=k$ the subsets with fixed boundary conditions form a chain complex.) |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1068 |
These sets have the structure of an $A_\infty$ $k$-category, with compositions coming from the gluing map in |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1069 |
Property \ref{property:gluing-map} and with the action of families of homeomorphisms given in Theorem \ref{thm:evaluation}. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1070 |
\end{thm} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1071 |
\begin{rem} |
610 | 1072 |
When $Y$ is a point this produces an $A_\infty$ $n$-category from a topological $n$-category, |
1073 |
which can be thought of as a free resolution. |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1074 |
\end{rem} |
610 | 1075 |
This result is described in more detail as Example 6.2.8 of \cite{1009.5025}. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1076 |
|
618 | 1077 |
Fix a topological $n$-category $\cC$, which we'll now omit from notation. |
661 | 1078 |
From the above, associated to any $(n{-}1)$-manifold $Y$ is an $A_\infty$ category $\bc_*(Y)$. |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1079 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1080 |
\begin{thm}[Gluing formula] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1081 |
\label{thm:gluing} |
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1082 |
\mbox{}\vspace{-0.2cm}% <-- gets the indenting right |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1083 |
\begin{itemize} |
651 | 1084 |
\item For any $n$-manifold $X$, with $Y$ a codimension $0$-submanifold of its boundary, |
1085 |
the blob complex of $X$ is naturally an |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1086 |
$A_\infty$ module for $\bc_*(Y)$. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1087 |
|
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
1088 |
\item The blob complex of a glued manifold $X\bigcup_Y \selfarrow$ is the $A_\infty$ self-tensor product of |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1089 |
$\bc_*(X)$ as a $\bc_*(Y)$-bimodule: |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1090 |
\begin{equation*} |
585
e2996d7b4e6c
various, mostly working on axioms
Scott Morrison <scott@tqft.net>
parents:
584
diff
changeset
|
1091 |
\bc_*(X\bigcup_Y \selfarrow) \simeq \bc_*(X) \Tensor^{A_\infty}_{\mathclap{\bc_*(Y)}} \selfarrow |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1092 |
\end{equation*} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1093 |
\end{itemize} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1094 |
\end{thm} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1095 |
|
618 | 1096 |
\begin{proof} (Sketch.) |
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1097 |
The $A_\infty$ action of $\bc_*(Y)$ follows from the naturality of the blob complex with respect to gluing |
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1098 |
and the $C_*(\Homeo(-))$ action of Theorem \ref{thm:evaluation}. |
618 | 1099 |
|
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1100 |
Let $T_*$ denote the self tensor product of $\bc_*(X)$, which is a homotopy colimit. |
622
dda6d3a00b09
minor tweaks in sketch proofs
Scott Morrison <scott@tqft.net>
parents:
620
diff
changeset
|
1101 |
There is a tautological map from the 0-simplices of $T_*$ to $\bc_*(X\bigcup_Y \selfarrow)$, |
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1102 |
and this map can be extended to a chain map on all of $T_*$ by sending the higher simplices to zero. |
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1103 |
Constructing a homotopy inverse to this natural map involves making various choices, but one can show that the |
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1104 |
choices form contractible subcomplexes and apply the acyclic models theorem. |
618 | 1105 |
\end{proof} |
610 | 1106 |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1107 |
We next describe the blob complex for product manifolds, in terms of the |
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1108 |
blob complexes for the $A_\infty$ $n$-categories constructed as above. |
610 | 1109 |
|
1110 |
\begin{thm}[Product formula] |
|
1111 |
\label{thm:product} |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1112 |
Let $W$ be a $k$-manifold and $Y$ be an $n{-}k$ manifold. |
671 | 1113 |
Let $\cC$ be an ordinary $n$-category. |
610 | 1114 |
Let $\bc_*(Y;\cC)$ be the $A_\infty$ $k$-category associated to $Y$ as above. |
1115 |
Then |
|
1116 |
\[ |
|
1117 |
\bc_*(Y\times W; \cC) \simeq \clh{\bc_*(Y;\cC)}(W). |
|
1118 |
\] |
|
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1119 |
That is, the blob complex of $Y\times W$ with coefficients in $\cC$ is homotopy equivalent |
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1120 |
to the blob complex of $W$ with coefficients in $\bc_*(Y;\cC)$. |
610 | 1121 |
\end{thm} |
1122 |
The statement can be generalized to arbitrary fibre bundles, and indeed to arbitrary maps |
|
1123 |
(see \cite[\S7.1]{1009.5025}). |
|
1124 |
||
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1125 |
\begin{proof} (Sketch.) |
623 | 1126 |
The proof is similar to that of the second part of Theorem \ref{thm:gluing}. |
1127 |
There is a natural map from the 0-simplices of $\clh{\bc_*(Y;\cC)}(W)$ to $\bc_*(Y\times W; \cC)$, |
|
1128 |
given by reinterpreting a decomposition of $W$ labeled by $(n{-}k)$-morphisms of $\bc_*(Y; \cC)$ as a blob |
|
1129 |
diagram on $W\times Y$. |
|
1130 |
This map can be extended to all of $\clh{\bc_*(Y;\cC)}(W)$ by sending higher simplices to zero. |
|
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1131 |
|
623 | 1132 |
To construct the homotopy inverse of the above map one first shows that |
1133 |
$\bc_*(Y\times W; \cC)$ is homotopy equivalent to the subcomplex generated by blob diagrams which |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1134 |
are small with respect to any fixed open cover of $Y\times W$. |
623 | 1135 |
For a sufficiently fine open cover the generators of this ``small" blob complex are in the image of the map |
1136 |
of the previous paragraph, and furthermore the preimage in $\clh{\bc_*(Y;\cC)}(W)$ of such small diagrams |
|
1137 |
lie in contractible subcomplexes. |
|
1138 |
A standard acyclic models argument now constructs the homotopy inverse. |
|
620
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1139 |
\end{proof} |
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1140 |
|
28b016b716b1
adding some proof sketches
Kevin Walker <kevin@canyon23.net>
parents:
619
diff
changeset
|
1141 |
%\nn{Theorem \ref{thm:product} is proved in \S \ref{ss:product-formula}, and Theorem \ref{thm:gluing} in \S \ref{sec:gluing}.} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1142 |
|
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
1143 |
\section{Extending Deligne's conjecture to $n$-categories} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1144 |
\label{sec:applications} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1145 |
|
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1146 |
Let $M$ and $N$ be $n$-manifolds with common boundary $E$. |
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1147 |
Recall (Theorem \ref{thm:gluing}) that the $A_\infty$ category $A = \bc_*(E)$ |
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1148 |
acts on $\bc_*(M)$ and $\bc_*(N)$. |
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1149 |
Let $\hom_A(\bc_*(M), \bc_*(N))$ denote the chain complex of $A_\infty$ module maps |
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1150 |
from $\bc_*(M)$ to $\bc_*(N)$. |
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1151 |
Let $R$ be another $n$-manifold with boundary $E^\text{op}$. |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1152 |
There is a chain map |
661 | 1153 |
\begin{equation*} |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1154 |
\hom_A(\bc_*(M), \bc_*(N)) \ot \bc_*(M) \ot_A \bc_*(R) \to \bc_*(N) \ot_A \bc_*(R) . |
661 | 1155 |
\end{equation*} |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1156 |
We think of this map as being associated to a surgery which cuts $M$ out of $M\cup_E R$ and |
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1157 |
replaces it with $N$, yielding $N\cup_E R$. |
714
e541b222dceb
fixing rob's typo (that->than)
Scott Morrison <scott@tqft.net>
parents:
712
diff
changeset
|
1158 |
(This is a more general notion of surgery than usual: $M$ and $N$ can be any manifolds |
626 | 1159 |
which share a common boundary.) |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1160 |
In analogy to Hochschild cochains, we will call elements of $\hom_A(\bc_*(M), \bc_*(N))$ ``blob cochains". |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1161 |
|
626 | 1162 |
Recall (Theorem \ref{thm:evaluation}) that chains on the space of mapping cylinders also act on the |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1163 |
blob complex. |
626 | 1164 |
An $n$-dimensional surgery cylinder is |
1165 |
defined to be a sequence of mapping cylinders and surgeries (Figure \ref{delfig2}), |
|
1166 |
modulo changing the order of distant surgeries, and conjugating a submanifold not modified in a surgery by a homeomorphism. |
|
659
cc0c2dfe61f3
2nd installment of changes from proof-read
Kevin Walker <kevin@canyon23.net>
parents:
658
diff
changeset
|
1167 |
One can associate to this data an $(n{+}1)$-manifold with a foliation by intervals, |
626 | 1168 |
and the relations we impose correspond to homeomorphisms of the $(n{+}1)$-manifolds |
1169 |
which preserve the foliation. |
|
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1170 |
|
626 | 1171 |
Surgery cylinders form an operad, by gluing the outer boundary of one cylinder into an inner boundary of another. |
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1172 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1173 |
\begin{thm}[Higher dimensional Deligne conjecture] |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1174 |
\label{thm:deligne} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1175 |
The singular chains of the $n$-dimensional surgery cylinder operad act on blob cochains. |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1176 |
\end{thm} |
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1177 |
|
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1178 |
More specifically, let $M_0, N_0, \ldots, M_k, N_k$ be $n$-manifolds and let $SC^n_{\overline{M}, \overline{N}}$ |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1179 |
denote the component of the operad with outer boundary $M_0\cup N_0$ and inner boundaries |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1180 |
$M_1\cup N_1,\ldots, M_k\cup N_k$. |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1181 |
Then there is a collection of chain maps |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1182 |
\begin{multline*} |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1183 |
C_*(SC^n_{\overline{M}, \overline{N}})\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots \\ |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1184 |
\otimes \hom(\bc_*(M_{k}), \bc_*(N_{k})) \to \hom(\bc_*(M_0), \bc_*(N_0)) |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1185 |
\end{multline*} |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1186 |
which satisfy the operad compatibility conditions. |
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1187 |
|
661 | 1188 |
\begin{proof} (Sketch.) |
610 | 1189 |
We have already defined the action of mapping cylinders, in Theorem \ref{thm:evaluation}, |
1190 |
and the action of surgeries is just composition of maps of $A_\infty$-modules. |
|
662
57bd9fab3827
part way done with post phone call edits
Kevin Walker <kevin@canyon23.net>
parents:
661
diff
changeset
|
1191 |
We only need to check that the relations of the surgery cylinder operad are satisfied. |
610 | 1192 |
This follows from the locality of the action of $\CH{-}$ (i.e., that it is compatible with gluing) and associativity. |
595
9c708975b61b
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
594
diff
changeset
|
1193 |
\end{proof} |
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1194 |
|
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1195 |
Consider the special case where $n=1$ and all of the $M_i$'s and $N_i$'s are intervals. |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1196 |
We have that $SC^1_{\overline{M}, \overline{N}}$ is homotopy equivalent to the little |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1197 |
disks operad and $\hom(\bc_*(M_i), \bc_*(N_i))$ is homotopy equivalent to Hochschild cochains. |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1198 |
This special case is just the usual Deligne conjecture |
628
4cce595ae1d3
adding Gerstenhaber-Voronov, explicitly not proving the mapping spaces result, and slight tweaks
Scott Morrison <scott@tqft.net>
parents:
627
diff
changeset
|
1199 |
(see \cite{hep-th/9403055, MR1328534, MR1805894, MR1805923, MR2064592}). |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1200 |
|
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1201 |
The general case when $n=1$ goes beyond the original Deligne conjecture, as the $M_i$'s and $N_i$'s |
652
821d79885bfe
minor changes from proofreading
Scott Morrison <scott@tqft.net>
parents:
651
diff
changeset
|
1202 |
could be disjoint unions of intervals and circles, and the surgery cylinders could be high genus surfaces. |
627
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1203 |
|
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1204 |
If all of the $M_i$'s and $N_i$'s are $n$-balls, then $SC^n_{\overline{M}, \overline{N}}$ |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1205 |
contains a copy of the little $(n{+}1)$-balls operad. |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1206 |
Thus the little $(n{+}1)$-balls operad acts on blob cochains of the $n$-ball. |
b0ed73b141d8
finish deligne section; misc
Kevin Walker <kevin@canyon23.net>
parents:
626
diff
changeset
|
1207 |
|
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1208 |
|
566 | 1209 |
|
1210 |
%% == end of paper: |
|
1211 |
||
1212 |
%% Optional Materials and Methods Section |
|
1213 |
%% The Materials and Methods section header will be added automatically. |
|
1214 |
||
1215 |
%% Enter any subheads and the Materials and Methods text below. |
|
1216 |
%\begin{materials} |
|
1217 |
% Materials text |
|
1218 |
%\end{materials} |
|
1219 |
||
1220 |
||
1221 |
%% Optional Appendix or Appendices |
|
1222 |
%% \appendix Appendix text... |
|
1223 |
%% or, for appendix with title, use square brackets: |
|
1224 |
%% \appendix[Appendix Title] |
|
1225 |
||
1226 |
\begin{acknowledgments} |
|
610 | 1227 |
It is a pleasure to acknowledge helpful conversations with |
1228 |
Kevin Costello, |
|
625
c6d069b8f931
starting on Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
624
diff
changeset
|
1229 |
Michael Freedman, |
610 | 1230 |
Justin Roberts, |
1231 |
and |
|
1232 |
Peter Teichner. |
|
1233 |
We also thank the Aspen Center for Physics for providing a pleasant and productive |
|
1234 |
environment during the last stages of this project. |
|
566 | 1235 |
\end{acknowledgments} |
1236 |
||
1237 |
%% PNAS does not support submission of supporting .tex files such as BibTeX. |
|
1238 |
%% Instead all references must be included in the article .tex document. |
|
1239 |
%% If you currently use BibTeX, your bibliography is formed because the |
|
1240 |
%% command \verb+\bibliography{}+ brings the <filename>.bbl file into your |
|
1241 |
%% .tex document. To conform to PNAS requirements, copy the reference listings |
|
1242 |
%% from your .bbl file and add them to the article .tex file, using the |
|
1243 |
%% bibliography environment described above. |
|
1244 |
||
1245 |
%% Contact pnas@nas.edu if you need assistance with your |
|
1246 |
%% bibliography. |
|
1247 |
||
1248 |
% Sample bibliography item in PNAS format: |
|
1249 |
%% \bibitem{in-text reference} comma-separated author names up to 5, |
|
1250 |
%% for more than 5 authors use first author last name et al. (year published) |
|
1251 |
%% article title {\it Journal Name} volume #: start page-end page. |
|
1252 |
%% ie, |
|
1253 |
% \bibitem{Neuhaus} Neuhaus J-M, Sitcher L, Meins F, Jr, Boller T (1991) |
|
1254 |
% A short C-terminal sequence is necessary and sufficient for the |
|
1255 |
% targeting of chitinases to the plant vacuole. |
|
1256 |
% {\it Proc Natl Acad Sci USA} 88:10362-10366. |
|
1257 |
||
1258 |
||
1259 |
%% Enter the largest bibliography number in the facing curly brackets |
|
1260 |
%% following \begin{thebibliography} |
|
1261 |
||
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1262 |
%%%% BIBTEX |
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1263 |
%\bibliographystyle{unsrt} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1264 |
%\bibliography{../bibliography/bibliography} |
566 | 1265 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1266 |
%%%% non-BIBTEX |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1267 |
\newcommand{\noopsort}[1]{}\def\cprime{$'$} \def\cprime{$'$} \def\cprime{$'$} |
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1268 |
\begin{thebibliography}{10} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1269 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1270 |
\bibitem{1009.5025} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1271 |
S.~{Morrison} and K.~{Walker}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1272 |
\newblock {The blob complex}, September 2010. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1273 |
\newblock \arxiv{1009.5025}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1274 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1275 |
\bibitem{kw:tqft} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1276 |
Kevin Walker. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1277 |
\newblock Topological quantum field theories, 2006. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1278 |
\newblock Available at \url{http://canyon23.net/math/}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1279 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1280 |
\bibitem{0905.0465} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1281 |
Jacob Lurie. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1282 |
\newblock On the classification of topological field theories, 2009. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1283 |
\newblock \arxiv{0905.0465}. |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1284 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1285 |
\bibitem{1003.0598} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1286 |
R.~{Lipshitz}, P.~S. {Ozsvath}, and D.~P. {Thurston}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1287 |
\newblock {Bimodules in bordered Heegaard Floer homology}, March 2010. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1288 |
\newblock \arxiv{1003.0598}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1289 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1290 |
\bibitem{1005.1248} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1291 |
R.~{Lipshitz}, P.~S. {Ozsv{\'a}th}, and D.~P. {Thurston}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1292 |
\newblock {Heegaard Floer homology as morphism spaces}, May 2010. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1293 |
\newblock \arxiv{1005.1248}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1294 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1295 |
\bibitem{1011.1958} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1296 |
Lev Rozansky. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1297 |
\newblock A categorification of the stable su(2) |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1298 |
{W}itten-{R}eshetikhin-{T}uraev invariant of links in $s^2 \times s^1$, Nov |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1299 |
2010. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1300 |
\newblock \arxiv{1011.1958}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1301 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1302 |
\bibitem{life-of-brian} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1303 |
Monty Python. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1304 |
\newblock {L}ife of {B}rian, 1979. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1305 |
\newblock \url{http://www.youtube.com/watch?v=fIRb8TigJ28}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1306 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1307 |
\bibitem{MR505692} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1308 |
John~Frank Adams. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1309 |
\newblock {\em Infinite loop spaces}, volume~90 of {\em Annals of Mathematics |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1310 |
Studies}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1311 |
\newblock Princeton University Press, Princeton, N.J., 1978. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1312 |
\newblock \mathscinet{MR505692} \googlebooks{e2rYkg9lGnsC}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1313 |
|
678
e0bd7c5ec864
remove tillmann "personal communication" bib entry per PNAS policy
Kevin Walker <kevin@canyon23.net>
parents:
677
diff
changeset
|
1314 |
%\bibitem{ulrike-tillmann-2008} |
e0bd7c5ec864
remove tillmann "personal communication" bib entry per PNAS policy
Kevin Walker <kevin@canyon23.net>
parents:
677
diff
changeset
|
1315 |
%Ulrike Tillmann, 2008. |
e0bd7c5ec864
remove tillmann "personal communication" bib entry per PNAS policy
Kevin Walker <kevin@canyon23.net>
parents:
677
diff
changeset
|
1316 |
%\newblock personal communication. |
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1317 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1318 |
\bibitem{0909.2212} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1319 |
Ronald {Brown}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1320 |
\newblock {Moore hyperrectangles on a space form a strict cubical |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1321 |
omega-category}, September 2009. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1322 |
\newblock \arxiv{0909.2212}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1323 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1324 |
\bibitem{1009.4227} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1325 |
Alexander Kirillov, Jr. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1326 |
\newblock On piecewise linear cell decompositions, 2010. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1327 |
\newblock \arxiv{1009.4227}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1328 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1329 |
\bibitem{0911.0018} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1330 |
Jacob Lurie. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1331 |
\newblock {D}erived {A}lgebraic {G}eometry {VI}: {$E_k$} {A}lgebras, 2009. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1332 |
\newblock \arxiv{0911.0018}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1333 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1334 |
\bibitem{hep-th/9403055} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1335 |
E.~Getzler and J.~D.~S. Jones. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1336 |
\newblock {Operads, homotopy algebra, and iterated integrals for double loop |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1337 |
spaces}, 1994. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1338 |
\newblock \arxiv{hep-th/9403055}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1339 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1340 |
\bibitem{MR1328534} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1341 |
A.~A. Voronov and M.~Gerstenkhaber. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1342 |
\newblock Higher-order operations on the {H}ochschild complex. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1343 |
\newblock {\em Funktsional. Anal. i Prilozhen.}, 29(1):1--6, 96, 1995. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1344 |
\newblock \mathscinet{MR1328534} \doi{10.1007/BF01077036}. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1345 |
|
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1346 |
\bibitem{MR1805894} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1347 |
Maxim Kontsevich and Yan Soibelman. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1348 |
\newblock Deformations of algebras over operads and the {D}eligne conjecture. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1349 |
\newblock In {\em Conf\'erence {M}osh\'e {F}lato 1999, {V}ol. {I} ({D}ijon)}, |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1350 |
volume~21 of {\em Math. Phys. Stud.}, pages 255--307. Kluwer Acad. Publ., |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1351 |
Dordrecht, 2000. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1352 |
\newblock \mathscinet{MR1805894} \arxiv{math.QA/0001151}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1353 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1354 |
\bibitem{MR1805923} |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1355 |
Alexander~A. Voronov. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1356 |
\newblock Homotopy {G}erstenhaber algebras. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1357 |
\newblock In {\em Conf\'erence {M}osh\'e {F}lato 1999, {V}ol. {II} ({D}ijon)}, |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1358 |
volume~22 of {\em Math. Phys. Stud.}, pages 307--331. Kluwer Acad. Publ., |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1359 |
Dordrecht, 2000. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1360 |
\newblock \mathscinet{MR1805923} \arxiv{math.QA/9908040}. |
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1361 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1362 |
\bibitem{MR2064592} |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1363 |
Dmitry~E. Tamarkin. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1364 |
\newblock Formality of chain operad of little discs. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1365 |
\newblock {\em Lett. Math. Phys.}, 66(1-2):65--72, 2003. |
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1366 |
\newblock \mathscinet{MR2064592} \doi{10.1023/B:MATH.0000017651.12703.a1}. |
673
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1367 |
|
4304d791417d
switching in local bibliography
Scott Morrison <scott@tqft.net>
parents:
672
diff
changeset
|
1368 |
\end{thebibliography} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
1369 |
|
566 | 1370 |
|
677
ac2348e62010
reformatting bibliography for PNAS
Scott Morrison <scott@tqft.net>
parents:
676
diff
changeset
|
1371 |
|
566 | 1372 |
\end{article} |
1373 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1374 |
||
1375 |
%% Adding Figure and Table References |
|
1376 |
%% Be sure to add figures and tables after \end{article} |
|
1377 |
%% and before \end{document} |
|
1378 |
||
1379 |
%% For figures, put the caption below the illustration. |
|
1380 |
%% |
|
1381 |
%% \begin{figure} |
|
1382 |
%% \caption{Almost Sharp Front}\label{afoto} |
|
1383 |
%% \end{figure} |
|
1384 |
||
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1385 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1386 |
\begin{figure} |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1387 |
\begin{equation*} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1388 |
\mathfig{0.18}{figure1} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1389 |
\end{equation*} |
594
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1390 |
\caption{Combining two balls to get a full boundary.}\label{blah3}\end{figure} |
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1391 |
|
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1392 |
\begin{figure} |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1393 |
\begin{equation*} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1394 |
\mathfig{0.14}{figure2} |
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1395 |
\end{equation*} |
594
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1396 |
\caption{From two balls to one ball.}\label{blah5}\end{figure} |
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1397 |
|
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1398 |
\begin{figure} |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1399 |
\begin{equation*} |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1400 |
\mathfig{.23}{zz2} |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1401 |
\end{equation*} |
594
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1402 |
\caption{A small part of $\cell(W)$.} |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1403 |
\label{partofJfig} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1404 |
\end{figure} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1405 |
|
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1406 |
\begin{figure} |
626 | 1407 |
%$$\mathfig{.4}{deligne/manifolds}$$ |
676
a9b9094e3b9c
moving everything into one directory for PNAS submission, and externalizing TikZ
Scott Morrison <scott@tqft.net>
parents:
675
diff
changeset
|
1408 |
$$\mathfig{.4}{mapping-cylinders}$$ |
594
6945422bed13
adding some figures for the axioms
Scott Morrison <scott@tqft.net>
parents:
591
diff
changeset
|
1409 |
\caption{An $n$-dimensional surgery cylinder.}\label{delfig2} |
577
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1410 |
\end{figure} |
9a60488cd2fc
out of battery. writing a little about the deligne conjecture
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
1411 |
|
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
1412 |
|
566 | 1413 |
%% For Tables, put caption above table |
1414 |
%% |
|
1415 |
%% Table caption should start with a capital letter, continue with lower case |
|
1416 |
%% and not have a period at the end |
|
1417 |
%% Using @{\vrule height ?? depth ?? width0pt} in the tabular preamble will |
|
1418 |
%% keep that much space between every line in the table. |
|
1419 |
||
1420 |
%% \begin{table} |
|
1421 |
%% \caption{Repeat length of longer allele by age of onset class} |
|
1422 |
%% \begin{tabular}{@{\vrule height 10.5pt depth4pt width0pt}lrcccc} |
|
1423 |
%% table text |
|
1424 |
%% \end{tabular} |
|
1425 |
%% \end{table} |
|
1426 |
||
1427 |
%% For two column figures and tables, use the following: |
|
1428 |
||
1429 |
%% \begin{figure*} |
|
1430 |
%% \caption{Almost Sharp Front}\label{afoto} |
|
1431 |
%% \end{figure*} |
|
1432 |
||
1433 |
%% \begin{table*} |
|
1434 |
%% \caption{Repeat length of longer allele by age of onset class} |
|
1435 |
%% \begin{tabular}{ccc} |
|
1436 |
%% table text |
|
1437 |
%% \end{tabular} |
|
1438 |
%% \end{table*} |
|
1439 |
||
1440 |
\end{document} |
|
1441 |