Searcharxiv⌕ Search

arXiv subjects

Dmitri I. Panyushev

Publications and source records attributed to Dmitri I. Panyushev.

At least 37 records · Page 2Linked to original sources
arXiv2015

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.

math.RT↗
arXiv2015

Minimal inversion complete sets and maximal abelian ideals

Let $\mathfrak g$ be a simple Lie algebra, $\mathfrak b$ a fixed Borel subalgebra, and $W$ the Weyl group of $\mathfrak g$. In this note, we study a relationship between the maximal abelian ideals of $\mathfrak b$ and the minimal inversion complete sets of $W$. The latter have been recently defined by Malvenuto et al. (J. Algebra, 424 (2015), 330-356.)

math.RT↗
arXiv2014

Weight posets associated with gradings of simple Lie algebras, Weyl groups, and arrangements of hyperplanes

The set of weights of a finite-dimensional representation of a reductive Lie algebra has a natural poset structure ("weight poset"). Studying certain combinatorial problems related to antichains in weight posets, we realised that the best setting is provided by the representations associated with $\mathbb Z$-gradings of simple Lie algebras (arXiv: math.CO 1411.7683). If $\mathfrak g$ is a simple Lie algebra, then a $\mathbb Z$-grading of $\mathfrak g$ induces a $\mathbb Z$-grading of the corresponding root system $Δ$. In this article, we elaborate on a general theory of lower ideals (or antichains) in the corresponding weight posets $Δ(1)$. In particular, we provide a bijection between the lower ideals in $Δ(1)$ and certain elements of the Weyl group of $\mathfrak g$. An inspiring observation is that, to a great extent, the theory of lower ideals in $Δ(1)$ is similar to the theory of upper (= ad-nilpotent) ideals in the whole poset of positive roots $Δ^+$.

math.CO↗
arXiv2014

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).

math.CO↗
arXiv2014

On the orbits of a Borel subgroup in abelian ideals

Let $B$ be a Borel subgroup of a semisimple algebraic group $G$, and let $\mathfrak a$ be an abelian ideal of $\mathfrak b=Lie(B)$. The ideal $\mathfrak a$ is determined by certain subset $Δ_{\mathfrak a}$ of positive roots, and using $Δ_{\mathfrak a}$ we give an explicit classification of the $B$-orbits in $\mathfrak a$ and $\mathfrak a^*$. Our description visibly demonstrates that there are finitely many $B$-orbits in both cases. We also describe the Pyasetskii correspondence between the $B$-orbits in $\mathfrak a$ and $\mathfrak a^*$ and the invariant algebras $\Bbbk[\mathfrak a]^U$ and $\Bbbk[\mathfrak a^*]^U$, where $U=(B,B)$. As an application, the number of $B$-orbits in the abelian nilradicals is computed. We also discuss related results of A.Melnikov and others for classical groups and state a general conjecture on the closure and dimension of the $B$-orbits in the abelian nilradicals, which exploits a relationship between between $B$-orbits and involutions in the Weyl group.

math.AG↗
arXiv2014

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.

math.RT↗
arXiv2013

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.

math.RT↗
arXiv2013

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.

math.RT↗
arXiv2013

Wide subalgebras of semisimple Lie algebras

Let G be a connected semisimple algebraic group over $k$, with Lie algebra $\g$. Let $\h$ be a subalgebra of $\g$. A simple finite-dimensional $\g$-module V is said to be $\h$-indecomposable if it cannot be written as a direct sum of two proper $\h$-submodules. We say that $\h$ is wide, if all simple finite-dimensional $\g$-modules are $\h$-indecomposable. Some very special examples of indecomposable modules and wide subalgebras appear recently in the literature. In this paper, we describe several large classes of wide subalgebras of $\g$ and initiate their systematic study. Our approach is based on the study of idempotents in the associative algebra of $\h$-invariant endomorphisms of V. We also discuss a relationship between wide subalgebras and epimorphic subgroups.

math.RT↗
arXiv2012

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.

math.AG↗
arXiv2012

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.

math.AG↗
arXiv2012

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.

math.CO↗
arXiv2011

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$.

math.AG↗
arXiv2010

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.

math.CO↗
arXiv2010

Fredman'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$.

math.RT↗
arXiv2010

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.

math.RT↗