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
1
vote
1 answer

calculating Jacobi identity with 5 elements in basis

I have been given an anticommutative $\mathbb{k}$-algebra $L$ with basis $\{a,b,c,d,e\}$ . I need to verify that $L$ is a Lie algebra, i.e the Jacobi identity $=0$ for any three elements $\in L$. My question is, is there a quicker way to show the…
1
vote
0 answers

meaning of conjugate Cartan subalgebras

what does it mean that all Cartan subalgebras are conjugate under automorphisms of the Lie algebra if the field is algebraically closed?
badan
  • 25
1
vote
0 answers

Is there a more intelligent way to compute the determinant of the Killing form of $\mathfrak{sl}(3,F)$?

Is there a more intelligent way to tackle exercise 7 of paragraph 5 of Humphreys (Introduction to Lie Algebras and Representation Theory)? Exercise 7: Relative to the standard basis of $L = \mathfrak{sl}(3,F)$, compute the determinant of the…
AYK
  • 929
1
vote
0 answers

Where does the $-k\delta$ part of the expression for weights come from?

Consider the affine Lie algebra with the Cartan matrix $$ \left(\begin{array}{cc} 2 & -2\\ -2 & 2 \end{array}\right) $$ Let $\omega_{0}$ be the zeroth fundamental weight, $\alpha_1$ the first root, and $\delta$ the imaginary root. We wish to prove…
Jake
  • 317
1
vote
1 answer

Construct representation of Lie algebra

Consider the 3D Lie algebra with the following defined: $ [x,y] = z $, $ [x,z]=0 $, $ [y,z]=0 $ From this, I want to get a little help how to start finding a 3D representation by $3\times 3$ real matrices. I don't know how to begin.
Andrei
  • 13
1
vote
2 answers

Decomposition of Lie algebras using Weyl's Reducibility

Suppose I have a semisimple ideal $\mathfrak{g}$ of a Lie algebra $\mathfrak{l}$, is it possible to uniquely write $\mathfrak{l}=\mathfrak{g}\oplus\mathfrak{i}$ where $\mathfrak{i}\subset\mathfrak{l}$ is an ideal? I was told to use Weyl's complete…
Xuxu
  • 1,174
1
vote
2 answers

Centre of Lie Algebra $sl_2(\mathbb{F})$

For $L=sl_2(\mathbb{F})$ i.e. matrices with trace zero, what is the centre i.e. $Z(L)$= {$x\in L : [x,y]=[y,x] \ \forall\ y \in L$}. I will have to find matrices $A \in L$ such that $AB=BA$ for all $B \in L$. But how to appoach this considering…
1
vote
1 answer

Basis for adjoint representation of $sl(2,F)$

Consider the lie algebra $sl(2,F)$ with standard basis $x=\begin{bmatrix} 0 & 0 \\ 1 & 0 \end{bmatrix}$, $j=\begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix}$, $h=\begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}$. I want to find the casimir element of the…
Edison
  • 3,508
1
vote
1 answer

How can the existence of this expression with Cartan matrix be shown using Killing form?

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra. Let $\mathfrak{h}$ be a Cartan subalgebra, $C$ the Cartan matrix, and $R$ a system of simple roots $\left(\alpha_{1},\cdots,\alpha_{n}\right)$. Using the following fact The Killing form…
Jake
  • 317
1
vote
2 answers

Name of specific solvable Lie Algebra of dimension 4

I have a Lie algebra comprised of the generators $\{e_1,e_2,e_3,e_4\}$ for which the only non-zero commutators are $$ [e_4,e_2]=-i e_3 $$ $$ [e_4,e_3]= i e_2 $$ (Excuse the physicist notation, for mathematicians the generators are actually…
qgp07
  • 185
0
votes
1 answer

Some examples for Lie algebras

I need some small examples for Lie algebras over finite fields ( GF(2) or GF(3)) including some simple Lie algebras and some others which are not simple. And I would be thankful if anyone could give the details for their basis and the matrices of…
Nil
  • 1,306
0
votes
1 answer

How can we compute a Lie bracket for powers of elements of given lie algebra?

Let $L$ be a lie algebra over finite field, for $ x,y$ in $L$ I want to solve the following bracket: $[yx^k,x]=?$ How can we describe that in the format of $[...[y,x],x],...,x]=[y,x]_i$ ($i-times$)
Nil
  • 1,306
0
votes
0 answers

Toral sub algebra

It seems to me, I could be wrong, that the toral sub algebra goes against the following rules: For a semisimple Lie algebra: If the killing form is nondegenerate the Lie algebra is semi simple-> the toral algebra is nilpotent If the lie algebra is…
dylan7
  • 1,226
0
votes
1 answer

Root space question

Do the roots of a root space decomposition have a kernel? Since it is the duel space to the cartan subalgebra ,evaluation of the roots on a non-equal index cartan basis element should be zero. Thanks
dylan7
  • 1,226
0
votes
1 answer

How can I describe Lie bracket for formal product of elements of Lie algebras

Let L be a Lie algebra with basis $B=\{x_1,...,x_{10}\}$, Is there any property to describe the following lie bracket: for example how I can decompose $[x_1 x_2 x_3 , x_5]=$? Here $x_1 x_2 x_3$ is the formal product of the elements of Lie algebra.
Nil
  • 1,306