A weaker but simpler sieve inequality

Resumo Técnico: "Uma Desigualdade de Crivo Mais Fraca, Mas Mais Simples"

Enunciado do Problema
O artigo aborda a estimativa de somas específicas envolvendo pesos de crivo, uma tarefa central na teoria analítica dos números relativa à distribuição de primos e quase-primos. O autor foca em duas somas relacionadas definidas sobre um conjunto de primos $P$ e um produto $P(z) = \prod_{p \in P, p < z} p$. Seja $\lambda_d$ uma sequência de números reais suportada nos divisores $d$ de $P(z)$ satisfazendo $|\lambda_d| \leq \tau_k(d)$.

O objeto principal de estudo é a soma $W$:
$$W = \sum_{d|P} d \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
Anteriormente, no trabalho de Friedlander e Iwaniec [3], um limite para $W$ foi estabelecido (Lema 6.18), mostrando que para pesos de crivo específicos (crivo beta), $W \ll \prod_{p|P} (1 - 1/p)$. No entanto, a prova deste resultado continha uma pequena falha identificada por K. Matomäki, e a derivação foi notada como complexa.

O artigo também considera uma soma "menor" $U$, que foi o objeto de uma carta de 1981 de Atle Selberg ao autor:
$$U = \sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
onde $\phi$ é a função totiente de Euler. Embora $U$ seja tecnicamente uma soma menor que $W$ (já que $\phi(d) < d$), o artigo argumenta que $U$ é o objeto mais natural para certas aplicações e admite uma prova significativamente mais simples.

Metodologia
A principal contribuição metodológica é a derivação e utilização de uma identidade algébrica específica que transforma a soma $U$ em uma forma passível de limitação trivial.

1. A Identidade Fundamental: O artigo estabelece a identidade:
   $$\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)}$$
   onde $\theta_m = \sum_{d|m} \lambda_d$. Esta identidade é derivada pela inversão da ordem de somação e pela utilização de propriedades do máximo divisor comum e da função totiente de Euler.

2. Comparação com $W$: O autor contrasta isso com a identidade necessária para a soma $W$, que envolve uma estrutura mais complicada (referenciada como identidade (4.2) em [3] e (57) em [6]). A identidade para $U$ é descrita como "limpa" e "fácil de mostrar", enquanto o tratamento para $W$ é "bastante mais complicado".

3. Estratégia de Limitação: Para limitar o lado direito da identidade para $U$, o autor emprega uma limitação trivial no termo $\theta_\delta^2$. Especificamente, usando a desigualdade $\theta_\delta^2 \leq \tau(\delta)|\theta_\delta|$, a soma é reduzida a uma forma envolvendo funções de divisor. O autor nota que, para pesos de crivo (especificamente o crivo beta e o crivo Selberg $\Lambda^2$), os coeficientes comportam-se como se estivessem restritos a quase-primos, mantendo a função de divisor $\tau(\delta)$ suficientemente pequena para garantir que a soma permaneça limitada.

4. Generalização: O artigo estende estas identidades para um cenário mais geral envolvendo funções multiplicativas $f$ e $f'$ (onde $f'(p) = f(p) - 1$), levando a uma identidade generalizada (3.1) que engloba o caso específico de intervalos de crivo.

Resultados Principais

• Prova da Conjectura de Selberg: O artigo fornece uma prova do limite para a soma $U$ que foi conjecturada pelo autor em [1] e confirmada por Selberg em sua carta de 1981. O resultado é:
  $$\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)$$
  Isso é válido tanto para pesos de crivo beta quanto para pesos de crivo Selberg $\Lambda^2$.
• Simplificação da Prova: A derivação do limite para $U$ é apresentada como "muito mais rápida e limpa" do que a prova do limite mais forte para $W$.
• Correção de Trabalho Anterior: O artigo reconhece uma falha na prova do limite para $W$ em [3] e observa que uma prova corrigida é fornecida no apêndice (em conjunto com Iwaniec).
• Aplicação a Intervalos Curtos: O autor afirma que o limite para $U$ é "tudo o que é realmente necessário" para aplicações relativas à distribuição de primos e quase-primos em intervalos curtos (especificamente intervalos de comprimento $g(x)\log x$ onde $g(x) \to \infty$). Em estimativas anteriores (por exemplo, equação 6.120 em [3]), a contagem de inteiros coprimos a $d$ era limitada por $H$ em vez do mais preciso $H\phi(d)/d$; a soma $U$ acomoda naturalmente esta contagem mais precisa.

Significância e Alegações
O artigo reivindica uma significância modesta, apresentando-se como uma alternativa "mais fraca, mas mais simples" a resultados anteriores.

• Naturalidade: O autor argumenta que $U$ é a soma "mais natural" comparada a $W$, justificada pela simplicidade da identidade subjacente (2.3).
• Suficiência: A principal alegação é que, embora o limite para $W$ seja mais forte, o limite para $U$ é suficiente para a aplicação específica de estimar primos e quase-primos em intervalos curtos.
• Contexto Histórico: O artigo serve para destacar um resultado de uma carta de 1981 de Atle Selberg que havia sido negligenciado ou esquecido, fornecendo uma prova moderna e simplificada da desigualdade que Selberg confirmou.
• Sem Novas Aplicações: O artigo não propõe novas aplicações ou implicações futuras. Ele limita estritamente seu escopo à simplificação teórica de desigualdades de crivo existentes e sua relevância para problemas estabelecidos em intervalos curtos, observando que desenvolvimentos recentes por K. Matomäki utilizaram ainda mais este tipo de resultado.

Em resumo, o artigo oferece uma prova simplificada e algebricamente elegante para uma desigualdade de crivo específica ($U$) que, embora tecnicamente mais fraca que um resultado anteriormente conhecido ($W$), é suficiente para aplicações fundamentais na teoria dos números primos e evita as complexidades e falhas das provas anteriores.