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
0 answers

Isomorphism of $so(3,\mathbb{C})$ and $sl(2,\mathbb{C})$ using basis elements

A basis for $sl(2,\mathbb{C})$ is given as $\{e = \left(\begin{matrix}0 & 1 \\ 0 & 0\end{matrix}\right), \; f = \left(\begin{matrix}0 & 0 \\ 1 & 0\end{matrix}\right), \; h = \left(\begin{matrix}1 & 0 \\ 0 & -1\end{matrix}\right)\}$ with relations…
KJA
  • 159
  • 8
0
votes
1 answer

Showing Lie Algebra is not simple

I want to show that the Lie algebra $A=\{ x\in M_3(\mathbb{C}) : x^T\begin{pmatrix} 1 & 0 & 1\\ 0 & 1 & 0\\ 1 & 0 & 1\\ \end{pmatrix}+\begin{pmatrix} 1 & 0 & 1\\ 0 & 1 & 0\\ 1 & 0 & 1\\ \end{pmatrix}x=0\}$ is not simple. I've tried to look at the…
KJA
  • 159
  • 8
0
votes
1 answer

Proof that a semisimple Lie algebra can be written as sum of two ideals

Assuming $L$ to be a semisimple Lie algebra and $I$ an arbitrary ideal of $L$, define $$I^\perp = \{x\in L \mid \kappa(x,y) =0 \text{ for }y\in I\},$$ where $\kappa$ is the Killing-form. I'd like to show that $L=I\oplus I^\perp$. First one can…
Sito
  • 570
0
votes
2 answers

Trouble with "trivial" example of a semi-simple Lie algebra

If the radical of a Lie algebra is zero, we call it semi-simple. In the lecture notes that I'm following its stated that for any arbitrary Lie algebra (over a field with characteristic zero and finite dimensional) $\mathfrak{g}$ we have,…
0
votes
1 answer

Clarification on the Killing form of a Lie algebra

Given an algebra $\mathfrak{g}$, the killing form is defined as $K(x, y) = \operatorname{Tr}(\operatorname{ad}(x) \circ \operatorname{ad}(y))$, but when $\mathfrak{g}=\mathfrak{gl}(n)$, we have that: $\operatorname{Tr}([x,…
Alessandro
  • 1,334
0
votes
1 answer

Lie algebra of 2 by 2 matrces that are upper triangular and their characteristics that define them

I know how to find the orthogonal and the special linear group of $2$ by $2$ matrices. This is because I know their “defining” properties. How can I find the Lie algebra of: $$A = \left(\begin{array}[c c] - a_1 & a_2\\ 0& a_1^2 …
Dhdh
  • 413
0
votes
1 answer

Solvable Lie algebra and its Center

If $\mathfrak{g}$ is a solvable Lie algebra with center $Z(\mathfrak{g})$, can we decompose it over its center? Writing $\mathfrak{g}=Z(\mathfrak{g})\oplus\mathfrak{h}$ where $\mathfrak{h}$ is a Lie subalgebra?
0
votes
3 answers

Is a non-zero homomorphism f: V ---> W of L-representations V,W surjective if W is simple?

This could be wrong but: If W is simple then V must be simple and if V is simple then its only subrepresentations are 0 and V which means the Ker(F)=0 and thus F must be injective. But how can I show it it is surjective?
0
votes
1 answer

Is the direct sum of the strictly upper triangular matrices and the lower triangular matrices = the general linear algebra?

I'm just trying to make sure I understand direct sum correctly in the context of Lie algebra, this isn't a textbook question. If we, for example, took the strictly upper triangular matrices in the complex plane n(n,C) and performed a direct sum with…
Rusk
  • 139
0
votes
1 answer

Determining nilpotency of upper triangular matrices

Let $L = n(n, F)$, the Lie algebra of strictly upper triangular $n \times n$ matrices over a field $F$. Show that $L_k$ has a basis consisting of all the matrix units $e_{ij}$ with $j −i > k$. Hence show that $L$ is nilpotent. What is the smallest m…
Rusk
  • 139
0
votes
2 answers

Is Sl(2,C) an ideal of gl(2,C)

I believe that it is but how can one show this? This is for study so any help would be great and appreciated.
0
votes
2 answers

Simple Lie Algebras and its derived series

Trivially, for any Lie Algebra (LA) g, g':=[g,g] is an ideal. What's wrong with the following argument? Be g a simple LA, then it has to be g'=g by definition of simple LA. But [g,g]=g seems to be an alternative way of characterizing a semi simple…
Pol
  • 1
0
votes
1 answer

An example of a Lie bracket

Suppose we are given a vector space $V$ equipped with a bilinear form $[,]:V\times V\to V$ such that $$[x,y]=h, \quad \text{and} \quad [x,h]=0=[y,h]$$ for any $x,y$ and $h$ in $V$. How can we show that this bilinear form defines a Lie bracket on…
0
votes
1 answer

Lower central series of finite dimensional Lie algebra is stable

Let $\mathfrak{g}$ be a Lie algebra, if $\mathfrak{a},\mathfrak{b}$ are subspaces of $\mathfrak{g}$ we define: $$[\mathfrak{a},\mathfrak{b}]=\mathrm{span}\{[a,b]:a\in\mathfrak{a},b\in\mathfrak{b}\}. \tag{1}$$ The lower central series of…
inoc
  • 335
0
votes
1 answer

Representation of $\mathcal{sl}_2$ and the sequence of the weight space dimensions

Let $\mathcal{sl}_2$ be a Lie algebra over $\mathbb{C}$. Each and every irreeducible representations of $\mathcal{sl}_2$ is uniquely determined by its maximal weight $n-1$ and is termed $V_n$. Then $\dim V_n = n$ and $V_n$ is the sum of one…
Vasco
  • 134