BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Alexey Petukhov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.RTmath.RAmath.AGmath.SG

Catalog footprint

Research overview

8works
4topics
3close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

8 publications

preprint2020arXiv

The orbit method for locally nilpotent infinite-dimensional Lie algebras

Let n\mathfrak{n} be a locally nilpotent infinite-dimensional Lie algebra over C\mathbb{C}. Let U(n)\mathrm{U}(\mathfrak{n}) and S(n)\mathrm{S}(\mathfrak{n}) be its universal enveloping algebra and its symmetric algebra respectively. Consider the Jacobson topology on the primitive spectrum of U(n)\mathrm{U}(\mathfrak{n}) and the Poisson topology on the primitive Poisson spectrum of S(n)\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 U(n)\mathrm{U}(\mathfrak{n}) and S(n)\mathrm{S}(\mathfrak{n})). We also show that all primitive ideals of S(n)\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 n\mathfrak{n} is a nil-Dynkin Lie algebra, we give two criteria for primitive ideals I(λ)⊂S(n)I(λ)\subset\mathrm{S}(\mathfrak{n}) and J(λ)⊂U(n)J(λ)\subset\mathrm{U}(\mathfrak{n}), λ∈n∗λ\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(λ)I(λ), J(λ)J(λ) are nonzero).

Open access
preprint2016arXiv

Finite-dimensional representations of minimal nilpotent W-algebras and zigzag algebras

Let g\frak g be a simple finite-dimensional Lie algebra over an algebraically closed field F\mathbb F of characteristic 0. We denote by U⁡(g)\operatorname{U}(\frak g) the universal enveloping algebra of g\frak g. To any nilpotent element e∈ge\in \frak g one can attach an associative (and noncommutative as a general rule) algebra U⁡(g, e)\operatorname{U}({\frak g},~e) which is in a proper sense a "tensor factor" of U⁡(g)\operatorname{U}(\frak g). In this article we consider the case in which g\frak g is simple and ee belongs of the minimal nonzero nilpotent orbit of g\frak g. Under these assumptions U⁡(g,e)\operatorname{U}({\frak g}, e) was described explicitly in terms of generators and relations. One can expect that the representation theory of U⁡(g,e)\operatorname{U}({\frak g}, e) would be very similar to the representation theory of U⁡(g)\operatorname{U}(\frak g). For example one can guess that the category of finite-dimensional U⁡(g,e)\operatorname{U}({\frak g}, e)-modules is semisimple. The goal of this article is to show that this is the case if g\frak g is not simply-laced. We also show that, if g\frak g is simply-laced and is not of type AnA_n, then the regular block of finite-dimensional U⁡(g,e)\operatorname{U}({\frak g}, e)-modules is equivalent to the category of finite-dimensional modules of a zigzag algebra.

Open access
preprint2016arXiv

On ideals in U(sl(∞))(\frak{sl}(\infty)), U(o(∞))(\frak o(\infty)), U(sp(∞))(\frak{sp}(\infty))

We provide a review of results on two-sided ideals in the enveloping algebra U(g(∞))(\frak g(\infty)) of a locally simple Lie algebra g(∞)\frak g(\infty). We pay special attention to the case when g(∞)\frak g(\infty) is one of the finitary Lie algebras sl(∞),o(∞),sp(∞)\frak{sl}(\infty), \frak o(\infty), \frak{sp}(\infty). The main results include a description of all integrable ideals in U(g(∞))(\frak g(\infty)), as well as a criterion for the annihilator of an arbitrary (not necessarily integrable) simple highest weight module to be nonzero. This criterion is new for g(∞)=o(∞),sp(∞)\frak g(\infty)=\frak o(\infty), \frak{sp}(\infty). All annihilators of simple highest weight modules are integrable ideals for g(∞)=sl(∞),o(∞)\frak g(\infty)=\frak{sl}(\infty), \frak o(\infty). Finally, we prove that the lattices of ideals in U(o(∞))(\frak o(\infty)) and U(sp(∞))(\frak{sp}(\infty)) are isomorphic.

Open access
preprint2015arXiv

On Gelfand-Kirillov conjecture for some W-algebras

Consider the W-algebra WW attached to the smallest nilpotent orbit in a simple Lie algebra g\frak g over an algebraically closed field of characteristic 0. We show that if an analogue of the Gelfand-Kirillov conjecture holds for such a W-algebra then it holds for the universal enveloping algebra U(g)\mathrm U(\frak g). This together with a result of A. Premet implies that the analogue of the Gelfand-Kirillov conjecture fails for some WW-algebras attached to some nilpotent orbits in Lie algebras of types Bn (n≥3)B_n~(n\ge 3), Dn (n≥4)D_n~(n\ge 4), E6,E7,E8E_6, E_7, E_8, F4F_4.

Open access
preprint2012arXiv

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

