|
| 1 | +%% LaTeX header file for Math 821, Algebraic Topology |
| 2 | +%% JLM 1/9/18 |
| 3 | +%% Feel free to use or modify these macros as you see fit. |
| 4 | + |
| 5 | +% General stuff |
| 6 | +\documentclass[reqno]{amsart} |
| 7 | +\usepackage{amssymb,amsmath,amsthm,graphics,hyperref,mathrsfs,stmaryrd,dsfont,youngtab,tcolorbox,framed,blkarray,color,fullpage} |
| 8 | +\usepackage[all]{xy} |
| 9 | +\usepackage{enumerate} |
| 10 | +\usepackage{bbm} |
| 11 | +\numberwithin{equation}{section} |
| 12 | +\renewcommand{\phi}{\varphi} |
| 13 | + |
| 14 | +%%%%%%%%%%%%%%%% Macros for figures %%%%%%%%%%%%%%%% |
| 15 | + |
| 16 | +%% I like to keep all my figures in a subfolder called "figs". If you keep figures in the same folder as the source .tex tile, remove "figs/" from the macros. |
| 17 | + |
| 18 | +%% Usage: \includefigure{height}{width}{filename} |
| 19 | +\newcommand{\includefigure}[3]{{ |
| 20 | + \begin{center} |
| 21 | + \resizebox{#1}{#2}{\includegraphics{{figs/#3}}} |
| 22 | + \end{center}}} |
| 23 | +\newcommand{\includefigurewithinmath}[3]{{ |
| 24 | + \resizebox{#1}{#2}{\includegraphics{{figs/#3}}}}} |
| 25 | + |
| 26 | +%%%%%%%%%%%%%%%% Vertical spacing %%%%%%%%%%%%%%%% |
| 27 | +\newcommand{\hugepad}{\rule[-14mm]{0mm}{30mm}} |
| 28 | +\newcommand{\bigpad}{\rule[-5mm]{0mm}{15mm}} |
| 29 | +\newcommand{\bigpadup}{\rule{0mm}{10mm}} |
| 30 | +\newcommand{\bigpaddown}{\rule[-5mm]{0mm}{5mm}} |
| 31 | +\newcommand{\smallpad}{\rule[-1.5mm]{0mm}{5mm}} |
| 32 | +\newcommand{\pad}{\rule[-3mm]{0mm}{8mm}} |
| 33 | +\newcommand{\padup}{\rule{0mm}{5mm}} |
| 34 | +\newcommand{\paddown}{\rule[-3mm]{0mm}{2mm}} |
| 35 | +\newcommand{\blank}{\rule{1.25in}{0.25mm}} |
| 36 | +\newcommand{\yell}[1]{\begin{framed}{#1}\end{framed}} |
| 37 | +\newcommand{\bang}{$\bullet$\quad} |
| 38 | +\newcommand{\indnt}{\phantom{.}\qquad} |
| 39 | +\newcommand{\littleline}{\begin{center}\rule{4in}{0.5bp}\end{center}} |
| 40 | +\newcommand{\defterm}[1]{\boldmath\textbf{#1}\unboldmath} |
| 41 | + |
| 42 | +\newcommand{\icol}[1]{% inline column vector |
| 43 | + \left(\begin{smallmatrix}#1\end{smallmatrix}\right)% |
| 44 | +} |
| 45 | + |
| 46 | +%%%%%%%%%%%%%%%% Colors for TikZ and text %%%%%%%%%%%%%%%%% |
| 47 | + |
| 48 | +\definecolor{light}{gray}{.75} |
| 49 | +\definecolor{med}{gray}{.5} |
| 50 | +\definecolor{dark}{gray}{.25} |
| 51 | +\newcommand{\Red}[1]{{\color{red}{#1}}} |
| 52 | +\newcommand{\RED}[1]{{\color{red}{\boldmath\textbf{#1}\unboldmath}}} |
| 53 | +\newcommand{\Blue}[1]{{\color{blue}{#1}}} |
| 54 | +\newcommand{\BLUE}[1]{{\color{blue}{\boldmath\textbf{#1}\unboldmath}}} |
| 55 | + |
| 56 | +%%%%%%%%%%%%%%%%%%%% Hyperlinks %%%%%%%%%%%%%%%%%%%% |
| 57 | + |
| 58 | +\newcommand{\hreftext}[2]{\href{#1}{\Blue{#2}}} |
| 59 | +\newcommand{\hrefurl}[2]{\href{#1}{\Blue{\tt #2}}} |
| 60 | + |
| 61 | +%%%%%%%%%%%%%%%%%%%% Math operators %%%%%%%%%%%%%%%%%%%% |
| 62 | + |
| 63 | +\DeclareMathOperator{\Spec}{Spec} |
| 64 | +\DeclareMathOperator{\interior}{Int} |
| 65 | +\DeclareMathOperator{\Mod}{Mod} |
| 66 | +\newcommand{\etale}{\'etal{e\xspace}} |
| 67 | + |
| 68 | +\DeclareMathOperator{\Ab}{Ab} |
| 69 | +\DeclareMathOperator{\coker}{coker} |
| 70 | +\DeclareMathOperator{\Comm}{Comm} |
| 71 | +\DeclareMathOperator{\conv}{conv} |
| 72 | +\DeclareMathOperator{\diag}{diag} |
| 73 | +\DeclareMathOperator{\Ext}{Ext} |
| 74 | +\DeclareMathOperator{\Gr}{Gr} |
| 75 | +\DeclareMathOperator{\Hom}{Hom} |
| 76 | +\DeclareMathOperator{\im}{im} |
| 77 | +\DeclareMathOperator{\Link}{link} |
| 78 | +\DeclareMathOperator{\nullspace}{nullspace} |
| 79 | +\DeclareMathOperator{\Poin}{Poin} |
| 80 | +\DeclareMathOperator{\rank}{rank} |
| 81 | +\DeclareMathOperator{\rel}{rel} |
| 82 | +\DeclareMathOperator{\Tor}{Tor} |
| 83 | +\DeclareMathOperator{\tr}{tr} |
| 84 | +\DeclareMathOperator{\sd}{sd} |
| 85 | +\DeclareMathOperator{\Star}{star} |
| 86 | +\DeclareMathOperator{\support}{support} |
| 87 | +\DeclareMathOperator{\vol}{vol} |
| 88 | + |
| 89 | +%%%%%%%%%%%%%%%%%%%% Theorem environments with automatic numbering |
| 90 | + |
| 91 | +\newtheorem{theorem}{Theorem}[section] |
| 92 | +\newtheorem{proposition}[theorem]{Proposition} |
| 93 | +\newtheorem{lemma}[theorem]{Lemma} |
| 94 | +\newtheorem{corollary}[theorem]{Corollary} |
| 95 | +\newtheorem{criterion}[theorem]{Criterion} |
| 96 | +\theoremstyle{definition} |
| 97 | +\newtheorem{definition}[theorem]{Definition} |
| 98 | +\newtheorem{example}[theorem]{Example} |
| 99 | +\newtheorem{remark}[theorem]{Remark} |
| 100 | +\newtheorem{problem}[theorem]{Problem} |
| 101 | +\theoremstyle{remark} |
| 102 | +\newtheorem{exercise}{Exercise} |
| 103 | + |
| 104 | +%%%%%%%%%%%%%%%%%%%% Unnumbered theorem proclamations |
| 105 | + |
| 106 | +\newcommand{\cor}{{\bf Corollary: }} |
| 107 | +\newcommand{\defn}{{\bf Definition: }} |
| 108 | +\newcommand{\defnthm}{{\bf Definition/Theorem: }} |
| 109 | +\newcommand{\defnprop}{{\bf Definition/Proposition: }} |
| 110 | +\newcommand{\defns}{{\bf Definitions: }} |
| 111 | +\newcommand{\exa}{{\bf Example: }} |
| 112 | +\newcommand{\fact}{{\bf Fact: }} |
| 113 | +\newcommand{\lem}{{\bf Lemma: }} |
| 114 | +\newcommand{\notn}{{\bf Notation: }} |
| 115 | +\newcommand{\obs}{{\bf Observation: }} |
| 116 | +\newcommand{\note}{{\bf Note: }} |
| 117 | +\newcommand{\prop}{{\bf Proposition: }} |
| 118 | +\newcommand{\rmk}{{\bf Remark: }} |
| 119 | +\newcommand{\skpr}{\emph{Sketch of proof: }} |
| 120 | +\newcommand{\soln}{{\bf Solution: }} |
| 121 | +\newcommand{\altsoln}{{\bf Alternate Solution: }} |
| 122 | +\newcommand{\altaltsoln}{{\bf Another Alternate Solution: }} |
| 123 | +\newcommand{\thm}{{\bf Theorem: }} |
| 124 | + |
| 125 | +\newcommand{\half}{\frac{1}{2}} |
| 126 | +\newcommand{\thalf}{\tfrac{1}{2}} |
| 127 | +\newcommand{\dhalf}{\dfrac{1}{2}} |
| 128 | + |
| 129 | +\newcommand{\0}{\emptyset} |
| 130 | +\newcommand{\bd}{\partial} %% boundary |
| 131 | +\newcommand{\dju}{\ensuremath{\mathaccent\cdot\cup}} %% disjoint union |
| 132 | +\newcommand{\eqdef}{\overset{\rm def}{=}} |
| 133 | +\newcommand{\ergo}{\therefore} %% just because it's shorter |
| 134 | +\newcommand{\excise}[1]{} % for commenting out large blocks of LaTeX source |
| 135 | +\newcommand{\intersection}{\cap} |
| 136 | +\newcommand{\isom}{\cong} %% homeomorphism |
| 137 | +\newcommand{\htop}{\simeq} %% homotopy equivalence |
| 138 | +\newcommand{\ov}[1]{\overline{{#1}}} |
| 139 | +\newcommand{\qandq}{\quad\text{and}\quad} |
| 140 | +\newcommand{\qqandqq}{\qquad\text{and}\qquad} |
| 141 | +\newcommand{\qand}{\quad\text{and}} |
| 142 | +\newcommand{\ray}{\overrightarrow} |
| 143 | +\newcommand{\rchi}{\raisebox{0.05cm}{\ensuremath{\chi}}} %% because chi looks funny otherwise |
| 144 | +\newcommand{\sm}{\setminus} |
| 145 | +\newcommand{\st}{~|~} %% ``such that'' |
| 146 | +\newcommand{\www}{\mathsf w} %% winding number |
| 147 | +\newcommand{\x}{\times} |
| 148 | +\newcommand{\union}{\cup} |
| 149 | +\newcommand{\zerovec}{\mathbf{0}} |
| 150 | + |
| 151 | +%% Arrows |
| 152 | +\newcommand{\into}{\hookrightarrow} % injection |
| 153 | +\newcommand{\onto}{\twoheadrightarrow} % surjection |
| 154 | +\newcommand{\inj}{\hookrightarrow} % injection |
| 155 | +\newcommand{\surj}{\twoheadrightarrow} % surjection |
| 156 | + |
| 157 | +%% Arrows for use with xy |
| 158 | +\newcommand{\rto}{\ar[r]} |
| 159 | +\newcommand{\rrto}{\ar[rr]} |
| 160 | +\newcommand{\lto}{\ar[l]} |
| 161 | +\newcommand{\llto}{\ar[ll]} |
| 162 | +\newcommand{\uto}{\ar[u]} |
| 163 | +\newcommand{\uuto}{\ar[uu]} |
| 164 | +\newcommand{\dto}{\ar[d]} |
| 165 | +\newcommand{\ddto}{\ar[dd]} |
| 166 | +\newcommand{\dlto}{\ar[dl]} |
| 167 | +\newcommand{\drto}{\ar[dr]} |
| 168 | +\newcommand{\ulto}{\ar[ul]} |
| 169 | +\newcommand{\urto}{\ar[ur]} |
| 170 | +\newcommand{\ddlto}{\ar[ddl]} |
| 171 | +\newcommand{\dllto}{\ar[dll]} |
| 172 | +\newcommand{\ddrto}{\ar[ddr]} |
| 173 | +\newcommand{\drrto}{\ar[drr]} |
| 174 | +\newcommand{\uulto}{\ar[uul]} |
| 175 | +\newcommand{\ullto}{\ar[ull]} |
| 176 | +\newcommand{\uurto}{\ar[uur]} |
| 177 | +\newcommand{\urrto}{\ar[urr]} |
| 178 | +\newcommand{\ddllto}{\ar[ddll]} |
| 179 | +\newcommand{\uullto}{\ar[uull]} |
| 180 | + |
| 181 | +%% Straight lines for use with xy |
| 182 | +\newcommand{\rlineto}{\ar@{-}[r]} |
| 183 | +\newcommand{\rrlineto}{\ar@{-}[rr]} |
| 184 | +\newcommand{\llineto}{\ar@{-}[l]} |
| 185 | +\newcommand{\lllineto}{\ar@{-}[ll]} |
| 186 | +\newcommand{\ulineto}{\ar@{-}[u]} |
| 187 | +\newcommand{\uulineto}{\ar@{-}[uu]} |
| 188 | +\newcommand{\dlineto}{\ar@{-}[d]} |
| 189 | +\newcommand{\ddlineto}{\ar@{-}[dd]} |
| 190 | +\newcommand{\dllineto}{\ar@{-}[dl]} |
| 191 | +\newcommand{\drlineto}{\ar@{-}[dr]} |
| 192 | +\newcommand{\ullineto}{\ar@{-}[ul]} |
| 193 | +\newcommand{\urlineto}{\ar@{-}[ur]} |
| 194 | +\newcommand{\ddllineto}{\ar@{-}[ddl]} |
| 195 | +\newcommand{\dlllineto}{\ar@{-}[dll]} |
| 196 | +\newcommand{\ddrlineto}{\ar@{-}[ddr]} |
| 197 | +\newcommand{\drrlineto}{\ar@{-}[drr]} |
| 198 | +\newcommand{\uullineto}{\ar@{-}[uul]} |
| 199 | +\newcommand{\ulllineto}{\ar@{-}[ull]} |
| 200 | +\newcommand{\uurlineto}{\ar@{-}[uur]} |
| 201 | +\newcommand{\urrlineto}{\ar@{-}[urr]} |
| 202 | + |
| 203 | +%% Boldface letters |
| 204 | +\renewcommand{\aa}{\mathbf{a}} |
| 205 | +\newcommand{\bb}{\mathbf{b}} |
| 206 | +\newcommand{\pp}{\mathbf{p}} |
| 207 | +\newcommand{\qq}{\mathbf{q}} |
| 208 | +\newcommand{\vv}{\mathbf{v}} |
| 209 | +\newcommand{\ww}{\mathbf{w}} |
| 210 | +\newcommand{\xx}{\mathbf{x}} |
| 211 | +\newcommand{\yy}{\mathbf{y}} |
| 212 | +\newcommand{\zz}{\mathbf{z}} |
| 213 | + |
| 214 | +%% Calligraphic letters |
| 215 | +\newcommand{\A}{\mathcal{A}} |
| 216 | +\newcommand{\B}{\mathcal{B}} |
| 217 | +\newcommand{\C}{\mathcal{C}} |
| 218 | +\newcommand{\M}{\mathcal{M}} |
| 219 | +\renewcommand{\P}{\mathcal{P}} |
| 220 | +\newcommand{\T}{\mathcal{T}} |
| 221 | + |
| 222 | +%% Fancy script letters |
| 223 | +\newcommand{\BB}{\mathscr{B}} |
| 224 | +\newcommand{\CC}{\mathscr{C}} |
| 225 | +\newcommand{\FF}{\mathscr{F}} |
| 226 | +\newcommand{\II}{\mathscr{I}} |
| 227 | +\newcommand{\LL}{\mathscr{L}} |
| 228 | +\newcommand{\PP}{\mathscr{P}} |
| 229 | +\renewcommand{\SS}{\mathscr{S}} |
| 230 | +\newcommand{\TT}{\mathscr{T}} |
| 231 | +\newcommand{\XX}{\mathscr{X}} |
| 232 | + |
| 233 | +%% Blackboard bold letters |
| 234 | +\newcommand{\Aa}{\mathbb{A}} |
| 235 | +\newcommand{\Cc}{\mathbb{C}} |
| 236 | +\newcommand{\Ff}{\mathbb{F}} |
| 237 | +\newcommand{\Nn}{\mathbb{N}} |
| 238 | +\newcommand{\Pp}{\mathbb{P}} |
| 239 | +\newcommand{\Qq}{\mathbb{Q}} |
| 240 | +\newcommand{\Rr}{\mathbb{R}} |
| 241 | +\newcommand{\Ss}{\mathbb{S}} |
| 242 | +\newcommand{\Zz}{\mathbb{Z}} |
| 243 | +\newcommand{\IdMap}{\mathds{1}} |
| 244 | + |
| 245 | +\newcommand{\RP}{\Rr P} |
| 246 | +\newcommand{\CP}{\Cc P} |
| 247 | +\newcommand{\RPN}{\Rr P^n} |
| 248 | +\newcommand{\CPN}{\Cc P^n} |
| 249 | +\newcommand{\RPn}{\Rr P^n} |
| 250 | +\newcommand{\CPn}{\Cc P^n} |
| 251 | + |
| 252 | +%% tilde H for reduced homology |
| 253 | +\newcommand{\HH}{\tilde H} |
| 254 | + |
| 255 | +%% big double angle brackets |
| 256 | +\newcommand{\Langle}{\big\langle\!\!\big\langle} |
| 257 | +\newcommand{\Rangle}{\big\rangle\!\!\big\rangle} |
| 258 | + |
| 259 | +%% macros for automatic problem numbering |
| 260 | +\newcounter{probno} |
| 261 | +\setcounter{probno}{0} |
| 262 | +\newcounter{partno} |
| 263 | +\setcounter{partno}{0} |
| 264 | + |
| 265 | +%% versions that don't print the number of points |
| 266 | +\newcommand{\yellprob}[1]{% |
| 267 | + \bigskip\begin{framed} |
| 268 | + \setcounter{partno}{0}% |
| 269 | + \addtocounter{probno}{1}% |
| 270 | + {\bf Problem~\#{\arabic{probno}}}\quad\bf\boldmath #1\unboldmath |
| 271 | + \end{framed}} |
| 272 | + |
| 273 | +\newcommand{\yellprobpart}[1]{ |
| 274 | + \bigskip\begin{framed}% |
| 275 | + \addtocounter{partno}{1}% |
| 276 | + {\bf (\#\arabic{probno}\alph{partno})}\ \ \bf\boldmath #1\unboldmath |
| 277 | + \end{framed}} |
| 278 | + |
| 279 | +\newcommand{\prob}{ |
| 280 | + \vskip10bp% |
| 281 | + \setcounter{partno}{0}% |
| 282 | + \addtocounter{probno}{1}% |
| 283 | + {\bf Problem~\#{\arabic{probno}}}\quad} |
| 284 | +\newcommand{\probpart}{%\rule{0in}{0in}\\ \phantom{xxx} |
| 285 | + \addtocounter{partno}{1}% |
| 286 | + {\bf (\#\arabic{probno}\alph{partno})}\ \ } |
| 287 | +\newcommand{\probcont}{% |
| 288 | + {\bf Problem~\#{\arabic{probno}}}~(\emph{continued})} |
| 289 | +\newcommand{\probo}{ |
| 290 | + \setcounter{partno}{0}% |
| 291 | + \addtocounter{probno}{1}% |
| 292 | + {\bf (\#\arabic{probno})}\ \ } |
| 293 | + |
| 294 | +\newcommand{\abs}[1] { |
| 295 | + \left| #1 \right|} |
0 commit comments