Homological mirror symmetry for Batyrev mirror pairs

We prove Kontsevich’s homological mirror symmetry conjecture for a large class of mirror pairs of Calabi–Yau hypersurfaces in toric varieties. These mirror pairs were constructed by Batyrev from dual reflexive polytopes. The theorem holds in characteristic zero and in all but finitely many positive characteristics.