BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dmitri I. Panyushev

Dmitri I. Panyushev contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.AGmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
3topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

19 published item(s)

preprint2022arXiv

Combinatorial and geometric constructions associated with the Kostant cascade

Let $\mathfrak g$ be a complex simple Lie algebra and $\mathfrak b=\mathfrak t\oplus\mathfrak u^+$ a fixed Borel subalgebra. Let $Δ^+$ be the set of positive roots associated with $\mathfrak u^+$ and $\mathcal K\subsetΔ^+$ the Kostant cascade. We elaborate on some constructions related to $\mathcal K$ and applications of $\mathcal K$. This includes the cascade element $x_{\mathcal K}$ in the Cartan subalgebra $\mathfrak t$ and properties of certain objects naturally associated with $\mathcal K$: an abelian ideal of $\mathfrak b$, a nilpotent $G$-orbit in $\mathfrak g$, and an involution of $\mathfrak g$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Nilpotent orbits and mixed gradings of semisimple Lie algebras

Let $σ$ be an involution of a complex semisimple Lie algebra $\mathfrak g$ and $\mathfrak g=\mathfrak g_0\oplus\mathfrak g_1$ the related $\mathbb Z_2$-grading. We study relations between nilpotent $G_0$-orbits in $\mathfrak g_0$ and the respective $G$-orbits in $\mathfrak g$. If $e\in\mathfrak g_0$ is nilpotent and $\{e,h,f\}\subset\mathfrak g_0$ is an $\mathfrak{sl}_2$-triple, then the semisimple element $h$ yields a $\mathbb Z$-grading of $\mathfrak g$. Our main tool is the combined $\mathbb Z\times\mathbb Z_2$-grading of $\mathfrak g$, which is called a mixed grading. We prove, in particular, that if $e_σ$ is a regular nilpotent element of $\mathfrak g_0$, then the weighted Dynkin diagram of $e_σ$, $\mathcal D(e_σ)$, has only isolated zeros. It is also shown that if $G{\cdot}e_σ\cap\mathfrak g_1\ne\varnothing$, then the Satake diagram of $σ$ has only isolated black nodes and these black nodes occur among the zeros of $\mathcal D(e_σ)$. Using mixed gradings related to $e_σ$, we define an inner involution $\checkσ$ such that $σ$ and $\checkσ$ commute. Here we prove that the Satake diagrams for both $\checkσ$ and $σ\checkσ$ have isolated black nodes.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Periodic automorphisms, compatible Poisson brackets, and Gaudin subalgebras

Let $\mathfrak g$ be a finite-dimensional Lie algebra. The symmetric algebra $\mathcal S(\mathfrak g)$ is equipped with the standard Lie-Poisson bracket. In this paper, we elaborate on a surprising observation that one naturally associates the second compatible Poisson bracket on $\mathcal S(\mathfrak g)$ to any finite order automorphism $θ$ of $\mathfrak g$. We study related Poisson-commutative subalgebras $\mathcal C$ of $\mathcal S(\mathfrak g)$ and associated Lie algebra contractions of $\mathfrak g$. To obtain substantial results, we have to assume that $\mathfrak g$ is semisimple. Then we can use Vinberg's theory of $θ$-groups and the machinery of Invariant Theory. If $\mathfrak g=\mathfrak h\oplus\dots \oplus \mathfrak h$ (sum of $k$ copies), where $\mathfrak h$ is simple, and $θ$ is the cyclic permutation, then we prove that the corresponding Poisson-commutative subalgebra $\mathcal C$ is polynomial and maximal. Furthermore, we quantise this $\mathcal C$ using a Gaudin subalgebra in the enveloping algebra $\mathcal U(\mathfrak g)$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Abelian ideals of a Borel subalgebra and root systems, II

Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$ and $\mathfrak{Ab}$ the set of abelian ideals of $\mathfrak b$. Let $Δ^+$ be the corresponding set of positive roots. We continue our study of combinatorial properties of the partition of $\mathfrak{Ab}$ parameterised by the long positive roots. In particular, the union of an arbitrary set of maximal abelian ideals is described, if $\mathfrak g\ne\mathfrak{sl}_n$. We also characterise the greatest lower bound of two positive roots, when it exists, and point out interesting subposets of $Δ^+$ that are modular lattices.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Normalisers of abelian ideals of a Borel subalgebra and $\mathbb Z$-gradings of a simple Lie algebra

Let $\mathfrak g$ be a simple Lie algebra and $\mathfrak{Ab}$ the poset of all abelian ideals of a fixed Borel subalgebra of $\mathfrak g$. If $\mathfrak a\in\mathfrak{Ab}$, then the normaliser of $\mathfrak a$ is a standard parabolic subalgebra of $\mathfrak g$. We give an explicit description of the normaliser for a class of abelian ideals that includes all maximal abelian ideals. We also elaborate on a relationship between abelian ideals and $\mathbb Z$-gradings of $\mathfrak g$ associated with their normalisers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Antichains in weight posets associated with gradings of simple Lie algebras

