Formality for Lie algebroids

Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

Let $(g,δ_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),Δ_\hbar)$ a quantization of $(g,δ_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=Λ(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,δ_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.

L-infinity Formality check for the Hochschild Complex of Certain Universal Enveloping Algebras

We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more detail so(3)), and free Lie algebras generated by a vector space of dimension at least 2. We show that for these examples formality in Kontsevich's sense does NOT hold, although some of them allow unconditioned deformability. We compute the L-infinity-structure on the cohomology given by homotopy transfer in certain cases.

Classification of universal formality maps for quantizations of Lie bialgebras

We settle several questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. An important new technical ingredient introduced in this paper is an endofunctor D in the category of augmented props with the property that for any representation of a prop P in a vector space V the associated prop DP admits an induced representation on the graded commutative tensor algebra S(V) given in terms of polydifferential operators. Applying this functor to the prop LieB of Lie bialgebras we show that universal formali…

Vertex Algebras and the Equivariant Lie Algebroid Cohomology

A vertex-algebraic analogue of the Lie algebroid complex is constructed, which generalizes the "small" chiral de Rham complex on smooth manifolds. The notion of VSA-inductive sheaves is also introduced. This notion generalizes that of sheaves of vertex superalgebras. The complex mentioned above is constructed as a VSA-inductive sheaf. With this complex, the equivariant Lie algebroid cohomology is generalized to a vertex-algebraic analogue, which we call the chiral equivariant Lie algebroid cohomology. In fact, the notion of the equivariant Lie algebroid cohomology contains that of the equivari…

Two-colored noncommutative Gerstenhaber formality and infinity Duflo isomorphism

Using new configuration spaces, we give an explicit construction that extends Kontsevich's Lie-infinity quasi-isomorphism from polyvector fields to Hochschild cochains to a quasi-isomorphism of A-infinity algebras equipped with actions by homotopy derivations of the Lie algebra of polyvector fields. One may term this formality a formality of two-colored noncommutative Gerstenhaber homotopy algebras. In our result the action of polyvector fields by homotopy derivations of the wedge product on polyvector fields is not the adjoint action by the Schouten bracket, but a homotopy nontrivial and, in …

Non-commutative formality implies commutative and Lie formality

Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg associative algebra if and only if it is formal as a commutative dg algebra. We present some consequences of these theorems in rational homotopy theory.

On some formality criteria for DG-Lie algebras

We give some formality criteria for a differential graded Lie algebra to be formal. For instance, we show that a DG-Lie algebra L is formal if and only if the natural spectral sequence computing the Chevalley-Eilenberg cohomology H(L,L) degenerates at second page.

Lie Algebroids in the Loday-Pirashvili Category

We describe Lie-Rinehart algebras in the tensor category $\mathcal{LM}$ of linear maps in the sense of Loday and Pirashvili and construct a functor from Lie-Rinehart algebras in $\mathcal{LM}$ to Leibniz algebroids.

Courant Algebroids and Strongly Homotopy Lie Algebras

Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.

$F$-algebroids and deformation quantization via pre-Lie algebroids

In this paper, first we introduce a new approach to the notion of $F$-algebroids, which is a generalization of $F$-manifold algebras and $F$-manifolds, and show that $F$-algebroids are the corresponding semi-classical limits of pre-Lie formal deformations of commutative associative algebroids. Then we use the deformation cohomology of pre-Lie algebroids to study pre-Lie infinitesimal deformations and extension of pre-Lie $n$-deformations to pre-Lie $(n+1)$-deformations of a commutative associative algebroid. Next we develop the theory of Dubrovin's dualities of $F$-algebroids with eventual ide…

Deformation Quantization of Poisson Structures Associated to Lie Algebroids

In the present paper we explicitly construct deformation quantizations of certain Poisson structures on E^*, where E -> M is a Lie algebroid. Although the considered Poisson structures in general are far from being regular or even symplectic, our construction gets along without Kontsevich's formality theorem but is based on a generalized Fedosov construction. As the whole construction merely uses geometric structures of E we also succeed in determining the dependence of the resulting star products on these data in finding appropriate equivalence transformations between them. Finally, the concr…

Lie algebroids are curved Lie algebras

We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of algebras over a complete operad.

Lie algebroids as $L_\infty$ spaces

In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid $L$-and the natural generalization to dg Lie algebroids-provides an (essentially unique) $L_\infty$ space. More precisely, we construct a faithful functor from the category of Lie algebroids to the category of $L_\infty$ spaces. Then we show that for each Lie algebroid $L$, there is a fully faithful functor from the category of representations up to homotopy of $L$ to the category of vector bundles over the associated $L_\infty$ space. Indeed, this functor sends the …

Simultaneous Deformations of Lie Algebroids and Lie Subalgebroids

The $L_\infty$-algebra is an algebraic structure suitable for describing deformation problems. In this paper we construct one $L_\infty$-algebra, which turns out to be a differential graded Lie algebra, to control the deformations of Lie algebroids and a second one to control the deformations of Lie subalgebroids. We also combine these two $L_\infty$-algebras into one to control the simultaneous deformations of a Lie algebroid and its Lie subalgebroids. The results generalize the deformation theory of Lie algebra and Lie subalgebras. Applications of our results include deformations of foliatio…

闭曲面上Goldman-Turaev李双代数的形式性

The formality of the Goldman-Turaev Lie bialgebra on a closed surface

该研究利用非交换联络工具重述高亏格Kashiwara-Vergne群与配极子，解决了闭曲面情形下Goldman-Turaev李双代数相伴分次的幂幺自同构群的确定问题。

Lie Algebroids Associated to Poisson Actions

This work is motivated by a result of Drinfeld on Poisson homogeneous spaces. For each Poisson manifold $P$ with a Poisson action by a Poisson Lie group $G$, we describe a Lie algebroid structure on the direct sum vector bundle $P \times {\frak g} \oplus T^*P$, where ${\frak g}$ is the Lie algebra of $G$. It is built out of the transformation Lie algebroid $P \times {\frak g}$ and the cotangent bundle Lie algebroid $T^*P$ together with a pair of representations of them on each other. When the action of $G$ on $P$ is transitive, the kernel of the anchor map of this Lie algebroid gives a Lie alg…

Tulczyjew triples and higher Poisson/Schouten structures on Lie algebroids

We show how to extend the construction of Tulczyjew triples to Lie algebroids via graded manifolds. We also provide a generalisation of triangular Lie bialgebroids as higher Poisson and Schouten structures on Lie algebroids.