It was shown by Cellini and Papi that an ad-nilpotent ideal determines certain element of the affine Weyl group, and that there is a bijection between the ad-nilpotent ideals and the integral points of a simplex with rational vertices. We give a description of the generators of ad-nilpotent ideals in terms of these elements, and show that an ideal has $k$ generators if and only it lies on the face of this simplex of codimension $k$. We also consider two combinatorial statistics on the set of ad-nilpotent ideals: the number of simple roots in the ideal and the number of generators. Considering the first statistic reveals some relations with the theory of clusters (Fomin-Zelevinsky). The distribution of the second statistic suggests that there should exist a natural involution (duality) on the set of ad-nilpotent ideals. Such an involution is constructed for the series A,B,C.
Let g be a complex simple Lie algebra and b a fixed Borel subalgebra of g. We shall describe the abelian ideals of b in a uniform way, that is, independent of the classification of complex simple Lie algebras.
Elaborating on a paper by Suter, we provide a detailed description of the automorphism group of the poset of abelian ideals in a Borel subalgebra of a finite dimensional complex simple Lie algebra.
Let $Φ$ be a finite crystallographic irreducible root system and $\mathcal P_Φ$ be the convex hull of the roots in $Φ$. We give a uniform explicit description of the polytope $\mathcal P_Φ$, analyze the algebraic-combinatorial structure of its faces, and provide connections with the Borel subalgebra of the associated Lie algebra. We also give several enumerative results.
We count the number of strictly positive $B$-stable ideals in the nilradical of a Borel subalgebra and prove that the minimal roots of any $B$-stable ideal are conjugate by an element of the Weyl group to a subset of the simple roots. We also compute the number of ideals whose minimal roots are conjugate to a fixed subset of simple roots.
Let g=g_0+g_1 be a Z_2-graded Lie algebra. We study the posets of abelian subalgebras of g_1 which are stable w.r.t. a Borel subalgebra of g_0. In particular, we find out a natural parametrization of maximal elements and dimension formulas for them. We recover as special cases several results of Kostant, Panyushev, Suter.
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.
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 lattic…
Let $ W(n) $ be Jacobson-Witt algebra over algebraic closed field $ \mathbb{K} $ with positive characteristic $ p>2. $ It is difficult to classify all Borel subalgebras of $ W(n) $ or non-classical restricted simple Lie algebras. The present paper and \cite{S7} study two kinds of subalgebras which are easily to understand and highly related to Borel subalgebras. In \cite{S7}, the last author investigates a class of special Borel subalgebras of $W(n)$ which is called homogeneous Borel subalgebras. The present paper focuses on subalgebras of $ W(n) $ which are related to Borel subalgebras such t…
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 ba…
This paper generalizes the classification in a paper of Dimitrov and Penkov of Borel subalgebras of gl_infty. Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras along inclusions preserving the root spaces with respect to nested Cartan subalgebras. A Borel subalgebra of a root-reductive Lie algebra is by definition a maximal locally solvable subalgebra. The main general result of this paper is that a Borel subalgebra of an infinite-dimensional indecomposable root-reductive Lie algebra is the simultaneous stabilizer of a certain type of generalized flag in…
Using GAP4, we determine the number of ad-nilpotent and abelian ideals of a parabolic subalgebra of a simple Lie algebra of exceptional types E, F or G.
In this paper, we study certain ad-nilpotent subalgebras contained in the non-zero graded portion of a simple Z_n-graded Lie algebra. These subalgebras respect the grading on the Lie algebra and are modules for a Borel subalgebra for the grade-zero Lie subalgebra. We show that semisimple elements in such subalgebras lie in the center of the subalgebra, and we provide a classification of these subalgebras whose weight space decompositions have only non-zero weights.
Let $\mathbb{F}$ be an algebraically closed field of characteristic $p>3$, and $\ggg$ the $p$-dimensional Witt algebra over $\mathbb{F}$. Let $\N$ be the nilpotent cone of $\ggg$. Explicit description of $\N$ is given, so that the conjugacy classes of Borel subalgebras of $\ggg$ under the automorphism group are determined. In contrast with only one conjugacy class of Borel subalgebras in a classical simple Lie algebra, there are two conjugacy classes of Borel subalgebras in $\ggg$. The representatives of conjugacy classes of Borel subalgebras, i.e., the so-called standard Borel subalgebras, ar…
We determine the Lie subalgebra $\mathfrak{g}_{nil}$ of a Borcherds symmetrizable generalized Kac-Moody Lie algebra $\mathfrak{g}$ generated by $ad$-locally nilpotent elements and show that it is `essentially' the same as the Levi subalgebra of $\mathfrak{g}$ with its simple roots precisely the real simple roots of $\mathfrak{g}$.
In this paper the field of invariants for the adjoint action of the Borel group in the nilradical of a parabolic subalgebra is studied. We construct the set of B-invariant rational functions generating the field of invariants.
We extend the results of Cellini-Papi on the characterizations of nilpotent and abelian ideals of a Borel subalgebra to parabolic subalgebras of a simple Lie algebra. These characterizations are given in terms of elements of the affine Weyl group and faces of alcoves. In the case of a parabolic subalgebra of a classical Lie algebra, we give formulas for the number of these ideals.
We study the cohomology with trivial coefficients of Lie algebras L_k of the polynomial vector fields on the line with zero $k$-jet, (k>=1), and the cohomology of the similar subalgebras {L}_k of the polynomial loops algebra $\widetilde{sl}_2$. In both cases we construct the special bases (filtering bases) in the external complexes of these algebras. A spectral sequence based on this construction allows to completely find the cohomology of L_k and {L}_k. We also apply the filtering bases to find the spectral resolution of the Laplace operators for algebras L_1 and L_0, and obtain explicit form…
Not every quasihereditary algebra $(A,Φ,\unlhd)$ has an exact Borel subalgebra. A theorem by Koenig, Külshammer and Ovsienko asserts that there always exists a quasihereditary algebra Morita equivalent to $A$ that has a regular exact Borel subalgebra, but a characterisation of such a Morita representative is not directly obtainable from their work. This paper gives a criterion to decide whether a quasihereditary algebra contains a regular exact Borel subalgebra and provides a method to compute all the representatives of $A$ that have a regular exact Borel subalgebra. It is shown that the Carta…
In this paper, we give upper bounds for the index of the quotient of the Borel subalgebra of a simple Lie algebra or its nilpotent radical by an ad-nilpotent ideal. For the nilpotent radical quotient, our bound is a generalization of the formula for the index given by Panov in the type A case. In general, this bound is not exact. Using results from Panov, we show that the upper bound for the Borel quotient is exact in the type $A$ case, and we conjecture that it is exact in general.
Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given.
We prove a bijection between finite-dimensional irreducible modules for an arbitrary quantum affine algebra $U_q(g)$ and finite-dimensional irreducible modules for its Borel subalgebra $U_q(g)^{\geq 0}$.
We provide an explicit bijection between the ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra g and the orbits of \check{Q}/(h+1)\check{Q} under the Weyl group (\check{Q} being the coroot lattice and h the Coxeter number of g). From this result we deduce in a uniform way a counting formula for the ad-nilpotent ideals.
Recently, Brzeziński, Koenig and Külshammer have introduced the notion of normal exact Borel subalgebra of a quasihereditary algebra. They have shown that there exists a one-to-one correspondence between normal directed bocses and quasihereditary algebras with a normal and homological exact Borel subalgebra. In this short note, we prove that every exact Borel subalgebra is automatically normal. As a corollary, we conclude that every directed bocs has a group-like element. These results simplify Brzeziński, Koenig and Külshammer's bijection.
Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$. Let $Δ^+$ be the corresponding (po)set of positive roots and $θ$ the highest root. A pair $\{η,η'\}\subset Δ^+$ is said to be glorious, if $η,η'$ are incomparable and $η+η'=θ$. Using the theory of abelian ideals of $\mathfrak b$, we (1) establish a relationship of $η,η'$ to certain abelian ideals associated with long simple roots, (2) provide a natural bijection between the glorious pairs and the pairs of adjacent long simple roots (i.e., some edges of the Dynkin diagram), and (3) point out a simple transform conn…
This paper is devoted to a detailed study of certain remarkable posets which form a natural partition of all abelian ideals of a Borel subalgebra. Our main result is a nice uniform formula for the dimension of maximal ideals in these posets. We also obtain results on ad-nilpotent ideals which complete the analysis started in \cite{CP2}, \cite{CP3}.
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.
We consider a Borel subalgebra $\fg$ of the general linear algebra and its subalgebra $\BB$ which is a Borel subalgebra of the special linear algebra, over arbitrary field. Let $\cL\in\{\fg, \BB\}$. We establish here explicit realizations of the center $Z(\cL)$ and semi-center $Sz(\cL)$ of the enveloping algebra, the Poisson center $S(\cL)^{\cL}$ and Poisson semi-center $S(\cL)^{\cL}_{\si}$ of the symmetric algebra. We describe their structure as commutative rings and establish isomorphisms $Z(\cL)\cong S(\cL)^{\cL}$, $Sz(\cL)\cong S(\cL)^{\cL}_{\si}$
We construct a family of right coideal subalgebras of quantum groups, which have the property that all irreducible representations are one-dimensional, and which are maximal with this property. The obvious examples for this are the standard Borel subalgebras expected from Lie theory, but in a quantum group there are many more. Constructing and classifying them is interesting for structural reasons, and because they lead to unfamiliar induced (Verma-)modules for the quantum group. The explicit family we construct in this article consists of quantum Weyl algebras combined with parts of a standar…
A (vector space) basis B of a Lie algebra is said to be very nilpotent if all the iterated brackets of elements of B are nilpotent. In this note, we prove a refinement of Engel's Theorem. We show that a Lie algebra has a very nilpotent basis if and only if it is a nilpotent Lie algebra. When g is a semisimple Lie algebra, this allows us to define an ideal of S((g^n)^*)^G whose associated algebraic set in g^n is the set of n-tuples lying in a same Borel subalgebra.
Let $\b$ be a Borel subalgebra of a simple Lie algebra $\g$ and let $\Ab$ denote the set of all Abelian ideals of $\b$. We consider $\Ab$ as poset with respect to inclusion, the zero ideal being the unique minimal element of $\Ab$. It was shown in my paper with G.Roehrle (Adv. Math. v.159 (2001)) that there is a one-to-one correspondence between the maximal Abelian ideals and the long simple roots of $\g$. But the very existence of it was demonstrated in a case-by-case fashion. Here a conceptual explanation for that empirical observation is given. The main results are: 1) there is a natural ma…
Let $(\mathfrak{g},[p])$ be a finite-dimensional restricted Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $p>0$, and $G$ be the adjoint group of $\mathfrak{g}$. We say that $\mathfrak{g}$ satisfying the {\sl generic property} if $\mathfrak{g}$ admits generic tori introduced in \cite{BFS}. A Borel subalgebra (or Borel for short) of $\mathfrak{g}$ is by definition a maximal solvable subalgebra containing a maximal torus of $\mathfrak{g}$, which is further called generic if additionally containing a generic torus. In this paper, we first settle a conjecture propose…
For a semisimple Lie algebra over the complex numbers, Dynkin (1952) developed an algorithm to classify the regular semisimple subalgebras, up to conjugacy by the inner automorphism group. For a graded semisimple Lie algebra over the complex numbers, Vinberg (1979) showed that a classification of a certain type of regular subalgebras (called carrier algebras) yields a classification of the nilpotent orbits in a homogeneous component of that Lie algebra. Here we consider these problems for (graded) semisimple Lie algebras over the real numbers. First, we describe an algorithm to classify the re…
Let g be a finite dimensional Lie algebra over an algebraically closed field k of characteristic zero. We collect some general results on the Poisson center of S(g), including some simple criteria regarding its polynomiality, and also on certain Poisson commutative subalgebras of S(g). These facts are then used to finish our earlier work on this subject, i.e. to give an explicit description for the Poisson center of all indecomposable, nilpotent Lie algebras of dimension at most seven. Among other things, we also provide a polynomial, maximal Poisson commutative subalgebra of S(g), enjoying ad…
The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categorie…
Let $\frb$ be a fixed Borel subalgebra of a finite-dimensional complex simple Lie algebra $\frg$. The Shi bijection associates to every ad-nilpotent ideal $\fri$ of $\frb$ a region $V_{\fri}$. In this paper, we show that $\fri$ is abelian if and only if $V_{\fri}\cap 2A$ is empty, if and only if the volume of $V_{\fri}\cap 2A$ equals to that of $A$, where $A$ is the fundamental alcove of the affine Weyl group. For certain flag of abelian ideals, we record an ascending property of their associated regions. We also determine the maximal eigenvalue $m_{r-1}$ of the Casimir operator on $\wedge^{r-…
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg alg…
We studied the positive representations $P_λ$ of split real quantum groups $U_{q\tilde{q}}(g_R)$ restricted to the Borel subalgebra $U_{q\tilde{q}}(b_R)$. We proved that the restriction is independent of the parameter $λ$. Furthermore, we prove that it can be constructed from the GNS-representation of the multiplier Hopf algebra $U_{q\tilde{q}}^{C^*}(b_R)$ constructed earlier, which enables us to decompose their tensor product using the theory of the "multiplicative unitary". This will be an essential ingredient in the construction of quantum higher Teichmüller theory from the perspective of r…
In this short note, we investigate the following question of Panyushev : ``Is the sum of the index of a parabolic subalgebra of a semisimple Lie algebra $\mathfrak{g}$ and the index of its nilpotent radical always greater than or equal to the rank of $\mathfrak{g}$?''. Using the formula for the index of parabolic subalgebras conjectured by Tauvel and the author, and proved by Millet-Fauquant and Joseph, we give a positive answer to this question. Moreover, we also obtain a necessary and sufficient condition for this sum to be equal to the rank of $\mathfrak{g}$. This provides new examples of d…
We give formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a Lie algebra of type B or D containing a fixed number of root spaces attached to simple roots. This result solves positively a conjecture of Panyushev (cf. D. Panyushev, ad-nilpotent ideals: generators and duality, J. of Alg., to appear) and affords a complete knowledge of the above statistics for any simple Lie algebra. We also study the restriction of the above statistics to the abelian ideals of a Borel subalgebra, obtaining uniform results for any simple Lie algebra.
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is equidimensional and that the irreducible components are in correspondence with the {\em distinguished} $B$-orbits in $\mathfrak u$. We observe that in general $\mathcal C(\mathfrak u)$ is not equidim…
We continue the study in Ben-Shimol [1],[2] and consider a Borel subalgebra $\mathfrak{b}$ and its nil radical $\mathfrak{n}$ of the simple Lie algebras of types $G_2$, $F_4$, $C_n$ over arbitrary field. Let $\mathcal{L}\in\{\mathfrak{n}, \mathfrak{b}\}$. We establish here explicit realizations of the center $Z(\mathcal{L})$ and semi-center $Sz(\mathcal{L})$ of the enveloping algebra, the Poisson center $S(\mathcal{L})^{\mathcal{L}}$ and Poisson semi-center $S(\mathcal{L})^{\mathcal{L}}_{\operatorname{si}}$ of the symmetric algebra. We describe their structure as commutative rings and establis…
In this note, we formulate and prove branching rules of simple polynomial modules for the Lie superalgebra $\mathfrak{gl}(m|n)$. Our branching rules depend on the conjugacy class of the Borel subalgebra. A Gelfand-Tsetlin basis of a polynomial module associated to each Borel subalgebra is obtained in terms of generalized semistandard tableaux.
Let $\mathcal{O}$ be the category of representations of the Borel subalgebra of a quantum affine algebra introduced by Jimbo and the first author. We show that the Grothendieck ring of a certain monoidal subcategory of $\mathcal{O}$ has the structure of a cluster algebra of infinite rank, with an initial seed consisting of prefundamental representations. In particular, the celebrated Baxter relations for the 6-vertex model get interpreted as Fomin-Zelevinsky mutation relations.
For any simple Lie algebra $\mathfrak{g}$ and an element $μ\in\mathfrak{g}^*$, the corresponding commutative subalgebra $\mathcal{A}_μ$ of $\mathcal{U}(\mathfrak{g})$ is defined as a homomorphic image of the Feigin-Frenkel centre associated with $\mathfrak{g}$. It is known that when $μ$ is regular this subalgebra solves Vinberg's quantisation problem, as the graded image of $\mathcal{A}_μ$ coincides with the Mishchenko-Fomenko subalgebra $\overline{\mathcal{A}}_μ$ of $\mathcal{S}(\mathfrak{g})$. By a conjecture of Feigin, Frenkel and Toledano Laredo, this property extends to an arbitrary eleme…
Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\ma…
We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence betw…
Let $G$ be a simply connected semisimple algebraic group with Lie algebra $\mathfrak g$, let $G_0 \subset G$ be the symmetric subgroup defined by an algebraic involution $σ$ and let $\mathfrak g_1 \subset \mathfrak g$ be the isotropy representation of $G_0$. Given an abelian subalgebra $\mathfrak a$ of $\mathfrak g$ contained in $\mathfrak g_1$ and stable under the action of some Borel subgroup $B_0 \subset G_0$, we classify the $B_0$-orbits in $\mathfrak a$ and we characterize the sphericity of $G_0 \mathfrak a$. Our main tool is the combinatorics of $σ$-minuscule elements in the affine Weyl …
