Negative discrete second moments of Dirichlet $L$-functions

Resumo Técnico: Momentos Discretos Segundos Negativos de Funções L de Dirichlet

Enunciado do Problema
Este artigo investiga limites inferiores para dois momentos discretos segundos específicos de funções $L$ de Dirichlet $L(s, \chi)$, tomados sobre seus zeros não triviais $\rho = \frac{1}{2} + i\gamma$. O estudo foca na uniformidade desses limites em relação ao condutor $q$, particularmente em regimes onde $q$ cresce com a altura $T$ dos zeros. Os dois momentos analisados são:

1. O Momento Recíproco: $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$.
2. O Momento de Razão: $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$.

Essas quantidades generalizam conjecturas e teoremas estabelecidos anteriormente para a função zeta de Riemann ($q=1$) por Gonek, Milinovich, Ng e Sinha. O desafio central abordado é determinar como o condutor $q$ afeta a magnitude dessas somas, identificando especificamente o "déficit de condutor" que surge quando $q$ é grande em relação a $T$.

Metodologia
O autor emprega a técnica de mollificação, adaptando a estratégia de Milinovich e Ng (que por sua vez baseia-se no trabalho de Rudnick e Soundararajan). A abordagem central envolve:

• Mollificadores: Dois polinômios de Dirichlet distintos são construídos para aproximar os recíprocos dos termos nos momentos.
  • Para o momento recíproco, utiliza-se um polinômio com torção de Möbius $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$, correspondente à série de Dirichlet para $1/L(s, \chi)$.
  • Para o momento de razão, utiliza-se um polinômio com torção de Liouville $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$, correspondente à série para $L(2s, \chi^2)/L(s, \chi)$.
  • Aqui, $\xi = T^\vartheta$ é o comprimento do mollificador, e $P(x)$ é um polinômio com $P(0)=0, P(1)=1$.
• Desigualdade de Cauchy-Schwarz: Os momentos são limitados inferiormente aplicando-se a desigualdade de Cauchy-Schwarz às somas da forma $\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$ (e o análogo de razão). Isso reduz o problema à estimativa do primeiro momento ($M_1$) e do segundo momento ($M_2$) das funções mollificadas sobre os zeros.
• Integração de Contorno: As somas $M_1$ e $M_2$ são avaliadas usando o teorema do resíduo sobre contornos retangulares. Os integrais ao longo das arestas verticais produzem os termos principais, enquanto as arestas horizontais são limitadas usando estimativas de tamanho para funções $L$.
• Uniformidade: Um componente técnico crítico é manter a uniformidade no condutor $q$. Isso requer o tratamento cuidadoso dos fatores aritméticos (envolvendo $\phi(q)$ e $A_q$) e dos termos de erro nos teoremas de valor médio para polinômios de Dirichlet. A Hipótese de Riemann Generalizada (GRH) e a simplicidade dos zeros são assumidas em todo o trabalho.

Resultados Principais
O artigo estabelece limites inferiores para ambos os momentos que dependem da razão $\beta = \frac{\log T}{\log qT}$.

• Teorema 5 (Momento Recíproco): Assumindo GRH e zeros simples, para $3 \le q \le T^A$, a soma é limitada inferiormente por:
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  onde $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$.

• Teorema 6 (Momento de Razão): Assumindo GRH para $L(s, \chi)$ (e zeros simples), para $3 \le q \le T^{1-\delta}$, a soma é limitada inferiormente por:
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  A restrição $q \le T^{1-\delta}$ surge porque a prova não assume GRH para o caractere $\chi^2$ que aparece no numerador; assumir GRH para $\chi^2$ estenderia o alcance para $q \le T^A$.

• Comportamento Assintótico:

  • Condutores Pequenos: Se $\log q = o(\log T)$ (por exemplo, $q$ fixo), então $\beta \to 1$. Os limites recuperam metade do tamanho assintótico conjeturado (correspondendo aos resultados de $q=1$ de Milinovich-Ng e Sinha).
  • Condutores de Potência: Se $q = T^A$, então $\beta = \frac{1}{1+A}$, e a proporção capturada torna-se $\frac{1}{2+A}$. Por exemplo, em $A=1$, o limite é $1/3$ do tamanho conjeturado.

• Momentos Superiores: Ao aplicar a desigualdade de Hölder, o autor deriva limites inferiores para momentos superiores ($2k$) nos Corolários 11 e 12. Esses limites são da ordem de $T/(\log qT)^{k-1}$, sendo significativamente menores que os tamanhos conjeturados para $k>1$, mas o artigo enfatiza sua uniformidade em $q$ em vez de sua precisão.

Conjecturas e Significância
O artigo postula que os limites inferiores derivados capturam exatamente a proporção $\frac{\beta}{1+\beta}$ dos valores assintóticos reais.

• Conjecturas 7 e 8: O autor conjectura que as assíntotas reais são $\frac{A_q}{2\pi}T$ e $\frac{\phi(q)}{q}\frac{T}{2\pi}$ respectivamente, uniformemente para $q \le T^A$.
• Origem do Déficit: O artigo argumenta que o fator $\frac{\beta}{1+\beta}$ não é um acidente numérico, mas uma característica estrutural da construção diagonal de Cauchy-Schwarz. O teorema do valor médio para polinômios de Dirichlet limita o comprimento do mollificador $\xi$ a $T^{1-\varepsilon}$, independente de $q$. No entanto, a densidade de zeros cresce com $\log qT$. O "déficit" é a razão do valor da função $u/(1+u)$ no topo $u=\beta$ em relação ao seu limite quando $u \to \infty$.
• Médias de Família: O autor sugere que a média sobre a família de caracteres primitivos (Conjecturas 9 e 10) pode permitir mollificadores mais longos (até $(qT)^{1-\varepsilon}$), potencialmente melhorando a proporção capturada de $\frac{1}{2+A}$ para $\frac{1}{2}$ no regime de condutor de potência. Contudo, o artigo não prova isso, observando que seria necessário novos teoremas de fórmulas explícitas uniformes.

Conclusão
O artigo fornece os primeiros limites inferiores uniformes para momentos discretos negativos de funções $L$ de Dirichlet através de uma ampla gama de condutores. Ele generaliza com sucesso os resultados conhecidos para $q=1$ e quantifica a degradação desses limites conforme o condutor cresce. O trabalho identifica uma limitação estrutural específica no método de mollificação atual em relação ao aspecto do condutor e formula conjecturas precisas para o comportamento assintótico real, convidando novas pesquisas em técnicas de médias de família para superar o atual "déficit de condutor".