Abstract
There is a strange duality between the quadrangle isolated complete intersection singularities discovered by the first author and Wall. We derive this duality from a variation of the Berglund–Hübsch transposition of invertible polynomials introduced in our previous work about the strange duality between hypersurface and complete intersection singularities using matrix factorizations of size two.
Similar content being viewed by others
1 Introduction
Arnold [2] observed a strange duality between the 14 exceptional unimodal singularities. It is well known that this duality is a special case of the Berglund–Hübsch duality of invertible polynomials, see e.g. [12]. Wall and the first author [15] discovered an extension of this duality embracing on one hand series of bimodal hypersurface singularities and on the other hand, certain isolated complete intersection singularities (ICIS) in \({\mathbb {C}}^4\). The duals of these ICIS are not themselves singularities but are virtual (\(k=1\)) cases of series (e.g. \(J_{3,k}\), \(k \ge 0\)) of bimodal singularities. In [15], the \(k=1\) cases of the series were called virtual singularities and Milnor lattices were associated to them, but they do not coincide with the Milnor lattices of the germs at the origin by setting \(k=1\) in Arnold’s equations of the series, which are exceptional unimodal singularities with a smaller Milnor number. In [13], we showed that the virtual singularities exist in the sense that the equations have to be considered as global polynomials and we derived this extension from the mirror symmetry and the Berglund–Hübsch duality of invertible polynomials.
Arnold’s 14 exceptional unimodal singularities are triangle hypersurface singularities, i.e., they are weighted homogeneous singularities obtained from triangles in the hyperbolic plane. More precisely, they are determined by triangles with angles \(\frac{\pi }{b_1},\frac{\pi }{b_2},\frac{\pi }{b_3}\), where \(b_1,b_2,b_3\) are positive integers called the Dolgachev numbers of the singularity. The \(k=0\) elements of the bimodal series are quadrangle hypersurface singularities, i.e., they are related in a similar way to quadrangles in the hyperbolic plane. They are determined by four positive integers \(b_1,b_2,b_3,b_4\). For 6 quadruples \((b_1,b_2,b_3,b_4)\), the corresponding quadrangle singularities are hypersurface singularities. They are the \(k=0\) elements of the 8 series of bimodal hypersurface singularities. The dual ICIS are triangle complete intersection singularities in \({\mathbb {C}}^4\). There are 8 of them determined by 8 triples \((b_1,b_2,b_3)\). For another 5 quadruples \((b_1,b_2,b_3,b_4)\), the quadrangle singularities are ICIS. They are again the \(k=0\) elements of certain series of singularities. These series are the 8 series of \({\mathcal {K}}\)unimodal ICIS in Wall’s classification [21]. Wall and the first author also observed a duality between the \(k=1\) cases of these series (see also [6, Sect. 3.6]). They were called virtual singularities as well. The objective of this paper is to show that these singularities exist as well and to derive this duality from the Berglund–Hübsch duality, too. The equations and notations of these quadrangle complete intersection singularities according to [21] together with their Dolgachev numbers and systems of weights are listed in Table 1. The virtual singularities obtained by setting \(k=1\) in the equations of Wall [21] are listed in Table 2.
We derive this duality from our paper [13]. An important tool are matrix factorizations of size two. In [14], we showed that such a matrix factorization can be considered as an inverse to Wall’s reduction of complete intersection singularities to hypersurface singularities [22]. We proceed as follows. In [13], we classified certain \(4 \times 3\)matrices which provided the duality to complete intersection singularities. Here we consider the polynomials determined by these matrices for the bimodal series. We determine the matrix factorizations of size two of the corank 3 polynomials. It turns out that we get exactly 8 possibilities which correspond to the 8 series of ICIS. We show that one can associate \(4 \times 4\)matrices to these equations such that the duality is given by the Berglund–Hübsch transposition of these matrices. Using the definition of the virtual singularities in [13] and matrix factorizations again, we define virtual quadrangle complete intersection singularities.
Similarly as in [13], we associate Dolgachev numbers to the virtual singularities. These are two pairs of numbers corresponding to a decomposition of the equations into two parts. We also associate Gabrielov numbers to the virtual singularities by considering deformations to cusp singularities. We consider the second function on the zero set of the first function. Again this function has to be considered as a global function. It turns out that these functions have, besides an isolated critical point at the origin, additional critical points outside the origin. We consider Coxeter–Dynkin diagrams of distinguished bases of thimbles corresponding to these functions taking the additional critical points into account.
We show that the Dolgachev numbers of a virtual singularity are the Gabrielov numbers of the dual one, and vice versa. Moreover, we show that an analogue of [13, Theorem 6] holds: the product \(\prod _{j=1}^2 {\overline{\zeta }}_{X,j}(t)\) of the reduced zeta functions of the monodromies of a virtual singularity X coincides with the product of the Poincaré series \(P_{{\widetilde{X}}_0}(t)\) and a polynomial \(\mathrm{Or}_{{\widetilde{X}}_0}(t)\) related to the Dolgachev numbers of the \(k=0\) element \({\widetilde{X}}_0\) of the dual series. The results are summarized in Table 3. Here we use for a rational function \(\prod _{mh} (1t^m)^{\chi _m}\) (\(\chi _m \in {\mathbb {Z}}\)) the symbolic notation \(\prod _{mh}m^{\chi _m}\). For more details we refer to Sect. 7.
2 Invertible Polynomials
We recall some general definitions.
A complete intersection singularity in \({\mathbb {C}}^n\) given by polynomial equations \(f_1= \cdots = f_k=0\) is called weighted homogeneous if there are positive integers \(w_1, \ldots , w_n\) (called weights) and \(d_1, \ldots , d_k\) (called degrees) such that \(f_j(\uplambda ^{w_1}x_1, \ldots , \uplambda ^{w_n}x_n)=\uplambda ^{d_j} f_j(x_1, \ldots , x_n)\) for \(j=1, \ldots , k\) and for \(\uplambda \in {\mathbb {C}}^*\). We call \((w_1, \ldots , w_n; d_1, \ldots , d_k)\) a system of weights.
A weighted homogeneous polynomial \(f(x_1, \ldots , x_n)\) is called invertible if it can be written
where \(a_i \in {\mathbb {C}}^*\), \(E_{ij}\) are nonnegative integers, and the \(n \times n\)matrix \(E:=(E_{ij})\) is invertible over \({\mathbb {Q}}\).
An invertible polynomial is called nondegenerate if it has an isolated singularity at the origin.
Remark 1
Note that sometimes an invertible polynomial is defined to be a nondegenerate invertible polynomial, see e.g. [12].
Let f be an invertible polynomial given as above. By rescaling of the variables, one can assume that \(a_i=1\) for \(i=1, \ldots , n\). Moreover, we can assume that \(\det E >0\).
The Berglund–Hübsch transpose [4] \({\widetilde{f}}\) of f is defined by the transpose matrix \(E^\mathrm{T}\) of E, i.e.
Let \(f(x_1, \ldots , x_n)\) be an invertible polynomial. The canonical system of weights \(W_f\) of f is the system of weights \((w_1,\dots ,w_n;d)\) given by the unique solution of the equation
We define
The maximal group of diagonal symmetries of f is the group
It always contains the exponential grading operator
Denote by \(G_0\) the subgroup of \(G_f\) generated by \(g_0\).
By [3] (see also [10, Proposition 2]), \(\mathrm{Hom}(G_f, {\mathbb {C}}^*)\) is isomorphic to \(G_{{\widetilde{f}}}\). For a subgroup \(G \subset G_f\), Berglund and Henningson [3] defined its dual group \({\widetilde{G}}\) by
3 Wall’s Reduction
Let (X, 0) be an ICIS in \({\mathbb {C}}^4\) given by an equation \(F=0\) where
where a(z, w) and c(x, z, w) are polynomials of degree \(\ge 2\), b(z, w) is a polynomial of degree \(\ge 1\), and x, b(z, w) form a regular sequence in \({\mathbb {C}}[x,z,w]\). Then we can consider the reduction
of [22] corresponding to the variable y. This means that we eliminate the variable y to get the equation of a hypersurface singularity in \({\mathbb {C}}^3\). Geometrically, this elimination corresponds to the projection along the yaxis on the coordinate space of the remaining variables x, z, w. It is proved in [22, Theorem 7.9], for the case \(b(z,w)=z\), that the Milnor number increases by one.
In [14], we considered certain polynomials of the form
with the conditions on a(z, w), b(z, w), and c(x, z, w) as above and associated a complete intersection singularity to a graded matrix factorization of size two of f. We showed that, in this way, we get an inverse to Wall’s reduction. More precisely, a matrix factorization (of size two) of f is given by two matrices
such that
We associate to this the complete intersection singularity \((X_Q,0)\) given by
If \(f=L_yF\), then we obtain back \((X_Q,0)=(X,0)\).
According to [14], the quadrangle ICIS correspond to matrix factorizations of the quadrangle hypersurface singularities \(Q_{2,0}\), \(S_{1,0}\), and \(U_{1,0}\). They are given by nondegenerate invertible polynomials with \([G_f:G_0]=2\). In [13, Proposition 1], we classified such polynomials. The coordinates are chosen so that the action of \({\widetilde{G}}_0= {\mathbb {Z}}/2{\mathbb {Z}}\) on \({\widetilde{f}}\) is given by \((x,y,z) \mapsto (x,y,z)\). The singularities \(Q_{2,0}\), \(S_{1,0}\), and \(U_{1,0}\) are given by an invertible polynomial of type IV, namely
respectively. In [13, Proposition 2], we classified certain \(4 \times 3\) matrices corresponding to data determined by such polynomials, see [13] for details. Using [13, Table 1, 9 and 10] and the notations used there, this amounts to the list of Table 4. The last column indicates the coefficients \(a_1,a_2,a_3,a_4 \in {\mathbb {C}}\) which are used in [13] and will be used in Sect. 4.
We now consider the matrix factorizations of the functions \(\mathbf{f}\) of Table 4. They are given in Table 5, where we use suitable coordinates (x, z, w) instead of (x, y, z).
In the case \(Q_{2,0}\), the matrix factorization from [14, Table 2]
is equivalent to the matrix factorization from Table 5 with \(a_1=\uplambda _4\), \(a_2=1\), \(a_3=1\), \(a_4=1+\uplambda _4\), which is seen by adding the second column multiplied by \(y^3(1+\uplambda _4)xy\) to the first column.
4 An Extension of the Berglund–Hübsch Duality
We shall now show that the duality between the quadrangle complete intersection singularities can be derived from the Berglund–Hübsch transposition of certain polynomials in 4 variables. We use the procedure in [13] to associate a weighted homogeneous noninvertible polynomial with 4 terms in 4 variables to each of the quadrangle complete intersection singularities. We consider the complete intersection singularities associated to the matrix factorizations in Table 5 defined by equations \((F_{Q,1},F_{Q,2})\), where we set \(a_i=1\), \(i=1, \ldots , 4\), and where we take a suitable order of the terms. Moreover, in the equation for \(I_{1,0}\) we replace \(XZ+YZ\) by \(X^2+Y^2\). We also substitute temporarily the variables x, y, z, w by capital letters X, Y, Z, W. We have the following 4 cases:

