Heath-Brown identities for fractional powers of $ζ$

Resumo Técnico: Identidades de Heath-Brown para Potências Fracionárias de $\zeta$

Enunciado do Problema
O artigo aborda a estimativa de somas exponenciais envolvendo potências fracionárias da função zeta de Riemann, especificamente $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$, onde $d_z$ é a função multiplicativa definida pelos coeficientes de Dirichlet de $\zeta(s)^z$. Embora o comportamento dessas somas seja bem compreendido para expoentes inteiros (por exemplo, a função divisor $\tau_k = d_k$ e a função de Möbius $\mu = d_{-1}$), o caso fracionário $z \in (-1, 1) \setminus \mathbb{Z}$ apresenta uma lacuna. Métodos clássicos que dependem de fatorização (como $\tau_k = 1^{*k}$) falham para não-inteiros, e identidades existentes (como as de Vaughan ou Heath-Brown) não se aplicam diretamente sem modificação. Resultados parciais anteriores, como o limite para $d_{1/2}$ em [MV, Exercício 9], produziram um expoente médio subótimo de $6/7$ na estimativa de arcos menores, enquanto os casos inteiros alcançam o patamar de qualidade de "Vinogradov" de $4/5$. O problema central é construir uma identidade combinatória finita para $\zeta(s)^{\pm a/b}$ que permita a derivação de limites com o expoente ótimo de $4/5$ e perdas puramente logarítmicas, sem o fator $x^\varepsilon$.

Metodologia
O autor emprega uma abordagem de duas camadas: construção algébrica seguida de estimativa analítica.

1. Construção Algébrica (Identidades do tipo Heath-Brown):
   A inovação central é a construção de identidades finitas para $\zeta(s)^{\pm a/b}$ usando a série binomial de Newton dentro da álgebra das funções aritméticas.

   • Para uma potência fracionária $\zeta(s)^{-h/b}$, o autor define um polinômio de Dirichlet truncado $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$.
   • Ao considerar o resto $H = 1 - \zeta(s)^h F(s)^b$, o autor utiliza a propriedade de que $H$ possui suporte em inteiros $> V$. Consequentemente, $H^K$ possui suporte em inteiros $> V^K$.
   • Substituindo $H$ na expansão binomial de Newton truncada de $(1-H)^{-1/b}$, obtém-se uma identidade exata para $\zeta(s)^{-h/b}$ válida para coeficientes $n \le V^K$.
   • O artigo seleciona profundidade $K=5$ e $V = x^{1/5}$. Isso garante que a identidade seja válida para todos os $n \le x$. A identidade resultante expressa $\zeta(s)^{-h/b}$ como uma combinação linear finita de convoluções envolvendo $F$ e potências de $\zeta$. Crucialmente, cada fator "longo" nessas convoluções é uma potência positiva de $\zeta$ (a função constante 1), garantindo suavidade, enquanto os fatores "curtos" são limitados por 1.
   • Para expoentes positivos $z = h/b$, a identidade é derivada indiretamente via $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$, preservando a suavidade dos fatores longos.
   • O caso limite $z = -1$ (a função de Möbius) é recuperado como um caso especial onde a identidade degenera na clássica identidade de Heath-Brown.

2. Estimativa Analítica:
   As identidades construídas reduzem a soma exponencial $S_z(x, \alpha)$ a uma soma de formas multilineares $T_{J,L}(x, \alpha)$.

   • Decomposição Diádica: As variáveis são localizadas em intervalos diádicos.
   • Dicotomia Combinatória: Uma lemma de "janela-ou-variável-longa" é aplicada. Para qualquer configuração diádica com produto $P \in (x^{4/5}, x]$, ou um subconjunto de variáveis pode ser agrupado na "Janela do Tipo II" $[x^{2/5}, x^{3/5}]$, ou uma única variável é longa ($> x^{3/10}$) enquanto o produto das demais é curto ($< x^{7/10}$).
   • Estimativas:
     • Tipo II: Estimativas bilineares são aplicadas quando a condição da janela é atendida, produzindo o termo $x^{4/5}$.
     • Tipo I: Quando uma variável suave longa existe, a soma é tratada como uma soma do Tipo I. O autor evita a suposição falsa de que somas do Tipo I ponderadas pelo divisor admitem apenas perdas logarítmicas. Em vez disso, utiliza-se uma estratégia de dois intervalos:
       • Para $q \le x^{3/10}$ e $q \ge x^{7/10}$, uma estimativa de média quadrática do Tipo I é usada.
       • Para o intervalo intermediário $x^{3/10} < q < x^{7/10}$, uma estimativa pontual com uma perda $x^{o(1)}$ é usada. O hiato entre $x^{7/10}$ e o alvo $x^{4/5}$ absorve essa perda, garantindo que o limite final retenha o expoente $4/5$ com apenas fatores logarítmicos.

