arXiv++ Combinatorics

In this paper, we introduce the comaximal graph $Γ(L)$ of a finite-dimensional Lie algebra $L$, whose vertices are the nontrivial proper Lie subalgebras of $L$ over a field $\mathbb{F}$, and two vertices $A$ and $B$ are adjacent if and only if $\langle A, B\rangle =L$. We establish general structural properties, including a characterization of isolated vertices via the Frattini subalgebra and a criterion for completeness in terms of $μ$-algebras. We classify $Γ(L)$ for all Lie algebras of dimension at most three over a finite field $\mathbb{F}_q$, providing an explicit description in each case. The resulting graphs exhibit a rich range of behaviors, depending on the structure of the derived algebra and the action of $\operatorname{ad}x$. For $L\cong \mathfrak{sl}_2(\mathbb{F}_q)$, we determine several graph invariants, including the degree sequence, clique number, chromatic number, domination number, diameter, and radius, and show that $Γ(L)$ is connected and non-planar. The graph contains a large clique formed by the nonsplit semisimple lines together with the Borel subalgebras, while the nilpotent and split semisimple lines have a more restricted adjacency structure governed by their containment in Borel subalgebras.

We formulate several basic properties of Verma supermodules over regular symmetrizable Kac--Moody Lie superalgebras, exhibiting $\mathfrak{gl}(1|1)$-nature as revealed through changing Borel subalgebras. We investigate variants of Verma modules obtained by changing Borel subalgebras, which enable us to realize the principal block of $\mathfrak{gl}(1|1)$ as an extension-closed abelian subcategory of category $\mathcal{O}$. This phenomenon is precisely formulated in terms of semibricks. On the other hand, by applying the exchange property of odd reflections, we describe compositions of homomorphisms between Verma modules associated with different Borel subalgebras that share the same character. As an application, we refine existing results on the associated varieties and projective dimensions of Verma modules.

The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.

For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

Let $\mathtt{k}$ be an algebraically closed field of characteristic zero. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{sl}}(n|m)$ and let $\mathfrak{W}$ be the Weyl groupoid introduced by Sergeev and Veselov using the root system of ${\stackrel{\rm o}{\mathfrak{g}}}$. An important subgroupoid $\mathfrak T_{iso}$ of ${\mathfrak{W}}$ has base $Δ_{iso}$, the set of all the isotropic roots. Motivated by deformed quantum Calogero-Moser problems, the same authors considered an action of $\mathfrak{W}$ on $\mathtt{k}^{n|m}$ depending on a parameter $κ$. %When $κ$ is negative special, they showed this action has infinite orbits. In the case $m>n$, with $m,n $ relatively prime and $κ=-n/m$ we study a particular infinite orbit of $\mathfrak T_{iso}$ with some special properties. This orbit, thought of as a directed graph is isomorphic to the graph of an orbit for the action of $\mathfrak T_{iso}$ on certain Borel subalgebras of the affinization ${\widehat{L}(\stackrel{\rm _o}{\mathfrak{g}})}$ of ${\stackrel{\rm o}{\mathfrak{g}}}$. %The root groupoid has a base consisting of Borel subalgebras with fixed even part, and morphisms are given by odd reflections. The underlying reason for this graph isomorphism is that both have combinatorics which can be described using Young diagrams and tableaux drawn on the surface of a rotating cylinder with circumference $n$ and length $m$. Allowing the cylinder to rotate produces an infinite orbit. This leads to a third graph which is isomorphic to the other two.

This note is a complement of a recent paper about low elements in affine Coxeter groups. We explain in terms of ad-nilpotent ideals of a Borel subalgebra why the minimal elements of dominant Shi regions are low. We also give a survey of the bijections involved in the study of dominant Shi regions in affine Weyl groups.

Let $\mathfrak g$ be either the Lie superalgebra $\mathfrak{gl}(V)\oplus\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|n}$ or the Lie superalgebra $\mathfrak{gl}(V)$ where $V:=\mathbb C^{m|2n}$. Furthermore, let $W$ be the $\mathfrak g$-module defined by $W:=V\otimes V^*$ in the former case and $W:=\mathcal S^2(V)$ in the latter case. Associated to $(\mathfrak g,W)$ there exists a distinguished basis of Capelli operators $\left\{D^λ\right\}_{λ\inΩ}$, naturally indexed by a set of hook partitions $Ω$, for the subalgebra of $\mathfrak g$-invariants in the superalgebra $\mathcal{PD}(W)$ of superdifferential operators on $W$. Let $\mathfrak b$ be a Borel subalgebra of $\mathfrak g$. We compute eigenvalues of the $D^λ$ on the irreducible $\mathfrak g$-submodules of $\mathcal{P}(W)$ and obtain them explicitly as the evaluation of the interpolation super Jack polynomials of Sergeev--Veselov at suitable affine functions of the $\mathfrak b$-highest weight. While the former case is straightforward, the latter is significantly more complex. This generalizes a result by Sahi, Salmasian and Serganova for these cases, where such formulas were given for a fixed choice of Borel subalgebra.

