Open in CoCalc
1
% macros.tex
2
\usepackage{amsmath}
3
\usepackage{amsfonts}
4
\usepackage{amssymb}
5
\usepackage{amsthm}
6
7
\author{William A. Stein\footnote{University of California, Berkeley, U.S.A.,
8
{\tt was@math.berkeley.edu}}}
9
10
\font\cyr=wncyr10 scaled \magstep 1
11
12
\newcommand{\myhead}[3]{
13
\par\noindent
14
{Preprint (\today), Version #2}
15
\vspace{10ex}
16
\par\noindent
17
{\bf \LARGE #1}\\
18
\vspace{3ex}
19
\par\noindent
20
{\large W.A. Stein}\\
21
{\small Department of Mathematics, University of California, Berkeley,
22
CA 94720, USA}\vspace{1ex}\\
23
#3
24
\vspace{2ex}\par
25
}
26
27
\newcommand{\myheadauth}[3]{
28
\par\noindent
29
{Preprint (\today), Version #2}
30
\vspace{10ex}
31
\par\noindent
32
{\bf \LARGE #1}\\
33
\vspace{3ex}
34
\par\noindent
35
#3
36
\vspace{5ex}\par
37
}
38
39
\newcommand{\defn}[1]{{\bf #1}}
40
\newcommand{\solution}[1]{\vspace{1em}%
41
\par\noindent{\bf Solution #1.} }
42
\newcommand{\todo}[1]{\noindent$\bullet$ {\small \textsf{#1}} $\bullet$\\}
43
\newcommand{\done}[1]{\noindent {\small \textsf{Done: #1}}\\}
44
\newcommand{\danger}[1]{\marginpar{\small \textsl{#1}}}
45
\DeclareMathOperator{\ind}{ind}
46
\DeclareMathOperator{\im}{im}
47
\DeclareMathOperator{\abs}{abs}
48
\DeclareMathOperator{\lcm}{lcm}
49
\DeclareMathOperator{\cores}{cores}
50
\DeclareMathOperator{\coker}{coker}
51
\DeclareMathOperator{\image}{image}
52
\DeclareMathOperator{\prt}{part}
53
\DeclareMathOperator{\Br}{Br}
54
\DeclareMathOperator{\Ann}{Ann}
55
\DeclareMathOperator{\End}{End}
56
\DeclareMathOperator{\Eis}{Eis}
57
\DeclareMathOperator{\Pic}{Pic}
58
\DeclareMathOperator{\Vol}{Vol}
59
\DeclareMathOperator{\rank}{rank}
60
\DeclareMathOperator{\Sel}{Sel}
61
\DeclareMathOperator{\Mat}{Mat}
62
\DeclareMathOperator{\BSD}{BSD}
63
\DeclareMathOperator{\id}{id}
64
\DeclareMathOperator{\dz}{dz}
65
%\DeclareMathOperator{\Re}{Re}
66
%\DeclareMathOperator{\Im}{Im}
67
\DeclareMathOperator{\Selmer}{Selmer}
68
\newcommand{\pfSel}{\widehat{\Sel}}
69
\newcommand{\qe}{\stackrel{\mbox{\tiny ?}}{=}}
70
\newcommand{\isog}{\simeq}
71
\newcommand{\e}{\mathbf{e}}
72
\newcommand{\bN}{\mathbf{N}}
73
\newcommand{\Sha}{\mbox{\cyr X}}
74
\newcommand{\TS}{Tate-Shafarevich group}
75
\newcommand{\Gam}{\Gamma}
76
\renewcommand{\Im}{\text{Im}}
77
\newcommand{\X}{\mathcal{X}}
78
\newcommand{\cH}{\mathcal{H}}
79
\newcommand{\cA}{\mathcal{A}}
80
\newcommand{\ds}{\displaystyle}
81
\newcommand{\M}{\mathcal{M}}
82
\newcommand{\E}{\mathcal{E}}
83
\renewcommand{\L}{\mathcal{L}}
84
\newcommand{\J}{\mathcal{J}}
85
\DeclareMathOperator{\new}{new}
86
\DeclareMathOperator{\Morph}{Morph}
87
\DeclareMathOperator{\old}{old}
88
\DeclareMathOperator{\Sym}{Sym}
89
\DeclareMathOperator{\Symb}{Symb}
90
%\newcommand{\Sym}{\mathcal{S}{\rm ym}}
91
\newcommand{\dw}{\delta(w)}
92
\newcommand{\dwh}{\widehat{\delta(w)}}
93
\newcommand{\dlwh}{\widehat{\delta_\l(w)}}
94
\newcommand{\dash}{-\!\!\!\!-\!\!\!\!-\!\!\!\!-}
95
\DeclareMathOperator{\tor}{tor}
96
\newcommand{\Frobl}{\Frob_{\ell}}
97
\newcommand{\tE}{\tilde{E}}
98
\renewcommand{\l}{\ell}
99
\renewcommand{\t}{\tau}
100
\DeclareMathOperator{\Spec}{Spec}
101
\DeclareMathOperator{\Div}{Div}
102
\DeclareMathOperator{\Jac}{Jac}
103
\DeclareMathOperator{\res}{res}
104
\DeclareMathOperator{\Ker}{Ker}
105
\DeclareMathOperator{\sign}{sign}
106
\DeclareMathOperator{\unr}{unr}
107
\newcommand{\N}{\mathcal{N}}
108
\newcommand{\U}{\mathcal{U}}
109
\newcommand{\Kbar}{\overline{K}}
110
\newcommand{\Lbar}{\overline{L}}
111
\newcommand{\gammabar}{\overline{\gamma}}
112
\newcommand{\q}{\mathbf{q}}
113
\renewcommand{\star}{\times}
114
\newcommand{\gM}{\mathfrak{M}}
115
\newcommand{\gA}{\mathfrak{A}}
116
\newcommand{\gP}{\mathfrak{P}}
117
\newcommand{\bmu}{\boldsymbol{\mu}}
118
\newcommand{\union}{\cup}
119
\newcommand{\Tl}{T_{\ell}}
120
\newcommand{\into}{\rightarrow}
121
\newcommand{\onto}{\rightarrow\!\!\!\!\rightarrow}
122
\newcommand{\intersect}{\cap}
123
\newcommand{\cross}{\times}
124
\DeclareMathOperator{\md}{mod}
125
\DeclareMathOperator{\toric}{toric}
126
\DeclareMathOperator{\Frac}{Frac}
127
\newcommand{\rb}{\overline{\rho}}
128
\newcommand{\ra}{\rightarrow}
129
\newcommand{\la}{\leftarrow}
130
\newcommand{\lra}{\longrightarrow}
131
\newcommand{\riso}{\xrightarrow{\sim}}
132
\newcommand{\da}{\downarrow}
133
\newcommand{\ua}{\uparrow}
134
\newcommand{\con}{\equiv}
135
\newcommand{\Gm}{\mathbf{G}_m}
136
\newcommand{\pni}{\par\noindent}
137
\newcommand{\set}[1]{\{#1\}}
138
\newcommand{\iv}{^{-1}}
139
\newcommand{\alp}{\alpha}
140
\newcommand{\bq}{\mathbf{q}}
141
\newcommand{\hecke}{{\tt HECKE}}
142
\newcommand{\lidia}{{\tt LiDIA}}
143
\newcommand{\cpp}{{\tt C++}}
144
\newcommand{\tensor}{\otimes}
145
\newcommand{\bg}{{\tt BruceGenus}}
146
\newcommand{\abcd}[4]{\left(
147
\begin{smallmatrix}#1&#2\\#3&#4\end{smallmatrix}\right)}
148
%\newcommand{\mthree}[9]{\left(
149
% \begin{array}{rrr}#1&#2&#3\\#4&#5&#6\\#7&#8&#9
150
% \end{array}\right)}
151
\newcommand{\mthree}[9]{\left(
152
\begin{matrix}#1&#2&#3\\#4&#5&#6\\#7&#8&#9
153
\end{matrix}\right)}
154
%\newcommand{\mtwo}[4]{\left(
155
% \begin{array}{rr}#1&#2\\#3&#4
156
% \end{array}\right)}
157
\newcommand{\mtwo}[4]{\left(
158
\begin{matrix}#1&#2\\#3&#4
159
\end{matrix}\right)}
160
\newcommand{\smallmtwo}[4]{\left(
161
\begin{smallmatrix}#1&#2\\#3&#4
162
\end{smallmatrix}\right)}
163
\newcommand{\eps}{\varepsilon}
164
\newcommand{\vphi}{\varphi}
165
\newcommand{\gp}{\mathfrak{p}}
166
\newcommand{\W}{\mathcal{W}}
167
\newcommand{\oz}{\overline{z}}
168
\newcommand{\Zpstar}{\Zp^{\star}}
169
\newcommand{\Zhat}{\widehat{\Z}}
170
\newcommand{\comment}[1]{}
171
\newcommand{\Q}{\mathbf{Q}}
172
\newcommand{\GQ}{G_{\Q}}
173
\newcommand{\R}{\mathbf{R}}
174
\newcommand{\D}{{\mathbb D}}
175
\newcommand{\cC}{\mathcal{C}}
176
\newcommand{\cD}{\mathcal{D}}
177
\newcommand{\cS}{\mathcal{S}}
178
\newcommand{\Sbar}{\overline{S}}
179
\newcommand{\K}{{\mathbb K}}
180
\newcommand{\C}{\mathbf{C}}
181
\newcommand{\Cp}{{\mathbb C}_p}
182
\newcommand{\Sets}{\mbox{\rm\bf Sets}}
183
\newcommand{\bcC}{\boldsymbol{\mathcal{C}}}
184
\renewcommand{\P}{\mathbf{P}}
185
\newcommand{\Qbar}{\overline{\Q}}
186
\newcommand{\kbar}{\overline{k}}
187
\newcommand{\dual}{\bot}
188
\newcommand{\T}{\mathbf{T}}
189
\newcommand{\calT}{\mathcal{T}}
190
\newcommand{\cT}{\mathcal{T}}
191
\newcommand{\cbT}{\mathbf{\mathcal{T}}}
192
\newcommand{\cU}{\mathcal{U}}
193
\newcommand{\Z}{\mathbf{Z}}
194
\newcommand{\F}{\mathbf{F}}
195
\newcommand{\Fl}{\F_{\ell}}
196
\newcommand{\Flbar}{\overline{\F}_{\ell}}
197
\newcommand{\Flnu}{\F_{\ell^{\nu}}}
198
\newcommand{\Fbar}{\overline{{\mathbb F}}}
199
\newcommand{\Fpbar}{\overline{\F}_p}
200
\newcommand{\fbar}{\overline{f}}
201
\newcommand{\Qp}{\Q_p}
202
\newcommand{\Ql}{\Q_{\ell}}
203
\newcommand{\Qlbar}{\overline{\Q}_{\ell}}
204
\newcommand{\Qlnr}{\Q_{\ell}^{\text{nr}}}
205
\newcommand{\Qltm}{\Q_{\ell}^{\text{tame}}}
206
\newcommand{\Qv}{\Q_v}
207
\newcommand{\Qpbar}{\Qbar_p}
208
\newcommand{\Zp}{\Z_p}
209
\newcommand{\Fp}{\F_p}
210
\newcommand{\Fq}{\F_q}
211
\newcommand{\Fqbar}{\overline{\F}_q}
212
\newcommand{\Ad}{Ad}
213
\newcommand{\adz}{\Ad^0}
214
\renewcommand{\O}{\mathcal{O}}
215
\newcommand{\A}{\mathcal{A}}
216
\newcommand{\Og}{O_{\gamma}}
217
\newcommand{\isom}{\cong}
218
\newcommand{\ncisom}{\approx} % noncanonical isomorphism
219
\DeclareMathOperator{\Aut}{Aut}
220
\DeclareMathOperator{\Frob}{Frob}
221
\DeclareMathOperator{\Ver}{Ver}
222
\DeclareMathOperator{\Norm}{Norm}
223
\DeclareMathOperator{\disc}{disc}
224
\DeclareMathOperator{\ord}{ord}
225
\DeclareMathOperator{\GL}{GL}
226
\DeclareMathOperator{\PSL}{PSL}
227
\DeclareMathOperator{\PGL}{PGL}
228
\DeclareMathOperator{\Gal}{Gal}
229
\DeclareMathOperator{\SL}{SL}
230
\DeclareMathOperator{\SO}{SO}
231
\newcommand{\galq}{\Gal(\Qbar/\Q)}
232
\newcommand{\rhobar}{\overline{\rho}}
233
\newcommand{\cM}{\mathcal{M}}
234
\newcommand{\cB}{\mathcal{B}}
235
\newcommand{\cE}{\mathcal{E}}
236
237
\newcommand{\sltwoz}{\SL_2(\Z)}
238
\newcommand{\sltwo}{\SL_2}
239
\newcommand{\gltwoz}{\GL_2(\Z)}
240
\newcommand{\mtwoz}{M_2(\Z)}
241
\newcommand{\gltwoq}{\GL_2(\Q)}
242
\newcommand{\gltwo}{\GL_2}
243
\newcommand{\gln}{\GL_n}
244
\newcommand{\psltwoz}{\PSL_2(\Z)}
245
\newcommand{\psltwo}{\PSL_2}
246
\newcommand{\h}{\mathfrak{h}}
247
\renewcommand{\a}{\mathfrak{a}}
248
\newcommand{\p}{\mathfrak{p}}
249
\newcommand{\m}{\mathfrak{m}}
250
\newcommand{\trho}{\tilde{\rho}}
251
\newcommand{\rhol}{\rho_{\ell}}
252
\newcommand{\rhoss}{\rho^{\text{ss}}}
253
\DeclareMathOperator{\tr}{tr}
254
\DeclareMathOperator{\ur}{ur}
255
\DeclareMathOperator{\Tr}{Tr}
256
\DeclareMathOperator{\Hom}{Hom}
257
\DeclareMathOperator{\Ext}{Ext}
258
\newcommand{\smallzero}{\left(\begin{smallmatrix}0&0\\0&0
259
\end{smallmatrix}\right)}
260
\newcommand{\smallone}{\left(\begin{smallmatrix}1&0\\0&1
261
\end{smallmatrix}\right)}
262
\newcommand{\pari}{PARI}
263
264
%%%% Theoremstyles
265
\theoremstyle{plain}
266
\newtheorem{theorem}{Theorem}[section]
267
\newtheorem{proposition}[theorem]{Proposition}
268
\newtheorem{corollary}[theorem]{Corollary}
269
\newtheorem{lemma}[theorem]{Lemma}
270
\newtheorem{conjecture}[theorem]{Conjecture}
271
272
\theoremstyle{definition}
273
\newtheorem{definition}[theorem]{Definition}
274
\newtheorem{algorithm}[theorem]{Algorithm}
275
\newtheorem{question}[theorem]{Question}
276
277
\theoremstyle{remark}
278
\newtheorem{goal}[theorem]{Goal}
279
\newtheorem{remark}[theorem]{Remark}
280
\newtheorem{example}[theorem]{Example}
281
\newtheorem{exercise}[theorem]{Exercise}
282
283
284
285