This paper gives a classification of parabolic subalgebras of simple Lie algebras over $\CC$ that are complexifications of parabolic subalgebras of real forms for which Lynch's vanishing theorem for generalized Whittaker modules is non-vacuous. The paper also describes normal forms for the admissible characters in the sense of Lynch (at least in the quasi-split cases) and analyzes the important special case when the parabolic is defined by an even embedded TDS (three dimensional simple Lie algebra).
We say that a finite dimensional Lie algebra is quasi-reductive if it has a linear form whose stabilizer for the coadjoint representation, modulo the center, is a reductive Lie algebra with a center consisting of semisimple elements. Parabolic subalgebras of a semisimple Lie algebra are not always quasi-reductive (except in types A or C by work of Panyushev). The classification of quasi-reductive parabolic subalgebras in the classical case has been recently achieved in unpublished work of Duflo, Khalgui and Torasso. In this paper, we investigate the quasi-reductivity of biparabolic subalgebras…
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…
Let $\mathfrak g$ be a semisimple Lie algebra and $\mathfrak k\subset\mathfrak g$ be a reductive in $\mathfrak g$ subalgebra. A $(\mathfrak g, \mathfrak k)$-module is a $\mathfrak g$-module which after restriction to $\mathfrak k$ becomes a direct sum of finite-dimensional $\mathfrak k$-modules. I.Penkov and V.Serganova introduce definition of bounded $(\mathfrak g, \mathfrak k)$-modules for reductive subalgebras $\mathfrak k\subset\mathfrak g$, i.e. $(\mathfrak g, \mathfrak k)$-modules whose $\mathfrak k$-multiplicities are uniformly bounded. A question arising in this context is, given $\mat…
Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras under injections which preserve the root spaces. It is known that a root-reductive Lie algebra is a split extension of an abelian Lie algebra by a direct sum of copies of finite-dimensional simple Lie algebras as well as copies of the three simple infinite-dimensional root-reductive Lie algebras sl_infty, so_infty, and sp_infty. As part of a structure theory program for root-reductive Lie algebras, Cartan subalgebras of the Lie algebra gl_infty were introduced and studied in a paper of Neeb and Penkov. I…
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…
Let K be an algebraically closed field of characteristic 0. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. In particular, it was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this paper, we give a positive answer to this conjecture.
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…
This paper gives a classification of all pairs $(\mathfrak g, \mathfrak h)$ with $\mathfrak g$ a simple real Lie algebra and $\mathfrak h < \mathfrak g$ a reductive subalgebra for which there exists a minimal parabolic subalgebra $\mathfrak p < \mathfrak g$ such that $\mathfrak g = \mathfrak h + \mathfrak p$ as vector sum.
If ${\mathfrak g}$ is a real reductive Lie algebra and ${\mathfrak h} < {\mathfrak g}$ is a subalgebra, then $({\mathfrak g}, {\mathfrak h})$ is called real spherical provided that ${\mathfrak g} = {\mathfrak h} + {\mathfrak p}$ for some choice of a minimal parabolic subalgebra ${\mathfrak p} \subset {\mathfrak g}$. In this paper we classify all real spherical pairs $({\mathfrak g}, {\mathfrak h})$ where ${\mathfrak g}$ is semi-simple but not simple and ${\mathfrak h}$ is a reductive real algebraic subalgebra. The paper is based on the classification of the case where ${\mathfrak g}$ is simple…
A connected algebraic group Q defined over a field of characteristic zero is quasi-reductive if there is an element of its dual of reductive type, that is such that the quotient of its stabiliser by the centre of Q is a reductive subgroup of GL(q), where q=Lie(Q). Due to results of M. Duflo, coadjoint representation of a quasi-reductive Q possesses a so called maximal reductive stabiliser and knowing this subgroup, defined up to a conjugation in Q, one can describe all coadjoint orbits of reductive type. In this paper, we consider quasi-reductive parabolic subalgebras of simple complex Lie alg…
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 $\mathfrak g$ be a semisimple Lie algebra, $\mathfrak h\subset\mathfrak g$ a reductive subalgebra such that $\mathfrak h^\perp$ is a complementary $\mathfrak h$-submodule of $\mathfrak g$. In 1983, Bogoyavlenski claimed that one obtains a Poisson commutative subalgebra of the symmetric algebra ${\mathcal S}(\mathfrak g)$ by taking the subalgebra ${\mathcal Z}$ generated by the bi-homogeneous components of all $H\in{\mathcal S}(\mathfrak g)^{\mathfrak g}$. But this is false, and we present a counterexample. We also provide a criterion for the Poisson commutativity of such subalgebras ${\mat…
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. 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}$. For some pairs of blocks $\overline{\mathcal{O}}[λ]$ and $\overline{\mathcal{O}}[μ]$, the subcategories whose objects have finite length are equivalence via functors obtained by the direct limits of translation functors. Tilting objects can also…
We prove an explicit formula for the invariant $μ(\Lg)$ for finite-dimensional semisimple, and reductive Lie algebras $\Lg$ over $\C$. Here $μ(\Lg)$ is the minimal dimension of a faithful linear representation of $\Lg$. The result can be used to study Dynkin's classification of maximal reductive subalgebras of semisimple Lie algebras.
Birational equivalence of the Zassenhaus varieties for basic classical Lie superalgebras and their purely-even reductive Lie subalgebras in odd characteristic
Let $\gg$ be a complex reductive Lie algebra and $\kk\subset\gg$ be any reductive in $\gg$ subalgebra. We call a $(\gg,\kk)$-module $M$ bounded if the $\kk$-multiplicities of $M$ are uniformly bounded. In this paper we initiate a general study of simple bounded $(\gg,\kk)$-modules. We prove a strong necessary condition for a subalgebra $\kk$ to be bounded (Corollary \ref{cor1.6}), i.e. to admit an infinite-dimensional simple bounded $(\gg,\kk)$-module, and then establish a sufficient condition for a subalgebra $\kk$ to be bounded (Theorem \ref{thGroups2}). As a result we are able to classify a…
Let $\frak g$ be a reductive Lie algebra over $\bold C$. We say that a $\frak g$-module $M$ is a generalized Harish-Chandra module if, for some subalgebra $\frak k \subset\frak g$, $M$ is locally $\frak k$-finite and has finite $\frak k$-multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when $\frak k$ is a Cartan subalgebra. We also review the recent determination of which reductive in $\frak g$ subalgebras $\frak k$ are essential to a classification. Finall…
Let $\g$ be a locally reductive complex Lie algebra which admits a faithful countable-dimensional finitary representation $V$. Such a Lie algebra is a split extension of an abelian Lie algebra by a direct sum of copies of $\sl_\infty$, $\so_\infty$, $\sp_\infty$, and finite-dimensional simple Lie algebras. A parabolic subalgebra of $\g$ is any subalgebra which contains a maximal locally solvable (that is, Borel) subalgebra. Building upon work by Dimitrov and the authors of the present paper, we give a general description of parabolic subalgebras of $\g$ in terms of joint stabilizers of taut co…
The nilpotent cone of a reductive Lie algebra has a desingularization given by thecotangent bundle of the flag variety. Analogously, the nullcone of a cartesianpower of the algebra has a desingularization given by a vector bundle over theflag variety. As for the nullcone, the subvariety of elements whose componentsare in a same Borel subalgebra, has a desingularization given by a vector bundle overthe flag variety. In this note, some properties of these varieties are given. Forthe study of the commuting variety, the analogous variety to the flag variety isthe closure in the Grassmannian of the…
Let $G$ be a real reductive Lie group and $τ:G \longrightarrow GL(V)$ be a real reductive representation of $G$ with (restricted) moment map $m_{\ggo}: V-{0} \longrightarrow \ggo$. In this work, we introduce the notion of "nice space" of a real reductive representation to study the problem of how to determine if a $G$-orbit is "distinguished" (i.e. it contains a critical point of the norm squared of $m_{\ggo}$). We give an elementary proof of the well-known convexity theorem of Atiyah-Guillemin-Sternberg in our particular case and we use it to give an easy-to-check sufficient condition for a $…
Let k be an algebraically closed field of characteristic p>0 and let G be a connected reductive group over k. Let B be a Borel subgroup of G and let g and b be the Lie algebras of G and B. Denote the first Frobenius kernels of G and B by G_1 and B_1. Furthermore, denote the algebras of polynomial functions on G and g by k[G] and k[g], and similar for B and b. The group G acts on k[G] via the conjugation action and on k[g] via the adjoint action. Similarly, B acts on k[B] via the conjugation action and on k[b] via the adjoint action. We show that, under certain mild assumptions, the cohomology …
Reductive (or semisimple) algebraic groups, Lie groups and Lie algebras have a rich geometry determined by their parabolic subgroups and subalgebras, which carry the structure of a building in the sense of J. Tits. We present herein an elementary approach to the geometry of parabolic subalgebras, over an arbitrary field of characteristic zero, which does not rely upon the structure theory of semisimple Lie algebras. Indeed we derive such structure theory, from root systems to the Bruhat decomposition, from the properties of parabolic subalgebras. As well as constructing the Tits building of a …
We study a version of the BGG category O for Dynkin Borel subalgebras of root-reductive Lie algebras g, such as gl(\infty). We prove results about extension fullness and compute the higher extensions of simple modules by Verma modules. In addition, we show that our category O is Ringel self-dual and initiate the study of Koszul duality. An important tool in obtaining these results is an equivalence we establish between appropriate Serre subquotients of category O for g and category O for finite dimensional reductive subalgebras of g.
This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.
The category of all modules over a reductive complex Lie algebra is wild, and therefore it is useful to study full subcategories. For instance, Bernstein, Gelfand and Gelfand introduced a category of modules which provides a natural setting for highest weight modules. In this paper, we define a family of categories which generalizes the BGG category, and we classify the simple modules for a subfamily. As a consequence, we show that some of the obtained categories are semisimple.
Let $\mathbb{K}$ be an algebraically closed field of characteristic 0. A finite dimensional Lie algebra $\mathfrak{g}$ over $\mathbb{K}$ is said to be stable if there exists a linear form $g\in\mathfrak{g}^{*}$ and a Zariski open subset in $\mathfrak{g}^{*}$ containing $g$ in which all elements have their stabilizers conjugated under the connected adjoint group. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equiv…
Parabolic subalgebras $\frak{p}$ of semisimple Lie algebras define a $\Bbb{Z}$-grading of the Lie algebra. If there exists a nilpotent element in the first graded part of $\frak{g}$ on which the adjoint group of $\frak{p}$ acts with a dense orbit, the parabolic subalgebra is said to be nice. The corresponding nilpotent element is also called admissible. Nice parabolic subalgebras of simple Lie algebras have been classified. In the case of Borel subalgebras a Richardson element of $\frak{g}_1$ is exactly one that involves all simple root spaces. It is however difficult to write down such nilpot…
We study cohomological induction for a pair $(\frak g,\frak k)$, $\frak g$ being an infinite dimensional locally reductive Lie algebra and $\frak k \subset\frak g$ being of the form $\frak k_0 + C_\gg(\frak k_0)$, where $\frak k_0\subset\frak g$ is a finite dimensional reductive in $\frak g$ subalgebra and $C_{\gg} (\frak k_0)$ is the centralizer of $\frak k_0$ in $\frak g$. We prove a general non-vanishing and $\frak k$-finiteness theorem for the output. This yields in particular simple $(\frak g,\frak k)$-modules of finite type over $\frak k$ which are analogs of the fundamental series of ge…
We study ad-nilpotent ideals of a parabolic subalgebra of a simple Lie algebra. Any such ideal determines an antichain in a set of positive roots of the simple Lie algebra. We give a necessary and sufficient condition for an antichain to determine an ad-nilpotent ideal of the parabolic. We write down all such antichains for the classical simple Lie algebras and in particular recover the results of D. Peterson. In section 2 of the paper we study the unique ideal in a parabolic which is irreducible as a module for the reductive part and give several equivalent statements that are satisfied by th…
Motivated by questions in modular representation theory, Carlson, Friedlander, and the first author introduced the varieties E(r, g) of r-dimensional abelian p-nilpotent subalgebras of a p-restricted Lie algebra g. In this paper, we identify the varieties E(r, g) for a reductive restricted Lie algebra g and r the maximal dimension of an abelian p-nilpotent subalgebra of g.
Let $G$ be a complex reductive algebraic group, $g$ its Lie algebra and $h$ a reductive subalgebra of $g$, $n$ a positive integer. Consider the diagonal actions $G:g^n, N_G(h):h^n$. We study a relation between the algebra $C[h^n]^{N_G(h)}$ and its subalgebra consisting of restrictions to $h^n$ of elements of $C[g^n]^G$.
For a reductive Lie algbera over an algbraically closed field of charasteristic zero,we consider a borel subgroup $B$ of its adjoint group, a Cartan subalgebra contained inthe Lie algebra of $B$ and the closure $X$ of its orbit under $B$ in the Grassmannian.The variety $X$ plays an important role in the study of the commuting variety. In thisnote, we prove that $X$ is Gorenstein with rational singularities.
We introduce the notion of a generalized spin representation of the maximal compact subalgebra of a symmetrizable Kac-Moody algebra in order to show that, if defined over a formally real field, every such subalgebra has a non-trivial reductive finite-dimensional quotient. The appendix illustrates how to compute the isomorphism types of these quotients for the real $E_n$ series. In passing this provides an elementary way of determining the isomorphism types of the maximal compact subalgebras of the semisimple split real Lie algebras of types $E_6$, $E_7$, $E_8$.
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…
Let G be a connected and reductive group over the algebraically closed field K. J-P. Serre has introduced the notion of a G-completely reducible subgroup H of G. In this note, we give a notion of G-complete reducibility -- G-cr for short -- for Lie subalgebras of Lie(G), and we show that if the closed subgroup H < G is G-cr, then Lie(H) is G-cr as well.
The symmetric algebra $S(\mathfrak g)$ of a reductive Lie algebra $\mathfrak g$ is equipped with the standard Poisson structure, i.e., the Lie-Poisson bracket. Poisson-commutative subalgebras of $S(\mathfrak g)$ attract a great deal of attention, because of their relationship to integrable systems and, more recently, to geometric representation theory. The transcendence degree of a Poisson-commutative subalgebra ${\mathcal C}\subset S(\mathfrak g)$ is bounded by the "magic number" $\boldsymbol{b}(\mathfrak g)$ of $\mathfrak g$. The "argument shift method" of Mishchenko-Fomenko was basically th…
Let K be a locally compact nonarchimedean field, g a split reductive Lie algebra over K and U(g) its universal enveloping algebra. We study the category C_g of coadmissible modules over the nonarchimedean Arens-Michael envelope of U(g). Let p be a parabolic subalgebra of g. The main result identifies a certain explicitly given highest weight category inside C_g with the classical parabolic BGG category of g relative to p. This paper is in final form, replaces and expands the former preprint 'BGG reciprocity for p-adic Arens-Michael envelopes of semisimple Lie algebras' and appears in Journal o…
Recurrent relations for branching coefficients in affine Lie algebras integrable highest weight modules are studied. The decomposition algorithm based on the injection fan technique is developed for the case of an arbitrary reductive subalgebra. In particular we consider the situation where the Weyl denominator becomes singular with respect to the subalgebra. We demonstrate that for any reductive subalgebra it is possible to define the injection fan and the analogue of the Weyl numerator - the tools that describe explicitly the recurrent properties of branching coefficients. Possible applicati…
For any involution $σ$ of a semisimple Lie algebra $\mathfrak g$, one constructs a non-reductive Lie algebra $\mathfrak k$, which is called a $\mathbb Z_2$-contraction of $\mathfrak g$. In this paper, we attack the problem of describing maximal commutative subalgebras of the Poisson algebra $S(\mathfrak k)$. This is closely related to the study of the coadjoint representation of $\mathfrak k$ and the set, $\mathfrak k^*_{reg}$, of the regular elements of $\mathfrak k^*$. By our previous results, in the context of $\mathbb Z_2$-contractions, the argument shift method provides maximal commutativ…
Let $G$ be a simple simply-connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}={\rm Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using a combination of theoretical and computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable, those which satisfy a certain related condition due to Panyushev, and deter…
Let $\mathfrak{g}$ be a simple complex Lie algebra and let $\mathfrak{t} \subset \mathfrak{g}$ be a toral subalgebra of $\mathfrak{g}$. As a $\mathfrak{t}$-module $\mathfrak{g}$ decomposes as \[\mathfrak{g} = \mathfrak{s} \oplus \big(\oplus_{ν\in \mathcal{R}} \mathfrak{g}^ν\big)\] where $\mathfrak{s} \subset \mathfrak{g}$ is the reductive part of a parabolic subalgebra of $\mathfrak{g}$ and $\mathcal{R}$ is the Kostant root system associated to $\mathfrak{t}$. When $\mathfrak{t}$ is a Cartan subalgebra of $\mathfrak{g}$ the decomposition above is nothing but the root decomposition of $\mathfra…
Let $G$ be a real linear reductive group and $K$ be a maximal compact subgroup. Let $P$ be a minimal parabolic subgroup of $G$ with complexified Lie algebra $\mathfrak{p}$, and $\mathfrak{n}$ be its nilradical. In this paper we show that: for any admissible finitely generated moderate growth smooth Fréchet representation $V$ of $G$, the inclusion $V_{K}\subset V$ induces isomorphisms $H_{i}(\mathfrak{n},V_{K})\cong H_{i}(\mathfrak{n},V)$ ($i\geq 0$), where $V_{K}$ denotes the $(\mathfrak{g},K)$ module of $K$ finite vectors in $V$. This is called Casselman's comparison theorem. As a consequence…
Let $G$ be a split reductive $p$-adic group. Let ${\mathcal H}(G)$ be its Hecke algebra and let ${\mathcal C}(G)\supset {\mathcal H}(G)$ be the Harish-Chandra Schwartz algebra. The purpose of this note is to give a spectral interpretation of Lusztig's asymptotic Hecke algebra $J$ (which contains the Iwahori part of ${\mathcal H}(G)$ as a subalgebra), which shows that $J$ is a subalgebra of ${\mathcal C} (G)$. This spectral description also allows to define a version of $J$ beyond the Iwahori component - i.e. we define certain subalgebra ${\mathcal J}(G)$ of ${\mathcal C}(G)$ which contains ${\…
We present the general construction of the $U$-projector (the homomorphism of the algebra into its field of $U$-invariants identical on the subalgebra of $U$-invariants). It is shown how to apply $U$-projector to find the systems of free generators of the fields of $U$-invariants for representations of reductive groups.
Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of automorphisms of V_k(g,B), we show that the invariant subalgebra V_k(g,B)^G is strongly finitely generated for generic values of k. This implies the existence of a new family of deformable W-algebras W(g,B,G)_k which exist for all but finitely many values of k.
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.
We study category $\mathcal{O}$ for Takiff Lie algebras $\mathfrak{g} \otimes \mathbb{C}[ε]/(ε^2)$ where $\mathfrak{g}$ is the Lie algebra of a reductive algebraic group over $\mathbb{C}$. We decompose this category as a direct sum of certain subcategories and use an analogue of parabolic induction functors and twisting functors for BGG category $\mathcal{O}$ to prove equivalences between these subcategories. We then use these equivalences to compute the composition multiplicities of the simple modules in the Verma modules in terms of composition multiplicities in the BGG category $\mathcal{O}…
Let $\frak g$ be a reductive Lie algebra over an algebraically closed field of characteristic 0 and $\frak k$ be a reductive in $\frak g$-subalgebra. Let $M$ be a finitely generated (possibly, infinite-dimensional) $\frak g$-module. We say that $M$ is a $(\frak g, \frak k)$-module if $M$ is a direct sum of a (possibly, infinite) amount of simple finite-dimensional $\frak k$-modules. We say that $M$ is of finite type if $M$ is a $(\frak g, \frak k)$-module and Hom$_\frak k(V, M)<\infty$ for any simple $\frak k$-module $V$. Let $X$ be a variety of all Borel subalgebras of $\frak g$. Let $M$ be a…
An enhanced algebraic group $\uG$ of $G=\GL(V)$ over $\bbc$ is a product variety $\GL(V)\times V$, endowed with an enhanced cross product. Associated with a natural tensor representation of $\uG$, there are naturally Levi and parabolic Schur algebras $\mathcal{L}$ and $\mathcal{P}$ respectively. We precisely investigate their structures, and study the dualities on the enhanced tensor representations for variant groups and algebras. In this course, an algebraic model of so-called degenerate double Hecke algebras (DDHA) is produced, and becomes a powerful implement. The connection between $\math…
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.
In this paper we generalize the comparison theorem of Hecht and Taylor to arbitrary parabolic subalgebras of a complex reductive Lie algebra and then apply our generalized comparison theorem to obtain results about the geometric realization of representations in flag spaces.
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.
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 results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit cohomology vanishing of small dimensional modules. Along the way, we obtain complete reducibility results for small dimensional modules in the spirit of similar results due to Jantzen, Guralnick, Serr…
There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there is still no general theory of finite-dimensional modules for these coideals. In this paper, we establish an important step in this direction: we show that every quantum symmetric pair coideal subalgebra admits a quantum Cartan subalgebra which is a polynomial ring that specializes to its classical counterpart. The construction builds on Kostant and Sugiura's…
In this paper a characterisation is given of solvable complemented Lie algebras. They decompose as a direct sum of abelian subalgebras and their ideals relate nicely to this decomposition. The class of such algebras is shown to be a formation whose residual is the ideal closure of the prefrattini subalgebras.
In this paper, using Bourbaki's convention, we consider a simple Lie algebra $\mathfrak g\subset\mathfrak g\mathfrak l_m$ of type B, C or D and a parabolic subalgebra $\mathfrak p$ of $\mathfrak g$ associated with a Levi factor composed essentially, on each side of the second diagonal, by successive blocks of size two, except possibly for the first and the last ones. Extending the notion of a Weierstrass section introduced by Popov to the coadjoint action of the truncated parabolic subalgebra associated with $\mathfrak p$, we construct explicitly Weierstrass sections, which give the polynomial…
