A two-dimensional delta symbol method and its application to pairs of quadratic forms

1. Formulação do Problema

O artigo aborda o problema de contar soluções inteiras para um sistema de duas equações quadráticas homogêneas em $s$ variáveis:
$$F_1(\mathbf{x}) = 0, \quad F_2(\mathbf{x}) = 0$$
onde $F_1, F_2 \in \mathbb{Z}[x_1, \dots, x_s]$ definem uma interseção completa não-singular de codimensão 2 no espaço projetivo. O objetivo é derivar uma fórmula assintótica para o número de pontos inteiros $\mathbf{x}$ com $|\mathbf{x}| \le P$ quando $P \to \infty$.

Especificamente, os autores visam determinar o número mínimo de variáveis $s$ necessário para estabelecer essa fórmula assintótica utilizando o método do círculo de Hardy-Littlewood. Resultados anteriores exigiam $s \ge 11$ (Munshi) ou tratavam apenas casos "separados" (Heath-Brown–Pierce). Os autores visam reduzir esse limite para $s \ge 10$ incondicionalmente e $s \ge 9$ sob a Hipótese de Lindelöf Generalizada (GLH).

2. Metodologia: O Método de Símbolo Delta Bidimensional

A inovação central do artigo é o desenvolvimento de um método de símbolo delta bidimensional. Este é um refinamento do método do círculo clássico projetado para lidar com sistemas de equações ($R \ge 2$) onde a decomposição padrão em "arcos principais/menores" é insuficiente para obter limites precisos.

2.1. Limitações dos Métodos Anteriores

• Método do Círculo Clássico: Divide o quadrado unitário $[0,1]^2$ em arcos principais (perto de racionais $\mathbf{a}/q$) e arcos menores. Para $R=2$, a geometria das aproximações racionais é complexa; a distância entre vizinhos depende das alturas de linhas afins, tornando impossível uma dissecção de Farey literal.
• Símbolos Delta Aninhados (Munshi): Utilizou uma abordagem aninhada, mas resultou em módulos $q$ maiores do que o ideal, levando a etapas de somação de Poisson menos eficientes.
• Análogos em Corpos de Funções: Vishe resolveu anteriormente este problema sobre $\mathbb{F}_q(t)$ usando uma dissecção de Farey 2D, mas a natureza não-arquimediana desse cenário impediu a tradução direta para corpos de números.

2.2. A Nova Identidade de Símbolo Delta

Os autores provam o Teorema 1.2, que fornece uma partição da unidade suave para a função delta $\delta_{\mathbf{n}}$ (onde $\delta_{\mathbf{n}} = 1$ se $\mathbf{n}=\mathbf{0}$ e $0$ caso contrário) em duas dimensões:
$$\delta_{\mathbf{n}} = \sum_{1 \le q \le Q} \sum_{\mathbf{a} \pmod q}^* \int_{\mathbb{R}^2} p_{\Lambda(\mathbf{a}, q)}(\mathbf{w}) e\left( \left(\frac{\mathbf{a}}{q} + \mathbf{w}\right) \cdot \mathbf{n} \right) d\mathbf{w} + O(Q^{-N})$$
Características-chave desta identidade:

• Dependência de Rede: A função núcleo $p_{\Lambda(\mathbf{a}, q)}$ depende da rede $\Lambda(\mathbf{a}, q) = \{ k\mathbf{a} + q\mathbf{y} : k \in \mathbb{Z}, \mathbf{y} \in \mathbb{Z}^2 \}$.
• Suporte Ótimo: A função é suportada em $\mathbf{w}$ de tamanho aproximadamente $q^{-1}Q^{-1/2}$. Este é o tamanho ótimo para uma aproximação de Dirichlet 2D, permitindo que o parâmetro $Q$ seja escolhido como $Q \asymp P^{4/3}$ (onde $P$ é o tamanho das variáveis), o que é menor do que em métodos anteriores ($Q \asymp P^{3/2}$).
• Refinamento Duplo de Kloosterman: A estrutura da rede permite aos autores agrupar termos pela rede em vez de apenas pelo denominador $q$. Isso permite a média sobre $\mathbf{a}$ (refinamento de Kloosterman) e, crucialmente, a média sobre $q$ (refinamento duplo de Kloosterman) para explorar cancelamentos em somas exponenciais.

3. Contribuições Principais e Resultados Técnicos

3.1. A Fórmula Assintótica Principal (Teorema 1.1)

