No Arabic abstract
Recently, Segal constructed a derived equivalence for an interesting 5-fold flop that was provided by Abuaf. The aim of this article is to add some results for the derived equivalence for Abuafs flop. Concretely, we study the equivalence for Abuafs flop by using Toda-Ueharas tilting bundles and Iyama-Wemysss mutation functors. In addition, we observe a flop-flop=twist result and a multi-mutation=twist result for Abuafs flop.
The Abuaf-Ueda flop is a 7-dimensional flop related to $G_2$ homogeneous spaces. The derived equivalence for this flop was first proved by Ueda using mutations of semi-orthogonal decompositions. In this article, we give an alternative proof for the derived equivalence using tilting bundles. Our proof also shows the existence of a non-commutative crepant resolution of the singularity appearing in the flopping contraction. We also give some results on moduli spaces of finite-length modules over this non-commutative crepant resolution.
We introduce special classes of non-commutative crepant resolutions (= NCCR) which we call steady and splitting. We show that a singularity has a steady splitting NCCR if and only if it is a quotient singularity by a finite abelian group. We apply our results to toric singularities and dimer models.
We say that an exact equivalence between the derived categories of two algebraic varieties is tilting-type if it is constructed by using tilting bundles. The aim of this article is to understand the behavior of tilting-type equivalences for crepant resolutions under deformations. As an application of the method that we establish in this article, we study the derived equivalence for stratified Mukai flops and stratified Atiyah flops in terms of tilting bundles.
In this article, we construct a non-commutative crepant resolution (=NCCR) of a minimal nilpotent orbit closure $overline{B(1)}$ of type A, and study relations between an NCCR and crepant resolutions $Y$ and $Y^+$ of $overline{B(1)}$. More precisely, we show that the NCCR is isomorphic to the path algebra of the double Beilinson quiver with certain relations and we reconstruct the crepant resolutions $Y$ and $Y^+$ of $overline{B(1)}$ as moduli spaces of representations of the quiver. We also study the Kawamata-Namikawas derived equivalence between crepant resolutions $Y$ and $Y^+$ of $overline{B(1)}$ in terms of an NCCR. We also show that the P-twist on the derived category of $Y$ corresponds to a certain operation of the NCCR, which we call multi-mutation, and that a multi-mutation is a composition of Iyama-Wemysss mutations.
A consistent dimer model gives a non-commutative crepant resolution (= NCCR) of a $3$-dimensional Gorenstein toric singularity. In particular, it is known that a consistent dimer model gives a nice class of NCCRs called steady if and only if it is homotopy equivalent to a regular hexagonal dimer model. Inspired by this result, we introduce the notion of semi-steady NCCRs, and show a consistent dimer model gives a semi-steady NCCR if and only if it is homotopy equivalent to a regular dimer model.