Homological mirror symmetry for hypersurface cusp singularities (Q1744790): Difference between revisions

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}\).