The multi-height distribution implies the Batyrev-Manin principle

1. Problema e Contexto

O artigo aborda um problema central na teoria dos números geométrica: a distribuição assintótica de pontos racionais de altura limitada em variedades toricas e pilhas toricas (stacks).

• O Princípio de Batyrev-Manin: Este princípio conjectura que o número de pontos racionais de altura limitada $B$ em uma variedade $V$ (com um feixe de linha anticanônico $\omega^{-1}_V$) cresce assintoticamente como $c \cdot B (\log B)^{\rho-1}$, onde $\rho$ é o posto do grupo de Picard e $c$ é uma constante geométrica (envolvendo o número de Tamagawa e um fator $\alpha(X)$).
• O Cenário Recente: Trabalhos recentes (Ellenberg, Satriano, Zureick-Brown; Darda, Yasuda) estenderam a formalização de alturas de Arakelov para pilhas de Deligne-Mumford (DM), formulando conjecturas análogas para pontos racionais de altura limitada em pilhas toricas, utilizando o feixe anticanônico orbifold.
• A Lacuna: O autor Nicolas Peyre propôs recentemente uma abordagem baseada na distribuição de alturas múltiplas (multi-heights), onde se considera o vetor de alturas associado a todos os geradores do cone efetivo, em vez de apenas uma altura única. O trabalho anterior do autor (Bongiorno) estabeleceu o comportamento assintótico para pontos racionais com alturas múltiplas em domínios específicos.
• O Objetivo do Artigo: Demonstrar rigorosamente como o comportamento assintótico conhecido para a distribuição de alturas múltiplas implica diretamente a fórmula clássica de Batyrev-Manin para o número de pontos racionais de altura anticanônica limitada (ou altura orbifold anticanônica limitada no caso de pilhas). O artigo visa fechar a lacuna entre a análise de alturas múltiplas e a fórmula final de contagem de pontos.

2. Metodologia

A metodologia do artigo é puramente analítica e combinatória, baseando-se em três pilares principais:

1. Extensão da Análise de Alturas Múltiplas:

   • O autor estende os resultados anteriores (que lidavam com alturas múltiplas limitadas inferior e superiormente) para o caso onde a altura é limitada apenas superiormente (mas não inferiormente).
   • Isso é feito decompondo o cone dual do cone efetivo ($C_{eff}(X)^\vee$) em subcones simpliciais $\Lambda$.
   • Define-se funções aritméticas $f^\uparrow$ e $f^\downarrow$ que contam pontos racionais cujas alturas múltiplas caem em faixas inteiras específicas dentro de um subcone $\Lambda$.

2. Método da Hipérbole Generalizado:

   • A ferramenta central é uma versão generalizada do Método da Hipérbole, desenvolvida por Marta Pieropan e Damaris Schindler.
   • Este método permite estimar somas de funções aritméticas sobre regiões definidas por desigualdades polinomiais (neste caso, produtos de potências de alturas).
   • O artigo verifica que as funções aritméticas definidas satisfazem as hipóteses do teorema de Pieropan-Schindler, permitindo a aplicação direta do método para obter o termo principal e o erro.

3. Decomposição Geométrica e Inclusão-Exclusão:

   • O cone dual $C_{eff}(X)^\vee$ é decomposto em uma união finita de subcones simpliciais $\{\Lambda_j\}$.
   • Utiliza-se o princípio da inclusão-exclusão para somar as contribuições de cada subcone.
   • Demonstra-se que as interseções entre subcones distintos contribuem com um termo de ordem inferior (negligenciável) em relação ao termo principal assintótico.

3. Contribuições Chave

• Derivação do Princípio de Batyrev-Manin a partir de Alturas Múltiplas: O artigo fornece a prova de que a fórmula de Batyrev-Manin é uma consequência direta da distribuição de alturas múltiplas, validando a abordagem proposta por Peyre.
• Identificação da Constante Principal: O trabalho conecta explicitamente a constante obtida em trabalhos anteriores sobre pilhas toricas (Darda e Yasuda) com o número de Tamagawa orbifold definido pelo autor em trabalhos anteriores. Isso unifica diferentes formalismos na literatura.
• Generalização para Pilhas Toricas (Stacks): O tratamento é unificado para variedades toricas e pilhas toricas (stacks), lidando com a complexidade adicional de dados de pilha (como seções torcidas e grupos de Picard orbifold).
• Aplicação do Método de Pieropan-Schindler: Adapta e aplica o método de hipérbole generalizado ao contexto específico de alturas em pilhas toricas, lidando com as nuances das medidas de Haar e dos cones efetivos orbifold.

4. Resultados Principais

O artigo estabelece os seguintes teoremas e resultados:

• Teorema 1.2 (Revisado): Reafirma o comportamento assintótico para pontos racionais com alturas múltiplas em domínios poliedrais expandidos, dado por:
  $$\#(X(\mathbb{Q}))_{h \in D_B} \sim \nu(D_1) \tau(X) B^{\langle \omega^{-1}_X, u \rangle}$$
  onde $\tau(X)$ é o número de Tamagawa.

• Teorema 1.4 (Resultado Principal): Estabelece a fórmula assintótica clássica para o número de pontos racionais de altura anticanônica limitada $B$ (ou altura orbifold anticanônica):
  $$\# \{ P \in T(\mathbb{Q}) \mid h(P)(\omega^{-1}_X) \leq \log(B) \} \sim_{B \to \infty} \alpha(X) \tau(X) B^{\langle \omega^{-1}_X, u \rangle} (\log B)^{\rho(X)-1}$$
  Aqui, $\alpha(X)$ é uma constante geométrica definida pela integral sobre o cone efetivo dual, e $\rho(X)$ é o posto do grupo de Picard.

• Corolário 1.5 (Unificação de Constantes): Demonstra que a constante de Tamagawa $\tau(X)$ definida para pilhas toricas coincide com a constante obtida por Darda e Yasuda. Especificamente, para pilhas DM tamed, a medida local é expressa em termos da cardinalidade do grupoide do espaço de pontos sobre corpos finitos.

• Proposição 4.10: Calcula explicitamente a constante $\alpha(X)$ como a soma das contribuições dos subcones simpliciais da decomposição do cone dual:
  $$\alpha(X) = \sum_{j \in J} \frac{1}{(\rho-1)!} \nu(-\Lambda_j)$$

5. Significado e Impacto

Este artigo é significativo por várias razões:

1. Validação Teórica: Ele valida a nova abordagem de Peyre de estudar a distribuição de pontos racionais através de alturas múltiplas, mostrando que ela recupera consistentemente os resultados clássicos e esperados do Princípio de Batyrev-Manin.
2. Unificação de Formalismos: Ao lidar simultaneamente com variedades e pilhas, o artigo ajuda a consolidar a teoria de pontos racionais em contextos de geometria algébrica mais gerais (stacks), conectando conjecturas de Malle e Bhargava sobre extensões de Galois com a geometria de pilhas toricas.
3. Precisão de Constantes: A identificação explícita das constantes (especialmente o número de Tamagawa orbifold) é crucial para testes numéricos e para a compreensão profunda da relação entre a geometria da variedade/pilha e a distribuição de seus pontos racionais.
4. Ferramenta Metodológica: A aplicação bem-sucedida do método de hipérbole generalizado de Pieropan-Schindler abre caminho para a análise de problemas de contagem de pontos em outras configurações geométricas complexas onde a decomposição em cones é viável.

Em resumo, o artigo serve como uma ponte rigorosa entre a análise moderna de alturas múltiplas e a fórmula assintótica clássica, fornecendo uma prova completa e unificada para variedades e pilhas toricas.