In this paper we develop algorithms of finding homogeneous spaces of semisimple non-compact Lie groups which do not admit compact Clifford-Klein forms. We propose a computer program which checks if the given homogeneous space has a non-vanishing cohomological obstruction (found by Tholozan) to compact Clifford-Klein forms. By a numerical experiment we show that there is a large class of homogeneous spaces satisfying Tholozan's condition.
We describe all locally semisimple subalgebras and all maximal subalgebras of the finitary Lie algebras $\gl(\infty), \sl(\infty), \so(\infty)$, and $\sp(\infty)$. For simple finite--dimensional Lie algebras these classes of subalgebras have been described in the classical works of A. Malcev and E. Dynkin. Key words (2000 MSC): 17B05 and 17B65.
In this article, we give a simple explicit construction of an affine slice for the coadjoint action of a certain class of biparabolic (also called seaweed) subalgebras of a semisimple Lie algebra over an algebraically closed field of characteristic zero. In particular, this class includes all Borel subalgebras.
The main goal of this paper is to prove the following theorem: Let $\frak k$ be an $\frak {sl}_2$-subalgebra of a semisimple Lie algebra $\frak g$, none of whose simple factors is of type $A1$. Then there exists a positive integer $b(\frak k, \frak g)$, such that for every irreducible finite dimensional $\frak g$-module $V$, there exists an injection of $\frak k$-modules $W \to V$, where $W$ is an irreducible $\frak k$-module of dimension less than $b(\frak k, \frak g)$. This result was announced in math.RT/0310140.
Let p be a maximal truncated parabolic subalgebra of a simple Lie Algebra. It was shown in many cases that the Poisson centre Y(p) is a polynomial algebra. We construct a slice for the coadjoint action of p, thus extending a theorem of Kostant. The role of the principal sl_2-triple is played by an adapted pair.
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…
We study the analogue of the Harish-Chandra homomorphism where the universal enveloping algebra is replaced by the Clifford algebra, $Cl(g)$, of a semisimple Lie algebra $g$. Two main goals are achieved. First, we prove that there is a Harish-Chandra type isomorphism between the subalgebra of $g$-invariants in $Cl(g)$ and the Clifford algebra of the Cartan subalgebra of $g$. Second, the Cartan subalgebra is identified, via this isomorphism, with a graded space of the so-called primitive skew-symmetric invariants of $g$. This leads to a distinguished orthogonal basis of the Cartan subalgebra, w…
In this note the notion of kernel of a representation of a semisimple Hopf algebra is introduced. Similar properties to the kernel of a group representation are proved in some special cases. In particular, every normal Hopf subalgebra of a semisimple Hopf algebra H is the kernel of a representation of H.
In his paper "A Construction for Coisotropic Subalgebras of Lie Bialgebras", Marco Zambon gave a way to use a long root of a complex semisimple Lie biaglebra $\mathfrak{g}$ to construct a coisotropic subalgebra of $\mathfrak{g}$. In this paper, we generalize Zambon's construction. Our construction is based on the theory of Lagrangian subalgebras of the double $\mathfrak{g}\oplus\mathfrak{g}$ of $\mathfrak{g}$, and our coisotropic subalgebras correspond to torus fixed points in the variety $\mathcal{L}(\mathfrak{g}\oplus\mathfrak{g})$ of Lagrangian subalgebras of $\mathfrak{g}\oplus\mathfrak{g}…
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…
A description of all normal Hopf subalgebras of a semisimple Drinfeld double is given. This is obtained by considering an analogue of Goursat's lemma concerning fusion subcategories of Deligne products of two fusion categories. As an application we show that the Drinfeld double of any abelian extension is also an abelian extension.
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…
Let G be a connected semisimple algebraic group over $k$, with Lie algebra $\g$. Let $\h$ be a subalgebra of $\g$. A simple finite-dimensional $\g$-module V is said to be $\h$-indecomposable if it cannot be written as a direct sum of two proper $\h$-submodules. We say that $\h$ is wide, if all simple finite-dimensional $\g$-modules are $\h$-indecomposable. Some very special examples of indecomposable modules and wide subalgebras appear recently in the literature. In this paper, we describe several large classes of wide subalgebras of $\g$ and initiate their systematic study. Our approach is ba…
We classify the solvable subalgebras, semisimple subalgebras, and Levi decomposable subalgebras of $\mathfrak{so}(4,\mathbb{C})$, up to inner automorphism. By Levi's Theorem, this is a full classification of the subalgebras of $\mathfrak{so}(4,\mathbb{C})$.
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…
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…
We associate to an arbitrary positive root $α$ of a complex semisimple finite-dimensional Lie algebra $\mfrak{g}$ a twisting endofunctor $T_α$ of the category of $\mfrak{g}$-modules. We apply this functor to generalized Verma modules in the category $\mcal{O}(\mfrak{g})$ and construct a family of $α$-Gelfand--Tsetlin modules with finite $Γ_α$-multiplicities, where $Γ_α$ is a commutative $\C$-subalgebra of the universal enveloping algebra of $\mfrak{g}$ generated by a Cartan subalgebra of $\mfrak{g}$ and by the Casimir element of the $\mfrak{sl}(2)$-subalgebra corresponding to the root $α$. Thi…
We define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman's hash involution. We compute the rank of these algebras and construct a full set of irreducible representations in the semisimple case, generalising Mitsuhashi's results.
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…
Let g be a semisimple Lie algebra over the real numbers. We describe an explicit combinatorial construction of the real Weyl group of g with respect to a given Cartan subalgebra. An efficient computation of this Weyl group is important for the classification of regular semisimple subalgebras, real carrier algebras, and real nilpotent orbits associated with g; the latter have various applications in theoretical physics.
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.
We study {\em disemisimple} Lie algebras, i.e., Lie algebras which can be written as a vector space sum of two semisimple subalgebras. We show that a Lie algebra $\mathfrak{g}$ is disemisimple if and only if its solvable radical coincides with its nilradical and is a prehomogeneous $\mathfrak{s}$-module for a Levi subalgebra $\mathfrak{s}$ of $\mathfrak{g}$. We use the classification of prehomogeneous $\mathfrak{s}$-modules for simple Lie algebras $\mathfrak{s}$ given by Vinberg to show that the solvable radical of a disemisimple Lie algebra with simple Levi subalgebra is abelian. We extend th…
In the present paper we continue the project of systematic classification and construction of invariant differential operators for non-compact semisimple Lie groups. This time we make the stress on one of the main building blocks, namely the Verma modules and the corresponding parabolic subalgebras. In particular, we start the study of the relation between the parabolic subalgebras of real semisimple Lie algebras and of their complexification. Two cases are given in more detail: the conformal algebra of 4D Minkowski space-time and the minimal parabolics of classical real semisimple Lie algebra…
We characterize locally semisimple subalgebras $ł$ of $\sl_\infty$, $\so_\infty$, and $\sp_\infty$ which are Levi components of parabolic subalgebras. Given $ł$, we characterize the parabolic subalgebras $\p$ such that $ł$ is a Levi component of $\p$. When the set of such self-normalizing parabolic subalgebras $\p$ is finite, we prove an estimate on its cardinality. We consider various examples which highlight the differences from the case of parabolic subalgebras of finite-dimensional simple Lie algebras.
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$.
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
A general Mackey type decomposition for representations of semisimple Hopf algebras is investigated. We show that such a decomposition occurs in the case that the module is induced from an arbitrary Hopf subalgebra and it is restricted back to a group subalgebra. Some other examples when such a decomposition occurs are also constructed. They arise from gradings on the category of corepresentations of a semisimple Hopf algebra and provide new examples of Green functors in the literature.
In this paper we show that the center of the partition algebra $\mathcal{A}_{2k}(δ)$, in the semisimple case, is given by the subalgebra of supersymmetric polynomials in the normalised Jucys-Murphy elements. For the non-semisimple case, such a subalgebra is shown to be central, and in particular it is large enough to recognise the block structure of $\mathcal{A}_{2k}(δ)$. This allows one to give an alternative description for when two simple $\mathcal{A}_{2k}(δ)$-modules belong to the same block.
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.
In this thesis we consider the maximal subalgebras of the exceptional Lie algebras in algebraically closed fields of positive characteristic. This begins with a quick recap of the article by Herpel and Stewart which considered the Cartan type maximal subalgebras in the exceptional Lie algebras for good characteristic, and then the article by Premet considering non-semisimple maximal subalgebras in good characteristic. For $p=5$ we give an example of what appears to be a new maximal subalgebra in the exceptional Lie algebra of type $E_8$. We show that this maximal subalgebra is isomorphic to th…
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.
We establish branching rules between some Iwahori-Hecke algebra of type B and their subalgebras which are defined as fixed subalgebras by involutions including Goldman involution. The Iwahori-Hecke algebra of type D is one of such fixed subalgebras. We also obtain branching rules between those fixed subalgebras and their intersection subalgebra. We determine basic sets of irreducible representations of those fixed subalgebras and their intersection subalgebra by making use of generalized Clifford theory.
Let g be a complex simple Lie algebra, and h be a Cartan subalgebra. In the end of 1990s, B. Kostant defined two filtrations on h, one using the Clifford algebras and the odd analogue of the Harish-Chandra projection $hc: Cl(g) \to Cl(h)$, and the other one using the canonical isomorphism $\check{h} = h^*$ (here $\check{h}$ is the Cartan subalgebra in the simple Lie algebra corresponding to the dual root system) and the adjoint action of the principal sl2-triple. Kostant conjectured that the two filtrations coincide. The two filtrations arise in very different contexts, and comparing them prov…
The purpose of this paper is to bring together various loose ends in the theory of integrable systems. For a semisimple Lie algebra $\mathfrak g$, we obtain several results on completeness of homogeneous Poisson-commutative subalgebras of ${\mathcal S}(\mathfrak g)$ on coadjoint orbits. This concerns, in particular, Mishchenko-Fomenko and Gelfand-Tsetlin subalgebras.
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 …
The theory of quantum symmetric pairs as developed by the second author is based on coideal subalgebras of the quantized universal enveloping algebra for a semisimple Lie algebra. This paper investigates the center of these coideal subalgebras, proving that the center is a polynomial ring. A basis of the center is given in terms of a submonoid of the dominant integral weights.
Let $\mathfrak{g}$ be a finite-dimensional semisimple complex Lie algebra and $θ$ an involutive automorphism of $\mathfrak{g}$. According to G. Letzter, S. Kolb and M. Balagović the fixed-point subalgebra $\mathfrak{k} = \mathfrak{g}^θ$ has a quantum counterpart $B$, a coideal subalgebra of the Drinfeld-Jimbo quantum group $U_q(\mathfrak{g})$ possessing a universal K-matrix $\mathcal{K}$. The objects $θ$, $\mathfrak{k}$, $B$ and $\mathcal{K}$ can all be described in terms of Satake diagrams. In the present work we extend this construction to generalized Satake diagrams, combinatorial data firs…
In the category of semisimple Hopf algebras the Hopf kernels introduced by Andruskiewitsch and Devoto in \cite{AD} coincide with kernels of representation as introduced in \cite{Bker}. Some new results concerning the normality of kernels are also presented. It is proven that the property for Hopf algebras to have all kernels normal Hopf subalgebras is a self dual property.
For any normal commutative Hopf subalgebra $K=k^G$ of a semisimple Hopf algebra we describe the ring inside $kG$ obtained by the restriction of $H$-modules. If $G=\Z_p$ this ring determines a fusion ring and we give a complete description for it. The case $G=\Z_{p^n}$ and some other applications are presented.
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…
If $L$ is a semisimple Lie algebra of vector fields on R^N with a split Cartan subalgebra C, then it is proved that the dimension of the generic orbit of C coincides with the dimension of C. As a consequence one obtains a local canonical form of L in terms of exponentials of coordinate functions and vector fields that are independent of these coordinates -- for a suitable choice of coordinates. This result is used to classify semisimple algebras of vector fields on R^3 and to determine all representations of sl(N, R) as vector fields on R^N. These representations are used to find linearizing c…
An arbitrary proper parabolic subalgebra ${\mathfrak p}$ of a simple complex Lie algebra ${\mathfrak g}$ induces an embedding ${\mathfrak g}\hookrightarrow \mathbb W_n$, and more generally an embedding ${\mathfrak g}\hookrightarrow \mathbb W_n\otimes \operatorname{End}{} V$, where $\mathbb W_n$ is the Weyl algebra in $n$ variables, $n$ is the dimension of the nilradical of ${\mathfrak p}$, and $V$ is an arbitrary ${\mathfrak p}$-module. We give an elementary proof of this known fact, report on a computer program computing the embeddings, and tabulate exceptional Lie algebra embeddings $G_2 \ho…
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$.
From the Levi's Theorem it is known that every finite dimensional Lie algebra over a field of characteristic zero is decomposed into semidirect sum of solvable radical and semisimple subalgebra. Moreover, semisimple part is the direct sum of simple ideals. In \cite{Bar} the Levi's theorem is extended to the case of Leibniz algebras. In the present paper we investigate the semisimple Leibniz algebras and we show that the splitting theorem for semisimple Leibniz algebras is not true. Moreover, we consider some special classes of the semisimple Leibniz algebras and find a condition under which th…
In analogy to the theory of nilpotent orbit in finite-dimensional semisimple Lie algebras, it is known that the principal $\mathfrak{sl}_2$ subalgebras can be constructed in hyperbolic Kac-Moody Lie algebras. We obtained a series of $\mathfrak{sl}_2$ subalgebras in rank 2 symmetric hyperbolic Kac-Moody Lie algebras by extending the aforementioned construction. We present this result and also discuss $\mathfrak{sl}_2$ modules obtained by the action of the $\mathfrak{sl}_2$ subalgebras on the original Lie algebras.
Let $\mathfrak g$ be a finite-dimensional Lie algebra. The symmetric algebra $\mathcal S(\mathfrak g)$ is equipped with the standard Lie-Poisson bracket. In this paper, we elaborate on a surprising observation that one naturally associates the second compatible Poisson bracket on $\mathcal S(\mathfrak g)$ to any finite order automorphism $θ$ of $\mathfrak g$. We study related Poisson-commutative subalgebras $\mathcal C$ of $\mathcal S(\mathfrak g)$ and associated Lie algebra contractions of $\mathfrak g$. To obtain substantial results, we have to assume that $\mathfrak g$ is semisimple. Then w…
