CoCalc Public Fileswww / papers / thesis / tmacros.texOpen with one click!
Download, Raw, Embed
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