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
3
votes
1 answer

Complexificantion of a Lie algebra.

Let $L$ be a real Lie algebra. We can consider $L_{\mathbb{C}}:=L \otimes_{\mathbb{R}} \mathbb{C}$ the complexification of $L$. So on $L$ we can define the bracket operation: $[x \otimes z, y \otimes w] := [x,y] \otimes zw$ for all $x,y \in L$ and…
ArthurStuart
  • 4,932
3
votes
1 answer

A problem on Universal enveloping algebra from Humphreys' book

Let $L=Fx+Fy$ be the non-abelian Lie algebra with $[x,y]=x$. Let $(\mathfrak{U}(L),i)$ be the universal enveloping algebra of $L$. By definition, $\mathfrak{U}(L)=T(L)/J$ where $T(L)$ is the tensor algebra over $L$ and $J$ is the ideal of $T(L)$…
Beginner
  • 10,836
3
votes
0 answers

Proof of PBW theorem in Humphreys' Lie algebra: intuition for a Lemma

Let $L$ be a Lie algebra with a basis $(x_i:i\in \Omega)$, and $\mathfrak{U}(L)$ the universal enveloping algebra of $L$. Let $\mathfrak{S}$ denote the symmetric algebra in the variables $z_i$ ($i\in \Omega$). The essential point in PBW theorem is…
Beginner
  • 10,836
3
votes
2 answers

Is there an intelligent way to find the Lie algebra isomorphism $\mathfrak{sl}_2(\mathbb{C})\simeq\mathfrak{o}_3(\mathbb{C})$?

The adjoint representation of $\mathfrak{sl}_2(\mathbb{C})$ under a natural basis, it is given by $$\text{ad}: \mathfrak{sl}_2(\mathbb{C})\to\mathfrak{gl}_3(\mathbb{C})$$ $$\left(\begin{matrix}a&b\\c&-a\end{matrix}\right)\mapsto…
Klaus
  • 4,105
3
votes
0 answers

Eigenspace for toral in a Borel subalgebra

I came across a small question while doing proof of conjugacy of Cartan subalgebras from Humphreys' Lie algebra; Page 85-86. Let $L$ be semisimple, finite dimensional over $\mathbb{C}$; $H$ maximal toral and $\Phi$ the relative root system. Let $B$…
Beginner
  • 10,836
3
votes
1 answer

Subalgebras of $gl(n,\mathbb{C})$, containing the diagonal subalgebra are self-normalizing

This is a problem from the book "Introduction to Lie-Algebra"-Erdmann & Wildon, Chapter 5-"Subalgebras of $gl(V)$" Let $L=gl(n, \mathbb{C})$. Let $A\subset L$ be a subalgebra of $L$, such that $A$ contains all the diagonal matrices. Prove that…
Riju
  • 4,015
3
votes
1 answer

Sanity check on spider web calculation

For fun I began reading an interesting online paper I found, Spiders for rank 2 Lie algebras, and on page $5$ we have the following calculation, akin to a tensor product expansion via bilinearity: $\hskip 0.8in$ However, I believe the $21=6+6+9$…
anon
  • 151,657
3
votes
1 answer

Can you say what type of algebraic structure this is?

What type of algebraic structure is given by the following? \begin{align} [X, Y] &= iH,\\ [H, X] &= -i\{H, Y\},\\ [H, Y] &= i\{H, X\}, \end{align} where $[ \cdot,\cdot ]$ is a commutator and $\{ \cdot,\cdot \}$ is an anticommutator and $i$ is the…
aporete
  • 31
3
votes
1 answer

Weyl Group Requirements

A Weyl group $W$ for a finite dimensional Lie algebra with root system $\Phi$ must be finite and a subgroup of the symmetric group on $k = |\Phi|$ elements. Are there any further conditions $W$ must satisfy? Specifically, what finite groups can be…
3
votes
1 answer

Converse direction of Cartan's criterion

Choose a algebraically closed field $k$ with $\text{char}(k)= 0$ and a finite dimensional solvable Lie algebra $L$ over $k.$ As an corollary from Lie's theorem I have proved that there is a flag $(L_i)$ of $L$ such that each $L_i$ is an ideal of…
user369147
3
votes
1 answer

Indecomposable $\mathfrak{sl}_3$-representations

Motivation: Consider $\mathfrak{sl}_2$. Given an integral weight $\lambda\in\mathbf Z$, then the only indecomposable modules contained in $\mathcal O_\lambda$ are the Verma modules and the simple modules with highest weight linked to $\lambda$ as…
Bubaya
  • 2,204
  • 9
  • 20
3
votes
1 answer

Show $dim([\mathfrak{g_{\alpha}},\mathfrak{g_{-\alpha}}])=1$

I have a problem by understanding a proof in the lecture of lie algebras. In fact we want to show that $[\mathfrak{g_{\alpha}},\mathfrak{g_{-\alpha}}]$ has dimension $1$.Where $\mathfrak{g}$ is a semisimple lie algebra and $\alpha$ is a root. Let…
Hamilcar
  • 594
3
votes
1 answer

showing that a lie algebra is the direct sum of two ideals.

I am trying to do an exercise(2.13) in Wildon and Erdmann's Intro to Lie Algebras and I'm stuck. The meat of the question is to show that under the following conditions i. the center, $Z(I)=0$ ii. if $D:I\to I$ is a derivation, then $D=…
May
  • 39
  • 3
3
votes
2 answers

$\mathfrak{so}(2n,\mathbb{C})$ is a simple Lie algebra

Let $\mathfrak{so}(2n,\mathbb{C})$ be all the matrices in the form of $g=\begin{pmatrix}A & B\\ C & -A^T\end{pmatrix}$, where $B$ and $C$ are skew symmetric and $A,B,C$ are $n\times n$ matrices. Show that $\mathfrak{so}(2n,\mathbb{C})$ is a simple…
Li Li
  • 955
3
votes
1 answer

Questions about root system for arbitrary Lie algebra

According to the book "Introduction to Lie Algebras" by Erdmann and Wildon. I understand that we can find root space decomposition for a semisimple Lie algebra. However, when the book goes to the definition of root system. it appears to me that…
user368131