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

Galilei algebra has a simple subalgebra?

The Galilei algebra has the following generators $$J_i = \epsilon_{ijk}x^j \frac{\partial}{\partial x^i}, \qquad P_i = \frac{\partial}{\partial x^i} \qquad K_i = t\frac{\partial}{\partial x^i} \qquad H = \frac{\partial}{\partial t}$$ The commutators…
0
votes
1 answer

How to find the Lie algebra of a given Lie group (Page 161 of "Analysis and Algebra on Differentiable Manifolds: A Workbook for Students and Teachers"

I am referring to Page 161 of the book "Analysis and Algebra on Differentiable Manifolds: A Workbook for Students and Teachers" by P.M.Gadea, J.Munoz Masque, Springer. Given that the Lie group $G = \left\{ \begin{pmatrix} a_{11} & a_{12} \\ a_{21} &…
0
votes
1 answer

Complex semi-simple Lie algebra dimension $5$.

This is a follow-up question Semi-simple complex lie algebras dimension $4,5,7$, which I need to ask some specific question about (which has a different approach than in the question above): By root decomposition of every semisimple algebra we have…
0
votes
1 answer

Semi-simple complex lie algebras dimension $4,5,7$

They have already mentioned and approached to the problem e.g. here There are no semisimple Lie algebras of dimension $4$, $5$, or $7$ We only know, root space decomposition without introducing root system or its classification. Given complex Lie…
0
votes
1 answer

How is the Lie algebra obtained from the group in a simple example on a prior post?

In this answer the Lie algebra of the group $$\left\{\begin{bmatrix} x & y \\ 0 & 1 \end{bmatrix}\middle|x,y \in \mathbb R, x\neq 0\right\}$$ is immediately given as $$\left\{\begin{bmatrix}x&y \\…
JAP
  • 553
0
votes
0 answers

Method to find the weights and the weights spaces

Let's consider $\mathfrak h$ the Cartan subalgebra of $\mathfrak{sl}_n(\mathbb C)$ consisting of diagonal matrices. This is just to fix ideas, I'm more interested in a method than in this case. Now the goal is to find the weights of…
raisinsec
  • 429
0
votes
1 answer

Normaliser of a Lie algebra

If I am correct, if $K \subseteq L$ is a Lie subalgebra then we define the normaliser of $K$ in $L$ to be $$N_L (K) = \{ x \in L : [x, y] \in K \ \ \forall y \in K \}.$$ Given this, is $ N_L (K) $ a subalgebra of $L$. Clearly this set contains $K $…
Anonmath101
  • 1,818
  • 2
  • 15
  • 30
0
votes
0 answers

Lie algebra ‘residual action’

I am going through some notes and it makes reference to something called the residual action. For an example, it says if $L$ is a Lie algebra and $ K \subseteq L $ is an Abelian ideal, then the construction $$(v +K, w ) \mapsto [v, w] $$ doesn’t…
Anonmath101
  • 1,818
  • 2
  • 15
  • 30
0
votes
0 answers

Lie Algebra connections to other fields

I just started learning about lie algebra, really the very basics. Definition and motivation mostly. And clearly it's a field which is very motivated by differential geometry. I was wondering what connections there are to other fields, such as…
DevVorb
  • 1,327
0
votes
0 answers

Is every anti-commutative associative F-algebra a Lie algebra?

Please note the following two definitions from the 3rd edition of the book "The Linear Algebra a Beginning Graduate Student Ought to Know" by Jonathan S. Golan, we find the following text under chapter 4: " Let $F$ be a field. An anticommutative…
Just_a_fool
  • 2,256
0
votes
1 answer

detail in the proof that finite-dimensional nilpotent lie algebras are closed under extensions

I'm trying to understand the proof given in this answer of the fact that finite-dimensional nilpotent Lie algebras are closed under extensions. The only step I don't understand in the argument is when the text claims that $\operatorname{ad}_x|_K$ is…
0
votes
0 answers

Lie Algebra with dot product

I'm trying to solve this exercise. Angular momentum $\mathbf{L}$ satisfies the relation $\mathbf{L\times L}=i\mathbf{L}$. Given two vectors $\mathbf{a}$ and $\mathbf{b}$ which satisfy $[\mathbf{a,b}]=[\mathbf{a,L}]=[\mathbf{b,L}]=0$, show…
0
votes
0 answers

Why does the usual and abstract Jordan decomposition coincide in a semisimple Lie algebra?

I have seen the proof of this in GTM9. But I have a problem with the statement "Since ${\rm ad}(x)(L)\subseteq L$, it follows from proposition 4.2(c) that ${\rm ad}(s)(L)\subseteq L$ and ${\rm ad}(n)(L)\subseteq L$." I understand that there is a…
0
votes
1 answer

some $\vee$ notation in lie algebras

Let $I$ be a set, $C=(c_{ij})$ be a generalized Cartan matrix, $r$ be the rank of $C$, $I'$ be a subset of $I$ such that $(c_{ij}), i, j \in I'$ is invertable. Let $\mathfrak{g}$ be a Kac-Moody Lie algebra and $\mathfrak{h}$ be its Cartan…
LJR
  • 14,520
0
votes
0 answers

Generators of twisted affine Lie algebra $D^{(2)}_2$

Does anyone know an explicit algebraic definition of the generators of the twisted affine Lie algebra $D^{(2)}_2$?
SGG
  • 152