On density of the zeros of Dedekind zeta-functions

1. O Problema Investigado

O artigo foca na estimativa da densidade de zeros da função zeta de Dedekind, denotada por $\zeta_K(s)$, associada a um corpo de números $K$ de grau $k = [K : \mathbb{Q}]$.

• Definição do Objeto: Seja $N_\zeta(\sigma, K, T)$ o número de zeros não triviais $\rho = \beta + i\gamma$ de $\zeta_K(s)$ tais que $|\gamma| \le T$ e $\beta \ge \sigma$, contados com multiplicidade.
• Objetivo: Determinar limites superiores (upper bounds) para $N_\zeta(\sigma, K, T)$ na faixa crítica $0 \le \sigma \le 1$, especialmente para $\sigma$ próximo de 1.
• Contexto Histórico: Resultados anteriores, como os de Heath-Brown (1977) e Sokolovsky (1968), estabeleceram limites da forma $N_\zeta(\sigma, K, T) \ll T^{A(\sigma)(1-\sigma) + \varepsilon}$. Para $k \ge 3$, Heath-Brown provou que $A(\sigma) = k$, e resultados mais recentes (usando subconvexidade) melhoraram isso para $A(\sigma) = (6+2k)/3$ em certas condições. O objetivo deste trabalho é refinar esses expoentes para $\sigma$ em faixas específicas, especialmente para $3 \le k \le 6$ e $k \ge 7$.

2. Metodologia

O autor emprega uma combinação de técnicas clássicas de teoria analítica dos números e resultados recentes sobre momentos de funções L. A estrutura da prova segue os passos abaixo:

A. Técnica de Detecção de Zeros (Zero-Detecting)

O método utiliza o polinômio de aproximação $M_X(s, K)$, definido como a soma parcial da inversa da função zeta:
$$M_X(s, K) = \sum_{n \le X} \frac{\mu_K(n)}{n^s}$$
onde $\mu_K(n)$ é a função de Möbius generalizada para o corpo $K$.
Ao considerar o produto $\zeta_K(s)M_X(s, K)$, obtém-se uma série de Dirichlet cujos coeficientes são nulos para $2 \le n \le X$. Isso permite que zeros não triviais sejam detectados através de grandes desvios em somas parciais ou integrais de momentos.

B. Divisão do Problema (Classificação de Zeros)

Os zeros são divididos em duas classes baseadas em quais condições de grandeza satisfazem:

1. Classe 1 ($R_1$): Zeros onde a soma parcial dos coeficientes de $M_X(s, K)$ ponderada por $n^{-\rho}$ é grande.
2. Classe 2 ($R_2$): Zeros onde a integral do módulo da função zeta em uma vizinhança vertical é grande.

O autor demonstra que, para um parâmetro $Y$ escolhido adequadamente ($Y = T^{k/(6\sigma-3) - \varepsilon}$), a contribuição da Classe 2 é trivialmente pequena e pode ser descartada (Lema 2.2). O foco recai, portanto, sobre o limite de $R_1$.

C. Subdivisão de Huxley e Pares de Expoentes

Para limitar $R_1$, o intervalo $[-T, T]$ é subdividido em subintervalos de comprimento $T_0$ (método de subdivisão de Huxley).

• Utiliza-se o conceito de Pares de Expoentes $(\kappa, \lambda)$, que são fundamentais na teoria de somas exponenciais e estimativas de momentos de funções zeta.
• Aplica-se a Desigualdade de Halász-Montgomery (Lema 3.1) para limitar somas de produtos internos envolvendo os zeros e coeficientes da função.
• O autor utiliza um resultado crucial de Zhang (referência [5]): uma estimativa de momento de segunda ordem (ou subconvexidade) para $\zeta_K(1/2 + it)$ que afirma $\zeta_K(1/2 + it) \ll t^{k/6 + \varepsilon}$. Este é um ponto de virada, pois resultados anteriores para corpos abelianos davam $k/4$, e para gerais, $k/4$ ou piores. A melhoria para $k/6$ é o motor das novas estimativas.

D. Otimização dos Parâmetros

O autor otimiza a escolha de $T_0$ e do par de expoentes $(\kappa, \lambda)$ para minimizar o expoente final de $T$.

• Para $k=2$, escolhe-se um par específico $(\kappa, \lambda) = (1/14, 11/14)$.
• Para $k \ge 3$, utiliza-se $(\kappa, \lambda) = (1/2, 1/2)$ e ajusta-se a faixa de $\sigma$.

3. Principais Contribuições e Resultados

O artigo apresenta dois teoremas principais que melhoram os limites conhecidos para a densidade de zeros:

Teorema 1.1 (Caso $k=2$)

Para corpos de números de grau 2, o autor estabelece:
$$N_\zeta(\sigma, K, T) \ll T^{\frac{4}{6\sigma-3}(1-\sigma) + \varepsilon}$$
válido para $\sigma$ satisfazendo condições relacionadas ao par de expoentes escolhido.

• Exemplo: Com $(\kappa, \lambda) = (1/14, 11/14)$, o resultado é válido para $19/20 < \sigma \le 1$.
• Significado: Isso fornece um expoente $A(\sigma)$ mais agudo (menor) do que o resultado clássico de Heath-Brown para $\sigma$ muito próximo de 1.

Teorema 1.2 (Caso $k \ge 3$)

Para corpos de grau $k \ge 3$, o resultado principal é:
$$N_\zeta(\sigma, K, T) \ll T^{\frac{2k}{6\sigma-3}(1-\sigma) + \varepsilon}$$
válido para:
$$\frac{2k+3}{2k+6} \le \sigma < 1$$

Comparação com Resultados Anteriores:

• Para $3 \le k \le 6$: O resultado melhora o limite uniforme de Heath-Brown ($T^{k(1-\sigma)}$) na faixa $5/6 \le \sigma \le 1$.
• Para $k \ge 7$: O resultado melhora a estimativa baseada em subconvexidade de [11] ($T^{((6+2k)/3)(1-\sigma)}$) para a faixa de $\sigma$ mencionada acima.
• Mecanismo de Melhoria: A melhoria deriva diretamente do uso da estimativa de momento $\zeta_K(1/2+it) \ll t^{k/6+\varepsilon}$ (do trabalho [5]), que é mais forte do que as estimativas de momento de ordem 6 tradicionais que não se aplicam bem a todos os corpos de grau $k=2$ ou que levam a expoentes piores para $k \ge 3$.

4. Significado e Impacto

1. Refinamento da Hipótese de Riemann Generalizada: Embora não prove a Hipótese de Riemann, estimativas de densidade de zeros são cruciais para entender a distribuição dos zeros e para aplicações em teoria de números (como a distribuição de números primos em progressões aritméticas em corpos de números).
2. Superação de Barreiras Técnicas: O trabalho demonstra que, ao combinar técnicas de detecção de zeros com estimativas de momentos de ordem superior mais recentes (especificamente a estimativa $k/6$), é possível quebrar barreiras que persistiam desde os trabalhos de Heath-Brown (1977) e Ivić (1990s).
3. Unificação de Casos: O tratamento unificado para $k \ge 3$ e o caso especial $k=2$ mostram a versatilidade da nova abordagem, oferecendo limites mais fortes especificamente na região onde $\sigma$ é próximo de 1, que é a região de maior interesse para muitas aplicações analíticas.

Em resumo, Wei Zhang fornece limites superiores mais estreitos para a densidade de zeros da função zeta de Dedekind, explorando avanços recentes em estimativas de momentos para superar resultados clássicos de décadas passadas.