We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that for mirror dual Calabi-Yau manifolds $M$ and $X$ there exists an $A_{\infty}$-functor from Fukaya's symplectic $A_{\infty}$-category of $M$ to the $A_{\infty}$-derived category of $X$ which is a homotopy equivalence on morphisms. We verify the part of this conjecture concering triple products for elliptic curves.
We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.
In this paper we complete the proof began by A. Polishchuk and E. Zaslow (math.AG/9801119) of a weak version of Kontsevich's homological mirror symmetry conjecture for elliptic curves. The main difference to the work of Polishchuk and Zaslow is that we consider morphisms between any pair of objects, not only in the transversal case. This enables us to show the conjectured equivalence of categories.
We apply the homological mirror symmetry for elliptic curves to the study of indefinite theta series. We prove that every such series corresponding to a quadratic form of signature (1,1) can be expressed in terms of theta series associated with split quadratic forms and the usual theta series. We also show that indefinite theta series corresponding to univalued Massey products between line bundles on elliptic curve are modular.
We give a survey on results related to the Berglund-Hübsch duality of invertible polynomials and the homological mirror symmetry conjecture for singularities.
We prove the homological mirror conjecture for toric del Pezzo surfaces. In this case, the mirror object is a regular function on an algebraic torus. We show that the derived Fukaya category of this mirror coincides with the derived category of coherent sheaves on the original manifold.
We prove a conjecture on the relation between dimer models, coamoebas and vanishing cycles for the mirrors of two-dimensional toric Fano stacks of Picard number one. As a corollary, we obtain a torus-equivariant version of homological mirror symmetry for such stacks.
This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerativ…
Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities leads to a pair of conjectures on certain hypergeometric systems of PDEs. We explain these conjectures and verify them in some cases.
We prove homological mirror symmetry for Lefschetz fibrations obtained as disconnected sums of polynomials of types A or D. The proof is based on the behavior of the Fukaya category under the addition of a polynomial of type D.
Gross and Siebert identified a class of singular Lagrangian torus fibrations which arise when smoothing toroidal degenerations, and which come in pairs that are related by mirror symmetry. We identify an immersed Lagrangian in each of these local models which supports a moduli space of objects that is isomorphic to the mirror space, and prove a homological mirror statement along the way.
In the case of toric varieties, we continue the pursuit of Kontsevich's fundamental insight, Homological Mirror Symmetry, by unifying it with the Mori program. We give a refined conjectural version of Homological Mirror Symmetry relating semi-orthogonal decompositions of the $B$-model on toric varieties to semi-orthogonal decompositions on the $A$-model on the mirror Landau-Ginzburg models. As evidence, we prove a new case of Homological Mirror Symmetry for a toric surface whose anticanonical bundle is not nef, namely a certain blow-up of $¶^2$ at three infinitesimally near points.
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
We prove homological mirror symmetry for the quintic Calabi-Yau 3-fold. The proof follows that for the quartic surface by Seidel (arXiv:math/0310414) closely, and uses a result of Sheridan (arXiv:1012.3238). In contrast to Sheridan's approach (arXiv:1111.0632), our proof gives the compatibility of homological mirror symmetry for the projective space and its Calabi-Yau hypersurface.
Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants.
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.
In this paper, we introduce the interested reader to homological mirror symmetry. After recalling a little background knowledge, we tackle the simplest cases of homological mirror symmetry: curves of genus zero and one. We close by outlining the current state of the field and mentioning what homo- logical mirror symmetry has to say about other aspects of mirror symmetry.
This is my talk at ICM, Zurich 1994. It contains a short introduction, two basic examples and a refined version of the Mirror Conjecture formulated in terms of homological algebra.
We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, we prove that tropical sections generate the Fukaya-Seidel category, completing a Floer-theoretic proof of homological mirror symmetry for projective toric varieties. In the course of the proof, we dev…
We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side are mirror to orbifold quotients of the Landau-Ginzburg model.
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. We prove a version of this conjecture in the simplest example, relating the Fukaya category of a genus two curve to the category of Landau-Ginzburg branes on a certain singular rational surface.
Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.
We prove Kontsevich's homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev-Borisov's `dual reflexive Gorenstein cones' construction. In particular we prove HMS for all Greene-Plesser mirror pairs (i.e., Calabi-Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi-Yau complete intersections arising from Borisov's construction via dual nef partitions, and also for certain Calabi-Yau complete intersections which do not have a Calabi-Yau mirror, but instead are mirror to a Calabi-Yau subcategory of the derived cate…
In this paper we outline a setup for Homological Mirror Symmetry for manifolds of general type. Both Physics and Categorical perspectives are considered.
We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.
We study aspects related to Kontsevich's homological mirror symmetry conjecture in the case of Calabi-Yau complete intersections in toric varieties. In a 1996 lecture at Rutgers University, Kontsevich indicated how his proposal implies that the groups of automorphisms of the two types of categories involved in the homological mirror symmetry conjecture should also be identified. Our main results provide an explicit geometric construction of the correspondence between the automorphisms of the two types of categories.
We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn-Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an abelian group of rank one. Symplectic Picard-Lefschetz theory developed by Seidel is an essential ingredient of the proof.
We use the quilt formalism of Mau-Wehrheim-Woodward to give a sufficient condition for a finite collection of Lagrangian submanifolds to split-generate the Fukaya category, and deduce homological mirror symmetry for the standard 4-torus. As an application, we study Lagrangian genus two surfaces of Maslov class zero, deriving numerical restrictions on the intersections of such a surface with linear Lagrangian 2-tori in in the 4-torus.
We discuss some mathematical conjectures which have come out of the Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes in Calabi-Yau compactification. This has led to the formulation of a notion of stability for objects in a derived category, contact with Kontsevich's homological mirror symmetry conjecture, and "physics proofs" for many of the subsequent conjectures based on it, such as the representation of Calabi-Yau monodromy by autoequivalences of the derived category.
This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.
We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one.
We explain how deformation theories of geometric objects such as complex structures, Poisson structures and holomorphic bundle structures lead to differential Gerstenhaber or Poisson algebras. We use homological perturbation theory to obtain $A_{\infty}$ algebra structures and some canonically defined deformations of such structures on the cohomology. We formulate the $A_{\infty}$ algebraic mirror symmetry as the identification of the $A_{\infty}$ algebras together with their canonical deformations constructed this way on different manifolds.
We study Homological Mirror Symmetry (HMS) for $A_n$-resolutions from the SYZ viewpoint. Let $X\to\bC^2/\bZ_{n+1}$ be the crepant resolution of the $A_n$-singularity. The mirror of $X$ is given by a smoothing $\check{X}$ of $\bC^2/\bZ_{n+1}$. Using SYZ transformations, we construct a geometric functor from a derived Fukaya category of $\check{X}$ to the derived category of coherent sheaves on $X$. We show that this is an equivalence of triangulated categories onto a full triangulated subcategory of $D^b(X)$, thus realizing Kontsevich's HMS conjecture by SYZ.
These are expository notes based on a talk given at the Superschool on derived categories and D-branes at University of Alberta in July of 2016. The goal of these notes is to give a motivated introduction to the Strominger-Yau-Zaslow (SYZ) conjecture from the point of view of homological mirror symmetry.
We interpret symplectic geometry as certain sheaf theory by constructing a sheaf of curved A_\infty algebras which in some sense plays the role of a "structure sheaf" for symplectic manifolds. An interesting feature of this "structure sheaf" is that the symplectic form itself is part of its curvature term. Using this interpretation homological mirror symmetry can be understood by well-known duality theories in mathematics: Koszul duality or Fourier- Mukai transform. In this paper we perform the above constructions over a small open subset inside the smooth locus of a Lagrangian torus fibration…
This is a sequel to our paper arXiv:2008.13462, where we proposed a definition of the Morse homotopy of the moment polytope of toric manifolds. Using this as the substitute of the Fukaya category of the toric manifolds, we proved a version of homological mirror symmetry for the projective spaces and their products via Strominger-Yau-Zaslow construction of the mirror dual Landau-Ginzburg model. In this paper we go this way further and extend our previous result to the case of the Hirzebruch surface $\mathbb{F}_1$.
In this paper, we apply the idea of T-duality to projective spaces. From a connection on a line bundle on $\mathbb P^n$, a Lagrangian in the mirror Landau-Ginzburg model is constructed. Under this correspondence, the full strong exceptional collection $\mathcal O_{\mathbb P^n}(-n-1),...,\mathcal O_{\mathbb P^n}(-1)$ is mapped to standard Lagrangians in the sense of \cite{nz}. Passing to constructible sheaves, we explicitly compute the quiver structure of these Lagrangians, and find that they match the quiver structure of this exceptional collection of $\mathbb P^n$. In this way, T-duality prov…
We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an $n$-dimensional affine hypersurface of degree $n + 2$ and the double cover of the $n$-dimensional affine space br…
Given a punctured Riemann surface with a pair-of-pants decomposition, we compute its wrapped Fukaya category in a suitable model by reconstructing it from those of various pairs of pants. The pieces are glued together in the sense that the restrictions of the wrapped Floer complexes from two adjacent pairs of pants to their adjoining cylindrical piece agree. The $A_\infty$-structures are given by those in the pairs of pants. The category of singularities of the mirror Landau-Ginzburg model can also be constructed in the same way from local affine pieces that are mirrors of the pairs of pants.
In this article, we formulate a planar limited version of the B-side in homological mirror symmetry that formularizes Chern-Simons-type topological open string field theory using homotopy associative algebra ($A_{\infty}$ algebra). This formulation is based on the works by Dijkgraaf and Vafa. We show that our formularization includes gravity/gauge theory correspondence which originates in the AdS/CFT duality of Dijkgraaf-Vafa theory.
We formulate a conjecture which describes the Fukaya category of an exact Lefschetz fibration defined by a Laurent polynomial in two variables in terms of a pair consisting of a consistent dimer model and a perfect matching on it. We prove this conjecture in some cases, and obtain homological mirror symmetry for quotient stacks of toric del Pezzo surfaces by finite subgroups of the torus as a corollary.
In 1999, Khovanov showed that a link invariant known as the Jones polynomial is the Euler characteristic of a homology theory. The knot categorification problem is to find a general construction of knot homology groups, and to explain their meaning -- what are they homologies of? Homological mirror symmetry, formulated by Kontsevich in 1994, naturally produces hosts of homological invariants. Typically though, it leads to invariants which have no particular interest outside of the problem at hand. I showed recently that there is a new family of mirror pairs of manifolds, for which homological …
We consider Takahashi's categorical interpretation of the Berglund-Hubsch mirror symmetry conjecture for invertible polynomials in the case of chain polynomials. Our strategy is based on a stronger claim that the relevant categories satisfy a recursion of directed $A_{\infty}$-categories, which may be of independent interest. We give a full proof of this claim on the B-side. On the A-side we give a detailed sketch of an argument, which falls short of a full proof because of certain missing foundational results in Fukaya-Seidel categories, most notably a generation statement.