We study (two-sided) ideals II in the enveloping algebra $\U(\frak g_\infty)$ of an infinite-dimensional Lie algebra g∞\frak g_\infty obtained as the union (equivalently, direct limit) of an arbitrary chain of embeddings of simple finite-dimensional Lie algebras g1→g2→...→gn→...\frak g_1\to\frak g_2\to...\to\frak g_n\to... with lim⁡n→∞dim⁡gn=∞\lim\limits_{n\to\infty}\dim\frak g_n=\infty. Our main result is an explicit description of the zero-sets of the corresponding graded ideals $\gr I$. We use this description and results of A. Zhilinskii to prove Baranov's conjecture that, if g∞\frak g_\infty is not diagonal in the sense of A. Baranov and A. Zhilinskii, then $\U(\frak g_\infty)$ admits a single non-zero proper ideal: the augmentation ideal. Our study is based on a complete description of the radical Poisson ideals in S⋅(g∞){\bf S}^\cdot(\frak g_\infty) and their zero-sets. We then discuss in detail integrable ideals of $\U(\frak g_\infty)$, i.e. ideals $I\subset\U (\frak g_\infty)$ for which $I\cap\U (\frak g_n)$ is an intersection of ideals of finite-codimension in $\U(\frak g_n)$ for any n≥1n\ge 1. We present a classification of prime integrable ideals based on work of A. Zhilinskii. For g∞≅sl∞,so∞\frak g_\infty\cong\frak{sl}_\infty, \frak{so}_\infty, all zero-sets of radical Poisson ideals of S⋅(g∞){\bf S}^\cdot(\frak g_\infty) arise from prime integrable ideals of $\U(\frak g_\infty)$. For g∞≅sp∞\frak g_\infty\cong\frak{sp}_\infty only "half" of the zero-sets of Poisson ideals S⋅(g∞){\bf S}^\cdot(\frak g_\infty) arise from integrable ideals of $\U(\frak g_\infty)$.

Open access
preprint2011arXiv

A geometric approach to (g, k)-modules of finite type

Let gg be a semisimple Lie algebra over C\mathbb C and kk be a reductive in gg subalgebra. We say that a simple gg-module MM is a (g;k)(g; k)-module if as a kk-module MM is a direct sum of finite-dimensional kk-modules. We say that a simple (g;k)(g; k)-module MM is of finite type if all kk-isotypic components of MM are finite-dimensional. To a simple gg-module MM one assigns interesting invariants V(M)(M), $\EuScript V(M)$ and L(M)(M) reflecting the 'directions of growth of M'. In this work we prove that, for a given pair (g;k)(g; k), the set of possible such invariants is finite. Let KK be a reductive Lie group with Lie algebra kk. We say that a KK-variety XX is KK-spherical if XX has an open orbit of a Borel subgroup of KK. Let WW be a finite-dimensional KK-module. The set of flags (W1,...,Ws)W_1,..., W_s) of WW with fixed dimensions (n1;...;ns)(n_1;...; ns) is a homogeneous space of the group GL(W). We call such a variety partial WW-flag variety. In this work we classify all KK-spherical partial WW-flag varieties. We say that a simple (g;k)(g; k)-module is bounded if there exists constant CM_M such that, for any simple kk-module EE, the isotypic component of EE in MM is a direct sum of not more than CM_M-copies of EE. To any simple sl(W)(W)-module one assigns a partial WW-flag variety. In this thesis we prove that a simple (sl(W);k(W); k)-module is bounded if and only if the corresponding partial WW-flag variety is KK-spherical. Moreover, we prove that the pair (sl(W);k(W); k) admits an infin? ite-dimensional simple bounded module if and only if P(W)(W) is a KK-spherical variety. For four particular case we say more about category of bounded modules and the set of simple bounded modules.

Open access
preprint2011arXiv

Bounded reductive subalgebras of sl(n)

Let g\mathfrak g be a semisimple Lie algebra and k⊂g\mathfrak k\subset\mathfrak g be a reductive in g\mathfrak g subalgebra. A (g,k)(\mathfrak g, \mathfrak k)-module is a g\mathfrak g-module which after restriction to k\mathfrak k becomes a direct sum of finite-dimensional k\mathfrak k-modules. I.Penkov and V.Serganova introduce definition of bounded (g,k)(\mathfrak g, \mathfrak k)-modules for reductive subalgebras k⊂g\mathfrak k\subset\mathfrak g, i.e. (g,k)(\mathfrak g, \mathfrak k)-modules whose k\mathfrak k-multiplicities are uniformly bounded. A question arising in this context is, given g\mathfrak g, to describe all reductive in g\mathfrak g bounded subalgebras, i.e. reductive in g\mathfrak g subalgebras k\mathfrak k for which at least one infinite-dimensional bounded (g,k)(\mathfrak g, \mathfrak k)-module exists. In the present paper we describe explicitly all reductive in sln\mathfrak{sl}_n bounded subalgebras. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible components of the associated varieties of simple bounded (g,k)(\mathfrak g, \mathfrak k)-modules.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.