Differential calculus over double Lie algebroids (Q784877)

\textit{M. Van den Bergh} introduced double Lie algebroids (aka. double Lie-Rinehart algebras) in [Contemp. Math. 450, 273--299 (2008; Zbl 1236.58019)] as a generalization of Lie-Rinehart algebras when working over a non-commutative algebra \(A\). Here, the author gives an equivalent, direct definition of such a structure: an \(A\)-bimodule \(\mathbb{L}\) equipped with an anchor map \(\mathbb{L} \rightarrow \mathbb{D}\mathrm{er} (A)\) to the double derivations of \(A\) and a double bracket \(\mathbb{L} \otimes \mathbb{L} \rightarrow (\mathbb{L} \otimes A) \oplus(A \otimes \mathbb{L})\) satisfying appropriate axioms. For most of the paper, \(\mathbb{L}\) is assumed to be finitely-generated and projective over \(A^e\). These structures are illustrated by a number of important examples, including those exhibited by Van den Bergh: the case \(\mathbb{L}= \mathbb{D}\mathrm{er} (A)\) and, for \(A\) a double Poisson algebra, the associated double Lie algebroid structure on non-commutative differential forms \(\Omega^1 A\) [\textit{M. Van den Bergh}, Trans. Am. Math. Soc. 360, No. 11, 5711--5769 (2008; Zbl 1157.53046)]. For these, \(A\) is usually required to be smooth. The author then proposes a differential calculus in this context, generalizing results of [\textit{W. Crawley-Boevey} et al., Adv. Math. 209, No. 1, 274--336 (2007; Zbl 1111.53066)] for the case \(\mathbb{L}=\mathbb{D}\mathrm{er} (A)\). For \(\mathbb{L}\) a double Lie algebroid over \(A\), she constructs a differential graded algebra \((T_A\mathbb{L}^*, d_{\mathbb{L}})\), where \(T_A\mathbb{L}^*\) is the tensor algebra on the \(A^e\)-dual of \(\mathbb{L}\), and hence the associated complex \[ DR(\mathbb{L}): = T_A\mathbb{L}^* / [T_A\mathbb{L}^*, T_A\mathbb{L}^*]. \] For \(A\) smooth and \(\mathbb{L} = \mathbb{D}\mathrm{er} (A)\), this recovers the Karoubi-de Rham complex of \(A\). For a smooth double Poisson algebra \(A\) and the associated double Lie algebroid \(\mathbb{L}= \Omega^1 A\), this gives the complex calculating the Poisson-Lichnerowicz cohomology of \(A\) [\textit{A. Pichereau} and \textit{G. Van de Weyer}, J. Algebra 319, No. 5, 2166--2208 (2008; Zbl 1214.17009)]. The author also introduces a contraction and a Lie derivation in this context, showing for instance that they satisfy the relevant Cartan formula. Finally, she uses the relationship between non-commutative and commutative structures provided by representation schemes to relate the complex \(DR(\mathbb{L})\) to the corresponding complex for Lie-Rinehart algebras in the commutative setting.