Heath-Brown identities for fractional powers of $ζ$

Sintesi Tecnica: Identità di Heath-Brown per le Potenze Fratte di $\zeta$

Enunciato del Problema
Il saggio affronta la stima delle somme esponenziali che coinvolgono potenze fratte della funzione zeta di Riemann, specificamente $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$, dove $d_z$ è la funzione moltiplicativa definita dai coefficienti di Dirichlet di $\zeta(s)^z$. Sebbene il comportamento di tali somme sia ben compreso per esponenti interi (ad esempio, la funzione divisore $\tau_k = d_k$ e la funzione di Möbius $\mu = d_{-1}$), il caso frazionario $z \in (-1, 1) \setminus \mathbb{Z}$ presenta una lacuna. I metodi classici basati sulla fattorizzazione (come $\tau_k = 1^{*k}$) falliscono per i non-interi, e le identità esistenti (come quelle di Vaughan o Heath-Brown) non sono direttamente applicabili senza modifiche. Risultati parziali precedenti, come il limite per $d_{1/2}$ in [MV, Esercizio 9], hanno prodotto un esponente intermedio subottimale di $6/7$ nella stima degli archi minori, mentre i casi interi raggiungono il benchmark di qualità "Vinogradov" di $4/5$. Il problema centrale è la costruzione di un'identità combinatoria finita per $\zeta(s)^{\pm a/b}$ che permetta la derivazione di limiti con l'esponente ottimale $4/5$ e perdite puramente logaritmiche, senza il fattore $x^\varepsilon$.

Metodologia
L'autore impiega un approccio a due livelli: costruzione algebrica seguita da stima analitica.

1. Costruzione Algebrica (Identità di tipo Heath-Brown):
   L'innovazione centrale è la costruzione di identità finite per $\zeta(s)^{\pm a/b}$ utilizzando la serie binomiale di Newton nell'algebra delle funzioni aritmetiche.

   • Per una potenza frazionaria $\zeta(s)^{-h/b}$, l'autore definisce un polinomio di Dirichlet troncato $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$.
   • Considerando il resto $H = 1 - \zeta(s)^h F(s)^b$, l'autore sfrutta la proprietà per cui $H$ ha supporto su interi $> V$. Di conseguenza, $H^K$ ha supporto su interi $> V^K$.
   • Sostituendo $H$ nella serie binomiale di Newton troncata di $(1-H)^{-1/b}$, si ottiene un'identità esatta per $\zeta(s)^{-h/b}$ valida per i coefficienti $n \le V^K$.
   • Il saggio seleziona una profondità $K=5$ e $V = x^{1/5}$. Ciò assicura che l'identità sia valida per tutti $n \le x$. L'identità risultante esprime $\zeta(s)^{-h/b}$ come una combinazione lineare finita di convoluzioni che coinvolgono $F$ e potenze di $\zeta$. Fondamentalmente, ogni fattore "lungo" in queste convoluzioni è una potenza positiva di $\zeta$ (la funzione costante 1), garantendo la regolarità (smoothness), mentre i fattori "corti" sono limitati da 1.
   • Per esponenti positivi $z = h/b$, l'identità è derivata indirettamente tramite $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$, preservando la regolarità dei fattori lunghi.
   • Il caso limite $z = -1$ (la funzione di Möbius) viene recuperato come un caso speciale in cui l'identità degenera nell'identità classica di Heath-Brown.

2. Stima Analitica:
   Le identità costruite riducono la somma esponenziale $S_z(x, \alpha)$ a una somma di forme multilineari $T_{J,L}(x, \alpha)$.

   • Decomposizione Diadica: Le variabili sono localizzate in intervalli diedici.
   • Dicotomia Combinatoria: Viene applicato un lemma "finestra-o-variabile-lunga". Per ogni configurazione diedica con prodotto $P \in (x^{4/5}, x]$, o un sottoinsieme di variabili può essere raggruppato nella "finestra di Tipo II" $[x^{2/5}, x^{3/5}]$, o una singola variabile è lunga ($> x^{3/10}$) mentre il prodotto delle restanti è corto ($< x^{7/10}$).
   • Stime:
     • Tipo II: Si applicano stime bilineari quando la condizione della finestra è soddisfatta, producendo il termine $x^{4/5}$.
     • Tipo I: Quando esiste una variabile regolare lunga, la somma è trattata come una somma di Tipo I. L'autore evita la falsa assunzione che le somme di Tipo I pesate da divisori ammettano solo perdite logaritmiche; al contrario, viene utilizzata una strategia a due intervalli:
       • Per $q \le x^{3/10}$ e $q \ge x^{7/10}$, viene utilizzata una stima di Tipo I media quadratica.
       • Per l'intervallo intermedio $x^{3/10} < q < x^{7/10}$, viene utilizzata una stima puntuale con una perdita $x^{o(1)}$. Il divario tra $x^{7/10}$ e il target $x^{4/5}$ assorbe questa perdita, garantendo che il limite finale mantenga l'esponente $4/5$ con soli fattori logaritmici.

