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

Nilpotent Lie algebra question

Can someone please help me to prove the following statement: In $\mathbb{R}^{d+1}$ we consider the Lie algebra generated by the vectors field: $X_j=∂_{q_j},\hspace{1cm} Y_j=∂_{q_j}V(q)iτ_0,\;j=1,...,d$ where $V$ is a polynomial in $R[x_1,..,x_d]$…
0
votes
1 answer

Where I can find classifications of Lie algebra $A_{4.7}^{-1}$?

My Lie algebra with commutation relation $[e_2, e_3] = e_3,\;[e_2, e_4] = -e_4,\;[e_3, e_4] = -e_1$ is isomorphic to Lie algebra $A_{4.7}^{-1}$ through transformations $e_1\mapsto e_1,\;e_2\mapsto - e_4,\;e_3\mapsto e_3,\;e_4\mapsto e_2$ I…
IgotiT
  • 734
0
votes
1 answer

How to write quotient algebra for normalizer?

For Lie algebra $\mathfrak{g}=\{e1,e2,e3,e4\}$ with commutations $[e1, e3]=\,e1, [e2, e3]=\,\alpha\,e2$, I have calculated normalizer for sub-algebra $\mathfrak{q}=\,\{e1+e2\}$ as $\text{Nor}_{\mathfrak{g}}\left(\mathfrak{q}\right)=\,\{e1, e2,…
IgotiT
  • 734
0
votes
1 answer

How subsets are defined in Lie algebra?

Consider four dimensional Lie algebra with non-zero commutations: $[e_{2},e_{3}]=e_{1}, [e_{2}, e_{4}]=e_{2}, [e_{3}, e_{4}]=-e_{3}$ having sub-algebras $S_{1}=\{e_{1}, e_{2}\}, S_{2}=\{e_{1}+e_{2}\}, S_{3}=\{e_{1}+e_{4}, e_{3}\}, S_{4}=\{e_{3}\}$.…
IgotiT
  • 734
0
votes
0 answers

Problem on Root Systems

Let $R$ be a root system on a Euclidean space $\mathbb{E}$ with simple roots $\{\alpha_i : i=1,....,l\}$. If $\alpha$ = $\sum_{i=1}^{l}c_i\alpha_i$ be a root , then show that $\frac {c_i(\alpha_i|\alpha_i)}{(\alpha|\alpha)}$ $\in$ $\mathbb{Z}$…
Ester
  • 3,057
  • 2
  • 23
  • 34
0
votes
1 answer

How many three and four dimensional Lie algebras are there?

Patera and Winternitz have carried out extensive classification of three and four dimensional Lie algebras. When I tried to look for classification for three dimensional Lie algebra with non-zero commutations given as: $[e_{1}, e_{2}]=e_{2}, [e_{1},…
IgotiT
  • 734
0
votes
0 answers

Irreducible Representation of $sl(3,C)$

We know that the the roots of $\mathbb{g} = sl(3,C)$ under the adjoint action are given by $L_i - L_j$ where $L_i (diag(a_1, a_2, a_3))=a_i$ for $i = 1,2,3$. If $V$ is any irreducible representation of $sl(3,C)$, then clearly $V$ is the direct sum…
Ester
  • 3,057
  • 2
  • 23
  • 34
0
votes
0 answers

Non-Lie character of Leibniz algebra

Let $J$ be the largest ideal of Leibniz algebra $L$ which denotes the non-Lie character of $L$. Is it possible to write $L=L_{Lie}\cap J$? We know that $L_{Lie}= L/J$. I am going to give the following example: Example: Let $L$ be a Leibniz algebra…
Nil
  • 1,306
0
votes
1 answer

Abstract Lie algebra

For six dimensional Lie algebra with non-zero Lie brackets defined as follow: $[e_{1}, e_{3}] = -e_{1}, [e_{1}, e_{6}] = -e_{2}, [e_{2}, e_{3}] = -e_{2}, [e_{2}, e_{4}] = e_{1}, [e_{2}, e_{5}] = e_{2}, [e_{4}, e_{5}] = -e_{4}, [e_{4}, e_{6}] =…
IgotiT
  • 734
0
votes
1 answer

Every Lie algebra contains a maximal proper Lie subalgebra

I am working though the proof of Proposition 6.2 in Erdmann's "Introduction to Lie Algebras". I can't verify that every Lie subalgebra of $L \subseteq \mathfrak{gl}(V)$ contains a maximal (proper) Lie subalgebra. How would I prove this fact?
el_tenedor
  • 3,530
0
votes
1 answer

Let $F$ be a field and let $L = b(n,F)$ be the Lie algebra of $n×n$ upper triangular matrices and $V = {F^n}$ .

$\space$ Let $F$ be a field and let $L = b(n,F)$ be the Lie algebra of $n×n$ upper triangular matrices and $V = {F^n}$ . Let $e_{1} , ... , e_{n}$ be the standard basis of $F^n$. For $1 \le r \le n$ , $W_{r} = Span \{ e_{1} , ... , e_{n}\}$. Prove…
0
votes
1 answer

Ad-nilpotency is preserved under conjugation

Let $G$ be a complex semisimple connected Lie group with Lie algebra $\mathfrak{g}$. An element $x \in \mathfrak{g}$ is called ad-nilpotent if the operator $\text{ad} \ x : \mathfrak{g} \to \mathfrak{g}, \ y \mapsto [x,y]$ is nilpotent, i.e.,…
0
votes
1 answer

How to prove this lemma about Weyl group?

Let $\mathscr{W}$ be the Weyl group of a root system $\Phi$ with basis $\Delta$. If $\sigma\in \mathscr{W}$, $\sigma = \sigma_{\alpha_1} .. \sigma_{\alpha_t}$ where $\alpha_1, ...,\alpha_t \in \Delta$, and $t$ is as small as possible, then…
snsunx
  • 438
0
votes
1 answer

Manin Triple and Lie Bialgebra correspondence?

I know that there is meant to be a one-to-one correspondence between Manin triples $(\mathfrak{p},\mathfrak{p_+},\mathfrak{p_-})$ and Lie bialgebra structures on $\mathfrak{p_+},$ but I cannot seem to prove the implication that Manin Triple implies…
0
votes
0 answers

Lie Bracket and Multiplication

I read here that the Lie bracket produces the notion of multiplication. Why is the Lie bracket for $GL(n)$ defined as $[A,B] = AB - BA $ and how is this like a "product" of the two matrices A and B?