(a)
\(F_{Q,1}(X,Y,Z,W)=XYW^2\),

(b)
\(F_{Q,1}(X,Y,Z,W)=XYW^3\),

(c)
\(F_{Q,1}(X,Y,Z,W)=XYZW\),

(d)
\(F_{Q,1}(X,Y,Z,W)=XYZ^2W\).
We make the following coordinate substitutions in \(F_{Q,2}(X,Y,Z,W)\):
Then the polynomial \(F_{Q,2}(X,Y,Z,W)\) is transformed to a noninvertible polynomial
for a \(4 \times 4\)matrix E of exponents. The corresponding polynomials are listed in Table 6.
This procedure can be explained as follows. We observe that the kernel of the matrix E is generated by one of the following vectors:

(a),(b)
\((1,1,0,2)^\mathrm{T}\),

(c),(d)
\((1,1,1,1)^\mathrm{T}\).
Let \(R:={\mathbb {C}}[x,y,z,w]\). There exists a \({\mathbb {Z}}\)graded structure on R given by the respective \({\mathbb {C}}^*\)action (here \(\uplambda \in {\mathbb {C}}^*\)):
Let \(R= \bigoplus _{i \in {\mathbb {Z}}} R_i\) be the decomposition of R according to one of these \({\mathbb {Z}}\)gradings. The new coordinates X, Y, Z, W are some invariant polynomials with respect to these actions and they satisfy the relation given by the corresponding first equation.
An inspection of Table 6 shows that the Berglund–Hübsch transpose of the polynomial f is either the polynomial f itself or another polynomial appearing in the table. This leads to the indicated duality.
5 Virtual Isolated Complete Intersection Singularities
We now derive the equations for the virtual singularities.
In [13, Section 4], we associated a polynomial \(\mathbf{h}\) to \(\mathbf{f}\), which defines the corresponding virtual bimodal hypersurface singularity. This is done as follows. We consider the polynomial \(\mathbf{f}(x,z,w)\) from Table 4 (using the coordinate transformation of Table 5) with the choice of coefficients \(a_1,a_2,a_3,a_4\) given in the last column. Then the corresponding equation defines a nonisolated singularity. We consider the cusp singularity
and perform the coordinate change indicated in Table 7.
Then this polynomial is transformed to
where the polynomial \(\mathbf{h}(x,z,w)\) is indicated in Table 7. The polynomial \(\mathbf{h}(x,z,w)\) has an isolated singularity at the origin, but also an additional critical point of type \(A_1\) outside the origin. Moreover, if we consider the 1parameter family \(\mathbf{h}(x,z,w)t \cdot xzw\) for \(t \in {\mathbb {C}}\), then, for \(t\ne 0,1\), the polynomial \(\mathbf{h}(x,z,w)t \cdot xzw\) has two additional critical points of type \(A_1\) outside the origin. One of them merges with the singularity of \(\mathbf{h}(x,z,w)\) at the origin for \(t=0\) and the other one merges with the singularity of \(\mathbf{f}(x,z,w)xzw\) at the origin for \(t=1\).
Example 2
Consider the case \(Q_{2,0}\). Then
The polynomial \(\mathbf{h}(x.z,w)\) has a singularity of Arnold type \(Q_{12}\) at the origin. On the other hand, for \(t \ne 0\),
Using the proof of [12, Theorem 10], one can show that, for \(t \ne 1\), this is a cusp singularity of type \(T_{3,3,6}\). For \(t=1\), it is a cusp singularity of type \(T_{3,3,7}\). Using this, one can check the above statements.
Now we are looking at possible matrix factorizations of the polynomials \(\mathbf{h}\) of Table 7. They are listed together with the corresponding isolated complete intersection singularities in Table 8. The resulting pairs of polynomials \((\mathbf{h}_1, \mathbf{h}_2)\) are called the virtual quadrangle complete intersection singularities or, shortly, the virtual singularities and they are denoted by replacing the index 0 by \(1\).
There is another matrix factorization in the case \(U_{1,1}\), namely
It is equivalent to the matrix factorization corresponding to \(I_{1,1}\).
The equations \((\mathbf{h}_1, \mathbf{h}_2)\) will be used in the sequel. Note that they differ from the equations in Table 2 in a similar way as the equations in [12, Table 12] for the interpretation of Arnold’s strange duality as the Berglund–Hübsch transposition of invertible polynomials differ partly from Arnold’s equations. In a similar way, the equations in [13] deviate from the equations of Arnold as well, cf. [13, Table 10].
Let \((\mathbf{h}_1,\mathbf{h}_2)\) with
be a virtual singularity. We consider the polynomial \(\mathbf{h}_2(x,y,z,w)\) on the zero set of the polynomial \(\mathbf{h}_1(x,y,z,w)\). This means that we substitute \(y=x^{1}z^cw^d\) in the polynomial \(\mathbf{h}_2(x,y,z,w)\) to get a Laurent polynomial
in the variables x, z, w. Define \(\mathrm{Supp}(\mathbf{h}_2'):=\{ (A_{i1}A_{i2}, A_{i3}+cA_{i2}, A_{i4}+dA_{i2}) \in {\mathbb {Z}}^3 \,  \, i=1, \ldots ,4\}\). Let \(\Gamma _\infty (\mathbf{h}_2')\) be the Newton polyhedron of \(\mathbf{h}_2'\) at infinity [17], i.e. \(\Gamma _\infty (\mathbf{h}_2')\) is the convex closure in \({\mathbb {R}}^3\) of \(\mathrm{Supp}(\mathbf{h}_2') \cup \{ 0 \}\). The Newton polyhedron \(\Gamma _\infty (\mathbf{h}_2')\) has two twodimensional faces which do not contain the origin. Call these faces \(\Sigma _1\) and \(\Sigma _2\). Let \(I_k:= \{i \in \{1, \ldots , 4\} \,  \, (A_{i1}A_{i2}, A_{i3}+cA_{i2}, A_{i4}+dA_{i2}) \in \Sigma _k \}\), \(k=1,2\), and let
Then \((\mathbf{h}_1,\mathbf{h}_{2,k})\) defines a nonisolated weighted homogeneous complete intersection singularity. The polynomials \(\mathbf{h}_{2,1}\) and \(\mathbf{h}_{2,2}\) and their systems of weights are listed in Table 9.
6 Dolgachev Numbers
We shall now define Dolgachev numbers for our virtual singularities.
The Dolgachev numbers of the virtual singularity \((\mathbf{h}_1,\mathbf{h}_2)\) are defined in a similar way as [13, Section 5]. Let \(i=1,2\) and let \(V_i:= \{ (x,y,z,w) \in {\mathbb {C}}^4 \,  \, \mathbf{h}_1(x,y,z,w)=0, \ \mathbf{h}_{2,i}(x,y,z,w)=0\}\). We consider the \({\mathbb {C}}^*\)action on \(V_i\) given by the system of weights of \((\mathbf{h}_1,\mathbf{h}_{2,i})\) (see Table 9). We consider exceptional orbits (i.e. orbits with a nontrivial isotropy group) of this action. We distinguish between three cases:

