A weaker but simpler sieve inequality

Resumen Técnico: "Una desigualdad de criba más débil pero más simple"

Planteamiento del problema
El artículo aborda la estimación de sumas específicas que involucran pesos de criba, una tarea central en la teoría analítica de números relacionada con la distribución de primos y casi-primos. El autor se centra en dos sumas relacionadas definidas sobre un conjunto de primos $P$ y un producto $P(z) = \prod_{p \in P, p < z} p$. Sea $\lambda_d$ una secuencia de números reales soportada en los divisores $d$ de $P(z)$ que satisface $|\lambda_d| \leq \tau_k(d)$.

El objeto principal de estudio es la suma $W$:
$$W = \sum_{d|P} d \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
Previamente, en el trabajo de Friedlander e Iwaniec [3], se estableció un límite para $W$ (Lema 6.18), mostrando que para pesos de criba específicos (criba beta), $W \ll \prod_{p|P} (1 - 1/p)$. Sin embargo, la prueba de este resultado contenía un error menor identificado por K. Matomäki, y se señaló que la derivación era compleja.

El artículo también considera una suma "menor" $U$, que fue el tema de una carta de 1981 de Atle Selberg al autor:
$$U = \sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$$
donde $\phi$ es la función totiente de Euler. Aunque $U$ es técnicamente una suma menor que $W$ (ya que $\phi(d) < d$), el artículo argumenta que $U$ es el objeto más natural para ciertas aplicaciones y admite una prueba significativamente más simple.

Metodología
La contribución metodológica central es la derivación y utilización de una identidad algebraica específica que transforma la suma $U$ en una forma susceptible de un acotamiento trivial.

1. La Identidad Fundamental: El artículo establece la identidad:
   $$\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)}$$
   donde $\theta_m = \sum_{d|m} \lambda_d$. Esta identidad se deriva intercambiando el orden de la sumatoria y utilizando las propiedades del máximo común divisor y la función totiente de Euler.

2. Comparación con $W$: El autor contrasta esto con la identidad requerida para la suma $W$, la cual involucra una estructura más complicada (referenciada como identidad (4.2) en [3] y (57) en [6]). La identidad para $U$ se describe como "pulcra" y "fácil de demostrar", mientras que el tratamiento para $W$ es "bastante más complicado".

3. Estrategia de Acotamiento: Para acotar el lado derecho de la identidad para $U$, el autor emplea un acotamiento trivial sobre el término $\theta_\delta^2$. Específicamente, usando la desigualdad $\theta_\delta^2 \leq \tau(\delta)|\theta_\delta|$, la suma se reduce a una forma que involucra funciones divisoras. El autor señala que para los pesos de criba (específicamente la criba beta y la criba $\Lambda^2$ de Selberg), los coeficientes se comportan como si estuvieran restringidos a casi-primos, manteniendo la función divisor $\tau(\delta)$ lo suficientemente pequeña como para asegurar que la suma permanezca acotada.

4. Generalización: El artículo extiende estas identidades a un entorno más general que involucra funciones multiplicativas $f$ y $f'$ (donde $f'(p) = f(p) - 1$), conduciendo a una identidad generalizada (3.1) que engloba el caso específico de intervalos de criba.

Resultos Clave

• Prueba de la Conjetura de Selberg: El artículo proporciona una prueba del límite para la suma $U$ que fue conjeturada por el autor en [1] y confirmada por Selberg en su carta de 1981. El resultado es:
  $$\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)$$
  Esto se cumple tanto para los pesos de la criba beta como para los pesos de la criba $\Lambda^2$ de Selberg.
• Simplificación de la Prueba: La derivación del límite para $U$ se presenta como "mucho más rápida y limpia" que la prueba del límite más fuerte para $W$.
• Corrección de Trabajo Previo: El artículo reconoce un error en la prueba del límite para $W$ en [3] y señala que una prueba corregida se proporciona en el apéndice (en conjunto con Iwaniec).
• Aplicación a Intervalos Cortos: El autor afirma que el límite para $U$ es "todo lo que realmente se necesita" para aplicaciones relativas a la distribución de primos y casi-primos en intervalos cortos (específicamente intervalos de longitud $g(x)\log x$ donde $g(x) \to \infty$). En estimaciones previas (por ejemplo, la ecuación 6.120 en [3]), el conteo de enteros coprimos con $d$ se acotaba por $H$ en lugar de el más preciso $H\phi(d)/d$; la suma $U$ acomoda naturalmente este conteo más preciso.

Significancia y Reivindicaciones
El artículo reclama una significancia modesta, enmarcándose como una alternativa "más débil pero más simple" a resultados previos.

• Naturalidad: El autor argumenta que $U$ es la suma "más natural" comparada con $W$, justificado por la simplicidad de la identidad subyacente (2.3).
• Suficiencia: La principal reivindicación es que, aunque el límite para $W$ es más fuerte, el límite para $U$ es suficiente para la aplicación específica de estimar primos y casi-primos en intervalos cortos.
• Contexto Histórico: El artículo sirve para resaltar un resultado de una carta de 1981 de Atle Selberg que había sido pasado por alto o olvidado, proporcionando una prueba moderna y simplificada de la desigualdad que Selberg confirmó.
• Sin Nuevas Aplicaciones: El artículo no propone nuevas aplicaciones ni implicaciones futuras. Limita estrictamente su alcance a la simplificación teórica de desigualdades de criba existentes y su relevancia para problemas establecidos en intervalos cortos, señalando que desarrollos recientes de K. Matomäki han utilizado más estos tipos de resultados.

En resumen, el artículo ofrece una prueba simplificada y algebraicamente elegante para una desigualdad de criba específica ($U$) que, si bien es técnicamente más débil que un resultado conocido anteriormente ($W$), es suficiente para aplicaciones clave en la teoría de números primos y proporciona una vía para evitar las complejidades y fallos de las pruebas anteriores.