On ideals in the enveloping algebra of a locally simple Lie algebra

Abstract: We study (two-sided) ideals

I

in the enveloping algebra

U (f r a k g_{i} n f t y)

of an infinite-dimensional Lie algebra

f r a k g_{i} n f t y

obtained as the union (equivalently, direct limit) of an arbitrary chain of embeddings of simple finite-dimensional Lie algebras

f r a k g_{1} o f r a k g_{2} o ... o f r a k g_{n} o ...

with

l i m l i m i t s_{n o i n f t y} d i m f r a k g_{n} = i n f t y

. Our main result is an explicit description of the zero-sets of the corresponding graded ideals

g r I

. We use this description and results of A. Zhilinskii to prove Baranov's conjecture that, if

f r a k g_{i} n f t y

is not diagonal in the sense of A. Baranov and A. Zhilinskii, then

U (f r a k g_{i} n f t y)

admits a single non-zero proper ideal: the augmentation ideal. Our study is based on a complete description of the radical Poisson ideals in

and their zero-sets. We then discuss in detail integrable ideals of

U (f r a k g_{i} n f t y)

, i.e. ideals

I s u b s e t U (f r a k g_{i} n f t y)

for which

I c a p U (f r a k g_{n})

is an intersection of ideals of finite-codimension in

U (f r a k g_{n})

for any

n g e 1

. We present a classification of prime integrable ideals based on work of A. Zhilinskii. For

f r a k g_{i} n f t y c o n g f r a k {s l}_{i} n f t y, f r a k {s o}_{i} n f t y

, all zero-sets of radical Poisson ideals of

arise from prime integrable ideals of

U (f r a k g_{i} n f t y)

. For

f r a k g_{i} n f t y c o n g f r a k {s p}_{i} n f t y

only "half" of the zero-sets of Poisson ideals

arise from integrable ideals of

U (f r a k g_{i} n f t y)

.

Recommendations

Cited In (10)

This page was built for publication: On ideals in the enveloping algebra of a locally simple Lie algebra