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

Irreducible Module of $sl_{l+1}(\mathbb{C})$ as a Direct Summand

This question is in relation to my previously asked question here Construction of an Irreducible Module as a Direct Summand. Let $V_0$ be any arbitrary finite dimensional $sl_{\ell +1}(\mathbb{C})$ module and $V$ be the standard $(\ell+1)$…
Ester
  • 3,057
  • 2
  • 23
  • 34
2
votes
0 answers

Construction of an Irreducible Module as a Direct Summand

Let $L$ be a finite dimensional semisimple Lie algebra. Let $\lambda_1$, .....,$\lambda_l$ be the fundamental dominant weights for the root system $R$ of $L$. Show how to construct an arbitrary irreducible $L$ module of highest weight $\lambda$…
Ester
  • 3,057
  • 2
  • 23
  • 34
2
votes
0 answers

ADE type root lattice

Let $\Phi$ be a root system of ADE type, $L$ is the corresponding root lattice, show that $\Phi=\{\alpha\in L:(\alpha,\alpha)=2\}$, where $(,)$ is the normalized non-degenerate symmetric bilinear form
user18537
  • 262
2
votes
1 answer

Ideal spanned by monomial of degree $n$ in the Universal Enveloping Algebra

I'm trying to understand the Ado theorem proof which uses the universal enveloping algebra of a Lie algebra. In this proof we use the ideal spanned by all monomial of degree $n$ in the universal envoloping algebra. I'm wondering if it's possible…
Dorian
  • 99
2
votes
1 answer

Showing $[L,rad(L)]$ is nilpotent.

Suppose L is a finite dimensional Lie Algebra over an algebraically closed field of characteristic zero. I want to show that $[L,rad(L)]$ is nilpotent. I was given a hint that all operators of the form $ad_{[L,rad(L)]}(x)$ are nilpotent which proves…
MR_Q
  • 158
2
votes
1 answer

Is every element contained in a Borel subalgebra?

Let $\frak g$ be a complex semisimple Lie algebra. Is every $X\in\frak g$ contained in some Borel subalgebra $\frak b$? Attempt: I know that a Borel subalgebra is by definition a maximal solvable subalgebra. Now, $Span(X)$ is abelian so it is…
2
votes
1 answer

Lie algebra associated to Leibniz algebra

We know that for any Leibniz algebra $L$ we can associated its Lie algebra denoted by $L_{Lie}$. for example the ideal generated by $\{[x,x] | x\in L\}$ determines the non-Lie character of $L$. Is it possible to find the ideal which is the largest…
zadeh
  • 21
2
votes
0 answers

Lie subalgebra generated by a subset of a basis of root system

Let $L$ be a semisimple Lie algebra, ad let $\Phi$ be a root system. Fix a fundamental root system $\Delta$ of $\Phi$ with corresponding to $\Phi^+$. I would like to understand the subalgebra generated by all $L_{\alpha}$ and $L_{-\alpha}$ where…
Ronald
  • 4,121
2
votes
0 answers

The Lie algebra quotient of a maximal ideal

If $\mathcal g$ is a Lie algebra, and $Z(\mathcal g)$ is its centralizer. Suppose that $Z(\mathcal g)$ is a maximal ideal of $\mathcal g$. Is it correct that $\mathcal g/Z(\mathcal g)$ is of dimension $1$? How to prove that? If $I$ is any maximal…
Ronald
  • 4,121
2
votes
2 answers

Simple 3-dim Lie algebra

If $g$ is a Lie algebra, how to prove that $Tr(ad \ a)=0$ for all $a\in [g,g]$? In case $dim\ g=3$ and $[g,g]=g$ how to show that $g$ is simple?
Ronald
  • 4,121
2
votes
0 answers

showing that $\mathfrak{su}(n)$ is the only Lie subalgebra of $\mathfrak{u}(n)$ of dimension $n^2-1$

I came across the statement that for $\mathfrak{g}$ a Lie subalgebra of $\mathfrak{u}(n)$, $\text{dim}(\mathfrak{g})=n^2-1$ implies $\mathfrak{g}=\mathfrak{su}(n)$. I've tried the following. Does it seem right? For some reason it feels not quite…
Jeffrey
  • 484
2
votes
1 answer

Prove identity map of a Lie algebra is unique Cartan involution when Killing form is negative definite

First some Definitions for convenience: Let ${\mathfrak {g}}$ be a real semisimple Lie algebra and let $B(\cdot ,\cdot )$ be its Killing form. An involution on ${\mathfrak {g}}$ is a automorphism whose square is the identity. Such an involution is…
nihan
  • 57
2
votes
1 answer

How to find roots of a Lie algebra from simple roots using root strings?

Suppose you've been given the simple roots of a Lie algebra. When finding the remaining roots, do you need to check the root string of all the roots through all the other roots, just simple roots through the simple roots, or just the simple roots…
2
votes
0 answers

Action of universal enveloping algebra

Let $\mathfrak{g}$ be a semisimple Lie algebra and let $(\pi,V)$ be an irreducible $n \geq 1$ dimensional representation. Then how does the universal enveloping algebra act on the tensor product $V \otimes V$? For instance, say…
nigel
  • 3,214
2
votes
1 answer

Maximal possible dimension of an abelian Lie subalgebra of Heisenberg Lie algebra of dimension $2n+1$.

Fix $n \in \mathbb{N}$, and let $\mathfrak{h}_n$ denote the Heisenberg Lie algebra of dimension $2n+1$ (over any given field $k$). Namely, $\mathfrak{h}_n$ is the Lie algebra with basis $x_1, \dots, x_n, y_1, \dots, y_n, c$ and with the Lie bracket…