Local mirror symmetry and type IIA monodromy of Calabi-Yau manifolds (Q5946032)

According with Kontsevich's proposal of homological mirror symmetry, there should be an equivalence between a category constructed from the bounded derived category \(D(X)\) of coherent sheaves on a Calabi-Yau \(X\) (the category of topological D-branes) and Fukaya's \(A_\infty\) category of special Lagrangian submanifolds of the mirror Calabi-Yau \(X^\vee\) endowed with flat \(U(1)\)-bundles. Under this equivalence the monodromy of the 3-cycles of should be mapped to certain automorphisms of \(D(X)\), and these are Fourier-Mukai transforms as has been proven by Orlov. Kontsevich proposed the Fourier-Mukai transforms that should correspond to certain well-know monodromies and computed them explicitly for the quintic. Other explicit examples have been given by Andreas-Curio-Yau and the reviewer and by Horja. In this paper, the same problem is considered for a pair of toric mirror Calabi-Yau varieties \((X,X*v)\) constructed from two reflexive polytopes \((\Delta,\Delta^\ast)\). The author starts by reviewing the mirror symmetry of hypersurfaces in toric varieties. The analysis of the GKZ hypergeometric series and the prepotential leads to the proof of the existence of a canonical symplectic basis of the natural skew symmetric form of the even rational cohomology of \(X\) given by taking \(\langle\alpha,\beta\rangle\) as the integral of \( \alpha\wedge*\beta\wedge\text{Todd}(X)\), where \(*\) is the involution of the even cohomology acting by \((-1)^i\) on \(H^{2i}(X,\mathbb Q)\). This basis induces in a natural way an integral symplectic basis for the period integrals about the large complex structure limit, and provides a way to show explicitly the homological mirror symmetry and then to find the action of type IIA monodromy on the derived category \(D(X)\) that corresponds to the monodromy action on \(H_3(X^\vee,\mathbb Q)\), and then the monodromy on the \(K\)-group \(K_{\text{hol}}(X)\) that represents the D-brane charges. The author then conjectures the existence of a monodromy invariant pairing \(K_{\text{hol}}(X)\times H_3(X^\vee,\mathbb Z)\to \mathbb Q\). Both the integral symplectic basis for the period integrals and the monodromy invariant pairing are computed explicitly in several examples, including all the previously known. The technique is used to compute the monodromy associated to local mirror symmetry to the projective plane or certain Del Pezzo surfaces.