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

Confusion about root system of a Lie algebra

$\mathfrak{g}$ is a finite-dimensional complex semisimple Lie algebra and $\mathfrak{h}$ is one of its Cartan subalgebra. $V$ is a (finite-dimensional?) complex vector space and $ρ:\mathfrak{g}\to \mathfrak{gl}(V)$ is a representation of…
jw_
  • 509
1
vote
2 answers

su(2) Lie algebra elements

I have the following three 2 $\times$ 2 complex matrices \begin{equation} I_{xx}=\frac{i}{2}\begin{pmatrix} 0 & i \cr -i & 0 \end{pmatrix},\\ I_{yy}=\frac{-i}{2\sqrt{j^2-g^2}}\begin{pmatrix} -j & ig \cr ig & j…
dr.bian
  • 35
1
vote
0 answers

Section 2.4 of Samelson's Notes on Lie Algebras

Here's a link to the PDF. I'm using the 2nd edition, typeset using Latex. In section 2.4, page 37, Samelson proves: PROPOSITION A. For each $\alpha$ in $\Delta$ the subspace $[\mathfrak g_{\alpha}, \mathfrak g_{-\alpha}]$ of $\mathfrak h$ has…
wlad
  • 8,185
1
vote
0 answers

Fastest way to find the dimension of a Lie algebra generated by a finite set of operators?

Suppose I have a finite set of operators and I would like to know the dimension of the Lie algebra that they generate (but do not require a basis). The only method I can find is to recursively compute all pairwise commutators from the set until it…
1
vote
2 answers

$[\mathfrak{gl}(n,\mathbb{K}),\mathfrak{gl}(n,\mathbb{K})] = \mathfrak{sl}(n,\mathbb{K})$

Let $\mathbb{K}$ be $\mathbb{R}$ or $\mathbb{C}$. How do I proove that: $[\mathfrak{gl}(n,\mathbb{K}),\mathfrak{gl}(n,\mathbb{K})] = \mathfrak{sl}(n,\mathbb{K})$? I know that it is easy to see that…
QED
  • 104
1
vote
1 answer

Is $\mathfrak{sl}(n,k)$ solvable/nilpotent?

I know $\mathfrak{sl}(n,k)$ isn't solvable if char$k\ne2$, and also $\mathfrak{sl}(2,k)$ is nilpotent if char$k=2$. What about $\mathfrak{sl}(n,k)$ when char$k=2$ in general?
roob
  • 113
1
vote
1 answer

Regarding nilpotent 3-dim Lie-algebra

A nilpotent three-dimensional Lie algebra is either abelian ("commutative") or isomorphic to $n_3$. We say that a lie-algeba $L$ is nilpotent if there exists $N$ such that $C^N(L) = 0$ where $L=C^1(L) > [L,L]=C^2 (L) > [L,[L,L]]=C^3 …
1
vote
1 answer

Ideals of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$

Let $\mathfrak{g}$ be a Lie algebra, we say that a subvector space $\mathfrak{h}\subset \mathfrak{g}$ is a ideal of $\mathfrak{g}$ if for any $v\in \mathfrak{h}$ and $w\in \mathfrak{g}$ we have $[v,w]\in \mathfrak{h}$. I'm having troubles to prove…
PrV
  • 151
1
vote
1 answer

Nilradical is contained Killing radical.

I have a question about Lie algebras. The exercise is to show that $\mathfrak{n}\subset\text{rad}(K)$, where $\mathfrak{n}$ is the nilradical and $\text{rad}(K)$ is the radical of the Killing form $K$ and that they do not coincide in general. The…
1
vote
0 answers

Property of Killing form

I am trying to understand this statement on p.208 of Varadarajan's book Lie Groups, Lie Algebras, and Their Representations. Let $\mathfrak{g}$ be a Lie algebra over a field $k$ of characteristic 0. There is a statement that for any derivation $D$…
cgb5436
  • 274
1
vote
1 answer

Decomposition of complex Lie Algebra through generalised eigenspaces

This is from my lecture notes. Let $\mathfrak{g}$ be a comple lie algebra. Let $x\in \mathfrak{g}$ and $\Sigma(x)\subseteq \mathbb{C}$ be the set of eigenvalues of $ad(x)\in \mathfrak{gl(g)}$. ($ad(x)$ here means adjoint of x, i.e. $ad(x)y=xy -…
1
vote
1 answer

Why is the universal enveloping algebra generated by the image of ${\frak g}$ and $1$?

Consider a Lie algebra ${\frak g}$, and denote its universal enveloping algebra with ${\cal U}({\frak g})$. I've read, e.g. in these notes (Link to pdf), Remark 3.1.3 at page 19, that the two-sided ideal $\mathcal U_+$ is generated by the image of…
glS
  • 6,818
1
vote
1 answer

Decomposition of Lie algebra: do the simple and maximal torus parts commute?

I have the following exercise: Consider a Lie algebra $\mathfrak{g}$. Decompose $\mathfrak{g}$ using the Levi decomposition, so $\mathfrak{g}=\mathfrak{s}\oplus \mathfrak{r}$. Let $\mathfrak{a}$ be a maximal torus inside the radical. Is it always…
1
vote
0 answers

Heisenberg algebra and other Lie algberas

Is there a sub Lie algebra $K$ such that for an ideal $M$ of a heisenberg algebra $H$, $H=K+M$ and $K\cap M=0$ ($M$ has a complement in $H$)? Is there a class of Lie algebras such every ideal $M$ has a complement? Yours,
David
  • 11
1
vote
0 answers

Example of a "natural" alternating bilinear form on a Lie algebra

For some standard Lie algebra like $GL_n(R)$, I want to pick some bilinear form $f: g \times g \to R$ that would be anti-symmetric (or alternating): $f(x,y)=-f(y,x)$, maybe defined as $f([x,y])$. Of course there are multiple ways to do that. Are…