We propose a general approach to classification problems in algebraic geometry via mirror duality. For Fano threefolds, a modularity conjecture describes small quantum cohomology and predicts the values of certain Gromov-Witten invariants.
Ebeling and Ploog \cite{EbelingPloog} studied a duality of bimodular singularities which is part of the Berglund--H$\ddot{\textnormal{u}}$bsch mirror symmetry. Mase and Ueda \cite{MU} showed that this duality leads to a polytope mirror symmetry of families of $K3$ surfaces. We discuss in this article how this symmetry extends to a symmetry between lattices.
M. Kobayashi introduced a notion of duality of weight systems. We tone this notion slightly down to a notion called coupling. We show that coupling induces a relation between the reduced zeta functions of the monodromy operators of the corresponding singularities generalizing an observation of K. Saito concerning Arnold's strange duality. We show that the weight systems of the mirror symmetric pairs of M. Reid's list of 95 families of Gorenstein K3 surfaces in weighted projective 3-spaces are strongly coupled. This includes Arnold's strange duality where the corresponding weight systems are st…
A notion of duality of weight systems which corresponds to Batyrev's toric mirror symmetry is given. Explicit duality on the (1,1)-cohomology of K3 surfaces which are minimal models of toric hypersurfaces is constructed using monomial divisor mirror map of Aspinwall-Greene-Morrison. It is shown that Arnold's strange duality for exceptional unimodal singularities reduces to this duality.
This is an expanded version of the author's talk at the third annual meeting of International Consortium of Chinese Mathematicians held at USTC in December 2020. In this expository article, we give a survey on joint works with Hosono, Lian, and Yau in arXiv:2003.07148 and arXiv:2008.04039. We also carry out some explicit examples to illustrate our results in enumerative geometry which will appear in our forthcoming papers.
We show that there is an extra dimension to the mirror duality discovered in the early nineties by Greene-Plesser and Berglund-Hübsch. Their duality matches cohomology classes of two Calabi--Yau orbifolds. When both orbifolds are equipped with an automorphism $s$ of the same order, our mirror duality involves the weight of the action of $s^*$ on cohomology. In particular, it matches the respective $s$-fixed loci, which are not Calabi-Yau in general. When applied to K3 surfaces with non-symplectic automorphism $s$ of odd prime order, this provides a proof that Berglund-Hübsch mirror symmetry im…
We give a survey on old and new results concerning Arnold's strange duality. We show that most of the features of this duality continue to hold for the extension of it discovered by C. T. C. Wall and the author. The results include relations to mirror symmetry and the Leech lattice.
We introduce a duality of Landau-Ginzburg models based on the notion of the discrete Legendre transform given by Gross-Siebert. It generalizes the duality used to construct mirrors of complete intersections in toric varieties in a recent joint work with Gross and Katzarkov. We discuss how it appears as a limit version of the semi-flat Strominger-Yau-Zaslow construction of mirror symmetry with potential given as the obstruction in Floer theory.
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 in full generality the mirror duality conjecture for string-theoretic Hodge numbers of Calabi-Yau complete intersections in Gorenstein toric Fano varieties. The proof is based on properties of intersection cohomology
A Calabi-Yau threefold is called of type K if it admits an étale Galois covering by the product of a K3 surface and an elliptic curve. In our previous paper, based on Oguiso-Sakurai's fundamental work, we provide the full classification of Calabi-Yau threefolds of type K and study some basic properties thereof. In the present paper, we continue the study, investigating them from the viewpoint of mirror symmetry. It is shown that mirror symmetry relies on a duality of certain sublattices in the second cohomology of the K3 surface appearing in the minimal splitting covering. The duality may be t…
We show that (quantum) D-modules of Givental type on affine flag varieties are transformed to D-modules of Beilinson-Drinfeld type on $n$-reduced Sato Grassmannians via affine Miura transformation.
In this survey, I suggest to approach the problem of functorial properties of quantum cohomology by drawing lessons from several versions of Mirror duality involving deformation spaces.
We study the geometry of complexified moduli spaces of special Lagrangian submanifolds in the complement of an anticanonical divisor in a compact Kahler manifold. In particular, we explore the connections between T-duality and mirror symmetry in concrete examples, and show how quantum corrections arise in this context.
It is argued that every Calabi-Yau manifold $X$ with a mirror $Y$ admits a family of supersymmetric toroidal 3-cycles. Moreover the moduli space of such cycles together with their flat connections is precisely the space $Y$. The mirror transformation is equivalent to T-duality on the 3-cycles. The geometry of moduli space is addressed in a general framework. Several examples are discussed.
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 give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones.
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.
Previously, we introduced a duality transformation for Euler $G$--Frobenius algebras. Using this transformation, we prove that the simple $A,D,E$ singularities and Pham singularities of coprime powers are mirror self--dual where the mirror duality is implemented by orbifolding with respect to the symmetry group generated by the grading operator and dualizing. We furthermore calculate orbifolds and duals to other $G$--Frobenius algebras which relate different $G$--Frobenius algebras for singularities. In particular, using orbifolding and the duality transformation we provide a mirror pairs for …
The celebrated Mirror Theorem states that the genus zero part of the A model (quantum cohomology, rational curves counting) of the Fermat quintic threefold is equivalent to the B model (complex deformation, variation of Hodge structure) of its mirror dual orbifold. In this article, we establish a mirror-dual statement. Namely, the B model of the Fermat quintic threefold is shown to be equivalent to the A model of its mirror, and hence establishes the mirror symmetry as a true duality.
We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.
This paper discusses the overlap of the Hori-Vafa formulation of mirror symmetry with some other constructions. We focus on compact Calabi-Yau hypersurfaces \mathcal{M}_G = {G = 0} in weighted complex projective spaces. The Hori-Vafa formalism relates a family {\mathcal{M}_G \in WCP^{m-1}_{Q_1,...,Q_m}[s] | \sum_{i=1}^m Q_i = s} of such hypersurfaces to a single Landau-Ginzburg mirror theory. A technique suggested by Hori and Vafa allows the Picard-Fuchs equations satisfied by the corresponding mirror periods to be determined. Some examples in which the variety \mathcal{M}_G is crepantly resol…
By normalizing the space of commuting pairs of elements in a reductive Lie group G, and the corresponding space for the Langlands dual group, we construct pairs of hyperkahler orbifolds which satisfy the conditions to be mirror partners in the sense of Strominger-Yau-Zaslow. The same holds true for commuting quadruples in a compact Lie group. The Hodge numbers of the mirror partners, or more precisely their orbifold E-polynomials, are shown to agree, as predicted by mirror symmetry. These polynomials are explicitly calculated when G is a quotient of SL(n).
P. Clarke describes mirror symmetry as a duality between Landau--Ginzburg models, so that the dual of an LG model is another LG model. We describe examples in which the underlying space is a total space of a vector bundle on the projective line, and we show that self-duality occurs in precisely two cases: the cotangent bundle and the resolved conifold.
We describe recent progress in a program to understand the classification of three-dimensional Fano varieties with $\mathbb{Q}$-factorial terminal singularities using mirror symmetry. As part of this we give an improved and more conceptual understanding of Laurent inversion, a technique that sometimes allows one to construct a Fano variety $X$ directly from a Laurent polynomial $f$ that corresponds to it under mirror symmetry.
The purpose of this paper is to review some combinatorial ideas behind the mirror symmetry for Calabi-Yau hypersurfaces and complete intersections in Gorenstein toric Fano varieties. We suggest as a basic combinatorial object the notion of a Gorenstein polytope of index r. A natural combinatorial duality for d-dimensional Gorenstein polytopes of index r extends the well-known polar duality for reflexive polytopes (case r=1). We consider the Borisov duality between two nef-partitions as a duality between two Gorenstein polytopes P and P^* of index r together with selected special (r-1)-dimensio…
We generalize the cohomological mirror duality of Borcea and Voisin in any dimension and for any number of factors. Our proof applies to all examples which can be constructed through Berglund-Hübsch duality. Our method is a variant of the so-called Landau-Ginzburg/Calabi-Yau correspondence of Calabi-Yau orbifolds with an involution that does not preserve the volume form. We deduce a version of mirror duality for the fixed loci of the involution, which are beyond the Calabi-Yau category and feature hypersurfaces of general type.
We study the moduli spaces of flat SL(r)- and PGL(r)-connections, or equivalently, Higgs bundles, on an algebraic curve. These spaces are noncompact Calabi-Yau orbifolds; we show that they can be regarded as mirror partners in two different senses. First, they satisfy the requirements laid down by Strominger-Yau-Zaslow (SYZ), in a suitably general sense involving a B-field or flat unitary gerbe. To show this, we use their hyperkahler structures and Hitchin's integrable systems. Second, their Hodge numbers, again in a suitably general sense, are equal. These spaces provide significant evidence …
We give a survey on results related to the Berglund-Hübsch duality of invertible polynomials and the homological mirror symmetry conjecture for singularities.
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…
3d mirrors for all 4d $\mathcal{N}=2$ Argyres-Douglas (AD) theories engineered using 6d $(2,0)$ theory are found. The basic steps are: 1): Find a punctured sphere representation for the AD theories (this is achieved in our previous studies of S duality); 2): Attach a 3d theory for each puncture; 3): Glue together the 3d theory for each puncture. We found the 3d mirror quiver gauge theory for the AD theories engineered using 6d $A$ and $D$ type theories. These 3d mirrors are useful for studying the properties of original 4d theory such as Higgs branch, S-duality, etc; We also construct many new…
This is a very brief survey of some results in the geometry of string duality delivered at a lecture given at ICM 1998, Berlin. String Duality is the statement that one kind of string theory compactified on one space is equivalent in some sense to another string theory compactified on a second space. This draws a connection between two quite different spaces. Mirror symmetry is an example of this. Here we discuss mirror symmetry and another ``heterotic/type II'' duality which relates vector bundles on a K3 surface to a Calabi-Yau threefold.
We consider a mirror symmetry between invertible weighted homogeneous polynomials in three variables. We define Dolgachev and Gabrielov numbers for them and show that we get a duality between these polynomials generalizing Arnold's strange duality between the 14 exceptional unimodal singularities.
This work establishes a subtle connection between mirror symmetry for Calabi-Yau threefolds and that of curves of higher genus. The linking structure is what we call a perverse curve. We show how to obtain such from Calabi-Yau threefolds in the Batyrev mirror construction and prove that their Hodge diamonds are related by the mirror duality.
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…
We reconsider topological string realization of SU(N) Chern-Simons theory on S^3. At large N, for every knot K in S^3, we obtain a polynomial A_K(x,p;Q) in two variables x,p depending on the t'Hooft coupling parameter Q=e^{Ng_s}. Its vanishing locus is the quantum corrected moduli space of a special Lagrangian brane L_K, associated to K, probing the large N dual geometry, the resolved conifold. Using a generalized SYZ conjecture this leads to the statement that for every such Lagrangian brane L_K we get a distinct mirror of the resolved conifold given by uv=A_K(x,p;Q). Perturbative corrections…
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluste…
This is a survey of results and conjectures on mirror symmetry phenomena in the non-Abelian Hodge theory of a curve. We start with the conjecture of Hausel-Thaddeus which claims that certain Hodge numbers of moduli spaces of flat SL(n,C) and PGL(n,C)-connections on a smooth projective algebraic curve agree. We then change our point of view in the non-Abelian Hodge theory of the curve, and concentrate on the SL(n,C) and PGL(n,C) character varieties of the curve. Here we discuss a recent conjecture of Hausel-Rodriguez-Villegas which claims, analogously to the above conjecture, that certain Hodge…
Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings
We give an example of the recent proposed mirror construction of Strominger, Yau and Zaslow in ``Mirror Symmetry is T-duality,'' hep-th/9606040. The paper first considers mirror symmetry for K3 surfaces in light of this construction. We then consider the example of mirror symmetry for Calabi-Yau threefolds of the type considered by Voisin and Borcea, of the form SxE/involution where S is a K3 surface with involution, and E is an elliptic curve. We show how dualizing a family of special Lagrangian real 3-tori does actually produce the mirrors in these examples.
We state a number of conjectures that together allow one to classify a broad class of del Pezzo surfaces with cyclic quotient singularities using mirror symmetry. We prove our conjectures in the simplest cases. The conjectures relate mutation-equivalence classes of Fano polygons with Q-Gorenstein deformation classes of del Pezzo surfaces.
Fibrewise T-duality (Fourier-Mukai transform) for D-branes on an elliptic Calabi-Yau three-fold $X$ is seen to have an expected adiabatic form for its induced cohomology operation only when an appropriately twisted operation resp. twisted charge is defined. Some differences with the case of $K3$ as well as connections with the spectral cover construction for bundles on $X$ are pointed out. In the context of mirror symmetry Kontsevich's association of line bundle twists (resp. a certain 'diagonal' operation) with monodromies (esp. the conifold monodromy) is made explicit and checked for two exa…
We consider a pair consisting of an invertible polynomial and a finite abelian group of its symmetries. Berglund, Hübsch, and Henningson proposed a duality between such pairs giving rise to mirror symmetry. We define an orbifoldized signature for such a pair using the orbifoldized elliptic genus. In the case of three variables and based on the homological mirror symmetry picture, we introduce two integral lattices, a transcendental and an algebraic one. We show that these lattices have the same rank and that the signature of the transcendental one is the orbifoldized signature. Finally, we giv…
This is an extended example of the study of mirror symmetry via log schemes and the discrete Legendre transform on affine manifolds, introduced by myself and Bernd Siebert in "Mirror Symmetry via Logarithmic Degeneration Data I" (math.AG/0309070). In this paper, I consider the construction as it applies to the Batyrev-Borisov construction for complete intersections in toric varieties. Given a pair of reflexive polytopes with nef decompositions dual to each other, and given polarizations on the corresponding toric varieties, we construct examples of toric degenerations and their dual intersecti…
In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ \to \mathbb{C})$, where $\check{\mathbb X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{\mathbb X} = Gr_k((\mathbb{C}^n)^*)$, and the superpotential $W_q$ has a simple expr…