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

Is it possible to chose the value of $(\alpha, \alpha)\in \mathbb{F}$ for the root system $A_{1}$?

The question is based on what I tried to solve two exercises in James E. Humphreys "Introduction to Lie Algebras and Representation Theory": chapter 26 exerise 1 and chapter 9 exercise 2. I am looking at the Lie Algebra $L=\mathfrak{sl}(2,…
Idun E.
  • 478
3
votes
1 answer

Steinberg´s formula for $A_{1}$

I am trying to show, that Steinberg´s formula on the case $A_{1}$ yields the same result as the Clebsh-Gordan-formula, but I get a quite confusing result. Let $V(\lambda)$, $V(\lambda´)$ and $V(\lambda´´)$ irreducible $L$-moduls for…
Idun E.
  • 478
3
votes
0 answers

Humphreys Introduction to Lie Algebras - Conjugate Borel subalgebras sl(2,F)

Let $L$ be a Lie Algebra and let $E(L)$ denote the subgroup of the inner automorphisms, generated by all $\exp(\operatorname{ad}(z))$ for $z\in L$ being strongly ad-nilpotent. Let $\operatorname{char}\mathbb{F}=0$. I am trying to simplify the…
Idun E.
  • 478
3
votes
1 answer

Derivation of a lie algebra

Let A be an algebra over K with multiplication $(x,y) \rightarrow x \cdot y$. A linear operator D on the vector space A is called a derivation of A if $D(x \cdot y)=(Dx) \cdot y + x \cdot (Dy)$ $( \forall x, y \in A)$. Verify that the commutator $[…
dannie
  • 51
3
votes
1 answer

Perfect Lie algebras

How can I prove that $gl(n,k)$ and $sl(n,k)$ with $[x,y]=xy-yx$ are perfect algebras? By definition ,$g$ is a perfect algebra if $g=g\prime$, where $g\prime=<\{[x,y]| x,y\in g\}.$
Ana
  • 39
3
votes
1 answer

What are some good invariants for low dimensional Lie algebras?

I'm working out some computations on Lie algebras $L$ of low dimensions (by which I mean $3, 4$ or $5$). For my purposes, it is convenient to choose an orthonormal basis $\{e_1, e_2, \ldots, e_n\}$, for which one has $$[e_i, e_j] = \sum_k…
L..
  • 840
3
votes
2 answers

An Alternative Definition of Reductive Lie Algebra?

I came across an alternative definition of reductive Lie algebra as follows: $\mathfrak{g}$ is said to be reductive of all abelian ideals of it are contained in its center $Z(\mathfrak{g})$ and $Z(\mathfrak{g})\cap [\mathfrak{g},\mathfrak{g}]=0$. My…
Xuxu
  • 1,174
3
votes
1 answer

How to find coefficients in Lie bracket relations in Cartan-Weyl basis?

For example, consider an $D_n$ Lie algebra. The Cartan-Weyl basis satisfies the following Lie bracket relations [1,…
Jake
  • 317
2
votes
0 answers

Cartan subalgebras of a loop algebra.

For an algebraically closed field $\mathbb F$ of characteristic zero, a finite-dimensional Lie algebra $\frak G$ has a Cartan subalgebra and these subalgebras are conjugated in a certain sense. Let $L(\frak G)= \frak G\otimes \mathbb F[t,t^{-1}]$…
Matt
  • 33
2
votes
1 answer

$[y,x]=x$ in a non-abelian solvable Lie algebra

Proof that there exists non-zero elements $x, y$ in a solvable Lie algebra $g$ such that $[y,x]=x$. I have seen an answer from a lecture notes on google, but I can't find it now. Anyway, can someone give a more insight proof? Note that you can't use…
hnzt
  • 71
  • 3
2
votes
1 answer

A solvable Lie-algebra of derived length 2 and nilpotency class $n$

Given a natural $n>2$, I want to show that there exists a lie algebra $g$ which is solvable of derived length 2, but nilpotent of degree $n$. I have seen a parallel idea in groups, but i can't see how i can implement it for Lie-algebras. Thanks!
IBS
  • 4,155
2
votes
0 answers

Closed Connected Subgroup of $SO(5)$

I was reading a paper in which a part of it they want to classify the closed connect subgroups of $SO(5)$. What they write is this: Let $G^0$ be a closed connected subgroup of $SO(5)$. Let $T$ be a maximal Torus of $G^0$, then it is contained in the…
Mastrel
  • 1,487
2
votes
0 answers

On the construction of the Verma module

My question is about the construction of Verma module of a lie algebra $L$, there is one step in the construction which I do not quite understand. Let $L=N_-\oplus H\oplus N_+$ be the triangular decomposition of a lie algebra $L$ over the field…
zemora
  • 51
  • 2
2
votes
0 answers

invariant polynomial on a lie algebra $\mathfrak{g}$

This question (maybe an easy one) arose when I was reading Humphrey's book "an introduction to Lie algebra and its representations". Suppose $\mathfrak{g}$ is a complex semisimple lie algebra, $V$ is a $\mathfrak{g}-$ module, both $\mathfrak{g}$…
zemora
  • 51
  • 2
2
votes
1 answer

What's wrong with my proof that reductive Lie algebras are semisimple?

If $L$ is a Lie algebra, $\text{Rad}(L)$ denotes its largest solvable ideal. Then $L$ is reductive if $\text{Rad}(L) = Z(L)$ (the center of $L$). An exercise in Humphreys asks: $L$ is reductive if and only if $L$ is a completely reducible…
Ehsaan
  • 3,227