We compute Seidel's mirror map for abelian varieties by constructing the homogeneous coordinate rings from the Fukaya category of the symplectic mirrors. The computations are feasible as only linear holomorphic disks contribute to the Fukaya composition in the case of the planar Lagrangians used. The map depends on a symplectomorphism $ρ$ representing the large complex structure monodromy. For the example of the two-torus, different families of elliptic curves are obtained by using different $ρ$ which are linear in the universal cover. In the case where $ρ$ is merely affine linear in the universal cover, the commutative elliptic curve mirror is embedded in noncommutative projective space. The case of Kummer surfaces is also considered.
Using only the Fukaya category and the monodromy around large complex structure, we reconstruct the mirror map in the case of a symplectic torus. This realizes an idea described by Paul Seidel.
The goal of this article is to give a precise relation between the mirror symmetry transformation of Givental and the Seidel elements for a smooth projective toric variety $X$ with $-K_X$ nef. We show that the Seidel elements entirely determine the mirror transformation and mirror coordinates.
Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category…
Let $X$ be a compact toric Kähler manifold with $-K_X$ nef. Let $L\subset X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$. Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a formula which equates such open GW invariants with closed GW invariants of certain $X$-bundles over $\mathbb{P}^1$ used to construct the Seidel representations for $X$. We apply this formula and degeneration techniques to explicitly calculate all these open GW invariants. This yields a …
We prove a version of equivariant split generation of Fukaya category when a symplectic manifold admits a free action of a finite group $G$. Combining this with some generalizations of Seidel's algebraic frameworks from Seidel's book, we obtain new cases of homological mirror symmetry for some symplectic tori with non-split symplectic forms, which we call \textit{special isogenous tori}. This extends the work of Abouzaid-Smith. We also show that derived Fukaya categories are complete invariants of special isogenous tori.
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…
The derived category of coherent sheaves $\mathcal{T}_B$ associated to a birational cobordism which is either a weighted projective space, a stacky Atiyah flip, or a stacky blow-up of a point has a conjectural mirror Fukaya-Seidel category $\mathcal{T}_A$. The potential $W$ defining $\mathcal{T}_{A}$ has base $\mathbb{C}^*$ and exhibits a great deal of symmetry. This paper investigates the structure of the Fukaya-Seidel category for the mirror potentials. A proof of homological mirror symmetry $\mathcal{T}_A \cong \mathcal{T}_B$ for these birational cobordisms is then given.
Cluster varieties come in pairs: for any $\mathcal{X}$ cluster variety there is an associated Fock-Goncharov dual $\mathcal{A}$ cluster variety. On the other hand, in the context of mirror symmetry, associated with any log Calabi-Yau variety is its mirror dual, which can be constructed using the enumerative geometry of rational curves in the framework of the Gross-Siebert program. In this paper we bridge the theory of cluster varieties with the algebro-geometric framework of Gross-Siebert mirror symmetry. Particularly, we show that the mirror to the $\mathcal{X}$ cluster variety is a degenerat…
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 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.
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.
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…
We describe the Fukaya-Seidel category of a Landau-Ginzburg model LG(2) for the semisimple adjoint orbit of sl(2,C). We prove that this category is equivalent to a full triangulated subcategory of the category of coherent sheaves on the second Hirzebruch surface. We show that no projective variety can be mirror to LG(2), and that this remains so after compactification.
Motivated by observations in physics, mirror symmetry is the concept that certain manifolds come in pairs $X$ and $Y$ such that the complex geometry on $X$ mirrors the symplectic geometry on $Y$. It allows one to deduce symplectic information about $Y$ from known complex properties of $X$. Strominger-Yau-Zaslow arXiv:hep-th/9606040 described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich arXiv:alg-geom/9411018 conjectured that a complex invariant on $X$ (the bounded derived category of coherent sheaves) sho…
We construct a Lagrangian torus fibration on a smooth hypertoric variety and a corresponding SYZ mirror variety using $T$-duality and generating functions of open Gromov-Witten invariants. The variety is singular in general. We construct a resolution using the wall and chamber structure of the SYZ base.
Given a two-variable invertible polynomial, we show that its category of maximally-graded matrix factorisations is quasi-equivalent to the Fukaya-Seidel category of its Berglund-Hübsch transpose. This was previously shown for Brieskorn-Pham and $D$-type singularities by Futaki-Ueda. The proof involves explicit construction of a tilting object on the B-side, and comparison with a specific basis of Lefschetz thimbles on the A-side.
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.
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.
Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X.
The goal of this paper is to propose a theory of mirror symmetry for varieties of general type. Using Landau-Ginzburg mirrors as motivation, we describe the mirror of a hypersurface of general type (and more generally varieties of non-negative Kodaira dimension) as the critical locus of the zero fibre of a certain Landau-Ginzburg potential. The critical locus carries a perverse sheaf of vanishing cycles. Our main results shows that one obtains the interchange of Hodge numbers expected in mirror symmetry. This exchange is between the Hodge numbers of the hypersurface and certain Hodge numbers d…
We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields SYZ mirrors to affine conic bundles, as well as a Landau-Ginzburg model which can be naturally viewed as a mirror to $H$. The main applications concern affine hypersurfaces of general type, for which…
This is a survey covering aspects of varied work of the authors with Mohammed Abouzaid, Paul Hacking, and Sean Keel. While theta functions are traditionally canonical sections of ample line bundles on abelian varieties, we motivate, using mirror symmetry, the idea that theta functions exist in much greater generality. This suggestion originates with the work of the late Andrei Tyurin. We outline how to construct theta functions on the degenerations of varieties constructed in previous work of the authors, and then explain applications of this construction to homological mirror symmetry and con…
We survey recent developments in the study of SYZ mirror symmetry for compact toric and toric Calabi-Yau varieties, with a special emphasis on works of the author and his collaborators.
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is based on the purely algebraic fact that a class of generalised Jacobian rings associated to $X$ are free as modules over the Novikov ring. In contrast to previous results of this kind, $X$ need not be compact. When $X$ is monotone the presentation we obtain is completely explicit, using only well-known computations with the standard complex structure.
We propose a way of understanding homological mirror symmetry when a complex manifold is a smooth compact toric manifold. So far, in many example, the derived category $D^b(coh(X))$ of coherent sheaves on a toric manifold $X$ is compared with the Fukaya-Seidel category of the Milnor fiber of the corresponding Landau-Ginzburg potential. We instead consider the dual torus fibration $π:M \to B$ of the complement of the toric divisors in $X$, where $\bar{B}$ is the dual polytope of the toric manifold $X$. A natural formulation of homological mirror symmetry in this set-up is to define $Fuk(\bar{M}…
We produce for each tropical hypersurface $V(ϕ)\subset Q=\mathbb{R}^n$ a Lagrangian $L(ϕ)\subset (\mathbb{C}^*)^n$ whose moment map projection is a tropical amoeba of $V(ϕ)$. When these Lagrangians are admissible in the Fukaya-Seidel category, we show that they are unobstructed objects of the Fukaya category, and mirror to sheaves supported on complex hypersurfaces in a toric mirror.
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.
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende t…
Given any equivariant coherent sheaf $\mathcal L$ on a compact semi-positive toric orbifold $\mathcal X$, its SYZ T-dual mirror dual is a Lagrangian brane in the Landau-Ginzburg mirror. We prove the oscillatory integral of the equivariant superpotential in the Landau Ginzburg mirror over this Lagrangian brane is the genus-zero $1$-descendant Gromov-Witten potential with a Gamma-type class of $\mathcal L$ inserted.
In this paper we consider the oscillatory integrals on Lefschetz thimbles in the Landau-Ginzburg model as the mirror of a toric Fano manifold. We show these thimbles represent the same relative homology classes as the characteristic cycles of the corresponding constructible sheaves under the equivalence of \cite{GPS18-2}. Then the oscillatory integrals on such thimbles are the same as the integrals on the characteristic cycles and relate to genus $0$ Gromov-Witten descendant potential for $X$, and this leads to a proof of Gamma II conjecture for toric Fano manifolds.
We introduce elliptic hypertoric varieties, which is an elliptic analogue of hypertoric varieties and multiplicative hypertoric varieties. We also prove an elliptic version of Hikita conjecture, which relates elliptic (resp. additive and mulitplicative) hypertoric varieties to the equivariant elliptic cohomology (resp. ordinary cohomology and K-theory) of their 3d mirror hypertoric varieties.
We give a simple expression for the integral of the canonical holomorphic volume form in degenerating families of varieties constructed from wall structures and with central fiber a union of toric varieties. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the central fiber. One application is a proof that the mirror map for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author is trivial. We also show that these families are the completion of an analytic family, without reparametrization, and that the…
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.
SYZ mirror conjecture predicts that a Calabi-Yau manifold $X$ consists of a family of tori which are dual to a family of special lagrangian tori on the mirror dual manifold $\hat{X}$. Here we consider a fibration of polarized abelian varieties and we construct a dual one. Moreover we prove that they are equivalent at the level of derived categories.
Let $X_Σ$ be a complete toric variety. The coherent-constructible correspondence $κ$ of \cite{FLTZ} equates $\Perf_T(X_Σ)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence $μ$ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. Th…
We study homological mirror symmetry of the singular hypersurface $X_0=V(t^{n+1}-x_0\dotsi x_n)\subseteq\mathbb{P}^{n+1}$. Following an SYZ type approach, we produce an LG-model, whose Fukaya-Seidel category recovers line bundles on $X_0$. As a byproduct of our approach, we answer a conjecture of N.Sheridan about generating the small component of the Fukaya category of the smooth index 1 Fano hypersurface in $\mathbb{P}^{n+1}$, without bounding co-chains.
We propose and prove a mirror theorem for the elliptic quasimap invariants for smooth Calabi-Yau complete intersections in projective spaces. The theorem combined with the wall-crossing formula appeared in paper (arXiv:1308.6377) implies mirror theorems of Zinger and Popa for the elliptic Gromov-Witten invariants for those varieties. This paper and the wall-crossing formula provide a unified framework for the mirror theory of rational and elliptic Gromov-Witten invariants.
We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landau-Ginzburg mirror.
