A counterexample to the bounded mass property

Resumo Técnico: Um Contraexemplo à Propriedade da Massa Limitada

Enunciado do Problema
O artigo aborda uma questão fundamental na teoria pluripotencial em variedades complexas compactas: a validade da propriedade da massa limitada (bounded mass property). Em uma variedade cáler compacta, a massa total de Monge–Ampère $\int_X (\omega + dd^c \phi)^n$ é invariante sob o potencial $\phi$ devido ao teorema de Stokes. No entanto, em variedades complexas compactas gerais equipadas com uma forma Hermitiana $\omega$ (que não é necessariamente fechada), esta massa depende de $\phi$.

A questão central, formulada por Boucksom–Guedj–Lu [BGL25], é se o volume de Monge–Ampère superior
$$\text{vol}(\omega) := \sup \left\{ \int_X (\omega + dd^c \phi)^n : \phi \in C^\infty(X, \mathbb{R}), \ \omega + dd^c \phi > 0 \right\}$$
é finito para toda variedade complexa compacta. Embora esta propriedade seja conhecida por ser válida para variedades de dimensão $n \le 2$ e para aquelas na classe de Fujiki, sua validade para variedades gerais, particularmente variedades de Hopf de dimensão $n \ge 3$, permanecia em aberto.

Metodologia e Construção
Os autores constroem um contraexemplo na variedade de Hopf tríplice $X = (\mathbb{C}^3 \setminus \{0\}) / \langle z \mapsto e^{-1}z \rangle$. A estratégia de prova baseia-se na estrutura geométrica de $X$ como uma fibração elíptica $\pi: X \to \mathbb{P}^2$ com fibra $E = \mathbb{C}/(\mathbb{Z} + 2\pi i \mathbb{Z})$.

1. Forma de Fundo e Identidade de Massa:
   Os autores definem uma forma Hermitiana específica $\omega = \alpha + \beta$, onde $\alpha = \pi^* \omega_{FS}$ é o pullback da forma de Fubini–Study e $\beta$ é uma forma semipositiva de posto um positiva ao longo das fibras. Uma identidade crucial é derivada: $dd^c \beta = -\alpha^2$.
   Utilizando o teorema de Stokes e as propriedades cohomológicas específicas de $\omega$, estabelecem uma identidade de massa exata (Lema 2.3):
   $$\int_X (\omega + dd^c V)^3 = \int_X \omega^3 + 12\pi \int_{\mathbb{P}^2} \left( \int_{\pi^{-1}(y)} |V_w|^2 \, dA_E \right) \omega_{FS}^2(y),$$
   onde $V_w$ denota a derivada por fibra e $dA_E$ é a medida de Haar normalizada na fibra. Esta identidade revela que a massa total excede o volume da base por um termo proporcional à energia de Dirichlet por fibra do potencial.

2. Critério de Positividade:
   Para garantir que os potenciais $V$ construídos gerem uma forma Hermitiana válida ($\omega + dd^c V > 0$), os autores reduzem a condição de positividade a três desigualdades escalares envolvendo derivadas de $V$ em relação à coordenada radial da base $x$ e à variável da fibra $w$. A condição mais restritiva é:
   $$Q[V] := V_{xx} + \mu - \frac{|\mu + V_x \bar{w}|^2}{1 + V_w \bar{w}} > 0,$$
   onde $\mu$ é uma função da coordenada da base.

3. Construção de Potencial via Núcleo de Calor:
   O cerne da construção envolve a criação de potenciais com energia por fibra arbitrariamente grande, mantendo a condição de positividade $Q[V] > 0$.

   • Potenciais de Núcleo de Calor: Os autores utilizam o núcleo de calor $k_t$ no núcleo elíptico $E$. Eles definem um potencial $F_\eta(t, w)$ relacionado à integral do núcleo de calor, que possui uma energia por fibra escalonada como $2\eta^2 \log(1/t)$.
   • Extensão Global e Funções de Corte: Uma dificuldade importante é estender esses potenciais locais para a variedade compacta $X$. O potencial deve ser constante para grandes coordenadas da base para garantir a suavidade. Os autores constroem um potencial global $V_\eta(x, w)$ acoplando o parâ de tempo do núcleo de calor $t$ a uma função de perfil $q(x)$ da coordenada da base $x$.
   • Controle de Termos Cruzados: O termo $|\mu + V_x \bar{w}|^2$ representa um efeito de "transporte" que poderia violar a positividade. Os autores provam que, ao escolher cuidadosamente a velocidade de transporte (determinada pela derivada de $q(x)$), a contribuição negativa deste termo cruzado é dominada pelos termos positivos ou é exponencialmente pequena. Isso se baseia em estimativas precisas do núcleo de calor e de suas derivadas (Lemmas 3.2 e 3.3).
   • Termo de Correção: Um termo de correção final dependente apenas de $x$ é adicionado a $V_\eta$ para impor estritamente $Q[V] > 0$ em todos os pontos sem alterar a energia por fibra em uma bola fixa da base.

Resultados Principais
O artigo prova o Teorema 1.1: Na variedade de Hopf tríplice $X$, existe uma forma Hermitiana suave $\omega$ e uma sequência de funções suaves $\phi_j$ tais que $\omega + dd^c \phi_j > 0$ e
$$\int_X (\omega + dd^c \phi_j)^3 \to +\infty \quad \text{quando } j \to \infty.$$
Consequentemente, $\text{vol}(\omega) = +\infty$, demonstrando que a variedade de Hopf não possui a propriedade da massa limitada.

Significância e Alegações
O artigo afirma responder a uma questão específica levantada por Boucksom–Guedj–Lu [BGL25] sobre a propriedade da massa limitada para variedades de Hopf de dimensão pelo menos três.

• Desprova da Universalidade: O resultado desmente a hipótesia de que a propriedade da massa limitada se aplica a toda variedade complexa compacta. Estabelece que esta propriedade falha já na dimensão complexa três.
• Impacto Teórico: A finitude do volume de Monge–Ampère é uma hipótese constante nos desenvolvimentos recentes da teoria pluripotencial Hermitiana (ex: [ALS25; Li26]) e na teoria dos volumes de classes de Bott–Chern [BGL25]. Este contraexemplo indica que estas teorias não podem ser universalmente estendidas a todas as variedades complexas compactas sem restrições geométricas adicionais.
• Contribuição Metodológica: O trabalho fornece um mecanismo concreto para gerar massa ilimitada via energia de Dirichlet por fibra, aproveitando a natureza não fechada específica das formas de Hermitiana em variedades de Hopf.

Os autores declaram explicitamente que o contraexemplo inicial foi construído com o auxílio de um agente de IA (Rethlas), mas a simplificação, a prova rigorosa e todas as afirmações no artigo são de inteira responsabilidade dos autores.