We discuss the relation between transposition mirror symmetry of Berlund and Hübsch for bimodal singularities and polar duality of Batyrev for associated toric K3 hypersurfaces. We also show that homological mirror symmetry for singularities implies the geometric construction of Coxeter-Dynkin diagrams of bimodal singularities by Ebeling and Ploog.
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.
The problem of classification of real and complex singularities was initiated by Arnol'd in the sixties who classified simple, unimodal and bimodal w.r.t. right equivalence. The classification of right simple singularities in positive characteristic was achieved by Greuel and the author in 2014. In the present paper we classify right unimodal and bimodal singularities in positive characteristic by giving explicit normal forms. Moreover we completely determine all possible adjacencies of simple, unimodal and bimodal singularities. As an application we prove that, for singularities of right moda…
This paper is a sequel to [He7]. There a notion of marking of isolated hypersurface singularities was defined, and a moduli space $M_μ^{mar}$ for marked singularities in one $μ$-homotopy class of isolated hypersurface singularities was established. One can consider it as a global $μ$-constant stratum or as a Teichmüller space for singularities. It comes together with a $μ$-constant monodromy group $G^{mar}\subset G_Z$. Here $G_Z$ is the group of automorphisms of a Milnor lattice which respect the Seifert form. It was conjectured that $M_μ^{mar}$ is connected. This is equivalent to $G^{mar}= G_…
We consider the Berglund-Hübsch transpose of a bimodal invertible polynomial and construct a triangulated category associated to the compactification of a suitable deformation of the singularity. This is done in such a way that the corresponding Grothendieck group with the (negative) Euler form can be described by a graph which corresponds to the Coxeter-Dynkin diagram with respect to a distinguished basis of vanishing cycles of the bimodal singularity.
This paper is a sequel to [He11] and [GH17]. In [He11] a notion of marking of isolated hypersurface singularities was defined, and a moduli space $M_μ^{mar}$ for marked singularities in one $μ$-homotopy class of isolated hypersurface singularities was established. It is an analogue of a Teichmüller space. It comes together with a $μ$-constant monodromy group $G^{mar}\subset G_{\mathbb{Z}}$. Here $G_{\mathbb{Z}}$ is the group of automorphisms of a Milnor lattice which respect the Seifert form. It was conjectured that $M_μ^{mar}$ is connected. This is equivalent to $G^{mar}= G_{\mathbb{Z}}$. Als…
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.
There are strange dual pairs of bimodal singularities that are not assigned an invertible projectivisation in EbelingPloog. We study families of $K3$ surfaces associated to such pairs.
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.
C.T.C. Wall and the first author discovered an extension of Arnold's strange duality embracing on one hand series of bimodal hypersurface singularities and on the other, isolated complete intersection singularities. In this paper, we derive this duality from the mirror symmetry and the Berglund-Hübsch transposition of invertible polynomials.
We give a survey on results related to the Berglund-Hübsch duality of invertible polynomials and the homological mirror symmetry conjecture for singularities.
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 …
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.
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.
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 consider an orbifold Landau-Ginzburg model $(f,G)$, where $f$ is an invertible polynomial in three variables and $G$ a finite group of symmetries of $f$ containing the exponential grading operator, and its Berglund-Hübsch transpose $(f^T, G^T)$. We show that this defines a mirror symmetry between orbifold curves and cusp singularities with group action. We define Dolgachev numbers for the orbifold curves and Gabrielov numbers for the cusp singularities with group action. We show that these numbers are the same and that the stringy Euler number of the orbifold curve coincides with the $G^T$-…
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.
In earlier joint work with our collaborators Akhtar, Coates, Corti, Heuberger, Kasprzyk, Prince and Tveiten, we gave a conjectural classification of a broad class of orbifold del Pezzo surfaces, using Mirror Symmetry. We proposed that del Pezzo surfaces $X$ with isolated cyclic quotient singularities such that $X$ admits a $\mathbb{Q}$-Gorenstein toric degeneration correspond under Mirror Symmetry to maximally mutable Laurent polynomials $f$ in two variables, and that the quantum period of such a surface $X$, which is a generating function for Gromov-Witten invariants of $X$, coincides with th…
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.
The Landau-Ginzburg A-model, given by FJRW theory, defines a cohomological field theory, but in most examples is very difficult to compute, especially when the symmetry group is not maximal. We give some methods for finding the A-model structure. In many cases our methods completely determine the previously unknown A-model Frobenius manifold structure. In the case where these Frobenius manifolds are semisimple, this can be shown to determine the structure of the higher genus potential as well. We compute the Frobenius manifold structure for 27 of the previously unknown unimodal and bimodal sin…
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 tec…
We study versions of homological mirror symmetry for hypersurface cusp singularities and the three hypersurface simple elliptic singularities. We show that the Milnor fibres of each of these carries a distinguished Lefschetz fibration; its derived directed Fukaya category is equivalent to the derived category of coherent sheaves on a smooth rational surface $Y_{p,q,r}$. By using localization techniques on both sides, we get an isomorphism between the derived wrapped Fukaya category of the Milnor fibre and the derived category of coherent sheaves on a quasi-projective surface given by deleting …
There is a strange duality between the quadrangle isolated complete intersection singularities discovered by the first author and C.T.C.Wall. We derive this duality from the mirror symmetry, the Berglund-Hübsch transposition of invertible polynomials, and our previous results about the strange duality between hypersurface and complete intersection singularities using matrix factorizations of size two.
This paper continues the authors' program of studying mirror symmetry via log geometry and toric degenerations, relating affine manifolds with singularities, log Calabi-Yau spaces, and toric degenerations of Calabi-Yaus. The main focus of this paper is the calculation of the cohomology of a Calabi-Yau variety associated to a given affine manifold with singularities B. We show that the Dolbeault cohomology groups of the Calabi-Yau associated to B are described in terms of some cohomology groups of sheaves on B, as expected. This is proved first by calculating the log de Rham and log Dolbeault c…
We verify the Landau-Ginzburg Mirror Symmetry Conjecture for Arnol'd's list of unimodal and bimodal quasi-homogeneous singularities with G the maximal diagonal symmetry group, and include a discussion of eight axioms which facilitate the computation of FJRW-rings.
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.
We consider a mirror symmetry of simple elliptic singularities. In particular, we construct isomorphisms of Frobenius manifolds among the one from the Gromov--Witten theory of a weighted projective line, the one from the theory of primitive forms for a universal unfolding of a simple elliptic singularity and the one from the invariant theory for an elliptic Weyl group. As a consequence, we give a geometric interpretation of the Fourier coefficients of an eta product considered by K. Saito.
We introduce a class of Laurent polynomials, called maximally mutable Laurent polynomials (MMLPs), that we believe correspond under mirror symmetry to Fano varieties. A subclass of these, called rigid, are expected to correspond to Fano varieties with terminal locally toric singularities. We prove that there are exactly 10 mutation classes of rigid MMLPs in two variables; under mirror symmetry these correspond one-to-one with the 10 deformation classes of smooth del~Pezzo surfaces. Furthermore we give a computer-assisted classification of rigid MMLPs in three variables with reflexive Newton po…
A simple elliptic singularity of type $E_N^{(1,1)}$ ($N=6,7,8$) can be described in terms of a marginal deformation of an invertible polynomial $W$. In the papers \cite{KS} and \cite{MR} the authors proved a mirror symmetry statement for some particular choices of $W$ and used it to prove quasi-modularity of Gromov-Witten invariants for certain elliptic orbifold $\mathbb{P}^1$s. However, the choice of the polynomial $W$ and its marginal deformation $ϕ_μ$ are not unique. In this paper, we investigate the global mirror symmetry phenomenon for the one-parameter family $W+σϕ_μ$. In each case the m…
This paper continues the study of two examples of extremal transitions between families of Calabi-Yau threefolds. In a previous paper we suggested that the "mirror transition" between mirror families predicted by Morrison could be achieved naturally by combining a toric morphism with the Batyrev-Borisov construction. This was carried out for a particular example of a conifold transition. In this paper we show that similar methods work for another extremal transition involving more complicated singularities. We also study how the resolution is related to geometry of the ambient toric varieties,…
Recently Abouzaid, Auroux, Efimov, Katzarkov and Orlov showed that the wrapped Fukaya Categories of punctured spheres and finite unbranched covers of punctured spheres are derived equivalent to the categories of singularities of a superpotential on certain crepant resolutions of toric 3 dimensional singularities. We generalize this result to other punctured Riemann surfaces and reformulate it in terms of certain noncommutative algebras coming from dimer models. In particular, given any consistent dimer model we can look at a subcategory of noncommutative matrix factorizations and show that thi…
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.
Burban-Drozd showed that the degenerate cusp singularities have tame Cohen-Macaulay representation type, and classified all indecomposable Cohen-Macaulay modules over them. One of their main example is the non-isolated singularity $W=xyz$. On the other hand, Abouzaid-Auroux-Efimov-Katzarkov-Orlov showed that $W=xyz$ is mirror to a pair of pants. In this paper, we investigate homological mirror symmetry of these indecomposable Cohen-Macaulay modules for $xyz$. Namely, we show that closed geodesics (with a flat $\mathbb{C}$-bundle) of a hyperbolic pair of pants have a one-to-one correspondence w…
We study a certain family of determinantal quintic hypersurfaces in $\mathbb{P}^{4}$ whose singularities are similar to the well-studied Barth-Nieto quintic. Smooth Calabi-Yau threefolds with Hodge numbers $(h^{1,1},h^{2,1})=(52,2)$ are obtained by taking crepant resolutions of the singularities. It turns out that these smooth Calabi-Yau threefolds are in a two dimensional mirror family to the complete intersection Calabi-Yau threefolds in $\mathbb{P}^{4}\times\mathbb{P}^{4}$ which have appeared in our previous study of Reye congruences in dimension three. We compactify the two dimensional fam…
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…
We prove the Landau-Ginzburg mirror symmetry conjecture between invertible quasi-homogeneous polynomial singularities at all genera. That is, we show that the FJRW theory (LG A-model) of such a polynomial is equivalent to the Saito-Givental theory (LG B-model) of the mirror polynomial.
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.
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.
Calabi-Yau manifolds are important objects in algebraic geometry and in theoretical physics. A hypothesis of mirror symmetry is that Calabi-Yau manifolds of dimension 3 come in pairs, with the Hodge numbers of one manifold mirroring the Hodge numbers of the other. In this thesis, Calabi-Yau manifolds are constructed by smoothing Stanley-Reisner schemes of triangulations of 3-spheres. The triangulations of the 3-sphere with 7 or 8 vertices have been constructed and classified by Grünbaum and Sreedharan (1967). In this thesis we characterize the Calabi-Yau manifolds obtained from the triangulati…
The paper contains a proof that elliptic genus of a Calabi-Yau manifold is a Jacobi form, finds in which dimensions the elliptic genus is determined by the Hodge numbers and shows that elliptic genera of a Calabi-Yau hypersurface in a toric variety and its mirror coincide up to sign. The proof of the mirror property is based on the extension of elliptic genus to Calabi-Yau hypersurfaces in toric varieties with Gorenstein singularities.
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 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.
This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certain sorts of degenerations of Calabi-Yau manifolds a log Calabi-Yau space, which is a log structure on the degenerate fibre. Then many statements about mirror symmetry which one hopes to be true for the general fibre should first be proved for this log CY space. In this paper we be…
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.
In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.
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.
We study the representation of a finite group acting on the cohomology of a non-degenerate, invariant hypersurface of a projective toric variety. We deduce an explicit description of the representation when the toric variety has at worst quotient singularities. As an application, we conjecture a representation-theoretic version of Batyrev and Borisov's mirror symmetry between pairs of Calabi-Yau hypersurfaces, and prove it when the hypersurfaces are both smooth or have dimension at most 3. An interesting consequence is the existence of pairs of Calabi-Yau orbifolds whose Hodge diamonds are mir…
Let π: M \ra B be a Lagrangian torus fibration with singularities such that the fibers are of Maslov index zero, and unobstructed. The paper constructs a rigid analytic space M_0^\chk over the Novikov field which is a deformation of the semi-flat complex structure of the dual torus fibration over the smooth locus B_0 of π. Transition functions of M_0^\chk are obtained via A-\infty homomorphisms which capture the wall-crossing phenomenon of moduli spaces of holomorphic disks.
For any non-degenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a corresponding cohomological field theory associated to the singularity. This theory is analogous to Gromov-Witten theory and generalizes the theory of r-spin curves, which corresponds to the simple singularity A_{r-1}. We also resolve two outstanding conjectures of Witten. The first conjecture is that ADE-singularities are self-dual; and the second conjecture is that the total potential functions of ADE-singularities satisfy corresponding ADE-integrable hierarchies.…