Mutations of noncommutative crepant resolutions: Applications to Calabi-Yau complete intersections

cover
9 Jun 2024

Authors:

(1) Wahei Hara;

(2) Yuki Hirano.

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.

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.