Risultati Chiave

1. Limiti per gli Archi Minori (Teoremi 1.1 & 1.3):
   Per ogni frazione ridotta $a/b$ con $0 < a/b < 1$, e per $z = \pm a/b$, il saggio dimostra:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   per $|\alpha - r/q| \le 1/q^2$.

   • Questo limite è valido senza perdita $x^\varepsilon$, corrispondendo alla forma della stima di Vinogradov per la funzione di von Mangoldt e ai limiti noti per le potenze intere.
   • Il Teorema 1.3 estende questo risultato al caso limite $z = -1$ (funzione di Möbius) con una costante assoluta, raffinando le stime precedenti eliminando l' $\varepsilon$.

2. Espansione per gli Archi Maggiori (Teorema 1.5):
   Per $z$ reale $0 < |z| < 1$, il saggio fornisce un'espansione degli archi maggiori per un'arbitraria precisione logaritmica. Il termine principale coinvolge fattori locali $g_z(q)$ (che generalizzano la serie singolare) e coefficienti derivati dal metodo Selberg-Delange. Il termine di errore è $O(x (\log x)^{-A})$ per ogni $A > 0$, sebbene la costante implicita sia inefficace a causa della dipendenza dal teorema di Siegel-Walfisz.

3. Limiti Uniformi e Momenti (Teoremi 1.6 & 1.7):

   • Supremo: Il saggio determina l'ordine di grandezza di $\sup_\alpha |S_z(x, \alpha)|$. Per $z > 0$, il supremo è raggiunto in $\alpha=0$ ed è asintotico al valore medio. Per $z < 0$, la cancellazione riduce il supremo di un fattore $(\log x)^{1+|z|}$ rispetto alla norma $\ell^1$.
   • Momenti: Per $z \in (-1, 1)$ razionale e $s > 2$ reale, il saggio dimostra una formula asintotica per i momenti $\int_0^1 |S_z(x, \alpha)|^s d\alpha$. Il termine principale è determinato da una serie singolare che coinvolge $g_z(q)$, analogamente al risultato di Pandey per le funzioni divisore intere. La restrizione $s > 2$ è necessaria poiché la serie singolare diverge a $s=2$.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la lacuna tra le potenze intere e quelle fratte della funzione zeta nel contesto delle somme esponenziali. La sua importanza primaria risiede in:

• Ottimalità: Raggiungere l'esponente $x^{4/5}$ per le potenze fratte, cosa precedentemente aperta e nota solo per casi specifici con limiti più deboli.
• Efficienza: Eliminare la perdita $x^\varepsilon$, fondamentale per le applicazioni che richiedono termini di errore precisi (ad esempio, nel metodo del cerchio).
• Novità Algebrica: La costruzione di identità di Heath-Brown finite per le potenze fratte tramite la serie binomiale di Newton e argomenti di supporto, fornendo un nuovo strumento algebrico per gestire esponenti non interi nell'algebra delle funzioni aritmetiche.
• Efficacia: I limiti per gli archi minori e la costruzione delle identità sono pienamente efficaci. L'inefficacia nei casi di archi maggiori è esplicitamente attribuita al teorema di Siegel-Walfisz, una limitazione standard in questo dominio, piuttosto che alla nuova strumentazione.

L'autore sottolinea che la restrizione agli esponenti razionali è essenziale per la costruzione algebrica (poiché dipende dalla radice $b$-esima di una potenza intera), e che la restrizione $|z| \le 1$ assicura che i coefficienti corti rimangano limitati da 1. Il saggio non pretende di estendere questi risultati a esponenti irrazionali o a esponenti al di fuori di $[-1, 1]$ senza modifiche significative.