On density of the zeros of Dedekind zeta-functions

Aquí presento un resumen técnico detallado del artículo "On density of the zeros of Dedekind zeta-functions" (Sobre la densidad de los ceros de las funciones zeta de Dedekind) de Wei Zhang, publicado en arXiv:2203.08384v3.

1. Planteamiento del Problema

El artículo aborda el problema de la densidad de ceros de la función zeta de Dedekind, $\zeta_K(s)$, asociada a un cuerpo numérico $K$ de grado $k = [K : \mathbb{Q}]$.

• Objetivo: Estimar el número de ceros no triviales $\rho = \beta + i\gamma$ de $\zeta_K(s)$ que se encuentran en la región crítica $1/2 \le \sigma \le 1$ y dentro de una banda de altura $T$.
• Definición: Sea $N_\zeta(\sigma, K, T)$ el número de ceros con $|\gamma| \le T$ y $\beta \ge \sigma$, contados con su multiplicidad.
• Contexto Histórico:
  • Para $k=2$ (cuerpos cuadráticos), Heath-Brown (1977) estableció cotas donde el exponente de $T$ dependía de $\sigma$ de manera compleja, con un valor máximo de $A(\sigma) = 2 + \varepsilon$ para ciertos rangos.
  • Para $k \ge 3$, Heath-Brown demostró que $N_\zeta(\sigma, K, T) \ll T^{k(1-\sigma)+\varepsilon}$.
  • Resultados posteriores (Ivić, Bourgain, Chen-Debruyne-Vindas) mejoraron estas cotas para el caso de la función zeta de Riemann ($k=1$) y ciertos rangos de $\sigma$, pero la extensión a cuerpos numéricos generales ($k \ge 3$) con rangos de $\sigma$ cercanos a 1 permanecía como un desafío, especialmente para grados $3 \le k \le 6$.

El problema central es mejorar el exponente en la cota superior de $N_\zeta(\sigma, K, T)$, específicamente para $\sigma$ cercano a 1, superando los resultados clásicos de Heath-Brown.

2. Metodología

El autor emplea una combinación de técnicas analíticas avanzadas de teoría de números, centradas en la técnica de detección de ceros y el uso de pares de exponentes.

A. Técnica de Detección de Ceros (Zero-Detecting)

Se utiliza el método estándar para contar ceros, que implica:

1. Aproximación Inversa: Se considera el producto $\zeta_K(s) M_X(s, K)$, donde $M_X(s, K)$ es una suma parcial de la función de Möbius de Dedekind $\mu_K(n)$.
2. Separación de Casos: Un cero no trivial $\rho$ satisface una de dos condiciones:
   • Clase 1: Una suma exponencial sobre ideales es grande (relacionada con la función $D_X(n, K)$).
   • Clase 2: Una integral de la función zeta en una línea vertical es grande.
3. Acotación de Clases: El número total de ceros se acota sumando las contribuciones de ambas clases ($R_1$ y $R_2$).

B. Uso de Resultados de Momentos (Lemma 2.1)

Un componente crucial es el uso de una estimación de momentos de orden 2 (o subconvexidad) para $\zeta_K(1/2 + it)$.

• El autor cita el resultado de [5] que establece: $\zeta_K(1/2 + it) \ll t^{k/6 + \varepsilon}$ para cualquier cuerpo numérico $K$ (abeliano o no).
• Este resultado es superior a la cota clásica $t^{k/4}$ y es fundamental para obtener los exponentes mejorados en el teorema principal.

C. Subdivisión de Huxley y Pares de Exponentes

Para acotar el número de ceros de la Clase 1 ($R_1$):

1. Subdivisión: El intervalo $[-T, T]$ se divide en subintervalos de longitud $T_0$.
2. Pares de Exponentes: Se utiliza un par de exponentes $(\kappa, \lambda)$ (concepto de la teoría de sumas exponenciales, ej. $(1/6, 2/3)$ o $(1/14, 11/14)$) para optimizar la cota de las sumas exponenciales.
3. Optimización: Se elige un parámetro $Y$ (potencia de $T$) que equilibra las contribuciones de los términos de error y la densidad de ceros.

