Heath-Brown identities for fractional powers of $ζ$

Resumen Técnico: Identidades de Heath-Brown para Potencias Fraccionarias de $\zeta$

Planteamiento del Problema
El artículo aborda la estimación de sumas exponenciales que involucran potencias fraccionarias de la función zeta de Riemann, específicamente $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$, donde $d_z$ es la función multiplicativa definida por los coeficientes de Dirichlet de $\zeta(s)^z$. Si bien el comportamiento de estas sumas está bien comprendido para exponentes enteros (por ejemplo, la función divisor $\tau_k = d_k$ y la función de Möbius $\mu = d_{-1}$), el caso fraccionario $z \in (-1, 1) \setminus \mathbb{Z}$ presenta un vacío. Los métodos clásicos que dependen de la factorización (como $\tau_k = 1^{*k}$) fallan para no enteros, y las identidades existentes (como las de Vaughan o Heath-Brown) no se aplican directamente sin modificaciones. Resultados parciales previos, como la cota para $d_{1/2}$ en [MV, Ejercicio 9], arrojaron un exponente medio subóptimo de $6/7$ en la estimación de los arcos menores, mientras que los casos enteros alcanzan el referente de "calidad de Vinogradov" de $4/5$. El problema central es construir una identidad combinatoria finita para $\zeta(s)^{\pm a/b}$ que permita la derivación de cotas con el exponente óptimo de $4/5$ y pérdidas puramente logarítmicas, sin el factor $x^\varepsilon$.

Metodología
El autor emplea un enfoque de dos capas: construcción algebraica seguida de estimación analítica.

1. Construcción Algebraica (Identidades de tipo Heath-Brown):
   La innovación central es la construcción de identidades finitas para $\zeta(s)^{\pm a/b}$ utilizando la serie binomial de Newton dentro del álgebra de las funciones aritméticas.

   • Para una potencia fraccionaria $\zeta(s)^{-h/b}$, el autor define un polinomio de Dirichlet truncado $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$.
   • Al considerar el resto $H = 1 - \zeta(s)^h F(s)^b$, el autor utiliza la propiedad de que $H$ tiene soporte en enteros $> V$. En consecuencia, $H^K$ tiene soporte en enteros $> V^K$.
   • Sustituyendo $H$ en la expansión binomial de Newton truncada de $(1-H)^{-1/b}$, el autor obtiene una identidad exacta para $\zeta(s)^{-h/b}$ válida para coeficientes $n \le V^K$.
   • El artículo selecciona una profundidad $K=5$ y $V = x^{1/5}$. Esto asegura que la identidad sea válida para todo $n \le x$. La identidad resultante expresa $\zeta(s)^{-h/b}$ como una combinación lineal finita de convoluciones que involucran a $F$ y potencias de $\zeta$. Crucialmente, cada factor "largo" en estas convoluciones es una potencia positiva de $\zeta$ (la función constante 1), lo que garantiza suavidad, mientras que los factores "cortos" están acotados por 1.
   • Para exponentes positivos $z = h/b$, la identidad se deriva indirectamente vía $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$, preservando la suavidad de los factores largos.
   • El caso límite $z = -1$ (la función de Möbius) se recupera como un caso especial donde la identidad degenera en la identidad clásica de Heath-Brown.

2. Estimación Analítica:
   Las identidades construidas reducen la suma exponencial $S_z(x, \alpha)$ a una suma de formas multilineales $T_{J,L}(x, \alpha)$.

   • Descomposición Diádica: Las variables se localizan en intervalos diádicos.
   • Dicotomía Combinatoria: Se aplica un lema de "ventana o variable larga". Para cualquier configuración diádica con producto $P \in (x^{4/5}, x]$, o bien un subconjunto de variables puede agruparse en la "ventana de Tipo II" $[x^{2/5}, x^{3/5}]$, o bien una sola variable es larga ($> x^{3/10}$) mientras que el producto del resto es corto ($< x^{7/10}$).
   • Estimaciones:
     • Tipo II: Se aplican estimaciones bilineales cuando se cumple la condición de la ventana, produciendo el término $x^{4/5}$.
     • Tipo I: Cuando existe una variable suave larga, la suma se trata como una suma de Tipo I. El autor evita la suposición falsa de que las sumas de Tipo I ponderadas por divisores admiten solo pérdidas logarítmicas; en su lugar, utiliza una estrategia de dos rangos:
       • Para $q \le x^{3/10}$ y $q \ge x^{7/10}$, se utiliza una estimación de Tipo I de media cuadrática.
       • Para el rango intermedio $x^{3/10} < q < x^{7/10}$, se utiliza una estimación puntual con una pérdida de $x^{o(1)}$. El espacio entre $x^{7/10}$ y el objetivo $x^{4/5}$ absorbe esta pérdida, asegurando que la cota final mantenga el exponente $4/5$ con solo factores logarítmicos.

