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
1
vote
2 answers

Is there any good example about Lie algebra homomorphisms?

My textbook gave an example of the trace, but I think to get a better comprehension, more examples are still needed. Any example will be helpful ~
rhenskyyy
  • 898
1
vote
1 answer

Condition of solvable Lie algebra.

I'm studying about Lie algebras using J.E. Humphreys' book ("Introduction to Lie Algebras and Representation Theory"). On page 19 he says: It is obvious that $L$ will be solvable if $[LL]$ is nilpotent. But it is not obvious to me. Why is it true?
1
vote
0 answers

Obtaining Cartan Matrices from Lie Algebras

I have been studying Lie Algebras from chapter 13 of Conformal Field Theory by Di Francesco et al., I understand that the entire structure of a Lie algebra is contained in its Cartan Matrix. What I do not understand is how one calculates it in the…
1
vote
0 answers

Outer automorphisms of semi-simple Lie algebras

It is known that outer automorphisms of semi-simple Lie algebras are automorphisms of their corresponding Dynkin diagrams. But would it be correct to say that for a semi-simple Lie algebra all outer automorphisms are exhausted by outer automorphisms…
Peter Santos
1
vote
1 answer

Subalgebras and Ideals of a Lie algebra

If $A$ is a vector subspace of $\mathfrak{g}$(Which is a Lie algebra), and $N=\{x\in\mathfrak{g}:[x,A]\subseteq A\}$ So if $N=A$, then $A$ is a subalgebra, and if $N=\mathfrak{g}$ then, $A$ is an ideal, correct? What can I conclude about $N$?
1
vote
1 answer

"Semi-simplicity" of Lie algebra elements.

Why are diagonalizable elements of Lie algebra called "semi-simple"? Is there a notion of "simple" elements? Is it related to "semi-simplicity" of the Lie algebra?
Kosm
  • 257
1
vote
1 answer

Isomorphism between two irreducible root systems is conformal

Let $R$ and $R'$ be irreducible root systems in the real inner product spaces $E$ and $E'$. Prove that $R$ and $R'$ are isomorphic iff there exists a scalar $\lambda \in \mathbb{R}$ and a vector space isomorphism $\varphi: $ $E \to E'$ such that…
1
vote
0 answers

Finding the Killing form of $\mathfrak{sp}_{2n}(\mathbb{C})$

How can I find the Killing form of $\mathfrak{sp}_{2n}(\mathbb{C})$? I'm explicitly working with basis vectors in trying to compute $\operatorname{tr}(\operatorname{ad}(a)\operatorname{ad}(b))$ but it's becoming really messy. Is there another way?
187239
  • 1,275
1
vote
0 answers

Question about root space

Let $\mathfrak{g}$ be a Lie algebra and consider $\operatorname{Rad}(\mathfrak{g})$, the radical of $\mathfrak{g}$, that is, the sum of all solvable ideals in $\mathfrak{g}$. Suppose that we have the decomposition $\mathfrak{g} = \mathfrak{h} \oplus…
192803
  • 143
1
vote
1 answer

How to proof that the $\mathbb{Z}$-span of weights of a faithful $L$-modul contains the root lattic?

Let $L$ be a semisimple Lie Algebra with root system $\Phi$ and base $\Delta$ of $\Phi$. Let $V$ be a finit dimensional, faithful $L$-modul with weights $\Pi(V)$. I am trying to show that the $\mathbb{Z}$-span of $\Pi{(V)}$ (denoted $\Lambda(V)$)…
Idun E.
  • 478
1
vote
0 answers

What exactly is lower central series of Lie algebra?

I've read several definitions of $LCS$ and derived series of Lie algebra, but I'm not sure if i get it right: In case of $LCS$, the relationship is given as $g_{k+1}=[g,g_k]$, does $``g_k"$ stand for $k$-th generator? And could someone kindly…
Kosm
  • 257
1
vote
1 answer

Showing Witt Algebra is simple?

So I got the Witt Algebra over finite field http://en.wikipedia.org/wiki/Witt_algebra and need to show that it's simple. But, I don't know where to start. So let I be a nonzero ideal of witt algebra, but then don't know where to go with this.
1
vote
0 answers

The algebra of $W$-invariant polynomial funktions sl2

Let $L=\mathfrak{sl}(2,\mathbb{F})$, $H$ a borel subalgebra, $\Delta=\{\alpha\}$ a base of the corresponding root system and $W$ the Weyl group. Let $\lambda=\frac{1}{2}\alpha$ be the fundamental dominant weight. I read, that $\lambda^{2}$ generates…
Idun E.
  • 478
1
vote
1 answer

Lie algebra using skew-symmetry

Let g be a Lie algebra such that [[x,y],y]=0 for all $x,y \in g$. Show that 3[[x,y],z]=0 for all $x,y,z \in g$. [Hint: Observe that the mapping (x,y,z) to [[x,y],z] is skew-symmetric in x,y,z and make use of the jacobi identity.] So I know that…
simplicity
  • 3,694
1
vote
1 answer

$n_-$ is freely generated in a Kac moody Algebra

This question is my doubt from Kac's book on Infinite dimensional Lie algebras. We start with an arbitrary matrix A, and we define the realization of A and using the generators $\{e_i,f_i : 1 \le i \le n\}$ and $h$ we define the auxiliary lie…
GA316
  • 4,324
  • 27
  • 50