geometry-topology / Complex geometry

Bounded mass property for compact complex manifolds

Disproved on the Hopf threefold X=(C3∖{0})/⟨z↦e−1z⟩X=(\mathbb{C}^3\setminus\{0\})/\langle z\mapsto e^{-1}z\rangle: Xia and Zhang construct a smooth Hermitian form ω\omega and smooth functions φj\varphi_j with ω+ddcφj>0\omega+dd^c\varphi_j>0 whose Monge-Ampère masses tend to infinity, so the universal bounded mass property fails already in complex dimension three. The construction uses the Hopf threefold's elliptic fibration, an exact mass identity reducing excess Monge-Ampère mass to a fibrewise Dirichlet energy, and heat-kernel regularizations of Green functions that make that energy diverge while preserving positivity. What the negative answer removes is load-bearing rather than incidental: finiteness of this mass is the starting point for the theory of volumes of Bott-Chern classes, and it enters as a standing hypothesis in recent Hermitian pluripotential theory.

16Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyAug 21, 2026Significance 16/100Registry: unreviewed

Bounded mass property for compact complex manifolds

Prior state unknown→disproved

Disproved on the Hopf threefold X=(C3∖{0})/⟨z↦e−1z⟩X=(\mathbb{C}^3\setminus\{0\})/\langle z\mapsto e^{-1}z\rangle: Xia and Zhang construct a smooth Hermitian form ω\omega and smooth functions φj\varphi_j with ω+ddcφj>0\omega+dd^c\varphi_j>0 whose Monge-Ampère masses tend to infinity, so the universal bounded mass property fails already in complex dimension three. The construction uses the Hopf threefold's elliptic fibration, an exact mass…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Disproved on the Hopf threefold X=(C3∖{0})/⟨z↦e−1z⟩X=(\mathbb{C}^3\setminus\{0\})/\langle z\mapsto e^{-1}z\rangle: Xia and Zhang construct a smooth Hermitian form ω\omega and smooth functions φj\varphi_j with ω+ddcφj>0\omega+dd^c\varphi_j>0 whose Monge-Ampère masses tend to infinity, so the universal bounded mass property fails already in complex dimension three. The construction uses the Hopf threefold's elliptic fibration, an exact mass identity reducing excess Monge-Ampère mass to a fibrewise Dirichlet energy, and heat-kernel regularizations of Green functions that make that energy diverge while preserving positivity. What the negative answer removes is load-bearing rather than incidental: finiteness of this mass is the starting point for the theory of volumes of Bott-Chern classes, and it enters as a standing hypothesis in recent Hermitian pluripotential theory.

Disproved on the Hopf threefold X=(C3∖{0})/⟨z↦e−1z⟩X=(\mathbb{C}^3\setminus\{0\})/\langle z\mapsto e^{-1}z\rangle: Xia and Zhang construct a smooth Hermitian form ω\omega and smooth functions φj\varphi_j with ω+ddcφj>0\omega+dd^c\varphi_j>0 whose Monge-Ampère masses tend to infinity, so the universal bounded mass property fails already in complex dimension three. The construction uses the Hopf threefold's elliptic fibration, an exact mass identity reducing excess Monge-Ampère mass to a fibrewise Dirichlet energy, and heat-kernel regularizations of Green functions that make that energy diverge while preserving positivity. What the negative answer removes is load-bearing rather than incidental: finiteness of this mass is the starting point for the theory of volumes of Bott-Chern classes, and it enters as a standing hypothesis in recent Hermitian pluripotential theory.

Recorded attempts

Evidence graph

Connected research record

Bounded mass property for compact complex manifolds — Mathematical Frontier Network