Abstract:We define a new cohomology for associative algebras which we compute for algebras with units.
What problem does this paper attempt to address?
This paper attempts to define a new cohomology theory, called basic cohomology, for associative algebras with a unit element. Specifically, the authors Michel Dubois - Violette and Thierry Masson introduced a new cohomology structure, which can be extracted from the differential graded algebra \(C(A)\) of the associative algebra \(A\), and this cohomology is non - trivial when \(A\) has a unit element.
### Main contributions of the paper:
1. **Define basic cohomology**:
- The authors defined the basic cohomology \(H_B(A)\) on the associative algebra \(A\), which is a new cohomology theory.
- Basic cohomology is related to Lie algebra cohomology and cyclic cohomology, but it is independent.
2. **Compute basic cohomology**:
- For any associative algebra \(A\) with a unit element, the authors computed its basic cohomology \(H_B(A)\).
- They proved that \(H_B(A)\) can be identified with the algebra of invariant polynomials \(I_S(A_{\text{Lie}})\) on the Lie algebra \(A_{\text{Lie}}\), where the part of degree \(2n\) corresponds to the part of homogeneous polynomials of degree \(n\).
3. **Specific results**:
- When \(A = K\) (i.e., \(A\) is a field), the basic cohomology \(H_B(K)\) is a free graded - commutative algebra generated by a quadratic element.
- For the general case, the basic cohomology \(H_B(A)\) is a commutative graded - commutative algebra.
### Main theorems and propositions:
- **Theorem 1**:
- The basic cohomology \(H_B(A)\) is identified with the algebra of invariant polynomials \(I_S(A_{\text{Lie}})\) on the Lie algebra \(A_{\text{Lie}}\), that is, \(H_{2n}^B(A)\simeq I_S^n(A_{\text{Lie}})\) and \(H_{2n + 1}^B(A)=0\).
- **Proposition 1**:
- If \(A\) has a unit element, then \(H_n(A) = 0\) and \(H_n^I(A)=0\) for \(n\geq1\) hold, while \(H_0(A)=H_0^I(A)=K\).
- **Proposition 2**:
- The basic cohomology \(H_B(K)\) is a free graded - commutative algebra generated by a quadratic element.
- **Proposition 3**:
- For \(n\geq1\), we have \(H_{m,n}(P, d)=0\) and \(H_{m,n}(I,\lceil)=0\), while for \(n = 0\), we have \(H_{m,0}(P, d)=P_{m,0}\) and \(H_{m,0}(I,\lceil)=I_S^n(A_{\text{Lie}})\).
- **Proposition 4**:
- For \(m\geq1\), we have \(H_{m,n}(P,\delta)=0\) and \(H_{m,n}(I,\delta)=0\), while for \(m = 0\), we have \(H_{0,n}(P,\delta)=C_n^H(A)\) and \(H_{0,n}(I,\delta)=C_n^B(A)\).
### Conclusion:
By introducing basic cohomology, the authors provided a new method to study the cohomology properties of associative algebras, especially when the associative algebras have a unit element. This new cohomology theory is not only related to Lie algebra cohomology and cyclic cohomology, but also provides a richer structure in some cases.