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

Lie Algebra of $SL_n(\mathbb H)$

The Lie algebra of $SL_n(\mathbb C)$ are the matrices where the trace is $0$. But what is the Lie algebra of $SL_n(\mathbb H)$ where $\mathbb H$ is the quaternions?
user782220
  • 3,195
1
vote
1 answer

Show that the Cartan-Killing form of $sl_n\mathbb{C}$ is $\langle{\rm diag}(a),{\rm diag}(b)\rangle=2n\sum_i a_i b_i$

Consider $sl_n\mathbb{C}$ as aLie-algebra, and choose h the CSA formed by diagonal matrixes. I can i demonstrate that the Cartan-Killing form in $sl_n\mathbb{C}$ is $=2n \sum_{i=1}^n a_ib_i$?
balestrav
  • 2,071
1
vote
1 answer

simple contact algebra

Let suppose we have contact lie algebra K(3,(2,2,2)) over GF(3), according to the book "Modular lie algebras and their representations" from Helmut Strade, K(3,(2,2,2)) is simple Lie algebra ( it means that it has no ideal except trivial and itself)…
Nil
  • 1,306
1
vote
1 answer

Let ‎$‎L‎$‎ be a Lie algebra. why if ‎$‎L‎$ ‎be‎ supersolvable then ‎$‎L'=[L,L]‎$ ‎ is nilpotent.‎

Let ‎$‎L‎$‎ be a Lie algebra. why if ‎$‎L‎$ ‎be‎ supersolvable then ‎$‎L'=[L,L]‎$ ‎(derived algebra) is nilpotent.‎
amin
  • 11
1
vote
0 answers

Given basis for a Lie algebra, what is one for its Universal Central Extension

Given that I have an infinite basis for a Lie algebra $L$, and the information that $M$ is its Universal Central Extension, is $M$ unique? If so, what is the basis of $M$ in terms of that of $L$?
1
vote
1 answer

Weyl group reflects root to a base?

I am reading Humphreys' Introduction to Lie Algebras and Representation Theory. In Theorem 10.3(c), it is stated that if $\alpha$ is a root then there exists a Weyl group reflection $\sigma$ such that $\sigma(\alpha) \in \Delta$, where here $\Delta$…
1
vote
0 answers

Hermit reciprocity, $\mathfrak{sl}_2(\mathbb{C})$

Let $V$ be the standard $2$-dimensional representation of $\mathfrak{sl}_2(\mathbb{C})$. Hermit reciprocity states that $S^n(S^mV)\simeq S^m(S^nV)$. Can anybody give me a hint to prove it or give a reference?
Kolyan
  • 213
1
vote
1 answer

counter examples for alleged sub-algebras

This is a homework question, in which we've got a bunch of kinds of subsets of a given Lie-algebra, and needed to decide wether these are sub-algebras, ideals, or non of the above. I have managed to find all besides 2 counter examples: Given a…
IBS
  • 4,155
1
vote
1 answer

Restricted Universal Enveloping Algebras

Is there example of restricted universal enveloping algebra $uL$ of the $p$-Lie algebra $L$ over field $k$ of characteristic $p > 0$ such that $L$ hasn't nonzero $p$-algebraic elements and global dimension of $uL$ is infinite?
shma2001
  • 133
1
vote
2 answers

Semisimple complex Lie algebra

Let L be a finite-dimensional complex semisimple lie algebra, then ad(L)=Der(L). (Der is short for derivation). In order to show that ad(L)=Der(L), the book says that it only need to show that the prependicular space to ad(L) is zero. This is where…
Yuan
  • 553
1
vote
0 answers

Symetric powers of $sl_2$ representations

I'd like to understand some special things about representations of $sl_2$ (which is considered as a Lie algebra over $\mathbb{C}$). First, it can be shown that for each $n\in \mathbb{N}$ there is only one $n$-dimensional irreducible representation…
Kolyan
  • 201
  • 2
  • 4
1
vote
1 answer

anticommutativity of lie algebras

With respect to the definition of Lie algebras, we note that the bilinearity and alternating properties imply anticommutativity i.e [x,y]=-[y,x] for all elements in Lie algebra. Now let L be a simple lie algebra over GF(2), Is it commutative…
Nil
  • 1,306
1
vote
0 answers

Structure constants of Lie algebra from system of linear equations

The Jacobi identity in terms of the structure constants $c_{p,q}^r$ of an $N$-dimensional Lie algebra with $p,q,r=1,\ldots,N$ reads $$ J_{i,j,k}^l \equiv c_{i,j}^m \, c_{k,m}^l + c_{j,k}^m \, c_{i,m}^l + c_{k,i}^m \, c_{j,m}^l = 0 …
user71769
  • 354
1
vote
1 answer

Dimension of the weight space in stadard cyclic L-modules

Let $\lambda \in H^*$ be the irreducible standard cyclic module $V(\lambda)$ of weight $\lambda$ of a semisimple Lie algebra $L$. What are all the possible ways to determine : 1) Which $V(\lambda)$ are finite dimensional? 2) Which weight $\mu$ occur…
GA316
  • 4,324
  • 27
  • 50
1
vote
1 answer

Express $ad_x$ in terms of the basis elements

I'm working with the set of trace zero matrices, $\mathfrak{sl}(V)\subseteq\mathfrak{gl}(V)$ of endomorphisms of a vector space $V$. The problem asks us to represent $ad_x, ad_y, ad_h$ in terms of the basis elements $x = \begin{pmatrix} 0 & 1…
mathmath8128
  • 1,605