In this paper, we prove the mirror symmetry conjecture between the Saito-Givental theory of exceptional unimodular singularities on Landau-Ginzburg B-side and the Fan-Jarvis-Ruan-Witten theory of their mirror partners on Landau-Ginzburg A-side. On the B-side, we compute the genus-zero generating function from a perturbative formula of primitive forms introduced by the first three authors recently. This computation matches the orbifold-Grothendieck-Riemann-Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction techniques. Our result establishes the first examples of LG-LG mirror symmetry of all genera for weighted homogeneous polynomials of central charge greater than one (i.e. which contain negative degree deformation parameters).
Based on the work of Borcherds we construct on the moduli space of K3 surfaces with B-field an automorphic form exp_{4,20} which vanishes on the totally geodesic subspaces orthogonal to -2 vectors of the even, unimodular lattice of signature (4,20). We give an explicit formula of the regularized determinants of the Laplacians of Calabi Yau metrics on K3 Surfaces, following suggestions by R. Borcherds. The holomorphic part of the regularized determinants will be the higher dimensional analogue of Dedekind Eta function. We give explicit formulas for the number of non singular rational curves wit…
We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano--Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong.
Let $X$ be a toric Del-Pezzo surface and let $Crit(W) \subset (\mathbb{C}^{\ast})^n$ be the solution scheme of the Landau-Ginzburg system of equations. Denote by $X^{\circ}$ the polar variety of $X$. Our aim in this work is to describe a map $L : Crit(W) \rightarrow Fuk_{trop}(X^{\circ})$ whose image under homological mirror symmetry corresponds to a full strongly exceptional collection of line bundles.
Hille and Perling associate to every cyclic full strongly exceptional sequence of line bundles on a toric weak Fano surface a toric system, which defines a new toric surface. In this note we interprete this construction as an instance of mirror symmetry and extend it to a duality on the set toric weak Fano surfaces equiped with a cyclic full strongly exceptional sequence.
The moduli space of N=(4,4) string theories with a K3 target space is determined, establishing in particular that the discrete symmetry group is the full integral orthogonal group of an even unimodular lattice of signature (4,20). The method combines an analysis of the classical theory of K3 moduli spaces with mirror symmetry. A description of the moduli space is also presented from the viewpoint of quantum geometry, and consequences are drawn concerning mirror symmetry for algebraic K3 surfaces.
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.
We evaluate half-indices of $\mathcal{N}=(2,2)$ half-BPS boundary conditions in 3d $\mathcal{N}=4$ supersymmetric Abelian gauge theories. We confirm that the Neumann boundary condition is dual to the generic Dirichlet boundary condition for its mirror theory as the half-indices perfectly match with each other. We find that a naive mirror symmetry between the exceptional Dirichlet boundary conditions defining the Verma modules of the quantum Coulomb and Higgs branch algebras does not always hold. The triangular matrix obtained from the elliptic stable envelope describes the precise mirror trans…
We study lattice polarizations of five exceptional pairs of families of K3 surfaces obtained via compactifications of strange dual pairs of bimodal singularities. We show that the polarizations induced by embedding these paired families in paired toric varieties obtained from polar dual reflexive polytopes cannot be mirror lattices and identify mirror sublattices.
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 analyze D-brane states and their central charges on the resolution of C^2/Z_n by using local mirror symmetry. There is a point in the moduli space where all n(n-1)/2 branches of the principal component of the discriminant locus coincide. We argue that this is the point where compactifications of Type IIA theory on a K3 manifold containing such a local geometry acquire a non-perturbative gauge symmetry of the type A_{n-1}. This analysis, which involves an explicit solution of the GKZ system of the local geometry, explains how the quantum geometry exhibits all positive roots of A_{n-1} and no…
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.
In this article, we study the Berglund--Hübsch transpose construction W^T for invertible quasihomogeneous potential W. We introduce the dual group G^T and establish the state space isomorphism between the Fan-Jarvis-Ruan-Witten A-model of W/G and the orbifold Milnor ring B-model of W^T/G^T. Furthermore, we prove a mirror symmetry theorem at the level of Frobenius algebra structure for G^max. Then, we interpret Arnol'd strange duality of exceptional singularities W as mirror symmetry between W/J and its strange dual W^SD.
I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee$ associated to the partial minimal model $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell}) \subset \mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}…
The subject of this paper is the big quantum cohomology rings of symplectic isotropic Grassmannians $\text{IG}(2, 2n)$. We show that these rings are regular. In particular, by "generic smoothness", we obtain a conceptual proof of generic semisimplicity of the big quantum cohomology for $\text{IG}(2, 2n)$. Further, by a general result of Claus Hertling, the regularity of these rings implies that they have a description in terms of isolated hypersurface singularities, which we show in this case to be of type $A_{n-1}$. By the homological mirror symmetry conjecture, these results suggest the exis…
This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKa…
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.
We study the categories of singularities coming from Landau-Ginzburg models given by the invertible polynomials. Such categories appear on the B-side of the Berglund-Hübsch mirror symmetry. We provide an efficient method of computing morphism spaces in these categories and explicitly construct full strongly exceptional collections in the cases of small dimensions ($n\le 3$). Finally, we use this construction in order to prove Orlov's conjecture stating that such collections can be chosen to have block decompositions of size one more than the number of variables.
Let $X$ be a toric Fano manifold and denote by $Crit(f_X) \subset (\mathbb{C}^{\ast})^n$ the solution scheme of the corresponding Landau-Ginzburg system of equations. For toric Del-Pezzo surfaces and various toric Fano threefolds we define a map $L : Crit(f_X) \rightarrow Pic(X)$ such that $\mathcal{E}_L(X) : = L(Crit(f_X)) \subset Pic(X)$ is a full strongly exceptional collection of line bundles. We observe the existence of a natural monodromy map $$ M : π_1(L(X) \setminus R_X,f_X) \rightarrow Aut(Crit(f_X))$$ where $L(X)$ is the space of all Laurent polynomials whose Newton polytope is equal…
