Questions tagged [semisimple-lie-algebras]

A simple Lie algebra is non-abelian Lie algebra with no nontrivial ideals. A semisimple Lie algebra is a Lie algebra which is the direct sum of simple Lie algebras. This tag is for questions about semisimple Lie algebras, including their classification and correspondent to root systems and Dynkin diagrams.

A simple Lie algebra is non-abelian Lie algebra $\mathfrak{g}$ whose only ideals are $\{0\}$ and $\mathfrak{g}$. A semisimple Lie algebra is a Lie algebra which is the direct sum of simple Lie algebras. Every finite dimensional Lie algebra can be decomposed as the semidirect product of a solvable ideal and a semisimple subalgebra (this is the Levi decomposition).

Semisimple Lie algebras over an algebraically closed field are completely classified by their root systems) which, in turn, correspond to a collection of Dynkin diagrams. This, together with the Levi decomposition, make semisimple Lie algebras objects of interest in representation theory.

420 questions
15
votes
1 answer

When will two isomorphic Lie algebras have the same representation?

What feature(s) of isomorphic Lie algebras distinguish between their respective representations? When will two isomorphic Lie algebras have the same or different representations? My particular case study to which this general question applies is…
14
votes
2 answers

How are $SU(n)$, $SL(n)$ and $\mathfrak{sl}(n,\mathbb{C})$ related?

In the case of the root system $A_{n-1}$, I want to understand the correspondence between the Lie group and the Lie algebra. Please help me understand the relationship between the Lie groups $SU(n)$ and $SL(n)$ and the Lie algebra…
11
votes
1 answer

$L / \operatorname{Rad} L$ is semisimple for an arbitrary Lie algebra $L$

I found the following statement in Humphreys’ book, “Introduction to Lie Algebras and Representation Theory”, in the first chapter, Section 3.1: Notice that for arbitrary (Lie algebra) $L$, $L / \operatorname{Rad} L$ is semisimple. And as…
10
votes
2 answers

Is every element of a complex semisimple Lie algebra a commutator?

Let $L$ be a (finite-dimensional) complex semisimple Lie algebra. Then we know that $L = [L,L]$. Is it true that every element of $L$ must be a commutator? Since a complex semisimple Lie algebra is a direct sum of simple Lie algebras, this question…
10
votes
1 answer

Kac-Moody algebras/groups for reductive groups

The question in brief is: can $\mathfrak{gl}_n$ be constructed as a Kac-Moody algebra, and can $\operatorname{GL}_n$ be constructed as a Kac-Moody group in a compatible way? In general, given any root datum, can we construct the corresponding Lie…
10
votes
2 answers

Good source of references for the classification of real semisimple Lie algebras

We know that each complex semisimple lie algebra $L$ is a direct sum of a chosen Cartan subalgebra $H$ and finitely many weight spaces, each of which is associated with an element in $H^*=\operatorname{Hom}(H,\mathbb{C})$, also known as a root. The…
10
votes
1 answer

Why is a root system called a "root" system?

Root systems plays an important role in, among other things, classifying semisimple Lie Algebras. Their name suggest that they have something to do with "roots" of a polynomial. Are they the roots of some polynomial? Where does the name "root…
8
votes
1 answer

What is the importance of Cartan decomposition of a semi-simple Lie algebra?

I just started learning about Cartan decomposition of semi-simple Lie algebras, and I'm curious to know what are their applications in studying semi-simple Lie algebras. My guess was that it might be helpful in their classification, but when I…
8
votes
1 answer

There are no semisimple Lie algebras of dimension $4$, $5$, or $7$

I came across the claim here which states that there are no complex semisimple Lie algebras of dimension $4$, $5$, or $7$. As the problem suggests, we can take a Cartan subalgebra $H$ and root system $\Phi$ so that…
8
votes
1 answer

Is requiring diagonalizable adjoints vacuous in the definition of Cartan subalgebra?

One of the definitions of Cartan subalgebra $\mathfrak{h}$ of a semisimple Lie algebra $\mathfrak{g}$ one can find in the literature is that it is a maximal abelian subalgebra has the property that $ad_h$ is diagonalizable for all…
Filip
  • 489
7
votes
1 answer

Prove Lie algebra $L=\{x\in \mathfrak{gl}_n:xA+Ax^{T}=0\}$ is semisimple

Let $L=\{x\in \mathfrak{gl}_n(\mathbb{C}):xA+Ax^{T}=0\}$ with $A=\begin{pmatrix} 13 & 7 & 1 & 2 & -1 & 1 & 5\\ 9 & 6 & 3 & 4 & 1 & 1 & 4 \\ 5 & 3 & 2 & 3 & 2 & 10 & 1 \\ 4 & 2 & 1 & 2 & 1 & 4 & 1 \\ 1 & 1 & 0 & 1 & 1 & 5 & 0 \\ 3 & 1 & −10 & −4 & −5…
idocomb
  • 349
7
votes
0 answers

Characters of Lie algebra representations

1.Three definitions Let $\mathfrak g$ be a Lie algebra over a field $k$. Let $(V, \rho)$ be a $\mathfrak g$-representation. In class I was presented with various definitions of characters of $(V, \rho)$. First case: $(V, \rho)$ a one-dimensional…
7
votes
1 answer

Subalgebra consisting of nilpotent elements and maximal is conjugate under $\mathscr E(L)$ to $N(\Delta)$

(Question 16.2 of Humphreys's book Introduction to Lie algebras) Let $L$ be semisimple, $H$ a Cartan Subalgebra, $\Delta$ a base for the root system $\Phi$. Prove that any subalgebra of $L$ consisting of nilpotent elements, and maximal with respect…
user2345678
  • 3,015
7
votes
1 answer

Every Lie algebra endomorphism of $\mathfrak{so}(3)$ is given by the anticommutator with a symmetric matrix.

I want to prove that for every Lie algebra endomorphism $T$ on $\mathfrak g=\mathfrak{so}(3)$, there exists a symmetric $3\times 3$ matrix $B$ such that $T( x)=Bx+xB$ for all $x \in \mathfrak g$. I cannot figure this out. Edit: This is a problem in…
7
votes
1 answer

Inner automorphisms of a real semisimple Lie algebra

There are at least two ways of defining the inner automorphisms of a real Lie algebra $\mathfrak{g}$. One is the algebraic definition: an inner automorphism is $\exp (\text{ad} X)$, where $X$ is an nilpotent element of $\mathfrak{g}$. The other is…
1
2 3
27 28