Small semisimple subalgebras of semisimple Lie algebras

Jeb F. Willenbring,Gregg Zuckerman

2004-08-23

Abstract: The main goal of this paper is to prove the following theorem:

Representation Theory

What problem does this paper attempt to address?

Semi-simple Lie algebras are determined by their Iwasawa subalgebras

Jonathan Epstein,Michael Jablonski

2024-01-19

Abstract:Using tools from the geometry of Einstein solvmanifolds, we give a geometric argument that a semi-simple Lie algebra (of non-compact type) is completely determined by its Iwasawa subalgebra. Furthermore, we produce an algebraic procedure for recovering the semi-simple (of non-compact type) from its Iwasawa subalgebra.

Representation Theory,Differential Geometry
Semi-simple Leibniz algebras I

Jörg Feldvoss

2024-01-11

Abstract:The goal of this paper is to describe the structure of finite-dimensional semi-simple Leibniz algebras in characteristic zero. Our main tool in this endeavor are hemi-semidirect products. One of the major results of this paper is a simplicity criterion for hemi-semidirect products. In addition, we characterize when a hemi-semidirect product is semi-simple or Lie-simple. Using these results we reduce the classification of finite-dimensional semi-simple Leibniz algebras over fields of characteristic zero to the well-known classification of finite-dimensional semi-simple Lie algebras and their finite-dimensional irreducible modules. As one consequence of our structure theorem, we determine the derivation algebra of a finite-dimensional semi-simple Leibniz algebra in characteristic zero as a vector space. This generalizes a recent result of Ayupov et al. from the complex numbers to arbitrary fields of characteristic zero.

Rings and Algebras,Representation Theory
Big algebras

Tamás Hausel

2023-11-06

Abstract:Here we announce the construction and properties of a big commutative subalgebra of the Kirillov algebra attached to a finite dimensional irreducible representation of a complex semisimple Lie group. They are commutative finite flat algebras over the cohomology of the classifying space of the group. They are isomorphic with the equivariant intersection cohomology of affine Schubert varieties, endowing them with a new ring structure. Study of the finer aspects of the structure of the big algebras will also furnish the stalks of the intersection cohomology with ring structure, thus ringifying Lusztig's q-weight multiplicity polynomials i.e. affine Kazhdan-Lusztig polynomials.

Representation Theory,Algebraic Geometry
Narrow, wide, and $λ$-wide regular subalgebras of semisimple Lie algebras

Andrew Douglas,Joe Repka

2024-03-09

Abstract:A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. From a finer viewpoint, a subalgebra is $\lambda$-wide if the simple module of a semisimple Lie algebra of highest weight $\lambda$ remains indecomposable when restricted to the subalgebra. A subalgebra is narrow if the restriction of all non-trivial simple modules to the subalgebra have proper decompositions. We determine necessary and sufficient conditions for regular subalgebras of semisimple Lie algebras to be $\lambda$-wide. As a natural consequence, we establish necessary and sufficient conditions for regular subalgebras to be wide, a result which has already been established by Panyushev for essentially all regular solvable subalgebras. Next, we show that establishing whether or not a regular subalgebra of a simple Lie algebra is wide does not require consideration of all simple modules. It is necessary and sufficient to only consider the adjoint representation. Finally, we show that a regular subalgebra of the special linear algebra $\mathfrak{sl}_{n+1}$ is either narrow or wide; this property does not hold for non-regular subalgebras of $\mathfrak{sl}_{n+1}$.

Representation Theory
Regular extreme semisimple Lie algebras

Andrew Douglas,Joe Repka

2024-03-09

Abstract:A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. A subalgebra is narrow if the restrictions of all non-trivial simple modules to the subalgebra have proper decompositions. A semisimple Lie algebra is regular extreme if any regular subalgebra of the semisimple Lie algebra is either narrow or wide. Douglas and Repka previously showed that the simple Lie algebras of type $A_n$ are regular extreme. In this article, we show that, in fact, all simple Lie algebras are regular extreme. Finally, we show that no non-simple, semisimple Lie algebra is regular extreme.

Representation Theory
Subdirect sums of Lie algebras

