“…More generally, one can consider manifolds with an effective anti-canonical divisor [10] or even general type manifolds [57,55,47], for which mirrors are again given by LG models. In this setting, the HMS conjecture has been verified for P 2 and P 1 × P 1 [68, 67], toric del Date: December 22, 2016. Pezzo surfaces [77,78], weighted projective planes and Hirzebruch surfaces [13], del Pezzo surfaces [12], projective spaces [34] and more general projective toric varieties [3,4,35,36, 37], 1 higher genus Riemann surfaces [71,32] and Fano hypersurfaces in projective spaces [73]. 2 The proofs of these HMS statements, though often involve deep and ingenious arguments (e.g.…”