EQ Equidistribution in Number Theory

Skip to main content

\(\require{xypic}\require{newpxtext}\require{newpxmath}\require{cancel}\require{mathrsfs}\require{mathtools} \newenvironment{smallermatrix}[1] {\arraycolsep=0.5pt\def\arraystretch{0.5}\tiny \array{#1}} {\endarray} \DeclarePairedDelimiter\ceil{\lceil}{\rceil} \DeclarePairedDelimiter\floor{\lfloor}{\rfloor} \newcommand{\ideal}[1]{\mathfrak{#1}} \newcommand{\lie}[1]{\operatorname{\mathfrak{#1}}} \newcommand{\sheaf}[1]{\operatorname{\mathcal{#1}}} \newcommand{\Lie}{\operatorname{Lie}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} \newcommand{\cinf}{C^\infty} \newcommand{\inv}{^{-1}} \newcommand{\units}{^{\times}} \newcommand{\legendre}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\pair}[2]{\left\langle #1, #2 \right\rangle} \newcommand{\lb}{[} \newcommand{\rb}{]} \newcommand{\powerseries}[2]{#1[[#2]]} \newcommand{\partder}[2][]{\frac{\partial #1}{\partial #2}} \providecommand\mapsfrom{\mathrel{\reflectbox{\ensuremath{\mapsto}}}} \DeclareMathOperator{\Sha}{III} \newcommand{\NN}{\mathbf{N}} \newcommand{\ZZ}{\mathbf{Z}} \newcommand{\QQ}{\mathbf{Q}} \newcommand{\RR}{\mathbf{R}} \newcommand{\CC}{\mathbf{C}} \newcommand{\HH}{\mathbf{H}} \newcommand{\FF}{\mathbf{F}} \newcommand{\GG}{\mathbf{G}} \newcommand{\ints}{\mathcal{O}} \newcommand{\adeles}{\mathbf{A}} \newcommand{\alg}{\mathrm{alg}} \newcommand{\subgroup}{\mathrel{\subseteq}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\catname}[1]{{\mathrm\textbf{#1}}} \newcommand{\Rings}{\mathrm{Rings}} \newcommand{\Ar}{\mathrm{Ar}} \newcommand{\dR}{\mathrm{dR}} \newcommand{\crys}{\mathrm{crys}} \newcommand{\cris}{\mathrm{cris}} \newcommand{\et}{\mathrm{\acute{e}t}} \newcommand{\sing}{\mathrm{sing}} \newcommand{\Pet}{\mathrm{Pet}} \newcommand{\pinf}{{1/p^\infty}} \newcommand{\colim}{\operatornamewithlimits{\underset{\longrightarrow}{colim}}} \newcommand{\acts}{\circlearrowright} \newcommand\rightrightrightarrows{ \mathrel{\substack{\textstyle\rightarrow\\[-0.6ex] \textstyle\rightarrow \\[-0.6ex] \textstyle\rightarrow}} } \newcommand{\ab}{\mathrm{ab}} \newcommand{\alm}{\mathrm{a}} \newcommand{\an}{\mathrm{an}} \newcommand{\alt}{\mathrm{alt}} \newcommand{\cyc}{\mathrm{cyc}} \newcommand{\id}{\mathrm{id}} \newcommand{\un}{\mathrm{un}} \newcommand{\nr}{\mathrm{nr}} \newcommand{\ns}{\mathrm{ns}} \newcommand{\op}{\mathrm{op}} \newcommand{\pre}{\mathrm{pre}} \newcommand{\reg}{\mathrm{reg}} \newcommand{\spec}{\mathrm{spec}} \newcommand{\Set}{\mathrm{Set}} \newcommand{\sep}{\mathrm{sep}} \newcommand{\St}{\mathrm{St}} \newcommand{\tors}{\mathrm{tors}} \newcommand{\transpose}{\mathrm{T}} \DeclareMathOperator{\Ann}{Ann} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\Supp}{Supp} \DeclareMathOperator{\coker}{coker} \DeclareMathOperator{\lcm}{lcm} \DeclareMathOperator{\End}{End} \DeclareMathOperator{\Diff}{Diff} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\Nat}{Nat} \DeclareMathOperator{\Syl}{Syl} \DeclareMathOperator{\Tgt}{Tgt} \DeclareMathOperator{\sprep}{sp} \DeclareMathOperator{\vol}{Vol} \DeclareMathOperator{\divisor}{div} \DeclareMathOperator{\divisors}{Div} \DeclareMathOperator{\Cl}{Cl} \DeclareMathOperator{\Div}{Div} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Jac}{Jac} \DeclareMathOperator{\Princ}{Princ} \DeclareMathOperator{\Cycles}{Cycles} \DeclareMathOperator{\supp}{supp} \DeclareMathOperator{\Ext}{Ext} \DeclareMathOperator{\Tor}{Tor} \DeclareMathOperator{\gr}{gr} \DeclareMathOperator{\Fil}{Fil} \DeclareMathOperator{\polylog}{\mathcal{L}} \DeclareMathOperator{\disc}{disc} \DeclareMathOperator{\Tan}{Tan} \DeclareMathOperator{\Cotan}{Cotan} \DeclareMathOperator{\Sing}{Sing} \DeclareMathOperator{\Sel}{Sel} \DeclareMathOperator{\red}{red} \DeclareMathOperator{\Reg}{Reg} \DeclareMathOperator{\Rep}{Rep} \DeclareMathOperator{\rk}{rk} \DeclareMathOperator{\rank}{rank} \DeclareMathOperator{\im}{im} \DeclareMathOperator{\image}{im} \DeclareMathOperator{\coim}{coim} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\Span}{span} \DeclareMathOperator{\characteristic}{char} \DeclareMathOperator{\orient}{or} \DeclareMathOperator{\leadterm}{lt} \DeclareMathOperator{\sgn}{sgn} \DeclareMathOperator{\Stab}{Stab} \DeclareMathOperator{\tr}{tr} \DeclareMathOperator{\ord}{ord} \DeclareMathOperator{\ad}{ad} \DeclareMathOperator{\Ad}{Ad} \DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\Spf}{Spf} \DeclareMathOperator{\Spv}{Spv} \DeclareMathOperator{\Spa}{Spa} \DeclareMathOperator{\Spm}{Spm} \DeclareMathOperator{\specialisation}{sp} \DeclareMathOperator{\Max}{Max} \newcommand{\Gal}[2]{\operatorname{Gal}(#1/#2)} \newcommand{\absgal}[1]{\operatorname{Gal}(\overline{#1}/#1)} \newcommand{\sepgal}[1]{\operatorname{Gal}(#1^\sep/#1)} \DeclareMathOperator{\Ind}{Ind} \DeclareMathOperator{\Res}{Res} \DeclareMathOperator{\power}{\mathcal{P}} \DeclareMathOperator{\aff}{\mathbf{A}} \DeclareMathOperator{\PP}{\mathbf{P}} \DeclareMathOperator{\norm}{Norm} \DeclareMathOperator{\trace}{Tr} \DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\Frob}{Frob} \DeclareMathOperator{\NS}{NS} \DeclareMathOperator{\Der}{Der} \DeclareMathOperator{\Aut}{Aut} \DeclareMathOperator{\Out}{Out} \DeclareMathOperator{\Inn}{Inn} \DeclareMathOperator{\vf}{\mathcal{V}} \DeclareMathOperator{\krulldim}{krulldim} \DeclareMathOperator{\trdeg}{trdeg} \DeclareMathOperator{\Frac}{Frac} \DeclareMathOperator{\cl}{cl} \DeclareMathOperator{\Prob}{Prob} \DeclareMathOperator{\Mat}{Mat} \DeclareMathOperator{\SL}{SL} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\PSL}{PSL} \DeclareMathOperator{\PGL}{PGL} \DeclareMathOperator{\specialorthogonal}{SO} \DeclareMathOperator{\Sp}{Sp} \DeclareMathOperator{\orth}{O} \DeclareMathOperator{\unitary}{U} \DeclareMathOperator{\specialunitary}{SU} \DeclareMathOperator{\Sym}{Sym} \DeclareMathOperator{\Aff}{Aff} \DeclareMathOperator{\ch}{ch} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

These are notes for Ali Altuğ's course MA841 at BU Fall 2018.

The course webpage is http://math.bu.edu/people/saaltug/2018_3/2018_3_sem.html.

Course overview: Upon Akshay Venkatesh winning the fields medal I decided to dedicate this term to various aspects of equidistribution results in number theory and their relations to L-functions. I am aiming to cover basic results like Linnik's and Duke's theorems, as well as certain aspects of subconvexity. As we move along we may briefly touch several other aspects like quantum unique ergodicity (QUE) or equidistribution in other settings (e.g. over function fields). There is an abundance of material on this topic. We will not follow a single book or an article (although the first book and the survey articles following that will be the main reference), however here are a bunch of helpful papers/books. I will update these references as we move along.