| author | Scott Morrison <scott@tqft.net> |
| Mon, 25 Oct 2010 13:08:15 -0700 | |
| changeset 572 | e0f5ec582725 |
| parent 571 | f958e0ea62f8 |
| child 573 | 8378e03d3c7f |
| permissions | -rw-r--r-- |
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
1 |
%auto-ignore |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
2 |
%!TEX root = pnas.tex |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
3 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
4 |
\def\bc{{\mathcal B}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
5 |
\def\btc{{\mathcal{BT}}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
6 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
7 |
\newcommand{\HC}{\operatorname{Hoch}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
8 |
\newcommand{\HH}{\operatorname{HH}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
9 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
10 |
\newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
11 |
\newcommand{\CD}[1]{C_*(\Diff(#1))}
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
12 |
\newcommand{\CH}[1]{CH_*(#1)}
|
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
13 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
14 |
\newcommand{\cl}[1]{\underrightarrow{#1}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
15 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
16 |
\newcommand{\Set}{\text{\textbf{Set}}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
17 |
\newcommand{\Vect}{\text{\textbf{Vect}}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
18 |
\newcommand{\Kom}{\text{\textbf{Kom}}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
19 |
\newcommand{\Cat}{\mathcal{C}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
20 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
21 |
\newcommand{\cell}{\mathfrak{D}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
22 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
23 |
\newcommand{\into}{\hookrightarrow}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
24 |
\newcommand{\onto}{\twoheadrightarrow}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
25 |
\newcommand{\iso}{\cong}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
26 |
\newcommand{\quism}{\underset{\text{q.i.}}{\simeq}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
27 |
\newcommand{\htpy}{\simeq}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
28 |
\newcommand{\actsOn}{\circlearrowright}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
29 |
\newcommand{\xto}[1]{\xrightarrow{#1}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
30 |
\newcommand{\isoto}{\xto{\iso}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
31 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
32 |
\newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
33 |
\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
34 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
35 |
\newcommand{\directSum}{\oplus}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
36 |
\newcommand{\DirectSum}{\bigoplus}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
37 |
\newcommand{\tensor}{\otimes}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
38 |
\newcommand{\Tensor}{\bigotimes}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
39 |
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
40 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.48,-0.16); \draw[->] (0,0.2) .. controls (0.6,0.8) and (0.6,-0.6) .. (0,0);}}}}
|
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
41 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
42 |
\newcommand{\bdy}{\partial}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
43 |
\newcommand{\compose}{\circ}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
44 |
\newcommand{\eset}{\emptyset}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
45 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
46 |
\newcommand{\id}{\boldsymbol{1}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
47 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
48 |
\newtheorem{property}{Property}
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
49 |
\newtheorem{prop}{Proposition}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
50 |
\newtheorem{thm}[prop]{Theorem}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
51 |
|
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
52 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
53 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
54 |
% \mathrlap -- a horizontal \smash-------------------------------- |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
55 |
% For comparison, the existing overlap macros: |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
56 |
% \def\llap#1{\hbox to 0pt{\hss#1}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
57 |
% \def\rlap#1{\hbox to 0pt{#1\hss}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
58 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
59 |
\def\mathllap{\mathpalette\mathllapinternal}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
60 |
\def\mathrlap{\mathpalette\mathrlapinternal}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
61 |
\def\mathclap{\mathpalette\mathclapinternal}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
62 |
\def\mathllapinternal#1#2{%
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
63 |
\llap{$\mathsurround=0pt#1{#2}$}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
64 |
\def\mathrlapinternal#1#2{%
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
65 |
\rlap{$\mathsurround=0pt#1{#2}$}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
66 |
\def\mathclapinternal#1#2{%
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
67 |
\clap{$\mathsurround=0pt#1{#2}$}}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
68 |
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
69 |
% references |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
70 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
71 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
72 |
\newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
73 |
\newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
74 |
\newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
75 |
\newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
76 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
77 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
78 |
|
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
79 |
% packages |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
80 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
81 |
\usepackage{tikz}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
82 |
\usetikzlibrary{shapes}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
83 |
\usetikzlibrary{backgrounds}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
84 |
\usetikzlibrary{decorations,decorations.pathreplacing}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
85 |
\usetikzlibrary{fit,calc,through}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
86 |
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
87 |
\usepackage[all,color]{xy}
|
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
88 |
\SelectTips{cm}{}
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
89 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
90 |
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
91 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
92 |
\usepackage{xcolor}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
93 |
\definecolor{dark-red}{rgb}{0.7,0.25,0.25}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
94 |
\definecolor{dark-blue}{rgb}{0.15,0.15,0.55}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
95 |
\definecolor{medium-blue}{rgb}{0,0,0.65}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
96 |
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
97 |
\hypersetup{
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
98 |
colorlinks, linkcolor={dark-red},
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
99 |
citecolor={dark-blue}, urlcolor={medium-blue}
|
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
100 |
} |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
101 |