Homological mirror symmetry for manifolds of general type (Q2268550): Difference between revisions

From the introduction: This paper discusses Homological Mirror Symmetry for manifolds of general type and the way this symmetry interacts with interesting conjectural dualities in complex and symplectic geometry. Traditionally, [\textit{P. Candelas, X. C. de la Ossa, P. S. Green, L. Parkes}, Nucl. Phys., B 359, No.~1, 21--74 (1991; Zbl 1098.32506)] [Mathematical Surveys and Monographs, 68, Amer. Math. Soc., Providence, RI, (1999)], the mirror symmetry phenomenon is studied in the most relevant for the physics case of Calabi-Yau manifolds. It was observed that some pairs of such manifolds (``mirror partners''), which naturally appear in mathematical models for physics string theory, exhibit properties (have numerical invariants) that are symmetric (``mirror'') to each other. There were several attempts to formalize this mirror phenomenon mathematically, one of which was the celebrated Homological Mirror Symmetry Conjecture stated by Kontsevich in 1994. Given two Calabi-Yau mirror partners, they are naturally complex manifolds and symplectic manifolds. Accordingly, there are two categories defined on each of them: the bounded derived category of coherent sheaves (reflecting the complex structure of the manifolds and ``physically'' related D-branes of type B), and the derived Fukaya category (a symplectic construct and related to D-branes of type A). What the conjecture states is that, for any pair of mirror partners, the category of B-branes on each manifold is equivalent to the category of A-branes on the mirror partner. Kontsevich's conjecture was verified for a large number of Calabi-Yau manifolds: elliptic curves \textit{A. Polischuk}, and \textit{E. Zaslow}, [Adv. Theor. Math. Phys. 2, No.~2, 443--470 (1998; Zbl 0947.14017)], abelian varieties \textit{K. Fukaya}, [J. Algebr. Geom. 11, No.~3, 393--512 (2002; Zbl 1002.14014)], \(K3\) surfaces [\textit{P. Seidel}, \url{arXiv:math/0310414}]. A basic ingredient in these considerations is the construction of (physics) mirror partners. An approach by Hori and Vafa, interpreting the later as holomorphic fibration (Landau- Ginzburg model), turned out to be working well even beyond the case of Calabi-Yau manifolds. Specifically, this approach provides ``mirror partners'' for all complete intersections in toric manifolds. When the pairs of manifolds constructed this way are not Calabi-Yau, there is no physical ground to call them mirror symmetric. Moreover, the Landau-Ginzburg partner in this case, as given by the Hori-Vafa approach, is not compact. So, it was expected that appropriate modifications had to be made in the construction of this partner as well as in the definition of the relevant categories in order to make it possible to extract valuable geometric information out of this fibration. Furthermore, the formulation of the conjecture itself needed to be changed in order to make it a true statement. Suppose the A- and B-brane categories can be defined (with modifications on the Landau-Ginzburg partner) and compared. Then by definition, when these are cross-equivalent as in the HMSC, the manifolds are called (homologically) mirror symmetric. The task now would be to show that any complete intersection in a toric manifold and its Landau-Ginzburg partner provide a pair of (homologically) mirror partners. Indeed, an idea how to change the categories exists, and it was proved that when the starting manifold is a del Pezzo surface (a Fano manifold), then the Landau-Ginzburg partner is a (homologically) mirror partner of the surface. The same result holds true for weighted projective planes and Hirzebruch surfaces as well. In this paper we discuss how the HMSC should be modified so that it holds true in the case of manifolds of general type (with negative first Chern class). The conjectures we make are based on numerous examples some of which we presented here. In particular, we study in considerable detail the Landau-Ginzburg partner of hyperelliptic curves or of the associated intersections of two quadrics [see \url{arXiv:math/9506012}, Theorem 2.7]). Our main objective is to study how the HMSC for non -Calabi-Yau manifolds will interact with interesting geometric dualities on the A and B side of the mirror correspondence.