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

How can I be sure that structure constants exist?

I currently have a little problem with structure constants. If $\{b_i\}_{i=1}^n$ is a basis of a real Lie Algebra $\mathfrak{g},$ then the structure constants $c_{ij}^k\in\mathbb{R}, i,j,k\in\{1,\dots,n\},$ are defined over…
Sito
  • 570
2
votes
1 answer

Automorphism of semisimple Lie algebra leaving maximal toral invariant

Let $L$ be a finite dimensional semisimple Lie algebra over $\mathbb{C}$ and $H$ a maximal toral. Let $\Phi$ be the root system of $L$ relative to $H$. Then $$L=H\oplus (\oplus_{\alpha\in\Phi} \, L_{\alpha} ).$$ Let $\sigma$ be an automorphism of…
Beginner
  • 10,836
2
votes
1 answer

Show that the Lie algebra generated by the given matrices is isomorphic to $\mathfrak{so}(3)$

I'm trying to show that the Lie algebra $\cal{L}$ generated by the matrices \begin{equation} t_1 = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & +1 & 0 \end{pmatrix} \quad t_2 = \begin{pmatrix} 0 & 0 & x \\ 0 & 0 & 0 \\ -1 & 0…
user71769
  • 354
2
votes
1 answer

How to show $\mathfrak{g}$ is semisimple from its root decomposition

I am also trying to solve exercise 6.4 from "Kirillov: An Introduction to Lie Groups and Lie Algebras", just like here: Root decomposition implies semisimple, but another version. Let $\mathfrak{g}$ be a complex Lie algebra which has a root…
Aolong Li
  • 2,237
2
votes
0 answers

Isomorph to Lie Algebra and stability of the commutator

I have a simple question. I take the example of $su(2)$ We have : $$ su(2)=\{ a \in \mathcal{M}_N(\mathbb{C}) / ia=\sum_{i=1}^3 \alpha_i~\sigma_i, \alpha_i \in \mathbb{R} \}$$ Where $\sigma_i$ is a Pauli matrix. We often define : $$ isu(2) = \{…
StarBucK
  • 689
2
votes
1 answer

Show that the following statements are equivalent.

Let $\frak{g}$ be a semi-simple Lie algebra of finite dimension and let $\frak{h}, \frak{m}$ be ideals of $\frak{g}$. If $k$ denotes the Cartan Killing form, prove that the following statements are equivalent. (i) $\frak{h}\cap\frak{m} =…
2
votes
1 answer

Do the real numbers and an inner product form a Lie algebra?

I am just starting learn about Lie algebras and I saw it defined that a Lie algebra is a vector space with a commutator operation that is 1) bilinear, 2) satisfies the Jacobi identity, 3) [x,x]=0. Over a one dimensional real inner-product space, is…
2
votes
0 answers

Dimension of Abelian Lie Algebras

I've tried to answer this question, but I need some help. What is the possible dimension of irreducible representations of Abelian Lie Algebras? I think it is always one, but I am not sure. Thank you.
2
votes
1 answer

When is the set of commutators of a Lie Algebra not equal to its derived Lie Algebra?

Consider a finite dimensional Lie Algebra L. Its derived Lie Algebra is formed by the linear span of all the commutators of the Lie Algebra, and it is itself an ideal of L. Taking the linear span in the definition is necessary because the set of…
Anders Beta
  • 1,163
  • 5
  • 10
2
votes
2 answers

Outer derivations in Der $L$

I am studying Humphreys' book Introduction to Lie Algebras and Representation Theory and in it, I came across this: "In fact, ad $x \in$ Der $L$, because we can rewrite the Jacobi identity in the form: $[x[yz]] = [[xy]z]+[y[xz]].$ Derivations of…
Iguana
  • 517
2
votes
2 answers

Show $\mathfrak{gl}(n,\mathbb{R})_{\mathbb{C}}\cong \mathfrak{u}(n)_{\mathbb{C}}$

I would appreciate help showing the complexification of these Lie algebras are isomorphic: $$\mathfrak{gl}(n,\mathbb{R})_{\mathbb{C}}\cong \mathfrak{u}(n)_{\mathbb{C}}$$ where $\mathfrak{gl}(n,\mathbb{R})= M_n(\mathbb{R})$ and…
user12802
2
votes
1 answer

Representations and Cartan decompositions of $\mathfrak{so}(4,1)$

It is well known that the Lie algebra of $SO(4,1)$ is given by the expression $$A^tB+BA=0,\quad (\ast)$$ where $B=\text{diag}(1,1,1,1,-1)$, that is, $$\mathfrak{so}(4,1)=\{A\in\text{Mat}(5,\mathbb{C}):A^tB+BA=0\}.$$ Take an element…
Edu
  • 1,888
2
votes
0 answers

affine lie algebras: the relation between the highest root and the canonical central element.

Let $\mathfrak{g}$ be an affine lie algebra with a canonical center element $c$. I.e. if the cartan matrix is $A$ and $c_i$ are positive without a common factor such that $A (c_0,\ldots,c_n)=0$ then $c=\sum_{i=0}^n c_i h_i$. Express the highest…
user062295
  • 1,343
2
votes
1 answer

How to visualise the derived series of the Lie algebra $\mathfrak{u}(n,\mathbb{C})$?

I am trying to show that the Lie algebra of strictly upper triangular matrices $\mathfrak{u}(n,\mathbb{C})$ is soluble for all $n\geq 2$. This is not an assessed question, but is an exercise in the notes. I am having real difficulty visualising the…
2
votes
0 answers

The sum of positive roots and the Casimir element

In connection to my previous question, A step in Victor Kac's book regarding the casimir element, let $\newcommand{\g}{\mathfrak{g}}$ $\g$ be a lie algebra with a root space decomposition and an invariant inner product $(,)$. Let $\widetilde \rho…
user062295
  • 1,343