$A_{\infty }$-Algebras from Lie Pairs

Abstract

Given an inclusion $A\hookrightarrow L$ of Lie algebroids sharing the same base manifold $M$, i.e. a Lie pair, we prove that the space $\Gamma ({\Lambda }^{\bullet }{A}^{\vee }){\otimes }_R\frac{U(L)}{U(L)\cdot \Gamma (A)}$, where $R=C^{\infty }(M)$, admits an $A_{\infty }$-algebra structure, unique up to $A_{\infty }$-isomorphisms. As a consequence, the Chevalley-Eilenberg cohomology $H_{CE}^{\bullet }(A,\frac{U(L)}{U(L)\cdot \Gamma (A)})$ admits a canonical associative algebra structure. This $A_{\infty }$-algebra can be considered as the universal enveloping algebra of the $L_{\infty }$-algebroid $A[1]{\times }_{M}L/A$. Our construction is based on the homotopy equivalence of the $L_{\infty }$-algebroid $A[1]{\times }_{M}L/A$ and the dg Lie algebroid corresponding to the comma double Lie algebroid of Jotz-Mackenzie.

51 pages. v2: significantly revised, material added. Comments are welcome!

References in corpus (20)

• Relative formality theorem and quantisation of coisotropic submanifolds
• Lie algebroid structures on double vector bundles and representation theory of Lie algebroids
• Homological perturbation theory for algebras over operads
• Introduction to supergeometry
• From Atiyah Classes to Homotopy Leibniz Algebras
• Deformations of coisotropic submanifolds and strong homotopy Lie algebroids
• The Atiyah class of a dg-vector bundle
• $Q$-Manifolds and Mackenzie Theory
• Representations of Homotopy Lie-Rinehart Algebras
• Linear duals of graded bundles and higher analogues of (Lie) algebroids
• Poincaré--Birkhoff--Witt isomorphisms and Kapranov dg-manifolds
• Q-algebroids and their cohomology
• On the Strong Homotopy Lie-Rinehart Algebra of a Foliation
• On the Strong Homotopy Associative Algebra of a Foliation
• Shifted derived Poisson manifolds associated with Lie pairs
• Double Lie algebroids and representations up to homotopy
• Formality for g-manifolds
• Formal exponential map for graded manifolds
• Hochschild cohomology of dg manifolds associated to integrable distributions
• Atiyah classes and Todd classes of pullback dg Lie algebroids associated with Lie pairs