:::info
Authors:
(1) Wahei Hara;
(2) Yuki Hirano.
:::
Table of Links
Abstract and Intro
Exchanges and Mutations of modifying modules
Quasi-symmetric representation and GIT quotient
Main results
Applications to Calabi-Yau complete intersections
Appendix A. Matrix factorizations
Appendix B. List of Notation
References
5. Applications to Calabi-Yau complete intersections
Therefore, (5.A) and (5.B) gives an equivalence
Proposition 5.1. The restriction of (5.F
to a magic window and the functor (5.G)
are equivalences.
Since the bottom functor is an equivalence by Theorem A.5, so is (5.G).
for derived factorization categories is an equivalence by Theorem A.5.
The following shows that the equivalences of magic windows generating the group action (5.D) correspond to mutation functors between noncommutative matrix factorizations.
Proof. We only show that the left square commutes, since the commutativity of the right one follows from a similar argument. Consider the following diagram
commutes, where the vertical equivalences are the compositions of (5.C) and (5.H).
Lemma 5.5. There is an isomorphism
where the first isomorphism follows from Lemma A.6. This finishes the proof.
The following is a generalization of [KO, Theorem 8.5], which we prove by a similar argument as in loc. cit.
Lemma 5.6. The following diagram commutes.
Thus it is enough to show that there is a natural isomorphism
By Lemma 5.6, there is an isomorphism
Proof of Corollary 5.3. For simplicity, write
Therefore, the assertion follows from Theorem 5.2.
:::info
This paper is available on arxiv under CC0 1.0 DEED license.
:::
[1] Although [HSh] only discusses complexes, there are similar functors and semi-orthogonal decompositions for matrix factorizations by [BFK2], and so a similar argument as in [HSh] works in our setting.