The heaviness–SH-visibility conjecture

Let $(M,\a9\omega)$ be a closed symplectic manifold and let $K\subset M$ be a compact subset. The subset $K$ is SH-visible when its relative symplectic cohomology satisfies

$$SH_M(K;\Lambda)\neq 0,$$

where $\Lambda$ is the Novikov field. Heaviness–SH-visibility conjecture. The subset $K$ is heavy if and only if it is SH-visible. This conjecture is motivated by the role of relative symplectic cohomology in detecting stable non-displaceability; the source states that it is confirmed in the paper.