Equidistribution of CM points and RM curves

Sintesi Tecnica: Equidistribuzione di Punti CM e Curve RM

Enunciato del Problema
Questo articolo indaga la distribuzione dei punti a Moltiplicazione Complessa (CM) e delle curve a Moltiplicazione Reale (RM) all'interno del semipiano superiore complesso $\mathbb{H}$. Mentre William Duke (1988) ha stabilito che i punti CM di discriminante fondamentale $D$ e le curve RM sono equidistribuiti su regioni bidimensionali fisse in $\mathbb{H}$ (in particolare la superficie modulare $SL_2(\mathbb{Z})\backslash\mathbb{H}$) al tendere di $D \to -\infty$ o $D \to +\infty$, questo lavoro affronta il problema analogo per oggetti di dimensione inferiore. Nello specifico, gli autori studiano la distribuzione di questi punti e curve lungo geodetiche fisse unidimensionali e intorno a punti fissi di dimensione zero in $\mathbb{H}$.

Metodologia
Il nucleo della metodologia consiste nel tradurre problemi di distribuzione geometrica in problemi di teoria analitica dei numeri riguardanti forme quadratiche binarie.

1. Corrispondenza Geometrico-Algebrica: Gli autori stabiliscono che i punti CM giacenti su una geodetica razionale fissa, e le curve RM aventi un'intersezione perpendicolare con una geodetica razionale fissa, sono governati da una specifica equazione diofantea: $2aC + 2cA = bB$. Qui, $(A, B, C)$ definisce la geodetica fissa, mentre $(a, b, c)$ definisce il punto CM o la curva RM variabile.
2. Riduzione al Conteggio di Punti Reticolari: Parametrizzando le soluzioni di questa equazione diofantea, la distribuzione dei punti CM e delle curve RM viene ridotta alla distribuzione di numeri razionali $m/n$ che soddisfano una disuguaglianza quadratica della forma $0 < Am^2 + Bmn + Cn^2 \le \Delta$.
3. Il Problema Aggregate di Linnik: L'articolo risolve il "problema aggregate di Linnik" per forme quadratiche binarie arbitrarie. A differenza del problema classico di Linnik, che studia la distribuzione di punti su una superficie $Q(x)=d$ al tendere di un singolo discriminante $d \to \infty$, la versione aggregate considera la distribuzione dei punti dove $0 < Q(x) \le \Delta$ al tendere di $\Delta \to \infty$.
4. Strumenti Analitici: Le dimostrazioni per il problema aggregate di Linnik si basano su tecniche standard di teoria analitica dei numeri, tra cui:
   • La formula di sommazione di Abel.
   • Stime asintotiche per somme che coinvolgono la funzione totiente di Eulero $\phi(n)$ e la funzione di Möbius $\mu(n)$.
   • Un'analisi caso per caso basata sui segni dei coefficienti $A, B$ e del discriminante $D = B^2 - 4AC$.

Contributi e Risultati Chiave
L'articolo fornisce quattro teoremi principali che stabiliscono l'equidistribuzione in contesti geometrici specifici:

• Teorema 1.1 (Punti CM su Geodetiche): I punti CM sono equidistribuiti lungo ogni geodetica razionale fissa in $\mathbb{H}$ rispetto alla metrica iperbolica. Gli autori notano che ciò vale solo per le geodetiche razionali, poiché le geodetiche non razionali contengono al massimo un punto CM.
• Teorema 1.2 (Curve RM su Geodetiche): Le curve RM sono equidistribuite lungo ogni geodetica razionale fissa in $\mathbb{H}$ rispetto alla metrica iperbolica. Questo si riferisce all'equidistribuzione dei punti di intersezione perpendicolare delle curve RM con la geodetica.
• Teorema 1.3 (Curve RM intorno a Punti CM): Le curve RM passanti per un punto CM fisso sono equidistribuite rispetto alla misura angolare uniforme intorno a quel punto.
• Teorema 1.4 (Punti CM intorno a Punti Fissi): I punti CM entro una distanza iperbolica fissa da un qualsiasi punto $z_0 \in \mathbb{H}$ sono equidistribuiti rispetto alla misura angolare uniforme intorno a $z_0$. Gli autori notano che questo risultato deriva dal teorema originale di equidistribuzione di Duke sulle regioni bidimensionali, adattato tramite calcoli di geometria iperbolica.

Un risultato tecnico centrale che sostiene questi teoremi è il Teorema 1.5, che risolve il problema aggregate di Linnik per forme quadratiche binarie arbitrarie. Dimostra che l'insieme dei punti razionali normalizzati $m/n$ che soddisfano $0 < Am^2 + Bmn + Cn^2 \le \Delta$ diventa equidistribuito su un intervallo specifico $I$ rispetto alla misura $d\mu = \frac{1}{At^2+Bt+C}dt$ al tendere di $\Delta \to \infty$.

Significato e Applicazioni
Gli autori affermano che il loro lavoro estende i risultati fondanti di Duke dalle regioni bidimensionali agli oggetti unidimensionali e di dimensione zero. L'articolo evidenzia diverse applicazioni e implicazioni specifiche:

1. Formule Asintotiche per Punti CM su Geodetiche Chiuse: I risultati forniscono una formula asintotica per il numero di punti CM su una geodetica chiusa $G$ in $SL_2(\mathbb{Z})\backslash\mathbb{H}$ con magnitudine del discriminante $\le \Delta$. Il conteggio è proporzionale alla lunghezza della geodetica e a $\Delta$.
2. Integrali di Ciclo e Funzioni Modulari: L'articolo propone un'interpretazione alternativa per i "valori" delle funzioni modulari in irrazionalità quadratiche reali. Tradizionalmente definiti come integrali di ciclo su geodetiche associate, questi valori possono ora essere interpretati come il limite del valore medio della funzione sui punti CM giacenti su quella geodetica.
3. Densità su Curve Non Geodetiche: Gli autori forniscono un esempio che mostra come i punti CM possano essere densi e equidistribuiti su una linea orizzontale (una curva non geodetica), suggerendo un ambito più ampio per tali distribuzioni.
4. Problemi Aperti: L'articolo conclude ponendo il problema di classificare tutte le curve algebriche in $\mathbb{H}$ che contengono un sottoinsieme denso di punti CM, tracciando un'analogia con la congettura di André-Oort.

Il lavoro è presentato come un'estensione rigorosa della teoria esistente dell'equidistribuzione, risolvendo il problema aggregate di Linnik per colmare il divario tra i risultati di distribuzione globale e la distribuzione lungo sottovarietà specifiche della superficie modulare.