$\D$-locally nilpotent algebras, their ideal structure and simplicity criteria

TL;DR

This paper introduces $ ext{ extbackslash D}$-locally nilpotent algebras, a broad class generalizing differential operator algebras, and characterizes their ideal structure and simplicity criteria, extending previous results to a wider context.

Contribution

It describes the ideal structure of $ ext{ extbackslash D}$-locally nilpotent algebras and provides new simplicity criteria, generalizing earlier work on differential operator algebras.

Findings

Characterization of ideal structure in $ ext{ extbackslash D}$-locally nilpotent algebras

Simplicity criteria for these algebras

Extension of previous results to broader algebra classes

Abstract

The class of $\D$-locally nilpotent algebras (introduced in the paper) is a wide generalization of the algebras of differential operators on commutative algebras. Examples includes all the rings $\CD (A)$ of differential operators on commutative algebras (in arbitrary characteristic), all subalgebras of $\CD (A)$ that contain the algebra $A$, the universal enveloping algebras of nilpotent, solvable and semi-simple Lie algebras, the Poisson universal enveloping algebra of an arbitrary Poisson algebra, iterated Ore extensions $A[x_1, \ldots , x_n ; \d_1 , \ldots , \d_n]$, certain generalized Weyl algebras, and others. In \cite{SimCrit-difop}, simplicity criteria are given for the algebras differential operators on commutative algebras (it was a long standing problem). The aim of the paper is to describe the ideal structure of $\D$-locally nilpotent algebras and as a corollary to give simplicity criteria for them (it is a generalization of the results of \cite{SimCrit-difop}). Examples are considered.