Beyond the square-root barrier: cubic forms of Perazzo type

Resumo Técnico: Além da Barreira da Raiz Quadrada – Formas Cúbicas de Tipo Perazzo

1. O Problema

O artigo aborda o problema quantitativo de contar pontos racionais de altura limitada $B$ em uma hipersuperfície cúbica específica definida sobre os números racionais $\mathbb{Q}$. O objeto de estudo é a quaternidade cúbica $X \subset \mathbb{P}^5$ definida pela forma cúbica:
$$F(x, y) = x_1y_1^2 + x_2y_2^2 + x_3y_3^2 = 0.$$
Esta variedade é um exemplo clássico de uma forma cúbica de Perazzo (nomeada em homenagem a Ugo Perazzo, que classificou hipersuperfícies cúbicas não cônicas com Hessiano nulo). Embora a variedade tenha um Hessiano não nulo, ela contém um plano duplo singular ($y_1=y_2=y_3=0$).

O objetivo principal é provar a Conjectura de Manin para esta variedade (ou mais precisamente, para uma resolução crepante $\tilde{X} \to X$). A conjectura prevê que o número de pontos racionais $N_X(B)$ cresce assintoticamente como $c B^{n-3} (\log B)^{b-1}$, onde $n$ é o número de variáveis e $b$ está relacionado ao posto do grupo de Picard. Para esta variedade em $\mathbb{P}^5$, espera-se um crescimento da ordem de $B^3 \log B$.

O Desafio: O método do círculo, a ferramenta padrão para tais problemas, enfrenta uma "barreira da raiz quadrada". Para hipersuperfícies cúbicas em $\mathbb{P}^{n-1}$, o método geralmente exige $n > 6$ para obter resultados não condicionais. Para $n=6$ (como neste caso), a análise das somas exponenciais completas geralmente falha em fornecer cancelamento suficiente (cancelamento da ordem de $\sqrt{q}$) para superar o termo principal, a menos que se faça hipóteses fortes ou se use métodos condicionais.

2. Metodologia

Os autores utilizam uma variante suave do Método do Círculo desenvolvida por Heath-Brown (baseada na tecnologia da função $\delta$ suave de Duke, Friedlander e Iwaniec). A estratégia envolve:

1. Decomposição da Função de Contagem: A função $N(B)$ é expressa como uma soma sobre moduli $q$, envolvendo somas exponenciais completas $S_q(m, n)$ e integrais oscilatórias $I_q(m, n)$.
2. Análise de Somas Exponenciais: O cerne da inovação reside na análise detalhada das somas exponenciais $S_q(m, n)$ sobre corpos finitos. Os autores demonstram que, para a forma específica de Perazzo, essas somas satisfazem um cancelamento melhor que a raiz quadrada (da ordem de $O(p^3)$ em vez de $O(p^{3.5})$) para vetores genéricos.
3. A Propriedade ($\diamond$): Eles definem uma propriedade crucial ($\diamond$) que garante que as somas exponenciais sejam limitadas por $C p^3$. Isso está relacionado ao desaparecimento do número A definido por Katz e à estrutura da variedade dual.
4. Tratamento da Variedade Dual: Uma parte significativa do trabalho é dedicada a analisar a contribuição dos vetores $(m, n)$ que se anulam na variedade dual $X^*$ (definida por uma forma sextica $D(m, n)$). Diferentemente do caso genérico onde apenas o termo trivial contribui para o termo principal, aqui os vetores na variedade dual contribuem com uma fração significativa (1/4) do termo principal.
5. Função $\Delta$ de Hooley: Para lidar com somas sobre moduli onde a variedade dual não se anula, mas divide o módulo, os autores empregam a função $\Delta$ de Hooley e limites superiores para médias de funções aritméticas sobre sequências polinomiais (trabalhos de la Bretèche–Tenenbaum e Chan–Koymans–Pagano–Sofos).

3. Contribuições Chave

• Superação da Barreira da Raiz Quadrada: Este é o primeiro tratamento incondicional de uma quaternidade cúbica reduzida e irredutível via o método do círculo. Eles conseguem ir além da barreira que normalmente limita o método a $n > 6$.
• Análise de Somas Exponenciais Específicas: A prova de que a forma cúbica de Perazzo satisfaz a propriedade ($\diamond$), permitindo um cancelamento superior ao esperado para formas cúbicas gerais.
• Contribuição da Variedade Dual: Os autores identificam e quantificam que a contribuição para o termo principal vem de duas fontes:
  • 3/4 do termo principal vem dos vetores nulos $(m, n) = (0, 0)$.
  • 1/4 do termo principal vem dos vetores não nulos $(m, n) \neq (0, 0)$ que se anulam na variedade dual $D(m, n) = 0$.
    Essa divisão 3:1 é um fenômeno não trivial que reflete a geometria da variedade (presença de planos racionais).
• Verificação da Conjectura de Manin e de Peyre: O resultado assintótico obtido é consistente com a previsão de Manin para a resolução crepante da variedade e o termo principal coincide exatamente com a constante predita por Peyre (envolvendo o volume efetivo, o grupo de Brauer e as densidades de Tamagawa).

4. Resultados Principais

O Teorema 1.1 estabelece que, para qualquer função de peso suave $W$ com suporte compacto onde $y_1y_2y_3 \neq 0$, o número de pontos racionais $N(B)$ satisfaz:
$$N(B) = \frac{\sigma_\infty}{\zeta(3)} B^3 \log B + O(B^3 (\log B)^\varepsilon),$$
onde $\sigma_\infty$ é a densidade real ponderada associada à variedade.

• Ordem de Crescimento: O termo principal é da ordem $B^3 \log B$, confirmando a previsão da Conjectura de Manin para esta variedade singular (após resolução).
• Constante Principal: A constante $\frac{\sigma_\infty}{\zeta(3)}$ é calculada e mostrada ser igual a $\alpha(\tilde{X})\beta(\tilde{X})\tau_\infty(\tilde{X})\tau_{fin}(\tilde{X})$, onde $\alpha$ é o volume do cone efetivo, $\beta$ é a ordem do grupo de Brauer, e $\tau$ são as medidas de Tamagawa.
• Generalização: Os autores sugerem que a propriedade de cancelamento ($\diamond$) pode ser válida para outras famílias de formas cúbicas em um espaço de módulos de dimensão 20, incluindo aquelas definidas por equações trilineares ou relacionadas a feixes de superfícies quádricas.

5. Significado e Impacto

• Avanço Teórico: O trabalho demonstra que o método do círculo pode ser aplicado a variedades cúbicas de dimensão 4 ($n=6$) com singularidades específicas, superando limitações técnicas que pareciam intransponíveis anteriormente.
• Geometria e Análise: O artigo fornece uma ponte profunda entre a geometria algébrica (variedade dual, resolução de singularidades, classes de Chern) e a teoria analítica dos números (somas exponenciais, funções L, triagem de Hooley).
• Novas Ferramentas: A técnica de decompor a contribuição do termo principal entre o vetor nulo e a variedade dual oferece um novo paradigma para analisar variedades que contêm subvariedades lineares de alta dimensão (como planos ou retas).
• Aplicabilidade: O método pode ser adaptado para outras formas cúbicas que exibem cancelamento superior à raiz quadrada, sugerindo que a "barreira da raiz quadrada" não é uma limitação absoluta do método do círculo, mas sim uma barreira que depende da estrutura específica da forma cúbica estudada.

Em resumo, o artigo resolve um problema aberto de longa data na aritmética de variedades cúbicas, provando a Conjectura de Manin para uma classe importante de variedades singulares e refinando significativamente a aplicação do método do círculo.