For a reductive Lie algebra $\mathfrak h$ and a simple finite-dimensional $\mathfrak h$-module $V$, the set of weights of $V$, $P(V)$, has a natural poset structure. We consider antichains in the weight poset $P(V)$ and a certain operator $\mathfrak X$ acting on antichains. Eventually, we impose stronger constraints on $(\mathfrak h,V)$ and stick to the case in which $\mathfrak h$ and $V$ are associated with a $Z$-grading of a simple Lie algebra $\mathfrak g$. Then $V$ is a weight multiplicity free $\mathfrak h$-module and $P(V)$ can be regarded as a subposet of $Δ^+$, where $Δ$ is the root system of $\mathfrak g$. Our goal is to demonstrate that antichains in the weight posets associated with $Z$-gradings of $\mathfrak g$ exhibit many good properties similar to those of $Δ^+$ that are observed earlier in arXiv: math.CO 0711.3353 (=Ref. [14] in the text).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Lusztig's $q$-analogues of all weight multiplicities of a representation

Let $\mathfrak g$ be a complex semisimple Lie algebra. We obtain new properties of the $q$-analogue of weight multiplicities in finite-dimensional representations of $\mathfrak g$. In particular, it is proved that certain weighted sum of $q$-analogues of all weights of a representation $V$ equals the $q$-analogue of the zero weight multiplicity in the reducible representation $V\otimes V^*$. This also provides another formula for the $\mathbb Z[q]$-valued symmetric bilinear form on the character ring of $\mathfrak g$ that was introduced by R.Gupta (Brylinski) in 1987.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Abelian ideals of a Borel subalgebra and root systems

Let $g$ be a simple Lie algebra and $Ab$ the poset of non-trivial abelian ideals of a fixed Borel subalgebra of $g$. In 2003 (IMRN, no.35, 1889--1913), we constructed a partition of $Ab$ into the subposets $Ab_μ$, parameterised by the long positive roots of $g$, and established some properties of these subposets. In this note, we show that this partition is compatible with intersections, relate it to the Kostant-Peterson parameterisation of abelian ideals and to the centralisers of abelian ideals. We also prove that the poset of positive roots of $g$ is a join-semilattice.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Dynkin index and sl(2)-subalgebras of simple Lie algebras

This is a continuation of arXiv:0903.0398 [math.RT]. Let g be a simple Lie algebra. In this note, we provide simple formulae for the index of sl(2)-subalgebras in the classical Lie algebras and a new formula for the index of the principal sl(2). We also compute the difference, D, of the indices of principal and subregular sl(2)-subalgebras. Our formula for D involves some data related to the McKay correspondence for g. Using the index of sl(2)-subalgebras of classical Lie algebras, we also obtain three series of interesting combinatorial identities parameterised by partitions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Commuting involutions of Lie algebras, commuting varieties, and simple Jordan algebras

We study certain "σ-commuting varieties" associated with a pair of commuting involutions of a semisimple Lie algebra $\g$. The usual commuting variety of $\g$ and commuting varieties related to one involution are particular cases of our construction. We develop a general theory of σ-commuting varieties and point out some cases, when they have especially good properties. We show that, for a special choice of commuting involutions, the σ-commuting variety is isomorphic to the commuting variety of a simple Jordan algebra. As a by-product of our theory, we show that if $J$ is the Jordan algebra of symmetric matrices, then the product map $J \times J\to J$ is equidimensional; while for all other simple Jordan algebras equidimensionality fails.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quotients by actions of the derived group of a maximal unipotent subgroup

Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U'$ the derived group of $U$. If $X$ is an affine $G$-variety, then the algebra of $U'$-invariants, $k[X]^U'$, is finitely generated and the quotient morphism $π: X \to X//U'$ is well-defined. In this article, we study properties of such quotient morphisms, e.g. the property that all the fibres of $π$ are equidimensional. We also establish an analogue of the Hilbert-Mumford criterion for the null-cones with respect to $U'$-invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Two covering polynomials of a finite poset, with applications to root systems and ad-nilpotent ideals

We introduce two polynomials (in $q$) associated with a finite poset $P$ that encode some information on the covering relation in $P$. If $P$ is a distributive lattice, and hence $P$ is isomorphic to the poset of dual order ideals in a poset $L$, then these polynomials coincide and the coefficient of $q$ equals the number of $k$-element antichains in $L$. In general, these two covering polynomials are different, and we introduce a deviation polynomial of $P$, which measures the difference between these two. We then compute all these polynomials in the case, where $P$ is one of the posets associated with an irreducible root system. These are 1) the posets of positive roots, 2) the poset of ad-nilpotent ideals, and 3) the poset of Abelian ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Commuting involutions and degenerations of isotropy representations

