Homological mirror symmetry for singularities of type D (Q1944822): Difference between revisions

This paper deals with homological mirror symmetry for type-D singularities. It proves that (Theorem 1.2) \[ D^\pi_{\mathrm{sing}} (\mathrm{gr} R) \cong D^b \mathrm{Fuk}\, W^*, \] where \(R := \mathbb{C}[x,y]/(W)\), \(W = x^{n-1} y + y^2\), and \(W^* = x^{n-1} + xy^2\) is the transpose of \(W\). It also proves the corresponding statement for the Sebastiani-Thom sum of polynomials of type \(A\) (\(W^* = x^{n+1}\)) or \(D\) (\(W^* = x^{n-1} + xy^2\)). Let \[ W = \sum_{i=1}^n x_1^{a_{i1}} \cdots x_n^{a_{in}}, \] which is invertible in the sense that it has an isolated critical point at the origin. Its transpose \(W^*\) is defined by the transpose of the matrix \((a_{ij})_{i,j=1}^n\): \[ W^* = \sum_{i=1}^n x_1^{a_{1i}} \cdots x_n^{a_{ni}}. \] Let \[ G_{\mathrm{max}} = \{(\alpha_1,\dots,\alpha_n) \in (\mathbb{C}^*)^n: \alpha_1^{a_{11}} \cdots \alpha_n^{a_{1n}} = \dots = \alpha_1^{a_{n1}} \cdots \alpha_n^{a_{nn}} = 1\}, \] which acts on \(\mathbb{C}^n\) by entrywise multiplication and which preserves \(W\). Then the transposition mirror symmetry by Berglund-Hübsch (restricted to such a choice of group \(G_{\mathrm{max}}\)) states that the Landau-Ginzburg models \(([\mathbb{C}^n/G_{\mathrm{max}}],W)\) and \((\mathbb{C}^n,W^*)\) are mirror to each other. In terms of homological mirror symmetry, it means \[ D^b_{\mathrm{sing}} (\mathrm{gr} R) \cong D^b \mathrm{Fuk}\, W^*, \] where roughly speaking \(D^b_{\mathrm{sing}} (\mathrm{gr} R)\) consists of finitely-generated graded \(R\)-modules, and where the grading comes from the group of characters of \(G_{\mathrm{max}}\). \(\mathrm{Fuk}\, W^*\) is the Fukaya-Seidel category of \(W^*\) which consists of vanishing cycles in \((W^*)^{-1}\{0\}\). This paper concerns the case when \(W^*\) is a perturbation of the type-\(D\) polynomial \(x^{n-1} + xy^2\). \(D^b \mathrm{Fuk}\, W^*\) is equivalent to the derived directed Fukaya category by Seidel. The directed Fukaya category has \(n\) objects (which are certain explicit vanishing cycles depicted by Figures 2 to 6) and their morphisms are explicitly known. It is quasi-equivalent to the full subcategory of \(\mathcal{D}^b \mathrm{mod} \Gamma_n\) consisting of the simple representations \(S_i,i=1,\dots,n\), of the \(D_n\) quiver \(\Gamma_n\) (Equation (2.1)). Then, homological mirror symmetry is proved by finding the corresponding generators with the same relations (\(\mathrm{Ext}\) groups) of the category \(D^b_{\mathrm{sing}} (\mathrm{gr} R)\) (Lemma 4.3). In this paper, \(W^*\) can also be the sum of several \(A\)- and \(D\)-type polynomials (and \(W\) to be the sum of their transposes) (Sections 3 and 5). The corresponding categories on both sides can be written as tensor products of the corresponding \(A\)- and \(D\)-type components and hence they are also equivalent (Theorem 3.2 and 5.1). This paper gives a very nice application of Seidel's theory and of the Sebastiani-Thom sum. It is concisely written and the ideas of proof are clearly presented.