We give an explicit description of the deformation theory of the Abelian category of (quasi-)coherent sheaves on any separated Noetherian scheme X via the deformation theory of path algebras of quivers with relations, by using any affine open cover of X, or any tilting bundle on X, if available.We also give sufficient criteria for obtaining algebraizations of formal deformations, in which case the deformation parameters can be evaluated to a constant and the deformations can be compared to the original Abelian category on equal terms. We give concrete examples as well as applications to the study of noncommutative deformations of singularities.
IntroductionA momentous result due to P. Gabriel [Gab62] and A. L. Rosenberg [Ros98,Bra18] shows that any quasi-separated scheme can be reconstructed from its Abelian category of quasi-coherent sheaves. Abelian categories which are "close to" categories of quasi-coherent sheaves on a variety or scheme can thus be viewed as generalizations of commutative schemes and are of central importance in noncommutative algebraic geometry.In [LVdB05, LVdB06] W. Lowen and M. Van den Bergh developed a deformation theory for abstract Abelian categories, controlled by a version of Hochschild cohomology H • Ab for Abelian categories, with first-order deformations parametrized by H 2 Ab and obstructions lying in H 3 Ab . For a separated Noetherian scheme X over an algebraically closed field k of characteristic 0, Lowen and Van den Bergh showed that the Hochschild cohomology of the Abelian categories -Mod(O X ) of all sheaves of O X -modules