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
5
votes
2 answers

The Killing forms of $\mathfrak{su}(n)$ and $\mathfrak{sl}(n,\Bbb R)$ are not isomorphic (as real Lie algebras)

Show that $\mathfrak{su}(n)$ and $\mathfrak{sl}(n,\Bbb R)$ are not isomorphic as real Lie algebras. I calculated that both of them have the Killing form $$K(x,y)=2n \,\textrm{tr}(xy) .$$ I got the hint that I should consider the signature of both…
user95
  • 89
5
votes
1 answer

Killing form and trace form on a simple Lie algebra

Let $k$ be the Killing form on a finite dimensional simple Lie subalgebra $L$ of $\mathfrak{gl}(m,\mathbb{C})$. Let $(x,y)\mapsto Trace(xy)$ denote the trace form on $L$. Claim: $k$ and trace form are proportional. Proof: (1) Take a basis…
5
votes
0 answers

Two Definitions of Casimir operator for sl2 which differ by +1

Let $H,X,Y$ be the standard basis of the Lie algebra $\mathfrak g = sl(2,\mathbb C)$. Up to a factor, the most common definition of the Casimir operator of a $\mathfrak g$-module is $c = h^2+2h+4yx$. (I write small letters for the corresponding…
Mekanik
  • 1,761
5
votes
0 answers

Does solvability of Lie algebra have useful application in study of PDEs?

If certain Lie algebra is solvable then what difference this algebra would create in application point view for PDEs ? For example, in case of ODE of fourth order admitting three dimensional solvable Lie algebra $\mathfrak{g}$ can be reduce to…
IgotiT
  • 734
5
votes
0 answers

Multiplicities in weight diagram of representations of $\mathfrak{sl}(3,\mathbb{C})$

In the weight diagram of an irreducible (finite dimensional, complex) representation of $\mathfrak{sl}(3,\mathbb{C})$, there are 'rings' of weights in the shapes of triangles or hexagons. Is there an easy way to show that the multiplicities on these…
maths
  • 431
5
votes
2 answers

How to use Weyl dimension formula?

Let $V(\lambda)$ be a highest weight module of a semi-simple Lie algebra with highest weight $\lambda$. The Weyl dimension formula is $\dim V(\lambda) = \frac{\prod_{\alpha>0} (\lambda+\rho, \alpha)}{\prod_{\alpha>0}(\rho, \alpha)}$. By multiplying…
LJR
  • 14,520
5
votes
1 answer

Highest weight of a trivial representation of a Lie algebra.

Let $g$ be a Lie algebra. $\mathbb{C}$ is a trivial representation of $g$. What is the highest weight of $\mathbb{C}$? I think the weight is the function $f: \mathfrak{h} \to \mathbb{C}$ such that $f(h)=1$ for all $h \in \mathfrak{h}$. Can we…
LJR
  • 14,520
5
votes
1 answer

Example of a semisimple Lie algebra with degenerate Killing form

We know that when the killing form of a Lie algebra is nondegenerate then it is semisimple. I am looking for a semisimple Lie algebra with degenerate killing form. I know if the field is of characteristic zero it is impossible to find one.
Buddha
  • 1,256
  • 11
  • 16
5
votes
1 answer

If a Lie algebra L decomposes as a direct sum of its derived subalgebra and its center, is L reductive?

A Lie algebra $L$ is said to be reductive if for any ideal $\mathfrak{a}$ of $L$, there is an ideal $\mathfrak{b}$ of $L$ such that $L=\mathfrak{a}\oplus\mathfrak{b}$. It is known that a reductive Lie algebra decomposes as $L = L'\oplus Z(L)$,…
essay
  • 1,135
5
votes
1 answer

The maximality of Cartan subalgebras of lie algebras

In some lecture notes of mine we define a Cartan subalgebra $\mathfrak h$ for semisimple $\mathfrak g$ as an abelian subalgebra of $\mathfrak g$ containing ad-diagonizable elements which are maximal. It then says that for more general Lie algebras…
Jeff
  • 51
5
votes
1 answer

Why is the commutator subalgebra of a Lie algebra a linear subspace?

One defines commutator subalgebra of Lie algebra $\mathfrak{g}$ as $[\mathfrak{g},\mathfrak{g}]$. Why is it really subalgebra: Why $\forall_{a,b,c,d \in \mathfrak{g}} \exists_{e,f \in \mathfrak{g}} [a,b] + [c,d]=[e,f]$ ?
4
votes
1 answer

What is a simple lie algebra?

What is a simple lie algebra? What should I be thinking of when I come across these? What is a good example or two that I should keep in the back of my mind at all times? I know they are useful, but I can't appreciate why, I don't understand the…
bobby
  • 689
4
votes
2 answers

Center of the universal enveloping algebra

Suppose I have non-abelian 2-dimensional Lie algebra or 3-dimensional Heisenberg algebra. How to calculate the center of universal enveloping algebra in this cases?
Alex-omsk
  • 338
4
votes
0 answers

Is there a good list of accidental Lie algebra isomorphisms?

The Wikipedia page Exceptional isomorphisms contains some lie algebra isomorphisms. Is there a list more complete than that, especially including real algebras in low dimensions?
Friedrich
  • 821
4
votes
1 answer

tensor product of modules of Lie algebras

Let $\mathfrak{g}$ be a semisimple Lie algebra and $M, N$ be two modules of $\mathfrak{g}$. Is it true that $M \otimes N \cong N \otimes M$? If $\mathfrak{g}$ is replaced by other algebras, $M \otimes N \cong N \otimes M$ is also true? What…
LJR
  • 14,520