A counterexample to the bounded mass property

Sintesi Tecnica: Un Controesempio alla Proprietà della Massa Limitata

Enunciato del Problema
Il saggio affronta una questione fondamentale nella teoria pluripotenziale su varietà complesse compatte: la validità della proprietà della massa limitata (bounded mass property). Su una varietà kähler compatta, la massa totale di Monge–Ampère $\int_X (\omega + dd^c \phi)^n$ è invariante rispetto al potenziale $\phi$ grazie al teorema di Stokes. Tuttavia, su varietà complesse compatte generiche dotate di una forma hermitiana $\omega$ (che non è necessariamente chiusa), questa massa dipende da $\phi$.

La questione centrale, posta da Boucksom–Guedj–Lu [BGL25], è se il volume di Monge–Ampère superiore
$$\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\}$$
sia finito per ogni varietà complessa compatta. Sebbene tale proprietà sia nota per le varietà di dimensione $n \le 2$ e per quelle della classe di Fujiki, la sua validità per varietà generiche, in particolare per le varietà di Hopf di dimensione $n \ge 3$, rimaneva aperta.

Metodologia e Costruzione
Gli autori costruiscono un controesempio sulla terza varietà di Hopf $X = (\mathbb{C}^3 \setminus \{0\}) / \langle z \mapsto e^{-1}z \rangle$. La strategia di prova si basa sulla struttura geometrica di $X$ come fibrato ellittico $\pi: X \to \mathbb{P}^2$ con fibra $E = \mathbb{C}/(\mathbb{Z} + 2\pi i \mathbb{Z})$.

1. Forma di Sfondo e Identità della Massa:
   Gli autori definiscono una specifica forma hermitiana $\omega = \alpha + \beta$, dove $\alpha = \pi^* \omega_{FS}$ è il pullback della forma di Fubini–Study e $\beta$ è una forma semipositiva di rango uno positiva lungo le fibre. Viene derivata un'identità cruciale: $dd^c \beta = -\alpha^2$.
   Utilizzando il teorema di Stokes e le specifiche proprietà coomologiche di $\omega$, stabiliscono un'identità della massa esatta (Lemma 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),$$
   dove $V_w$ denota la derivata rispetto alla fibra e $dA_E$ è la misura di Haar normalizzata sulla fibra. Questa identità rivela che la massa totale eccede il volume della base per un termine proporzionale all'energia di Dirichlet rispetto alla fibra del potenziale.

2. Criterio di Positività:
   Per garantire che i potenziali $V$ costruiti producano una forma hermitiana valida ($\omega + dd^c V > 0$), gli autori riducono la condizione di positività a tre disuguaglianze scalari riguardanti le derivate di $V$ rispetto alla coordinata radiale della base $x$ e alla variabile della fibra $w$. La condizione più restrittiva è:
   $$Q[V] := V_{xx} + \mu - \frac{|\mu + V_x \bar{w}|^2}{1 + V_w \bar{w}} > 0,$$
   dove $\mu$ è una funzione della coordinata della base.

3. Costruzione del Potenziale tramite Kernel del Calore:
   Il nucleo della costruzione consiste nel creare potenziali con energia rispetto alla fibra arbitrariamente grande mantenendo la condizione di positività $Q[V] > 0$.

   • Potenziali del Kernel del Calore: Gli autori utilizzano il kernel del calore $k_t$ sulla fibra ellittica $E$. Definiscono un potenziale $F_\eta(t, w)$ correlato all'integrale del kernel del calore, che possiede un'energia rispetto alla fibra che scala come $2\eta^2 \log(1/t)$.
   • Estensione Globale e Cutoff: Una difficoltà maggiore consiste nell'estendere questi potenziali locali a una varietà compatta $X$. Il potenziale deve essere costante per grandi coordinate della base per garantire la regolarità (smoothness). Gli autori costruiscono un potenziale globale $V_\eta(x, w)$ accoppiando il parametro temporale del kernel del calore $t$ alla coordinata della base $x$ tramite una specifica funzione di profilo $q(x)$.
   • Controllo dei Termini Incrociati: Il termine $|\mu + V_x \bar{w}|^2$ in $Q[V]$ rappresenta un effetto di "trasporto" che potrebbe violare la positività. Gli autori dimostrano che scegliendo accuratamente la velocità di trasporto (determinata dalla derivata di $q(x)$), il contributo negativo di questo termine incrociato è dominato dai termini positivi o è esponenzialmente piccolo. Ciò si basa su stime precise del kernel del calore e delle sue derivate (Lemmi 3.2 e 3.3).
   • Termine di Correzione: Un termine di correzione finale, dipendente solo da $x$, viene aggiunto a $V_\eta$ per imporre strettamente $Q[V] > 0$ ovunque senza alterare l'energia rispetto alla fibra su una fissata sfera della base.

Risultati Chiave
Il saggio dimostra il Teorema 1.1: Sulla terza varietà di Hopf $X$, esiste una forma hermitiana regolare $\omega$ e una sequenza di funzioni regolari $\phi_j$ tali che $\omega + dd^c \phi_j > 0$ e
$$\int_X (\omega + dd^c \phi_j)^3 \to +\infty \quad \text{per } j \to \infty.$$
Di conseguenza, $\text{vol}(\omega) = +\infty$, dimostrando che la terza varietà di Hopf non possiede la proprietà della massa limitata.

Significato e Rivendicazioni
Il saggio sostiene di rispondere a una specifica questione aperta sollevata da Boucksom–Guedj–Lu [BGL25] riguardante la proprietà della massa limitata per le varietà di Hopf di dimensione almeno tre.

• Disprofezione dell'Universalità: Il risultato smentisce l'ipotesi che la proprietà della massa limitata valga per ogni varietà complessa compatta. Stabilisce che tale proprietà fallisce già in dimensione complessa tre.
• Impatto Teorico: La finitezza del volume di Monge–Ampère è un'ipotesi costante nei recenti sviluppi della teoria pluripotenziale hermitiana (ad esempio, [ALS25; Li26]) e nella teoria dei volumi delle classi di Bott–Chern [BGL25]. Questo controesempio indica che tali teorie non possono essere estese universalmente a tutte le varietà complesse compatte senza vincoli geometrici aggiuntivi.
• Contributo Metodologico: Il lavoro fornisce un meccanismo concreto per generare una massa illimitata tramite l'energia di Dirichlet rispetto alla fibra, sfruttando la specifica natura non chiusa delle forme hermitiane sulle varietà di Hopf.

Gli autori dichiarano esplicitamente che il controesempio iniziale è stato costruito con l'assistenza di un agente IA (Rethlas), ma la semplificazione, la prova rigorosa e tutte le asserzioni nel saggio sono della sola responsabilità degli autori.