Resultados Clave

1. Cotas de Arcos Menores (Teoremas 1.1 y 1.3):
   Para cualquier fracción reducida $a/b$ con $0 < a/b < 1$, y para $z = \pm a/b$, el artículo demuestra:
   $$\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$$
   para $|\alpha - r/q| \le 1/q^2$.

   • Esta cota se cumple sin la pérdida $x^\varepsilon$, coincidiendo con la forma de la estimación de Vinogradov para la función de von Mangoldt y las cotas conocidas para potencias enteras.
   • El Teorema 1.3 extiende esto al caso límite $z = -1$ (función de Möbius) con una constante absoluta, refinando estimaciones previas al eliminar la $\varepsilon$.

2. Expansión de Arcos Mayores (Teorema 1.5):
   Para $z$ real tal que $0 < |z| < 1$, el artículo proporciona una expansión de arco mayor de $S_z(x, \alpha)$ con precisión logarítmica arbitraria. El término principal involucra factores locales $g_z(q)$ (que generalizan la serie singular) y coeficientes derivados del método de Selberg-Delange. El término de error es $O(x (\log x)^{-A})$ para cualquier $A > 0$, aunque la constante implícita es inefectiva debido a la dependencia del teorema de Siegel-Walfisz.

3. Cotas Uniformes y Momentos (Teoremas 1.6 y 1.7):

   • Supremo: El artículo determina el orden de magnitud de $\sup_\alpha |S_z(x, \alpha)|$. Para $z > 0$, el supremo se alcanza en $\alpha=0$ y es asintótico al valor medio. Para $z < 0$, la cancelación reduce el supremo por un factor de $(\log x)^{1+|z|}$ respecto a la norma $\ell^1$.
   • Momentos: Para $z$ racional en $(-1, 1)$ y $s > 2$ real, el artículo demuestra una fórmula asintótica para los momentos $\int_0^1 |S_z(x, \alpha)|^s d\alpha$. El término principal está determinado por una serie singular que involucra a $g_z(q)$, de forma análoga al resultado de Pandey para las funciones divisoras enteras. La restricción $s > 2$ es necesaria ya que la serie singular diverge en $s=2$.

Significación y Reivindicaciones
El artículo afirma resolver el vacío entre las potencias enteras y fraccionarias de la función zeta en el contexto de las sumas exponenciales. Su principal significación radica en:

• Optimalidad: Lograr el exponente $x^{4/5}$ para potencias fraccionarias, lo cual era una cuestión abierta y solo se conocía para casos específicos con cotas más débiles.
• Eficiencia: Eliminar la pérdida $x^\varepsilon$, lo cual es crucial para aplicaciones que requieren términos de error precisos (por ejemplo, en el método del círculo).
• Novedad Algebraica: La construcción de identidades de Heath-Brown finitas para potencias fraccionarias mediante la serie binomial de Newton y argumentos de soporte, proporcionando una nueva herramienta algebraica para manejar exponentes no enteros en el álgebra de las funciones aritméticas.
• Efectividad: Las cotas de arcos menores y la construcción de las identidades son plenamente efectivas. La inefectividad en las aplicaciones de arcos mayores se atribuye explícitamente al teorema de Siegel-Walfisz, una limitación estándar en este dominio, y no a la nueva maquinaria.

El autor enfatiza que la restricción a exponentes racionales es esencial para la construcción algebraica (ya que depende de la raíz $b$-ésima de una potencia entera), y que la restricción $|z| \le 1$ asegura que los coeficientes cortos permanezcan acotados por 1. El artículo no pretende extender estos resultados a exponentes irracionales o fuera de $[-1, 1]$ sin una modificación significativa.