A counterexample to the bounded mass property

Technische Samenvatting: Een Tegenvoorbeeld voor de Bounded Mass Property

Probleemstelling
Het artikel behandelt een fundamentele vraag in de pluripotentiële theorie op compacte complexe variëteiten: de geldigheid van de bounded mass property (beperkte massa-eigenschap). Op een compacte Kähler-variëteit is de totale Monge–Ampère-massa $\int_X (\omega + dd^c \phi)^n$ invariant onder de potentiaal $\phi$ vanwege de stelling van Stokes. Echter, op algemene compacte complexe variëteiten uitgerust met een Hermitische vorm $\omega$ (die niet noodzakelijkerwijs gesloten is), hangt deze massa af van $\phi$.

De centrale vraag, gesteld door Boucksom–Ggedj–Lu [BGL25], is of de bovenste Monge–Ampère-volume
$$\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\}$$
eindig is voor elke compacte complexe variëteit. Hoewel deze eigenschap bekend is voor variëteiten van dimensie $n \le 2$ en variëteiten in de Fujiki-klasse, bleef de geldigheid ervan voor algemene variëteiten, met name Hopf-variëteiten van dimensie $n \ge 3$, onbekend.

Methodologie en Constructie
De auteurs construeren een tegenvoorbeeld op de Hopf-driedimensionale variëteit $X = (\mathbb{C}^3 \setminus \{0\}) / \langle z \mapsto e^{-1}z \rangle$. De bewijsstrategie steunt op de geometrische structuur van $X$ als een elliptische fibratie $\pi: X \to \mathbb{P}^2$ met vezel $E = \mathbb{C}/(\mathbb{Z} + 2\pi i \mathbb{Z})$.

1. Achtergrondvorm en Massa-identiteit:
   De auteurs definiëren een specifieke Hermitische vorm $\omega = \alpha + \beta$, waarbij $\alpha = \pi^* \omega_{FS}$ de pullback is van de Fubini–Study-vorm en $\beta$ een rank-één semipositieve vorm is die positief is langs de vezels. Een cruciale identiteit wordt afgeleid: $dd^c \beta = -\alpha^2$.
   Met behulp van de stelling van Stokes en de specifieke cohomologische eigenschappen van $\omega$, stellen zij een exacte massa-identiteit op (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),$$
   waarbij $V_w$ de vezelgewijze afgeleide is en $dA_E$ de genormaliseerde Haar-maat op de vezel. Deze identiteit onthult dat de totale massa de basis-volume overstijgt door een term die proportioneel is aan de vezelgewijze Dirichlet-energie van de potentiaal.

2. Positiviteitscriterium:
   Om te garanderen dat de geconstrueerde potentialen $V$ een geldige Hermitische vorm opleveren ($\omega + dd^c V > 0$), reduceren de auteurs de positiviteitsconditie tot drie scalaire ongelijkheden betreffende de afgeleiden van $V$ ten opzichte van de basis-radiale coördinaat $x$ en de vezelvariabele $w$. De meest restrictieve conditie is:
   $$Q[V] := V_{xx} + \mu - \frac{|\mu + V_x \bar{w}|^2}{1 + V_w \bar{w}} > 0,$$
   waarbij $\mu$ een functie is van de basis-coördinaat.

3. Potentiaalconstructie via Warmtekerne:
   De kern van de constructie behelst het creëren van potentialen met willekeurig grote vezelgewijze energie terwijl de positiviteitsconditie $Q[V] > 0$ behouden blijft.

   • Warmtekerne-potentialen: De auteurs maken gebruik van de warmtekern $k_t$ op de elliptische vezel $E$. Ze definiëren een potentiaal $F_\eta(t, w)$ gerelateerd aan de integraal van de warmtekern, die een vezelgewijze energie heeft die schaalt als $2\eta^2 \log(1/t)$.
   • Globale Extensie en Cut-offs: Een grote moeilijkheid is het uitbreiden van deze lokale potentialen naar de compacte variëteit $X$. De potentiaal moet constant zijn voor grote basis-coördinaten om gladheid te waarborgen. De auteurs construeren een globale potentiaal $V_\eta(x, w)$ door de warmtekern-tijdparameter $t$ te koppelen aan de basis-coördinaat $x$ via een specifieke profielfunctie $q(x)$.
   • Beheersing van Kruistermen: De term $|\mu + V_x \bar{w}|^2$ in $Q[V]$ vertegenwoordigt een "transporteffect" dat de positiviteit zou kunnen schenden. De auteurs bewijzen dat door de transportsnelheid (bepaald door de afgeleide van $q(x)$) zorgvuldig te kiezen, de negatieve bijdrage van deze kruisterm gedomineerd wordt door de positieve termen of exponentieel klein is. Dit berust op nauwkeurige schattingen van de warmtekern en zijn afgeleiden (Lemma's 3.2 en 3.3).
   • Correctieterm: Een finale correctieterm die enkel van $x$ afhangt, wordt toegevoegd aan $V_\eta$ om $Q[V] > 0$ overal strikt af te dwingen zonder de vezelgewijze energie op een vaste basis-bal te veranderen.

Belangrijkste Resultaten
Het artikel bewijst Stelling 1.1: Op de Hopf-driedimensionale variëteit $X$ bestaat er een gladde Hermitische vorm $\omega$ en een sequentie van gladde functies $\phi_j$ zodanig dat $\omega + dd^c \phi_j > 0$ en
$$\int_X (\omega + dd^c \phi_j)^3 \to +\infty \quad \text{als } j \to \infty.$$
Bijgevolg is $\text{vol}(\omega) = +\infty$, wat aantoont dat de Hopf-driedimensionale variëteit niet beschikt over de bounded mass property.

Betekenis en Claims
Het artikel beweert een specifiek openstaand vraagstuk te hebben beantwoord dat door Boucksom–Guedj–Lu [BGL25] werd opgeworpen met betrekking tot de bounded mass property voor Hopf-variëteiten van dimensie drie of hoger.

• Weerlegging van Universaliteit: Het resultaat weerlegt de hypothese dat de bounded mass property geldt voor elke compacte complexe variëteit. Het stelt vast dat deze eigenschap al faalt in complexe dimensie drie.
• Theoretische Impact: De eindigheid van het Monge–Ampère-volume is een staande hypothese in recente ontwikkelingen binnen de Hermitische pluripotentiële theorie (bijv. [ALS25; Li26]) en de theorie van Bott–Chern klasse volumes [BGL25]. Dit tegenvoorbeeld geeft aan dat deze theorieën niet universeel uitgebreid kunnen worden naar alle compacte complexe variëteiten zonder aanvullende geometrische beperkingen.
• Methodologische Bijdrage: Het werk biedt een concreet mechanisme voor het genereren van onbegrensde massa via vezelgewijze Dirichlet-energie, waarbij gebruik wordt gemaakt van de specifieke niet-gesloten natuur van Hermitische vormen op Hopf-variëteiten.

De auteurs vermelden expliciet dat het initiële tegenvoorbeeld is geconstrueerd met hulp van een AI-agent (Rethlas), maar dat de vereenvoudiging, het rigoureuze bewijs en alle beweringen in het artikel de exclusieve verantwoordelijkheid zijn van de auteurs.