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

Concrete example of a particular 3-dimensional Lie algebra

I'm reading over the classification of 3-dimensional complex Lie algebras, and have come to the classification of a particular Lie algebra spanned by $\{x,y,z\}$ satisfying the relations $$[x,y] = y, \; [x,z] = y+z, \; [y,z]=0$$ Seeking to find a…
lokodiz
  • 2,340
1
vote
0 answers

Complex Lie algebra isomorphic to its conjugate has a real form

According to the Wikipedia article on complex Lie algebras , any complex Lie algebra $\mathfrak{g}$ that is isomorphic to its conjugate $\overline{\mathfrak{g}}$ admits a real form. So as I understand it, this isomorphism exists if and only if there…
FS123
  • 23
  • 5
1
vote
1 answer

Radical of a finite-dimensional Lie algebra

I failed to understand the radical of finite dimensional Lie algebra $\mathfrak{g}$. There are two definitions for radical: It is the sum of all solvable ideals of $\mathfrak{g}$. It is the unique maximal solvable ideal of $\mathfrak{g}$. For…
1
vote
1 answer

Converse of Cartans criterion

I know there is a thread discussing this here but I have a problem in a different step. So let $L\subset \mathfrak{gl}(V)$ be a solvable Lie algebra over an algebraically closed field of characteristic 0. As the thread above discusses, one can…
Adronic
  • 143
1
vote
1 answer

A solvable Lie algebra can be written as the sum of two nilpotent subalgebras

I am trying to understand Goto's proof of the following theorem (DOI: 10.32917/hmj/1206139768). Let $g$ be a Lie algebra. If there exist nilpotent subalgebras $n_1$ and $n_2$ with $n_1 + n_2 = g$, then $g$ is solvable, and vice versa. I am stuck…
1
vote
1 answer

How to understanding an any automorphism can be represented as a sum of even and odd ones in Dorfman's book?

How to understand any automorphism can be represented as a sum of even and odd ones in Dorfman's book?
user478705
1
vote
0 answers

Inner automorphism of lie algebra definition

Inner automorphisms of a Lie algebra are typically defined as automorphisms generated by elements of the form $exp (ad_X)$ where $X$ is nilpotent. Is $exp (ad_X)$ not inner for $X$ having a non-trivial Jordan-Chevalley decomposition? This question…
wellington
  • 56
  • 4
1
vote
0 answers

subspace generated by span of Lie bracket of elements from supplement of Cartan subalgebra be a subset of the Cartan subalgebra?

I was reading non-linear realisation of a group on Wikipedia. On this page, it states: Given a Lie algebra $\mathfrak{g}$ and its Cartan subalgebra $\mathfrak{h}$, $\mathfrak{g}$ splits into $\mathfrak{g}=\mathfrak{h}\oplus\mathfrak{f}$ where…
Rescy_
  • 2,002
1
vote
1 answer

Reference or solution needed: Proof of $[\mathfrak{g}_\alpha,\mathfrak{g}_\beta]\subseteq\mathfrak{g}_{\alpha+\beta}$

Let $\mathfrak{g}$ be a Lie algebra, $\mathfrak{h}\leq\mathfrak{g}$ be a sub Lie algebra of $\mathfrak{g}$. Define $\Delta(\mathfrak{g},\mathfrak{h})\subseteq\mathfrak{h}^*$ to be the set of roots of $\mathfrak{g}$. I would like to prove that…
Rescy_
  • 2,002
1
vote
1 answer

$x$ is a nilpotent endomorphism implies $\operatorname{ad}x$ nilpotent

Lemma: Let $x\in\mathfrak{gl}(V)$ be a nilpotent endomorphism. Then $\operatorname{ad}x$ is also nilpotent. Proof: We may associate to $x$ two endomorphisms of $\operatorname{End}V$, left and right translation: $\lambda_x(y)=xy, \rho_x(y)=yx$,…
PJ Miller
  • 8,193
1
vote
1 answer

Solvability theorems

Let $L$ be a Lie algebra. (a) If $L$ is solvable, then so are all subalgebras and homomorphic images of $L$. (b) If $I$ is a solvable ideal of $L$ such that $L/I$ is solvable, then $L$ itself is solvable. Proof of (b): Say $(L/I)^{(n)}=0$. Applying…
PJ Miller
  • 8,193
1
vote
1 answer

Showing generalised eigenspace is stable

Let $L$ be a Lie algebra with $L \subseteq \mathfrak{gl}(V) $ ($V$ finite dimensional over $\mathbb{C}$) and let $I$ be an abelian ideal of $L$. Given $x \in I, \lambda \in \mathbb{C} $, I am trying to show that the generalised eigenspace…
Anonmath101
  • 1,818
  • 2
  • 15
  • 30
1
vote
0 answers

Attempt to prove that the function $X\mapsto YXY^{-1}$ is an automorphism of $ \mathfrak{g}$.

Problem: Let $\mathfrak{g}$ be an orthogonal Lie algebra (type $B_l$ or $D_l$). If $Y$ is an orthogonal matrix, that is, $Y$ is invertible such that $Y^TSY = S$, prove that the function $X\mapsto YXY^{-1}$ is an automorphism of $…
Tryncha
  • 303
1
vote
1 answer

Question on the root systems

Let $\Phi$ be a root system of euclidean space $E$. Suppose that a subset $\Phi'\subset \Phi$ satisfies $\Phi'=-\Phi'$ and if $\alpha,\beta\in\Phi'$ and $\alpha+\beta\in \Phi$, then $\alpha+\beta\in \Phi'$. I want to show that $\Phi'$ is a root…
1
vote
1 answer

Endomorphisms with trace zero

If $L=\mathfrak{gl}(V)$ or $L=\mathfrak{sl}(V)$, and if $g\in GL(V)$ is any invertible endomorphism of $V$, show that $gLg^{-1}=L$. Suppose $L=\mathfrak{gl}(V)$, and let $l\in L$. Clearly, $glg^{-1}$ is an endomorphism of $V$, so…
PJ Miller
  • 8,193