Enveloping algebras of derivations of commutative and noncommutative algebras

TL;DR

This paper proves that the universal enveloping algebra of derivations of finitely generated algebras over a field of characteristic zero is not noetherian, extending previous results to both commutative and noncommutative cases.

Contribution

It establishes a general non-noetherian property for enveloping algebras of derivation Lie algebras of finitely generated algebras, broadening prior specific cases.

Findings

Universal enveloping algebra of derivations is not noetherian

Result applies to both commutative and noncommutative algebras

Extends previous results on Witt and Krichever-Novikov algebras

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.