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
0 answers

Matrix Lie Algebra isomorphic to a vector field Lie algebra on $\mathbb{R}^{3}$ .

Let $\ell$ be the vector field Lie algebra on $\mathbb{R}^{3}$ generated by the set $\{X,Y,Z\}$ where, $$X=y\frac{\partial}{\partial z}-z\frac{\partial}{\partial y},\ Y=z\frac{\partial}{\partial x}-x\frac{\partial}{\partial z} \quad \mbox{and}…
1
vote
0 answers

Injecting Leibniz algebras in its enveloping algebra

Leibniz algebra $L$ is defined as a vector spaces that satisfies the Leibniz rule. In fact, every Lie algebra is a Leibniz algebra. In the case of Lie algebras we know that Lie algebras inject to the enveloping algebra. What can we mention that…
Nil
  • 1,306
1
vote
1 answer

Finding the structure constants of $sl(2,F)$

I am doing an exercise to find the structures constants of $sl(2,F)$ given the basis elements $x_1 = \begin{bmatrix} 0, 1\\ 0,0\end{bmatrix}, x_2 = \begin{bmatrix} 0 , 0 \\ 1, 0\end{bmatrix}, x_3 = \begin{bmatrix} 1 , 0 \\ 0, -1\end{bmatrix}$. I…
hirotaFan
  • 301
1
vote
0 answers

Abstract Jordan decomposition maybe not exist

This note defines the abstract Jordan decomposition in an arbitrary Lie algebra. Abstract Jordan decomposition in a Lie algebra is unique when it exists iff its centre is zero. It seems that the abstract Jordan decomposition maybe not exist even…
Strongart
  • 4,767
1
vote
2 answers

Nilpotency and 2 dimensional abelian lie subalgebras

I am wondering is it really necessary to use the adjoint version of Engel’s theorem to prove that if every 2 dimensional lie sub-algebra of a given Lie algebra L is abelian then L is nilpotent? I wonder about that because you can write every 2…
1
vote
0 answers

Show that $\mathfrak{gl}_3(\mathbb{C}) = \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{s}_3(\mathbb{C})$

Question: Show that $\mathfrak{sl}_3(\mathbb{C})$ and $\mathfrak{s}_3(\mathbb{C})$ are ideals in $\mathfrak{gl}_3(\mathbb{C})$ and $\mathfrak{gl}_3(\mathbb{C}) = \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{s}_3(\mathbb{C})$. My attempt: For all…
1
vote
1 answer

Nilpotence criterion for solvable Lie algebras

Let $\mathfrak{g}$ be solvable Lie algebra. Lie’s theorem states, that adjoint representation is a homomorphism $\operatorname{ad}:\mathfrak{g}\to \mathfrak{t}$, where $\mathfrak{t}$ is an algebra of upper-triangular matrices. Let…
1
vote
1 answer

About Levi factor of a standard parabolic subalgebra

Let $\mathfrak{g}$ be a complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$. Fix a Borel subalgebra $\mathfrak{b}$ containing $\mathfrak{h}$ and a parabolic subalgebra $\mathfrak{p}$ containing $\mathfrak{b}$. Let $I…
1
vote
1 answer

Doubt in the proof of Ado's theorem

I am currently going through a proof of Ado's theorem. I am stuck in one step. Suppose $\mathfrak{g}$ is a solvable Lie algebra which is not nilpotent. Then one can show that there is an ideal $\mathfrak{a}$ of codimension 1 which contain…
nobody
  • 593
1
vote
1 answer

A basic example to understand the concept of "Weight"

Let $A=b(2,\mathbb{R})$ be he Lie subalgebra of upper triangle matrices of $gl(2,\mathbb{R})$. It is clear that $e_1=(1,0)$ is an eigenvector for $A$, because it is an eigenvector for every element of $A$; that is, $a(v) \in Span\{(1,0)\}$ for every…
Nil
  • 1,306
1
vote
2 answers

Self-dual Lie Algebra representation

If $V$ is a Lie algebra $L$ module, then I want to know whether if $V$ and $V^*$ are isomorphic as $L$ modules then there is a basis for $V$ in which the matrices representing the action of $L$ are all skew-symmetric. If there is a basis $(e_i)$ for…
nobody
  • 593
1
vote
0 answers

Show $H \cap L_i$ is a Cartan subalgebra of $L_i$

Suppose we have a semisimple complex Lie algebra $L$, with a Cartan subalgebra $H$. Suppose that $L= L_1 \oplus\cdots\oplus L_k$ with each $L_i$ a simple ideal of $L$. I want to show that $H_i=H \cap L_i$ is a Cartan subalgebra of $L_i$. For this I…
1
vote
0 answers

System of roots

Let $\Phi$ an irreducible system of roots, $\Phi^{+} \subset \Phi$ a choose of positive roots. I have to prove that if $(\alpha, \beta) \ge 0$ for al $\beta \in \Phi^{+}$ then $\alpha$ is the highest among roots of the same lenght. I have a long…
ArthurStuart
  • 4,932
1
vote
1 answer

Finding quotients of Lie algebras $L$ with their centre $Z(L)$ and $[L,L]$

I am currently trying to find the quotient Lie algebra of $L=gl(2,\mathbb{C}),sl(2,\mathbb{C}),u(2,\mathbb{C})$ and $b(3,\mathbb{C})$, when quotiented with both their centre $Z(L)$ and also $[L,L]$. For $gl(2,\mathbb{C})$ I believe I have found the…
1
vote
1 answer

Connection between a Lie algebra's root system and it's Lie bracket

I have for some time been trying to understand what the root systems of Lie algebras "mean". I understand that vaguely speaking, the Lie algebra is the derivative of the corresponding Lie group at the identity, and the Lie bracket corresponds to the…