CoCalc Public Fileswww / papers / thesis / tmacros.texOpen with one click!
Author: William A. Stein
Compute Environment: Ubuntu 18.04 (Deprecated)
1
% $Header: /home/was/papers/thesis/RCS/tmacros.tex,v 1.3 2000/05/06 20:55:05 was Exp $
2
3
% macros.tex
4
\usepackage{amsmath}
5
\usepackage{amsfonts}
6
\usepackage{amssymb}
7
\usepackage{amsthm}
8
9
\newcommand{\subsubsubsection}[1]{\par\noindent{\em #1}\hspace{1em}}
10
11
\author{William A. Stein\footnote{University of California, Berkeley, U.S.A.,
12
{\tt was@math.berkeley.edu}}}
13
14
\font\cyr=wncyr10 scaled \magstep 1
15
16
17
\newcommand{\fpqf}{fpqf}
18
\newcommand{\ccdot}{\!\cdot\!}
19
\newcommand{\abvar}[1]{\mbox{\rm #1}}
20
\newcommand{\twopii}{2\pi{}i{}}
21
\newcommand{\Adual}{A^{\vee}}
22
\newcommand{\Bdual}{B^{\vee}}
23
\newcommand{\Jdual}{J^{\vee}}
24
\newcommand{\sM}{\boldsymbol{\mathcal{M}}}
25
\newcommand{\esM}{\overline{\sM}}
26
\newcommand{\sE}{\boldsymbol{\mathcal{E}}}
27
\newcommand{\sS}{\boldsymbol{\mathcal{S}}}
28
\newcommand{\sB}{\boldsymbol{\mathcal{B}}}
29
\newcommand{\sMdual}{\widehat{\sM}}
30
\newcommand{\sSdual}{\widehat{\sS}}
31
\newcommand{\sMdualnew}{\widehat{\boldsymbol{\mathcal{M}}}^{\new}}
32
\newcommand{\sSdualnew}{\widehat{\boldsymbol{\mathcal{S}}}^{\new}}
33
\newcommand{\zbar}{\overline{z}}
34
\newcommand{\corrto}{\longleftrightarrow}
35
\newcommand{\eE}{\mathcal{E}}
36
37
\newcommand{\msym}[3]{\langle #1, (#2, #3)\rangle}
38
\newcommand{\defn}[1]{{\em #1}}
39
\newcommand{\solution}[1]{\vspace{1em}%
40
\par\noindent{\bf Solution #1.} }
41
\newcommand{\todo}[1]{\noindent$\bullet$ {\small \textsf{#1}} $\bullet$\\}
42
\newcommand{\done}[1]{\noindent {\small \textsf{Done: #1}}\\}
43
\newcommand{\danger}[1]{\marginpar{\small \textsl{#1}}}
44
\newcommand{\oo}{\infty}
45
\DeclareMathOperator{\Reg}{Reg}
46
\DeclareMathOperator{\Proj}{Proj}
47
\DeclareMathOperator{\proj}{proj}
48
\DeclareMathOperator{\an}{an}
49
\DeclareMathOperator{\cond}{cond}
50
\DeclareMathOperator{\ind}{ind}
51
\DeclareMathOperator{\im}{im}
52
\DeclareMathOperator{\abs}{abs}
53
\DeclareMathOperator{\lcm}{lcm}
54
\DeclareMathOperator{\cores}{cores}
55
\DeclareMathOperator{\coker}{coker}
56
\DeclareMathOperator{\image}{image}
57
\DeclareMathOperator{\prt}{part}
58
\DeclareMathOperator{\Br}{Br}
59
\DeclareMathOperator{\Ann}{Ann}
60
\DeclareMathOperator{\End}{End}
61
\DeclareMathOperator{\Eis}{Eis}
62
\DeclareMathOperator{\Pic}{Pic}
63
\DeclareMathOperator{\Vol}{Vol}
64
\DeclareMathOperator{\rank}{rank}
65
\DeclareMathOperator{\Sel}{Sel}
66
\DeclareMathOperator{\Mat}{Mat}
67
\DeclareMathOperator{\BSD}{BSD}
68
\DeclareMathOperator{\id}{id}
69
\DeclareMathOperator{\dz}{dz}
70
\renewcommand{\Re}{\mbox{\rm Re}}
71
%\DeclareMathOperator{\Re}{Re}
72
%\DeclareMathOperator{\Im}{Im}
73
\DeclareMathOperator{\Selmer}{Selmer}
74
\newcommand{\pfSel}{\widehat{\Sel}}
75
\newcommand{\qe}{\stackrel{\mbox{\tiny ?}}{=}}
76
%\newcommand{\define}{\stackrel{\mbox{\tiny def}}{=}}
77
\newcommand{\define}{:=}
78
%\newcommand{\defeq}{\stackrel{\mbox{\tiny def}}{=}}
79
\newcommand{\defeq}{:=}
80
\newcommand{\isog}{\simeq}
81
\newcommand{\e}{\mathbf{e}}
82
\newcommand{\bN}{\mathbf{N}}
83
\newcommand{\Sha}{\mbox{\cyr X}}
84
\newcommand{\Shaan}{\#\Sha_{\mbox{\tiny \rm an}}}
85
\newcommand{\TS}{Tate-Shafarevich group}
86
\newcommand{\Gam}{\Gamma}
87
\newcommand{\gzero}{\Gamma_0(N)}
88
\newcommand{\gone}{\Gamma_1(N)}
89
\newcommand{\gam}{\gamma}
90
\renewcommand{\Im}{\text{Im}}
91
\newcommand{\X}{\mathcal{X}}
92
\newcommand{\bA}{\mathbf{A}}
93
\newcommand{\cH}{\mathcal{H}}
94
\newcommand{\cP}{\mathcal{P}}
95
\newcommand{\cA}{\mathcal{A}}
96
\newcommand{\cJ}{\mathcal{J}}
97
\newcommand{\ds}{\displaystyle}
98
\newcommand{\M}{\mathcal{M}}
99
\newcommand{\E}{\mathcal{E}}
100
\newcommand{\cL}{\mathcal{L}}
101
\newcommand{\cF}{\mathcal{F}}
102
\newcommand{\cG}{\mathcal{G}}
103
\newcommand{\cV}{\mathcal{V}}
104
\newcommand{\cO}{\mathcal{O}}
105
\newcommand{\cQ}{\mathcal{Q}}
106
\newcommand{\J}{\mathcal{J}}
107
\DeclareMathOperator{\new}{new}
108
\DeclareMathOperator{\sep}{sep}
109
\DeclareMathOperator{\num}{num}
110
\DeclareMathOperator{\Morph}{Morph}
111
\DeclareMathOperator{\old}{old}
112
\DeclareMathOperator{\Sym}{Sym}
113
\DeclareMathOperator{\Symb}{Symb}
114
%\newcommand{\Sym}{\mathcal{S}{\rm ym}}
115
\newcommand{\dx}{\delta(x)}
116
\newcommand{\dxh}{\widehat{\delta(x)}}
117
\newcommand{\dlxh}{\widehat{\delta_\l(x)}}
118
\newcommand{\dash}{-\!\!\!\!-\!\!\!\!-\!\!\!\!-}
119
\DeclareMathOperator{\tor}{tor}
120
\newcommand{\Frobl}{\Frob_{\ell}}
121
\newcommand{\tE}{\tilde{E}}
122
\renewcommand{\l}{\ell}
123
\renewcommand{\t}{\tau}
124
\DeclareMathOperator{\Spec}{Spec}
125
\DeclareMathOperator{\Div}{Div}
126
\DeclareMathOperator{\Jac}{Jac}
127
\DeclareMathOperator{\res}{res}
128
\DeclareMathOperator{\Ker}{Ker}
129
\DeclareMathOperator{\sign}{sign}
130
\DeclareMathOperator{\unr}{unr}
131
\newcommand{\N}{\mathcal{N}}
132
\newcommand{\U}{\mathcal{U}}
133
\newcommand{\Kbar}{\overline{K}}
134
\newcommand{\Lbar}{\overline{L}}
135
\newcommand{\gammabar}{\overline{\gamma}}
136
\newcommand{\q}{\mathbf{q}}
137
\renewcommand{\star}{\times}
138
\newcommand{\gM}{\mathfrak{M}}
139
\newcommand{\gA}{\mathfrak{A}}
140
\newcommand{\gP}{\mathfrak{P}}
141
\newcommand{\bmu}{\boldsymbol{\mu}}
142
\newcommand{\union}{\cup}
143
\newcommand{\Tl}{T_{\ell}}
144
\newcommand{\into}{\rightarrow}
145
\newcommand{\onto}{\rightarrow\!\!\!\!\rightarrow}
146
\newcommand{\intersect}{\cap}
147
\newcommand{\cross}{\times}
148
\DeclareMathOperator{\md}{mod}
149
\DeclareMathOperator{\toric}{toric}
150
\DeclareMathOperator{\Frac}{Frac}
151
\newcommand{\rb}{\overline{\rho}}
152
\newcommand{\ra}{\rightarrow}
153
\newcommand{\la}{\leftarrow}
154
\newcommand{\lra}{\longrightarrow}
155
\newcommand{\riso}{\xrightarrow{\sim}}
156
\newcommand{\da}{\downarrow}
157
\newcommand{\ua}{\uparrow}
158
\newcommand{\con}{\equiv}
159
\newcommand{\Gm}{\mathbf{G}_m}
160
\newcommand{\pni}{\par\noindent}
161
\newcommand{\set}[1]{\{#1\}}
162
\newcommand{\iv}{^{-1}}
163
\newcommand{\alp}{\alpha}
164
\newcommand{\bq}{\mathbf{q}}
165
\newcommand{\hecke}{{\sc Hecke}}
166
\newcommand{\lidia}{{\tt LiDIA}}
167
\newcommand{\cpp}{{\tt C++}}
168
\newcommand{\tensor}{\otimes}
169
\newcommand{\bg}{{\tt BruceGenus}}
170
\newcommand{\abcd}[4]{\left(
171
\begin{smallmatrix}#1&#2\\#3&#4\end{smallmatrix}\right)}
172
\newcommand{\abcdmat}{\abcd{a}{b}{c}{d}}
173
\newcommand{\mthree}[9]{\left(
174
\begin{matrix}#1&#2&#3\\#4&#5&#6\\#7&#8&#9
175
\end{matrix}\right)}
176
\newcommand{\mtwo}[4]{\left(
177
\begin{matrix}#1&#2\\#3&#4
178
\end{matrix}\right)}
179
\newcommand{\vtwo}[2]{\left(
180
\begin{matrix}#1\\#2
181
\end{matrix}\right)}
182
\newcommand{\smallvtwo}[2]{\left(
183
\begin{smallmatrix}#1\\#2
184
\end{smallmatrix}\right)}
185
\newcommand{\smallmtwo}[4]{\left(
186
\begin{smallmatrix}#1&#2\\#3&#4
187
\end{smallmatrix}\right)}
188
\newcommand{\eps}{\varepsilon}
189
\newcommand{\vphi}{\varphi}
190
\newcommand{\gp}{\mathfrak{p}}
191
\newcommand{\W}{\mathcal{W}}
192
\newcommand{\oz}{\overline{z}}
193
\newcommand{\Zpstar}{\Zp^{\star}}
194
\newcommand{\Zhat}{\widehat{\Z}}
195
\newcommand{\comment}[1]{}
196
\newcommand{\Q}{\mathbf{Q}}
197
\newcommand{\GQ}{G_{\Q}}
198
\newcommand{\R}{\mathbf{R}}
199
\newcommand{\D}{{\mathbb D}}
200
\newcommand{\cC}{\mathcal{C}}
201
\newcommand{\cD}{\mathcal{D}}
202
\newcommand{\cS}{\mathcal{S}}
203
\newcommand{\Sbar}{\overline{S}}
204
\newcommand{\K}{{\mathbb K}}
205
\newcommand{\C}{\mathbf{C}}
206
\newcommand{\Cp}{{\mathbb C}_p}
207
\newcommand{\Sets}{\mbox{\rm\bf Sets}}
208
\newcommand{\bcC}{\boldsymbol{\mathcal{C}}}
209
\renewcommand{\P}{\mathbf{P}}
210
\newcommand{\Qbar}{\overline{\Q}}
211
\newcommand{\Zbar}{\overline{\Z}}
212
\newcommand{\kbar}{\overline{k}}
213
\newcommand{\dual}{\bot}
214
\newcommand{\T}{\mathbf{T}}
215
\newcommand{\calT}{\mathcal{T}}
216
\newcommand{\cT}{\mathcal{T}}
217
\newcommand{\cbT}{\mathbf{\mathcal{T}}}
218
\newcommand{\cU}{\mathcal{U}}
219
\newcommand{\Z}{\mathbf{Z}}
220
\newcommand{\Zl}{\mathbf{Z}_\ell}
221
\newcommand{\F}{\mathbf{F}}
222
\newcommand{\Fl}{\F_{\ell}}
223
\newcommand{\Flbar}{\overline{\F}_{\ell}}
224
\newcommand{\Flnu}{\F_{\ell^{\nu}}}
225
\newcommand{\Fbar}{\overline{\F}}
226
\newcommand{\Fpbar}{\overline{\F}_p}
227
\newcommand{\fbar}{\overline{f}}
228
\newcommand{\Qp}{\Q_p}
229
\newcommand{\Ql}{\Q_{\ell}}
230
\newcommand{\Qlbar}{\overline{\Q}_{\ell}}
231
\newcommand{\Qlnr}{\Q_{\ell}^{\text{nr}}}
232
\newcommand{\Qltm}{\Q_{\ell}^{\text{tame}}}
233
\newcommand{\Qv}{\Q_v}
234
\newcommand{\Qpbar}{\Qbar_p}
235
\newcommand{\Zp}{\Z_p}
236
\newcommand{\Fp}{\F_p}
237
\newcommand{\Fq}{\F_q}
238
\newcommand{\Fqbar}{\overline{\F}_q}
239
\newcommand{\Ad}{Ad}
240
\newcommand{\adz}{\Ad^0}
241
\renewcommand{\O}{\mathcal{O}}
242
\newcommand{\A}{\mathcal{A}}
243
\newcommand{\Og}{O_{\gamma}}
244
\newcommand{\isom}{\cong}
245
\newcommand{\ncisom}{\approx} % noncanonical isomorphism
246
\newcommand{\almost}{\sim}
247
\DeclareMathOperator{\Aut}{Aut}
248
\DeclareMathOperator{\Frob}{Frob}
249
\DeclareMathOperator{\Ver}{Ver}
250
\DeclareMathOperator{\Norm}{Norm}
251
\DeclareMathOperator{\disc}{disc}
252
\DeclareMathOperator{\ord}{ord}
253
\DeclareMathOperator{\GL}{GL}
254
\DeclareMathOperator{\PSL}{PSL}
255
\DeclareMathOperator{\PGL}{PGL}
256
\DeclareMathOperator{\Gal}{Gal}
257
\DeclareMathOperator{\SL}{SL}
258
\DeclareMathOperator{\SO}{SO}
259
\newcommand{\galq}{\Gal(\Qbar/\Q)}
260
\newcommand{\rhobar}{\overline{\rho}}
261
\newcommand{\cM}{\mathcal{M}}
262
\newcommand{\cB}{\mathcal{B}}
263
\newcommand{\cE}{\mathcal{E}}
264
\newcommand{\cR}{\mathcal{R}}
265
\newcommand{\cX}{\mathcal{X}}
266
267
\newcommand{\sltwoz}{\SL_2(\Z)}
268
\newcommand{\sltwo}{\SL_2}
269
\newcommand{\gltwoz}{\GL_2(\Z)}
270
\newcommand{\mtwoz}{M_2(\Z)}
271
\newcommand{\gltwoq}{\GL_2(\Q)}
272
\newcommand{\gltwo}{\GL_2}
273
\newcommand{\gln}{\GL_n}
274
\newcommand{\psltwoz}{\PSL_2(\Z)}
275
\newcommand{\psltwo}{\PSL_2}
276
\newcommand{\h}{\mathfrak{h}}
277
\renewcommand{\a}{\mathfrak{a}}
278
\newcommand{\p}{\mathfrak{p}}
279
\newcommand{\m}{\mathfrak{m}}
280
\newcommand{\trho}{\tilde{\rho}}
281
\newcommand{\rhol}{\rho_{\ell}}
282
\newcommand{\rhoss}{\rho^{\text{ss}}}
283
\DeclareMathOperator{\tr}{tr}
284
\DeclareMathOperator{\ur}{ur}
285
\DeclareMathOperator{\Hom}{Hom}
286
\DeclareMathOperator{\Ext}{Ext}
287
\DeclareMathOperator{\Tor}{Tor}
288
\newcommand{\smallzero}{\left(\begin{smallmatrix}0&0\\0&0
289
\end{smallmatrix}\right)}
290
\newcommand{\smallone}{\left(\begin{smallmatrix}1&0\\0&1
291
\end{smallmatrix}\right)}
292
\newcommand{\pari}{PARI}
293
\newcommand{\magma}{{\sc Magma}}
294
\newcommand{\ksep}{k^{\sep}}
295
296
297
%%%% Theoremstyles
298
\theoremstyle{plain}
299
\newtheorem{theorem}{Theorem}[chapter]
300
\newtheorem{proposition}[theorem]{Proposition}
301
\newtheorem{corollary}[theorem]{Corollary}
302
\newtheorem{lemma}[theorem]{Lemma}
303
\newtheorem{conjecture}[theorem]{Conjecture}
304
305
\theoremstyle{definition}
306
\newtheorem{definition}[theorem]{Definition}
307
\newtheorem{algorithm}[theorem]{Algorithm}
308
\newtheorem{question}[theorem]{Question}
309
\newtheorem{selfnote}[theorem]{Note that will be removed}
310
\newtheorem{warning}[theorem]{WARNING}
311
312
\theoremstyle{remark}
313
\newtheorem{goal}[theorem]{Goal}
314
\newtheorem{remark}[theorem]{Remark}
315
\newtheorem{example}[theorem]{Example}
316
\newtheorem{exercise}[theorem]{Exercise}
317
318
319
320
321
322
323
% bulleted list environment
324
\newenvironment{bulletlist}
325
{
326
\begin{list}
327
{$\bullet$}
328
{
329
\setlength{\itemsep}{.5ex}
330
\setlength{\parsep}{0ex}
331
\setlength{\parskip}{0ex}
332
\setlength{\topsep}{.5ex}
333
}
334
}
335
{
336
\end{list}
337
}
338
%end newenvironment
339
340
% bulleted list environment
341
\newenvironment{dashlist}
342
{
343
\begin{list}
344
{---}
345
{
346
\setlength{\itemsep}{.5ex}
347
\setlength{\parsep}{0ex}
348
\setlength{\parskip}{0ex}
349
\setlength{\topsep}{.5ex}
350
}
351
}
352
{
353
\end{list}
354
}
355
%end newenvironment
356
357
% numbered list environment
358
\newcounter{listnum}
359
\newenvironment{numlist}
360
{
361
\begin{list}
362
{{\em \thelistnum.}}{
363
\usecounter{listnum}
364
\setlength{\itemsep}{.5ex}
365
\setlength{\parsep}{0ex}
366
\setlength{\parskip}{0ex}
367
\setlength{\topsep}{.5ex}
368
}
369
}
370
{
371
\end{list}
372
}
373
%end newenvironment
374
375