A weaker but simpler sieve inequality

Sintesi Tecnica: "Una disuguaglianza di setaccio più debole ma più semplice"

Enunciato del problema
Il saggio affronta la stima di somme specifiche che coinvolgono pesi di setaccio, un compito centrale nella teoria analitica dei numeri riguardante la distribuzione di numeri primi e quasi-primi. L'autore si concentra su due somme correlate definite su un insieme di numeri primi $P$ e un prodotto $P(z) = \prod_{p \in P, p < z} p$. Sia $\lambda_d$ una sequenza di numeri reali supportata sui divisori $d$ di $P(z)$ soddisfacendo $|\lambda_d| \leq \tau_k(d)$.

L'oggetto principale di studio è la somma $W$:
$$W = \sum_{d|P} d \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
Precedentemente, nel lavoro di Friedlander e Iwaniec [3], è stata stabilita una stima per $W$ (Lemma 6.18), mostrando che per specifici pesi di setaccio (setaccio $\beta$), $W \ll \prod_{p|P} (1 - 1/p)$. Tuttavia, la dimostrazione di questo risultato conteneva un minore errore identificato da K. Matomäki, e la derivazione era stata annotata come complessa.

Il saggio considera anche una somma "minore" $U$, che fu oggetto di una lettera del 1981 di Atle Selberg all'autore:
$$U = \sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
dove $\phi$ è la funzione totiente di Eulero. Sebbene $U$ sia tecnicamente una somma minore rispetto a $W$ (poiché $\phi(d) < d$), il saggio sostiene che $U$ sia l'oggetto più naturale per certe applicazioni e ammette una dimostrazione significativamente più semplice.

Metodologia
Il nucleo del contributo metodologico è la derivazione e l'utilizzo di una specifica identità algebrica che trasforma la somma $U$ in una forma suscettibile di stima banale.

1. L'identità fondamentale: Il saggio stabilisce l'identità:
   $$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 = \prod_{p \in P} \left(1 - \frac{1}{p}\right) \sum_{\delta|P} \frac{\theta_\delta^2}{\phi(\delta)}$$
   dove $\theta_m = \sum_{d|m} \lambda_d$. Questa identità è derivata intercambiando l'ordine della sommatoria e utilizzando le proprietà del massimo comun divisore e della funzione totiente di Eulero.

2. Confronto con $W$: L'autore confronta questo con l'identità richiesta per la somma $W$, che coinvolge una struttura più complicata (riferita come identità (4.2) in [3] e (57) in [6]). L'identità per $U$ è descritta come "pulita" e "facile da dimostrare", mentre il trattamento per $W$ è "piuttosto più complicato".

3. Strategia di stima: Per stimare il lato destro dell'identità per $U$, l'autore impiega una stima banale sul termine $\theta_\delta^2$. Nello specifico, usando la disuguaglianza $\theta_\delta^2 \leq \tau(\delta)|\theta_\delta|$, la somma viene ridotta a una forma che coinvolge le funzioni divisore. L'autore nota che per i pesi di setaccio (specificamente il setaccio $\beta$ e il setaccio $\Lambda^2$ di Selberg), i coefficienti si comportano come se fossero limitati ai quasi-primi, mantenendo la funzione divisore $\tau(\delta)$ sufficientemente piccola da garantire che la somma rimanga limitata.

4. Generalizzazione: Il saggio estende queste identità a un contesto più generale coinvolgendo funzioni multiplicative $f$ e $f'$ (dove $f'(p) = f(p) - 1$), portando a un'identità generalizzata (3.1) che comprende il caso specifico degli intervalli di setaccio.

Risultati chiave

• Dimostrazione della congettura di Selberg: Il saggio fornisce una dimostrazione del limite per la somma $U$ che era stato congetturato dall'autore in [1] e confermato da Selberg nella sua lettera del 1981. Il risultato è:
  $$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 \ll \prod_{p|P} \left(1 - \frac{1}{p}\right)$$
  Questo vale sia per i pesi del setaccio $\beta$ che per i pesi del setaccio $\Lambda^2$ di Selberg.
• Semplificazione della dimostrazione: La derivazione del limite per $U$ è presentata come "molto più rapidamente e chiaramente" rispetto alla dimostrazione del limite più forte per $W$.
• Correzione del lavoro precedente: Il saggio riconosce un errore nella dimostrazione del limite per $W$ in [3] e nota che una dimostrazione corretta è fornita nell'appendice (congiuntamente con Iwaniec).
• Applicazione agli intervalli brevi: L'autore afferma che il limite per $U$ è "tutto ciò di cui si ha effettivamente bisogno" per le applicazioni riguardanti la distribuzione di numeri primi e quasi-primi in intervalli brevi (specificamente intervalli di lunghezza $g(x)\log x$ dove $g(x) \to \infty$). Nelle stime precedenti (ad esempio l'equazione 6.120 in [3]), il conteggio degli interi coprimi rispetto a $d$ era limitato da $H$ piuttosto che dal più preciso $H\phi(d)/d$; la somma $U$ accoglie naturalmente questo conteggio più preciso.

Significatività e affermazioni
Il saggio rivendica una significatività modesta, presentandosi come un'alternativa "più debole ma più semplice" rispetto ai risultati precedenti.

• Naturalità: L'autore sostiene che $U$ sia la somma "più naturale" rispetto a $W$, giustificato dalla semplicità della sottostante identità (2.3).
• Sufficienza: La principale affermazione è che, sebbene il limite su $W$ sia più forte, il limite su $U$ è sufficiente per la specifica applicazione di stimare numeri primi e quasi-primi in intervalli brevi.
• Contesto storico: Il saggio serve a evidenziare un risultato di una lettera del 1981 di Atle Selberg che era stato trascurato o dimenticato, fornendo una dimostrazione moderna e snella della disuguaglianza confermata da Selberg.
• Nessuna nuova applicazione: Il saggio non propone nuove applicazioni o implicazioni future. Limita strettamente il suo ambito alla semplificazione teorica di esistenti disuguaglianze di setaccio e alla loro rilevanza per problemi stabiliti in intervalli brevi, notando che sviluppi recenti da parte di K. Matomäki hanno ulteriormente utilizzato questo tipo di risultati.

In sintesi, il saggio offre una dimostrazione snella ed algebricamente elegante di una specifica disuguaglianza di setaccio ($U$) che, sebbene tecnicamente più debole di un risultato precedentemente noto ($W$), è sufficiente per applicazioni chiave nella teoria dei numeri primi e fornisce una dimostrazione più pulita rispetto alle complessità e ai difetti delle dimostrazioni precedenti.