Beauville--Bogomolov--Fujiki positivity and Moishezonness of complex symplectic manifolds in Fujiki class $\mathscr C$

Abstract

Motivated by the principle that positivity of the Beauville--Bogomolov--Fujiki (BBF) form controls the geometry of hyperk\"ahler manifolds, we study BBF positivity from the perspective of bimeromorphic geometry, focusing on its relation to the Moishezonness of hyperfujiki manifolds (natural bimeromorphic analogues of hyperk\"ahler manifolds). We prove that any Moishezon hyperfujiki manifold carries a big line bundle with positive BBF square. We also prove that the existence of a BBF-positive integral $(1,1)$-class implies Moishezonness for hyperfujiki $4$-folds and, more generally, for hyperfujiki $2n$-folds under a weak K\"ahler minimal-model condition. The proof mainly uses the theory of primitive symplectic varieties developed by B. Bakker--C. Lehn, a construction of small bimeromorphic models for certain $K$-trivial manifolds by I. Biswas--J. Cao--S. Dumitrescu--H. Guenancia, and the theory of pull-backs of reflexive differential forms established by S. Kebekus--C. Schnell. As an application, we give a Hodge-theoretic description of the Moishezon locus in certain smooth families by combining this criterion with the period theory developed by B. Anthes--A. Cattaneo--S. Rollenske--A. Tomassini.