Riesz Means of Quadratic Class Numbers

Sintesi Tecnica: Medie di Riesz delle Classi di Numeri Quadratici

Enunciato del Problema
Il saggio affronta il comportamento asintotico delle medie di Riesz pesate che coinvolgono i numeri di classe di Hurwitz $H(n)$ (associati a discriminanti negativi) e le tracce dei numeri di classe quadratici reali $Tr_d(1)$ (associati a discriminanti positivi). Mentre la crescita dei numeri di classe per discriminanti negativi è stata risolta nel XX secolo attraverso il lavoro di Heilbronn, Siegel e altri, le analoghe congetture per discriminanti positivi rimangono aperte. Gli autori mirano a derivare una formula asintotica precisa per una media pesata di queste quantità, affrontando specificamente la sfida posta dalla natura non olofomorfa delle funzioni generatrici per i numeri di classe a discriminante positivo.

Metodologia
Gli autori impiegano un quadro che estende la teoria delle forme modulari alle forme di Maass sesquiharmoniche. La metodologia procede attraverso i seguenti passaggi:

1. Definizione di Funzioni L per Forme Sesquiharmoniche:
   Il saggio introduce le funzioni $L$ per le forme di Maass sesquiharmoniche di peso $1/2$ di crescita moderata. A differenza delle forme modulari olofomorfe, le forme sesquiharmoniche possiedono espansioni di Fourier che contengono tre serie distinte: una parte olofomorfa ($c(n)q^n$), una parte non olofomorfa che coinvolge la funzione gamma incompleta $\beta(y)$ ($b(n)\beta(-4nv)q^n$), e una terza parte non olofomorfa che coinvolge una funzione speciale $\alpha(y)$ ($a(n)\alpha(4nv)q^n$).
   Gli autori definiscono una serie di Dirichlet completata $\Lambda_N(F, s)$ che incorpora questi tre componenti utilizzando le funzioni speciali $W_{1/2}(s)$ e $Z(s)$, che sono definite tramite integrali che coinvolgono la funzione gamma incompleta e la funzione $\alpha(y)$.

2. Proprietà Analitiche delle Funzioni L:
   Gli autori dimostrano che $\Lambda_N(F, s)$ ammette una continuazione meromorfa in tutto il piano complesso. Stabiliscono un equazione funzionale che mette in relazione $\Lambda_N(F, s)$ con $\Lambda_N(G, 1/2 - s)$, dove $G$ è l'immagine di $F$ sotto l'involuzione di Fricke $W(N)$. I poli della funzione $L$ sono calcolati esplicitamente in termini dei coefficienti costanti e logaritmici dell'espansione di Fourier di $F$ e $G$.

3. Derivazione di una Formula di Somma:
   Utilizzando la formula di Perron e l'integrazione di contorno, gli autori derivano una formula di sommatoria generale per i coefficienti delle forme di Maass sesquiharmoniche. Questa formula generalizza i risultati precedenti per le forme mock modulari (da Beckwith, Diamantis, Gupta, Rolen e Thalagoda) e i risultati classici di Chandrasekharan e Narasimhan.
   Fondamentalmente, la formula include termini aggiuntivi derivanti dalle due serie generatrici non olofomorfe ($\alpha$ e $\beta$) specifiche per le forme sesquiharmoniche. Questi termini si manifestano come integrali che coinvolgono funzioni di Bessel e funzioni ipergeometriche.

4. Applicazione ai Numeri di Classe Quadratici:
   Gli autori applicano questa formula di sommatoria generale a una specifica forma di Maass sesquiharmonica $\hat{Z}(\tau)$ introdotta da Duke, Imamoğlu e Tóth. I coefficienti di Fourier di questa forma corrispondono ai numeri di classe di Hurwitz $H(n)$ e alle tracce quadratiche reali $Tr_d(1)$. Calcolando l'azione dell'involuzione di Fricke su $\hat{Z}(\tau)$, determinano i coefficienti necessari da inserire nella formula di sommatoria.

Contributi Chiave e Risultati

• Estensione Teorica: Il saggio riesce a definire e analizzare le funzioni $L$ per le forme di Maass sesquiharmoniche di peso $1/2$, una classe di funzioni che non era stata precedentemente trattata con questa specifica strumentazione di funzioni $L$. Ciò include la prova dell'equazione funzionale e la determinazione dei residui.
• Formula di Sommatoria Generalizzata (Teorema 4.1): Gli autori forniscono una formula di sommatoria a forma chiusa per le medie di Riesz dei coefficienti delle forme di Maass sesquiharmoniche. Questa formula tiene esplicitamente conto dei tre distinti componenti dell'espansione di Fourier, risultando in una struttura più complessa rispetto a quelle per le forme di Maass olofomorfe o armoniche.
• Formula Asintotica per i Numeri di Classe (Teorema 1.2): Il risultato principale è una formula asintotica per una media di Riesz pesata di $Tr_n(1)$ e $H(n)$. Per $\rho > 3/2$ e ogni $\epsilon > 0$, il saggio stabilisce:
  $$\sum_{n \le x} \left(1 - \frac{n}{x}\right)^\rho \left( Tr_n(1) + H(n)\left(\frac{x}{n} - 1\right)^{1/2} \frac{2F_1(\dots)}{\sqrt{2n}(\rho + 1/2)} \right) = \frac{\pi x}{6\sqrt{2}(\rho+1)} + O(x^{1/2+\epsilon})$$
  dove $2F_1$ è la funzione ipergeometrica di Gauss.
• Verifica Numerica: Il saggio include un esempio numerico (Esempio 1) per $\rho=2$, dimostrando la lenta convergenza delle somme verso la costante prevista, coerentemente con il termine di errore teorico.

Significatività
Il saggio rivendica significatività nel colmare il divario tra la teoria delle forme di Maass armoniche e quella delle forme di Maass sesquiharmoniche, più complesse. Estendendo la metodologia delle funzioni $L$ e le formule di sommatoria a questa classe più ampia, gli autori forniscono uno strumento per analizzare la crescita dei numeri di classe quadratici reali, un problema che è rimasto aperto sin dai tempi di Gauss. Il lavoro generalizza i risultati recenti sulle forme mock modulari e offre una formula asintotica concreta per una media pesata di numeri di classe, contribuendo alla comprensione della distribuzione di questi invarianti aritmetici. Gli autori notano che il loro metodo estende il lavoro di Chandrasekharan e Narasimhan e il recente preprint [BDG+], adattandolo per gestire i termini non olofomorfi aggiuntivi inerenti alle forme sesquiharmoniche.