A characterization of heaviness in terms of relative symplectic cohomology

For a compact subset K$K$ of a closed symplectic manifold (M,omega)$(M, \omega)$, we prove that K$K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is nonzero. As an application, we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results is also included.