Twists and braids for general 3-fold flops
Will Donovan, Michael Wemyss

TL;DR
This paper develops a comprehensive theory of braid relations for flop functors on 3-folds with Gorenstein terminal singularities, revealing higher degree relations and new autoequivalences, and connecting these to braid group actions and deformations.
Contribution
It introduces a general framework for higher degree braid relations in 3-fold flops, extending known cases and constructing new autoequivalences using deformation techniques.
Findings
Higher degree braid relations can occur even for two smooth rational curves meeting at a point.
An action of the fundamental group of the hyperplane arrangement complement on the derived category is established.
Two new types of derived autoequivalences are constructed, linking deformation theory and birational geometry.
Abstract
Given a quasi-projective 3-fold X with only Gorenstein terminal singularities, we prove that the flop functors beginning at X satisfy higher degree braid relations, with the combinatorics controlled by a real hyperplane arrangement H. This leads to a general theory, incorporating known special cases with degree 3 braid relations, in which we show that higher degree relations can occur even for two smooth rational curves meeting at a point. This theory yields an action of the fundamental group of the complexified complement of H on the derived category of X, for any such 3-fold that admits individually floppable curves. We also construct such an action in the more general case where individual curves may flop analytically, but not algebraically, and furthermore we lift the action to a form of affine pure braid group under the additional assumption that X is Q-factorial. Along the way,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
