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

If Lie algebra is equal to its commutant, is it semisimple?

I am searching for a prove or a counterexample for this statement: If finite-dimensional complex Lie algebra is equal to its commutant, then it is semisimple. I suppose it is not true, because otherwise I would be able to find this beautiful result…
evgeny
  • 3,781
3
votes
1 answer

Cartan matrices in different books

Cartan matrices in the books of (1) Humphreys (page 59) and of (2) Carter (page 82 -- 83) are different. Moreover, they are not transpose of each other. Which one is correct? Thank you very much. Edit: Now I know the differences. In (1),…
LJR
  • 14,520
3
votes
1 answer

Problem with the definition of simple Lie algebra

I have the following definitions: Simple Lie algebra: A Lie algebra $\mathfrak{g}$ is simple if it ha no non-trivial (i.e. $0$ or $\mathfrak{g}$ itself) ideals. Semisimple Lie algebra: A Lie algebra $\mathfrak{g}$ is semisimple if it has no…
3
votes
1 answer

Tensor product in truncated current Lie algebra

Let $\mathfrak{g} = \mathfrak{sl}(2)$ Lie algebra The truncated current Lie algebra is the Lie algebra defined as $\mathfrak{g}^{(r)} = \mathfrak{g}[t]/t^{r+1} \mathfrak{g}[t] $ where $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C}[t]$, and the…
Joniloli
  • 111
3
votes
1 answer

Irreducible representation and reductive Lie algebra

If we have complex reductive Lie algebra L and her finite dimensional representation $\phi$. How can we show that $\phi$ is irreducible iff restriction $\phi|_{[L,L]}$ is irreducible?
user87369
  • 113
3
votes
1 answer

Inner automorphism of $\mathfrak{sl}(2,k)$, $\operatorname{char}(k)=0$ and adjoint action

If we have $sl(2,k)$, char $k = 0$, with standard basis $(x,y,h)$ and inner automorphism $\sigma = \exp(\operatorname{ad}x)\exp(-\operatorname{ad}y)\exp(\operatorname{ad}x)$. How can we show that $\sigma(x) = -y, \sigma(y) = -x$ and $\sigma(h) =…
user87369
  • 113
3
votes
0 answers

Isomorphism between $B_2$ and $C_2$

For small values of $l$, isomorphisms occur among certain of the classical algebras. Show that $B_2$ is isomorphic to $C_2$. Well, both $B_2$ and $C_2$ have dimension $10$. $B_2$ consists of $5\times 5$ matrices, while $C_2$ consists of $4\times…
PJ Miller
  • 8,193
3
votes
2 answers

Lie algebra of dimension 2

From Humphreys' Introduction to Lie Algebras and Representation Theory: We can determine (up to isomorphism) all Lie algebra of dimension $2$. Start with a basis $x,y$ of $L$. Clearly, all products in $L$ yield scalar multiples of $[xy]$. If these…
PJ Miller
  • 8,193
3
votes
1 answer

One-dimensional Lie algebra with non-trivial bracket operation

We can define a Lie algebra letting $\mathbb{R}$ be the vector space and also the field. We can then have $[x,y]=xy-yx=0$ for all $x,y$. Is there a one-dimensional Lie algebra such that $[x,y]$ is not identically zero?
PJ Miller
  • 8,193
3
votes
1 answer

is every real semi simple lie algebra a real form of a complex semi simple lie algebra?

So I have seen that every semi-simple complex lie algebra has a split and compact real form, where the compact real forms correspnding to semi-simple compact real lie algebras hence we can classify all possible complex semi simple algebras (and…
3
votes
3 answers

How should I show that the Lie algebra $\mathfrak{sl}(4,\mathbb{C})$ is isomorphic to the Lie algebra $\mathfrak{so}(6,\mathbb{C})$?

It is the Problem.3 of the "S.-T. Yau College Student Mathematics Contests 2022 Algebra and Number Theory" The problem is Give a direct proof that the Lie algebra $\mathfrak{sl}(4,\mathbb{C})$ is isomorphic to the Lie algebra…
chenyueyue
  • 309
  • 1
  • 5
3
votes
1 answer

PBW theorem for Poisson algebras

In general case the validity of an analogue of the Poincare-Birkhoff-Witt theorem for poisson algebras is open. For which class of Poisson algebras PBW theroem is valid?
Nil
  • 1,306
3
votes
2 answers

If ad L solvable then L is a solvable Lie Algebra

Given a Lie Algebra $L$ and the adjoint homomorphism $ad \colon L \rightarrow gl (L)$, if $ad\, L$ is solvable, then so is $L$. We know that Ker $ ad \,L= \{x \in L \mid [x, y] = 0 \,\,\forall y \in L\} = Z(L)$. In order to use this result, one…
user249018
  • 1,480
3
votes
0 answers

Roots, coroots and weights

I am confused by the relations between roots, coroots and weights in Lie algebras. Let $G$ be a Lie group, $T$ its maximal split torus and $\mathfrak{g}$ its Lie algebra. Here is what I have in mind (and I am always convinced by examples in…
Lyer Lier
  • 335
3
votes
1 answer

proving that symplectic lie algebra is a subalgebra of GL

Suppose $S$ is n by n matrix over a field F. Define $gl_S(n,F)=\{A \in gl(n,F): SA+A^TS= 0\}$ Show that this is a subalgebra of $gl(n,F)$ I get as far as: $A \in gl_S(n,F)$ and $B \in gl_S(n,F)$ $S[AB] +[AB]^T S =SAB -SBA + (AB)^TS-(BA)^TS $ $=SAB…