CoCalc Public Fileswww / talks / 2006-10-23-ima / macros.texOpen with one click!
Author: William A. Stein
1
\usepackage{color}
2
\definecolor{dredcolor}{rgb}{.5,0.0,0.0}
3
\definecolor{blackcolor}{rgb}{0.0,0.0,0.0}
4
\definecolor{dgreencolor}{rgb}{0,0.4,0}
5
\definecolor{dbluecolor}{rgb}{.02,.02,.908}
6
\newcommand{\dred}{\color{dredcolor}\bf}
7
\newcommand{\dblue}{\color{dbluecolor}\bf}
8
\newcommand{\dgreen}{\color{dgreencolor}\bf}
9
\newcommand{\red}{\color{dredcolor}}
10
\newcommand{\blue}{\color{dbluecolor}}
11
\newcommand{\green}{\color{dgreencolor}}
12
\newcommand{\black}{\color{blackcolor}}
13
% macros.tex
14
\usepackage{amsmath}
15
\usepackage{amsfonts}
16
\usepackage{amssymb}
17
\usepackage{amsthm}
18
19
20
% You change everything, by adding \usepackage{times} to the document
21
% Preamble. Now all the roman letters will be set in times and all the
22
% sans serif stuff will be set in Helvetica. If you don't like times,
23
% you can try the packages: palatcm, charter, helvet, palatino, avant,
24
% newcent and bookman
25
% If you want to change explicitly to a certain font, use the command
26
% \fontfamily{XYZ}\selectfont whereby XYZ can be set to: pag for Adobe
27
% AvantGarde, pbk for Adobe Bookman, pcr for Adobe Courier, phv for
28
% Adobe Helvetica, pnc for Adobe NewCenturySchoolbook, ppl for Adobe
29
% Palatino, ptm for Adobe Times Roman, pzc for Adobe ZapfChancery
30
\newcommand{\courier}{\fontfamily{pcr}\selectfont}
31
32
33
34
\newcommand{\edit}[1]{\footnote{[[#1]]}\marginpar{\hfill {\sf[[\thefootnote]]}}}
35
%\newcommand{\edit}[1]{{\sl\small [[Todo: #1]]}}
36
37
38
%\author{William~A. Stein}
39
40
\newcommand{\Hbar}{\overline{H}}
41
42
\newcommand{\myhead}[3]{
43
\par\noindent
44
{Version #2}
45
\vspace{10ex}
46
\par\noindent
47
{\bf \LARGE #1}\\
48
\vspace{3ex}
49
\par\noindent
50
{\large W.\thinspace{}A. Stein}\\
51
{\small Department of Mathematics, Harvard University}\vspace{1ex}\\
52
#3
53
\vspace{2ex}\par
54
}
55
56
\newcommand{\myheadauth}[3]{
57
\par\noindent
58
{Version #2}
59
\vspace{10ex}
60
\par\noindent
61
{\bf \LARGE #1}\\
62
\vspace{3ex}
63
\par\noindent
64
#3
65
\vspace{5ex}\par
66
}
67
68
\newcommand{\zbar}{\overline{z}}
69
\newcommand{\dzbar}{d\overline{z}}
70
71
\usepackage{xspace} % to allow for text macros that don't eat space
72
\newcommand{\SAGE}{{\sf SAGE}\xspace}
73
\newcommand{\sage}{\SAGE}
74
\newcommand{\gzero}{\Gamma_0(N)}
75
\newcommand{\esM}{\overline{\sM}}
76
\newcommand{\sM}{\boldsymbol{\mathcal{M}}}
77
\newcommand{\sS}{\boldsymbol{\mathcal{S}}}
78
\newcommand{\sB}{\boldsymbol{\mathcal{B}}}
79
\newcommand{\eE}{\mathbb{E}}
80
\newcommand{\bA}{\mathbb{A}}
81
\newcommand{\Adual}{A^{\vee}}
82
\newcommand{\Bdual}{B^{\vee}}
83
84
\newcommand{\defn}[1]{{\em\dred #1}}
85
\newcommand{\todo}[1]{\noindent$\bullet$ {\small \textsf{#1}} $\bullet$\\}
86
\newcommand{\done}[1]{\noindent {\small \textsf{Done: #1}}\\}
87
\newcommand{\danger}[1]{\marginpar{\small \textsl{#1}}}
88
\renewcommand{\div}{\mbox{\rm div}}
89
\DeclareMathOperator{\GCD}{GCD}
90
\DeclareMathOperator{\can}{can}
91
\DeclareMathOperator{\Cl}{Cl}
92
\DeclareMathOperator{\Mod}{Mod}
93
\DeclareMathOperator{\chr}{char}
94
\DeclareMathOperator{\charpoly}{charpoly}
95
\DeclareMathOperator{\cris}{cris}
96
\DeclareMathOperator{\dR}{dR}
97
\DeclareMathOperator{\Fil}{Fil}
98
\DeclareMathOperator{\ind}{ind}
99
\DeclareMathOperator{\im}{im}
100
\DeclareMathOperator{\oo}{\infty}
101
\DeclareMathOperator{\abs}{abs}
102
\DeclareMathOperator{\lcm}{lcm}
103
\DeclareMathOperator{\cores}{cores}
104
\DeclareMathOperator{\coker}{coker}
105
\DeclareMathOperator{\image}{image}
106
\DeclareMathOperator{\prt}{part}
107
\DeclareMathOperator{\proj}{proj}
108
\DeclareMathOperator{\Br}{Br}
109
\DeclareMathOperator{\Ann}{Ann}
110
\DeclareMathOperator{\End}{End}
111
\DeclareMathOperator{\Tan}{Tan}
112
\DeclareMathOperator{\Eis}{Eis}
113
\newcommand{\unity}{\mathbb{1}}
114
\DeclareMathOperator{\Pic}{Pic}
115
\DeclareMathOperator{\Tate}{Tate}
116
\DeclareMathOperator{\Vol}{Vol}
117
\DeclareMathOperator{\Vis}{Vis}
118
\DeclareMathOperator{\Reg}{Reg}
119
%\DeclareMathOperator{\myRes}{Res}
120
%\newcommand{\Res}{\myRes}
121
\DeclareMathOperator{\Res}{Res}
122
\newcommand{\an}{{\rm an}}
123
\DeclareMathOperator{\rank}{rank}
124
\DeclareMathOperator{\Sel}{Sel}
125
\DeclareMathOperator{\Mat}{Mat}
126
\DeclareMathOperator{\BSD}{BSD}
127
\DeclareMathOperator{\id}{id}
128
\DeclareMathOperator{\dz}{dz}
129
%\DeclareMathOperator{\Re}{Re}
130
\renewcommand{\Re}{\mbox{\rm Re}}
131
\DeclareMathOperator{\Imm}{Im}
132
\renewcommand{\Im}{\Imm}
133
\DeclareMathOperator{\Selmer}{Selmer}
134
\newcommand{\pfSel}{\widehat{\Sel}}
135
\newcommand{\qe}{\stackrel{\mbox{\tiny ?}}{=}}
136
\newcommand{\isog}{\simeq}
137
\newcommand{\e}{\mathbf{e}}
138
\newcommand{\bN}{\mathbf{N}}
139
140
% ---- SHA ----
141
\DeclareFontEncoding{OT2}{}{} % to enable usage of cyrillic fonts
142
\newcommand{\textcyr}[1]{%
143
{\fontencoding{OT2}\fontfamily{wncyr}\fontseries{m}\fontshape{n}%
144
\selectfont #1}}
145
\newcommand{\Sha}{{\mbox{\textcyr{Sh}}}}
146
147
%\font\cyr=wncyr10 scaled \magstep 1
148
%\font\cyr=wncyr10
149
150
%\newcommand{\Sha}{{\cyr X}}
151
\newcommand{\Shaan}{\Sha_{\mbox{\tiny \rm an}}}
152
\newcommand{\TS}{Shafarevich-Tate group}
153
154
\newcommand{\Gam}{\Gamma}
155
\newcommand{\X}{\mathcal{X}}
156
\newcommand{\cH}{\mathcal{H}}
157
\newcommand{\cA}{\mathcal{A}}
158
\newcommand{\cF}{\mathcal{F}}
159
\newcommand{\cG}{\mathcal{G}}
160
\newcommand{\cJ}{\mathcal{J}}
161
\newcommand{\cL}{\mathcal{L}}
162
\newcommand{\cV}{\mathcal{V}}
163
\newcommand{\cO}{\mathcal{O}}
164
\newcommand{\cQ}{\mathcal{Q}}
165
\newcommand{\cX}{\mathcal{X}}
166
\newcommand{\ds}{\displaystyle}
167
\newcommand{\M}{\mathcal{M}}
168
\newcommand{\E}{\mathcal{E}}
169
\renewcommand{\L}{\mathcal{L}}
170
\newcommand{\J}{\mathcal{J}}
171
\DeclareMathOperator{\new}{new}
172
\DeclareMathOperator{\Morph}{Morph}
173
\DeclareMathOperator{\old}{old}
174
\DeclareMathOperator{\Sym}{Sym}
175
\DeclareMathOperator{\Symb}{Symb}
176
%\newcommand{\Sym}{\mathcal{S}{\rm ym}}
177
\newcommand{\dw}{\delta(w)}
178
\newcommand{\dwh}{\widehat{\delta(w)}}
179
\newcommand{\dlwh}{\widehat{\delta_\l(w)}}
180
\newcommand{\dash}{-\!\!\!\!-\!\!\!\!-\!\!\!\!-}
181
\DeclareMathOperator{\tor}{tor}
182
\newcommand{\Frobl}{\Frob_{\ell}}
183
\newcommand{\tE}{\tilde{E}}
184
\renewcommand{\l}{\ell}
185
\renewcommand{\t}{\tau}
186
\DeclareMathOperator{\cond}{cond}
187
\DeclareMathOperator{\Spec}{Spec}
188
\DeclareMathOperator{\Div}{Div}
189
\DeclareMathOperator{\Jac}{Jac}
190
\DeclareMathOperator{\res}{res}
191
\DeclareMathOperator{\Ker}{Ker}
192
\DeclareMathOperator{\Coker}{Coker}
193
\DeclareMathOperator{\sep}{sep}
194
\DeclareMathOperator{\sign}{sign}
195
\DeclareMathOperator{\unr}{unr}
196
\newcommand{\N}{\mathcal{N}}
197
\newcommand{\U}{\mathcal{U}}
198
\newcommand{\Kbar}{\overline{K}}
199
\newcommand{\Lbar}{\overline{L}}
200
\newcommand{\gammabar}{\overline{\gamma}}
201
\newcommand{\q}{\mathbf{q}}
202
%\renewcommand{\star}{\times}
203
\newcommand{\gM}{\mathfrak{M}}
204
\newcommand{\gA}{\mathfrak{A}}
205
\newcommand{\gP}{\mathfrak{P}}
206
\newcommand{\bmu}{\boldsymbol{\mu}}
207
\newcommand{\union}{\cup}
208
\newcommand{\Tl}{T_{\ell}}
209
\newcommand{\into}{\rightarrow}
210
\newcommand{\onto}{\rightarrow\!\!\!\!\!\!\rightarrow}
211
\newcommand{\intersect}{\cap}
212
\newcommand{\meet}{\cap}
213
\newcommand{\cross}{\times}
214
\DeclareMathOperator{\md}{mod}
215
\DeclareMathOperator{\toric}{toric}
216
\DeclareMathOperator{\tors}{tors}
217
\DeclareMathOperator{\Frac}{Frac}
218
\DeclareMathOperator{\corank}{corank}
219
\newcommand{\kr}[2]{\left(\frac{#1}{#2}\right)}
220
\newcommand{\rb}{\overline{\rho}}
221
\newcommand{\ra}{\rightarrow}
222
\newcommand{\xra}[1]{\xrightarrow{#1}}
223
\newcommand{\hra}{\hookrightarrow}
224
\newcommand{\la}{\leftarrow}
225
\newcommand{\lra}{\longrightarrow}
226
\newcommand{\riso}{\xrightarrow{\sim}}
227
\newcommand{\da}{\downarrow}
228
\newcommand{\ua}{\uparrow}
229
\newcommand{\con}{\equiv}
230
\newcommand{\Gm}{\mathbb{G}_m}
231
\newcommand{\pni}{\par\noindent}
232
\newcommand{\set}[1]{\{#1\}}
233
\newcommand{\iv}{^{-1}}
234
\newcommand{\alp}{\alpha}
235
\newcommand{\bq}{\mathbf{q}}
236
\newcommand{\cpp}{{\tt C++}}
237
\newcommand{\tensor}{\otimes}
238
\newcommand{\bg}{{\tt BruceGenus}}
239
\newcommand{\abcd}[4]{\left(
240
\begin{smallmatrix}#1&#2\\#3&#4\end{smallmatrix}\right)}
241
\newcommand{\mthree}[9]{\left(
242
\begin{matrix}#1&#2&#3\\#4&#5&#6\\#7&#8&#9
243
\end{matrix}\right)}
244
\newcommand{\mtwo}[4]{\left(
245
\begin{matrix}#1&#2\\#3&#4
246
\end{matrix}\right)}
247
\newcommand{\vtwo}[2]{\left(
248
\begin{matrix}#1\\#2
249
\end{matrix}\right)}
250
\newcommand{\smallmtwo}[4]{\left(
251
\begin{smallmatrix}#1&#2\\#3&#4
252
\end{smallmatrix}\right)}
253
\newcommand{\twopii}{2\pi{}i{}}
254
\newcommand{\eps}{\varepsilon}
255
\newcommand{\vphi}{\varphi}
256
\newcommand{\gp}{\mathfrak{p}}
257
\newcommand{\W}{\mathcal{W}}
258
\newcommand{\oz}{\overline{z}}
259
\newcommand{\Zpstar}{\Zp^{\star}}
260
\newcommand{\Zhat}{\widehat{\Z}}
261
\newcommand{\Zbar}{\overline{\Z}}
262
\newcommand{\Zl}{\Z_{\ell}}
263
\newcommand{\comment}[1]{}
264
\newcommand{\Q}{\mathbb{Q}}
265
\newcommand{\GQ}{G_{\Q}}
266
\newcommand{\R}{\mathbb{R}}
267
\newcommand{\D}{{\mathbf D}}
268
\newcommand{\cC}{\mathcal{C}}
269
\newcommand{\cD}{\mathcal{D}}
270
\newcommand{\cP}{\mathcal{P}}
271
\newcommand{\cS}{\mathcal{S}}
272
\newcommand{\Sbar}{\overline{S}}
273
\newcommand{\K}{{\mathbb K}}
274
\newcommand{\C}{\mathbb{C}}
275
\newcommand{\Cp}{{\mathbb C}_p}
276
\newcommand{\Sets}{\mbox{\rm\bf Sets}}
277
\newcommand{\bcC}{\boldsymbol{\mathcal{C}}}
278
\renewcommand{\P}{\mathbb{P}}
279
\newcommand{\Qbar}{\overline{\Q}}
280
\newcommand{\kbar}{\overline{k}}
281
\newcommand{\dual}{\bot}
282
\newcommand{\T}{\mathbb{T}}
283
\newcommand{\calT}{\mathcal{T}}
284
\newcommand{\cT}{\mathcal{T}}
285
\newcommand{\cbT}{\mathbb{\mathcal{T}}}
286
\newcommand{\cU}{\mathcal{U}}
287
\newcommand{\Z}{\mathbb{Z}}
288
\newcommand{\F}{\mathbb{F}}
289
\newcommand{\Fl}{\F_{\ell}}
290
\newcommand{\Fell}{\Fl}
291
\newcommand{\Flbar}{\overline{\F}_{\ell}}
292
\newcommand{\Flnu}{\F_{\ell^{\nu}}}
293
\newcommand{\Fbar}{\overline{\F}}
294
\newcommand{\Fpbar}{\overline{\F}_p}
295
\newcommand{\fbar}{\overline{f}}
296
\newcommand{\Qp}{\Q_p}
297
\newcommand{\Ql}{\Q_{\ell}}
298
\newcommand{\Qell}{\Q_{\ell}}
299
\newcommand{\Qlbar}{\overline{\Q}_{\ell}}
300
\newcommand{\Qlnr}{\Q_{\ell}^{\text{nr}}}
301
\newcommand{\Qlur}{\Q_{\ell}^{\text{ur}}}
302
\newcommand{\Qltm}{\Q_{\ell}^{\text{tame}}}
303
\newcommand{\Qv}{\Q_v}
304
\newcommand{\Qpbar}{\Qbar_p}
305
\newcommand{\Zp}{\Z_p}
306
\newcommand{\Fp}{\F_p}
307
\newcommand{\Fq}{\F_q}
308
\newcommand{\Fqbar}{\overline{\F}_q}
309
\newcommand{\Ad}{Ad}
310
\newcommand{\adz}{\Ad^0}
311
\renewcommand{\O}{\mathcal{O}}
312
\newcommand{\A}{\mathcal{A}}
313
\newcommand{\Og}{O_{\gamma}}
314
\newcommand{\isom}{\cong}
315
\newcommand{\ncisom}{\approx} % noncanonical isomorphism
316
\DeclareMathOperator{\ab}{ab}
317
\DeclareMathOperator{\Aut}{Aut}
318
\DeclareMathOperator{\Frob}{Frob}
319
\DeclareMathOperator{\Fr}{Fr}
320
\DeclareMathOperator{\Ver}{Ver}
321
\DeclareMathOperator{\Norm}{Norm}
322
\DeclareMathOperator{\Ind}{Ind}
323
\DeclareMathOperator{\norm}{norm}
324
\DeclareMathOperator{\disc}{disc}
325
\DeclareMathOperator{\ord}{ord}
326
\DeclareMathOperator{\GL}{GL}
327
\DeclareMathOperator{\PSL}{PSL}
328
\DeclareMathOperator{\PGL}{PGL}
329
\DeclareMathOperator{\Gal}{Gal}
330
\DeclareMathOperator{\SL}{SL}
331
\DeclareMathOperator{\SO}{SO}
332
\DeclareMathOperator{\WC}{WC}
333
\newcommand{\galq}{\Gal(\Qbar/\Q)}
334
\newcommand{\rhobar}{\overline{\rho}}
335
\newcommand{\cM}{\mathcal{M}}
336
\newcommand{\cB}{\mathcal{B}}
337
\newcommand{\cE}{\mathcal{E}}
338
\newcommand{\cR}{\mathcal{R}}
339
\newcommand{\et}{\text{\rm\'et}}
340
341
\newcommand{\sltwoz}{\SL_2(\Z)}
342
\newcommand{\sltwo}{\SL_2}
343
\newcommand{\gltwoz}{\GL_2(\Z)}
344
\newcommand{\mtwoz}{M_2(\Z)}
345
\newcommand{\gltwoq}{\GL_2(\Q)}
346
\newcommand{\gltwo}{\GL_2}
347
\newcommand{\gln}{\GL_n}
348
\newcommand{\psltwoz}{\PSL_2(\Z)}
349
\newcommand{\psltwo}{\PSL_2}
350
\newcommand{\h}{\mathfrak{h}}
351
\renewcommand{\a}{\mathfrak{a}}
352
\newcommand{\p}{\mathfrak{p}}
353
\newcommand{\m}{\mathfrak{m}}
354
\newcommand{\trho}{\tilde{\rho}}
355
\newcommand{\rhol}{\rho_{\ell}}
356
\newcommand{\rhoss}{\rho^{\text{ss}}}
357
\DeclareMathOperator{\tr}{tr}
358
\DeclareMathOperator{\order}{order}
359
\DeclareMathOperator{\ur}{ur}
360
\DeclareMathOperator{\Tr}{Tr}
361
\DeclareMathOperator{\Hom}{Hom}
362
\DeclareMathOperator{\Mor}{Mor}
363
\DeclareMathOperator{\HH}{H}
364
\renewcommand{\H}{\HH}
365
\DeclareMathOperator{\Ext}{Ext}
366
\DeclareMathOperator{\Tor}{Tor}
367
\newcommand{\smallzero}{\left(\begin{smallmatrix}0&0\\0&0
368
\end{smallmatrix}\right)}
369
\newcommand{\smallone}{\left(\begin{smallmatrix}1&0\\0&1
370
\end{smallmatrix}\right)}
371
372
\newcommand{\pari}{{\sc Pari}}
373
\newcommand{\magma}{{\sc Magma}}
374
\newcommand{\hecke}{{\sc Hecke}}
375
\newcommand{\lidia}{{\sc LiDIA}}
376
377
%%%% Theoremstyles
378
\theoremstyle{plain}
379
\newtheorem{proposition}[theorem]{Proposition}
380
\newtheorem{claim}[theorem]{Claim}
381
\newtheorem{hypothesis}[theorem]{Hypothesis}
382
\newtheorem{conjecture}[theorem]{Conjecture}
383
384
\theoremstyle{definition}
385
\newtheorem{question}[theorem]{Question}
386
\newtheorem{alg}[theorem]{Algorithm}
387
\newtheorem{openproblem}[theorem]{Open Problem}
388
389
%\theoremstyle{remark}
390
\newtheorem{goal}[theorem]{Goal}
391
\newtheorem{remark}[theorem]{Remark}
392
\newtheorem{remarks}[theorem]{Remarks}
393
\newtheorem{exercise}[theorem]{Exercise}
394
395
\numberwithin{equation}{section}
396
\numberwithin{figure}{section}
397
\numberwithin{table}{section}
398
399
400
% bulleted list environment
401
\newenvironment{bulletlist}
402
{
403
\begin{list}
404
{$\bullet$}
405
{
406
\setlength{\itemsep}{.5ex}
407
\setlength{\parsep}{0ex}
408
\setlength{\parskip}{0ex}
409
\setlength{\topsep}{.5ex}
410
}
411
}
412
{
413
\end{list}
414
}
415
%end newenvironment
416
417
% bulleted list environment
418
\newenvironment{dashlist}
419
{
420
\begin{list}
421
{---}
422
{
423
\setlength{\itemsep}{.5ex}
424
\setlength{\parsep}{0ex}
425
\setlength{\parskip}{0ex}
426
\setlength{\topsep}{.5ex}
427
}
428
}
429
{
430
\end{list}
431
}
432
%end newenvironment
433
434
% numbered list environment
435
\newcounter{listnum}
436
\newenvironment{numlist}
437
{
438
\begin{list}
439
{{\em \thelistnum.}}{
440
\usecounter{listnum}
441
\setlength{\itemsep}{.5ex}
442
\setlength{\parsep}{0ex}
443
\setlength{\parskip}{0ex}
444
\setlength{\topsep}{.5ex}
445
}
446
}
447
{
448
\end{list}
449
}
450
%end newenvironment
451
452
\newcommand{\hd}[1]{\vspace{1ex}\noindent{\bf #1} }
453
\newcommand{\nf}[1]{\underline{#1}}
454
\newcommand{\cbar}{\overline{c}}
455
456
\DeclareMathOperator{\rad}{rad}
457
458
\newenvironment{algorithm}[1]{%
459
\begin{alg}[#1]\index{algorithm!#1}\sf
460
}%
461
{\end{alg}}
462
\newenvironment{steps}%
463
{\begin{enumerate}\setlength{\itemsep}{0.1ex}}{\end{enumerate}}
464
465
%\usepackage[hypertex]{hyperref}
466
467
%%% Local Variables:
468
%%% mode: latex
469
%%% TeX-master: t
470
%%% End:
471
472
473
474