“…In this case, the mirror is given by a Landau-Ginzburg (LG) model (X, W ) -a pair consisting of a noncompact Kähler manifoldX and a holomorphic function W :X → C (called the superpotential). 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].…”