Formality and Kontsevich--Duflo type theorems for Lie pairs

Abstract

Kontsevich's formality theorem states that there exists an $L_{\infty }$ quasi-isomorphism from the dgla $T\poly(M)$ of polyvector fields on a smooth manifold $M$ to the dgla $D\poly(M)$ of polydifferential operators on $M$, which extends the classical Hochschild--Kostant--Rosenberg map. In this paper, we extend Kontsevich's formality theorem to Lie pairs, a framework which includes a range of diverse geometric contexts such as complex manifolds, foliations, and $\mathfrak{g}$-manifolds. The spaces $\cx{T}$ and $\cx{D}$ associated with a Lie pair $(L,A)$ each carry an $L_{\infty }$ algebra structure canonical up to $L_{\infty }$ isomorphism. These two spaces serve as replacements for the spaces of polyvector fields and polydifferential operators, respectively. Their corresponding cohomology groups $\cy{T}$ and $\cy{D}$ admit canonical Gerstenhaber algebra structures. We establish the following formality theorem for Lie pairs: there exists an $L_{\infty }$ quasi isomorphism from $\cx{T}$ to $\cx{D}$ whose first Taylor coefficient is equal to $\operatorname{hkr}\circ\td$. Here $\td$ acts on $\cx{T}$ by contraction. Furthermore, we prove a Kontsevich--Duflo type theorem for Lie pairs: the Hochschild--Kostant--Rosenberg map twisted by the square root of the Todd class of the Lie pair $(L,A)$ is an isomorphism of Gerstenhaber algebras from $\cy{T}$ to $\cy{D}$. As applications, we establish formality theorems and Kontsevich--Duflo type theorems for complex manifolds, foliations, and $\mathfrak{g}$-manifolds. In the case of complex manifolds, we recover the Kontsevich--Duflo theorem of complex geometry.

arXiv comment55 pages, several typos corrected, some references added, some minor cosmetic changes in the presentation

References in corpus (34)

• Deformation quantization of Poisson manifolds, I
• Introduction to sh Lie algebras for physicists
• Relative formality theorem and quantisation of coisotropic submanifolds
• Quantum groupoids
• Hochschild cohomology and Atiyah classes
• Lie algebroid structures on double vector bundles and representation theory of Lie algebroids
• Supergroupoids, double structures, and equivariant cohomology
• Homological perturbation theory for algebras over operads
• Noncommutative differential calculus, homotopy BV algebras and formality conjectures
• From local to global deformation quantization of Poisson manifolds
• From Atiyah Classes to Homotopy Leibniz Algebras
• Formal solution of the master equation via HPT and deformation theory
• Rozansky-Witten invariants via Atiyah classes
• The Atiyah class of a dg-vector bundle
• Representations of Homotopy Lie-Rinehart Algebras
• Hochschild cohomology of the Weyl algebra and traces in deformation quantization
• The Homotopy Braces Formality Morphism
• Equivalences of Higher Derived Brackets
• Q-algebroids and their cohomology
• Poincaré--Birkhoff--Witt isomorphisms and Kapranov dg-manifolds
• Formality theorems for Hochschild chains in the Lie algebroid setting
• Rozansky-Witten invariants via formal geometry
• On the Strong Homotopy Lie-Rinehart Algebra of a Foliation
• Isomorphisme de Duflo et la cohomologie tangentielle
• Exponential map and $L_{\infty }$ algebra associated to a Lie pair
• Atiyah classes and dg-Lie algebroids for matched pairs
• Formality for g-manifolds
• Formality theorems for Hochschild complexes and their applications
• Poisson actions up to homotopy and their quantization
• Noncommutative calculus and operads
• L-infinity Formality check for the Hochschild Complex of Certain Universal Enveloping Algebras
• Polyvector fields and polydifferential operators associated with Lie pairs
• A variant of the Mukai pairing via deformation quantization
• Characteristic classes in deformation quantization

Cited by in corpus (7)

• Poincaré--Birkhoff--Witt isomorphisms and Kapranov dg-manifolds
• Hochschild cohomology of dg manifolds associated to integrable distributions
• Fedosov dg manifolds associated with Lie pairs
• Hopf algebras arising from dg manifolds
• Atiyah classes and Todd classes of pullback dg Lie algebroids associated with Lie pairs
• Polyvector fields and polydifferential operators associated with Lie pairs
• Internal symmetry of the $L_{⩽3}$ algebra arising from a Lie pair