Dessislava H. Kochloukova,Conchita Martínez-Pérez

DOI: https://doi.org/10.48550/arXiv.1611.03938

2017-11-03

Abstract:We show Lie algebra versions of some results on homological finiteness properties of subdirect products of groups, including a version of the 1-2-3 Theorem.

Rings and Algebras,Group Theory
Commutative avatars of representations of semisimple Lie groups

Tamás Hausel

DOI: https://doi.org/10.1073/pnas.2319341121

2024-09-17

Abstract:Here we announce the construction and properties of a big commutative subalgebra of the Kirillov algebra attached to a finite dimensional irreducible representation of a complex semisimple Lie group. They are commutative finite flat algebras over the cohomology of the classifying space of the group. They are isomorphic with the equivariant intersection cohomology of affine Schubert varieties, endowing the latter with a new ring structure. Study of the finer aspects of the structure of the big algebras will also furnish the stalks of the intersection cohomology with ring structure, thus ringifying Lusztig's q-weight multiplicity polynomials i.e., certain affine Kazhdan-Lusztig polynomials.
The subalgebras of $A_2$

Andrew Douglas,Joe Repka

2024-08-18

Abstract:A classification of the semisimple subalgebras of the Lie algebra of traceless $3\times 3$ matrices with complex entries, denoted $A_2$, is well-known. We classify its nonsemisimple subalgebras, thus completing the classification of the subalgebras of $A_2$.

Rings and Algebras
Cyclic wide subalgebras of semisimple Lie algebras

Andrew Douglas,Joe Repka

2024-04-11

Abstract:Let $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ be a Levi decomposable Lie algebra, with Levi factor $\mathfrak{s}$, and radical $\mathfrak{r}$. A module $V$ of $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ is cyclic indecomposable if it is indecomposable and the quotient module $V /\mathfrak{r}\cdot V$ is a simple $\mathfrak{s}$-module. A Levi decomposable subalgebra of a semisimple Lie algebra is cyclic wide if the restriction of every simple module of the semisimple Lie algebra to the subalgebra is cyclic indecomposable. We establish a condition for a regular Levi decomposable subalgebra of a semisimple Lie algebra to be cyclic wide. Then, in the case of a regular Levi decomposable subalgebra whose radical is an ad-nilpotent subalgebra, we show that the condition is necessary and sufficient for the subalgebra to be cyclic wide. All Lie algebras, and modules in this article are finite-dimensional, and over the complex numbers.

Representation Theory
On converse of the Schur's theorem for nilpotent Lie superalgebras

A. Shamsaki,P. Niroomand,E. Stitzinger

2024-09-16

Abstract:In this paper, we establish a converse to Schur's theorem for Lie superalgebras $ L $, focusing on cases where the minimal generator number pairs $(p \vert q)$ of $ L/Z(L) $ are considered, and where the superdimension $ \mathrm{sdim} L^{2} $ is finite. We introduce a new invariant $ st(L) $, which plays a key role in the classification of finite-dimensional nilpotent Lie superalgebras. Specifically, we classify the structure of all such Lie superalgebras $ L $ when $ st(L) \in \{(0,0), (1,0), (0,1), (2,0), (0,2), (1,1)\} $.

Commutative Algebra,Rings and Algebras
Schur- and Baer-type theorems for Lie and Leibniz algebras

Guram Donadze,Tim Van der Linden

DOI: https://doi.org/10.36045/j.bbms.230609

2023-12-11

Abstract:The aim of this article is to obtain variations on the classical theorems of Schur and Baer on finiteness of commutator subgroups, valid in the contexts of Lie algebras and Leibniz algebras over a field. Using non-abelian tensor products and exterior products, we prove Schur's Theorem for finitely generated Leibniz algebras, both Schur's Theorem and Baer's Theorem for finitely generated Lie algebras, and a version of these theorems for finitely presented Lie algebras.

Rings and Algebras
A linear algebra characterization of the semisimplicity and the simplicity of arbitrary algebras

Antonio J. Calderon Martin

2024-10-03

