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

Questions about root space decomposition of sl(2,C)

I am reading the book of Erdmann and Wildon. There is an excise in Chapter 10. Let $L = sl(n, \mathbb{C}), n \ge2$ and let $H = span\{h\}$, where $h = e_{11}-e_{22}$. The book asked me to firstly find $L_0=C_L(H)$, and then determine the direct sum…
user368131
1
vote
1 answer

Which vector spaces have a perfect Lie algebra structure?

One can give the cross product as a Lie bracket on $\mathbb{R}^3$ and the matrix commutator to $\mathbb{R}^{n^2}$ ($n \ge 2$). They both give a perfect Lie algebra structure. However, every Lie algebra of dimension $1$ is abelian, and for $2$-dim we…
YJ Kim
  • 153
1
vote
2 answers

$\alpha\in R$ then if $k\alpha\in R$ then $k=1,2,-1,-2,1/2,-1/2$

Let $R$ be a root system. Suppose $\alpha\in R$ and if for some $k \in \Bbb{R}$ we have $k\alpha\in R$ then how to prove $k=1,2,-1,-2,1/2,-1/2$? I just know $\frac{2(\alpha,\beta)}{<\alpha,\alpha>}$ will be an integer could any one help me why this…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
1
vote
1 answer

Regarding lower central series of a Lie algebra L

Let L be a Lie algebra and let $(L^i)$ be its lower central series defined by $L^1=L$, $L^i=[LL^{i-1}]$. Then it can be proved by induction that $[L^iL^j] \subseteq L^{i+j}$. Please help me to find an example in which the above containment is…
budi
  • 1,780
1
vote
2 answers

Questions about non-abelian 2 dimensional lie algebras

I have some troubles understanding the non-abelian 2 dimensional lie algebras. And the question might be trivial. For a non-abelian 2 dimensional lie algebras $L$, Then, $S = span\{x,y\}$and $[x,y]=x$. My question is that: can I say $[y,x]=y$?…
user368131
1
vote
1 answer

What is a Casimir operator?

If I have semi-simple Lie algebra $\mathfrak{g}$,I can define the killing form (which is a non-degenerate bilinear form). Let $\begin{Bmatrix}X_i\end{Bmatrix}$ be a base of my algebra and $\begin{Bmatrix}X^i\end{Bmatrix}$ the dual base (induced by…
1
vote
1 answer

Questions about Cartan Lie Algebra

I have a subalgebra $B = b(n,F)$ of L. $b(n,F)$ is the subalgebra consisting of all upper triangular matrices. Then $b(n,F)$ is clear NOT a cartan subalgebra since it is not nilpotent. But I think that the relation $N_L(B)=B$ still holds... Can…
user368131
1
vote
1 answer

Direct Product of Weyl Groups

We define the Weyl group $W(R)$ of a root system $R$ as the group generated by the reflections $s_{\alpha}$ for $\alpha$ $\in$ $R$. Then show that $W(R)$ is isomorphic to the direct product of the respective Weyl groups of its irreducible…
Ester
  • 3,057
  • 2
  • 23
  • 34
1
vote
0 answers

Definition of external Lie algebra semidirect sum

Just a small question about a possible typo in a wiki-article: In the article https://en.wikipedia.org/wiki/Lie_algebra_extension#Background_material under 'By semidirect sum', i assume what is defined in equation (7) is the external semidirect sum…
Mekanik
  • 1,761
1
vote
1 answer

All homomorphic images of a solvable Lie algebra are solvable?

Here I read in a book that: All homomorphic images of a solvable Lie algebra are solvable as well. How to prove such a statement? Let's say we have a homomorphism $$\phi: \mathcal{G}\rightarrow \mathcal{H},$$ where $\mathcal{G}$ is a solvable Lie…
Wein Eld
  • 589
1
vote
0 answers

Killing form explicitly

Let's take the Killing form $B(X,Y):=Tr(ad(X)ad(Y))$. I would like to find the explicit form for some Lie algebras such as $su(n)$ or $gl(n)$ (further examples are given on Wikipedia). My question is now what the best way is to do that. An explicit…
Quasar
  • 427
1
vote
0 answers

How to write Levi decomposition of infinite Lie algebra for KP equation?

My query is related to infinite Lie algebra of KP equation having commutation relations are given by $[X(f_1), X(f_2)] = X(f_1\dot{f_{2}}-f_2\dot{f_{1}})$ $[X(f), Y(g)] = Y(f\dot{g}-\frac{2}{3}\dot{f}g)$ $[X(f), Z(h)] =…
IgotiT
  • 734
1
vote
1 answer

How to define a map on Leibniz algebras?

Free Leibniz algebras are defined as follows: Let $X$ be a set and $F(X)$ be a non associative algebra and on that let $I$ be two sided ideal generated by $[a,[b,c]]-[[a,b],c]-[[a,c],b]$ for $a,b,c \in F(X)$. Then $L(X)=F(X)/I$ is called free…
Nil
  • 1,306
1
vote
0 answers

How can we show that $U(L)/U(A)$ is free left $U(A)$-module?

Let $U(L)$ and $U(A)$ be the universal enveloping algebras of Lie algebra $L$ and its given subalgebra $A$. We consider $U(L)/U(A)$. It is clear that $U(L)/U(A)$ is a left $U(A)$-module. But I want to prove that it is free left module. May you…
Nil
  • 1,306
1
vote
0 answers

Are these Lie commutation relations really closed?

Suppose we have a finite dimensional Lie algebra with basis: $X_1 = \partial_t,\;X_2 = \beta_2\,\partial_T-\beta_1\,\partial_C,\;X_3 = x_3\,\partial_p+\frac{1}{\beta_2\rho_0 g}\,\partial_C$ $X_4 = 2t\,\partial_t+\sum_i^3…
IgotiT
  • 734