Cyclic forms on DG-Lie algebroids and semiregularity

TL;DR

This paper develops a new framework involving cyclic forms and $L_$ morphisms on DG-Lie algebroids, leading to advances in deformation theory of sheaves and principal bundles on algebraic schemes.

Contribution

It introduces a novel connection and $L_$ morphism construction on DG-Lie algebroids, extending the semiregularity map in algebraic deformation theory.

Findings

Constructed an $L_$ morphism from DG-Lie algebra of kernels to a shifted de Rham complex.

Lifted the semiregularity map to the algebraic setting, impacting deformation theory.

Applied results to deformations of coherent sheaves and principal bundles.

Abstract

Given a transitive DG-Lie algebroid $(\mathcal{A}, \rho)$ over a smooth separated scheme $X$ of finite type over a field $\mathbb{K}$ of characteristic $0$ we define a notion of connection $\nabla \colon \mathbf{R}\Gamma(X,\mathrm{Ker} \rho) \to \mathbf{R}\Gamma (X,\Omega_X^1[-1]\otimes \mathrm{Ker} \rho)$ and construct an $L_\infty$ morphism between DG-Lie algebras $f \colon \mathbf{R}\Gamma(X, \mathrm{Ker} \rho) \rightsquigarrow\mathbf{R}\Gamma(X, \Omega_X^{\leq 1} [2])$ associated to a connection and to a cyclic form on the DG-Lie algebroid. In this way, we obtain a lifting of the first component of the modified Buchweitz-Flenner semiregularity map in the algebraic context, which has an application to the deformation theory of coherent sheaves on $X$ admitting a finite locally free resolution. Another application is to the deformations of (Zariski) principal bundles on $X$.