Heights on toric varieties for singular metrics: Global theory

Este artigo desenvolve uma teoria análoga para variedades toricas aos divisores adélicos introduzidos por Yuan e Zhang, estabelecendo que o número de interseção aritmética de um divisor adélico torico semipositivo é dado pela integral de uma função côncava sobre um conjunto convexo compacto, permitindo assim o cálculo das alturas de variedades toricas aritméticas com métricas singulares.

O essencial

Imagine que você é um arquiteto tentando medir a "complexidade" de um prédio. Na matemática, existem objetos geométricos chamados variedades (que são como espaços ou formas abstratas). Quando esses objetos são definidos sobre os números inteiros (como o nosso mundo de contagem), chamamos de variedades aritméticas.

O objetivo deste artigo é criar uma nova "régua" para medir a complexidade de um tipo específico de prédio: os variedades toricas. Pense nelas como prédios com uma simetria perfeita, como um cubo, um dodecaedro ou um bolo de aniversário com camadas perfeitas, que podem ser girados em torno de um centro sem mudar de aparência.

Aqui está a explicação do que o autor, Gari Peralta, fez, usando analogias do dia a dia:

1. O Problema: A Régua Quebrada

Antigamente, os matemáticos tinham uma régua perfeita (chamada teoria de Arakelov) para medir a complexidade desses prédios, mas havia uma regra chata: a régua só funcionava se a superfície do prédio fosse perfeitamente lisa e polida.

No entanto, na vida real (e em muitos problemas matemáticos importantes), esses "prédios" têm imperfeições, buracos ou arestas cortantes. São os chamados métricas singulares.

• A analogia: Imagine tentar medir a altura de uma montanha usando uma régua de vidro. Se a montanha tiver picos afiados ou fendas, a régua de vidro quebra. Os matemáticos precisavam de uma régua de borracha ou de um laser que pudesse lidar com essas irregularidades sem quebrar.

2. A Solução: O "Mapa de Sombra" (Função Telhado)

O autor desenvolveu uma nova maneira de medir esses prédios imperfeitos focando na toric (simetria).

• A Metáfora: Imagine que você tem um prédio complexo. Em vez de tentar medir cada tijolo e cada rachadura, você projeta a sombra dele no chão em um dia de sol perfeito.
• Na matemática torica, essa "sombra" é chamada de poliedro convexo (uma forma geométrica simples, como um triângulo ou um hexágono).
• O autor descobriu que a complexidade do prédio inteiro (chamada de altura ou interseção aritmética) pode ser calculada inteiramente olhando para uma função que descreve a "altura" dessa sombra. Ele chamou essa função de função telhado global (global roof function).

É como se, em vez de contar cada tijolo, você apenas calculasse o volume de água que caberia em um molde feito da sombra do prédio.

3. A Grande Descoberta: A Fórmula do Volume

O resultado principal do artigo é uma fórmula mágica. Ele diz:

"Para saber a complexidade total de um prédio torico com imperfeições, basta integrar (somar) a altura da sua sombra em todo o seu formato."

• A Analogia: Pense em um bolo. Se você quer saber o quanto de massa usou, não precisa pesar cada fatia separadamente se você souber a fórmula da forma do bolo e a altura da massa em cada ponto. O autor mostrou que, para esses prédios matemáticos, a "massa total" (a complexidade aritmética) é igual ao volume sob o gráfico dessa função telhado.

4. Por que isso é importante? (O "Pulo do Gato")

Antes deste trabalho, para medir prédios com imperfeições graves, os matemáticos precisavam de ferramentas muito complicadas ou não conseguiam medir nada.

• O que mudou: O autor mostrou que, mesmo que o prédio tenha buracos gigantes ou arestas muito afiadas (singularidades), se ele tiver essa simetria torica, a "sombra" (o poliedro) ainda existe e a fórmula do volume ainda funciona.
• Exemplo Prático: O artigo mostra casos onde a medida anterior dava "infinito" ou "erro", mas a nova fórmula dá um número finito e exato. É como se o autor tivesse encontrado uma maneira de medir a profundidade de um buraco sem cair nele.

