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

Relationship between Lie algebra representation and its semisimple quotient

My question comes from the proof for proposition on page 127 of Fulton and Harris' Representation Theory, a first course. The proposition and its proof looks like this: Also I cannot find any theorem relating to this one on Google, so I wonder if…
0
votes
1 answer

property of adjoint

Let $\mathfrak{g}$ be real Lie algebra of matrices over $\mathbb{C}$ that is closed under conjugate transpose $(\cdot)^*$. Why is it the case that for each $X \in \mathfrak{g}$, $\mathrm{ad}(X^*) = \mathrm{ad}(X)^*$? We are using the inner product…
nigel
  • 3,214
0
votes
1 answer

Calculations in a $sl_\alpha$-module

I want to understand the proof of the following theorem: For $\lambda\in H^*$ we have: $\dim M_\lambda<\infty \Leftrightarrow \lambda \in \Lambda^+$ ($H$ is a Cartan subalgebra of a Lie algebra $L$ and $M_\lambda:=V_\lambda/S_{max}$ where…
user95
  • 89
0
votes
3 answers

Nilpotent Lie subalgebra of $gl_n(\Bbb C)$

If a Lie subalgebra $L \leq gl_n(\Bbb C)$ is nilpotent, does it follow that any matrix $x \in L$ is nilpotent (i.e. there is $n>0$ such that $x^n = 0$) ? I know that the adjoint $ad_x$ of $x$ is nilpotent, and if $x$ is nilpotent then $ad_x$ is…
Alphonse
  • 6,342
  • 1
  • 19
  • 48
0
votes
2 answers

Centre of $\mathfrak{sp}(2n,k)$

How can I show that $\mathfrak{sp}(2n,K)=\{A \in M_{2n}(K)\,|\, A^TJ_{sp}+J_{sp}A=0\}$ has trivial centre? ($J_{sp}=\begin{pmatrix} 0 & Id_n\\ -Id_n & 0\end{pmatrix}$)
user95
  • 89
0
votes
1 answer

center of a complexified Lie algebra

Let $L$ be a real Lie algebra. I want to show that $Z(L_\mathbb{C})=Z(L)_\mathbb{C}$. I already proved that $Z(L)_\mathbb{C}\subseteq Z(L_\mathbb{C})$. Can you give me a hint how I can show the other direction?
user95
  • 89
0
votes
1 answer

Jordan-Chevalley decomposition

Good evening everybody, I have a question about the red tagged argument in Prop. 8.5.1: Let $g$ be a semisimple Lie subalgebra of $gl(V )$. For $x \in g$ we have J-C decomposion $ x= x_s +x_n$ but that's not clear to me why $ x_s ,x_n \in…
user267839
  • 7,293
0
votes
1 answer

The complexified Lie algebra $\mathfrak{so}(p,q)_\mathbb{C}$ is isomorphic to $\mathfrak{so}(p+q,\mathbb{C})$

I want to show that the complexification of $$\mathfrak{so}(p,q)=\{M \in Mat(p+q,\mathbb{R}) | M^TJ_{p,q}+J_{p,q}M=0\}$$ is isomorphic to $$\mathfrak{so}(p+q,\mathbb{C})=\{M \in Mat(p+q, \mathbb{C}) | M^T+M=0\} .$$ Here, $J_{p,q}$ is the diagonal…
user95
  • 89
0
votes
1 answer

Is this proof about reductive Lie algebras correct?

Let $\mathfrak{g}$ be a reductive Lie algebra, i.e. every solvable ideal $\mathfrak{a}$ is contained in the center $\mathfrak{z}(\mathfrak{g})$. Then $[\mathfrak{g},\mathfrak{g}]$ is semisimple, i.e. there is no nonzero solvable ideal. My proof…
Jakob Elias
  • 1,375
0
votes
0 answers

Cartan sub-algebra and root space decomposition

Let $L$ be a finite dimensional complex semisimple Lie algebra. Let $H$ be a maximal abelian toral subalgebra (Cartan subalgebra). Let $$L=H\oplus \bigoplus_{\alpha\in \Phi} L_{\alpha}$$ be root space decomposition w.r.t. $H$. My question is…
Beginner
  • 10,836
0
votes
1 answer

Cartan subalgebra of simple Lie algebra

I could not get the following, could someone give me a hint? Let $\mathfrak{H}$ be a Cartan subalgebra of a simple Lie algebra $\mathfrak{L}$. Show that $\mathfrak{H}$ is abelian. So, we need to prove that $[\mathfrak{H},\mathfrak{H}]=0$. It seems…
9999
  • 959
0
votes
1 answer

Is the Lie algebra $\mathfrak {sl}_{3}\mathbb(R)$ a direct sum of its subalgebras?

Can the Lie algebra $\mathfrak {sl}_{3}\mathbb(R)$ be represented as the sum of two of its nontrivial subalgebras, i.e $\mathfrak {sl}_{3}\mathbb(R) = A{\displaystyle \oplus }B$ such that ${\displaystyle \forall }a \in A$, ${\displaystyle \forall }b…
0
votes
1 answer

Is the set of nilpotents of a Lie algebra a Lie subalgebra?

Let $\mathfrak{g}\subset gl(V)$ be a Lie algebra. Is the set of nilpotents of $\mathfrak{g}$ a lie subalgebra? To be more precise, let $A$ and $B$ be nilpotent matrices. Then is $AB-BA$ also nilpotent?
user67803
0
votes
1 answer

Generators of roots that don't sum to zero are orthogonal.

I have seen this fact stated as obvious a number of times, but I can't see it. Let $\alpha$ and $\beta$ be roots of a Lie algebra $\mathfrak{g}$ with CSA $H$ and Let $\mathfrak{g}_{\alpha}$ be the set of generators satisfying the eigenvalue equation…
0
votes
1 answer

Find the complexification of the real Lie algebra $\{\left(\begin{smallmatrix}-2b&5b&w\\-5b&3b&w\\-\bar w&\bar w&-b\end{smallmatrix}\right), w,b\}$

I need to obtain an explicit expression of the complexification of a real Lie algebra (in the sense of obtaining a form for all of its matrices). In the middle of my research I met the real Lie algebra: $$\mathfrak{n} = \{\Bigg(\begin{array}{ccc} …