Sharp Bounds for Moments of the Dedekind Zeta Function

Sintesi Tecnica: Limiti Acuti per i Momenti della Funzione Zeta di Dedekind

Enunciato del Problema
Il problema centrale affrontato in questo articolo è l'instaurazione di limiti superiori acuti per i momenti della funzione zeta di Dedekind, $\zeta_K(s)$, associata a una estensione galoisiana finita $K/\mathbb{Q}$, sulla linea critica $\Re(s) = 1/2$. Nello specifico, gli autori investigano i momenti traslati:
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
sotto l'ipotesi della Ipotesi di Riemann Generalizzata (GRH).

Prima di questo lavoro, il comportamento asintotico di questi momenti era congetturato essere dell'ordine di $T(\log T)^{[K:\mathbb{Q}]k^2}$ per il caso non traslato ($a_j=1, b_j=0$). Mentre Soundararajan ha stabilito limiti quasi acuti per la funzione zeta di Riemann ($K=\mathbb{Q}$) e Harper li ha raffinati fino all'ordine congetturato, l'estensione alle funzioni zeta di Dedekind ha incontrato limitazioni. Milinovich e Turnage-Butterbaugh hanno dimostrato un limite con un $\epsilon$ supplementare nell'esponente del logaritmo per estensioni galoisiane generali. Hagen ha recentemente rimosso questo $\epsilon$, ma solo per estensioni galoisiane finite solvibili. Il vuoto rimaneva per le estensioni galoisiane finite arbitrarie, dove il limite acuto era sconosciuto.

Metodologia
Gli autori adattano e raffinano il metodo introdotto da Harper per la funzione zeta di Riemann, che si basa sull'approssimazione del logaritmo della funzione zeta tramite polinomi di Dirichlet brevi e sull'utilizzo di una decomposizione "lungo-breve" dell'intervallo di integrazione. L'innovazione tecnica centrale in questo articolo risiede nell'adattamento di questo framework alla struttura aritmetica delle funzioni zeta di Dedekind tramite il Teorema di Densità di Chebotarev.

Passaggi metodologici chiave includono:

1. Approssimazione: Utilizzando la GRH, gli autori approssimano $\log |\zeta_K(1/2 + it)|$ mediante una sommatoria su ideali primi, concentrandosi specificamente sul contributo dei numeri primi razionali che si scindono completamente in $K$.
2. Decomposizione: L'intervallo $[T, 2T]$ è partizionato in un insieme "buono" $\mathcal{T}$ dove i polinomi di Dirichlet sono piccoli, e in una unione di insiemi "cattivi" $S(j)$ dove essi eccedono determinate soglie.
3. Applicazione di Chebotarev: Un passaggio cruciale consiste nel valutare somme della forma \sum_{p \le x, p \text{ si scinde}} \frac{\cos(\alpha \log p)}. Applicando il Teorema di Densità di Chebotarev alla classe di congiugazione identità, gli autori dimostrano che la densità dei primi che si scindono completamente in $K$ è $1/[K:\mathbb{Q}]$ della densità totale dei primi.
4. Miglioramento dell'Esponente: L'applicazione diretta del metodo di Harper a $\zeta_K(s)$ senza sfruttare la struttura di Galois produrrebbe un limite con l'esponente $[K:\mathbb{Q}]^2 k^2$. Utilizzando il comportamento di scissione dei primi, gli autori riducono il contributo effettivo delle somme sui primi, migliorando l'esponente da $[K:\mathbb{Q}]^2 k^2$ al valore ottimale congetturale $[K:\mathbb{Q}] k^2$.

Contributi Chiave e Risultati

• Teorema 1.1 (Risultato Principale): Assumendo la GRH, gli autori stabiliscono un limite superiore per i momenti traslati di $\zeta_K(s)$ per qualsiasi estensione galoisiana finita $K/\mathbb{Q}$. Il limite è:
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  dove $g(x)$ è una funzione di correlazione definita a tratti in base alla separazione $|b_i - b_j|$. Questo risultato è valido per qualsiasi estensione galoisiana finita, non solo per quelle solvibili.

• Corollario 1.2: Impostando $a_j=1$ e $b_j=0$, gli autori recuperano il limite superiore acuto per i momenti non traslati:
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  Questo estende il risultato di Hagen dalle estensioni solvibili a tutte le estensioni galoisiane finite.

• Corollario 1.3 (Grandi Deviazioni): L'articolo deriva un limite superiore per la misura dell'insieme in cui $\log |\zeta_K(1/2 + it)|$ eccede una soglia $V \asymp \sqrt{\log \log T}$. Assumendo la GRH, la misura decade come $e^{-V^2/2}$, concordando con l'euristica gaussiana predetta dalla teoria delle matrici casuali.

• Corollario 1.4 (Intervalli Brevi): Gli autori applicano i loro limiti dei momenti per studiare la varianza dei coefficienti $r_K(n)$ (il numero di ideali di norma $n$) in intervalli brevi. Forniscono una stima condizionata per la varianza del termine di errore nella stima del valore medio di $r_K(n)$, migliorando i limiti precedenti per le estensioni galoisiane.

Significatività
L'articolo sostiene di colmare un vuoto significativo nella teoria analitica delle funzioni $L$ stabilendo il limite superiore congetturato ottimale per i momenti delle funzioni zeta di Dedekind per la vasta classe delle estensioni galoisiane finite. La significatività è duplice:

1. Generalizzazione: Rimuove il vincolo di solvibilità richiesto dal recente lavoro di Hagen, dimostrando che il limite acuto è valido per qualsiasi estensione galoisiana finita.
2. Raffinamento Metodologico: Gli autori dichiarano esplicitamente che la chiave del loro miglioramento rispetto a una applicazione ingenua del metodo di Harper sia l'uso del Teorema di Densità di Chebotarev per tenere conto del comportamento di scissione dei primi. Ciò consente loro di ridurre l'esponente del fattore logaritmico da $[K:\mathbb{Q}]^2 k^2$ a $[K:\mathbb{Q}] k^2$.

Gli autori notano che, sebbene il loro metodo faccia affidamento pesantemente sulla struttura di Galois, estendere questi limiti acuti a arbitrarie estensioni numeriche (non galoisiane) rimane un problema aperto che richiede nuove idee.