Source author record

Dmitri I. Panyushev

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

19works
3topics
1close collaborators

Published work

19 publications

preprint2022arXiv

Combinatorial and geometric constructions associated with the Kostant cascade

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

preprint2021arXiv

Nilpotent orbits and mixed gradings of semisimple Lie algebras

Let σσ be an involution of a complex semisimple Lie algebra g\mathfrak g and g=g0⊕g1\mathfrak g=\mathfrak g_0\oplus\mathfrak g_1 the related Z2\mathbb Z_2-grading. We study relations between nilpotent G0G_0-orbits in g0\mathfrak g_0 and the respective GG-orbits in g\mathfrak g. If e∈g0e\in\mathfrak g_0 is nilpotent and {e,h,f}⊂g0\{e,h,f\}\subset\mathfrak g_0 is an sl2\mathfrak{sl}_2-triple, then the semisimple element hh yields a Z\mathbb Z-grading of g\mathfrak g. Our main tool is the combined Z×Z2\mathbb Z\times\mathbb Z_2-grading of g\mathfrak g, which is called a mixed grading. We prove, in particular, that if eσe_σ is a regular nilpotent element of g0\mathfrak g_0, then the weighted Dynkin diagram of eσe_σ, D(eσ)\mathcal D(e_σ), has only isolated zeros. It is also shown that if G⋅eσ∩g1≠∅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 D(eσ)\mathcal D(e_σ). Using mixed gradings related to eσ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.

preprint2021arXiv

Periodic automorphisms, compatible Poisson brackets, and Gaudin subalgebras

Let g\mathfrak g be a finite-dimensional Lie algebra. The symmetric algebra S(g)\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 S(g)\mathcal S(\mathfrak g) to any finite order automorphism θθ of g\mathfrak g. We study related Poisson-commutative subalgebras C\mathcal C of S(g)\mathcal S(\mathfrak g) and associated Lie algebra contractions of g\mathfrak g. To obtain substantial results, we have to assume that g\mathfrak g is semisimple. Then we can use Vinberg's theory of θθ-groups and the machinery of Invariant Theory. If g=h⊕⋯⊕h\mathfrak g=\mathfrak h\oplus\dots \oplus \mathfrak h (sum of kk copies), where h\mathfrak h is simple, and θθ is the cyclic permutation, then we prove that the corresponding Poisson-commutative subalgebra C\mathcal C is polynomial and maximal. Furthermore, we quantise this C\mathcal C using a Gaudin subalgebra in the enveloping algebra U(g)\mathcal U(\mathfrak g).

preprint2018arXiv

Abelian ideals of a Borel subalgebra and root systems, II

Let g\mathfrak g be a simple Lie algebra with a Borel subalgebra b\mathfrak b and Ab\mathfrak{Ab} the set of abelian ideals of b\mathfrak b. Let Δ+Δ^+ be the corresponding set of positive roots. We continue our study of combinatorial properties of the partition of Ab\mathfrak{Ab} parameterised by the long positive roots. In particular, the union of an arbitrary set of maximal abelian ideals is described, if g≠sln\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.

preprint2015arXiv

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

Let g\mathfrak g be a simple Lie algebra and Ab\mathfrak{Ab} the poset of all abelian ideals of a fixed Borel subalgebra of g\mathfrak g. If a∈Ab\mathfrak a\in\mathfrak{Ab}, then the normaliser of a\mathfrak a is a standard parabolic subalgebra of g\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 Z\mathbb Z-gradings of g\mathfrak g associated with their normalisers.

preprint2014arXiv

Antichains in weight posets associated with gradings of simple Lie algebras

For a reductive Lie algebra h\mathfrak h and a simple finite-dimensional h\mathfrak h-module VV, the set of weights of VV, P(V)P(V), has a natural poset structure. We consider antichains in the weight poset P(V)P(V) and a certain operator X\mathfrak X acting on antichains. Eventually, we impose stronger constraints on (h,V)(\mathfrak h,V) and stick to the case in which h\mathfrak h and VV are associated with a ZZ-grading of a simple Lie algebra g\mathfrak g. Then VV is a weight multiplicity free h\mathfrak h-module and P(V)P(V) can be regarded as a subposet of Δ+Δ^+, where ΔΔ is the root system of g\mathfrak g. Our goal is to demonstrate that antichains in the weight posets associated with ZZ-gradings of g\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).