5. O Resumo em uma Frase

Este artigo criou um novo método de medição para objetos geométricos simétricos com imperfeições, transformando um problema matemático extremamente difícil (medir a complexidade de formas quebradas) em um cálculo de volume simples sobre uma forma geométrica plana (a sombra).

Em suma: O autor pegou uma régua quebrada, consertou-a usando a simetria do objeto e descobriu que, para esses objetos especiais, a resposta para "quão complexo é?" é simplesmente o volume da sombra que eles projetam.

Resumo técnico

Resumo Técnico: Alturas em Variedades Toricas para Métricas Singulares: Teoria Global

1. Problema e Motivação

O artigo aborda a extensão da teoria de geometria de Arakelov para variedades projetivas toricas, especificamente no contexto de métricas singulares e no cenário quase-projetivo.

• Contexto: A teoria clássica de interseção aritmética (Gillet-Soulé) e a teoria de divisores adélicos introduzida por Yuan e Zhang exigem métricas suaves ou condições de positividade estritas (nef). No entanto, muitos objetos geométricos importantes, como o feixe de Hodge em compactificações toroidais de espaços de módulos de variedades abelianas ou feixes de formas de Siegel-Jacobi, possuem métricas naturalmente singulares (logarítmicas ou piores).
• Desafio: A teoria de Yuan-Zhang para variedades quase-projetivas define divisores adélicos como limites de Cauchy de divisores aritméticos em modelos projetivos. O grupo resultante, $\text{Div}(U/\mathbb{Z})$, é um objeto complexo e abstrato, tornando o cálculo explícito de alturas e números de interseção aritmética extremamente difícil, pois requer o entendimento de toda a categoria de modelos projetivos.
• Objetivo: Desenvolver uma versão torica da teoria de divisores adélicos de Yuan-Zhang, permitindo descrições convexo-analíticas explícitas para variedades toricas quase-projetivas com métricas singulares, generalizando resultados anteriores de Burgos, Philippon e Sombra (para o caso projetivo) e Burgos-Kramer (para o caso singular).

2. Metodologia

O autor utiliza uma abordagem combinatória e analítica baseada na estrutura torica:

• Variedades Toricas Aritméticas: O trabalho estuda esquemas toricos sobre o anel de inteiros $\mathcal{O}_K$ de um corpo de números $K$. Utiliza-se a noção de leques aritméticos (arithmetic fans), que consistem em um leque projetivo suave $\Sigma$ no espaço vetorial $N_{\mathbb{R}}$ e uma coleção de leques projetivos $\tilde{\Sigma}_p$ no semi-espaço $N_{\mathbb{R}} \times \mathbb{R}_{\geq 0}$ para cada primo $p$, compatíveis entre si.
• Divisores Adélicos Toricos: Define-se o grupo de divisores adélicos toricos $\text{Div}_T(U/\mathcal{O}_K)$ como a completude do limite direto de divisores aritméticos toricos em modelos projetivos, em relação a uma topologia de fronteira (boundary topology).
• Funções de Tejadilho (Roof Functions): A metodologia central é traduzir a geometria aritmética para a análise convexa.
  • Utiliza-se a tropicalização para mapear funções de Green invariantes sob o toro para funções contínuas no espaço de co-caracteres $N_{\mathbb{R}}$.
  • Aplica-se a transformada de Legendre-Fenchel para definir funções de "tejadilho" ($\vartheta$) no espaço dual $M_{\mathbb{R}}$.
  • Estabelece-se uma correspondência biunívoca entre divisores adélicos toricos semipositivos e tuplas de funções côncavas fechadas, satisfazendo condições de crescimento e compatibilidade.
• Aproximação: O autor constrói sequências decrescentes de divisores modelo para aproximar divisores adélicos gerais, permitindo o cálculo de limites de números de interseção.

3. Principais Contribuições e Resultados

A. Caracterização Convexo-Analítica (Teorema 1)
O artigo estabelece uma bijeção entre o cone de divisores adélicos toricos semipositivos e o cone de tuplas de funções côncavas fechadas $(\vartheta_v)_{v \in M(K)}$ definidas em um conjunto convexo compacto $\Delta \subset M_{\mathbb{R}}$.

