Negative discrete second moments of Dirichlet $L$-functions

Sintesi Tecnica: Momenti Discreti Negativi del Secondo Ordine delle Funzioni L di Dirichlet

Enunciato del Problema
Questo articolo investiga i limiti inferiori per due specifici momenti discreti del secondo ordine delle funzioni $L$ di Dirichlet $L(s, \chi)$, calcolati sui loro zeri non banali $\rho = \frac{1}{2} + i\gamma$. Lo studio si concentra sull'uniformità di questi limiti rispetto al conduttore $q$, in particolare nei regimi in cui $q$ cresce con l'altezza $T$ degli zeri. I due momenti analizzati sono:

1. Il Momento Reciproco: $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$.
2. Il Momento del Rapporto: $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$.

Queste quantità generalizzano congetture e teoremi precedentemente stabiliti per la funzione zeta di Riemann ($q=1$) da Gonek, Milinovich, Ng e Sinha. La sfida centrale affrontata è determinare come il conduttore $q$ influenzi l'ordine di grandezza di queste somme, identificando il "deficit del conduttore" che sorge quando $q$ è grande rispetto a $T$.

Metodologia
L'autore impiega la tecnica della mollificazione, adattando la strategia di Milinovich e Ng (la quale si basa a sua volta sul lavoro di Rudnick e Soundararajan). Il nucleccio dell'approccio consiste nell'uso di:

• Mollificatori: Vengono costruiti due distinti polinomi di Dirichlet per approssimare i reciproci dei termini dei momenti.
  • Per il momento reciproco, viene utilizzato un polinomio con torsione di Möbius $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$, corrispondente alla serie di Dirichlet per $1/L(s, \chi)$.
  • Per il momento del rapporto, viene utilizzato un polinomio con torsione di Liouville $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$, corrispondente alla serie per $L(2s, \chi^2)/L(s, \chi)$.
  • In entrambi i casi, $\xi = T^\vartheta$ è la lunghezza del mollificatore, e $P(x)$ è un polinomio con $P(0)=0, P(1)=1$.
• Disuguaglianza di Cauchy-Schwarz: I momenti sono limitati inferiormente applicando la disuguaglianza di Cauchy-Schwarz a somme della forma $\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$ (e l'analogo per il rapporto). Ciò riduce il problema alla stima del primo momento ($M_1$) e del secondo momento ($M_2$) delle funzioni mollificate sugli zeri.
• Integrazione lungo il Contorno: Le somme $M_1$ e $M_2$ vengono valutate tramite il teorema degli un residui su contorni rettangolari. Gli integrali lungo i bordi verticali forniscono i termini principali, mentre i bordi orizzontali sono limitati utilizzando stime dimensionali per le funzioni $L$.
• Uniformità: Un componente tecnico critico consiste nel mantenere l'uniformità rispetto al conduttore $q$. Ciò richiede una gestione attenta dei fattori aritmetici (che coinvolgono $\phi(q)$ e $A_q$) e degli errori nei teoremi di valore medio per i polinomi di Dirichlet. Si assumono l'Ipotesi di Riemann Generalizzata (GRH) e la semplicità degli zeri.

Risultati Chiave
L'articolo stabilisce limiti inferiori per entrambi i momenti che dipendono dal rapporto $\beta = \frac{\log T}{\log qT}$.

• Teorema 5 (Momento Reciproco): Assumendo GRH e zeri semplici, per $3 \le q \le T^A$, la somma è limitata inferiormente da:
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  dove $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$.

• Teorema 6 (Momento del Rapporto): Assumendo GRH per $L(s, \chi)$ (e zeri semplici), per $3 \le q \le T^{1-\delta}$, la somma è limitata inferiormente da:
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  La restrizione $q \le T^{1-\delta}$ deriva dal fatto che la dimostrazione non assume la GRH per il carattere $\chi^2$ presente al numeratore; assumendo la GRH per $\chi^2$, l'intervallo si estenderebbe a $q \le T^A$.

• Comportamento Asintotico:

  • Conduttori Piccoli: Se $\log q = o(\log T)$ (ad esempio, $q$ fisso), allora $\beta \to 1$. I limiti recuperano la metà della dimensione asintotica congetturata (coerentemente con i risultati per $q=1$ di Milinovich-Ng e Sinha).
  • Conduttori di Potenza: Se $q = T^A$, allora $\beta = \frac{1}{1+A}$, e la proporzione catturata diventa $\frac{1}{2+A}$. Ad esempio, per $A=1$, il limite è pari a $1/3$ della dimensione congetturata.

• Momenti Superiori: Applicando la disuguaglianza di Hölder, l'autore deriva limiti inferiori per i momenti superiori ($2k$) nei Corollari 11 e 12. Tali limiti sono dell'ordine di $T/(\log qT)^{k-1}$, che sono significativamente più piccoli delle dimensioni congetturate per $k>1$, ma l'articolo enfatizza la loro uniformità in $q$ piuttosto che la loro precisione.

Congetture e Significato
L'articolo postula che i limiti inferiori derivati catturino esattamente la proporzione $\frac{\beta}{1+\beta}$ dei valori asintotici reali.

• Congetture 7 e 8: L'autore congettura che gli asintotici reali siano $\frac{A_q}{2\pi}T$ e $\frac{\phi(q)}{q}\frac{T}{2\pi}$ rispettivamente, uniformemente per $q \le T^A$.
• Origine del Deficit: L'autore sostiene che il fattore $\frac{\beta}{1+\beta}$ non sia un accidente numerico, ma una caratteristica strutturale della costruzione diagonale di Cauchy-Schwarz. Il teorema del valore medio per i polinomi di Dirichlet limita la lunghezza del mollificatore $\xi$ a $T^{1-\varepsilon}$, indipendentemente da $q$. Tuttavia, la densità degli zeri cresce con $\log qT$. Il "deficit" è il rapporto tra il valore della funzione $u/(1+u)$ al limite $u = \beta$ e il suo limite per $u \to \infty$.
• Medie di Famiglia: L'autore suggerisce che fare la media sulla famiglia dei caratteri primitivi (Congetture 9 e 10) potrebbe permettere l'uso di mollificatori più lunghi (fino a $(qT)^{1-\varepsilon}$), migliorando potenzialmente la proporzione catturata dal regime di conduttore di potenza da $\frac{1}{2+A}$ a $\frac{1}{2}$. Tuttavia, l'articolo non prova questo punto, osservando che richiederebbe nuove formule esplicite uniformi.

Conclusione
Il lavoro fornisce i primi limiti inferiori uniformi per i momenti discreti negativi del secondo ordine delle funzioni $L$ di Dirichlet attraverso un ampio intervallo di conduttori. Esso generalizza con successo i risultati noti per $q=1$ e quantifica il degrado di tali limiti al crescere del conduttore. Il lavoro identifica un limite strutturale specifico nella attuale metodologia di mollificazione riguardo all'aspetto del conduttore e formula precise congetture sul vero comportamento asintotico, invitando la ricerca futura verso tecniche di media di famiglia per superare l'attuale "deficit del conduttore".