Let $σ_1$ and $σ_2$ be commuting involutions of a semisimple algebraic group $G$. This yields a $Z_2\times Z_2$-grading of $\g=\Lie(G)$, $\g=\bigoplus_{i,j=0,1}\g_{ij}$, and we study invariant-theoretic aspects of this decomposition. Let $\g<σ_1>$ be the $Z_2$-contraction of $\g$ determined by $σ_1$. Then both $σ_2$ and $σ_3:=σ_1σ_2$ remain involutions of the non-reductive Lie algebra $\g<σ_1>$. The isotropy representations related to $(\g<σ_1>, σ_2)$ and $(\g<σ_1>, σ_3)$ are degenerations of the isotropy representations related to $(\g, {σ_2})$ and $(\g, {σ_3})$, respectively. We show that these degenerated isotropy representations retain many good properties. For instance, they always have a generic stabiliser and their algebras of invariants are often polynomial. We also develop some theory on Cartan subspaces for various $Z_2$-gradings associated with the $Z_2\times Z_2$-grading of $\g$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Abelian ideals of a Borel subalgebra and subsets of the Dynkin diagram

Let $g$ be a simple Lie algebra and $Ab(g)$ the set of Abelian ideals of a Borel subalgebra of $g$. In this note, an interesting connection between $Ab(g)$ and the subsets of the Dynkin diagram of $g$ is discussed. We notice that the number of abelian ideals with $k$ generators equals the number of subsets of the Dynkin diagram with $k$ connected components. For $g$ of type $A_n$ or $C_n$, we provide a combinatorial explanation of this coincidence by constructing a suitable bijection. We also construct another general bijection between $Ab(g)$ and the subsets of the Dynkin diagram, which is based on the theory developed by Peterson and Kostant.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Fredman&#39;s reciprocity, invariants of abelian groups, and the permanent of the Cayley table

Let $R$ be the regular representation of a finite abelian group $G$ and let $C_n$ denote the cyclic group of order $n$. For $G=C_n$, we compute the Poincare series of all $C_n$-isotypic components in $S^{\cdot} R\otimes \wedge^{\cdot} R$ (the symmetric tensor exterior algebra of $R$). From this we derive a general reciprocity and some number-theoretic identities. This generalises results of Fredman and Elashvili-Jibladze. Then we consider the Cayley table, $M_G$, of $G$ and some generalisations of it. In particular, we prove that the number of formally different terms in the permanent of $M_G$ equals $(S^n R)^G$, where $n$ is the order of $G$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On divisible weighted Dynkin diagrams and reachable elements

Let D(e) denote the weighted Dynkin diagram of a nilpotent element $e$ in complex simple Lie algebra $\g$. We say that D(e) is divisible if D(e)/2 is again a weighted Dynkin diagram. (That is, a necessary condition for divisibility is that $e$ is even.) The corresponding pair of nilpotent orbits is said to be friendly. In this note, we classify the friendly pairs and describe some of their properties. We also observe that any subalgebra sl(3) in $\g$ determines a friendly pair. Such pairs are called A2-pairs. It turns out that the centraliser of the lower orbit in an A2-pair has some remarkable properties. Let $Gx$ be such an orbit and $h$ a characteristic of $x$. Then $h$ determines the Z-grading of the centraliser $z=z(x)$. We prove that $z$ is generated by the Levi subalgebra $z(0)$ and two elements in $z(1)$. In particular, (1) the nilpotent radical of $z$ is generated by $z(1)$ and (2) $x\in [z,z]$. The nilpotent elements having the last property are called reachable.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Actions of the derived group of a maximal unipotent subgroup on $G$-varieties

Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U&#39;$ the derived group of $U$. We study actions of $U&#39;$ on affine $G$-varieties. First, we consider the algebra of $U&#39;$ invariants on $G/U$. We prove that $k[G/U]^{U&#39;}$ is a polynomial algebra of Krull dimension $2r$, where $r=rk(G)$. A related result is that, for any simple finite-dimensional $G$-module $V$, $V^{U&#39;}$ is a cyclic $U/U&#39;$-module. Second, we study &#34;symmetries&#34; of Poincare series for $U&#39;$-invariants on affine conical $G$-varieties. Third, we obtain a classification of simple $G$-modules $V$ with polynomial algebras of $U&#39;$-invariants (for $G$ simple).

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Adjoint vector fields and differential operators on representation spaces

Let $G$ be a semisimple algebraic group with Lie algebra $\g$. In 1979, J. Dixmier proved that any vector field annihilating all $G$-invariant polynomials on $\g$ lies in the $\bbk[\g]$-module generated by the &#34;adjoint vector fields&#34;, i.e., vector fields $ς$ of the form $ς(y)(x)=[x,y]$, $x,y\in\g$. A substantial generalisation of Dixmier&#39;s theorem was found by Levasseur and Stafford. They explicitly described the centraliser of $\bbk[\g]^G$ in the algebra of differential operators on $\g$. On the level of vector fields, their result reduces to Dixmier&#39;s theorem. The purpose of this paper is to explore similar problems in the general context of affine algebraic groups and their rational representations.

0 citations0 reviewsNo code linkedOpen access