L-infinity algebras for deformations of Abelian categories and applications to geometry

W. Lowen and M. Van den Bergh defined a deformation theory for Abelian categories, such that deformations of the category of (quasi)coherent sheaves on an affine variety Spec A coincide with deformations of the algebra A, which are controlled by the Hochschild cochain complex equipped with the Gerstenhaber bracket. For categories of coherent sheaves on a (non-affine) quasi-projective variety X, one should replace the single commutative algebra A by a "diagram" of commutative algebras, obtained as the restriction of the structure sheaf of the variety to an affine open cover which is closed under intersections.

Deformations of QCoh(X) are then controlled by the so-called Gerstenhaber-Schack complex of this diagram of algebras, whose cohomology is isomorphic to the Hochschild cohomology of X. First-order deformations of QCoh(X) are parametrized by HH²(X), which for smooth complex varieties includes deformations of the complex structure as well as (complex) deformation quantizations.

I will explain how to obtain an explicit L-infinity algebra structure on this complex, controlling the higher deformation theory of QCoh(X), in case X can be covered by two affine open sets and explain how this point of view may be used to study the effect of deformations of QCoh(X) on moduli spaces of vector bundles or instanton moduli. This latter application can be viewed as an analogue of work by Nekrasov-Schwarz on non-commutative instantons on R⁴.

This talk is based on joint work with Yaël Frégier and work in progress joint with Zhengfang Wang.