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

If L is nilpotent then $K\cap L^n \not=0$

Let $K$ be a proper ideal of a nilpotent Lie algebra $L$. If the nilpotency class of $L$ is $n$ (i.e $L^n\not = 0, L^{n+1}=0$). Is it correct that $K\cap L^n \not=0$?
Ronald
  • 4,121
1
vote
0 answers

Product of root multiplicities in Kac-Moody algebras

Let $\mathfrak{g}$ be a Kac-Moody Algebra with GCM $A$. Let $\alpha$ and $\beta$ be two roots not necessarily real and $g_\alpha$ and $g_\beta$ be the corresponding weight spaces of dimension $\operatorname{mult} \alpha$ and $\operatorname{mult}…
GA316
  • 4,324
  • 27
  • 50
1
vote
2 answers

Computation of killing form

The killing form is denoted by $ B $. We know that for all $ X,Y \in gl\left(n,\mathbb{R}\right) $ $$ B\left(X,Y\right)=2n\ tr\left(XY\right)-2\ tr\left(X\right)tr\left(Y\right) $$ So for $ X,Y \in so\left(n,\mathbb{R}\right) $, $$…
1
vote
0 answers

determining whether Lie algebra is enlarged by new generator

Is there a simple criterion to determine whether, given a set of generators $A_1,\ldots,A_n$ of a Lie subalgebra $\mathfrak{h}\subset\mathfrak{g}$, adding a new element $B\in\mathfrak{g}$ will enlarge the subalgebra? Clearly if $B$ is in the linear…
Jeffrey
  • 484
1
vote
0 answers

3-dim Lie algebras

If $\mathfrak g$ is a three dimensional Lie algebra and $[\mathfrak g,\mathfrak g]=\mathfrak g$. How to prove that there is a basis $\{x,y,z\}$ such that either $[x,y]=z, [y,z]=x, [z,x]=y$ or $[x,y]=2y, [x,z]=-2z,[y,z]=x$. In case the field is…
Ronald
  • 4,121
1
vote
0 answers

Special linear Lie algebra.

When I am reading the Notes on Lie algebra by Hans Samelson, there is a sentence: The standard skew-symmetric (exterior) form $det[X, Y ] = x_1y_2−x_2y_1$ on $\mathbb{C}^2$ is invariant under $sl(2,\mathbb{C})$ (precisely because of the vanishing…
userabc
  • 377
1
vote
2 answers

$\mathfrak{sl}_2(\mathbb{R})$ and $\mathbb{R}^3$ as subalgebras of $\mathfrak{sl}_2(\mathbb{C})$

I have an exercise which asks to prove that the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$ contains the real, non-isomorphic subalgebras $\mathfrak{sl}_2(\mathbb{R})$ and $\mathbb{R}^3$ and to show further that - as vector spaces - each of these two…
1
vote
1 answer

The set of ideals of a solvable lie algebra L is a chain?

I know that every finite dimensional lie algebra over a field $\mathcal{F}$ has a unique maximal solvable ideal, all subalgebras of a solvable lie algebra are also solvable, and a sum of solvable lie algebras is solvable. For a solvable lie…
bing
  • 1,160
1
vote
0 answers

Length of root strings

Let $a,b$ be roots ($a\ne \pm b$) of a Lie algebra $g$ of type $X$, where $X$ can be classic or exceptional $(A,B,C,D,E,F,G)$. It is well known that the length of an $a$-string through $b$ is at most 4. What are all types of $g$ such that: 1) $a+b$…
Binai
  • 1,365
1
vote
0 answers

Inverse boson operator realization of $\mathfrak{so}(3)$

This is actually a homework problem. The inverse boson operators $a^{-1}$ and $\left(a^\dagger\right)^{-1}$ are defined as $$a^{-1} |n\rangle = \frac{1}{\sqrt{n+1}} |n+1\rangle$$ $$\left(a^\dagger\right)^{-1} |n\rangle =…
1
vote
1 answer

Free (nilpotent) Lie algebras

If $F$ is a free Lie algebras of finite rank $n\gt 1$. When $\dim (F) $ and $\dim (F/\gamma_{n+1}(F))$ is infinity, in where $\gamma_n (X)$ is the $n-$term of lower central series $X$. Thanks for your comments
Takjk
  • 77
1
vote
0 answers

set of roots satisfying a minimal condition related to the induced Killing form

Let $\mathfrak{g}$ a finite-dimensional complex simple Lie algebra with Cartan subalgebra $\frak h$. Let denote $(\cdot,\cdot)$ the non-degenerate bilinear form on $\frak h^*$ induced by the Killing form of $\frak g$. Denote by $R$, $P$ and $P^+$…
Angelo
  • 11
  • 3
1
vote
1 answer

2-dimensional derived subalgebra of 3-dimensional Lie algebra is abelian

I saw a question which was about a 3-dimensional Lie algebra with a 2-dimensional derived subalgebra, and it was asserted that the derived subalgebra must be abelian. If $\mathfrak{g}$ is 3-dimensional with 2-dimensional derived subalgebra…
1
vote
2 answers

Isomorphic Lie algebras

If I have two abelian Lie Algebra $L_{1} $ and $L_2$, then they are isomorphic if and only if they have the same dimension. I would a example of two Lie algebras(not abelian) that have the same dimension but they are not isomorphic.
1
vote
1 answer

Weights of $\mathfrak{sl}_2(\mathbb{C})$ representation

The Cartan subalgebra of $\mathfrak{sl}_2(\mathbb{C})$ is $$\mathfrak{h} = \mathbb{C} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$$ which is $1$-dimensional and hence can be identified with $\mathbb{C}$. Now, given real numbers $\alpha,\beta \in…
nigel
  • 3,214