Abstract
We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano–Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathbb {C}}\) be an algebraically closed field of characteristic zero. We say that a polynomial \(w\in {\mathbb {C}}[x_1,\ldots , x_n]\) is invertible if it is of the form
where \(A=(a_{ij})_{i,j=1}^n\) is a non-negative integer-valued matrix satisfying:
-
(A)
A is invertible over \({\mathbb {Q}}\);
-
(B)
w is quasihomogeneous, i.e., there exists positive integers \(q_j\) such that \(d:= \sum _{j=1}^n q_j a_{ij}\) is constant for all i; and
-
(C)
w is quasi-smooth, i.e., \(w:\mathbb {A}^n \rightarrow \mathbb {A}^1\) has exactly one critical point (at the origin).
Let \({\mathbb {G}_\textrm{m}}\) be the multiplicative torus. We may consider the following group of symmetries:
The group \(\Gamma _w\) acts on \(\mathbb {A}^n\) by projecting onto the first n coordinates and then acting diagonally. The Landau-Ginzburg model \((\mathbb {A}^n, \Gamma _w, w)\) is a proposed mirror of the transposed invertible polynomial
Kontsevich’s Homological Mirror Symmetry Conjecture predicts that the Fukaya-Seidel category of \(w^T\) [33] is equivalent to the (gauged) matrix factorization category \(\textrm{D}[\mathbb {A}^n, \Gamma _w, w]\) [2, 32]. A few cases of this equivalence have been proven. When w is a Fermat polynomial, meaning \(w = \sum _{i=1}^n x_i^{r_i}\), this equivalence is proven by Futaki and Ueda [12, 13]. When \(n=2\), the conjecture has been proven by Habermann and Smith [14]. The approach of Futaki-Ueda and Habermann-Smith involves finding matching tilting objects for \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) and \(\mathcal {F}(w^T)\). This makes the existence of a tilting object on \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) for arbitrary n and w desirable.
In fact, the existence of such a tilting object was first conjectured informally by Takahashi [35] during his presentation at the University of Miami in 2009. Therein, he demonstrated that the results of [19, 20] imply new cases of homological mirror symmetry when \(n=3\). In the literature, this existence has been conjectured by Ebeling and Takahashi in three-variables [6], and by Lekili and Ueda in general [25, Conjecture 1.3]. The conjecture was weakened more recently by Hirano and Ouchi who ask for the existence of a full exceptional collection (which is not necessarily strong) [18, Conjecture 1.4] (see Sect. 2.2 for definitions).
Due to the Kreuzer-Skarke classification of invertible polynomials [24] (in fact this classification can be traced further back to Orlik-Wagreich [28]), we know that any invertible polynomial, up to permutation of variables, can be written as a Thom-Sebastiani sum of three types of polynomials:
-
(A)
Fermat type: \(w = x^r\),
-
(B)
Chain type: \(w = x_1^{a_1}x_2 + x_2^{a_2} x_3 + \cdots + x_{n-1}^{a_{n-1}}x_n + x_n^{a_n}\), and
-
(C)
Loop type: \(w = x_1^{a_1}x_2 + x_2^{a_2} x_3 + \cdots + x_{n-1}^{a_{n-1}}x_n + x_n^{a_n}x_1\).
By Corollary 2.40 of [3], the conjectures above on the existence of a full exceptional collection or a tilting object reduce to studying indecomposable invertible polynomials that are of any one given type.
There is a long history of partial results for various cases using the Kreuzer-Skarke classification. The case of invertible polynomials consisting only of Fermat monomials was established by Takahashi in [34] and the case of certain invertible polynomials in three variables was proven by Kajiura, Saito and Takahashi [19, 20]. In the chain case, Hirano and Ouchi proved the existence of a full exceptional collection [18, Corollary 1.6] and Aramaki and Takahashi were able to then prove the existence of a Lefschetz decomposition [1].Footnote 1 Moreover, Kravets has proven when \(n\le 3\) that \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) has a full strong exceptional collection [23].
In the present paper, we use variation of GIT techniques for derived categories [4, 15] in order to construct a full exceptional collection in all three cases uniformly.
Theorem 1.1
Conjecture 1.4 of [18] is true: for any invertible polynomial w, the singularity category \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) has a full exceptional collection whose length is equal to the Milnor number of \(w^T\). Furthermore, if the dual polynomial \(w^T\) has weights \(r_i\) and degree \(d^T\) such that \(r_i\) divides \(d^T\) for all i, then Conjecture 1.3 of [25] holds: the singularity category \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) has a tilting object.
The techniques of the proof provide a recursive way to relate loop polynomials to chain polynomials and chain polynomials to Thom-Sebastiani sums of Fermat monomials and smaller chain polynomials. This recursive technique has been mirrored in the A-model by Polishchuk and Varolgunes to give very strong evidence of homological mirror symmetry for chain polynomials (up to some formal foundations currently missing on the generation of a certain exceptional collection of thimbles for Fukaya-Seidel categories of tame Landau-Ginzburg models) [31].
Remark 1.2
The divisibility condition in the theorem is equivalent to requiring that the coarse moduli space of \([\mathbb {A}^n / \Gamma _{w^T}]\) is Gorenstein. In the chain case, this means \(a_i\) divides \(a_{i+1}\) for \(1 \le i < n\). In the loop case, this means \(a_1 =... = a_n\). For Thom-Sebastiani sums, it means the above on each summand.
Remark 1.3
Theorem 1.1 can be interpreted as evidence for a Landau-Ginzburg version of Dubrovin’s conjecture [5] as the Frobenius manifold associated to the LG model \((\mathbb {A}^n, \Gamma _w, w)\) is (generically) semi-simple.
Remark 1.4
By Orlov’s Theorem [30, Theorem 3.11], one can transform our exceptional collection into a collection of geometric objects living in the maximally-graded derived category of the corresponding hypersurface. In [9], it is shown that this collection cannot always consist of line bundles (for the example therein our collection has 32 objects and a bound of 24 line bundles is obtained).
Remark 1.5
The proof could be made into an algorithm to produce the exceptional collection whose existence is stated in Theorem 1.1. This is simplest in the Gorenstein case, where the tilting object can be described.
2 Background
2.1 The maximal symmetry group of a polynomial
Let
be a polynomial in n variables with k monomials. Viewing the \(A_W^T = (a_{ji})\) as an integer valued matrix we obtain a right exact sequence
Augmenting \(A_W^T\) by a row of \(-1\)s along the bottom, we get another right exact sequence
Now apply \({\text {Hom}}(-, \mathbb {G}_m)\) to the above to obtain a left exact sequence
Note that
It follows directly from the definition that
where \(\Gamma _W\) is defined as in Eq. (1.1). Furthermore, when \(A_W\) has full rank all the sequences above are exact.
By composing the inclusion \(\Gamma _W \rightarrow \mathbb {G}_m^{n+1}\) with the projection to the ith factor, we obtain characters \(\chi _i: \Gamma _W \rightarrow \mathbb {G}_m\) for each i. Take \(W_i\) to be the restriction of W to the locus where \(x_i=1\). Then, it is also easy to check that the following sequence is left exact
where \(f(t_1,\ldots , t_n) = (t_1, \ldots , t_{i-1}, 1, t_{i+1}, \ldots , t_{n})\).
Remark 2.1
If there exists weights \(s_1,..., s_n\) making W homogeneous and \(s_i \ne 0\) then the above sequence is also right exact. The examples we have in mind are (3.1) and (3.7). These examples have \(n+1\) variables and \(W_{n}, W_{n+1}\) are quasi-homogeneous with positive weights. Hence, the above sequence is exact for all i.
Lemma 2.2
Assume there exists weights \(s_j\) making W homogeneous with \(s_i \ne 0\). Then, the inclusion induces an isomorphism of stacks
so that W corresponds to \(W_i\).
Proof
This follows immediately from (2.2), Remark 2.1, and Lemma 4.22 of [11]. \(\square \)
2.2 Exceptional collections and tilting
Let \(\mathcal {T}\) be a \({\mathbb {C}}\)-linear triangulated category whose morphism spaces are finite-dimensional \({\mathbb {C}}\)-vector spaces. For an object \(E \in \mathcal {T}\) and \(l \in {\mathbb {Z}}\), we write E[l] as the l-fold shift of E.
Definition 2.3
Consider \(\mathcal {T}\) as above.
-
(a)
An object \(E \in \mathcal {T}\) is called exceptional if
$$\begin{aligned} \oplus _{l \in {\mathbb {Z}}} \text {Hom}_{\mathcal {T}}(E, E[l]) = \text {Hom}_{\mathcal {T}}(E, E) = {\mathbb {C}}\cdot \text {id}_{E}. \end{aligned}$$ -
(b)
A sequence \(( E_{1}, \dots , E_{n} )\) of exceptional objects is called an exceptional collection if
$$\begin{aligned} \text {Hom}_{\mathcal {T}}(E_{j}, E_{i}[l]) = 0 \end{aligned}$$for all \(l \in {\mathbb {Z}}\) and all \(1 \le i<j \le n\).
-
(c)
An exceptional collection \(( E_{1}, \dots , E_{n} )\) is called strong if
$$\begin{aligned} \text {Hom}_{\mathcal {T}}(E_{i}, E_{j}[l]) = 0 \end{aligned}$$for all \(l \ne 0\) and all i, j.
-
(d)
An exceptional collection \(( E_{1}, \dots , E_{n} )\) is called full if it generates \(\mathcal {T}\) (i.e. \(\mathcal {T}\) is the smallest thick triangulated category containing the objects \(E_{1}, \dots , E_{n}\)).
Definition 2.4
An object \(T \in \mathcal {T}\) is called tilting if
-
(a)
T generates \(\mathcal {T}\),
-
(b)
\(\text {Hom}_{\mathcal {T}}(T, T[l]) =0\) for ł\(\ne 0\), and
-
(c)
the endomorphism algebra \(\text {Hom}_{\mathcal {T}}(T, T)\) has finite global dimension.
The following observation is standard. We include a brief proof for the reader’s convenience.
Proposition 2.5
If \((E_{1}, \dots , E_{n})\) is a full strong exceptional collection then \(T = \bigoplus _{i} E_{i}\) is a tilting object.
Proof
First, T generates \(\mathcal {T}\) since \(E_{1}, \dots , E_{n}\) generate \(\mathcal {T}\). Second, by strongness, for \(l \ne 0\),
Third, the exceptionality of the collection ensures the global dimension of \(\text {Hom}_{\mathcal {T}}(T, T)\) is at most n, and hence finite. \(\square \)
2.3 Factorization categories
Let G be an affine algebraic group acting on a smooth variety X over \({\mathbb {C}}\). Take W to be a G-invariant section of an invertible G-equivariant sheaf \(\mathcal {L}\), i.e., \(W \in \Gamma (X, \mathcal {L})^G\). We call the data (X, G, W) a (gauged) Landau-Ginzburg model and associate the absolute derived category \(\textrm{D}{[X, G, W]}\) to this. We refer the reader to [2, 3, 8, 11, 32] for background.
We recall the following result of Orlov [29, Proposition 1.14] in the G-equivariant factorization setting.
Proposition 2.6
Assume that [X/G] has enough locally free sheaves. Let \(i: U\hookrightarrow X\) be a G-equivariant open immersion so that the singular locus of W is contained in U. Then the restriction
is an equivalence of categories.
Proof
Consider a matrix factorization \(\mathcal E\) with locally-free components \(\mathcal E_0, \mathcal E_1\) and maps \(\alpha : \mathcal E_0 \rightarrow \mathcal E_1, \beta : \mathcal E_1 \rightarrow \mathcal E_0 \otimes \mathcal L\) such that \(\alpha \circ \beta = \beta \circ \alpha = W\). Then by the Leibniz rule (i.e. the universal property of Kähler differentials),
i.e. the maps \(d\alpha , d\beta \) define a homotopy between the G-equivariant morphism of factorizations \(dW: \mathcal E \rightarrow \mathcal E \otimes \Omega _X\) and 0. That is, \(\mathcal E\) is annihilated by dW. In summary, since [X/G] has enough locally free sheaves, any factorization is supported on the critical locus of W.
Now for any \(\mathcal E\), consider the unit of the adjunction
The cone of this morphism is, on the one hand, supported on the complement of U. On the other hand, it is supported on the critical locus. As these do not intersect, the cone has no support. It follows that the cone is acyclic, or equivalently, the unit of the adjunction is a natural isomorphism. Conversely, for an open immersion, the counit \(i^* \circ i_* \rightarrow \text {Id}\) is always a natural isomorphism. \(\square \)
For convenience, we now rewrite Proposition 2.6 in our simple algebraic setting. Namely, if \(U = {\mathbb {A}}^n {\setminus } Z(\mathcal J)\subset X = {\mathbb {A}}^n {\setminus } Z(\mathcal I)\), then the containment of the singular locus \(W|_X\) in U is equivalent to the containment of ideals \(\mathcal {I} \subseteq \sqrt{\partial W, \mathcal J}\).
Corollary 2.7
Let \({\mathcal {I}}\) and \({\mathcal {J}}\) be two nonzero ideals in \({\mathbb {C}}[x_1, \ldots , x_n]\) so that \({\mathcal {J}}\subset {\mathcal {I}}\). Take \(X = {\mathbb {A}}^n {\setminus } Z({\mathcal {I}})\) and \(U = {\mathbb {A}}^n {\setminus } Z({\mathcal {J}})\). Suppose G is a linearly reductive group, the immersion \(i:U\hookrightarrow X\) is G-equivariant, and W is a G-invariant function on X. If \({\mathcal {I}}\subseteq \sqrt{\partial W, {\mathcal {J}}}\), then
is an equivalence of categories.
Lemma 2.8
Let G be an abelian linearly reductive algebraic group lying in an exact sequence
Let \(S \subseteq {\text {Hom}}(G, \mathbb {G}_m)\) be a set of representatives of the cosets of \({\text {Hom}}(H, \mathbb {G}_m)\). Then the matrix factorizations
form a full orthogonal (possibly infinite) exceptional collection for \(\textrm{D}[{\text {Spec}}({\mathbb {C}}), G, 0]\) where 0 is a section of \({\mathcal {O}}(\chi )\).
Proof
We compute
for all i. As these matrix factorizations have projective components, we only need to compute homotopy classes of maps between them. If i is odd, there are no maps. If \(i = 2j\),
To see that this set of objects generates \(\textrm{D}[{\text {Spec}}({\mathbb {C}}), G, 0]\), notice that \([2] = - \otimes {\mathcal {O}}(\chi )\). Hence, they generate all objects of the form \(0 \begin{array}{c} \rightarrow \\ \leftarrow \end{array} {\mathbb {C}}(\tau )\) with \( \tau \in \text {Hom}(G, \mathbb {G}_m)\). Since G is abelian, this is all irreducible representations of G. It is easy to see that this new set generates. Indeed by Schur’s Lemma again, all objects are sums of shifts of these objects. \(\square \)
2.4 Milnor numbers
Definition 2.9
Suppose \(w \in {\mathbb {C}}[x_1,..., x_n]\) has an isolated singularity. We define the Milnor number of w by the formula
The following lemmas provide a formula for the Milnor number of any invertible polynomial.
Lemma 2.10
Suppose \(w \in {\mathbb {C}}[x_1,..., x_n]\) and \(v \in {\mathbb {C}}[y_1,..., y_m]\) have isolated singularities. Then
Proof
We have
\(\square \)
Theorem 2.11
(Milnor-Orlik) If \(w = x_1^{t_1}x_2 +\cdots + x_n^{t_n}x_1\) is a loop polynomial, then
If \(w = x_1^{t_1}x_2 +\cdots + x_n^{t_n}\) is a chain polynomial, then
where the empty product is one, by convention.
Proof
These formulas can be obtained by plugging the appropriate weights into [27, Theorem 1]. It can also be obtained from [16, Theorem 2.10] where they give explicit bases. \(\square \)
Remark 2.12
As the Milnor number \(\mu (w^T)\) is the dimension of the state space of the mirror Landau-Ginzburg model \(({\mathbb {A}}^n, w^T)\), we expect that, in connection with Conjecture 1.4 of [18], the full exceptional collection of the category \(\textrm{D}[{\mathbb {A}}^n, \Gamma _w, w]\) will have length \(\mu (w^T)\). We show this in the next section.
2.5 Elementary geometric invariant theory
Fix an algebraic group \(\Gamma \) and a group homomorphism \(\Gamma \rightarrow \mathbb {G}_m^n \subseteq GL_n\) which gives rise to a diagonal action of \(\Gamma \) on \(\mathbb A^n\). A choice of one-parameter subgroup \(\lambda : \mathbb {G}_m\rightarrow \Gamma \) can be described by a sequence of weights \(c_1,..., c_n\). We can then define ideals
This gives rise to two global quotient stacks which we call the positive and negative \((\Gamma ,\lambda )\)-geometric invariant theory (GIT) quotients respectively
Remark 2.13
Notice that in the definition above, the semi-stable loci are obtained strictly from the \(\mathbb {G}_m\)-action induced by \(\lambda \). However, the quotients are by \(\Gamma \) as opposed to this \(\mathbb {G}_m\).
3 Existence of exceptional collections
3.1 Warm-up: exceptional collections for Fermat polynomials
For the sake of completeness, we will show that that \(\textrm{D}{[{\mathbb {A}}^1, \Gamma _w, w]}\) has an exceptional collection for \(w=x_1^r\). This result is well known, quite simple by hand, and is also a consequence of a theorem of Orlov [30, Corollary 2.9]. The difference in our approach is that we will use VGIT to obtain the result. We do this to illustrate that our entire article is a consequence of VGIT for categories of factorizations [4] and the Thom-Sebastiani formula for gauged LG models [2, 3].
Consider the polynomial \(W = x_2x_1^r\) and define \(w_+:= W_2 = x_1^r\) and \(w_-:= W_1 = x_2\). Let \(c_2 = r\) and \(c_1 = -1\). The \(c_i\) determine a diagonal one-parameter subgroup of \(\Gamma _W\) by the map \(\lambda : \mathbb {G}_m\rightarrow \Gamma _W\) under the map \(\gamma (t) = (t^{c_2}, t^{c_1}, 1)\). The semistable loci for this one parameter subgroup are
By Lemma 2.2, we see that \([U_\pm /\Gamma _W] = [\mathbb {A}^1/ \Gamma _{w_\pm }]\). Notice that
Hence,
3.2 Exceptional collections for loop polynomials
For any natural numbers \(a_i, b \ge 2\), consider the polynomial
Then,
is a loop polynomial and
is a chain polynomial. In this section we will show that the derived categories of the gauged Landau-Ginzburg models associated to \(w_+, w_-\) differ by an exceptional collection.
Let \((-1)^{i+n+1} d_i\) be the determinant of the ith maximal minor of the matrix \(A_W\) and
Explicitly in this case,
It is easy to check that the \(c_i\) determine a diagonal one-parameter subgroup
We define
Remark 3.1
The \(c_i\) are the unique (up to sign) relatively prime weights of the \(x_i\) such that W is homogeneous of degree zero. We fix our sign convention so that \(c_{n+1}\) is positive and \(c_n\) is negative. This ensures that \({\mathbb {A}}^{n+1} \backslash Z(\mathcal I_\pm ) \supseteq U_\pm \).
Lemma 3.2
There are equivalences of categories
Proof
Since \(Z(x_{n+1}), Z(x_n)\) are \(\Gamma _W\) invariant, the open immersions
are \(\Gamma _W\)-equivariant. Hence, by Corollary 2.7, the statement of the lemma reduces to proving the containments
From the partial derivative \(\partial _{x_n}W = x_{n-1}^{a_{n-1}} + a_nx_1x_n^{a_n-1}x_{n+1}^{b}\), we see that \(x_{n-1} \in \sqrt{\partial W, x_{n+1}}\) (respectively \(\sqrt{\partial W, x_n}\)). For \(1< i < n\), we compute \(\partial _{x_{i}}W = x_{i-1}^{a_{i-1}} + a_i x_i^{a_i-1}x_{i+1}\). Hence, if \(x_i \in \sqrt{\partial W, x_{n+1}}\) (respectively \(\sqrt{\partial W, x_n} \)) then \(x_{i-1} \in \sqrt{\partial W, x_{n+1}}\) (respectively \(\sqrt{\partial W, x_n}\)). Both containments follow from descending induction. \(\square \)
Lemma 3.3
The following identity holds.
Proof
This is a simple calculation plugging in the Milnor numbers carefully from Theorem 2.11. \(\square \)
Theorem 3.4
Take the polynomials
and
for \(a_i \ge 2\) and \(b\ge 2\).
The following statements hold:
-
(a)
If \(\mu (w_-^T) > \mu (w_+^T)\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-] \cong \langle E_1, \ldots , E_{\mu (w_-^T) - \mu (w_+^T)}, \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+]\rangle \end{aligned}$$where each \(E_j\) is an exceptional object.
-
(b)
If \(\mu (w_+^T) = \mu (w_-^T)\), then we have the equivalence
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+] \cong \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-]. \end{aligned}$$ -
(c)
If \(\mu (w_+^T) > \mu (w_-^T)\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+] \cong \langle E_1, \ldots , E_{\mu (w_+^T) - \mu (w_-^T)}, \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-]\rangle \end{aligned}$$where each \(E_j\) is an exceptional object.
Proof
We have a sequence of equivalences using Lemmas 2.2 and 3.2:
We then apply [4, Theorem 3.5.2] to get
-
(a)
If \(\sum _i c_i < 0\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ X_-, W] \cong \langle E_1, \ldots , E_t, \textrm{D}[X_+, W]\rangle , \end{aligned}$$ -
(b)
If \(\sum _i c_i = 0\) then we have the equivalence
$$\begin{aligned} \textrm{D}[ X_-, W] \cong \textrm{D}[X_+, W], \text { and } \end{aligned}$$ -
(c)
If \(\sum _i c_i >0\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ X_+, W] \cong \langle E_1, \ldots , E_t, \textrm{D}[X_-, W]\rangle , \end{aligned}$$
where each \(E_j\) is an exceptional object (explained below). These correspond to the cases of the theorem by Lemma 3.3.
To clarify the appearance of exceptional objects, notice that all the \(c_i\) are non-zero. Hence, the fixed locus of \(\lambda \) is just the origin. Let \(\overline{\chi _{n+1}}\) be the character of \(\Gamma _W / \lambda \) induced by \(\chi _{n+1}\). By [4, Remark 4.2.3] the orthogonal components are all equivalent to \(\textrm{D}[{\text {Spec}}({\mathbb {C}}), \Gamma _W /\lambda , 0]\) where 0 is a section of \({\mathcal {O}}(\overline{\chi _{n+1}})\). This category has an exceptional collection by Lemma 2.8 of length \(|{\text {ker}} \overline{\chi _{n+1}}|\).
Now, let us calculate t. In the statement of [4, Theorem 3.5.2], the category \(\textrm{D}[{\text {Spec}}({\mathbb {C}}), \Gamma _W /\lambda , 0]\) occurs \(|\sum c_i|\) times. Hence \(t = |{\text {ker}} \overline{\chi _{n+1}}| |\sum {c_i}|\). By the snake lemma, \(\text {Hom}({\text {ker}} \overline{\chi _{n+1}}, \mathbb {G}_m)\) is isomorphic to the torsion subgroup of the cokernel of \(A^T_W\). Since the \(d_i\) are the determinants of the maximal minors of this matrix, \(|{\text {ker}} \overline{\chi _{n+1}}| = \text {gcd}(d_1,..., d_{n+1})\). Hence, \(t = |{\text {ker}} \overline{\chi _{n+1}}| |\sum {c_i}| = |\sum d_i|\) which equals \(|\mu (w_+^T) - \mu (w_-^T)|\) by Lemma 3.3. \(\square \)
We now compute the difference of the Milnor numbers to apply Theorem 3.4.
Lemma 3.5
If \(b \le a_n\), then \(\mu (w_+^T) - \mu (w_-^T) > 0\).
Proof
By Lemma 3.3, it is equivalent to prove that the sum of the \(d_i\) is positive. If n is even, then, since \(a_k \ge 2\) for all k, we have
If n is odd, then we have
\(\square \)
Corollary 3.6
If \(b \le a_n\) and \(\textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-]\) has a full exceptional collection of length \(\mu (w_-^T)\), then \(\textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+]\) has a full exceptional collection of length \(\mu (w_+^T)\).
Proof
By Lemmas 3.3 and 3.5, we can apply Theorem 3.4(c). The result follows immediately. \(\square \)
3.3 Exceptional collections for chain polynomials
In this subsection, we argue that the derived category of a chain polynomial admits a full exceptional collection. We omit most of the details as the proof is nearly identical to the one appearing in the previous section. Moreover, this result already appeared recently [18, Corollary 1.6]. Nevertheless, we provide the reader with the appropriate changes for a self-contained treatment of the entire result using just VGIT and the Thom-Sebastiani formula for gauged LG models.
For any \(b\ge 2\), consider the polynomial
Then
is a chain polynomial of length n and
is a Thom-Sebastiani sum of a chain polynomial of length \(n-1\) and a Fermat polynomial.
Again, we consider the diagonal one-parameter subgroup of \(\Gamma _W\) defined as the image of the map
where, again, the \((-1)^{i+n + 1}c_i\) are the determinants of the full rank minors of \(A_W\) divided by their greatest common divisor. Explicitly,
We define
Lemma 3.7
There are equivalences of categories
Proof
The proof is almost the same as that of Lemma 3.2. The only difference is the computation of \(\partial _{x_n}W\); however, the conclusion that \(x_{n-1} \in \sqrt{\partial W, x_{n+1}}\) (respectively \(\sqrt{\partial W, x_n}\)) still holds. \(\square \)
Lemma 3.8
The following identity holds.
Proof
Again, this is a simple calculation using Lemma 2.10 and Theorem 2.11. \(\square \)
Theorem 3.9
Take the polynomials
and
for \(a_i \ge 2\) and \(b\ge 2\). The following statements hold:
-
(a)
If \(\mu (w_+^T) < \mu (w_-^T)\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-] \cong \langle E_1, \ldots , E_{\mu (w_-^T) - \mu (w_+^T)}, \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+]\rangle \end{aligned}$$where each \(E_j\) is an exceptional object.
-
(b)
If \(\mu (w_+^T) = \mu (w_-^T)\), then we have the equivalence
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+] \cong \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-]. \end{aligned}$$ -
(c)
If \(\mu (w_+^T) > \mu (w_-^T)\), then we have a semi-orthogonal decomposition
$$\begin{aligned} \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+] \cong \langle E_1, \ldots , E_{\mu (w_+^T) - \mu (w_-^T)}, \textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_-}, w_-]\rangle \end{aligned}$$where each \(E_j\) is an exceptional object.
Proof
The proof is verbatim as in Theorem 3.4 using Lemma 3.7 instead of Lemma 3.2 and Lemma 3.8 instead of Lemma 3.3. \(\square \)
Again, we compute the sign of difference of the Milnor numbers to apply the theorem.
Lemma 3.10
If \(b \le a_n\), then \(\mu (w_+^T) - \mu (w_-^T) \ge 0\).
Proof
By Lemma 3.8, it is equivalent to show that \(\sum _i d_i \ge 0\). If n is odd, then we have that
If n is even, then we have that
\(\square \)
We now reprove Corollary 1.6 of [18].
Corollary 3.11
Let \(w_{chain} = x_1^{a_1} x_2 + x_2^{a_2}x_3 + \cdots + x_{n-1}^{a_{n-1}}x_n + x_n^{a_n}\) be a chain polynomial of length n with \(a_i \ge 2\). Then \(\textrm{D}{[ {\mathbb {A}}^n, \Gamma _{w_{chain}}, w_{chain}]}\) has a full exceptional collection of length \(\mu (w_{chain})\).
Proof
We proceed by induction on n. The base case \(n=1\) is contained in Sect. 3.1.
Now let \(n>1\) and choose \(b \le a_n\). Consider the polynomials W, \(w_+\) and \(w_-\) as above. The polynomial \(w_-\) is the Thom-Sebastiani sum of two polynomials \(x_{n+1}^b\) and \(x_1^{a_1}+\ldots x_{n-2}^{a_{n-2}}x_{n-1} + x_{n-1}^{a_{n-1}}\), hence, by the induction hypothesis, Lemma 2.10, and Corollary 2.40 of [3], the derived category \(\textrm{D}{ [{\mathbb {A}}^n, \Gamma _{w_{-}}, w_{-}]}\) has an exceptional collection of length \(\mu (w_-^T)\). By Lemmas 3.8 and 3.10, the inequality \(\mu (w_+^T) \ge \mu (w_-^T)\) holds. Apply case (b) or (c) of Theorem 3.9 to see that
hence \(\textrm{D}[ {\mathbb {A}}^n, \Gamma _{w_+}, w_+]\) has a semi-orthogonal decomposition of objects which have an exceptional collection, hence it has an exceptional collection. \(\square \)
3.4 The Gorenstein case
Definition 3.12
Let w, v be invertible polynomials. We say that w, v are related by a Kreuzer-Skarke cleave if they have the same Milnor number and \(A_w, A_v\) differ by only one row.
Corollary 3.13
Suppose w, v are related by a sequence of Kreuzer-Skarke cleaves. Then there is an equivalence of categories
Proof
This follows immediately from Theorems 3.4 and 3.9. \(\square \)
Lemma 3.14
Let w be an invertible polynomial whose dual polynomial \(w^T\) quasi-homogeneous has weights \(r_i\) and degree \(d^T\). Assume \(r_i\) divides \(d^T\) for all i. Then w is related to \(\sum x_i^{d^T/r_i}\) by a sequence of Kreuzer-Skarke cleaves.
Proof
The proof is the same for the setups in Sects. 3.2 and 3.3, so we prove them simultaneously. First, note that \(d_{n+1} = \det A_w\) and by Cramer’s rule \(d_j = -b\det A_w(A_w^{-1})_{jn}\) for \(1\le j \le n\). Furthermore, the weights \(r_i\) of the dual polynomial \(w^T\) are obtained by the formula \(r_i = \sum _{j=1}^n (A_w^{-1})_{ji} d^T\). We see that
If we take \(b = d^T / r_n\), we have that \(\sum _{i=0}^n d_i = 0\), hence \(\sum _{i=0}^n c_i = 0\).
If we start with a loop, we use the setup in Sect. 3.2 to obtain a chain. If we have a chain of length n, we use the setup in Sect. 3.3 to get the Thom-Sebastiani sum chain of length \(n-1\) and a Fermat polynomial. Since \(r_i\) divides d for all i, we can iterate the process, ending with a Fermat polynomial. \(\square \)
Corollary 3.15
Let w be an invertible polynomial. Assume that the dual polynomial \(w^T\) has weights \(r_i\) such that \(r_i\) divides the degree \(d^T\). Then, there is an equivalence of categories.
Proof
This follows immediately from Corollary 3.13 and Lemma 3.14. \(\square \)
3.5 Proof of Theorem 1.1
Proof of Theorem 1.1
Recall that the Kreuzer-Skarke classification [24] states that an invertible polynomial is the Thom-Sebastiani sum of the following types of polynomials:
-
(A)
Fermat type: \(w = x^r\),
-
(B)
Chain type: \(w = x_1^{a_1}x_2 + x_2^{a_2} x_3 + \cdots + x_{n-1}^{a_{n-1}}x_n + x_n^{a_n}\), and
-
(C)
Loop type: \(w = x_1^{a_1}x_2 + x_2^{a_2} x_3 + \cdots + x_{n-1}^{a_{n-1}}x_n + x_n^{a_n}x_1\).
By Lemma 2.10 and Corollary 2.40 of [3], the statement of the corollary reduces to proving that \(\textrm{D}{[\mathbb {A}^n, \Gamma _w, w]}\) has a full exceptional collection for any of the cases above (without taking a Thom-Sebastiani sum). The Fermat type case is proven in [30, Corollary 2.9] or in Sect. 3.1. The chain case is proven in [18, Corollary 1.6] or Corollary 3.11. The loop case is then deduced from applying Corollary 3.6. The special case where we get a tilting object follows from Corollary 3.15. \(\square \)
Notes
In the time since the first version of this paper, Hirano and Ouchi extended their result to provide a strong exceptional collection for chain type polynomials.
References
Aramaki, D., Takahashi, A.: Maximally-graded matrix factorizations for an invertible polynomial of chain type. Adv. Math. 373, 107320, 23 (2020)
Ballard, M., Favero, D., Katzarkov, L.: A category of kernels for equivariant factorizations and its implications for Hodge theory. Publ. Math. Inst. Hautes Études Sci. 120, 1–111 (2014)
Ballard, M., Favero, D., Katzarkov, L.: A category of kernels for equivariant factorizations, II: further implications. J. Math. Pures Appl. (9) 102(4), 702–757 (2014)
Ballard, M., Favero, D., Katzarkov, L.: Variation of geometric invariant theory quotients and derived categories. J. Reine Angew. Math. 746, 235–303 (2019)
B. Dubrovin. Geometry and analytic theory of Frobenius manifolds. Geometry and analytic theory of Frobenius manifolds. Proc. of the ICM vol II (Berlin: Doc. Math. 1998. Extra II, 315–326 (1998)
Ebeling, W., Takahashi, A.: Strange duality of weighted homogeneous polynomials. Compos. Math. 147(5), 1413–1433 (2011)
Efimov, A.I.: Maximal lengths of exceptional collections of line bundles. J. Lond. Math. Soc. 90(2), 350–372 (2014)
Efimov, A.I., Positselski, L.: Coherent analogues of matrix factorizations and relative singularity categories. Algebra Number Theory 9(5), 1159–1292 (2015)
Favero, D., Kaplan, D., Kelly, T.L.: A maximally-graded invertible cubic threefold that does not admit a full exceptional collection of line bundles. Forum Math. Sigma 8, e56, 8 (2020)
Favero, D., Kelly, T.L.: Derived categories of BHK mirrors. Adv. Math. 352, 943–980 (2019)
Favero, D., Kelly, T.L.: Fractional Calabi-Yau categories from Landau-Ginzburg models. Algebr. Geom. 5(5), 596–649 (2018)
Futaki, M., Ueda, K.: Homological mirror symmetry for Brieskorn-Pham singularities. In: Proceedings of the 56th Japan Geometry Symposium, pp. 98–107. Saga University (2009)
Futaki, M., Ueda, K.: Homological mirror symmetry for Brieskorn-Pham singularities. Select. Math. (N.S.) 17(2), 435–452 (2011)
Habermann, M., Smith, J.: Homological Berglund–Hübsch mirror symmetry for curve singularities. J. Symplectic Geom. 18(6), 1515–1574 (2020)
Halpern-Leistner, D.: The derived category of a GIT quotient. J. Am. Math. Soc. 28(3), 871–912 (2015)
He, W., Li, S., Shen, Y., Webb, R.: Landau-Ginzburg mirror symmetry conjecture. J. Eur. Math. Soc. (JEMS) 24(8), 2915–2978 (2022)
Hille, L., Perling, M.: A counterexample to King’s conjecture. Compos. Math. 142(6), 1507–1521 (2006)
Hirano, Y., Ouchi, G.: Derived factorization categories of non-Thom-Sebastiani-type sum of potentials. Proc. Lond. Math. Soc. (3) 126(1), 1–75 (2023)
Kajiura, H., Saito, K., Takahashi, A.: Matrix factorization and representation of quivers II. Type ADE Case. Adv. Math. 211(1), 327–362 (2007)
Kajiura, H., Saito, K., Takahashi, A.: Triangulated categories or matrix factorizations for regular systems of weights with \(\epsilon =-1\). Adv. Math. 220(5), 1602–1654 (2009)
Kawamata, Y.: Derived categories of toric varieties. Michigan Math. J. 54(3), 517–535 (2006)
Kawamata, Y.: Derived categories of toric varieties II. Michigan Math. J. 62(2), 353–363 (2013)
Kravets, O.: Categories of singularities of invertible polynomials. arXiv:1911.09859
Kreuzer, M., Skarke, H.: On the classification of quasihomogeneous functions. Commun. Math. Phys. 150(1), 137–147 (1992)
Lekili, Y., Ueda, K.: Homological mirror symmetry for milnor fibers via moduli of \(A_\infty \)-structures. J. Topol. 15(3), 1058–1106 (2022)
Lekili, Y., Ueda, K.: Homological mirror symmetry for milnor fibers via moduli of \(A_\infty \)-structures. arXiv:1806.04345v2
Milnor, J., Orlik, P.: Isolated singularities defined by weighted homogeneous polynomials. Topology 9(4), 385–393 (1970)
Orlik, P., Wagreich, P.: Isolated singularities of algebraic surfaces with \(\mathbb{C}^*\) action. Ann. Math. pp. 205–228 (1971)
Orlov, D.: Triangulated categories of singularities and D-branes in Landau-Ginzburg models. Tr. Mat. Inst. Steklova 246, 240–262 (2004)
Orlov, D.: Derived categories of coherent sheaves and triangulated categories of singularities. Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. II, 503–531, Progr. Math., 270, Birkhuser Boston, Inc., Boston, MA (2009)
Polishchuk, A., Varolgunes, U.: On homological mirror symmetry for chain type polynomials. Math. Ann. (2023) https://doi.org/10.1007/s00208-023-02577-y
Positselski, L.: Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence. Mem. Am. Math. Soc. 212 (2011)
Seidel, P.: Fukaya categories and Picard-Lefschetz theory. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich (2008)
Takahashi, A.: Matrix factorizations and representations of quivers I. arXiv:math/0506347
Takahashi, A.: HMS for isolated hypersurface singularities, Talk at the ‘Workshop on Homological Mirror Symmetry and Related Topics’, 19–24 January 2009, University of Miami, PDF file available from http://people.math.harvard.edu/~dauroux/frg/miami09-notes/
Acknowledgements
This project was initiated while the three authors visited the Fields Institute during the Thematic Program on the Homological Algebra of Mirror Symmetry. We would like to thank the Fields Institute for providing this opportunity, their hospitality, excellent atmosphere, and superb afternoon tea. The original version of this paper mistakenly claimed to provide a counterexample to Conjecture 1.3 of version 2 of the preprint [26]. We humbly thank Kazushi Ueda for immediately recognizing this issue and informing us of our blunder. This subject has since been delegated to the paper [9] where a true counterexample is given. We are also grateful to Ailsa Keating, Yanki Lekili, and Atsushi Takahashi for their conversations, comments and suggestions. We lastly thank the referee for their useful comments. The first-named author is grateful to the Natural Sciences and Engineering Research Council of Canada for support provided by a Canada Research Chair and Discovery Grant. The second-named author is thankful for support by the Engineering and Physical Sciences Research Council (EPSRC) under Grant EP/S03062X/1. The third-named author acknowledges that this paper is based upon work supported by the EPSRC under Grant EP/N004922/2 and EP/S03062X/1, along with the Birmingham International Engagement Fund.
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
Favero, D., Kaplan, D. & Kelly, T.L. Exceptional collections for mirrors of invertible polynomials. Math. Z. 304, 32 (2023). https://doi.org/10.1007/s00209-023-03258-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03258-x