• As funções devem satisfazer condições de racionalidade em lugares finitos e um comportamento assintótico controlado (relacionado à convolução suprema com funções indicadoras de bolas).
• Isso generaliza a descrição clássica de Burgos-Philippon-Sombra para o caso singular e quase-projetivo.

B. Função de Tejadilho Global e Positividade (Teorema 2)
Define-se a função de tejadilho global $\vartheta_D$ como a soma ponderada das funções de tejadilho locais $v$-ádicas:
$$\vartheta_D = \sum_{v \in M(K)} \delta_v \cdot \vartheta_{D,v}$$

• Resultado Chave: Um divisor adélico torico semipositivo $D$ é nef (nef aritmético) se e somente se sua função de tejadilho global $\vartheta_D$ for não-negativa em todo o seu domínio.
• O artigo demonstra que, para pontos no interior do domínio, a soma que define $\vartheta_D$ é finita, embora o número de termos não-nulos possa crescer à medida que se aproxima da fronteira.

C. Fórmula Integral para Interseção Aritmética (Teorema 3)
Este é o resultado central do trabalho. Para um divisor adélico torico semipositivo $D$ cuja função de tejadilho global não é identicamente $-\infty$, o número de auto-interseção aritmética é dado por:
$$\widehat{\deg}(D^{d+1}) = (d+1)! \int_{\Delta_D} \vartheta_D \, d\text{Vol}_M = (d+1)! \sum_{v \in M(K)} \delta_v \int_{\Delta_D} \vartheta_{D,v} \, d\text{Vol}_M$$

• O número de interseção pode ser finito ou $-\infty$.
• É finito se e somente se $\vartheta_D \in L^1(\Delta_D)$.
• Esta fórmula unifica e generaliza os resultados conhecidos para variedades projetivas suaves e para o caso local.

D. Comparação com Outras Teorias
O autor compara sua definição de interseção aritmética com:

1. Yuan-Zhang: A teoria coincide no caso nef, mas o trabalho de Peralta estende a validade para divisores semipositivos com funções de tejadilho ilimitadas (singulares), algo não coberto diretamente pela teoria original de Yuan-Zhang sem adaptações.
2. Burgos-Kramer: A teoria de Burgos-Kramer utiliza energia relativa mista. O autor mostra que, no caso torico, suas fórmulas coincidem com as de Burgos-Kramer quando aplicadas a divisores nef. No entanto, a abordagem torica permite calcular interseções para divisores onde as métricas locais são singulares em todos os lugares (não apenas no lugar arquimediano), algo que a teoria de Burgos-Kramer padrão não cobre facilmente.

4. Significado e Impacto

• Computabilidade Explícita: A principal contribuição é transformar um problema abstrato de geometria aritmética (cálculo em grupos de divisores adélicos) em um problema de análise convexa (integração de funções côncavas). Isso torna viável o cálculo explícito de alturas para variedades toricas com métricas singulares complexas.
• Exemplos de Contraste: O artigo constrói exemplos explícitos (Exemplos 6.2.3 a 6.2.8) de divisores adélicos toricos que:
  • Não são divisores modelo (não vêm de um único modelo projetivo).
  • Possuem métricas singulares em todos os lugares (incluindo lugares finitos).
  • Têm números de interseção aritmética finitos, mesmo não sendo nef nem integráveis no sentido estrito de teorias anteriores.
  • Demonstram que a desigualdade de altura (Corollary 6.1.5) não é sempre uma igualdade, revelando nuances na aditividade de alturas em contextos singulares.
• Aplicações Futuras: A teoria fornece ferramentas para testar conjecturas como a de Bogomolov e Mordell-Lang em variedades quase-projetivas, fornecendo exemplos concretos onde os cálculos são factíveis.

Em suma, o artigo estabelece uma teoria global robusta e computável para a geometria de Arakelov de variedades toricas com métricas singulares, preenchendo uma lacuna entre a teoria abstrata de divisores adélicos e as necessidades de cálculo em problemas aritméticos concretos.