Counting Salem numbers arising from arithmetic hyperbolic orbifolds

1. Problema e Contesto

Il lavoro si colloca all'intersezione tra la teoria dei numeri (in particolare lo studio dei numeri di Salem e delle forme quadratiche) e la geometria iperbolica (reticoli aritmetici e orbifold).
Il problema centrale è quantificare la relazione tra i numeri di Salem (interi algebrici reali $\lambda > 1$ i cui coniugati hanno modulo 1, tranne $\lambda^{-1}$) e le lunghezze delle geodetiche chiuse negli orbifold iperbolici aritmetici.

In particolare, i numeri di Salem appaiono come autovalori reali degli elementi iperbolici nei reticoli aritmetici classici. Il paper mira a:

1. Stimare la proporzione di numeri di Salem di grado fino a $n+1$ che possono essere realizzati in una specifica classe di commensurabilità di reticoli aritmetici classici in dimensione dispari $n$.
2. Migliorare i limiti inferiori per la crescita esponenziale delle medie delle molteplicità nello spettro delle lunghezze delle geodetiche per orbifold aritmetici non compatti.

2. Metodologia

L'approccio combina strumenti analitici, geometrici e aritmetici:

• Condizione Geometrica sui Polinomi: Gli autori si concentrano sui polinomi minimali $f(x)$ dei numeri di Salem che soddisfano una condizione specifica motivata geometricamente: $f(1)f(-1) \equiv -D \pmod{(Q^\times)^2}$, dove $D$ è un intero libero da quadrati. Questa condizione è necessaria per l'esistenza di un'isometria in uno spazio quadratico con polinomio caratteristico $f$.
• Conteggio di Soluzioni Diofantee: Per contare tali polinomi, il problema viene trasformato nel contare le soluzioni intere primitive dell'equazione diofantea quadratica:
  $$A^2 + DB^2 = C^2$$
  dove $A$ e $C$ sono somme di coefficienti pari e dispari del polinomio $f$, e $B$ è legato al termine $k$ tale che $f(1)f(-1) = -Dk^2$.
• Metodo di Counting Reticolare: Viene utilizzata una generalizzazione del conteggio delle terne pitagoriche. Gli autori impiegano il metodo classico di Gauss per il conteggio dei punti reticolari in insiemi convessi (ellissi), combinato con la funzione di Möbius per isolare le soluzioni primitive ($\gcd(A,C)=1$).
• Stime Asintotiche: Si utilizzano risultati sulla distribuzione dei numeri di Salem (Götze e Gusakova) e stime asintotiche per il numero di soluzioni di equazioni lineari (partizione di interi) per vincolare il numero di coefficienti possibili per un dato grado e misura di Mahler.

3. Risultati Chiave

A. Conteggio dei Numeri di Salem (Teorema A e B)

Il paper stabilisce un limite superiore per il numero di polinomi di Salem di grado $2m$ con misura di Mahler $\le Q$ che soddisfano la condizione $f(1)f(-1) \equiv -D$.

• Teorema A: Il numero di tali polinomi è limitato superiormente da:
  $$\frac{\kappa(m, D)}{\pi \sqrt{D}} Q^{m-1} \log Q + O(Q^{m-1})$$
  dove $\kappa(m, D)$ è una costante dipendente da $m$ e $D$.
• Teorema B: Questo risultato viene applicato ai reticoli aritmetici classici. Il numero di numeri di Salem $\lambda \le Q$ realizzabili nella classe di commensurabilità di $SO(q, \mathbb{Z})$ (dove $q$ ha determinante ridotto $-D$ e $n$ è dispari) segue lo stesso limite asintotico.

B. Lunghezze delle Geodetiche (Corollari C e D)

Tramite la relazione $\lambda = e^{\ell(\gamma)}$, i risultati sul conteggio dei numeri di Salem vengono tradotti in limiti sul numero di lunghezze distinte delle geodetiche chiuse.

• Per un reticolo classico $\Gamma$, il numero di lunghezze distinte $\le L$ è limitato da $O(e^{(m-1)L} L)$.
• Per un reticolo non necessariamente classico (ma commensurabile a uno classico), il limite è $O(e^{2(m-1)L} L)$, poiché si considera il sottogruppo generato dai quadrati degli elementi.

C. Molteplicità dello Spettro (Teorema E)

Il contributo più significativo riguarda la crescita delle molteplicità medie.

• Teorema E: Per un orbifold iperbolico aritmetico non compatto di dimensione dispari $n > 4$, la media delle molteplicità $G(\ell)$ dello spettro delle lunghezze primitive cresce almeno come:
  $$G(\ell) \gtrsim c \cdot \frac{e^{\frac{(n-1)\ell}{2}}}{\ell^2}$$
  Questo rappresenta un miglioramento rispetto ai limiti inferiori precedenti, dimostrando una crescita esponenziale forte delle molteplicità medie.

D. Contributo Indipendente (Teorema 3.1)

Gli autori forniscono una prova elementare e generalizzata per il numero di soluzioni intere primitive di $A^2 + DB^2 = C^2$ con $|C| \le X$.

• Se $D$ è dispari: $P_D(X) \sim 2^t \frac{8X}{\pi \sqrt{D}}$
• Se $D$ è pari: $P_D(X) \sim 2^t \frac{6X}{\pi \sqrt{D}}$
  (dove $t$ è il numero di fattori primi distinti di $D$). Questo estende i risultati noti sulle terne pitagoriche (caso $D=1$).

4. Significato e Impatto

• Connessione Geometria-Teoria dei Numeri: Il lavoro rafforza il legame tra la struttura algebrica dei numeri di Salem e la geometria degli orbifold iperbolici, fornendo strumenti quantitativi precisi per stimare quanti numeri di Salem sono "realizzabili" in contesti geometrici specifici.
• Progresso sul Problema di Lehmer: Sebbene non risolva la congettura di Lehmer, il lavoro offre un quadro quantitativo su quanto siano "rari" i numeri di Salem che soddisfano condizioni geometriche specifiche, collegandoli alla congettura sulle geodetiche corte.
• Nuovi Limiti per le Molteplicità: Il risultato sul Teorema E è cruciale per la comprensione dello spettro delle lunghezze. Dimostra che, in dimensioni dispari superiori, le molteplicità delle geodetiche crescono esponenzialmente, suggerendo una ricca struttura nascosta nello spettro degli orbifold aritmetici non compatti.
• Metodologia: La generalizzazione del conteggio delle soluzioni diofantee e la prova elementare fornita offrono strumenti che possono essere applicati ad altri problemi di conteggio in teoria dei numeri e geometria aritmetica.

In sintesi, il paper fornisce una stima asintotica rigorosa per la densità dei numeri di Salem in classi di commensurabilità specifiche e utilizza questi risultati per dimostrare una crescita esponenziale delle molteplicità medie nelle lunghezze delle geodetiche, avanzando significativamente la comprensione quantitativa degli orbifold iperbolici aritmetici.