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

Verifying if a given vector space is a Lie algebra

I was given a basis and a bracket denoting a bunch of relations on this basis of a Lie algebra. I am trying to prove that i have in fact been given a Lie algebra and thus that the bracket upholds the Jacobi identity. The example i have is 7…
0
votes
1 answer

How to know when bracket satisfies Jacobi identity

I am working through Introduction to Lie Algebras by Erdmann and Wildon. Frequently, when determining a Lie algebra in the text, the authors will give a basis (say $\{x,y,z\}$) and then fix the bracket on all permutations of the basis (say $[x,y] =…
0
votes
1 answer

Integral over the Adjoint Map

$\newcommand{\ad}{\operatorname{ad}}$ Let $\ad_X\in \operatorname{End}(\mathfrak{g})$ be the adjoint map for arbitrary but fixed $X\in\mathfrak{g}$. Denote with $C_{\mathfrak{g}}(X)$ the centraliser of $X$ in $\mathfrak{g}$. Consider the following…
JDecou
  • 79
0
votes
1 answer

Dimension of the derived algebra $L'$ of a 3-dimensional Lie algebra over a field $\Bbb{F}$.

From Erdmann and Wildon's Introduction to Lie algebras. If $L$ is a non-abelian 3-dimensional Lie algebra over a field $F$, then we know only that the derived algebra $L'$ is non-zero. It might have dimension 1 or 2 or even 3. I don't understand…
0
votes
2 answers

What is the definition of polynilpotent Lie algebras?

I am looking for definition of polynilpotent Lie algebras. Is there any equivalent concept for that?
Nil
  • 1,306
0
votes
1 answer

what is a left nilpotent Leibniz algebra

Let consider $L$ be a Leibniz algebra which is left nilpotent. ( I do not know what is left nilpotent of class 3). A Leibniz algebra L is said to be nilpotent, if for lower central series there exists n ∈ N such that $L^{n} = 0$. The minimal number…
Nil
  • 1,306
0
votes
1 answer

Determine the derived series of $\mathfrak{b}_n (\mathbb{C})$.

Problem: Determine the derived series of $\mathfrak{b}_n (\mathbb{C})$, in which $\mathfrak{b}_n (\mathbb{C})$ is the space of all upper triangular matrices. We knew that the derived series of a Lie algebra $L$ is $L^{(0)}=L,…
Minh
  • 983
0
votes
0 answers

Show that $L/L'$ abelian

Problem: Let $L$ be a Lie algebra, denote $[L L]=L'$. Show that $L/L'$ abelian. My attempt: $[x,y] = (x+L')(y+L')-(y+L')(x+L') = ((x+y)+L') - (y+x+L') = ((x+y)+L') - ((x+y)+L') = 0$ Is that enough???
Minh
  • 983
0
votes
1 answer

Prove that $\frac{q(r+1)}{(\beta,\beta)}=\frac{q'(r'+1)}{(\alpha,\alpha)}$

Let $\alpha $,$ \beta$ $\in$ $\Phi$. Let the $\alpha$-string through $\beta$ be $\beta-r\alpha$,$\ldots$,$\beta+q\alpha$,and let the $\beta$-string through $\alpha$ be $\alpha-r'\beta$, $\ldots$,$\alpha+q'\beta$.Prove…
user63788
  • 206
0
votes
0 answers

Intuition behind adjoint map

Let $G$ be a Lie group, and let $g,h\in G$. Suppose we have the map $$\Lambda_g:G\to G$$ such that $$h\to ghg^{-1}$$ This induces a map $\mathfrak{ad}_g$ on the tangent spaces such that $$\mathfrak{dg}_g: X\to \frac{\partial}{\partial…
0
votes
0 answers

Proof of Weyl Character formula for $sl_n\mathbb{C}$

Is there a proof of Weyl character formula just for $sl_n\mathbb{C}$ independent of any 'heavy machinery'? Please suggest some references if possible.
nobody
  • 593
0
votes
1 answer

Irreducible action Lie algebras

How can I show that the the action of Lie algebra $\mathfrak{so}(2n+1)$ on $\mathbb{C}^{2n+1}$ is irreducible? Is there a simple way?
ArthurStuart
  • 4,932
0
votes
0 answers

Show that the Killing $k$ form of $u(\mathbb{C},3)$ is such that $k(x,y)=0$ $\forall x,y \in u(\mathbb{C},3)$

I want to show that the Killing $k$ form of $u(\mathbb{C},3)$ is such that $k(x,y)=0$ $\forall x,y \in u(\mathbb{C},3)$. I have used the basis {$e_{12}, e_{13}, e_{23}$}, and found that the adjoint matrices are given by $$ad(e_{12})=\begin{pmatrix}…
0
votes
1 answer

how to calculate the Casimir function of the Heisenberg Lie algebra?

Given a Heisenberg Lie algebra of dimension $2n+1$ with generators $X_i$, how can I calculate the Casimir function of the Heiseneberg Lie algebra ?
0
votes
1 answer

Problem with universal enveloping algebra generated by a single element (Jacobson)

Jacobson's book on "Lie algebras" has the following definition of enveloping algebra generated by a subset (Definition 2, Chap II) : Start with an unital associative algebra $A$ (over a field $F$) and $S \subset A$. The enveloping algebra $S^{\ast}$…