Title: Spherical functors and the flop-flop autoequivalence

Abstract: Flops are birational transformations which, conjecturally, induce derived equivalences. In many cases an equivalence can be produced in geometric terms. Namely, as the varieties involved are birational, they map to a common scheme, and the fibre product with respect to these maps gives a Fourier Mukai kernel which often induces the derived equivalence. When this happens, we have a non trivial autoequivalence of either sides of the flop known as the "flop-flop" autoequivalence. We investigate this autoequivalence, and we prove that can be realized as the inverse of a spherical twist around a spherical functor whose source category arises naturally from the geometry. Precisely, we consider the derived category of the fibre product, and we prove that a suitable Verdier quotient of this category admits a four periodic SOD inducing the mentioned autoequivalence. This picture also implements a perverse Schober for the flop. In a companion paper, arXiv:2103.02555, we provide some explicit computations of this source category in the cases of Mukai flops and families of standard flops.