Transcendental b-divisors II -- Monotonicity theorem

Resumo Técnico: Teorema de Monotonicidade para B-Divisores Transcendentais

1. Problema e Motivação

O artigo aborda um problema fundamental na geometria complexa e na teoria de pluripotentiais: a quantificação da perda de massa (volume) quando se aumenta a singularidade de correntes positivas $(1,1)$ em uma variedade Kähleriana compacta $X$.

• Contexto: Seja $T_1, \dots, T_n$ e $S_1, \dots, S_n$ correntes positivas fechadas $(1,1)$ na mesma classe de cohomologia, onde cada $T_i$ é "mais singular" que $S_i$. O teorema de monotonicidade clássico (Witt Nyström, Darvas-Xia) estabelece que o volume misto satisfaz $\text{vol}(S_1, \dots, S_n) \geq \text{vol}(T_1, \dots, T_n)$.
• A Lacuna: Embora a desigualdade seja conhecida, não havia um controle quantitativo ou qualitativo preciso sobre quanto massa é perdida em função do aumento da singularidade. Trabalhos anteriores (de Vu, Su, etc.) forneciam limites inferiores não ótimos, baseados em produtos não-pluripolares relativos e correntes de densidade.
• Objetivo: O autor visa quantificar a diferença entre os volumes em termos dos números de Lelong das correntes, utilizando uma estrutura algébrica-geométrica mais robusta: a teoria de b-divisores nef.

2. Metodologia

A abordagem central do artigo é o desenvolvimento e a aplicação da teoria de interseção de b-divisores nef transcendentais, uma extensão da teoria de interseção móvel (movable intersection) e da teoria de correntes.

• B-Divisores Nef: O autor utiliza b-divisores (famílias de classes de cohomologia compatíveis sobre todas as modificações biracionais da variedade) para linearizar o problema. Enquanto a interseção móvel clássica é não-linear, a interseção de b-divisores é linear.
• Teoria de Interseção Generalizada: O artigo constrói uma teoria de interseção completa para $p$ b-divisores nef, definindo um produto $D_1 \cap \dots \cap D_p$ que recupera a interseção móvel clássica como um caso especial e generaliza o produto não-pluripolar.
• Volume Restrito: Introduz-se o conceito de volume restrito de b-divisores a um divisor primo $D$, denotado por $\text{vol}_{X|D}(D_1, \dots, D_p)$. Esta quantidade mede a "contribuição" da interseção ao longo do divisor $D$.
• Corpos de Okounkov Transcendentais: Para obter constantes explícitas e ótimas, o autor recorre a resultados recentes sobre corpos de Okounkov transcendentais, estabelecendo uma conexão entre a geometria de correntes e a geometria convexa.

3. Principais Contribuições e Resultados

O artigo apresenta quatro teoremas principais (A, B, C e D) e diversas consequências:

A. Teoria de Interseção de B-Divisores (Teorema A)

• Estabelece um mapa de interseção multi-linear para b-divisores nef.
• Demonstra que a interseção de b-divisores induzidos por classes pseudoeffectivas coincide com a interseção móvel clássica.
• Mostra que a interseção de b-divisores associados a correntes $I$-boas recupera a classe de cohomologia do produto não-pluripolar.

B. Teorema de Monotonicidade Qualitativa (Teorema B)

• Fornece uma desigualdade fundamental que quantifica a perda de massa. Se $T \preceq_I T'$ (onde $T$ é mais singular que $T'$), então:
  $$D_1 \cap \dots \cap D_p \cap D(T') - D_1 \cap \dots \cap D_p \cap D(T) \geq \sum_{D/X} (\nu(T, D) - \nu(T', D)) \cdot \text{vol}_{|D}(D_1, \dots, D_p)$$
• O lado direito é uma soma sobre todos os divisores primos $D$ sobre $X$, ponderada pela diferença dos números de Lelong e pelo volume restrito.
• Igualdade: A igualdade é atingida quando os b-divisores são Cartier.

C. Perda de Massa com Constantes Explícitas (Teorema C e Corolários)

• O autor deriva uma estimativa inferior para a diferença de volumes de duas correntes na mesma classe grande (big):
  $$\text{vol}(S) - \text{vol}(T) \geq (\nu(T, D) - \nu(S, D))^n \cdot \frac{\text{vol}(S)}{(\text{width}(\alpha, D))^n}$$
• Inovação: Diferente de trabalhos anteriores que usavam constantes universais (que se mostraram não ótimas), este resultado fornece constantes explícitas dependentes da largura da classe ($\text{width}(\alpha, D) = \nu_{\max} - \nu_{\min}$) e do volume restrito.
• O artigo prova que a dependência na constante não pode ser universal, usando exemplos toricos para mostrar que a constante deve depender da geometria da classe.

D. Igualdade e Inequações de Morse (Teorema D)

• Sob a hipótese da Inequação de Morse Transcendental (confirmada para variedades projetivas por Witt Nyström), a desigualdade do Teorema B torna-se uma igualdade.
• Em dimensão 1 (superfícies de Riemann), a desigualdade é sempre uma igualdade, permitindo decompor a perda de massa como a soma das diferenças dos números de Lelong.
• Em dimensão 2, a igualdade também se mantém devido à confirmação da inequação de Morse.

E. Conexão com Geometria Convexa (Seção 7)

• No caso torico, o teorema principal recupera a Fórmula de Volume de Minkowski para corpos convexos.
• A medida limite definida no lado direito da igualdade corresponde exatamente à medida de área mista (mixed area measure) de Aleksandrov e Fenchel-Jessen.
• Isso fornece uma nova construção geométrica para as medidas de área mista via teoria de pluripotentiais.

4. Significado e Impacto

• Otimização de Limites: O trabalho fornece os melhores limites inferiores conhecidos para a perda de massa de correntes, superando resultados anteriores de Vu e Su ao fornecer constantes ótimas e explícitas.
• Unificação de Teorias: O artigo une a teoria de interseção móvel, a teoria de b-divisores, a teoria de correntes pluripotentiais e a geometria convexa (corpos de Okounkov e fórmulas de Minkowski).
• Ferramenta Quantitativa: A introdução do volume restrito de b-divisores oferece uma nova ferramenta poderosa para estudar desigualdades de volume em geometria complexa, permitindo tratamentos mais finos de singularidades.
• Aplicações Futuras: O autor sugere que a medida limite definida no teorema pode ser interpretada como uma integral sobre a anificação de Berkovich, com potenciais aplicações em sistemas dinâmicos. Além disso, a decomposição da perda de massa em dimensão 1 sugere a definição de novas medidas de Monge-Ampère.

Em suma, este artigo avança significativamente a compreensão quantitativa de como a singularidade afeta o volume em variedades Kählerianas, estabelecendo uma ponte rigorosa entre a análise complexa e a geometria algébrica via a teoria de b-divisores.