We describe the branching of Lie algebras of classical type over $A_{n-1}$ using an inductive approach, which was motivated by the work of Gornitskii. This allows us to label the highest weight vectors of the modules occurring in the decomposition of the restriction of a finite-dimensional simple module to $A_{n-1}$ by lattice points of a string or a Lusztig polytope.
We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.
We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated combinatorics and essentially no Lie theory other than the definition of a Lie algebra; in fact, the Lie algebras themselves appear as by-products of the construction.
We discuss the branching problem for generalized Verma modules $M_λ(\mathfrak g, \mathfrak p)$ applied to couples of reductive Lie algebras $\bar{\mathfrak g}\hookrightarrow \mathfrak g$. The analysis is based on projecting character formulas to quantify the branching, and on the action of the center of $U(\bar{\mathfrak g})$ to explicitly construct singular vectors realizing part of the branching. We demonstrate the results on the pair $\mathrm{Lie}G_2\hookrightarrow{so(7)}$ for both strongly and weakly compatible with $i(\mathrm {Lie} G_2)$ parabolic subalgebras and a large class of inducing…
The weight systems of finite-dimensional representations of complex, simple Lie algebras exhibit patterns beyond Weyl-group symmetry. These patterns occur because weight systems can be decomposed into lattice polytopes in a natural way. Since lattice polytopes are relatively simple, this decomposition is useful, in addition to being more economical than the decomposition into single weights. An expansion of characters into polytope sums follows from the polytope decomposition of weight systems. We study this polytope expansion here. A new, general formula is given for the polytope sums involve…
The weights of finite-dimensional representations of simple Lie algebras are naturally associated with Weyl polytopes. Representation characters decompose into multiplicity-free sums over the weights in Weyl polytopes. The Brion formula for these Weyl polytope sums is remarkably similar to the Weyl character formula. Moreover, the same Lie characters are also expressible as Demazure character formulas. This motivates a search for new expressions for Weyl polytope sums, and we prove such a formula involving Demazure operators. It applies to the Weyl polytope sums of the simple Lie algebras $A_n…
Let g' and g be isomorphic to any two of the Lie algebras gl(infty), sl(infty), sp(infty), and so(infty). Let M be a simple tensor g-module. We introduce the notion of an embedding of g' into g of general tensor type and derive branching laws for triples g', g, and M, where the embedding of g' into g is of general tensor type. More precisely, since M is in general not semisimple as a g'-module, we determine the socle filtration of M over g'. Due to the description of embeddings of classical locally finite Lie algebras given by Dimitrov and Penkov, our results hold for all possible embeddings o…
Let $G$ be a complex simple Lie group, and let $U \subseteq G$ be a maximal compact subgroup. Assume that $G$ admits a homogenous space $X=G/Q=U/K$ which is a compact Hermitian symmetric space. Let $\mathscr{L} \rightarrow X$ be the ample line bundle which generates the Picard group of $X$. In this paper we study the restrictions to $K$ of the family $(H^0(X, \mathscr{L}^k))_{k \in \N}$ of irreducible $G$-representations. We describe explicitly the moment polytopes for the moment maps $X \rightarrow \fk^*$ associated to positive integer multiples of the Kostant-Kirillov symplectic form on $X$,…
To each finite-dimensional representation of a simple Lie algebra is associated a multiplicative graph in the sense of Kerov and Vershik definedfrom the decomposition of its tensor powers into irreducible components. The conditioning of naturalrandom Littelmann paths to stay in their corresponding Weyl chamber is thencontrolled by central measures on this type of graphs. Using the K-theory of associated C*-algebras, Handelman established a homeomorphism between the set of central measures on these multiplicative graphs and the weight polytope of theunderlying representation. In the present pap…
Splints of root system of simple lie algebras appears naturally on studies of embedding of reductive subalgebras. A splint can be used to construct a branching rules as implementation of this idea simplifies calculation of branching coefficient. We extend the concept of splints to classical lie superalgebras cases as these algebras have wide application in physics.
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 describe how Mirkovic-Vilonen polytopes arise naturally from the categorification of Lie algebras using Khovanov-Lauda-Rouquier algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of the KLR algebra and MV polytopes. MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense for finite dimensional semi-simple Lie algebras, but our construction actually gives a map from the infinity crystal to polytopes in all symmetrizable Kac-Moody algebras. However, to make the map injective and have well-defined crystal…
We study natural quantizations of branching coefficients corresponding to the restrictions of the classical Lie groups to their Levi subgroups. We show that they admit a stable limit which can be regarded as a $q$-analogue of a tensor product multiplicity. According to a conjecture by Shimozono, the stable one-dimensional sum for nonexceptional affine crystals are expected to occur as special cases of these $q$-analogues.
We construct functors categorifying the branching rules for $U_q(\mathfrak{g})$ for $\mathfrak{g}$ of type $B_n$, $C_n$, and $D_n$ for the embeddings $so_{2n+1}\supset so_{2n-1}$, $sp_{2n}\supset sp_{2n-2}$, and $so_{2n}\supset so_{2n-2}$. We give the corresponding categorical Gelfand-Tsetlin basis.
This note presents a procedure to determine the reduction of the irreducible and the induced characters of the symmetric group in terms of the irreducible and induced characters of the hyperoctahedral group Key Words: Symmetric Group, Hyperoctahedral group, Representations, Characters, Re- duction.
This article is devoted to branching problems for holomorphic discrete series representations of a conformal group $G$ of a tube domain $T_Omega$ over a symmetric cone $Ω$. More precisely, we analyse restrictions of such representations to the conformal group $G'$ of a tube domain $T_{Ω'}$ holomorphically embedded in $T_Ω$. The goal of this work is the explicit construction of the symmetry breaking and holographic operators in this geometrical setting. To do so, a stratification space for a symmetric cone is introduced. This structure put the light on a new functional model, called the \emph{s…
Formulas for the product of an irreducible character $χ_λ$ of a complex Lie group and a deformation of the Weyl denominator as a sum over the crystal $\mathcal{B}(λ+ρ)$ go back to Tokuyama. We study the geometry underlying such formulas using the expansion of spherical Whittaker functions of $p$-adic groups as a sum over the canonical basis $\mathcal{B}(-\infty)$, which we show may be understood as arising from tropicalization of certain toric charts that appear in the theory of total positivity and cluster algebras. We use this to express the terms of the expansion in terms of the correspondi…
We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $λ$ will be a lattice polytope if and only if the highest weight representation of the Lie algebra of $G$ with highest weight $λ$ integrates to a representation of $G$ itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.
In this paper we give some branching rules for the fundamental representations of Kac--Moody Lie algebras associated to $T$-shaped graphs. These formulas are useful to describe generators of the generic rings for free resolutions of length three described in [JWm16]. We also make some conjectures about the generic rings.
Splint of root system of simple Lie algebra appears naturally in the study of (regular) embeddings of reductive subalgebras. It can be used to derive branching rules. Application of splint properties drastically simplifies calculations of branching coefficients. We study affine extension of splint root system of simple Lie algebra and obtain relations on theta and branching functions.
The branching problem for a couple of non-compatible Lie algebras and their parabolic subalgebras applied to generalized Verma modules was recently discussed in \cite{ms}. In the present article, we employ the recently developed F-method, \cite{KOSS1}, \cite{KOSS2} to the couple of non-compatible Lie algebras $({\LieGtwo},{so(7)})$, and generalized conformal ${so(7)}$-Verma modules of scalar type. As a result, we classify the $\LieGtwo \cap \gop'$-singular vectors for this class of $so(7)$-modules.
Polynomials in this paper are defined starting from a compact semisimple Lie group. A known classification of maximal, semisimple subgroups of simple Lie groups is used to select the cases to be considered here. A general method is presented and all the cases of rank not greater then 3 are explicitly studied. We derive the polynomials of simple Lie groups B_3 and C_3 as they are not available elsewhere. The results point to far reaching Lie theoretical connections to the theory of multivariable orthogonal polynomials.
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.
A root system is splint if it is a decomposition into a union of two root systems. Examples of such root systems arise naturally in studying embeddings of reductive Lie subalgebras into simple Lie algebras. Given a splint root system, one can try to understand its branching rule. In this paper we discuss methods to understand such branching rules, and give precise formulas for specific cases, including the restriction functor from the exceptional Lie algebra $\mathfrak{g}_2$ to $\mathfrak{sl}_3$.
Splint of root system for simple Lie algebra appears naturally in studies of (regular) embeddings of reductive subalgebras. Splint can be used to construct branching rules. We demonstrate that splint properties implementation drastically simplify calculations of branching coefficients.
The purpose of this paper is to prove Duflo's conjecture for $(G,π, AN)$ where $G$ is a simple Lie group of Hermitian type and $π$ is a discrete series of $G$ and $AN$ is the maximal exponential solvable subgroup for an Iwasawa decomposition $G=KAN$. This is essentially reduced from the following general theorem we prove in this paper: let $G$ be a connected semisimple Lie group . Then a strongly elliptic $G$-coadjoint orbit $\mathcal{O}$ is holomorphic if and only if $\text{p}(\mathcal{O})$ is an open $AN$-coadjoint orbit, where $\text{p} : \mathfrak{g}^* \longrightarrow (\mathfrak{a}\oplus\m…
In the representation theory of simple Lie algebras, we consider the problem of constructing a monomial basis in an arbitrary irreducible finite-dimensional highest weight module. We construct a PBW-type basis in every finite-dimensional representation of $B_n$ and $D_n$ and we describe the associated semigroup of essential signatures. These bases are parameterized by integer points in some polytopes. We give the inequalities defining these polytopes.
It is demonstrated that decompositions of integrable highest weight modules of a simple Lie algebra with respect to its reductive subalgebra obey the set of algebraic relations leading to the recursive properties for the corresponding branching coefficients. These properties are encoded in the special element (of the formal algebra E(g)) Gamma_(a ->g) that describes the injection and is called the fan. In the simplest case, when "a" is a Cartan subalgebra of g, the recursion procedure generates the weight diagram of the module L(g). When applied to a reduction of highest weight modules the rec…
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrar…
Consider a compact Lie group and a closed subgroup. Generalizing a result of Klyachko, we give a necessary and sufficient criterion for a coadjoint orbit of the subgroup to be contained in the projection of a given coadjoint orbit of the ambient group. The criterion is couched in terms of the ``relative'' Schubert calculus of the flag varieties of the two groups.
We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree on the PBW basis of the corresponding Lie algebra, the other by fixing a homogeneous monomial order on the PBW basis. In the favourable case a basis of the module is parameterized by the lattice points of a normal polytope. The filtrations induce flat degenerations of the corresponding flag variety to its abelianized version and to a toric variety, the specia…
Following a question of Vinberg, a general method to construct monomial bases for finite-dimensional irreducible representations of a reductive Lie algebra was developed in a series of papers by Feigin, Fourier, and Littelmann. Relying on this method, we construct monomial bases of multiplicity spaces associated with the restriction of the representation to a reductive subalgebra. As an application, we produce monomial bases for representations of the general linear and symplectic Lie algebras associated with natural chains of subalgebras. We also show that our basis in type A is related to bo…
If $G$ is a reductive Lie group of Harish-Chandra class, $H$ is a symmetric subgroup, and $π$ is a discrete series representation of $G$, the authors give a condition on the pair $(G,H)$ which guarantees that the direct integral decomposition of $π|_H$ contains each irreducible representation of $H$ with finite multiplicity. In addition, if $G$ is a reductive Lie group of Harish-Chandra class, and $H\subset G$ is a closed, reductive subgroup of Harish-Chandra class, the authors show that the multiplicity function in the direct integral decomposition of $π|_H$ is constant along `continuous para…
The orbits of Weyl groups W(A(n)) of simple A(n) type Lie algebras are reduced to the union of orbits of the Weyl groups of maximal reductive subalgebras of A(n). Matrices transforming points of the orbits of W(An) into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs A(n) - A(n-k-1) x A(k) x U(1), A(2n) - B(n), A(2n-1) - C(n), A(2n-1) - D(n). Numerous special cases and examples are shown.
Let $\mathfrak{g}$ be a complex simple Lie algebra and let $\mathfrak{g}_0$ be the sub-algebra fixed by a diagram automorphism of $\mathfrak{g}$. Let $G$ be the complex, simply-connected, simple algebraic group with Lie algebra $\mathfrak{g}$, and let $G_0$ be the connected subgroup of $G$ with Lie algebra $\mathfrak{g}_0$. Let $ρ$ be the half sum of positive roots of $\mathfrak{g}$. In this article, we give a necessary and sufficient condition for a highest weight $\mathfrak{g}_0$-representation $V_0(dμ)$ to occur in the representation ${\rm res}_{\mathfrak{g}_0}V(dρ)$, for any saturation fac…
Let $\gg$ be the Lie algebra of a compact Lie group and let $θ$ be any automorphism of $\gg$. Let $\gk$ denote the fixed point subalgebra $\gg^θ$. In this paper we present LiE programs that, for any finite dimensional complex representation $π$ of $\gg$, give the explicit branching $π|_\gk$ of $π$ on $\gk$. Cases of special interest include the cases where $θ$ has order 2 (corresponding to compact riemannian symmetric spaces $G/K$), where $θ$ has order 3 (corresponding to compact nearly--kaehler homogeneous spaces $G/K$), where $θ$ has order 5 (which include the fascinating 5--symmetric space …
In this paper we consider the analytic continuation of the weighted Bergman spaces on the Lie ball $$\mathscr{D}=SO(2,n)/S(O(2) \times O(n))$$ and the corresponding holomorphic unitary (projective) representations of SO(2,n) on these spaces. These representations are known to be irreducible. Our aim is to decompose them under the subgroup SO(1,n) which acts as the isometry group of a totally real submanifold $\mathscr{X}$ of $\mathscr{D}$. We give a proof of a general decomposition theorem for certain unitary representations of semisimple Lie groups. In the particular case we are concerned wit…
Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g…
We present LieART 2.0 which contains substantial extensions to the Mathematica application LieART (Lie Algebras and Representation Theory) for computations frequently encountered in Lie algebras and representation theory, such as tensor product decomposition and subalgebra branching of irreducible representations. The basic procedure is unchanged: it computes root systems of Lie algebras, weight systems and several other properties of irreducible representations, but new features and procedures have been included to allow the extensions to be seamless. The new version of LieART continues to be…
For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results …
Let $\g$ be a reductive Lie algebra and $V$ a $\g$-semisimple module. In this article, we study the category $\G$ of graded finite-dimensional representations of $\g \ltimes V$. We produce a large class of truncated subcategories, which are directed and highest weight. Suppose $V$ is finite-dimensional with weights $\wt(V)$. Let $Ψ\subset \wt(V)$ be the set of weights contained in a face $\F$ of the polytope that is the convex hull of $\wt(V)$. For each such $Ψ$, we produce quasi-hereditary Koszul algebras. We use these Koszul algebras to construct an infinite-dimensional graded subalgebra $\s…
The orbits of Weyl groups W(B(n)), W(C(n)) and W(D(n)) of the simple Lie algebras B(n), C(n) and D(n) are reduced to the union of the orbits of Weyl groups of the maximal reductive subalgebras of B(n), C(n) and D(n). Matrices transforming points of W(B(n)), W(C(n)) and W(D(n)) orbits into points of subalgebra orbits are listed for all cases n<=8 and for the infinite series of algebra-subalgebra pairs B(n) - B(n-1) x U(1), B(n) - D(n), B(n) - B(n-k) x D(k), B(n) - A(1), C(n) - C(n-k) x C(k), C(n) - A(n-1) x U(1), D(n) - A(n-1) x U(1), D(n) - D(n-1) x U(1), D(n) -B(n-1), D(n) - B(n-k-1) x B(k), …
Consider the restriction of an irreducible unitary representation $π$ of a Lie group $G$ to its subgroup $H$. Kirillov's revolutionary idea on the orbit method suggests that the multiplicity of an irreducible $H$-module $ν$ occurring in the restriction $π|_H$ could be read from the coadjoint action of $H$ on $O^G \cap pr^{-1}(O^H)$ provided $π$ and $ν$ are "geometric quantizations" of a $G$-coadjoint orbit $O^G$ and an $H$-coadjoint orbit $O^H$,respectively, where $pr: \sqrt{-1} g^{\ast} \to \sqrt{-1} h^{\ast}$ is the projection dual to the inclusion $h \subset g$ of Lie algebras. Such results…
In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple affine vertex algebra $L_{\widehat{sl_{\infty}}}(\ell,0)$ with $\ell$ a positive integer, and Levi subgroups $G$ of $GL_\ell(\mathbb{C})$. First, we give a canonical isomorphism between the category of integrable restricted $\widehat{sl_N}(\mathbb{C}_q)$-modules of level $\ell$ and that of equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Second, we…
Let $G$ be a real semisimple Lie group, $K$ its maximal complex subgroup, and $G_C$ its complexification. It is known that all the $K$-finite matrix elements on $G$ admit holomorphic continuation to branching functions on $G_C$ having singularities at the a prescribed divisor. We propose a geometric explanation of this phenomenon. The note also contsins a general survey of holomorphic continuations of infinite-dimensional representations.
Splint is a decomposition of root system into union of root systems. Splint of root system for simple Lie algebra appears naturally in studies of (regular) embeddings of reductive subalgebras. Splint can be used to construct branching rules. We consider special embedding of Lie subalgebra to Lie algebra. We classify projections of algebra root systems using extended Dynkin diagrams and single out the conditions of splint appearance and coincidence of branching coefficients with weight multiplicities. While such a coincidence is not very common it is connected with Gelfand-Tsetlin basis.
We provide a necessary and sufficient condition for a type D Temperley-Lieb algebra ${\rm TLD}_n(δ)$ being semi-simple by studying branching rule for cell modules. As a byproduct, our result is used to study the so-called forked Temperley-Lieb algebra, which is a quotient algebra of ${\rm TLD}_n(δ)$.
In the last few years, the notion of symmetry has provided a powerful and essential lens to view several optimization or sampling problems that arise in areas such as theoretical computer science, statistics, machine learning, quantum inference, and privacy. Here, we present two examples of nonconvex problems in optimization and sampling where continuous symmetries play -- implicitly or explicitly -- a key role in the development of efficient algorithms. These examples rely on deep and hidden connections between nonconvex symmetric manifolds and convex polytopes, and are heavily generalizable.…
To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation bundles corresponding to fundamental representations of the corresponding Lie algebra. When we specify a geometric structure on the surface to reduce the Lie algebra to a smaller one, then the classical geometry of the configuration of lines and rulings is encoded beautifully by the branching rules in Lie theory. We discuss this relationship in details. When w…
In this paper we consider (polynomial) solution spaces for the symplectic Dirac operator (with a focus on $1$-homogeneous solutions). This space forms an infinite-dimensional representation space for the symplectic Lie algebra $\mathfrak{sp}(2m)$. Because $\mathfrak{so}(m)\subset \mathfrak{sp}(2m)$, this leads to a branching problem which generalises the classical Fischer decomposition in harmonic analysis. Due to the infinite nature of the solution spaces for the symplectic Dirac operators, this is a non-trivial question: both the summands appearing in the decomposition and their explicit emb…
We give uniform formulas for the branching rules of level 1 modules over orthogonal affine Lie algebras for all conformal pairs associated to symmetric spaces. We also provide a combinatorial intepretation of these formulas in terms of certain abelian subalgebras of simple Lie algebras.