Principais Resultados

1. Limites de Arcos Menores (Teoremas 1.1 & 1.3):
   Para qualquer fração reduzida $a/b$ com $0 < a/b < 1$, e para $z = \pm a/b$, o artigo prova:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   para $|\alpha - r/q| \le 1/q^2$.

   • Este limite é válido sem a perda $x^\varepsilon$, coincidindo com a forma da estimativa de Vinogradov para a função de von Mangoldt e os limites conhecidos para potências inteiras.
   • O Teorema 1.3 estende isso ao caso limite $z = -1$ (função de Möbius) com uma constante absoluta, refinando estimativas anteriores ao remover o $\varepsilon$.

2. Expansão de Arcos Maiores (Teorema 1.5):
   Para $z$ real tal que $0 < |z| < 1$, o artigo fornece uma expansão de arco maior para $S_z(x, \alpha)$ com precisão logarítmica arbitrária. O termo principal envolve fatores locais $g_z(q)$ (generalizando a série singular) e coeficientes derivados do método Selberg-Delange. O termo de erro é $O(x (\log x)^{-A})$ para qualquer $A > 0$, embora a constante implícita seja inefetiva devido à dependência do teorema de Siegel-Walfisz.

3. Limites Uniformes e Momentos (Teoremas 1.6 & 1.7):

   • Supremo: O artigo determina a ordem de grandeza de $\sup_\alpha |S_z(x, \alpha)|$. Para $z > 0$, o supremo é atingido em $\alpha=0$ e é assintótico ao valor médio. Para $z < 0$, o cancelamento reduz o supremo por um fator de $(\log x)^{1+|z|}$ em relação à norma $\ell^1$.
   • Momentos: Para $z \in (-1, 1)$ racional e $s > 2$ real, o artigo prova uma fórmula assintótica para os momentos $\int_0^1 |S_z(x, \alpha)|^s d\alpha$. O termo principal é determinado por uma série singular envolvendo $g_z(q)$, análogo ao resultado de Pandey para funções divisoras inteiras. A restrição $s > 2$ é necessária pois a série singular diverge em $s=2$.

Significância e Alegações
O artigo afirma resolver a lacuna entre potências inteiras e fracionárias da função zeta no contexto de somas exponenciais. Sua principal significância reside em:

• Otimalidade: Alcançar o expoente $x^{4/5}$ para potências fracionárias, o que era anteriormente uma questão aberta e conhecido apenas para casos específicos com limites mais fracos.
• Eficiência: Eliminar a perda $x^\varepsilon$, o que é crucial para aplicações que exigem termos de erro precisos (por exemplo, no método do círculo).
• Novidade Algébrica: A construção de identidades de Heath-Brown finitas para potências fracionárias via série binomial de Newton e argumentos de suporte, fornecendo uma nova ferramenta algébrica para lidar com expoentes não-inteiros na álgebra das funções aritméticas.
• Efetividade: Os limites de arcos menores e a construção das identidades são totalmente efetivos. A inefetividade na aplicação dos arcos maiores é explicitamente atribuída ao teorema de Siegel-Walfisz, uma limitação padrão neste domínio, e não à nova maquinaria.

O autor enfatiza que a restrição a expoentes racionais é essencial para a construção algébrica (pois depende da raiz $b$-ésima de uma potência inteira), e que a restrição $|z| \le 1$ garante que os coeficientes curtos permaneçam limitados por 1. O artigo não pretende estender esses resultados para expoentes irracionais ou expoentes fora de $[-1, 1]$ sem modificações significativas.