D. Desigualdad de Halász-Montgomery

En la prueba del lema técnico (Lema 2.3), se utiliza la desigualdad de Halász-Montgomery para acotar sumas de productos internos, lo que permite controlar la interacción entre los ceros y las sumas exponenciales, reduciendo el problema a estimar momentos de la función $E_X(n)$.

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos teoremas principales que mejoran las cotas conocidas para la densidad de ceros.

Teorema 1.1: Caso $k = 2$ (Cuerpos Cuadráticos)

Para $k=2$, se obtiene una cota más aguda cuando $\sigma$ está cerca de 1.
$$N_\zeta(\sigma, K, T) \ll T^{\frac{4}{6\sigma - 3}(1-\sigma) + \varepsilon}$$

• Rango de validez: $\frac{1 + \lambda - 6\kappa}{2 - 8\kappa} \le \sigma < 1$, donde $(\kappa, \lambda)$ es un par de exponentes válido.
• Ejemplo específico: Si se elige $(\kappa, \lambda) = (1/14, 11/14)$, la cota es válida para $19/20 < \sigma \le 1$.
• Mejora: Esto supera el resultado de Heath-Brown para este rango específico de $\sigma$.

Teorema 1.2: Caso $k \ge 3$ (Cuerpos Numéricos Generales)

Este es el resultado principal para grados superiores.
$$N_\zeta(\sigma, K, T) \ll T^{\frac{2k}{6\sigma - 3}(1-\sigma) + \varepsilon}$$

• Rango de validez: $\frac{2k + 3}{2k + 6} \le \sigma < 1$.
• Comparación con resultados previos:
  • Para $3 \le k \le 6$: Mejora el resultado de Heath-Brown ($T^{k(1-\sigma)}$) en el rango $5/6 \le \sigma \le 1$.
  • Para $k \ge 7$: Mejora el resultado de [11] (basado en subconvexidad) que daba un exponente de $(6+2k)/3$. Dado que $\frac{2k}{6\sigma-3} < k$ para $\sigma$ cercano a 1, la estimación es más fuerte.
• Condición de validez: La mejora es significativa cuando el exponente $\frac{2k(1-\sigma)}{6\sigma-3}$ es menor que 1, lo cual ocurre en el rango especificado.

4. Significancia e Impacto

1. Unificación y Generalización: El trabajo logra unificar y mejorar las estimaciones de densidad de ceros para cuerpos numéricos de cualquier grado $k \ge 2$, utilizando una perspectiva diferente basada en resultados recientes de subconvexidad ([5]) en lugar de depender únicamente de estimaciones de momentos de orden 6 (que no existen para $k=2$).
2. Optimización del Exponente: La forma del exponente $\frac{2k}{6\sigma-3}(1-\sigma)$ representa una mejora sustancial sobre la forma lineal $k(1-\sigma)$ cuando $\sigma \to 1$. Esto es crucial para aplicaciones donde se requiere una distribución de ceros muy precisa cerca de la línea $\sigma=1$.
3. Aplicabilidad: Los resultados tienen implicaciones para problemas de distribución de primos en progresiones aritméticas en cuerpos numéricos, el problema de Landau-Siegel, y la comprensión de la estructura espectral de las funciones L de Dedekind.
4. Técnica Innovadora: La demostración demuestra cómo combinar la técnica de detección de ceros clásica con estimaciones de momentos de orden 2 (subconvexidad) y pares de exponentes para superar barreras establecidas hace décadas por Heath-Brown.

En resumen, el artículo de Wei Zhang proporciona una mejora cuantitativa significativa en la teoría de la densidad de ceros para funciones zeta de Dedekind, cerrando la brecha entre los resultados conocidos para $k=1$ (Riemann) y $k \ge 2$, y ofreciendo las cotas más fuertes conocidas para $\sigma$ cercano a 1 en cuerpos numéricos de grado medio y alto.