Multi-height distribution of rational points of split toric stacks

1. O Problema e o Contexto

O artigo aborda o problema de Manin-Peyre, que estuda o comportamento assintótico do número de pontos racionais de altura limitada em variedades algébricas. Enquanto a teoria clássica foca em variedades toricas (espaços projetivos, variedades de Cox), este trabalho estende a formalização para pilhas (stacks) toricas (especificamente pilhas de Deligne-Mumford split sobre $\mathbb{Q}$).

Os principais desafios identificados são:

• Falha na Extensão Integral: Em pilhas, um ponto racional não se estende necessariamente a um ponto integral (diferente de variedades). A extensão correta envolve "pontos integrais de pilha" (stacky integral lifts), que podem ter ramificação.
• Múltiplas Alturas: Em vez de considerar apenas a altura associada a um único fibrado de linha (como o anticanônico), o autor estuda a distribuição de pontos racionais com todas as alturas possíveis limitadas simultaneamente (formalismo de "multi-height").
• Complexidade Analítica: A natureza não simplicial do cone de convergência da função zeta de altura em pilhas torna difícil a aplicação direta de métodos de teoria analítica dos números tradicionais.

2. Metodologia

O autor desenvolve uma abordagem geométrica e aritmética baseada nos seguintes pilares:

• Parametrização Integral via Torsores Universais Estendidos:
  O núcleo da metodologia é a construção de uma parametrização integral dos pontos racionais de uma pilha torica. O autor eleva o problema de contagem para um torso universal estendido ($T^{ext}$) sob o toro associado ao Grupo Picard Orbital ($Pic_{orb}(X)$).

  • Diferente do caso de variedades, onde o toro de Néron-Severi ($T_{NS}$) é suficiente, aqui é necessário incluir contribuições dos setores torcidos (twisted sectors) da pilha.
  • O torso estendido é definido como $T^{ext} = T \times \mathbb{G}_m^{\pi_0^*(I_\mu X)}$, onde $T$ é o toro da variedade torica subjacente e o segundo fator corresponde aos setores torcidos.

• Lift da Idade (Age) para Torsores:
  O autor define um "lift" da paragem de idade (age pairing) para o torso universal. A idade é um invariante que mede a obstrução à extensão de pontos racionais para pontos integrais. Ele demonstra que a idade pode ser calculada via a ação do grupo de Galois local nos pontos do torso, permitindo uma parametrização aritmética precisa.

• Mapa de Resíduo e Seções:
  Utiliza-se o mapa de resíduo ($\psi_v$) introduzido por Darda e Yasuda, que associa a cada ponto racional $P \in X(K_v)$ um setor da pilha (um componente conexo da inércia cíclica). O autor prova que, para pilhas toricas, o setor é completamente determinado pela paragem de idade com o grupo Picard, permitindo uma identificação explícita entre a parametrização no torso e os setores.

• Inversão de Möbius e Contagem de Pontos de Rede:
  Para contar os pontos racionais, o autor define uma função de Möbius global associada ao torso estendido. Isso permite isolar os pontos que correspondem a pontos racionais genuínos (evitando sobrecontagem devido à ação do grupo de estabilização) através de uma fórmula de inversão de Möbius sobre os ideais inteiros.

3. Contribuições Principais

1. Parametrização Integral de Pilhas Toricas:
   Estabelecimento de um teorema (Teorema 6.15) que fornece uma bijeção entre os pontos racionais $X(\mathbb{Q})$ e o quociente do conjunto de pontos integrais do torso estendido $T^{ext}(\mathbb{Z})$ pela ação do toro de Néron-Severi orbital $T_{NS, orb}(\mathbb{Z})$.

2. Definição do Número de Tamagawa para Pilhas:
   O autor define o Número de Tamagawa ($\tau_{orb}(X)$) de uma pilha torica como um produto de Euler. Ele interpreta o fator $p$-ádico deste produto através de uma fórmula de massa (Teorema 6.52) que conta pontos sobre o corpo residual $\mathbb{F}_p$ nos diferentes setores da pilha.

3. Comportamento Assintótico Multi-Altura:
   Prova do teorema principal (Teorema 1.1 e 7.16) que descreve o crescimento assintótico do número de pontos racionais cujas alturas estão contidas em uma região $D_B$ no espaço dual do grupo Picard orbital.

4. Resultados Chave

O resultado assintótico principal é dado por:

$$\sharp \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to \infty} \nu(D_1) \cdot \tau_{orb}(X) \cdot B^{\langle \omega^{-1}_{X, orb}, u \rangle}$$

Onde:

• $D_B = D_1 + \log(B)u$ é uma região no espaço dual do cone efetivo orbital.
• $\nu(D_1)$ é uma medida de volume normalizada no espaço dual do grupo Picard.
• $\tau_{orb}(X)$ é o número de Tamagawa da pilha.
• $\omega^{-1}_{X, orb}$ é o fibrado anticanônico orbital.
• $u$ é um vetor no interior do cone dual efetivo.

Interpretação do Fator $p$-ádico (Teorema 6.52):
Para um primo $p$ onde a pilha é "tame" (tame DM stack), o fator local é dado por:
$$\mu_{X,p}(X(\mathbb{Q}_p)) = \frac{\sharp X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi_0^*(I_\mu X)} \frac{\sharp S(\mathbb{F}_p)}{p^{\dim(S)}}$$
Esta fórmula conecta a contagem de pontos $p$-ádicos diretamente com a geometria dos setores torcidos da pilha, generalizando resultados anteriores de Loughran e Santens para o caso de pilhas de classificação $BG$.

5. Significância e Impacto

• Generalização do Princípio de Manin: O trabalho valida o princípio de Manin para pilhas toricas, mostrando que o comportamento assintótico é governado por invariantes geométricos orbifold (como o grupo Picard orbital e o fibrado anticanônico orbital).
• Conexão entre Geometria e Teoria de Números: A interpretação do número de Tamagawa via fórmulas de massa em setores fornece uma ponte clara entre a geometria das pilhas (inércia, setores torcidos) e a distribuição de pontos racionais.
• Ferramentas para Pilhas Não-Split: Embora o foco seja em pilhas split, a metodologia desenvolvida (especialmente o uso de torsores estendidos e o mapa de resíduo) oferece um novo quadro teórico para tratar pilhas não-split e curvas modulares (como $X_0(N)$), que são exemplos de pilhas com pontos racionais paramétricos.
• Resolução de Dificuldades Analíticas: Ao usar a parametrização integral em vez de depender exclusivamente da função zeta de altura (que tem cones de convergência complexos em pilhas), o autor contorna as dificuldades analíticas, utilizando métodos de geometria dos números (contagem de pontos de rede em domínios limitados).

Em resumo, Nicolas Bongiorno estabelece uma teoria robusta para a distribuição de pontos racionais em pilhas toricas, unificando a teoria de torsores universais, a geometria orbifold e a análise assintótica, e fornecendo fórmulas explícitas para as constantes de leading term que envolvem a geometria dos setores da pilha.