The asymptotic in Waring's problem over function fields via singular sets in the circle method

Resumo Técnico: O Problema de Waring em Corpos de Funções via Lócus Singular no Método do Círculo

1. O Problema

O artigo aborda o Problema de Waring no contexto de corpos de funções sobre corpos finitos. O objetivo clássico do Problema de Waring é determinar o menor número inteiro $s$ tal que todo inteiro positivo suficientemente grande pode ser escrito como a soma de $s$-ésimas potências de inteiros não negativos.

No contexto de corpos de funções, o problema é formulado da seguinte maneira:

• Seja $\mathbb{F}_q$ um corpo finito de característica $p$.
• Considere o anel de polinômios $\mathbb{F}_q[T]$.
• Dado um inteiro positivo $k$ (o expoente) e um polinômio $f \in \mathbb{F}_q[T]$ de grau limitado, deseja-se estimar o número de soluções para a equação:
  $$\sum_{i=1}^s a_i^k = f$$
  onde $a_i$ são polinômios de grau limitado por $e$.
• O objetivo é obter uma fórmula assintótica para o número de soluções quando $e \to \infty$, com $s$ e $k$ fixos. A fórmula esperada é da forma:
  $$N \sim (1+o(1)) q^{e(s-k)+s-1} \ell_\infty(f) \prod_{\pi} \ell_\pi(f)$$
  onde os fatores $\ell$ representam contribuições locais (análogas aos fatores singulares no caso dos inteiros).

O autor também estende esse resultado para curvas projetivas suaves gerais (não apenas a reta projetiva $\mathbb{P}^1$) e aplica os resultados à Conjectura de Manin para hipersuperfícies de Fermat sobre corpos de funções.

2. Metodologia

O método principal utilizado é o Método do Círculo, uma ferramenta analítica padrão em Teoria dos Números Aditiva. No entanto, a inovação central deste trabalho reside no tratamento dos arcos menores (minor arcs).

• Abordagem Tradicional vs. Nova Abordagem:
  • Em problemas sobre inteiros, os arcos menores são geralmente tratados usando métodos analíticos como a diferenciação de Weyl ou "congruencing eficiente" (Wooley).
  • Sawin, seguindo uma ideia de Pugin, evita métodos analíticos puros para os arcos menores. Em vez disso, ele trata as somas exponenciais sobre os arcos menores como somas exponenciais completas sobre corpos finitos em espaços vetoriais de alta dimensão.
• Geometria Algébrica e Somas Exponenciais:
  • O conjunto de polinômios de grau $\le e$ é visto como um espaço vetorial sobre $\mathbb{F}_q$.
  • A soma exponencial é associada a uma função polinomial neste espaço.
  • Aplica-se um teorema profundo de Nicholas Katz (sobre somas exponenciais completas) que limita o valor da soma em termos da dimensão do lócus singular da variedade definida pela parte líder do polinômio.
  • Quanto menor a dimensão do lócus singular, mais forte é a cota para a soma exponencial, permitindo um "poupança de potência" (power saving) no erro.
• Cálculo do Lócus Singular:
  • O autor descreve explicitamente o lócus singular para o caso de Fermat ($\sum a_i^k = f$).
  • Utiliza-se uma estratificação baseada nas multiplicidades das raízes comuns dos polinômios envolvidos.
  • Para estimar a dimensão de cada estrato, calcula-se a dimensão do espaço tangente em um ponto arbitrário. Uma simplificação chave é o uso da derivada logarítmica, que transforma potências $(k-1)$ em multiplicações por constantes, facilitando a análise linear.
  • O autor corrige uma lacuna no trabalho anterior de Pugin, fornecendo uma estimativa rigorosa da dimensão do lócus singular, que depende de um conjunto convexo $\Delta_{k,p}$ e de um parâmetro $\gamma_{k,p}$.

3. Contribuições Chave e Resultados Principais

A. Melhoria nas Limites para $s$ (Problema de Waring):
O teorema principal (Teorema 1.2 e 1.4) estabelece que a fórmula assintótica vale sob condições específicas para $s$, $k$, $q$ e $p$.

• Dependência Linear: O resultado fornece uma dependência linear de $s$ em relação a $k$ (para $q$ e $p$ suficientemente grandes), o que é uma melhoria significativa sobre os resultados conhecidos para inteiros.
• Comparação com Inteiros:
  • Para $k=4$, o melhor resultado conhecido para inteiros (Bourgain et al.) exige $s \ge 15$. Sawin obtém $s \ge 12$.
  • Para $k=5$, o resultado para inteiros exige $s \ge 23$, enquanto Sawin obtém $s \ge 15$.
  • Em geral, para $k > 3$, os limites obtidos são estritamente melhores que os melhores limites conhecidos no caso dos inteiros.
• Condições: A validade depende de $q$ ser suficientemente grande (especificamente $q > (k+1)^{2(k-1)}$) e da característica $p$ ser maior que $k$. O parâmetro crítico $\gamma_{k,p}$ é definido geometricamente via o fecho convexo de pontos $(i,j)$ onde $p \mid (k-1)i - j$.

B. Aplicação à Conjectura de Manin:
O método é aplicado para contar o número de mapas de uma curva $C$ para uma hipersuperfície de Fermat $X \subset \mathbb{P}^n$ definida por $\sum x_i^d = 0$.

• O Teorema 1.5 fornece uma fórmula assintótica para o número de mapas de grau $e$:
  $$\#\{f: C \to X \mid \deg f = e\} \sim \tau_C(X) q^{e(n+1-d) + n(1-g)} \frac{\#\text{Pic}^0(C)}{q-1}$$
• Isso confirma a Conjectura de Manin para hipersuperfícies de Fermat sobre corpos de funções sob as mesmas condições de $s$ (agora $n+1$) e $q$ mencionadas acima.

C. Generalização para Hipersuperfícies Arbitrárias (Seção 6):
O autor discute a extensão do método para hipersuperfícies definidas por polinômios gerais (não apenas Fermat).

• Propõe-se uma abordagem para limitar a dimensão do lócus singular em termos de dimensões de espaços de módulos de curvas em um blow-up de $\mathbb{P}^n \times \mathbb{P}^n$.
• Embora ainda seja especulativo (devido à dificuldade em calcular essas dimensões de módulos), isso abre um caminho potencial para resolver o problema para variedades mais gerais, indo além da forma de Fermat.

4. Significado e Impacto

1. Superação de Limites Analíticos: O trabalho demonstra que, em corpos de funções, a combinação de métodos geométricos (teoremas de Katz sobre cohomologia e lócus singular) com o Método do Círculo pode superar as barreiras atuais dos métodos analíticos clássicos usados para inteiros.
2. Correção de Lacunas: O artigo corrige um erro técnico na literatura anterior (Pugin) sobre o cálculo da dimensão do lócus singular, estabelecendo uma base rigorosa para estimativas futuras.
3. Novos Limites de Waring: Os resultados estabelecem novos recordes para o número de variáveis necessárias para garantir a assintótica no Problema de Waring, superando os melhores resultados conhecidos para inteiros em vários casos de $k$.
4. Conexão Profunda: O trabalho reforça a conexão profunda entre a teoria analítica de números, a geometria algébrica (especificamente a teoria de interseção e espaços de módulos) e a aritmética de corpos de funções.

Em resumo, Will Sawin utiliza a geometria algébrica para transformar um problema analítico difícil (arcos menores) em um problema de geometria de variedades (dimensão de lócus singular), obtendo resultados assintóticos mais fortes do que os atualmente possíveis no domínio dos inteiros.