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

From Generators of Lie Groups to Representations

Howard Georgi in his book on Lie algebras mentions a very interesting formula $$\dfrac{\partial}{\partial a_b}e^{ia_aX_a} = \int_{0}^{1} ds \ e^{isa_aX_a}(iX_b)e^{i(1-s)a_cX_c}.$$ How can one use this formula to derive the Baker Hausdorff…
EEEB
  • 1,320
0
votes
1 answer

When derivations are exactly homomorphisms?

I would like to ask when a derivation is a Lie homomorphism, specially when the derivation is inner. Thanks for any suggestions. Takjk
Takjk
  • 77
0
votes
1 answer

Prove that Tr$[x,y]^m=0$ for $m \ge 1$

$V$ is a complex vector space and $x,y \in gl(V)$ are linear maps such that $[x,y]$ commutes with both $x$ and $y$. Let $z=[x,y]$. Show that tr$z^m=0$ for all $m\ge 1$. I have thought about this question for a long time, but I don't know how to use…
0
votes
2 answers

In $R^3, ad_x $ is not diagonalizable

I'm doing HW in Lie algebra, there is one question ask me to prove that in $\mathbb R_\text{^}^3$ there is no non-zero element $x$ such that $ad_x$ is diagonalizable. I try to present it in some basis and prove eigenvalues are not in $\mathbb R$ but…
0
votes
1 answer

Dimension of the space of homomorphisms of Lie algebras

Let $L$ be a Lie algebra of dimension $n$ and let $M(n \times n)$ denote the space of square matrices of size $n$. We know that the adjoint representation is a homomorphism of Lie algebras $\text{ad} : L \to M(n \times n)$. How many more…
0
votes
1 answer

Product of root vectors transform weight vector into another weight vector.

Let $\mathfrak h$ a Cartan subalgebra of the complex semisimple Lie algebra $\mathfrak g$ and let $V$ be a representation of $\mathfrak g$. Let $v \in V$ be a weight vector of weight $\lambda$, that is, $h v = \lambda(h) v$ for all $h \in \mathfrak…
Mekanik
  • 1,761
0
votes
1 answer

S-subalgebra and R-subalgebra.

Given the characteristics of a Cartan subalgebra H of a semisimple Lie algebra; H is abelian, it stabilises the root spaces generated with respect to it. It appears to me that all subalgebras of a complex semisimple Lie algebra are regular; since…
Tabitha
  • 21
  • 1
0
votes
1 answer

Clarification on the non-abelian Lie algebra bracket (Dimension 2)

I have a dumb question: I have proven that there is one isomorphism class for all two-dimensional non-abelian Lie algebras, with basis $\{x,y\}$ and bracket $[x,y]=x$. and it was written in an answer that…
0
votes
1 answer

Clarification of Fulton and Harris root lattices

Sorry to ask what is almost certainly a very trivial question, but in Fulton and Harris's first course in representation theory they write down a property of root lattices which I think must be sort of wrong. In lecture 12 they are talking about…
0
votes
0 answers

Kac moody algebras and Weyl groups

1.Let $\pi$ be an integrable representation of a Kac Moody algebra $g(A)$ on a vector space $V$. For $i = 1,2 ,...,n$ set $r_i^{\pi} = (exp fi)(exp (-ei))(exp fi)$. Then how to prove that $r_i^{\pi}(V_{\lambda}) = V_{r_i(\lambda)}$. Where $r_i$ is a…
GA316
  • 4,324
  • 27
  • 50
0
votes
0 answers

Example for the lie algebra $\mathfrak g(A)$ constructed in Kac's book

I am reading about infinite dimensional lie algebras from the books Infinite-Dimensional Lie Algebras by Victor G. Kac and Lie Algebras of Finite and Affine Type by Roger Carter. Now I have gone through the basic construction rules of realaisation…
usermath
  • 3,516
0
votes
1 answer

Number of Cartan subalgebra elements

For SU(n) Lie algebra, the Cartan subalgebra contains "n - 1" elements. What are numbers of elements in SO(n) [maybe separately for SO(2n) and SO(2n+1)?] and Sp(n) Cartan subalgebras?
Kosm
  • 257
0
votes
1 answer

What can we say about generic two-dimensional Lie algebras?

I am having trouble understanding how Lie algebras act. I.e. if I am trying to work with a two dimensional Lie algebra, there isn't much I can do without knowing the Lie Bracket that is defined on the Lie Algebra correct?
0
votes
2 answers

Adjoint action notations $\operatorname{ad}(X)(Y)$, $\operatorname{ad}(X)$ and $\operatorname{ad}_x(Y)$ are equivalent??

As the title says I'm a bit confused with these notations of adjoint action of Lie algebra on itself. Are these notations ($\operatorname{ad}(X)(Y)$, $\operatorname{ad}(X)$ and $\operatorname{ad}_x(Y)$) equivalent?
Kosm
  • 257
0
votes
2 answers

Every semisimple Lie algebra of dimension at most 5 is simple.

How does one argue that every semisimple Lie algebra of dimension $\leq 5$ is simple. Since any simple algebra has dimension at least $3$, we have to show that any semisimple algebra of dimension $3,4,5$ is simple.
Mekanik
  • 1,761