Abstract:We show that an arbitrary algebra ${ A}$, (of arbitrary dimension, over an arbitrary base field and any identity is not suppose for the product), is semisimple if and only if it has zero annihilator and admits a semi-division linear basis. We also show that $A$ is simple if and only if it has zero annihilator and admits an $i$-division linear basis.

Rings and Algebras
On Simple Actions of Semisimple Lie Algebras

CHEN Zhuo,QI Yuhai

DOI: https://doi.org/10.3321/j.issn:1000-8134.2006.03.008

2006-01-01

Chinese Annals of Mathematics

Abstract:This paper proves that,for any semisimple Lie algebra(or Lie group),its sim- ple action on a connected smooth manifold cannot have stationary points.Moreover,the effective part of this action merely comes from an ideal isomorphic to (?)l(2,(?))(or SL(2,(?))).
Nilpotent Decomposition of Solvable Lie Algebras

Liqun Qi

DOI: https://doi.org/10.48550/arXiv.1903.03776

2019-09-10

Abstract:Semisimple Lie algebras have been completely classified by Cartan and Killing. The Levi theorem states that every finite dimensional Lie algebra is isomorphic to a semidirect sum of its largest solvable ideal and a semisimple Lie algebra. These focus the classification of solvable Lie algebras as one of the main challenges of Lie algebra research. One approach towards this task is to take a class of nilpotent Lie algebras and construct all extensions of these algebras to solvable ones. In this paper, we propose another approach, i.e., to decompose a solvable nonnilpotent Lie algebra to two nilpotent Lie algebras which are called the left and right nilpotent algebras of the solvable algebra. The right nilpotent algebra is the smallest ideal of the lower central series of the solvable algebra, while the left nilpotent algebra is the factor algebra of the solvable algebra and its right nilpotent algebra. We show that the solvable algebras are decomposable if its left nilpotent algebra is an Abelian algebra of dimension higher than one and its right algebra is an Abelian algebra of dimension one. We further show that all the solvable algebras are isomorphic if their left nilpotent algebras are Heisenberg algebras of fixed dimension and their right algebras are Abelian algebras of dimension one.

Rings and Algebras,Commutative Algebra
The minimal number of generators for simple Lie superalgebras

Wende Liu,Liming Tang

DOI: https://doi.org/10.48550/arXiv.1204.2398

2012-04-11

Abstract:Using the classification theorem due to Kac we prove that any finite dimensional simple Lie superalgebra over an algebraically closed field of characteristic 0 is generated by one element.

Mathematical Physics,Rings and Algebras
Semisimplicity of affine cellular algebras

Yanbo Li,Bowen Sun

2023-03-01

Abstract:In this note, we prove that an affine cellular algebra $A$ is semisimple if and only if the scheme associated to $A$ is reduced and 0-dimensional, and the bilinear forms with respect to all layers of $A$ are isomorphisms. Moreover, if the ground ring is a perfect field, then $A$ is semisimple if and only if it is separable. We also give a sufficient condition for an affine cellular algebra being Jacobson semisimple.

Rings and Algebras,Representation Theory
Subalgebras of Lie algebras. Example of sl(3,R) revisited

Yevhenii Yu. Chapovskyi,Serhii D. Koval,Olha Zhur

2024-07-03

Abstract:Revisiting the results by Winternitz [Symmetry in physics, CRM Proc. Lecture Notes 34, American Mathematical Society, Providence, RI, 2004, pp. 215-227], we thoroughly refine his classification of Lie subalgebras of the real order-three special linear Lie algebra and thus present the correct version of this classification for the first time. A similar classification over the complex numbers is also carried out. We follow the general approach by Patera, Winternitz and Zassenhaus but in addition enhance it and rigorously prove its theoretical basis for the required specific cases of classifying subalgebras of real or complex finite-dimensional Lie algebras. As a byproduct, we first construct complete lists of inequivalent subalgebras of the rank-two affine Lie algebra over both the real and complex fields.

Mathematical Physics,Representation Theory
G-semisimple algebras

Rasool Hafezi,Abdolnaser Bahlekeh

2024-02-22

