Questions tagged [lie-algebras]

For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term “Lie algebra” (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name “infinitesimal group” is used.

Concretely, a Lie algebra $\mathfrak{g}$ over a field $\mathbf{k}$ is a $\mathbf{k}$-vector space equipped with an alternating bilinear multiplication $[{-}\,{-}]\colon \mathfrak{g} \wedge \mathfrak{g} \to \mathfrak{g}$ called the Lie bracket that satisfies the Jacobi identity:

$$\big[x\,[y\,z]\big] + \big[z\,[x\,y]\big] + \big[y\,[z\,x]\big] = 0$$

Examples

  • $\mathbb{R}^3$ endowed with the cross product forms a Lie algebra.

  • For any any associative algebra $A$ with multiplication $\cdot$, you can define a Lie bracket on $A$ as a literal commutator between two elements, $[v\,w]= v\cdot w-w\cdot v\,,$ making $A$ into a Lie algebra.

6730 questions
4
votes
1 answer

Problem 4.4 - Lie Algebras - Humphreys

I read the exercise 4.4 in the book Introduction to Lie algebras and representation theory of J. Humphreys, and I do not quite understand the sentence : We start with $L\leq\mathfrak{gl}(p,F)$ as in Exercise 4.3, and let $M:=L+F^p$, the direct sum.…
9999
  • 959
4
votes
2 answers

How to construct Dynkin diagrams for semisimple Lie algebras?

My question is: How can I construct the Dynkin diagrams of a semisimple Lie algebra $L$ which is the direct sum of simple Lie algebras, such as for example $\text {su}(2)\oplus\text{su}(2)\oplus\text{su}(2)$? Is it the combination of Dynkin diagrams…
user30656
  • 121
4
votes
1 answer

$L=[LL]$ for classical algebras

When $\operatorname{char}F=0$, show that each classical algebra $L=A_l,B_l,C_l$ or $D_l$ is equal to $[LL]$. Since $L$ is a Lie algebra, we know that if $x,y\in L$, then $[x,y]=xy-yx\in L$. So $[LL]\in L$. We have to show that $L\in [LL]$, i.e.…
PJ Miller
  • 8,193
4
votes
1 answer

Statement on Lie Group and Lie Algebra Homomorphisms

I am reading J.J.Duistermaat and J.A.C.Kolk's Lie Groups. I cannot figure out (1.8.6). The textbook said and I quote: Because $ad$ is a Lie algebra homomorphism: $\mathfrak g\to\mathfrak{gl(g)}$, one has $e^{ad(ad\,X)}\circ…
4
votes
2 answers

Weyl group of the Lie algebra $\mathfrak{sl}_n$

The Weyl group of the Lie algebra $\mathfrak{sl}_n$ is just the symmetric group on $n$ elements, $S_n$. The action can be realized as follows. If $\mathfrak{h}$ is the Cartan subalgebra of all diagonal matrices with trace zero, then $S_n$ acts on…
Vasco
  • 134
4
votes
2 answers

SO(2,1) not connected

I am trying to show that $SO(2,1)$ is not connected but I have no idea where to start really, I know that it is connected if there is a path between any two points. My definition of $SO(2,1)$ is: $SO(2,1)=\{X\in Mat_3(\mathbb{R}) \mid X^t\eta…
hmmmm
  • 5,616
4
votes
0 answers

Any two nondegenerate symmetric associative bilinear forms on simple Lie algebra differ by multiplying a constant.

Let $L$ be a simple Lie algebra. Let $\beta (x ,y)$ and $\gamma (x ,y)$ be two symmetric associative bilinear forms on $L$. If $\beta,\gamma$ are nondegenerate, prove that $\beta$ and $\gamma$ are proportional. (Here “associative” means that …
4
votes
1 answer

Centralizer of an element in a Cartan subalgebra is reductive.

Let $\mathfrak{g}$ be a Lie algebra with Cartan subalgebra $\mathfrak{h}$ and root system $\Phi$. Show that $C_\mathfrak{g}(h)$ is reductive, that is $Z(C_\mathfrak{g}(h))=Rad(C_\mathfrak{g}(h))$, for all $h\in\mathfrak{h}$. For brevity, put…
Bey
  • 3,893
4
votes
1 answer

Exercise in Erdmann's Intro to Lie algebras

I'm working on question 4.8 on page 36 of Erdmann and Wildon's book called Introduction to Lie Algebras. The question is as follows: Let $L$ be a Lie algebra over a field $F$, such that $[a,b],b]=0$ for all $a,b \in L$. (i) If $Char(F) \neq 3$,…
4
votes
1 answer

How to show the isomorphic nature of two Lie algebra projections.

Suppose that L = L1 ⊕ L2 is the direct sum of two Lie algebras. Now suppose that L1 and L2 do not have any non-trivial proper ideals. Let J be a proper ideal of L. Show that if J ∩ L1 = 0 andJ ∩ L2 = 0, then the projections p1 : J → L1 and p2 : J →…
Rusk
  • 139
4
votes
1 answer

Determining that the inner derivations of a Lie algebra are an ideal of the derivations of a Lie algebra

To say more explicitly if we state that L is a Lie algebra: Show that if IDerL is the set of inner derivations of L, then IDer L is an ideal of Der L To give some of my thinking, the adjoint map "ad x" maps to the inner derivations, and since an…
Rusk
  • 139
4
votes
1 answer

Only 3 finite-dimensional Lie algebra on $\mathbf R$?

Please, how does one show that up to diffeomorphisms there are exactly three finite dimensional Lie algebras of vector fields on the real line $\mathbf R$, namely $\{\partial_x\},\{\partial_x, x\partial_x\},\{\partial_x, x\partial_x, x^2…
Nate
  • 41
4
votes
1 answer

Tensor product Lie algebras

How can I show that $\mathfrak{so}(3, \mathbb{R}) \otimes \mathbb{C} \simeq \mathfrak{sl}(2)$? Is there a way that doesn't involve systems of roots?
ArthurStuart
  • 4,932
4
votes
1 answer

Centre of $\mathfrak {sl}_{3}\mathbb{C} $ Lie algebra

$\mathfrak {sl}_{3}\mathbb{C}$ is the Lie algebra of $3\times3$ matrices with complex entries and trace $0$ and Lie bracket $[X,Y] = XY-YX \hspace{3mm} \forall \hspace{3mm} X,Y\in \mathfrak {sl}_{3}\mathbb{C}$. The centre of $\mathfrak …
4
votes
1 answer

$L$-submodules of universal enveloping algebra of $L$

Let $L$ be a Lie algebra of finite dimension and $U(L)$ be its universal enveloping algebra. For every $x\in L$, define $ad_x:U(L)\rightarrow U(L)$ by $ad_x(t)=xt-tx$ for $t\in U(L)$. Following is an exercise in Humphreys' Lie algebra: Prove that…
Beginner
  • 10,836