English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

The orbit method for locally nilpotent infinite-dimensional Lie algebras

MPS-Authors
/persons/resource/persons235467

Ignatyev,  Mikhail‏
Max Planck Institute for Mathematics, Max Planck Society;

Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

Ignatyev, M., & Petukhov, A. (2021). The orbit method for locally nilpotent infinite-dimensional Lie algebras. Journal of Algebra, 585, 501-557. doi:10.1016/j.jalgebra.2021.06.013.


Cite as: https://hdl.handle.net/21.11116/0000-0009-FE33-0
Abstract
Let $\mathfrak{n}$ be a locally nilpotent infinite-dimensional Lie algebra
over $\mathbb{C}$. Let $\mathrm{U}(\mathfrak{n})$ and
$\mathrm{S}(\mathfrak{n})$ be its universal enveloping algebra and its
symmetric algebra respectively. Consider the Jacobson topology on the primitive
spectrum of $\mathrm{U}(\mathfrak{n})$ and the Poisson topology on the
primitive Poisson spectrum of $\mathrm{S}(\mathfrak{n})$. We provide a
homeomorphism between the corresponding topological spaces (on the level of
points, it gives a bijection between the primitive ideals of
$\mathrm{U}(\mathfrak{n})$ and $\mathrm{S}(\mathfrak{n})$). We also show that
all primitive ideals of $\mathrm{S}(\mathfrak{n})$ from an open set in a
properly chosen topology are generated by their intersections with the Poisson
center. Under the assumption that $\mathfrak{n}$ is a nil-Dynkin Lie algebra,
we give two criteria for primitive ideals
$I(\lambda)\subset\mathrm{S}(\mathfrak{n})$ and
$J(\lambda)\subset\mathrm{U}(\mathfrak{n})$, $\lambda\in\mathfrak{n}^*$, to be
nonzero. Most of these results generalize the known facts about primitive and
Poisson spectrum for finite-dimensional nilpotent Lie algebras (but note that
for a finite-dimensional nilpotent Lie algebra all primitive ideals
$I(\lambda)$, $J(\lambda)$ are nonzero).