Let g be a simple Lie algebra, with fixed Borel subalgebra b and with Weyl group W. Expanding on previous work of Fan and Stembridge in the simply laced case, this note aims to study the fully commutative elements of W, and their connections with the spherical nilpotent orbits in g. If g is not of type G_2, it is shown that an element w in W is fully commutative if and only if the subalgebra of b determined by the inversions of w lies in the closure of a spherical nilpotent orbit. A similar characterization is also given for the ad-nilpotent ideals of b, which are parametrized by suitable elements in the affine Weyl group of g thanks to the work of Cellini and Papi.

We give a new realization of the prefundamental representations $L^\pm_{r,a}$ introduced by Hernandez and Jimbo, when the quantum loop algebra $U_q(\mathfrak{g})$ is of types $A_n^{(1)}$ and $D_n^{(1)}$, and the $r$-th fundamental weight $\varpi_r$ for types $A_n$ and $D_n$ is minuscule. We define an action of the Borel subalgebra $U_q(\mathfrak{b})$ of $U_q(\mathfrak{g})$ on the unipotent quantum coordinate ring associated to the translation by $-\varpi_r$, and show that it is isomorphic to $L^\pm_{r,a}$. We then give a combinatorial realization of $L^+_{r,a}$ in terms of the Lusztig data of the dual PBW vectors.

Flagged Schur modules generalize the irreducible representations of the general linear group under the action of the Borel subalgebra. Their characters include many important generalizations of Schur polynomials, such as Demazure characters, flagged skew Schur polynomials, and Schubert polynomials. In this paper, we prove the characters of flagged Schur modules can be computed using a simple combinatorial algorithm due to Kohnert if and only if the indexing diagram is northwest. This gives a new proof that characters of flagged Schur modules are nonnegative sums of Demazure characters and gives a representation theoretic interpretation for Kohnert polynomials.

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 connecting two glorious pairs corresponding to the incident edges in the Dynkin digram. In types ${\bf DE}$, we prove that if $\{η,η'\}$ corresponds to the edge through the branching node of the Dynkin diagram, then the meet $η\wedgeη'$ is the unique maximal non-commutative root. There is also an analogue of this property for all other types except type ${\bf A}$. As an application, we describe the minimal non-abelian ideals of $\mathfrak b$.

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.

Flag varieties are well-known algebraic varieties with many important geometric, combinatorial, and representation theoretic properties. A Hessenberg variety is a subvariety of a flag variety identified by two parameters: an element $X$ of the Lie algebra $\mathfrak{g}$ and a Hessenberg subspace $H\subseteq \mathfrak{g}$. This paper considers when two Hessenberg spaces define the same Hessenberg variety when paired with $X$. To answer this question we present the containment poset $\mathcal{P}_X$ of type $A$ Hessenberg varieties with a fixed first parameter $X$ and prove directly that if $X$ is not a multiple of the element $\bf 1$ then the Hessenberg spaces containing the Borel subalgebra determine distinct Hessenberg varieties. Lastly we give a natural involution on $\mathcal{P}_X$ that induces a homeomorphism of varieties and prove additional properties of $\mathcal{P}_X$ when $X$ is a regular nilpotent element.

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

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.

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.

We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_Φ^+$.

We extend the Shi bijection from the Borel subalgebra case to parabolic subalgebras. In the process, the $I$-deleted Shi arrangement $\texttt{Shi}(I)$ naturally emerges. This arrangement interpolates between the Coxeter arrangement $\texttt{Cox}$ and the Shi arrangement $\texttt{Shi}$, and breaks the symmetry of $\texttt{Shi}$ in a certain symmetrical way. Among other things, we determine the characteristic polynomial $χ(\texttt{Shi}(I), t)$ of $\texttt{Shi}(I)$ explicitly for $A_{n-1}$ and $C_n$. More generally, let $\texttt{Shi}(G)$ be an arbitrary arrangement between $\texttt{Cox}$ and $\texttt{Shi}$. Armstrong and Rhoades recently gave a formula for $χ(\texttt{Shi}(G), t)$ for $A_{n-1}$. Inspired by their result, we obtain formulae for $χ(\texttt{Shi}(G), t)$ for $B_n$, $C_n$ and $D_n$.

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.

The number of ad-nilpotent ideals of the Borel subalgebra of the classical Lie algebra of type B_n is determined using combinatorial arguments involving a generalization of Dyck-paths. We also solve a similar problem for the untwisted affine Lie algebra of type ~B_n, where we instead enumerate a certain class of ideals called basic ideals. This leads to an explicit formula for the number of basic ideals in ~B_n, which gives rise to a new integer sequence.