paper

Spherical functors and the flop-flop autoequivalence

arXiv:2007.14415

Abstract

Flops are birational transformations which, conjecturally, induce derived equivalences. In many cases an equivalence can be produced as pull-push via a resolution of the birational transformation; when this happens, we have a non-trivial autoequivalence of either sides of the flop known as the \emph{flop-flop autoequivalence}. We prove that such autoequivalence can be realised as the inverse of a spherical twist around a conservative, spherical functor in a natural way. More precisely, we prove that a natural, conservative spherical functor exists in a more general framework and that the flop-flop autoequivalence fits into this picture. We also give an explicit description of the source category of the spherical functor for standard flops (local model and family case) and Mukai flops. We conclude with some speculation about Grassmannian flops and the Abuaf flop.

arXiv comment87 pages; comments are welcome; v2 37 pages, the paper was split in two, the second part is arXiv:2103.02555, minor changes, comments are welcome; v3: 25 pages, examples merged back into this version, main result stated for enhanced triangulated categories, exposition improved, proofs simplified, comments are welcome

References in corpus (8)

Cited by in corpus (1)