Equidistribution of CM points and RM curves

Technische Samenvatting: Equiverdeling van CM-punten en RM-curven

Probleemstelling
Dit artikel onderzoekt de verdeling van Complex Multiplication (CM)-punten en Real Multiplication (RM)-curven binnen het complexe bovenste halfvlak $\mathbb{H}$. Hoewel William Duke (1988) heeft vastgesteld dat CM-punten met fundamentele discriminant $D$ en RM-curven equiverdeeld zijn over vaste 2-dimensionale gebieden in $\mathbb{H}$ (specifiek het modulaire oppervlak $SL_2(\mathbb{Z})\backslash\mathbb{H}$) naarmate $D \to -\infty$ of $D \to +\infty$, behandelt dit werk het analoge probleem voor lagerdimensionale objecten. Specifiek bestuderen de auteurs de verdeling van deze punten en curven langs vaste 1-dimensionale geodeten en rond vaste 0-dimensionale punten in $\mathbb{H}$.

Methodologie
De kern van de methodologie bestaat uit het vertalen van meetkundige verdelingsproblemen naar analytische getaltheoretische problemen betreffende binaire kwadratische vormen.

1. Meetkundig-Algebraïsche Correspondentie: De auteurs stellen vast dat CM-punten die op een vaste rationale geodeet liggen, en RM-curven die een loodrechte doorsnede hebben met een vaste rationale geodeet, worden beheerst door een specifieke Diophantische vergelijking: $2aC + 2cA = bB$. Hierbij definieert $(A, B, C)$ de vaste geodeet, en definieert $(a, b, c)$ het variërende CM-punt of de RM-curve.
2. Reductie tot Lattice Point Counting: Door de oplossingen van deze Diophantische vergelijking te parametriseren, wordt de verdeling van CM-punten en RM-curven gereduceerd tot de verdeling van rationale getallen $m/n$ die voldoen aan een kwadratische ongelijkheid van de vorm $0 < Am^2 + Bmn + Cn^2 \le \Delta$.
3. Het Aggregaat-Linnik-probleem: Het artikel lost het "aggregaat-Linnik-probleem" op voor willekeurige binaire kwadratische vormen. In tegenstelling tot het klassieke Linnik-probleem, dat de verdeling van punten op een oppervlak $Q(x)=d$ bestudeert als een enkele discriminant $d \to \infty$, behandelt de aggregaatversie de verdeling van punten waar $0 < Q(x) \le \Delta$ als $\Delta \to \infty$.
4. Analytische Hulpmiddelen: De bewijzen voor het aggregaat-Linnik-probleem maken gebruik van standaard technieken uit de analytische getaltheorie, waaronder:
   • De sommatieformule van Abel.
   • Asymptotische schattingen voor sommen die de Euler-totientfunctie $\phi(n)$ en de Möbiusfunctie $\mu(n)$ bevatten.
   • Analyse per geval op basis van de tekens van de coëfficiënten $A, B$ en de discriminant $D = B^2 - 4AC$.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt vier hoofdstellingen die equiverdeling vaststellen in specifieke meetkundige situaties:

• Stelling 1.1 (CM-punten op Geodeten): CM-punten zijn equiverdeeld langs elke vaste rationale geodeet in $\mathbb{H}$ met betrekking tot de hyperbolische metriek. De auteurs merken op dat dit alleen geldt voor rationale geodeten, aangezien niet-rationale geodeten hoogstens één CM-punt bevatten.
• Stelling 1.2 (RM-curven op Geodeten): RM-curven zijn equiverdeeld langs elke vaste rationale geodeet in $\mathbb{H}$ met betrekking tot de hyperbolische metriek. Dit verwijst naar de equiverdeling van de punten van loodrechte doorsnede van de RM-curven met de geodeet.
• Stelling 1.3 (RM-curven rond CM-punten): RM-curven die door een vast CM-punt gaan, zijn equiverdeeld met betrekking tot de uniforme hoekmaat rond dat punt.
• Stelling 1.4 (CM-punten rond Vaste Punten): CM-punten binnen een vaste hyperbolische afstand van elk punt $z_0 \in \mathbb{H}$ zijn equiverdeeld met betrekking tot de uniforme hoekmaat rond $z_0$. De auteurs merken op dat dit resultaat voortvloeit uit Dukes oorspronkelijke equiverdelingsstelling over 2-dimensionale gebieden, aangepast via berekeningen uit de hyperbolische meetkunde.

Een centraal technisch resultaat dat deze stellingen onderbouwt, is Stelling 1.5, die het aggregaat-Linnik-probleem oplost voor willekeurige binaire kwadratische vormen. Het bewijst dat de verzameling genormaliseerde rationale punten $m/n$ die voldoen aan $0 < Am^2 + Bmn + Cn^2 \le \Delta$ equiverdeeld wordt over een specifiek interval $I$ met betrekking tot de maat $d\mu = \frac{1}{At^2+Bt+C}dt$ naarmate $\Delta \to \infty$.

Betekenis en Toepassingen
De auteurs beweren dat hun werk Dukes fundamentele resultaten uitbreidt van 2-dimensionale gebieden naar 1-dimensionale en 0-dimensionale objecten. Het artikel benadrukt verschillende specifieke toepassingen en implicaties:

1. Asymptotische Formules voor CM-punten op Gesloten Geodeten: De resultaten leveren een asymptotische formule op voor het aantal CM-punten op een gesloten geodeet $G$ in $SL_2(\mathbb{Z})\backslash\mathbb{H}$ met discriminantgrootte $\le \Delta$. De telling is evenredig met de lengte van de geodeet en $\Delta$.
2. Cyclusintegralen en Modulaire Functies: Het artikel stelt een alternatieve interpretatie voor van de "waarden" van modulaire functies bij reële kwadratische irrationaliteiten. Traditioneel gedefinieerd als cyclusintegralen over geassocieerde geodeten, kunnen deze waarden nu worden geïnterpreteerd als de limiet van de gemiddelde waarde van de functie over de CM-punten die op die geodeet liggen.
3. Dichtheid op Niet-Geodetische Curven: De auteurs geven een voorbeeld waarin blijkt dat CM-punten dicht en equiverdeeld kunnen zijn op een horizontale lijn (een niet-geodetische curve), wat wijst op een bredere reikwijdte voor dergelijke verdelingen.
4. Open Problemen: Het artikel sluit af met het stellen van het probleem om alle algebraïsche curven in $\mathbb{H}$ te classificeren die een dichte deelverzameling van CM-punten bevatten, waarbij een analogie wordt getrokken met de André-Oort-vermoeden.

Het werk wordt gepresenteerd als een rigoureuze uitbreiding van bestaande equiverdelingstheorie, waarbij het aggregaat-Linnik-probleem wordt opgelost om de kloof te overbruggen tussen globale verdelingsresultaten en verdeling langs specifieke subvariëteiten van het modulaire oppervlak.