We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $Λ$ by comparing the pushforward of the constant intersection complexes through flopping contractions.
We describe a new example of a flop in 5-dimensions, due to Roland Abuaf, with the nice feature that the contracting loci on either side are not isomorphic. We prove that the two sides are derived equivalent.
We give a new proof of the derived equivalence of a pair of varieties connected by the flop of type $C_2$ in the list of Kanemitsu arXiv:1812.05392, which is originally due to Segal. We also prove the derived equivalence of a pair of varieties connected by the flop of type $A^G_4$ in the same list. The latter proof follows that of the derived equivalence of Calabi--Yau 3-folds in Grassmannians $\text{Gr}(2,5)$ and $\text{Gr}(3,5)$ by Kapustka and Rampazzo arXiv:1711.10231 closely.
I study a sequence of singularities in dimension 4 and above, each given by a cone of rank 1 tensors of a certain signature, which have crepant resolutions whose exceptional loci are isomorphic to cartesian powers of the projective line. In each dimension n, these resolutions naturally correspond to vertices of an (n-2)-simplex, and flops between them correspond to edges of the simplex. I show that each face of the simplex may then be associated to a certain relation between flop functors.
Associated to a Mukai flop X ---> X' is on the one hand a sequence of equivalences D(X) -> D(X'), due to Kawamata and Namikawa, and on the other hand a sequence of autoequivalences of D(X), due to Huybrechts and Thomas. We work out a complete picture of the relationship between the two. We do the same for standard flops, relating Bondal and Orlov's derived equivalences to spherical twists, extending a well-known story for the Atiyah flop to higher dimensions.
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-…
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 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.
We formulate and prove Serre's equivalence for $\mathbb{Z}$-graded rings. When restricted to the usual case of $\mathbb{N}$-graded rings, our version of Serre's equivalence also sharpens the usual one by replacing the condition that $A$ be generated by $A_1$ over $A_0$ by a more natural condition, which we call the Cartier condition. For $\mathbb{Z}$-graded rings coming from flips and flops, this Cartier condition relates more naturally to the geometry of the flip/flop in question. We also interpret Grothendieck duality as an instance of Greenlees-May duality for graded rings. These form the b…
We study derived categories of Gorenstein varieties X and X^+ connected by a flop. We assume that the flopping contractions f: X \to Y, f^+: X^+ \to Y have fibers of dimension bounded by 1 and Y has canonical hypersurface singularities of multiplicity 2. We consider the fiber product W=X \times_Y X^+ with projections p: W \to X, q: W \to X^+ and prove that the flop functors F = Rq_* Lp^*: D^b(X) \to D^b(X^+), F^+= Rp_*Lq^*: D^b(X^+) \to D^b(X) are equivalences, inverse to those constructed by M. Van den Bergh. The composite F^+ \circ F: D^b(X) \to D^b(X) is a non-trivial auto-equivalence. When…
We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects obtained by iterated mutation. The main application is to the Homological Minimal Model Programme. For a 3-fold flopping contraction $f \colon X \to \mathrm{Spec}\ R$, where $X$ has only Gorenstein terminal singularities, there is an associated finite dimensional algebra $A_{\mathrm{con}}$ known as the contraction algebra. As a corollary of our main result, th…
We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can be factored into geometrically meaningful equivalences associated to abelian fibrations and Mukai flops. Along the way we produce a derived equivalence between two compact hyperkaehler 2g-folds that are not birational, for every g >= 2. We also speculate about an approach to showing that birational moduli spaces of sheaves on K3 surfaces are derived-equivale…
For a cyclic group $G$ acting on a smooth variety $X$ with only one character occurring in the $G$-equivariant decomposition of the normal bundle of the fixed point locus, we study the derived categories of the orbifold $[X/G]$ and the blow-up resolution $\widetilde Y \to X/G$. Some results generalise known facts about $X = A^n$ with diagonal $G$-action, while other results are new also in this basic case. In particular, if the codimension of the fixed point locus equals $|G|$, we study the induced tensor products under the equivalence $D^b(\widetilde Y) \cong D^b([X/G])$ and give a 'flop-flop…
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-Namikawa's derived equivalence between crepant resolutions $Y$ and $Y^+$ of $\ove…
We show the existence of semiorthogonal decompositions of Donaldson-Thomas categories for $(-1)$-shifted cotangent derived stacks associated with $Θ$-stratifications on them. Our main result gives an analogue of window theorem for categorical DT theory, which has applications to d-critical analogue of D/K equivalence conjecture, i.e. existence of fully-faithful functors (equivalences) under d-critical flips (flops). As an example of applications, we show the existence of fully-faithful functors of DT categories for Pandharipande-Thomas stable pair moduli spaces under wall-crossing at super-rig…
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende t…
A version of the Bondal-Orlov conjecture, proved by Bridgeland, states that if $X$ and $Y$ are smooth complex projective threefolds linked by a flop, then they are derived equivalent. Van den Bergh gave a new proof of Bridgeland's theorem using the notion of a NCCR, which is in particular a ring $A$ together with a derived equivalence between $X$ and $A$. This ring $A$ is constructed as an endomorphism ring of a decomposable module, and hence admits an idempotent $e$. Donovan and Wemyss define the contraction algebra $A_\mathrm{con}$ to be the quotient of $A$ by $e$; it is a finite-dimensional…