1 %auto-ignore |
|
2 %!TEX root = pnas.tex |
|
3 |
|
4 \def\bc{{\mathcal B}} |
|
5 \def\btc{{\mathcal{BT}}} |
|
6 |
|
7 \newcommand{\HC}{\operatorname{Hoch}} |
|
8 \newcommand{\HH}{\operatorname{HH}} |
|
9 |
|
10 \newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))} |
|
11 \newcommand{\CD}[1]{C_*(\Diff(#1))} |
|
12 \newcommand{\CH}[1]{CH_*(#1)} |
|
13 |
|
14 \newcommand{\cl}[1]{\underrightarrow{#1}} |
|
15 \newcommand{\clh}[1]{\underrightarrow{#1}_{{}_{{}_{{}_h}}}} |
|
16 |
|
17 |
|
18 \newcommand{\Set}{\text{\textbf{Set}}} |
|
19 \newcommand{\Vect}{\text{\textbf{Vect}}} |
|
20 \newcommand{\Kom}{\text{\textbf{Kom}}} |
|
21 \newcommand{\Cat}{\mathcal{C}} |
|
22 |
|
23 \newcommand{\cell}{\mathfrak{D}} |
|
24 |
|
25 \newcommand{\into}{\hookrightarrow} |
|
26 \newcommand{\onto}{\twoheadrightarrow} |
|
27 \newcommand{\iso}{\cong} |
|
28 \newcommand{\quism}{\underset{\text{q.i.}}{\simeq}} |
|
29 \newcommand{\htpy}{\simeq} |
|
30 \newcommand{\actsOn}{\circlearrowright} |
|
31 \newcommand{\xto}[1]{\xrightarrow{#1}} |
|
32 \newcommand{\isoto}{\xto{\iso}} |
|
33 \newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
|
34 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
|
35 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
|
36 |
|
37 \newcommand{\directSum}{\oplus} |
|
38 \newcommand{\DirectSum}{\bigoplus} |
|
39 \newcommand{\tensor}{\otimes} |
|
40 \newcommand{\Tensor}{\bigotimes} |
|
41 |
|
42 \newcommand{\Bord}{\operatorname{Bord}} |
|
43 |
|
44 \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);}}}} |
|
45 |
|
46 \newcommand{\bdy}{\partial} |
|
47 \newcommand{\compose}{\circ} |
|
48 \newcommand{\eset}{\emptyset} |
|
49 |
|
50 \newcommand{\id}{\boldsymbol{1}} |
|
51 |
|
52 % kw_macros |
|
53 |
|
54 %!TEX root = ../blob1.tex |
|
55 |
|
56 %%%%% excerpts from KW's include file of standard macros |
|
57 %%% (with various new ones added) |
|
58 |
|
59 \def\z{\mathbb{Z}} |
|
60 \def\r{\mathbb{R}} |
|
61 \def\c{\mathbb{C}} |
|
62 \def\t{\mathbb{T}} |
|
63 \def\ebb{\mathbb{E}} |
|
64 |
|
65 \def\k{{\bf k}} |
|
66 |
|
67 \def\du{\sqcup} |
|
68 \def\bd{\partial} |
|
69 \def\sub{\subset} |
|
70 \def\subeq{\subseteq} |
|
71 \def\sup{\supset} |
|
72 %\def\setmin{\smallsetminus} |
|
73 \def\setmin{\setminus} |
|
74 \def\ep{\epsilon} |
|
75 \def\sgl{_\mathrm{gl}} |
|
76 \def\op{^\mathrm{op}} |
|
77 \def\deq{\stackrel{\mathrm{def}}{=}} |
|
78 \def\pd#1#2{\frac{\partial #1}{\partial #2}} |
|
79 %\def\lf{\overline{\cC}} |
|
80 \def\lf{\cC} |
|
81 \def\ot{\otimes} |
|
82 \def\vphi{\varphi} |
|
83 \def\inv{^{-1}} |
|
84 \def\ol{\overline} |
|
85 \def\BD{BD} |
|
86 |
|
87 \def\spl{_\pitchfork} |
|
88 |
|
89 |
|
90 % equations |
|
91 \newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}} |
|
92 \newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}} |
|
93 \newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}} |
|
94 |
|
95 \DeclareMathOperator*{\colim}{colim} |
|
96 \DeclareMathOperator*{\hocolim}{hocolim} |
|
97 |
|
98 \DeclareMathOperator{\most}{most} |
|
99 \DeclareMathOperator{\rest}{rest} |
|
100 |
|
101 |
|
102 \DeclareMathOperator{\kone}{cone} |
|
103 |
|
104 |
|
105 % new theorems |
|
106 |
|
107 \newtheorem{prop}{Proposition} |
|
108 \newtheorem{property}[prop]{Property} |
|
109 \newtheorem{thm}[prop]{Theorem} |
|
110 \newtheorem{lem}[prop]{Lemma} |
|
111 \newtheorem{defn}[prop]{Definition} |
|
112 \newtheorem{axiom}[prop]{Axiom} |
|
113 |
|
114 \newenvironment{rem}{\noindent\textsl{Remark.}}{} |
|
115 |
|
116 % \mathrlap -- a horizontal \smash-------------------------------- |
|
117 % For comparison, the existing overlap macros: |
|
118 % \def\llap#1{\hbox to 0pt{\hss#1}} |
|
119 % \def\rlap#1{\hbox to 0pt{#1\hss}} |
|
120 \def\clap#1{\hbox to 0pt{\hss#1\hss}} |
|
121 \def\mathllap{\mathpalette\mathllapinternal} |
|
122 \def\mathrlap{\mathpalette\mathrlapinternal} |
|
123 \def\mathclap{\mathpalette\mathclapinternal} |
|
124 \def\mathllapinternal#1#2{% |
|
125 \llap{$\mathsurround=0pt#1{#2}$}} |
|
126 \def\mathrlapinternal#1#2{% |
|
127 \rlap{$\mathsurround=0pt#1{#2}$}} |
|
128 \def\mathclapinternal#1#2{% |
|
129 \clap{$\mathsurround=0pt#1{#2}$}} |
|
130 |
|
131 % tricky way to iterate macros over a list |
|
132 \def\semicolon{;} |
|
133 \def\applytolist#1{ |
|
134 \expandafter\def\csname multi#1\endcsname##1{ |
|
135 \def\multiack{##1}\ifx\multiack\semicolon |
|
136 \def\next{\relax} |
|
137 \else |
|
138 \csname #1\endcsname{##1} |
|
139 \def\next{\csname multi#1\endcsname} |
|
140 \fi |
|
141 \next} |
|
142 \csname multi#1\endcsname} |
|
143 |
|
144 % \def\cA{{\cal A}} for A..Z |
|
145 \def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}} |
|
146 \applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
|
147 |
|
148 % \def\bbA{{\mathbb A}} for A..Z |
|
149 \def\bbc#1{\expandafter\def\csname bb#1\endcsname{{\mathbb #1}}} |
|
150 \applytolist{bbc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
|
151 |
|
152 % \def\bA{{\mathbf A}} for A..Z |
|
153 \def\bfc#1{\expandafter\def\csname bf#1\endcsname{{\mathbf #1}}} |
|
154 \applytolist{bfc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
|
155 |
|
156 % \DeclareMathOperator{\pr}{pr} etc. |
|
157 \def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} |
|
158 \applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat}; |
|
159 |
|
160 % \todo, \nn and \noop |
|
161 \newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}} |
|
162 \def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} |
|
163 \long\def\noop#1{} |
|
164 |
|
165 |
|
166 |
|
167 % references |
|
168 |
|
169 \newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}} |
|
170 \newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}} |
|
171 \newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}} |
|
172 \newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}} |
|
173 \newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})} |
|
174 |
|
175 |
|
176 |
|
177 % figures |
|
178 |
|
179 \newcommand{\mathfig}[2]{\ensuremath{\hspace{-3pt}\begin{array}{c}% |
|
180 \raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{diagrams/#2}}% |
|
181 \end{array}\hspace{-3pt}}} |
|
182 |
|
183 |
|
184 % packages |
|
185 |
|
186 \usepackage{tikz} |
|
187 \usetikzlibrary{shapes} |
|
188 \usetikzlibrary{backgrounds} |
|
189 \usetikzlibrary{decorations,decorations.pathreplacing} |
|
190 \usetikzlibrary{fit,calc,through} |
|
191 |
|
192 \usepackage[all,color]{xy} |
|
193 \SelectTips{cm}{} |
|
194 |
|
195 \usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref} |
|
196 |
|
197 \usepackage{xcolor} |
|
198 \definecolor{dark-red}{rgb}{0.7,0.25,0.25} |
|
199 \definecolor{dark-blue}{rgb}{0.15,0.15,0.55} |
|
200 \definecolor{medium-blue}{rgb}{0,0,0.65} |
|
201 |
|
202 \hypersetup{ |
|
203 colorlinks, linkcolor={dark-red}, |
|
204 citecolor={dark-blue}, urlcolor={medium-blue} |
|
205 } |
|
206 |
|