Formality theorem with coefficients in a module
Abstract
Description
In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to any Lie algebroid. More precisely, given any Lie algebroid $E$ over $X$, he defined the DGLA of $E$-polydifferential operators, $Γ(X, ^{E}D^{*}_{poly})$, and showed that it is formal. Denote by $Γ(X, ^{E}T^{*}_{poly})$ the DGLA of $E$-polyvector fields. Considering $M$, a module over $E$, we define $Γ(X, ^{E}T_{poly}^{*}(M))$ the $Γ(X, ^{E}T^{*}_{poly})$-module of $E$-polyvector fields with values in $M$. Similarly, we define the $Γ(X, ^{E}D^{*}_{poly})$-module of $E$-polydifferential operators with values in $M$, $Γ(X, ^{E}D^{*}_{poly}(M))$. We show that there is a quasi-isomorphism of $L_{\infty}$-modules over $Γ(X, ^{E}T^{*}_{poly})$ from $Γ(X, ^{E}T^{*}_{poly}(M))$ to $Γ(X, ^{E}D^{*}_{poly}(M))$. Our result extends Calaque 's (and Kontsevich's) result.
44 pages. I removed the second formality theorem and improved the part about applications
44 pages. I removed the second formality theorem and improved the part about applications