Equidistribution for semiabelian varieties over number fields

Resumo Técnico: Equidistribuição para Variedades Semiabelianas sobre Campos Numéricos

Enunciado do Problema
Este artigo aborda a lacuna entre a equidistribuição de pontos pequenos em variedades semiabelianas e a conjectura clássica de Bogomolov, especificamente em configurações onde as métricas definidoras não são "quasi-canônicas" no sentido exigido pelo teorema de equidistribuição de Yuan–Zhang. Enquanto Yuan e Zhang estabeleceram a equidistribuição para feixes de linhas adélicos quasi-canônicos em variedades quasi-projetivas, e Kühne provou a equidistribuição para métricas semiabelianas canônicas, uma classe significativa de métricas — especificamente aquelas em compactificações semiabelianas governadas por métricas tóricas que são semipositivas, monocriticas e aritmeticamente T-efetivas — permaneceu fora do escopo direto desses teoremas.

A questão central é se a equidistribuição genérica e a propriedade de Bogomolov (que uma subvariedade não-especial não pode conter um conjunto denso de Zariski de pontos de altura arbitrariamente pequena) ocorrem para essas métricas tóricas mais gerais. A dificuldade reside no fato de que, para tais métricas, a altura global da variedade pode ser estritamente menor que seu mínimo essencial ($h_L(G) < \mu^{\text{ess}}_L(G)$), impedindo a aplicação direta do arcabouço de Yuan–Zhang.

Metodologia
O autor, Wei Xue, desenvolve uma estratégia de prova que isola as estimativas assintóticas no argumento de Kühne e as reinterpreta através de "caminhos de compressão explícitos". A metodologia procede em quatro estágios distintos:

1. Trivialização Local e Construção Adélica: O artigo estende a trivialização local arquimediana de Kühne para todos os lugares de um campo numérico $K$. Usando a uniformização de Raynaud–Bosch–Lütkebohmert para variedades abelianas e funções theta $p$-ádicas, o autor constrói um feixe de linhas adélico $\mathcal{G}(D)$ na compactificação semiabeliana $\overline{G}$ associada a um divisor métrico tórico $D$. Esta construção garante a compatibilidade com as trivializações locais em cada lugar, permitindo uma comparação precisa entre a altura na variedade semiabeliana e o mínimo absoluto na parte tórica.

2. Caso da Métrica Canônica: O artigo estabelece primeiro a equidistribuição para o caso da métrica canônica. Ao construir uma torre de divisão $n$-ária e estender as estimativas assintóticas de Kühne para divisores tóricos amplos arbitrários, o autor prova que sequências pequenas genéricas equidistribuem com relação à medida canônica. Isso envolve o controle dos termos de translação de Picard-zero e o estabelecimento de um "limite inferior canônico" para as alturas.

3. Compressão Quasi-Canônica: Para métricas que são quasi-canônicas, mas não necessariamente canônicas, o artigo introduz "caminhos de compressão explícitos". A métrica é comprimida em direção a um modelo quasi-canônico singularizado por seu centro tropical crítico. O autor constrói parâmetros de compressão explícitos $m(n)$ e prova que os limites inferiores, estimativas de medida e comparações de volume aritmético mantêm-se uniformes ao longo desses caminhos. Este passo efetivamente transporta os argumentos de fatia de Haar e morfismo de diferença de Kühne do $(\mathbb{P}^1)^t$ padrão para uma compactificação tórica própria normal arbitrária $X_\Sigma$.

4. Redução Monocritical: O passo final lida com o caso monocritical geral. Usando a teoria de medida tórica de Burgos Gil, Philippon, Rivera-Letelier e Sombra (BGPS), o autor mostra que métricas monocritical podem ser reduzidas a métricas quasi-canônicas via uma "substituição quasi-canônica". Isso baseia-se na T-efetividade aritmética da métrica, que fixa a origem no conjunto de estabilidade da função de telhado (roof function). Mostra-se que a medida limite para a métrica monocritical coincide com a da métrica quasi-canônica associada.

Contribuições Principais e Resultados

• Equidistribuição Genérica (Teorema 1.3): O artigo prova que, para uma variedade semiabeliana $G$ sobre um campo numérico, equipada com um feixe de linhas $L = \mathcal{G}(D) \otimes \pi^*N$ onde $D$ é um divisor métrico tórico grande, T-efetivo, semipositivo e monocritical, toda sequência $L$-pequena genérica satisfaz a equidistribuição $v$-ádica em cada lugar $v$.
• Teorema de Bogomolov (Teorema 1.4): O artigo estabelece o teorema de Bogomolov para esta classe específica de métricas. Prova que, se uma subvariedade fechada $X \subseteq G$ satisfaz $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$, então $X$ é uma subvariedade especial (um translado de um subgrupo algébrico por um ponto de torção). Inversamente, se $G(K)$ contém pontos $L$-especiais, então $X$ é $L$-especial se, e somente se, $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$.
• Montagem de Transporte de Kühne (Kühne Transport Assembly): Uma contribuição técnica significativa é o "Kühne Transport Assembly" (Proposição 96). Este pacote adapta rigorosamente a análise de trivialização local de Kühne, os morfismos de diferença e os argumentos de contradição de caixa pequena para compactificações tóricas arbitrárias e métricas quasi-canônicas. Demonstra que as identidades de pushforward e as descrições de fatia de Haar usadas no caso canônico permanecem válidas sob essas generalizações, desde que as convenções de fatores theta sejam corretamente gerenciadas.
• Equidistribuição Estrita: O artigo deriva um teorema de equidistribuição estrita (Teorema 102) para métricas quasi-canônicas, mostrando que sequências estritamente pequenas equidistribuem em direção à medida de probabilidade canônica. Isso é alcançado combinando a propriedade de Bogomolov com o resultado de equidistribuição genérica, evitando a circularidade ao usar o "modelo quasi-canônico restrito" em envelopes especiais mínimos.

Significância e Alegações
O artigo afirma estender o escopo dos teoremas de equidistribuição e Bogomolov além do alcance quasi-canônico de Yuan–Zhang e do alcance canônico de Kühne. A contribuição não é uma nova prova do teorema canônico nem um resultado para todas as métricas tóricas semipositivas. Em vez disso, visa a classe específica de métricas tóricas monocritical e aritmeticamente T-efetivas.

A significância reside no "mecanismo de comparação" estabelecido entre métricas canônicas, quasi-canônicas e tóricas gerais. Ao isolar as estimativas assintóticas e reinterpretá-las via caminhos de compressão, o autor fornece uma ponte que permite que o poderoso aparato dos argumentos de trivialização local de Kühne seja aplicado a métricas que não são estritamente quasi-canônicas. O artigo nota explicitamente que a "métrica geral" referida no contexto da aplicação de Bogomolov é restrita a esta classe controlada, e que estender o argumento para métricas semipositivas arbitrárias exigiria novos teoremas de substituição ou deformação além do escopo atual.

O trabalho depende fortemente da interação entre geometria tropical (vetores críticos, funções de telhado), teoria de interseção aritmética (feixes de linhas adélicos, volumes aritméticos) e uniformização analítica (extensões de Raynaud, funções theta). Ele integra com sucesso os critérios monocritical de BGPS com a decomposição de altura semiabeliana para resolver o problema de equidistribuição para esta classe específica e não trivial de métricas.