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

Proof of Lie's theorem using theorem 4.1 in Humphreys

I'm studying Humphreys' book 'Introduction to Lie Algebras and Representation Theory' First here is theorem 4.1. Theorem. Let $L$ be a solvable subalgebra of $\mathfrak gl(V)$, $V$ finite dimensional. if $V \neq 0$, then $V$ contains a common…
learner
  • 339
0
votes
1 answer

Help Understanding the paragraph in page 16 of Humphreys Lie Algebras

The following paragraph is in page 16 of "Introduction to Lie Algebras and Representation Theory - Humphreys" $K$ is a subalgebra of $\mathfrak gl$($V$). Denote $W$={$w\in V$ : $x.w=\lambda(x)w$, for all $x \in K$}, $i.e.$ the set of common…
learner
  • 339
0
votes
1 answer

Would this algebra be still closed?

I have a problem understanding when an algebra is closed. For example the angular momentum algebra closes: $$[L_i,L_j]=\epsilon_{ijk}L_k$$ but would the algebra still be closed if, for example, there would be a change like this: $$[L_1,L_2]=L_3 +…
mattiav27
  • 413
0
votes
0 answers

Examples of Cartan subalgebras

A subalgebra which is a Semisimple Lie algebra with the 2 properties The subalgebra is maximal abelian All elements are diagonalizable is called Cartan subalgebras. The most common example is the algebra of all diagonalizable matrices but I don't…
gamma
  • 245
0
votes
1 answer

Understanding the regular element of a Lie algebra

Given a Lie algebra $\mathfrak{g}$, we defined $$ \mathfrak{g}_{0,x}=\{ y\in \mathfrak{g}: \exists N>0\ ad(x)^N(y)=0\}, $$ and $x$ is said to be regular if $\mathfrak{g}_{0,x}$ is of minimal dimension. So I am kind of confused here what the minimal…
Christina
  • 635
  • 4
  • 8
0
votes
2 answers

Infinitely many ideals on a product Lie Algebra

I'm trying to prove the exercise 2.8)c) of Erdman and Wildon book on Lie Algebras. It says that if $L_{1}$ is isomorphic to $L_{2}$, and the ground field is infinity, then there are infinitely many ideals on $L_{1} \times L_{2}$. Well, I supposed…
P.Luis
  • 561
0
votes
1 answer

How can I prove that a two-dimensional Lie algebra cannot be simple

I am currently studying Lie algebra and now I am confused about how could I prove that a two-dimensional Lie algebra cannot be simple? Thanks for any answers in advance.
Hunter
  • 9
0
votes
1 answer

Expanding the exponent of the adjoint map

I am reading the following: https://i.stack.imgur.com/wY7Yk.jpg and am having trouble understand the definition of $$B_{b,n} = e^{-ad_{u}}(b\lambda^{n})$$ I know that $ad_{u} = [u,\cdot]$ and I know that the Lie bracket is skew-symmetric. Then,…
0
votes
1 answer

Is this Lie algebra decomposition always true: $\mathcal{G} = \text{Ker}(ad_{a}) \oplus \text{Im}(ad_{a})$

I am reading: https://i.stack.imgur.com/QPS4m.png and am not understanding their decomposition $$\mathcal{G} = \text{Ker}(ad_{a}) \oplus \text{Im}(ad_{a})$$ where $\mathcal{G}$ is a Lie algebra and $ad_{a} := [a, \cdot]$. Since a Lie algebra is a…
0
votes
1 answer

Lie algebra of Lorentz Group $O(1,3)$

Let $$ O(1,3)=\{A\in GL_4(\mathbb R):A^TgA=g\} $$ where $g$ is the diagonal matrix with $1$ on the first diagonal entry, and $-1$ on the other diagonal entries. I want to show that the Lie algebra consists of matrices $X$ such that $gXg=-X^T$. As…
Sha Vuklia
  • 3,960
  • 4
  • 19
  • 37
0
votes
1 answer

Relationship between $su(4)$, $so(4)$ and $su(2)\oplus su(2)$

What is the relationship between the Lie algebras $su(4)$, $so(4)$ and $su(2)\oplus su(2)$ (if any)? I have read that $so(4)=su(2)\oplus su(2)$ but what is their relationship to $su(4)$?
0
votes
1 answer

What is the Killing form of SO(3,1)?

I computed the Killing form of SO(3,1). Now I would like to check the correctness of the result but I could not find this Killing form in any publication. Where can I find it?
Rob
  • 9
0
votes
1 answer

Is this true? $\forall z \in sl(2) \;\exists\,x,y \in sl(2)\,;\,z=[x,y]$

A semi simple Lie Algebra (LA) $\mathbf{g}$ is usually defined as (I) a direct sum of simple LAs: $\mathbf{g}\,=\,\oplus_i\,\mathbf{g_i}$. An alternative characterization seems to be the statement that (II) $\forall z \in \mathbf{g} \;\exists\,x,y…
0
votes
2 answers

Algorithmic way to find 2 dimensional sub algebras

I am looking for an algorithmic way to find 2-dimensional sub-algebras of an algebra with commutator relations \begin{align} [X_1, X_2]=-X_3 \end{align} \begin{align} [X_1, X_3] = -X_2 \end{align} \begin{align} [X_2, X_3]= X_1 \end{align}
0
votes
1 answer

Eigenvectors and eigenvalues of $ad_{(e-f)}$

Consider the Lie Algebra $A_1$ having basis {e,h,f} satisfying $[e,f]=h, [h,f]=-2f, [h,e]=2e$. I want to find eigenvalues and eigenvectors of $ad_{(e-f)}$, where $ad$ is the adjoint map. As find as I understand, then I want to those $x\in A_1$,…
njlieta
  • 411