Abstract:Let $\Lambda$ be an Artin algebra and ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}\Lambda)$ the category of finitely presented functors over the stable category ${\underline{\mathsf{Gprj}}}\mbox{-}\Lambda$ of finitely generated Gorenstein projective $\Lambda$-modules. This paper deals with those algebras $\Lambda$ in which ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}\Lambda)$ is a semisimple abelian category, and we call G-semisimple algebras. We study some basic properties of such algebras. In particular, it will be observed that the class of G-semisimple algebras contains important classes of algebras, including gentle algebras and more generally quadratic monomial algebras. Next, we construct a fully faithful functor from the stable category of Gorenstein projective representations ${\underline{\mathsf{Gprj}}}(\mathcal{Q}, \Lambda)$ of a finite acyclic quiver $\mathcal{Q}$ to the category of representations ${\rm rep}(\mathcal{Q}, {{\underline{\mathsf{Gprj}}}} \mbox{-} \Lambda)$. Furthermore, it is shown that this is an equivalence, provided $\Lambda$ is a G-semisimple algebra over an algebraic closed field. Using this, we will show that the path algebra $\Lambda\mathcal{Q}$ of the G-semisimple algebra $\Lambda$ is Cohen-Macaulay finite if and only if $\mathcal{Q}$ is Dynkin. In the last part, we provide a complete classification of indecomposable Gorenstein projective representations within ${\mathsf{Gprj}}(A_n, \Lambda)$ of the linear quiver $A_n$ over a G-semisimple algebra $\Lambda$. We also determine almost split sequences in ${\mathsf{Gprj}}(A_n, \Lambda)$ with certain ending terms. We apply these results to obtain insights into the cardinality of the components of the stable Auslander-Reiten quiver ${\mathsf{Gprj}}(A_n, \Lambda)$.

Representation Theory
Semisimple elements and the little Weyl group of real semisimple $Z_m$-graded Lie algebras

Willem de Graaf,Hông Vân Lê

2024-04-22

Abstract:We consider the semisimple orbits of a Vinberg $\theta$-representation. First we take the complex numbers as base field. By a case by case analysis we show a technical result stating the equality of two sets of hyperplanes, one corresponding to the restricted roots of a Cartan subspace, the other corresponding to the complex reflections in the (little) Weyl group. The semisimple orbits have representatives in a finite number of sets that correspond to reflection subgroups of the (little) Weyl group. One of the consequences of our technical result is that the elements in a fixed such set all have the same stabilizer in the acting group. Secondly we study what happens when the base field is the real numbers. We look at Cartan subspaces and show that the real Cartan subspaces can be classified by the first Galois cohomology set of the normalizer of a fixed real Cartan subspace. In the real case the orbits can be classified using Galois cohomology. However, in order for that to work we need to know which orbits have a real representative. We show a theorem that characterizes the orbits of homogeneous semisimple elements that do have such a real representative. This closely follows and generalizes a theorem from \cite{bgl}.

Representation Theory,Differential Geometry,Group Theory,Rings and Algebras

Small semisimple subalgebras of semisimple Lie algebras

Semi-simple Lie algebras are determined by their Iwasawa subalgebras

Semi-simple Leibniz algebras I

Big algebras

Narrow, wide, and $λ$-wide regular subalgebras of semisimple Lie algebras

Regular extreme semisimple Lie algebras

Subdirect sums of Lie algebras

Commutative avatars of representations of semisimple Lie groups

The subalgebras of $A_2$

Cyclic wide subalgebras of semisimple Lie algebras

On converse of the Schur's theorem for nilpotent Lie superalgebras

Schur- and Baer-type theorems for Lie and Leibniz algebras

A linear algebra characterization of the semisimplicity and the simplicity of arbitrary algebras

On Simple Actions of Semisimple Lie Algebras

Nilpotent Decomposition of Solvable Lie Algebras

The minimal number of generators for simple Lie superalgebras

Semisimplicity of affine cellular algebras

Subalgebras of Lie algebras. Example of sl(3,R) revisited

G-semisimple algebras

Semisimple elements and the little Weyl group of real semisimple $Z_m$-graded Lie algebras