(A)
\(V_i\) contains a linear subspace L of \({\mathbb {C}}^4\) of codimension 2 obtained by setting two coordinates to be zero.

(B)
\(V_i=U \cup U'\), where
$$\begin{aligned}&(\mathbf{h}_1(x,y,z,w),\mathbf{h}_{2,i}(x,y,z,w))=(g_1(x,y,w), zg_2(x,y,z)),\\&U=\{ (x,y,z,w) \in {\mathbb {C}}^4 \,  \, g_1(x,y,w)=z=0 \},\\&U'= \{ (x,y,z,w) \in {\mathbb {C}}^4 \,  \, g_1(x,y,w)=g_2(x,y,z)=0 \}. \end{aligned}$$ 
(C)
\(V_i\) is not of the form of (A) or (B).
In case (A) we consider those exceptional orbits which are not contained in L. In case (B) we consider those exceptional orbits which are not contained in U. In case (C) we consider those exceptional orbits which do not coincide with the singular locus of \(V_i\). We call these the principal orbits. It turns out that in all cases we have exactly two principal orbits.
Definition
The Dolgachev numbers of the virtual singularity \((\mathbf{h}_1,\mathbf{h}_2)\) are the numbers \(\alpha _1, \alpha _2; \alpha _3, \alpha _4\) where \(\alpha _1, \alpha _2\) and \(\alpha _3, \alpha _4\) are the orders of the isotropy groups of the principal exceptional orbits of \((\mathbf{h}_1,\mathbf{h}_{2,1})\) and \((\mathbf{h}_1,\mathbf{h}_{2,2})\) respectively.
The Dolgachev numbers of the virtual singularities are computed as follows. The two pairs of polynomials \((\mathbf{h}_1, \mathbf{h}_{2,i})\), \(i=1,2\), of Table 9 define nonisolated weighted homogeneous complete intersection singularities of certain types. The systems of weights correspond to the five quadrangle ICIS and three elliptic complete intersection singularities as considered by Wall [23]. We indicate the notation of Wall [23] in Table 10. The corresponding orbifold curves have genus zero. We list the orders of the isotropy groups of the exceptional orbits of these ICIS in this table (see also [8]). Some of them correspond to the orders of the isotropy groups of the exceptional orbits for the nonisolated singularities given by the pairs \((\mathbf{h}_1, \mathbf{h}_{2,i})\), \(i=1,2\). Those ones which do not occur are stroken out. The orders of the isotropy groups of the principal orbits are indicated in bold face. We also indicate for each pair which of the corresponding cases (A), (B), or (C) applies. An exceptional orbit which coincides with the singular locus is marked by \(^*\). The Dolgachev numbers \(\alpha _1, \alpha _2; \alpha _3, \alpha _4\) of the virtual singularities are indicated in the last column.
Example 3
(a) We consider the singularity \(K^\flat _{1,1}\). We have \((\mathbf{h}_1, \mathbf{h}_{2,1})=(xyw^2, x^2w+x^2z+yz)\) with the system of weights (2, 4, 3, 3; 6, 7). We are in case (C). The exceptional orbits are
\(x=y=w=0\) singular line, order of isotropy group: 3
\(y=z=w=0\) order of isotropy group: 2
\(x=z=w=0\) order of isotropy group: 4
This gives \((\alpha _1,\alpha _2)=(2,4)\).
(b) We again consider the singularity \(K^\flat _{1,1}\), but now \((\mathbf{h}_1, \mathbf{h}_{2,2})=(xyw^2, x^2z+yz+z^2)\) with the system of weights (2, 4, 4, 3; 6, 8). Here we are in case (B). The singular locus is the curve \(z=x^2+y=x^3+w^2=0\) with trivial isotropy group. It is contained in \(U=\{ xyw^2=z=0 \}\). The exceptional orbits contained in U are
\(y=z=w=0\) order of isotropy group: 2
\(x=z=w=0\) order of isotropy group: 4
The exceptional orbits not contained in U are
\(y=w=x^2+z=0\) order of isotropy group: 2
\(x=w=y+z=0\) order of isotropy group: 4
This gives \((\alpha _3,\alpha _4)=(2,4)\).
(c) We consider the case \(L_{1,1}\) with \((\mathbf{h}_1,\mathbf{h}_{2,1})=(xyzw,x^2w+z^2+xw^2)\). The system of weights is (2, 3, 3, 2; 5, 6). Here \(V_1\) contains the hyperplane \(L=\{x=z=0\}\), so we are in case (A). The exceptional orbits contained in L are
\(x=z=w=0\) singular line, order of isotropy group: 3
\(x=y=z=0\) order of isotropy group: 2
The exceptional orbits not contained in L are
\(y=z=w=0\) order of isotropy group: 2
\(xw=y=z=0\) order of isotropy group: 2
This gives \((\alpha _1,\alpha _2)=(2,2)\).
Remark 4
Using the primary decomposition algorithm of the computer algebra software Singular [5], one can show that, for each pair \((\mathbf{h}_1,\mathbf{h}_{2,i})\) where we have case (A), the subspace L is an irreducible component of \(V_i\). If one removes this component L in case (A), the component U in case (B), and the point corresponding to the singular line in case (C), one gets \({\mathbb {P}}^1_{\alpha _{2i1},\alpha _{2i}}\) with one point removed. Here \({\mathbb {P}}^1_{\alpha _{2i1},\alpha _{2i}}\) denotes the complex projective line with two orbifold points with singularities \({\mathbb {Z}}/\alpha _j{\mathbb {Z}}\), \(j=2i1,2i\).
7 Gabrielov Numbers
We now want to define Gabrielov numbers. They will be defined as in [13, Section 5]. For this purpose, we consider the pairs \((\mathbf{h}_1,\mathbf{h}_2)\) of polynomials of Table 8. Here the first three cases \(J'_{2,1}\), \(K'_{1,1}\), and \(K^\flat _{1,1}\) are suspensions of the curve singularities \(J_{2,1}\), \(K_{1,1}\), and \(K^\sharp _{1,1}\). In these cases, we consider as the first polynomial \(\mathbf{h}_1(x,y,z,w):=xyw^2z^2\). Then we consider the complete intersection singularity \((X',0)\) defined by
As in [12], one can show that the singularity \((X',0)\) is \({\mathcal {K}}\)equivalent to the singularity defined by
This means that \((X',0)\) is a cusp singularity of type \(T^2_{\gamma _1,\gamma _3,\gamma _2,\gamma _4}\) in the notation of [6, 3.1].
Definition
The Gabrielov numbers of the virtual singularity given by the pair \((\mathbf{h}_1,\mathbf{h}_2)\) are the numbers \(\gamma _1,\gamma _2;\gamma _3,\gamma _4\).
Proposition 5
The Gabrielov numbers of the virtual quadrangle complete intersection singularities are given by Table 11.
Proof
We consider Wall’s reduction of the virtual quadrangle singularities according to Table 8. The cusp singularity \(\mathbf{H}':=(\mathbf{h}_1(x,y,z,w), \mathbf{h}_2(x,y,z,w)zw)\) corresponds to the hypersurface cusp singularity \(L_y\mathbf{H}'=\mathbf{h}(x,z,w) xzw\). In all cases except \(I_{1,1}\), by transformations similar to the transformations in [13], we obtain the indicated Gabrielov numbers. More precisely, for a suitable permutation \(\sigma : \{1,2,3,4\} \rightarrow \{1,2,3,4\}\), the Gabrielov numbers satisfy \((\gamma _{\sigma (1)}, \gamma _{\sigma (2)},\gamma _{\sigma (3)},\gamma _{\sigma (4)})=(2, {\widetilde{\gamma }}_11,{\widetilde{\gamma }}_21,{\widetilde{\gamma }}_31)\), where \(({\widetilde{\gamma }}_1,{\widetilde{\gamma }}_2,{\widetilde{\gamma }}_3)\) are the Gabrielov numbers of the corresponding virtual hypersurface singularity.
In the case \(I_{1,1}\), we indicate the claimed \({\mathcal {K}}\)equivalence. We add the first polynomial \(\mathbf{h}_1(x,y,z,w)\) to the second one \(\mathbf{h}_2(x;y,z,w)zw\) and obtain
By the transformation \(w \mapsto w+y\), this is transformed to
where \(p_1(y,w)\) and \(q_1(y,w)\) are certain polynomials of degree 3 in the variables y and w. Using [1, Lemma 7.3] and the fact that y divides \(p_1(y,w)\), one can get rid of the polynomial \(p_1(y,w)\) with the help of the term xy. Similarly, one can get rid of the polynomial \(q_1(y,w)\) in the second equation with the help of the term zw. Now we apply the transformation \(w \mapsto w+x\). Then the pair (6.2) gets
where \(p_2(x,w)\) and \(q_2(x,w)\) are again polynomials which can be removed. Applying the transformation \(x \mapsto x+z\), one gets
again with certain removable polynomials \(p_3(x,z)\) and \(q_3(x,z)\). Finally, by the transformation \(z \mapsto \frac{1}{2}(zx)\) followed by \(w \mapsto wx\) and rescaling, we obtain
again with a removable polynomial \(p_4(x,w)\). \(\square \)
By [6], one can compute Coxeter–Dynkin diagrams of the (global) singularities defined by \((\mathbf{h}_1,\mathbf{h}_2)\). In the cases \(M_{1,1}\) and \(I_{1,1}\), the polynomials \(\mathbf{h}_1\) and \(\mathbf{h}_2\) have to be interchanged. Let \(X^{(1)}:=\{(x,y,z,w) \in {\mathbb {C}}^4 \,  \, \mathbf{h}_1(x,y,z,w)=0\}\) and consider the function \(\mathbf{h}_2: X^{(1)} \rightarrow {\mathbb {C}}\). It has besides the origin one or two additional critical points which are of type \(A_1\). The singularity at the origin is indicated in Table 11 using the notation of [21]. We define the Milnor number of the virtual singularity by the sum of the Milnor numbers of the singular points. It is equal to 12 in all cases.
One can compute that there exists a (strongly) distinguished basis of thimbles \((e_1, \ldots , e_{\mu +1}) = (e_j^r \,  \, 1 \le j \le 8, 1 \le r \le M_j)\), where the intersection matrix of \((e_1, \ldots , e_8)=(e_1^1, \ldots , e_8^1)\) coincides with the intersection matrix of the system \(({\widehat{\delta }}'_1, \ldots , {\widehat{\delta }}'_8)\) of [6, Sect. 2.3], the numbers \(M_1, M_3, M_8\) are equal to one and the other numbers \(M_2, M_4, M_5, M_6, M_7\) are indicated in Table 11, and the intersection matrix of \((e_j^r \,  \, 1 \le j \le 8, 1 \le r \le M_j)\) is computed according to [6, Theorem 2.2.3]. By the proof of [6, Proposition 3.6.1], one can transform these bases to (strongly) distinguished bases of thimbles with Coxeter–Dynkin diagrams of the form \(\Pi _{\gamma _1,\gamma _2,\gamma _3,\gamma _4}\) of Fig. 1, where \(\gamma _1,\gamma _2;\gamma _3,\gamma _4\) are the Gabrielov numbers of the virtual singularity.
8 Strange Duality
We now consider the duality defined in Sect. 1. We summarize the results on the Dolgachev and Gabrielov numbers of the virtual singularities in Table 3. From this table, we get the following result:
Theorem 6
The Gabrielov numbers of a virtual quadrangle complete intersection singularity coincide with the Dolgachev numbers of the dual one, and vice versa.
For another feature of this duality, we have to introduce some notions.
Let \(f_1\), ..., \(f_k\) be weighted homogeneous functions on \({\mathbb {C}}^n\) of degrees \(d_1\), ..., \(d_k\) with respect to weights \(w_1\), ..., \(w_n\). We suppose that the equations \(f_1=f_2= \ldots = f_k=0\) define a complete intersection X in \({\mathbb {C}}^n\). There is a natural \({\mathbb {C}}^*\)action on the space \({\mathbb {C}}^n\) defined by \(\uplambda *(x_1, \ldots , x_n)= (\uplambda ^{w_1}x_1, \ldots , \uplambda ^{w_n}x_n)\), \(\uplambda \in {\mathbb {C}}^*\).
Let \(A={\mathbb {C}}[x_1, \ldots , x_n]/(f_1, \ldots , f_k)\) be the coordinate ring of X. Then the \({\mathbb {C}}^*\)action on \({\mathbb {C}}^n\) induces a natural grading \(A=\oplus _{s=0}^\infty A_s\) on the ring A, where
We shall consider the Poincaré series \(P_X(t)=\sum _{s=0}^\infty \dim A_s \cdot t^s\) of this graded algebra. One has
For a map \(\varphi : Z \rightarrow Z\) of a topological space Z, the zeta function is defined to be
If, in the definition, we use the actions of the operators \({\varphi }_*\) on the reduced homology groups \({\overline{H}}_p(Z;{\mathbb {Z}})\), we get the reduced zeta function
For \(0 \le j \le k\), let \(X^{(j)}\) be the complete intersection given by the equations \(f_1= \ldots = f_j=0\) (\(X^{(0)}={\mathbb {C}}^n\), \(X^{(k)}=X\)). The restriction of the function \(f_j\) (\(j=1, \ldots , k\)) to the variety \(X^{(j1)}\) defines a locally trivial fibration \(X^{(j1)} {\setminus } X^{(j)} \rightarrow {\mathbb {C}}^*\). Let \(V^{(j)} = f_j^{1}(1) \cap X^{(j1)}\) be the typical fibre (Milnor fibre) of this fibration. Note that it is not necessarily smooth. There is a monodromy transformation \(\varphi ^{(j)} : V^{(j)} \rightarrow V^{(j)}\) on it. Let
One can show that \(({\varphi }^{(j)}_*)^{d_j} = \text{ id }\) and therefore \({{\overline{\zeta }}}_{X,j}(t)\) can be written in the form
Following Saito [18, 19], we define the Saito dual to \({{\overline{\zeta }}}_{X,j}(t)\) to be the rational function
(note that different degrees \(d_j\) are used for different j).
Let \(Y^{(k)}=(X^{(k)} {{\setminus }}\{0\})/{\mathbb {C}}^*\) be the space of orbits of the \({\mathbb {C}}^*\)action on \(X^{(k)}{\setminus }\{0\}\) and \(Y^{(k)}_m\) be the set of orbits for which the isotropy group is the cyclic group of order m. For a topological space Z, denote by \(\chi (Z)\) its Euler characteristic. Define
Now let X be a complete intersection in \({\mathbb {C}}^4\) defined by two polynomial equations \(f_1=f_2=0\) and assume that both \(X^{(1)}=f_1^{1}(0)\) and \(X^{(2)}=X\) have isolated singularities at the origin. Moreover, assume that \(X^{(1)}\) has a singularity of type \(A_1\). Consider the mapping \(F:=(f_1,f_2) : {\mathbb {C}}^4 \rightarrow {\mathbb {C}}^2\). Let \(C_F\) be the critical locus of F and \(D_F=F(C_F)\). The mapping \(F_{{\mathbb {C}}^4F^{1}(D_F)} : {\mathbb {C}}^4F^{1}(D_F) \rightarrow {\mathbb {C}}^2 D_F\) defines a locally trivial fibration. Assume that \((1,1) \not \in D_F\). Let \(V^{(1)} = f_1^{1}(1)\) and \(V_2= f_2^{1}(1) \cap V^{(1)}\). (Note that \(V_2 \ne V^{(2)}\) but \(V_2\) and \(V^{(2)}\) are homeomorphic to each other.) Then \(V_2 \subset V^{(1)}\) and the monodromy transformation \(\varphi ^{(1)} : V^{(1)} \rightarrow V^{(1)}\) induces a relative monodromy operator \({\widehat{\varphi }}_*: H_3(V^{(1)},V_2; {\mathbb {Z}}) \rightarrow H_3(V^{(1)},V_2; {\mathbb {Z}})\). Let
be the characteristic polynomial of this operator.
Proposition 7
We have
Proof
We have the following commutative diagram of split short exact sequences:
This shows that
since \({\overline{\zeta }}_{X,1}(t)=(1t)^{1}\). \(\square \)
Let X be an ICIS with a Coxeter–Dynkin diagram of type \(\Pi _{\gamma _1,\gamma _2,\gamma _3,\gamma _4}\). Then the polynomial \(\Delta _X(t)\) is equal to the characteristic polynomial \(\Delta (\Pi _{\gamma _1,\gamma _2,\gamma _3,\gamma _4})(t)\) of the Coxeter element corresponding to this Coxeter–Dynkin diagram. By [6, Proposition 3.6.2], we have
where \(\Delta (S_{\gamma _1,\gamma _2,\gamma _3,\gamma _4})(t)\) is the characteristic polynomial of the Coxeter element corresponding to the graph \(S_{\gamma _1,\gamma _2,\gamma _3,\gamma _4}\) depicted in Fig. 2. (Note that there is a slight mistake in the proof of [6, Proposition 3.6.2] which was corrected in [7].) By Proposition 7 we get
This also gives an interpretation of the characteristic polynomial of the Coxeter element \(c^\flat \) considered in [7].
A \(k=0\) element of one of the series can again be given as the zero set of two weighted homogeneous functions of weights \(w_1,w_2,w_3,w_4\) and degrees \(d_1,d_2\). We are now ready to state the following analogue of [13, Theorem 6]:
Theorem 8
Let X be a virtual ICIS and \({\widetilde{X}}_0\) be the \(k=0\) element of the dual series. Then we have
Proof
By Equation (7.1), the lefthand side of Equation (7.2) is equal to \(\Delta (S_{\gamma _1,\gamma _2,\gamma _3,\gamma _4})(t)\). By [6, p. 98] (unfortunately, there is a misprint), there is the following formula for this polynomial :
Using this formula, we can compute the polynomial \(\prod _{j=1}^2 {\overline{\zeta }}_{X,j}(t)\) in each case. The result is given in Table 3. Under a certain nondegeneracy condition, the function \(\zeta _{X,2}(t)\) can also be computed by the formula of [16, Theorem 4] from the Newton polytope.
On the other hand, we can compute the Poincaré series of \({\widetilde{X}}_0\) from the weights and degrees given in Table 1. The polynomial \(\mathrm{Or}_{{\widetilde{X}}_0}(t)\) is given by
where \(\gamma _1,\gamma _2; \gamma _3, \gamma _4\) are the Gabrielov numbers of X which are the Dolgachev numbers of \({\widetilde{X}}\) (and of \({\widetilde{X}}_0\)). The result is also given in Table 3. Comparing these polynomials, we obtain the first equality of Equation (7.2).
The second equality follows from [9, Theorem]. \(\square \)
Remark 9
The spectrum of an ICIS was defined in [11]. In a similar way one can define the spectrum of a virtual quadrangle complete intersection singularity X. Spectra for the series of ICIS above have been calculated by Steenbrink [20]. The spectrum of a virtual quadrangle complete intersection singularity agrees with the spectrum defined by setting \(k=1\) in the corresponding formulas of [20]. The numbers \(e^{2 \pi \sqrt{1} \alpha }\), where \(\alpha \) is a number of this spectrum, coincide with the roots of \(\prod _{j=1}^2 {\overline{\zeta }}_{X,j}(t)\).
References
Arnold, V.I.: Normal forms of functions in neighbourhoods of degenerate critical points. Usp. Mat. Nauk 29, 11–49 (1974). Engl. translation in Russ. Math. Surv. 29, 19–48 (1974)
Arnold, V.I.: Critical points of smooth functions and their normal forms. Usp. Mat. Nauk. 30(5), 3–65 (1975). Engl. translation in Russ. Math. Surv. 30:5, 1–75 (1975)
Berglund, P., Henningson, M.: Landau–Ginzburg orbifolds, mirror symmetry and the elliptic genus. Nucl. Phys. B 433, 311–332 (1995)
Berglund, P., Hübsch, T.: A generalized construction of mirror manifolds. Nucl. Phys. B 393, 377–391 (1993)
Decker, W., Greuel, G.M., Pfister, G., Schönemann, H.: Singular 410—a computer algebra system for polynomial computations. http://www.singular.unikl.de (2016)
Ebeling, W.: The Monodromy Groups of Isolated Singularities of Complete Intersections. Lect. Notes in Math., vol. 1293. Springer, Berlin (1987)
Ebeling, W.: Strange duality, mirror symmetry, and the Leech lattice. In: Bruce, J.W., Mond, D. (eds.) Singularity Theory, Proceedings of the European Singularities Conference, Liverpool 1996, London Math. Soc. Lecture Note Ser., vol. 263, pp. 55–77. Cambridge University Press, Cambridge (1999)
Ebeling, W.: The Poincaré series of some special quasihomogeneous surface singularities. Publ. Res. Inst. Math. Sci. 39(2), 393–413 (2003)
Ebeling, W., GuseinZade, S.M.: Monodromies and Poincaré series of quasihomogeneous complete intersections. Abh. Math. Sem. Univ. Hambg. 74, 175–179 (2004)
Ebeling, W., GuseinZade, S.M.: Saito duality between Burnside rings for invertible polynomials. Bull. Lond. Math. Soc. 44, 814–822 (2012)
Ebeling, W., Steenbrink, J.H.M.: Spectral pairs for isolated complete intersection singularities. J. Algebraic Geom. 7, 55–76 (1998)
Ebeling, W., Takahashi, A.: Strange duality of weighted homogeneous polynomials. Compositio Math. 147, 1413–1433 (2011)
Ebeling, W., Takahashi, A.: Strange duality between hypersurface and complete intersection singularities. Arnold Math. J. 2, 277–298 (2016)
Ebeling, W., Takahashi, A.: Graded matrix factorizations of size two and reduction. Preprint arXiv:2101.05075
Ebeling, W., Wall, C.T.C.: Kodaira singularities and an extension of Arnold’s strange duality. Compositio Math. 56, 3–77 (1985)
Gusev, G.G.: The zetafunction of a polynomial on a complete intersection and Newton polytopes. Algebra i Analiz 23(3), 137–149 (2011). Engl. translation in St. Petersburg Math. J. 23, no. 3, 511–519 (2012)
Kouchnirenko, A.G.: Polyèdres de Newton et nombres de Milnor. Invent. Math. 32, 1–31 (1976)
Saito, K.: Duality for regular systems of weights: a précis. In: Kashiwara, M., Matsuo, A., Saito, K., Satake, I. (eds.) Topological Field Theory, Primitive Forms and Related Topics, Progress in Math., vol. 160, pp. 379–426. Birkhäuser, Boston (1998)
Saito, K.: Duality for regular systems of weights. Asian J. Math. 2(4), 983–1047 (1998)
Steenbrink, J. H. M.: Spectra of \({\cal{K}}\)unimodal isolated singularities of complete intersections. In: Bruce, J.W., Mond, D. (eds.) Singularity Theory, Proceedings of the European Singularities Conference, Liverpool 1996, London Math. Soc. Lecture Note Ser., vol. 263, pp. 151–162. Cambridge University Press, Cambridge (1999)
Wall, C.T.C.: Classification of unimodal isolated singularities of complete intersections. Proc. Symp. Pure Math. 40(Part 2), 625–640 (1983)
Wall, C.T.C.: Notes on the classification of singularities. Proc. Lond. Math. Soc. (3) 48(3), 461–513 (1984)
Wall, C.T.C.: Elliptic complete intersection singularities. In: Mond, D., Montaldi, J. (eds.) Singularity Theory and its Applications, Part I, Warwick 1989, Lecture Notes in Math., vol. 1462, pp. 340–372. Springer, Berlin (1991)
Acknowledgements
This work has been partially supported by DFG. The second named author is also supported by JSPS KAKENHI Grant number JP16H06337. The authors would like to thank the referees for their useful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ebeling, W., Takahashi, A. Strange Duality Between the Quadrangle Complete Intersection Singularities. Arnold Math J. 7, 519–540 (2021). https://doi.org/10.1007/s4059802100181z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s4059802100181z