Extreme central values of quadratic Dirichlet $L$-functions with prime conductors

Resumo Técnico: Valores Centrais Extremos de Funções L de Dirichlet Quadráticas com Condutores Primos

Enunciado do Problema
O artigo investiga a magnitude dos valores centrais $L(1/2, \chi_p)$ para funções L de Dirichlet quadráticas, onde o condutor $p$ é um número primo que satisfaz $p \equiv 1 \pmod 8$. Embora a distribuição desses valores seja um tópico bem estudado (com fórmulas assintóticas estabelecidas para o primeiro, segundo e terceiro momentos por Jutila, Goldfeld–Hoffstein, Young, Soundararajan, entre outros), a questão específica de quão grandes esses valores podem se tornar (valores extremos) permanece uma área de investigação crítica. Os autores visam estabelecer um limite inferior rigoroso para o valor máximo de $L(1/2, \chi_p)$ dentro de um intervalo curto de primos.

Metodologia
A prova baseia-se no método de ressonância de Soundararajan, uma técnica projetada para detectar valores grandes de funções L ao construir uma função "ressonador" que amplifica os valores centrais. A estratégia central envolve a análise do primeiro momento torcido:
$$M_2(R, X) = \sum_{p \equiv 1 (8)} (\log p) L(1/2, \chi_p) R(p)^2 \Phi(p/X)$$
onde $R(p)$ é um polinômio de Dirichlet (o ressonador) e $\Phi$ é uma função de peso suave.

Os autores generalizam a abordagem de Baluyot e Pratt [1]. Suas inovações metodológicas específicas incluem:

1. Generalização de Torções: Eles estendem a análise do primeiro momento torcido para casos envolvendo séries de Dirichlet curtas com coeficientes grandes. Diferente de aplicações anteriores onde os coeficientes eram limitados ou satisfaziam condições estritas de não-nulidade semelhantes à conjectura de Ramanujan generalizada, este artigo permite coeficientes que crescem rapidamente.
2. Análise Diagonal vs. Off-Diagonal: A prova depende de mostrar que os termos "diagonais" (onde o produto dos índices do ressonador é um quadrado) dominam os termos "off-diagonais" (onde o produto não é um quadrado) dentro de intervalos de parâmetros específicos.
   • Termos Diagonais: São estimados usando o teorema do número primo em progressões aritméticas e propriedades da função $V(y)$ derivada da equação funcional aproximada.
   • Termos Off-Diagonal: São limitados através da divisão da faixa de somatório em três regimes baseados no tamanho do produto dos índices do ressonador ($m_0r$):
     • Regime I (Pequeno): Tratado usando o Teorema de Page para controlar as contribuições de potenciais zeros de Siegel (zeros reais excepcionais de funções L).
     • Regime II (Médio): Controlado usando estimativas de densidade de zeros (especificamente a estimativa de Montgomery) para limitar o número de zeros na faixa crítica.
     • Regime III (Grande): Limitado usando a identidade de Vaughan para decompor a função de von Mangoldt e gerenciar o somatório sobre índices grandes.

Principais Contribuições e Resultados
O resultado principal é o Teoreto 1.1, que estabelece um limite inferior para o valor central máximo. Para $X$ suficientemente grande, os autores provam:
$$\max_{\substack{X < p \le 2X \\ p \equiv 1 (8)}} L(1/2, \chi_p) \ge \exp\left( \left(\sqrt{\frac{8}{45}} + o(1)\right) \frac{\sqrt{\log X}}{\sqrt{\log \log X}} \right)$$
onde a constante no termo $o(1)$ é efetiva.

O artigo alcança isso ao:

• Demonstrar que a estratégia de Baluyot–Pratt pode ser estendida com sucesso para uma classe mais ampla de torções, especificamente aquelas com grandes coeficientes de Dirichlet.
• Mostrar que, quando os termos diagonais exibem crescimento rápido, eles podem dominar as contribuições off-diagonais, uma condição que permite a derivação do limite inferior sem exigir as suposições mais fortes frequentemente necessárias para fórmulas assintóticas.
• Fornecer uma estimativa detalhada dos termos de erro provenientes dos três regimes, garantindo que a contribuição off-diagonal seja negligenciável em relação à contribuição diagonal para o parâmetro escolhido $\theta = 2/45 - 2\varepsilon$.

Significância e Alegações
Os autores posicionam este trabalho como uma extensão dos métodos de ressonância existentes para uma classe mais desafiadora de coeficientes.

• Comparação com Trabalhos Anteriores: O artigo observa que, enquanto o método de Soundarajan sob a Hipótese de Riemann Generalizada (GRH) tipicamente produz limites da forma $\exp(c \sqrt{\log X / \log \log X})$ com $c=1$, o resultado incondicional aqui produz uma constante $c = \sqrt{8/45} \approx 0.42$. Os autores reconhecem que obter a constante ótima conjecturada ($c=1$) ou limites mais fortes envolvendo termos triplamente logarítmicos (como visto no trabalho recente de Darbar e Maiti [9, 10] para $\zeta(s)$) permanece um problema aberto e difícil.
• Escopo Metodológico: O artigo afirma explicitamente que fornece um limite inferior em vez de uma fórmula assintótica. Como observado na Observação 1.2, obter um resultado de mínimo (ou uma assíntota precisa) para o primeiro momento torcido seria significativamente mais difícil.
• Contexto: O trabalho se insere no contexto mais amplo da compreensão da distribuição de valores centrais de funções L, complementando resultados sobre momentos (conjecturas de Keating–Snait) e valores extremos para outras famílias (zeta de Riemann, funções L automorfas).

O artigo conclui situando estes resultados dentro do campo ativo de funções L automorfas em famílias de torções quadráticas, referenciando desenvolvimentos recentes em momentos e valores extremos para curvas elípticas e formas modulares, mas não propõe novas aplicações ou direções experimentais futuras além dos limites matemáticos estabelecidos.