Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

Resumo Técnico: Limites Inferiores para Baixos Momentos de Somas de Caracteres, I

Enunciado do Problema
Este artigo aborda o problema de estabelecer limites inferiores agudos para os baixos momentos ($0 \le q \le 1$) de somas de caracteres de Dirichlet e somas de caracteres contínuas (somas zeta):
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
onde $r$ é um primo grande e $1 \le x \le r^{0.499}$. O autor também considera somas ponderadas $\sum_{n \le x} h(n)\chi(n)$ com pesos multiplicativos $h(n)$ (onde $|h(p)|=1$ e $|h(p^k)| \le 1$) e somas contínuas $\sum_{n \le x} n^{it}$.

O trabalho anterior do autor [10] estabeleceu limites superiores para esses momentos que exibem "melhor que cancelamento de raiz quadrada", especificamente da ordem:
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
onde $L = \min\{x, r/x\}$. Embora esses limites superiores fossem conjecturados como agudos, os limites inferiores existentes (por exemplo, por La Bretèche, Munsch e Tenenbaum [1]) ficavam aquém por fatores logarítmicos de potência. Este artigo visa fechar essa lacuna e provar que os limites superiores são, de fato, agudos para o intervalo especificado de $x$.

Metodologia
As provas baseiam-se em um método de "proxy", um elemento fundamental na análise de momentos de funções $L$, envolvendo a construção de um objeto auxiliar específico $I(\chi)$ projetado para mimetizar o comportamento da soma de caracteres $\sum_{n \le x} \chi(n)$, mas sendo mais tratável para análise.

1. Construção da Proxy $I(\chi)$:
   A proxy é definida via uma integral de Perron "ajustada por barreira":
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

   • Truncamento: A integral é truncada na altura $T$.
   • Polinômio Estruturado: A soma interna é substituída por um produto de polinômios de Dirichlet sobre intervalos de primos disjuntos: primos grandes $(x^{1-3\beta}, x^{1-\beta}]$, números $P$-suaves ($\le x^\beta$) e números $P$-rugosos ($> P$).
   • A Barreira: O componente crucial é $G_\chi(s)$, um polinômio de Dirichlet curto que aproxima uma função de "barreira", $G_\chi(s)$. Esta barreira restringe o crescimento dos produtos Euler parciais $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ através de múltiplas escalas (definidas por $P e^{-j}$). Esta barreira é inspirada em resultados sobre funções multiplicativas aleatórias e é projetada para suprimir valores grandes "anormais" que, de outra forma, fariam o quarto momento explodir.

2. Correlação e Limites de Momentos:
   A estratégia de prova reduz o teorema principal a duas Proposições Chave envolvendo a proxy $I(\chi)$:

   • Correlação: Um limite inferior para a correlação entre a soma de caracteres e a proxy: $E_{\text{char}} |\sum \chi(n)| |I(\chi)|$.
   • Momentos: Limites superiores para o segundo e o quarto momentos da proxy: $E_{\text{char}} |I(\chi)|^2$ e $E_{\text{char}} |I(\chi)|^4$.
     Ao aplicar a desigualdade de Hölder, o limite inferior para o momento alvo é derivado dessas quantidades.

3. Transição para Funções Multiplicativas Aleatórias:
   Um passo crítico envolve a passagem das somas de caracteres para funções multiplicativas de Steinhaus $f(n)$. Usando a relação de ortogonalidade $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ (válida para $n,m < r$), o autor mostra que, desde que os comprimentos dos polinômios de Dirichlet envolvidos sejam suficientemente pequenos em relação a $r$ (especificamente $x^{2+4\beta} \ll r$), as médias de caracteres coincidem com as expectativas sobre funções multiplicativas aleatórias. Isso permite o uso de ferramentas probabilísticas (desigualdade de Khintchine, propriedades de produtos Euler aleatórios) para estimar os momentos de $I(\chi)$.

4. Tratamento da Barreira:
   A dificuldade técnica central reside na estimativa do quarto momento da proxy. A barreira $G_\chi(s)$ é construída para garantir que o fator de "explosão" no quarto momento (decorrente de correlações de produtos Euler em pontos $s$ e $s'$ próximos) permaneça negligenciável. A barreira restringe as somas parciais do logaritmo do produto Euler para permanecerem dentro de limites específicos, controlando efetivamente o comportamento de "caos multiplicativo".

Contribuições Principais e Resultados
O artigo estabelece os seguintes limites inferiores agudos, correspondendo aos limites superiores conhecidos anteriormente:

• Teorema 1: Para um primo grande $r$, uniformemente para $1 \le x \le r^{0.499}$ e $0 \le q \le 1$:
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• Teorema 2: O mesmo limite inferior agudo mantém-se para somas ponderadas $\sum_{n \le x} h(n)\chi(n)$ onde $h(n)$ é uma função multiplicativa com $|h(p)|=1$ e $|h(p^k)| \le 1$.
• Teorema 3: O mesmo limite inferior agudo mantém-se para somas de caracteres contínuas (somas zeta) $\sum_{n \le x} n^{it}$ para $1 \le x \le T^{0.499}$.

Significância e Alegações

• Agudeza (Sharpness): Os resultados confirmam a conjectura de que os limites superiores obtidos em [10] são agudos para o intervalo $x \le r^{0.499}$. Isso fornece uma compreensão completa da ordem de magnitude dos baixos momentos neste regime.
• Inovação Metodológica: O artigo introduz um objeto proxy específico "ajustado por barreira" que mimetiza com sucesso o comportamento das somas de caracteres enquanto permite estimativas rigorosas do quarto momento. Esta abordagem serve como um substituto para os argumentos de condicionamento usados no cenário de funções multiplicativas aleatórias, que são difíceis de aplicar diretamente a somas de caracteres devido às restrições do condutor $r$.
• Limitações de Intervalo: O autor observa que a restrição $x \le r^{0.499}$ (especificamente $x < r^{1/2}$) surge naturalmente das restrições de comprimento dos polinômios de Dirichlet da proxy necessários para invocar a relação de ortogonalidade (1.3).
• Trabalho Futuro: O artigo menciona que um artigo complementar [14] estende estes argumentos para o intervalo completo $x \le 0.99r$ para somas não ponderadas, utilizando propriedades especiais de somas não ponderadas para superar as restrições de comprimento encontradas aqui. Esta extensão leva a resultados não nulos para funções theta de Dirichlet.

O artigo não pretende resolver o comportamento dos momentos para $1 < q < 2$ (o intervalo entre o segundo e o quarto momentos), observando que isso permanece um desafio aberto, embora se conjecture que siga um padrão logarítmico semelhante.