Os autores estabelecem a fórmula assintótica para o número de soluções $N(P)$:
$$N(P) = S I P^{s-4} + O(P^{s-4-\Delta})$$
onde:

• $S$ é a série singular (fator aritmético).
• $I$ é a integral singular (fator geométrico).
• O expoente do termo de erro $\Delta$ depende de $s$:
  • Incondicional:
    • Se $s$ é par e $s \ge 10$, $\Delta < 1/6$.
    • Se $s$ é ímpar e $s \ge 11$, $\Delta < 1/15$.
  • Condicional (sob GLH):
    • Se $s = 9$ (ímpar), $\Delta < 1/15$.

Este resultado verifica a conjectura de Manin–Peyre para interseções não-singulares de duas quádricas de dimensão $\ge 7$ (ou 6 sob GLH).

3.2. Decomposição da Função de Contagem

A prova envolve decompor a função de contagem em três partes com base no tamanho do módulo $q$ e na função de "peso" no símbolo delta:

1. Arcos Principais ($N_0$): O termo principal derivado de $q$ pequeno e $\mathbf{w}$ próximo de 0.
2. Arcos Menores Tipo 1 ($N_1$): Contribuições de $q$ pequeno, mas $\mathbf{w}$ maior, tratadas usando limites padrão de somas exponenciais.
3. Arcos Menores Tipo 2 ($N_2$): Contribuições de $q$ grande e da estrutura específica da rede. Esta é a parte mais difícil, exigindo uma análise detalhada das somas exponenciais $S_{q, d\mathbf{c}}(u)$ e integrais exponenciais.

3.3. Tratamento de Somas Exponenciais e Geometria

Os autores realizam uma análise profunda das somas exponenciais $S_{q, d\mathbf{c}}(u)$:

• Eles classificam primos e vetores $\mathbf{c}$ em tipos "bons" e "ruins" com base na singularidade da forma quadrática $F_{\mathbf{c}} = c_1 F_1 + c_2 F_2$.
• Eles utilizam a somação de Poisson e a geometria dos números (especificamente a geometria da rede $\Lambda(\mathbf{a}, q)$) para limitar as contribuições dos arcos menores.
• Para o caso $s=9$, eles dependem da Hipótese de Lindelöf Generalizada para obter cancelamento suficiente na média das somas exponenciais sobre $q$.

4. Significado e Comparação

4.1. Melhoria sobre Limites Existentes

• Munshi [29]: Exigia $s \ge 11$. O novo método reduz isso para $s \ge 10$ incondicionalmente.
• Heath-Brown–Pierce [16]: Tratou o caso "separado" ($F_i(x,y) = G_i(x) + H_i(y)$) para $s \ge 10$. Este artigo remove a restrição "separada", tratando interseções não-singulares gerais.
• Corpos de Funções: O resultado corresponde ao limite condicional ($s=9$) conhecido no cenário de corpos de funções (Vishe [37]), fechando uma lacuna significativa entre corpos de números e corpos de funções.

4.2. Superioridade Heurística

Na Seção 14, os autores fornecem uma comparação heurística (Heurística 2) mostrando que seu método é superior para $s$ grande.

• A eficácia de um método de símbolo delta é aproximadamente capturada por $Q^{s/2} A^{-1/2}$, onde $Q$ é o parâmetro do módulo e $A$ é o tamanho da média sobre $\mathbf{a}$.
• Seu método alcança $Q \asymp P^{4/3}$ e $A \asymp Q$, levando a um termo de erro de tamanho $P^{2(s-1)/3}$.
• Métodos anteriores (como o de Munshi) tinham $Q \asymp P^{3/2}$ e $A \asymp Q^{5/3}$, levando a um termo de erro maior $P^{(3s-5)/4}$.
• O novo método torna-se estritamente melhor para $s \ge 8$ e a lacuna aumenta conforme $s$ cresce.

5. Conclusão

O artigo apresenta um avanço na teoria analítica de equações diofantinas ao construir um símbolo delta bidimensional robusto. Esta ferramenta facilita um refinamento duplo de Kloosterman no método do círculo, permitindo o tratamento de pares de formas quadráticas com menos variáveis do que era possível anteriormente. Os resultados avançam significativamente a compreensão da distribuição de pontos racionais em interseções completas de quádricas e fornecem um quadro que os autores argumentam superará os métodos existentes para sistemas com mais variáveis ou graus mais altos.