The derived contraction algebra

Abstract

Using Braun-Chuang-Lazarev's derived quotient, we enhance the contraction algebra of Donovan-Wemyss to an invariant valued in differential graded algebras. Given an isolated contraction $X\to X_{\mathrm{con}}$ of an irreducible rational curve $C$ to a point $p$, we show that its derived contraction algebra controls the derived noncommutative deformations of $C$. We use dg singularity categories to prove that, when $X$ is smooth, the derived contraction algebra recovers the geometry of $X_{\mathrm{con}}$ complete locally around $p$, establishing a positive answer to a derived version of a conjecture of Donovan and Wemyss. When $X\to X_{\mathrm{con}}$ is a simple threefold flopping contraction, it is known that the Bridgeland-Chen flop-flop autoequivalence of $D^b(X)$ is a `noncommutative twist' around the contraction algebra. We show that the derived contraction algebra controls an analogous autoequivalence in more general settings, and in particular for partial resolutions of Kleinian singularities.

54 pages. v2: fixed mistakes in 5.2.12 and 6.6.1, added some material, exposition improved, cosmetic changes

References in corpus (19)

• Calabi-Yau algebras
• Semiorthogonal decomposition for algebraic varieties
• Derived categories of coherent sheaves
• Compact generators in categories of matrix factorizations
• Lectures on Noncommutative Geometry
• Relative singularity categories I: Auslander resolutions
• Sur les A-infini catégories
• On multi-pointed non-commutative deformations and Calabi-Yau threefolds
• Differential Graded Categories are k-linear Stable Infinity Categories
• Deformation theory of objects in homotopy and derived categories III: abelian categories
• Dimer models and exceptional collections
• Relative singularity categories II: DG models
• Deformation Theory and Partition Lie Algebras
• Derived deformations of Artin stacks
• Homotopy coherent nerve in Deformation theory
• Formal completion of a category along a subcategory
• A model category structure on the category of simplicial categories
• Homological epimorphisms and homotopy epimorphisms
• Noncommutative deformation theory, the derived quotient, and DG singularity categories

Cited by in corpus (4)

• Singularity categories via the derived quotient
• The derived deformation theory of a point
• Classification of contraction algebras and pre-Lie algebras associated to braces and trusses
• Classifying dg-categories of matrix factorizations