Homological mirror symmetry for hypersurface cusp singularities (Q1744790)

From MaRDI portal
Revision as of 06:44, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Homological mirror symmetry for hypersurface cusp singularities
scientific article

    Statements

    Homological mirror symmetry for hypersurface cusp singularities (English)
    0 references
    0 references
    19 April 2018
    0 references
    This article is an important study of homological mirror symmetry for hypersurface cusp singularities. A cusp singularity \((\bar{Y}, p)\) is the germ of an isolated, normal surface singularity such that the exceptional divisor of a minimal resolution \(\pi: Y \to \bar{Y}\) is a cycle of smooth rational curves intersecting transversely. Denote this cycle of \(\mathbb{P}^1\)'s by \(D\). Note that the germ of a cusp singularity \((Y,p)\) is uniquely determined by the self-intersection numbers of the components of the associated cycle \(\pi^{-1}(p)=D\). Cusp singularities naturally come in dual pairs. That is, given a cusp singularity \((\bar{Y}, p)\) with associated cycle \(D\), there is a natural dual cusp singularity \((\bar{Y}', p')\) with associated cycle \(D'\). In [Ann. Math. (2) 114, 267--322 (1981; Zbl 0509.14035)], \textit{E. Looijenga} showed that if the cusp singularity with associated cycle \(D'\) is smoothable, then there exists a smooth rational surface \(Y\) with anti-canonical divisor \(D\), whose components have the same self intersections as the cycle associated to the dual cusp singularity. Moreover, the Looijenga conjecture asserts that if there exists a smooth surface \(Y\) and an anti-canonical cycle \(D\), then the cusp singularity with associated cycle \(D'\) is smoothable. This conjecture was proven in the context of mirror symmetry in [\textit{M. Gross} et al., Publ. Math., Inst. Hautes Étud. Sci. 122, 65--168 (2015; Zbl 1351.14024)]. A hypersurface cusp singularity is a singularity given by a single polynomial equation \[ T_{p,q,r}(x, y,z) = x^p + y^q + z^r + axyz \] where \(a\) is a non-zero complex number, and \((p, q,r)\) is a triple of positive integers satisfying \[ \frac{1}{p}+\frac{1}{q}+\frac{1}{r} \leq 1 \] A smoothing of a hypersurface cusp singularity \(T_{p,q,r}(x, y,z)\) is given by its Milnor fiber \(\tau_{p,q,r}\). In the paper, the Milnor fiber is exhibited as a Lefschetz fibration \(\Xi: \tau_{p,q,r} \to \mathbb{C}\), with smooth fibre \(M\), and the following equivalences of categories are proven. \[ D^b\operatorname{Fuk}^{\to}(\Xi) \simeq D^b\operatorname{Coh}(Y_{p,q,r}) \] where \(\operatorname{Fuk}^{\to}(\Xi)\) stands for the Fukaya-Seidel category of \(\Xi\). \[ D^\pi \operatorname{Fuk}(M) \simeq \operatorname{Perf}(D) \] where \(D^\pi \operatorname{Fuk}(M)\) denotes the derived split closure of the Fukaya category of the fibre \(M\) and \(\operatorname{Perf}(D)\) is the category of perfect complexes of algebraic vector bundles on \(D\). \[ D^bW(\tau_{p,q,r}) \simeq D^b \operatorname{Coh}(Y_{p,q,r} \setminus D) \] where \(W(T_{p,q,r})\) is the wrapped Fukaya category of \(\tau_{p,q,r}\).
    0 references
    0 references
    homological mirror symmetry
    0 references
    cusp singularities
    0 references

    Identifiers