Enveloping algebras of derivations of commutative and noncommutative algebras

Jason Bell,Lucas Buzaglo

2024-11-27

Abstract:Let $\Bbbk$ be a field of characteristic zero. Motivated by the fundamental question of whether it is possible for the universal enveloping algebra of an infinite-dimensional Lie algebra to be noetherian, we study Lie algebras of derivations of associative algebras. The main result of this paper is that the universal enveloping algebra of the Lie algebra of derivations of a finitely generated $\Bbbk$-algebra is not noetherian. This extends a result of Sierra and Walton on the Witt algebra, as well as a result of the second author on Krichever-Novikov algebras. We highlight that the result applies to derivations of both commutative and noncommutative algebras without restriction on their growth.

Rings and Algebras

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to explore whether the universal enveloping algebra of an infinite - dimensional Lie algebra can be a Noetherian ring. Specifically, the author studied the derivation Lie algebras of associative algebras and proved that the universal enveloping algebras of these derivation Lie algebras are not Noetherian rings.

### Problem Background

In mathematics, the universal enveloping algebras of finite - dimensional Lie algebras are classic examples of well - behaved non - commutative rings, but the universal enveloping algebras of infinite - dimensional Lie algebras are still full of mysteries. An important open question is: **Can the universal enveloping algebra of an infinite - dimensional Lie algebra be a Noetherian ring?** This question is very difficult and has been proposed and studied by many authors for years.

### Main Contributions of the Paper

The main result of this paper is to extend the results of Sierra and Walton on Witt algebras and the results of the second author on Krichever - Novikov algebras. Specifically, the author proved the following theorem:

#### Theorem 1.1
Let \(A\) be an infinite - dimensional and finitely - generated \(k\)-algebra (where \(k\) is a field of characteristic zero). Then the universal enveloping algebra \(U(\text{Der}(A))\) of the derivation Lie algebra \(\text{Der}(A)\) of \(A\) is not a Noetherian ring. Moreover, if the inner derivation Lie algebra \(\text{Inn}(A)\) is infinite - dimensional, then \(U(\text{Inn}(A))\) is also not a Noetherian ring.

### Main Conclusions

1. **Non - Noetherian Property**: For an infinite - dimensional and finitely - generated associative algebra \(A\), the universal enveloping algebra of its derivation Lie algebra is not a Noetherian ring.
2. **Wide Applicability**: This result is applicable to both commutative and non - commutative algebras without restrictions on their growth.
3. **New Examples**: It provides many new examples of infinite - dimensional non - graded or non - simple Lie algebras whose universal enveloping algebras are known to be non - Noetherian.

### Methods and Proofs

To prove this theorem, the author adopted different strategies to deal with the commutative and non - commutative cases. By constructing appropriate homomorphic mappings and using existing results, the author was able to gradually derive the required conclusions. In particular, in the non - commutative case, the author decomposed the problem into multiple sub - cases and carried out detailed discussions and proofs respectively.

### Summary

This paper solves the long - standing problem of whether the universal enveloping algebra of an infinite - dimensional Lie algebra can be a Noetherian ring and provides a widely applicable result. This not only extends the existing theory but also provides new directions and tools for future research.