Sharp Bounds for Moments of the Dedekind Zeta Function

Resumen Técnico: Límites Ajustados para los Momentos de la Función Zeta de Dedekind

Planteamiento del Problema
El problema central abordado en este artículo es el establecimiento de límites superiores ajustados para los momentos de la función zeta de Dedekind, $\zeta_K(s)$, asociada con una extensión de Galois finita $K/\mathbb{Q}$, en la línea crítica $\Re(s) = 1/2$. Específicamente, los autores investigan los momentos desplazados:
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
bajo la suposición de la Hipótesis del Riemann Generalizada (GRH).

Antes de este trabajo, el comportamiento asintótico de estos momentos se conjeturaba como del orden de $T(\log T)^{[K:\mathbb{Q}]k^2}$ para el caso no desplazado ($a_j=1, b_j=0$). Mientras que Soundararajan estableció límites casi ajustados para la función zeta de Riemann ($K=\mathbb{Q}$) y Harper refinó esto al orden conjeturado, la extensión a las funciones zeta de Dedekind enfrentó limitaciones. Milinovich y Turnage-Butterbaugh probaron un límite con un $\epsilon$ adicional en el exponente del logaritmo para extensiones de Galois generales. Hagen eliminó recientemente este $\epsilon$, pero solo para extensiones de Galois finitas solubles. La brecha persistía para extensiones de Galois finitas arbitrarias, donde el límite ajustado era desconocido.

Metodología
Los autores adaptan y refinan el método introducido por Harper para la función zeta de Riemann, el cual se basa en aproximar el logaritmo de la función zeta mediante polinomios de Dirichlet cortos y en utilizar una descomposición "largo-corto" del intervalo de integración. La innovación técnica central en este artículo radica en la adaptación de este marco a la estructura aritmética de las funciones zeta de Dedekind a través del Teorema de Densidad de Chebotarev.

Pasos metodológicos clave incluyen:

1. Aproximación: Utilizando GRH, los autores aproximan $\log |\zeta_K(1/2 + it)|$ mediante una suma sobre ideales primos, enfocándose específicamente en la contribución de los primos racionales que se escinden completamente en $K$.
2. Descomposición: El intervalo $[T, 2T]$ se particiona en un conjunto "bueno" $\mathcal{T}$ donde los polinomios de Dirichlet son pequeños, y una unión de conjuntos "malos" $S(j)$ donde exceden ciertos umbrales.
3. Aplicación de Chebotarev: Un paso crucial implica evaluar sumas de la forma \sum_{p \le x, p \text{ se escinde}} \frac{\cos(\alpha \log p)}. Al aplicar el Teorema de Densidad de Chebotarev a la clase de conjugación identidad, los autores demuestran que la densidad de los primos que se escinden completamente en $K$ es $1/[K:\mathbb{Q}]$ de la densidad total de los primos.
4. Mejora del Exponente: La aplicación directa del método de Harper a $\zeta_K(s)$ sin explotar la estructura de Galois produciría un límite con el exponente $[K:\mathbb{Q}]^2 k^2$. Al utilizar el comportamiento de escisión de los primos, los autores reducen la contribución efectiva de las sumas de primos, mejorando el exponente de $[K:\mathbb{Q}]^2 k^2$ a el óptimo conjetural de $[K:\mathbb{Q}] k^2$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Principal): Asumiendo GRH, los autores establecen un límite superior para los momentos desplazados de $\zeta_K(s)$ para cualquier extensión de Galois finita $K/\mathbb{Q}$. El límite es:
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  donde $g(x)$ es una función de correlación definida por partes basada en la separación $|b_i - b_j|$. Este resultado es válido para extensiones de Galois finitas arbitrarias, no solo para las solubles.

• Corolario 1.2: Al establecer $a_j=1$ y $b_j=0$, los autores recuperan el límite superior ajustado para los momentos no desplazados:
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  Esto extiende el resultado de Hagen de extensiones solubles a todas las extensiones de Galois finitas.

• Corolario 1.3 (Desviaciones Grandes): El artículo deriva un límite superior para la medida del conjunto donde $\log |\zeta_K(1/2 + it)|$ excede un umbral $V \asymp \sqrt{\log \log T}$. Asumiendo GRH, la medida decae como $e^{-V^2/2}$, coincidiendo con la heurística gaussiana predicha por la teoría de matrices aleatorias.

• Corolario 1.4 (Intervalos Cortos): Los autores aplican sus límites de momentos para estudiar la varianza de los coeficientes $r_K(n)$ (el número de ideales de norma $n$) en intervalos cortos. Proporcionan una estimación condicional para la varianza del término de error en la estimación del valor medio de $r_K(n)$, mejorando los límites previos para extensiones de Galois.

Significado
El artículo afirma llenar una brecha significativa en la teoría analítica de las funciones $L$ al establecer el límite superior con el orden conjeturado para los momentos de las funciones zeta de Dedekind para la amplia clase de las extensiones de Galois finitas. El significado es doble:

1. Generalización: Elimina la restricción de solubilidad requerida por el trabajo reciente de Hagen, demostrando que el límite ajustado es válido para cualquier extensión de Galois finita.
2. Refinamiento Metodológico: Los autores establecen explícitamente que la clave de su mejora sobre una aplicación ingenua del método de Harper es el uso del Teorema de Densidad de Chebotarev para dar cuenta del comportamiento de escisión de los primos. Esto permite reducir el exponente del factor logarítmico de $[K:\mathbb{Q}]^2 k^2$ a $[K:\mathbb{Q}] k^2$.

Los autores señalan que, si bien su método depende fuertemente de la estructura de Galois, extender estos límites ajustados a campos numéricos arbitrarios (no Galois) sigue siendo un problema abierto que requiere nuevas ideas.