Sharp Bounds for Moments of the Dedekind Zeta Function

Resumo Técnico: Limites Estritos para Momentos da Função Zeta de Dedekind

Enunciado do Problema
O problema central abordado neste artigo é o estabelecimento de limites superiores estritos para os momentos da função zeta de Dedekind, $\zeta_K(s)$, associada a uma extensão de Galois finita $K/\mathbb{Q}$, na linha crítica $\Re(s) = 1/2$. Especificamente, os autores investigam os momentos deslocados:
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
sob a suposição da Hipótese de Riemann Generalizada (GRH).

Antes deste trabalho, o comportamento assintótico desses momentos era conjecturado como sendo da ordem de $T(\log T)^{[K:\mathbb{Q}]k^2}$ para o caso não deslocado ($a_j=1, b_j=0$). Enquanto Soundararajan estabeleceu limites quase estritos para a função zeta de Riemann ($K=\mathbb{Q}$) e Harper refinou para a ordem conjecturada, a extensão para funções zeta de Dedekind enfrentou limitações. Milinovich e Turnage-Butterbaugh provaram um limite com um $\epsilon$ extra no expoente do logaritmo para extensões de Galois gerais. Hagen recentemente removeu esse $\epsilon$, mas apenas para extensões de Galois solúveis finitas. A lacuna permanecia para extensões de Galois finitas arbitrárias, onde o limite estrito era desconhecido.

Metodologia
Os autores adaptam e refinam o método introduzido por Harper para a função zeta de Riemann, que se baseia em aproximar o logaritmo da função zeta por polinômios de Dirichlet curtos e em utilizar uma decomposição "longo-curto" do intervalo de integração. A principal inovação técnica neste artigo reside na adaptação desse arcabouço à estrutura aritmética das funções zeta de Dedekind através do Teorema da Densidade de Chebotarev.

Etapas metodológicas principais incluem:

1. Aproximação: Usando a GRH, os autores aproximam $\log |\zeta_K(1/2 + it)|$ por uma soma sobre ideais primos, focando especificamente na contribuição dos primos racionais que se decompõem completamente em $K$.
2. Decomposição: O intervalo $[T, 2T]$ é particionado em um conjunto "bom" $\mathcal{T}$, onde os polinômios de Dirichlet são pequenos, e uma união de conjuntos "maus" $S(j)$, onde eles excedem certos limiares.
3. Aplicação de Chebotarev: Um passo crucial envolve avaliar somas da forma $\sum_{p \le x, p \text{ se decompõe}} \frac{\cos(\alpha \log p)}{p}$. Ao aplicar o Teorema da Densidade de Chebotarev à classe de conjugação identidade, os autores mostram que a densidade de primos que se decompõem completamente em $K$ é $1/[K:\mathbb{Q}]$ da densidade total dos primos.
4. Melhoria do Expoente: A aplicação direta do método de Harper a $\zeta_K(s)$ sem explorar a estrutura de Galois produziria um limite com o expoente $[K:\mathbb{Q}]^2 k^2$. Ao utilizar o comportamento de decomposição dos primos, os autores reduzem a contribuição efetiva das somas de primos, melhorando o expoente de $[K:\mathbb{Q}]^2 k^2$ para o otimizado conjecturalmente $[K:\mathbb{Q}] k^2$.

Principais Contribuições e Resultados

• Teorema 1.1 (Resultado Principal): Assumindo a GRH, os autores estabelecem um limite superior para os momentos deslocados de $\zeta_K(s)$ para qualquer extensão de Galois finita $K/\mathbb{Q}$. O limite é:
  $$\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}$$
  onde $g(x)$ é uma função de correlação definida por partes baseada na separação $|b_i - b_j|$. Este resultado aplica-se a extensões de Galois finitas arbitrárias, não apenas às solúveis.

• Corolário 1.2: Ao definir $a_j=1$ e $b_j=0$, os autores recuperam o limite superior estrito para os momentos não deslocados:
  $$\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}$$
  Isso estende o resultado de Hagen de extensões solúveis para todas as extensões de Galois finitas.

• Corolário 1.3 (Grandes Desvios): O artigo deriva um limite superior para a medida do conjunto onde $\log |\zeta_K(1/2 + it)|$ excede um limiar $V \asymp \sqrt{\log \log T}$. Assumindo a GRH, a medida decai como $e^{-V^2/2}$, coincidindo com a heurística gaussiana prevista pela teoria das matrizes aleatórias.

• Corolário 1.4 (Intervalos Curtos): Os autores aplicam seus limites de momentos para estudar a variância dos coeficientes $r_K(n)$ (o número de ideais de norma $n$) em intervalos curtos. Eles fornecem uma estimativa condicional para a variância do termo de erro na estimativa de valor médio de $r_K(n)$, melhorando os limites anteriores para extensões de Galois.

Significância
O artigo afirma preencher uma lacuna significativa na teoria analítica das funções $L$ ao estabelecer o limite superior otimizado conjecturalmente para os momentos das funções zeta de Dedekind para a ampla classe das extensões de Galois finitas. A significância é dupla:

1. Generalização: Ele remove a restrição de solubilidade exigida pelo trabalho recente de Hagen, demonstrando que o limite estrito vale para qualquer extensão de Galois finita.
2. Refinamento Metodológico: Os autores afirmam explicitamente que a chave para sua melhoria sobre uma aplicação ingênua do método de Harper é o uso do Teorema da Densidade de Chebotarev para contabilizar o comportamento de decomposição dos primos. Isso permite reduzir o expoente do fator logarítmico de $[K:\mathbb{Q}]^2 k^2$ para $[K:\mathbb{Q}] k^2$.

Os autores observam que, embora seu método dependa fortemente da estrutura de Galois, estender esses limites estritos para campos numéricos arbitrários (não-Galois) permanece um problema aberto que requer novas ideias.