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

For L = the lie algebra of 2x2 upper triangular matrices over the C, is ad L = Der L?

I am deeply confused about this. I have seen a proof of the fact: L semisimple over C implies ad L = Der L but i dont know if the converse is true or false.
0
votes
0 answers

The smallest Lie subalgebra contains a subset

Let $\mathfrak g$ be a Lie algebra and let $S$ be a subset of $\mathfrak g$. How to show that the Lie subalgebra generated by $S$ consists of all linear combinations of the elements $[s_m, s_{m−1}, ..., s_1]$, where $m≥ 1$ and $s_i\in S$? Where we…
Ronald
  • 4,121
0
votes
0 answers

diagonal subalgebras of classical Lie algebras

How to use the Invariance Lemma to prove that the diagonal subalgebra of classical Lie algebras are self-normalizing? When $\operatorname{char}\ F=0$? (Invariance Lemma) Assume that $F$ has characteristic zero. Let $L$ be a Lie subalgebra of $gl(V…
Ronald
  • 4,121
0
votes
1 answer

Maximal Lie subalgebra of $sl_n$

How to find the maximal solvable Lie subalgebra of $\mathfrak sl(n,\mathbb R)$? Maybe the invariance lemma is the key!
Ronald
  • 4,121
0
votes
1 answer

Lie algebra with a nilpotent quotient

If $g$ is a finite dimensional Lie algebra. If $h$ is an ideal of $g$ with $g/h$ is nilpotent and $ad_x|_h$ is nilpotent for all $x\in g$. How to show that $g$ is nilpotent?
Ronald
  • 4,121
0
votes
1 answer

3-dim Lie algebra with two commutative elements

Let $\cal g$ be a Lie algebra and let $a,b,c\in \cal g$ be such that $ab=ba$ and $[a,b]=c\not =0$. Let $\mathcal h=span\ \{a,b,c\}$. How to prove that $\mathcal h$ is isomorphic to the strictly upper triangular algebra $\mathcal n(3,F)$? Problem:…
Ronald
  • 4,121
0
votes
2 answers

codimension of the derived algebra of a nilpotent Lie algebra

Let $\mathcal g$ be a nilpotent Lie algebra with $dim>1$. Why it is impossible that $codim \ \mathcal g'=1$?
Ronald
  • 4,121
0
votes
2 answers

On the meaning of the word "generic" in Lie Algebra (or otherwise)

I always have a problem with the word generic in the literature of mathematics. Let me ask you a specific question about "non-degenerate $\mathbb{Z}$-graded lie algebras''. The definition I'm working with says: A $\mathbb{Z}$-graded lie algebra…
Hamed
  • 6,793
0
votes
1 answer

If x is in the derived algebra, show that Tr(ad a)=0

Let $L$ be a Lie algebra, and let $a\in [L,L]$. How to prove that $trace(ad_a)=0$?
Ronald
  • 4,121
0
votes
1 answer

Why is the sign of $L^2$ opposite?

The following figure is from an article about Casimir element of Wikipedia. According to the following, $L_x^2$ is not a simple matrix multiplication of $L_x$ with itself, since the sign is opposite. It is a multiplication in the universal…
0
votes
1 answer

Universal enveloping algebra, simple algebraic identity $[E,EF] = [E,E]F + E[E,F]$?? (in $sl_2(C)$)

Reading some notes on Lie algebras now. Let $g$ be the Lie algebra $sl_2(\mathbb{C}))$ and let $U$ be the universal enveloping algebra. In the course of some computation (proving the Casimir element $C = EF + FE + H^2 / 2$ to be central), the author…
Elle Najt
  • 20,740
0
votes
1 answer

Finding Lie algebra isomorphisms

I stumbled across exercises asking to prove the following isomorphisms: $\mathfrak{sl}_2(\mathbb{R}) \cong \mathfrak{so}_{2,1}(\mathbb{R})$ $\mathfrak{sl}_2(\mathbb{C}) \cong \mathfrak{so}_{3,1}(\mathbb{R})$ $\mathfrak{so}_{2,2}(\mathbb{R}) \cong…
0
votes
1 answer

Lie Algebras and Lie Groups by Serre, Exercise mistake.

In the book Lie Algebra and Lie Groups by Serre, there is an exercise in Chapter three that reads as follows: Exercise(Bergman). Prove that $U(\mathfrak{g})=k$ $\iff$ $\mathfrak{g}=0$. (Hint. Use the adjoint representation.) Here $k$ is a…
0
votes
1 answer

Are different representations (with the same dimension) of a Lie Algebra share same weights?

Are non-equivalent irreps with dimension n of a lie algebra share the same weight set? E.g. in su(2), given a dimension of the irrep, the weight set is the same no matter what exactly the irrep is. Is it generally true for any lie algebra?
Shadumu
  • 281
0
votes
0 answers

rank of exterior derivative

As i am sitting here reading some lecture notes on lie algebras I found myself getting stock because of the word "rank". As I understand rank, it's just the dimension of the image of a linear map and therefore rank is just a fixed number associated…