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

Lie Algebras: do we have special correspondence theorem?

I've this doubt from proof in book of Humphreys Lie Algebras, chapter 2, first theorem: we have a solvable algebra $\;L\le \mathfrak g\mathfrak l(V)\;,\;\;\dim V<\infty\;$ and $\;V\neq0\;$ . Then V contains a common eigenvector for all elements in…
user351910
0
votes
1 answer

How do you compute the group of inner automorphisms of a given Lie algebra?

How do you compute the group of inner automorphisms of a given Lie algebra? It seems as a dumb question to me, but I wasn't able to find the answer anywhere. I know that the group of inner automorphisms of Lie algebra $L$ is generated by elements…
Daniel
  • 448
0
votes
0 answers

the set of positive roots that can't be written as the sum of a specific root and another positive root

$\newcommand{\g}{\mathfrak{g}}$ I have a finite question: Let $\g$ be a finite dimensional semisimple lie algebra and let a choice of a weyl chamber be made. If $\gamma>0$ is a particular positive root, then is the set $R_\gamma$ of positive roots…
user062295
  • 1,343
0
votes
1 answer

A step in Victor Kac's book regarding the casimir element

$\newcommand{\g}{\mathfrak{g}}$ $\newcommand{\h}{\mathfrak{h}}$ Let $\mathfrak g$ be a a lie algebra with a given cartan matrix $A$, invariant billinear form $(|)$ and root space decomposition $ \mathfrak g=\h \oplus_{\alpha > 0 } (g_\alpha \oplus…
user062295
  • 1,343
0
votes
1 answer

What does $\mathrm{sl}_1(B)$ mean when $B$ is a quaternion algebra over a field?

I encountered this in a paper, and I don't know what it actually means. Let $K$ be a finite extension of $\mathbf Q_p$, $B$ a central simple algebra of degree $2$ over $K$, and consider the Lie algebra $\mathrm{sl}_1(B)$. (I realise Lie algebras…
user583416
0
votes
1 answer

What is the Cartan matrix of type $A_1 \times A_1$?

The Cartan matrix of type $A_2$ is $\left( \begin{matrix} 2 & -1 \\ -1 & 2 \end{matrix} \right)$. What is the Cartan matrix of type $A_1 \times A_1$? Thank you very much.
LJR
  • 14,520
0
votes
1 answer

About frattini subalgebra

why if $C$ is a subalgebra of $A$ and $B$ is an ideal of $A$ contained in $F(C)$, then $B$ is contained in $F(A)$? $F(A)$ is Frattini subalgebra of $A$. Can I use this for Leibniz algebras?
pink floyd
  • 1,274
0
votes
1 answer

an example of automorphisms of Lie algebras: not clear the upshot

I was following Humphreys Lie algebra, and in first chapter, I came across following example: I understood/verified each step. But, I didn't get what author want to say with this example? What is the summary of this example? I mean, there are two…
Beginner
  • 10,836
0
votes
1 answer

How to get an explicit isomorphism (explicitly defined) between any two nonabelian Lie algebras of dimension $2$

There are two Lie algebra (up to isomorphism) of dimension two. One is abelian and other is as follows: $$ L=\text{span}\{x,y\}, [x,y]\neq 0, \ \text{say, } z .$$ Now $[x,y]=\alpha x+\beta y$ where $\alpha$ and $\beta $ are not simultaneously zero.…
0
votes
1 answer

About nilpotency of Leibniz algebras

Some believe that if $L$ is a nilpotent Leibniz algebra and $N$ is a nilpotent ideal such that $N\subset Z^l(L)$ and $L/N$ is nilpotent then $L$ is nilpotent. In this theorem 3.1 I read a proof of this and I think is not true. I want a…
pink floyd
  • 1,274
0
votes
1 answer

On the complexification of the commutator ideal

Let $\mathfrak{g}$ be a real Lie algebra and $\mathfrak{g}_{\mathbb{C}}$ its complexification. Then, since $\mathfrak{g}$ is a Lie subalgebra of $\mathfrak{g}_{\mathbb{C}}$, the commutator ideal $[\mathfrak{g},\mathfrak{g}]$ is contained in…
Jakob Elias
  • 1,375
0
votes
0 answers

Irreducible representation of $n$-Heisenberg algebra

The $n$-th Heisenberg algebra $H_n$ over $\mathbb{C}$ is the Lie algebra with basis $\delta_1,\cdots,\delta_n,b_1,\cdots,b_n,c$ and Lie brackets $[\delta_i,\delta_j]=0$, $[b_i,b_j]=0$, $[\delta_i,b_i]=c$, $[\delta_i,b_j]=0$ for $i\neq j$, $[c,x]=0$…
Li Li
  • 955
0
votes
1 answer

A question regarding the basis of $\mathfrak{sl_2}$.

The basis of the lie algebra $\mathfrak{sl}_2$ comprises of the matrices $\mathfrak{u}=\begin{pmatrix} 0&1\\0&0\end{pmatrix},\mathfrak{v}= \begin{pmatrix} 0&0\\1&0\end{pmatrix}$ and $\mathfrak{w}=\begin{pmatrix} 1&0\\0&-1\end{pmatrix}$. Note that…
user67803
0
votes
1 answer

The notion of Homogeneous Varieties

An algebraic variety is called homogeneous if there is an algebraic group acting transitively on it. I studied an article saying that The variety of free polynilpotent Lie algberas is homogeneous.(without details). May you please explain it in…
Nil
  • 1,306
0
votes
3 answers

Find smallest $m$ for which $L^{(m)} = 0$ for 3 dimensional Lie algebra $L$

Let $L$ be a three dimensional Lie algebra. $L'$ be the derived algebra with $\dim(L') = 2$. Define the following - $$ L^{(1)} := L' , \space L^{(n)} := [ L^{(n-1)}, L^{(n-1)}] $$ How do I find the smallest $m \in \mathbb{N}$ such that $ L^{(m)}…
Dark_Knight
  • 2,008