The Beauville-Bogomolov-Fujiki form is the primitive integral quadratic
form on
of an irreducible
holomorphic symplectic manifold, with sign chosen to be positive on Kähler
classes. For complex dimension
, it satisfies
where
is a constant depending on
.
Its signature is
.
For a K3 surface it is the intersection
form on second cohomology. A line
bundle is isotropic for this form when
.
This condition is distinct from vanishing of its entire first Chern
class.