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 |