Abstract

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 an anti-canonical divisor D from Y_{p,q,r}. In the cusp case, the pair (Y_{p,q,r}, D) is naturally associated to the dual cusp singularity, tying into Gross, Hacking and Keel’s proof of Looijenga’s conjecture.

Highlights

  • A landmark application of the field of mirror symmetry is the recent proof by Gross, Hacking and Keel of Looijenga’s conjecture, about pairs of cusp singularities [17]

  • Cusp singularities come in naturally dual pairs; in [17], this duality gets strengthened to a mirror symmetry statement, of the flavour developed by Gross–Siebert (e.g. [20,21,22]) and Kontsevich–Soibelman (e.g. [27,28])

  • We prove versions of Kontsevich’s Homological Mirror Symmetry Conjecture [26] for spaces appearing in Gross, Hacking and Keel’s work

Read more

Summary

Introduction

A landmark application of the field of mirror symmetry is the recent proof by Gross, Hacking and Keel of Looijenga’s conjecture, about pairs of cusp singularities [17]. Cusp singularities come in naturally dual pairs; in [17], this duality gets strengthened to a mirror symmetry statement, of the flavour developed by Gross–Siebert Let Tp,q,r denote the Milnor fibre of Tp,q,r This is a Liouville domain, which, as shown in [24, Section 2], is independent of choices, including the choice of representative for a germ and the constant a. In the classification of isolated hypersurface singularities by Arnol’d and collaborators, these are all but finitely many of the modality one singularities [9, Section I.2.3 and II.2.5]; missing are the fourteen so-called ‘exceptional’ singularities (known as the object of strange duality). Homological mirror symmetry for these is comparatively well understood—see for instance [5,13,15]

Motivation: candidate mirror spaces following Gross–Hacking–Keel
Statement of results
Outline of proof
Stabilizations
Mutations
A symmetric Lefschetz fibration
Background: set-up and conventions
Distinguished basis of vanishing cycles
Lagrangian branes
Preliminaries
Exceptional sequence of objects
The Fukaya category of the fibre of
Restriction functors and localization
First order
Formality of AC and an equivalence of derived categories
Localization: generalities
Discussion
Images of some distinguished Lagrangians
Restricting to compact Lagrangians
Restricting to cores
Singular affine structures
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call