| author | Scott Morrison <scott@tqft.net> |
| Thu, 20 Sep 2012 14:24:07 +1000 | |
| changeset 979 | 01c4b50b5489 |
| parent 884 | d5caffd01b72 |
| child 978 | a80cc9f9a65b |
| permissions | -rw-r--r-- |
| 55 | 1 |
%auto-ignore |
| 147 | 2 |
%!TEX root = blob1.tex |
| 55 | 3 |
%this ensures the arxiv doesn't try to start TeXing here. |
4 |
||
|
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
226
diff
changeset
|
5 |
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
| 55 | 6 |
\usepackage{ifpdf}
|
7 |
||
8 |
\usepackage[all,color]{xy}
|
|
| 570 | 9 |
\SelectTips{cm}{}
|
10 |
% This may speed up compilation of complex documents with many xymatrices. |
|
11 |
%\CompileMatrices |
|
| 55 | 12 |
|
|
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
226
diff
changeset
|
13 |
\usepackage[section]{placeins}
|
| 76 | 14 |
\usepackage{leftidx}
|
| 279 | 15 |
\usepackage{stmaryrd} % additional math symbols, e.g. \mapsfrom
|
|
290
9bb7d314c694
working on smallblobs.tex. messed up some oof the module stuff, will fix again momentarily
Scott Morrison <scott@tqft.net>
parents:
279
diff
changeset
|
16 |
\usepackage{microtype}
|
| 76 | 17 |
|
| 55 | 18 |
|
19 |
% ---------------------------------------------------------------- |
|
20 |
\vfuzz2pt % Don't report over-full v-boxes if over-edge is small |
|
21 |
\hfuzz2pt % Don't report over-full h-boxes if over-edge is small |
|
22 |
% ---------------------------------------------------------------- |
|
23 |
||
|
518
ecc85aed588a
supress warnings about PDF 1.5
Kevin Walker <kevin@canyon23.net>
parents:
513
diff
changeset
|
24 |
% don't warn about PDF 1.5 (default was 1.4); dangerous? |
|
ecc85aed588a
supress warnings about PDF 1.5
Kevin Walker <kevin@canyon23.net>
parents:
513
diff
changeset
|
25 |
\pdfminorversion=5 |
|
ecc85aed588a
supress warnings about PDF 1.5
Kevin Walker <kevin@canyon23.net>
parents:
513
diff
changeset
|
26 |
|
| 55 | 27 |
% diagrams ------------------------------------------------------- |
28 |
% figures --------------------------------------------------------- |
|
|
375
faac9ca8f092
finished rearranging diagrams directory
Scott Morrison <scott@tqft.net>
parents:
336
diff
changeset
|
29 |
\newcommand{\pathtodiagrams}{\pathtotrunk diagrams/}
|
| 55 | 30 |
|
| 157 | 31 |
\newcommand{\mathfig}[2]{\ensuremath{\hspace{-3pt}\begin{array}{c}%
|
| 55 | 32 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{\pathtodiagrams #2}}%
|
33 |
\end{array}\hspace{-3pt}}}
|
|
34 |
\newcommand{\reflectmathfig}[2]{{\hspace{-3pt}\begin{array}{c}%
|
|
35 |
\raisebox{-2.5pt}{\reflectbox{\includegraphics[width=#1\textwidth]{\pathtodiagrams #2}}}%
|
|
36 |
\end{array}\hspace{-3pt}}}
|
|
37 |
\newcommand{\rotatemathfig}[3]{{\hspace{-3pt}\begin{array}{c}%
|
|
38 |
\raisebox{-2.5pt}{\rotatebox{#2}{\includegraphics[height=#1\textwidth]{\pathtodiagrams #3}}}%
|
|
39 |
\end{array}\hspace{-3pt}}}
|
|
40 |
\newcommand{\placefig}[2]{\includegraphics[width=#1\linewidth]{\pathtodiagrams #2}}
|
|
41 |
||
42 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}}
|
|
43 |
\newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}}
|
|
44 |
\newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}}
|
|
45 |
\newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}}
|
|
| 166 | 46 |
\newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})}
|
| 55 | 47 |
|
48 |
||
49 |
% THEOREMS ------------------------------------------------------- |
|
50 |
\theoremstyle{plain}
|
|
| 154 | 51 |
%\newtheorem*{fact}{Fact}
|
|
551
9dfb5db2acd7
remaining changes from tuesday afternoon
Scott Morrison <scott@tqft.net>
parents:
535
diff
changeset
|
52 |
\newtheorem{prop}{Proposition}[subsection]
|
|
884
d5caffd01b72
fixing theorem numbering in sections without subsections
Scott Morrison <scott@tqft.net>
parents:
611
diff
changeset
|
53 |
\makeatletter |
|
d5caffd01b72
fixing theorem numbering in sections without subsections
Scott Morrison <scott@tqft.net>
parents:
611
diff
changeset
|
54 |
\@addtoreset{prop}{section}
|
|
d5caffd01b72
fixing theorem numbering in sections without subsections
Scott Morrison <scott@tqft.net>
parents:
611
diff
changeset
|
55 |
\makeatother |
| 55 | 56 |
\newtheorem{conj}[prop]{Conjecture}
|
57 |
\newtheorem{thm}[prop]{Theorem}
|
|
58 |
\newtheorem{lem}[prop]{Lemma}
|
|
| 194 | 59 |
\newtheorem*{lem*}{Lemma}
|
| 55 | 60 |
\newtheorem{cor}[prop]{Corollary}
|
61 |
\newtheorem*{cor*}{Corollary}
|
|
62 |
\newtheorem*{exc}{Exercise}
|
|
63 |
\newtheorem{defn}[prop]{Definition} % numbered definition
|
|
64 |
\newtheorem*{defn*}{Definition} % unnumbered definition
|
|
65 |
\newtheorem{question}{Question}
|
|
|
551
9dfb5db2acd7
remaining changes from tuesday afternoon
Scott Morrison <scott@tqft.net>
parents:
535
diff
changeset
|
66 |
\newtheorem{property}[prop]{Property}
|
|
9dfb5db2acd7
remaining changes from tuesday afternoon
Scott Morrison <scott@tqft.net>
parents:
535
diff
changeset
|
67 |
\newtheorem{axiom}[prop]{Axiom}
|
|
9dfb5db2acd7
remaining changes from tuesday afternoon
Scott Morrison <scott@tqft.net>
parents:
535
diff
changeset
|
68 |
\newtheorem{module-axiom}[prop]{Module Axiom}
|
| 55 | 69 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above?
|
|
398
2a9c637182f0
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net>
parents:
378
diff
changeset
|
70 |
\newtheorem{rem*}[prop]{Remark}
|
| 55 | 71 |
\numberwithin{equation}{section}
|
| 570 | 72 |
%% example, claim and remark are defined in article_preamble.tex, for compatibility with beamer and PNAS |
|
378
e5867a64cae5
moving files around for a talk in Stony Brook
Scott Morrison <scott@tqft.net>
parents:
375
diff
changeset
|
73 |
|
| 55 | 74 |
|
75 |
% Marginal notes in draft mode ----------------------------------- |
|
76 |
\newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue} $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n} #1 --S}} % draft mode
|
|
| 99 | 77 |
\newcommand{\kevin}[1]{\stepcounter{comment}{\color[rgb]{.2,.5,.6} $\star^{(\arabic{comment})}$}\marginpar{\color{green} $\star^{(\arabic{comment})}$ #1 --K}} % draft mode
|
| 55 | 78 |
\newcommand{\comment}[1]{\stepcounter{comment}$\star^{(\arabic{comment})}$\marginpar{\tiny $\star^{(\arabic{comment})}$ #1}} % draft mode
|
79 |
\newcounter{comment}
|
|
80 |
\newcommand{\noop}[1]{}
|
|
| 101 | 81 |
\newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}}
|
| 55 | 82 |
|
83 |
% \mathrlap -- a horizontal \smash-------------------------------- |
|
84 |
% For comparison, the existing overlap macros: |
|
85 |
% \def\llap#1{\hbox to 0pt{\hss#1}}
|
|
86 |
% \def\rlap#1{\hbox to 0pt{#1\hss}}
|
|
87 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
|
|
88 |
\def\mathllap{\mathpalette\mathllapinternal}
|
|
89 |
\def\mathrlap{\mathpalette\mathrlapinternal}
|
|
90 |
\def\mathclap{\mathpalette\mathclapinternal}
|
|
91 |
\def\mathllapinternal#1#2{%
|
|
92 |
\llap{$\mathsurround=0pt#1{#2}$}}
|
|
93 |
\def\mathrlapinternal#1#2{%
|
|
94 |
\rlap{$\mathsurround=0pt#1{#2}$}}
|
|
95 |
\def\mathclapinternal#1#2{%
|
|
96 |
\clap{$\mathsurround=0pt#1{#2}$}}
|
|
97 |
||
98 |
% MATH ----------------------------------------------------------- |
|
99 |
\newcommand{\Natural}{\mathbb N}
|
|
100 |
\newcommand{\Integer}{\mathbb Z}
|
|
101 |
\newcommand{\Rational}{\mathbb Q}
|
|
102 |
\newcommand{\Real}{\mathbb R}
|
|
103 |
\newcommand{\Complex}{\mathbb C}
|
|
104 |
\newcommand{\Field}{\mathbb F}
|
|
105 |
||
106 |
\newcommand{\id}{\boldsymbol{1}}
|
|
107 |
\renewcommand{\imath}{\mathfrak{i}}
|
|
108 |
\renewcommand{\jmath}{\mathfrak{j}}
|
|
109 |
||
110 |
\newcommand{\qRing}{\Integer[q,q^{-1}]}
|
|
111 |
\newcommand{\qMod}{\qRing-\operatorname{Mod}}
|
|
112 |
\newcommand{\ZMod}{\Integer-\operatorname{Mod}}
|
|
113 |
||
| 135 | 114 |
\newcommand{\lmod}[1]{\leftidx{_{#1}}{\operatorname{mod}}{}}
|
115 |
||
| 136 | 116 |
\newcommand{\HC}{\operatorname{Hoch}}
|
117 |
\newcommand{\HH}{\operatorname{HH}}
|
|
118 |
||
|
479
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
398
diff
changeset
|
119 |
\newcommand{\cell}{\mathfrak{D}}
|
|
cfad13b6b1e5
some modifications to blobdef
Scott Morrison <scott@tqft.net>
parents:
398
diff
changeset
|
120 |
|
| 55 | 121 |
\def\bc{{\mathcal B}}
|
| 513 | 122 |
\def\btc{{\mathcal{BT}}}
|
| 55 | 123 |
|
124 |
\newcommand{\into}{\hookrightarrow}
|
|
125 |
\newcommand{\onto}{\twoheadrightarrow}
|
|
126 |
\newcommand{\iso}{\cong}
|
|
| 267 | 127 |
\newcommand{\quism}{\underset{\text{q.i.}}{\simeq}}
|
| 55 | 128 |
\newcommand{\htpy}{\simeq}
|
129 |
\newcommand{\actsOn}{\circlearrowright}
|
|
130 |
\newcommand{\xto}[1]{\xrightarrow{#1}}
|
|
131 |
\newcommand{\isoto}{\xto{\iso}}
|
|
132 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}}
|
|
133 |
\newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}
|
|
134 |
\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}
|
|
135 |
||
136 |
\newcommand{\restrict}[2]{#1{}_{\mid #2}{}}
|
|
137 |
\newcommand{\set}[1]{\left\{#1\right\}}
|
|
| 171 | 138 |
\newcommand{\setc}[2]{\setcl{#1}{#2}}
|
| 170 | 139 |
\newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}}
|
140 |
\newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.}
|
|
| 55 | 141 |
\newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}
|
142 |
\newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)}
|
|
143 |
\newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle}
|
|
144 |
||
145 |
\newcommand{\floor}[1]{\left\lfloor#1\right\rfloor}
|
|
146 |
\newcommand{\norm}[1]{\left|\left|#1\right|\right|}
|
|
147 |
\newcommand{\abs}[1]{\left|#1\right|}
|
|
148 |
||
149 |
\newcommand{\card}[1]{\sharp{#1}}
|
|
150 |
||
151 |
\newcommand{\bdy}{\partial}
|
|
152 |
\newcommand{\compose}{\circ}
|
|
153 |
\newcommand{\eset}{\emptyset}
|
|
154 |
||
155 |
\newcommand{\psmallmatrix}[1]{\left(\begin{smallmatrix} #1 \end{smallmatrix}\right)}
|
|
156 |
||
157 |
\newcommand{\directSum}{\oplus}
|
|
158 |
\newcommand{\DirectSum}{\bigoplus}
|
|
159 |
\newcommand{\tensor}{\otimes}
|
|
160 |
\newcommand{\Tensor}{\bigotimes}
|
|
161 |
||
| 570 | 162 |
%\newcommand{\selfarrow}{\ensuremath{\!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]}\phantom{++.\!\!}}}
|
163 |
%\newsavebox{\selfarrowcontents}
|
|
164 |
%\savebox{\selfarrowcontents}{\selfarrow}
|
|
165 |
%\renewcommand{\selfarrow}{\usebox{\selfarrowcontents}}
|
|
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
570
diff
changeset
|
166 |
\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);}}}}
|
| 55 | 167 |
|
| 57 | 168 |
\newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))}
|
| 55 | 169 |
\newcommand{\CD}[1]{C_*(\Diff(#1))}
|
| 166 | 170 |
\newcommand{\CH}[1]{C_*(\Homeo(#1))}
|
| 55 | 171 |
|
|
323
6cc92b273d44
added \cl ([ho]colim) (currently \underrightarrow)
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
172 |
\newcommand{\cl}[1]{\underrightarrow{#1}}
|
|
6cc92b273d44
added \cl ([ho]colim) (currently \underrightarrow)
Kevin Walker <kevin@canyon23.net>
parents:
310
diff
changeset
|
173 |
|
| 570 | 174 |
\newcommand{\Set}{\text{\textbf{Set}}}
|
175 |
\newcommand{\Vect}{\text{\textbf{Vect}}}
|
|
176 |
\newcommand{\Kom}{\text{\textbf{Kom}}}
|
|
177 |
\newcommand{\Cat}{\mathcal{C}}
|
|
| 55 | 178 |
|
| 611 | 179 |
\newcommand{\Bord}{\operatorname{Bord}}
|
180 |
||
| 570 | 181 |
\newcommand{\Inv}[1]{\operatorname{Inv}\left(#1\right)}
|
182 |
\newcommand{\Hom}[3]{\operatorname{Hom}_{#1}\left(#2,#3\right)}
|
|
183 |
\newcommand{\End}[1]{\operatorname{End}\left(#1\right)}
|
|
184 |
\newcommand{\Obj}{\operatorname{Obj}}
|
|
| 55 | 185 |
|
186 |
\newenvironment{narrow}[2]{%
|
|
187 |
\vspace{-0.4cm}% horrible hack, by scott % this only seems to be appropriate in beamer mode...
|
|
188 |
\begin{list}{}{%
|
|
189 |
\setlength{\topsep}{0pt}%
|
|
190 |
\setlength{\leftmargin}{#1}%
|
|
191 |
\setlength{\rightmargin}{#2}%
|
|
192 |
\setlength{\listparindent}{\parindent}%
|
|
193 |
\setlength{\itemindent}{\parindent}%
|
|
194 |
\setlength{\parsep}{\parskip}}%
|
|
195 |
\item[]}{\end{list}}
|
|
196 |
% ---------------------------------------------------------------- |
|
| 154 | 197 |
|
198 |