On derived equivalence for Abuaf flop: mutation of non-commutative crepant resolutions and spherical twists

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.