preprint2014arXiv

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

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

preprint2013arXiv

Abelian ideals of a Borel subalgebra and root systems

Let gg be a simple Lie algebra and AbAb the poset of non-trivial abelian ideals of a fixed Borel subalgebra of gg. In 2003 (IMRN, no.35, 1889--1913), we constructed a partition of AbAb into the subposets AbμAb_μ, parameterised by the long positive roots of gg, 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 gg is a join-semilattice.

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.

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 JJ is the Jordan algebra of symmetric matrices, then the product map J×J→JJ \times J\to J is equidimensional; while for all other simple Jordan algebras equidimensionality fails.

preprint2012arXiv

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

Let UU be a maximal unipotent subgroup of a connected semisimple group GG and U′U' the derived group of UU. If XX is an affine GG-variety, then the algebra of U′U'-invariants, $k[X]^U'$, is finitely generated and the quotient morphism π:X→X//U′π: 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′U'-invariants.

preprint2012arXiv

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

We introduce two polynomials (in qq) associated with a finite poset PP that encode some information on the covering relation in PP. If PP is a distributive lattice, and hence PP is isomorphic to the poset of dual order ideals in a poset LL, then these polynomials coincide and the coefficient of qq equals the number of kk-element antichains in LL. In general, these two covering polynomials are different, and we introduce a deviation polynomial of PP, which measures the difference between these two. We then compute all these polynomials in the case, where PP 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.

preprint2011arXiv

Commuting involutions and degenerations of isotropy representations

Let σ1σ_1 and σ2σ_2 be commuting involutions of a semisimple algebraic group GG. This yields a Z2×Z2Z_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 Z2Z_2-contraction of $\g$ determined by σ1σ_1. Then both σ2σ_2 and σ3:=σ1σ2σ_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 Z2Z_2-gradings associated with the Z2×Z2Z_2\times Z_2-grading of $\g$.

preprint2010arXiv

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

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

preprint2010arXiv

Fredman's reciprocity, invariants of abelian groups, and the permanent of the Cayley table

Let RR be the regular representation of a finite abelian group GG and let CnC_n denote the cyclic group of order nn. For G=CnG=C_n, we compute the Poincare series of all CnC_n-isotypic components in S⋅R⊗∧⋅RS^{\cdot} R\otimes \wedge^{\cdot} R (the symmetric tensor exterior algebra of RR). 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, MGM_G, of GG and some generalisations of it. In particular, we prove that the number of formally different terms in the permanent of MGM_G equals (SnR)G(S^n R)^G, where nn is the order of GG.

preprint2010arXiv

On divisible weighted Dynkin diagrams and reachable elements

Let D(e) denote the weighted Dynkin diagram of a nilpotent element ee 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 ee 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 GxGx be such an orbit and hh a characteristic of xx. Then hh determines the Z-grading of the centraliser z=z(x)z=z(x). We prove that zz is generated by the Levi subalgebra z(0)z(0) and two elements in z(1)z(1). In particular, (1) the nilpotent radical of zz is generated by z(1)z(1) and (2) x∈[z,z]x\in [z,z]. The nilpotent elements having the last property are called reachable.

preprint2008arXiv

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

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

preprint2008arXiv

Adjoint vector fields and differential operators on representation spaces

Let GG be a semisimple algebraic group with Lie algebra $\g$. In 1979, J. Dixmier proved that any vector field annihilating all GG-invariant polynomials on $\g$ lies in the $\bbk[\g]$-module generated by the "adjoint vector fields", i.e., vector fields ςς of the form ς(y)(x)=[x,y]ς(y)(x)=[x,y], $x,y\in\g$. A substantial generalisation of Dixmier'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's theorem. The purpose of this paper is to explore similar problems in the general context of affine algebraic groups and their rational representations.

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.