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

Lie algebra: Efficient way of finding commutation relations

Is there an efficient way of finding commutation relations for a Lie algebra? For $\mathfrak{su}(2)$ with the Pauli matrices multiplied by $-\frac i2$ we get only three non-trivial commutation relations, but for larger Lie algebras there can be…
2
votes
1 answer

Lie algebra vector subspace: Does $[n_1,[n_2,Y]]=[n_1,A]=B$

If $Y$ is a vector subspace of the Lie algebra $\mathfrak{g}$ and $n_1,n_2\in N_\mathfrak{g}(Y)$ does the following hold? $$[n_1,[n_2,Y]]=[n_1,A]=B$$ where $B\subseteq A\subseteq Y$
2
votes
3 answers

Lie Algebra $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$.

I want to show that $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$. Is this done using the Jacobi identity? I am not sure how to do this, I just put $0$'s in the Jacobi identity, but it didn't give me anything to work with.
2
votes
1 answer

Question on Lie's theorem

I am looking a Lie's theorem in Lie algebra liturature but I do not fully understand one part of the proof. The following proof is given in these notes on page 12. Thm. Let $\mathfrak{g}\subset \mathfrak{gl}(V)$ be solvable, where $V$ is a nonzero…
Edison
  • 3,508
2
votes
1 answer

Regarding proof of Theorem 3.3 in Humphreys (Lie alg. and Rep.)

Theorem 3.3. of Humphreys goes something like this: given a subalgebra $\mathfrak{g}$ of $\mathfrak{gl}(V)$ where $V$ is nonzero, finite-dimensional and $\mathfrak g$ consists of nilpotent endomorphisms, then there is a nonzero vector $v \in V$ such…
2
votes
2 answers

Adjoint map is Lie homomorphism

The Jacobi identity of a Lie algebra says that $ad: \mathfrak g \to End(\mathfrak g)$ is a derivation. I am a bit emberassed but what is the easieast way to see that for every $X \in \mathfrak g$, $ad_X: \mathfrak g \to \mathfrak g, Y \mapsto [X,Y]$…
Mekanik
  • 1,761
2
votes
0 answers

Standard cyclic module of sl2

Let $L=\mathfrak{sl}(2, \mathbb{F})$, $B$ a standard Borel subalgebra. I am trying to solve exercise 20.4 from J.E. Humphreys "Introduction to Lie Algebras and Representation Theory", but I am stuck. First of all $Z(\lambda)$ is constructed as…
Idun E.
  • 478
2
votes
0 answers

Prove that actions commute

I am trying to understand a proof from Kobayashi and Nomizu (foundations of differential geometry, p. 280). Suppose that we have Lie subalgebras $a
2
votes
1 answer

Rootspace decomposition of a Lie algebra

$ \DeclareMathOperator{\ad}{ad}$ Let $L$ be a non-zero Lie algebra which is semi simple. Then $L$ contains a toral element and hence a non-trivial toral subalgebra. Let $H$ denote a maximal toral subalgebra of $L$. Then, since it can be shown that…
user42761
2
votes
1 answer

Adjoint endomorphism on $\mathfrak{sl}(2,k)$

Let $\{e,h,f\}$ be the standard basis of the Lie algebra $\mathfrak{sl}(2,k)$. Prove that $(\mbox{ad }e)^3=0$ http://en.wikipedia.org/wiki/Special_linear_Lie_algebra First I computed $(\mbox{ad }e)(y)$. Let $y=ah+be+cf$, then $(\mbox{ad…
dannie
  • 51
2
votes
1 answer

Determining the Derived Series and the Lower Central Series of a Lie Algebra

Suppose we have a Lie algebra $L$ over $\textbf{k}$ with basis $\{x,y,z\}$ and with $$[x,y]=z, [y,z]=x, [z,x]=y.$$ How do I go about finding the lower central series and the derived series for $L$? Edit: I have the definitions of the lower central…
Jamie3213
  • 173
2
votes
1 answer

Weights of universal enveloping algebra

Let $L$ be a semi simple Lie algebra over an algebraically closed field $F$ with Cartan decomposition $L = h \oplus n_+ \oplus n_- $, Root system $\Phi$, Set of positive roots $\Phi_+$, Simple roots $\Delta$. Consider the universal enveloping…
GA316
  • 4,324
  • 27
  • 50
2
votes
1 answer

Symmetrizability of generalised Cartan matrix

How to prove that a generalized Cartan matrix whose diagram contains no cycles is symmetrizable? Any hint would be sufficient. Thanks in Advance.
GA316
  • 4,324
  • 27
  • 50
2
votes
1 answer

Lie algebras homeomorphism problem

In my homework problem I have to prove that $F: (\Bbb{R}^3,\times) \to (so(3),[,]),\ F(v)=\begin{pmatrix}0&-v_3&v_2 \\ v_3& 0&-v_1\\ -v_2&v_1&0 \end{pmatrix}=\hat{v}$ is a homeomorphism of Lie Algebras. Furthermore, for $w \in \Bbb{R}^3$ we have…
Beni Bogosel
  • 23,381
1
vote
1 answer

Central extensions.

Many times I've seen the term "a Lie algebra has a central extension given by" and I got used to it. However, when a Lie algebra has a central extension? Is it unique in some sense?
Matt
  • 33