Basic cohomology of associative algebras (Q5961636): Difference between revisions

Let \({\mathcal A}\) be an associative algebra over the field \(K= \mathbb{R}\) or \(\mathbb{C}\) and \({\mathcal A}_{\text{Lie}}\) the associated Lie algebra with the commutator as Lie bracket. Using the standard cochain complex [\textit{H. Cartan} and \textit{S. Eilenberg}, ``Homological algebra'', Princeton: Univ. Press (1956; Zbl 0075.24305)] \(C({\mathcal A}) =\oplus^n C^n({\mathcal A})\) of \({\mathcal A}\) with values in \({\mathcal A}\) considered as a graded differential algebra with the differential \(d\) and applied for the definition of the Hochschild cohomology \(H({\mathcal A})\) the authors introduce two new types of cohomologies of \({\mathcal A}\) -- basic and invariant -- whose definition is connected with the existence of a canonical operation, in the sense of \textit{H. Cartan} [Centre Belge Rech. Math., Colloque Topologie, Bruxelles 1950, 1, 15-27 (1951; Zbl 0045.30601)], of \({\mathcal A}_{\text{Lie}}\) on \(C({\mathcal A})\). For \(A\in {\mathcal A}\) define \(i_A\): \(C^n ({\mathcal A}) \to C^{n-1} ({\mathcal A})\) by \(i_A \omega (A_1, \dots, A_{n-1}) =\sum^{n-1}_{k=0} (-1)^k \omega (A_1, \dots, A_k,A, A_{k +1}, \dots, A_{n-1})\), \(\omega \in C^n({\mathcal A})\), \(A_k \in {\mathcal A}\), for \(n\geq 1\), \(i_AC^0 ({\mathcal A}) =0\), and put \(L_A= i_Ad+ di_A\), \(A\in {\mathcal A}\). A cochain \(\omega\in C({\mathcal A})\) is called invariant if \(L_A \omega=0\) and basic if \(L_A \omega=0\) and \(i_A \omega=0\) for any \(A\in {\mathcal A}\). Subcomplexes \(C_I ({\mathcal A})\) and \(C_B ({\mathcal A})\) of invariant and basic cochains, respectively, are differential graded subalgebras of \(C({\mathcal A})\) and their cohomologies \(H_I({\mathcal A})\) and \(H_B ({\mathcal A})\) are called basic and invariant. Let \({\mathcal F}^n_S ({\mathcal A}_{\text{Lie}})\) denote the space of \(\text{ad}^*\)-invariant homogeneous polynomials of degree \(n\) on \({\mathcal A}_{\text{Lie}}\). The main result of the paper is the following theorem: The basic cohomology \(H_B ({\mathcal A})\) of the unital algebra \({\mathcal A}\) identifies with the algebras \({\mathcal F}_S ({\mathcal A}_{\text{Lie}})\) of invariant polynomials on the Lie algebra \({\mathcal A}_{\text{Lie}}\) where the degree \(2n\) is given to the homogeneous polynomials of degree \(n\), i.e., \(H_B^{2n} ({\mathcal A}) \cong {\mathcal F}^n_S ({\mathcal A}_{\text{Lie}})\) and \(H^{2n +1}_B ({\mathcal A}) =0\). In particular, \(H_B ({\mathcal A})\) is commutative and graded commutative.