Homological mirror symmetry for toric del Pezzo surfaces (Q852410): Difference between revisions

The author proves the homological mirror conjecture for toric del Pezzo surfaces. The main theorem states indeed the equivalence between the bounded derived category of coherent sheaves on a toric del Pezzo surface \(X\) and the derived category of the directed Fukaya category of the mirror \(W\) of \(X\). This extends works of \textit{P. Seidel} [in: Symplectic Geometry and Mirror Symmetry, Proc. 4th KIAS int. conf. Seoul, 2000, 429--465 (2001; Zbl 1079.14259)], and \textit{D. Auroux}, \textit{L. Katzarkov} and \textit{D. Orlov} [preprint, \texttt{math.AG/0404281}]. The present paper was submitted before the homological mirror conjecture for not necessarily toric del Pezzo surfaces was proved in the preprint of \textit{D. Auroux}, \textit{L. Katzarkov} and \textit{D. Orlov} [preprint, \texttt{math.AG/0506166}]. The explicit proof of the theorem is given for the toric del Pezzo surface \(Y\) obtained as the blow-up of three points in general position in the projective plane. This proof can be performed for any toric del Pezzo surface to obtain the main result. The author first details the structure of the bounded derived category \(D^{b}\text{Coh}(Y)\) of coherent sheaves on \(Y\), by explicitely giving a full exceptional collection and by calculating all non zero Ext-groups between the exceptional objects of the sequence. On the other hand, on the mirror \(W\), the directed Fukaya category \(\text{Fuk}^{\to}W\) is constructed, explicitely giving the distinguished basis of vanishing cycles and all the Hom-groups between them. The equivalence between \(D^{b}\text{Coh}(Y)\) and \(D^{b}\text{Fuk}^{\to}W\) is then obtained by giving isomorphisms between the Hom-groups of the vanishing cycles and the Ext-groups of the exceptional objects. Six figures throughout the paper help the reader in following proofs and constructions. A final appendix contains explicit calculations for the compositions of morphisms between the exceptional objects of \(D^{b}\text{Coh}(Y)\).