On density of the zeros of Dedekind zeta-functions

1. Il Problema

L'articolo affronta il problema della densità degli zeri della funzione zeta di Dedekind $\zeta_K(s)$ associata a un campo numerico $K$ di grado $k = [K : \mathbb{Q}]$.
Sia $\rho = \beta + i\gamma$ uno zero non banale di $\zeta_K(s)$. Si definisce $N_\zeta(\sigma, K, T)$ come il numero di zeri tali che $|\gamma| \le T$ e $\beta \ge \sigma$, contati con la loro molteplicità.
L'obiettivo è ottenere stime superiori (upper bounds) per $N_\zeta(\sigma, K, T)$ nell'intervallo critico $1/2 \le \sigma \le 1$ per $T$ sufficientemente grande.

Il contesto storico include:

• Il caso $K=\mathbb{Q}$ (funzione zeta di Riemann), dove Heath-Brown ha stabilito risultati noti.
• Il caso generale per $k \ge 2$. Risultati precedenti di Heath-Brown (1977) e Sokolovsky (1968) fornivano stime del tipo $N_\zeta(\sigma, K, T) \ll T^{k(1-\sigma)+\varepsilon}$.
• Miglioramenti successivi basati su risultati di sub-convessità (es. [5], [11]) che hanno ridotto l'esponente per certi intervalli di $\sigma$, ma lasciando spazio a miglioramenti, specialmente per $3 \le k \le 6$ e per $\sigma$ vicino a 1.

2. Metodologia

L'autore utilizza una combinazione di tecniche classiche della teoria analitica dei numeri e risultati recenti sulla stima degli zeri. La metodologia si articola nei seguenti punti:

1. Tecnica di Rilevamento degli Zeri (Zero-Detecting Technique):
   Si considera il prodotto $\zeta_K(s) M_X(s, K)$, dove $M_X(s, K)$ è un polinomio di Dirichlet tronco che approssima $1/\zeta_K(s)$. Questo permette di isolare gli zeri non banali. Se un zero soddisfa certe condizioni, si dimostra che deve soddisfare una delle due disuguaglianze:

   • Una somma esponenziale discreta che è "grande" (Classe 1).
   • Un integrale su una striscia verticale che è "grande" (Classe 2).

2. Stima degli Zeri di Classe 2:
   Utilizzando il Lemma 2.1, che stabilisce il limite $\zeta_K(1/2 + it) \ll t^{k/6 + \varepsilon}$ (un risultato recente di [5] valido per qualsiasi campo numerico, abeliano o no), l'autore dimostra che scegliendo opportunamente il parametro $Y$, la situazione di Classe 2 può essere esclusa (il contributo è trascurabile).

3. Stima degli Zeri di Classe 1 (Metodo di Huxley e Coppie di Esponenti):
   Per gli zeri di Classe 1, l'intervallo $[-T, T]$ viene suddiviso in sottointervalli di lunghezza $T_0$ (metodo di Huxley).

   • Si utilizza una somma di potenze (raising to power $l$) per trasformare la somma sugli zeri in una somma di momenti.
   • Si applica la disuguaglianza di Halász-Montgomery (Lemma 3.1) per limitare la somma degli zeri.
   • Il cuore della stima risiede nell'uso delle coppie di esponenti $(\kappa, \lambda)$ per stimare i momenti della funzione zeta e le somme esponenziali correlate.

4. Ottimizzazione dei Parametri:
   L'autore ottimizza la scelta dei parametri $X, Y, T_0$ e della coppia di esponenti $(\kappa, \lambda)$ per minimizzare l'esponente di $T$ nella stima finale.

3. Risultati Chiave e Contributi

Il paper presenta due teoremi principali che migliorano i risultati esistenti:

Teorema 1.1 (Caso $k=2$)

Per campi quadratici ($k=2$), l'autore ottiene una stima più affilata per $\sigma$ vicino a 1.
$$N_\zeta(\sigma, K, T) \ll T^{\frac{4}{6\sigma-3}(1-\sigma) + \varepsilon}$$
valida per $\sigma$ in un intervallo definito da una coppia di esponenti $(\kappa, \lambda)$.

• Esempio specifico: Scegliendo la coppia $(\kappa, \lambda) = (1/14, 11/14)$, si ottiene il risultato per $19/20 < \sigma \le 1$.
• Significato: Questo supera i limiti precedenti per $k=2$ quando $\sigma$ è molto vicino a 1.

Teorema 1.2 (Caso $k \ge 3$)

Per campi numerici di grado $k \ge 3$, il risultato principale è:
$$N_\zeta(\sigma, K, T) \ll T^{\frac{2k}{6\sigma-3}(1-\sigma) + \varepsilon}$$
valido per:
$$\frac{2k+3}{2k+6} \le \sigma < 1$$

Confronto con risultati precedenti:

• Per $3 \le k \le 6$: Il risultato migliora la stima di Heath-Brown [4] nell'intervallo $5/6 \le \sigma \le 1$.
• Per $k \ge 7$: Il risultato migliora la stima di [11] (basata su risultati di sub-convessità). Poiché $\frac{2k}{6\sigma-3} < k$ per $\sigma$ sufficientemente vicino a 1, l'esponente di $T$ è più piccolo rispetto alla stima generale $T^{k(1-\sigma)}$.

4. Significato e Impatto

Il lavoro di Zhang è significativo per diversi motivi:

1. Miglioramento delle Stime di Densità: Fornisce i limiti superiori più stretti conosciuti per la densità degli zeri della funzione zeta di Dedekind in un intervallo critico di $\sigma$ vicino a 1, per un'ampia gamma di gradi di campo numerico ($k \ge 2$).
2. Utilizzo di Risultati Recenti: Sfrutta la stima di sub-convessità $\zeta_K(1/2+it) \ll t^{k/6+\varepsilon}$ (proveniente da [5]), che è un risultato fondamentale recente, applicandolo efficacemente al problema della densità degli zeri.
3. Generalizzazione e Raffinamento: Mentre molti risultati precedenti erano limitati a casi specifici o a intervalli di $\sigma$ più ampi ma meno precisi, questo lavoro offre una formula unificata che si adatta al grado $k$ e utilizza la flessibilità delle coppie di esponenti per ottimizzare il risultato.
4. Implicazioni Teoriche: Una migliore stima della densità degli zeri ha ripercussioni su problemi fondamentali nella teoria dei numeri, come la distribuzione dei numeri primi in progressioni aritmetiche in campi numerici, la validità dell'ipotesi di Riemann generalizzata in regioni vicine alla retta critica, e stime per il numero di campi numerici con discriminante limitato.

In sintesi, l'articolo rappresenta un avanzamento tecnico significativo nella teoria analitica dei numeri, combinando metodi classici di densità con stime moderne di sub-convessità per affinare la nostra comprensione della distribuzione degli zeri delle funzioni L di Dedekind.