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
2
votes
1 answer

Show that $\langle[U,X],V\rangle = -\langle U,[V,X]\rangle$ for bi-invariant metric in Lie group

I know that $\langle U,V \rangle = \langle dR_{x_{t(e)}}U, dR_{x_{t(e)}}V \rangle$ and $\langle U,V \rangle = \langle dL_{x_{t(e)}}U, dL_{x_{t(e)}}V \rangle$ because it is bi-invariant. How do I proceed?
2
votes
1 answer

Question about Cartan involution on wikipedia

I am a beginner in representation theory. I have some questions about Cartan involution. The following is the link in wikipedia http://en.wikipedia.org/wiki/Cartan_involution My question is about $\mathfrak{su}(n)$. If $\mathfrak{su}(n)$ is the Lie…
2
votes
2 answers

How do I show that there are $q^2$ solutions $M$ to $MX-XM=0$ where $X$ is non central in $\mathop{GL}(2,q),$ $M\in M(2,q)$ and $q$ is an odd prime?

Equivalently, in the Lie Algebra $M(2,q)$, how can I show that there are precisely $q^2$ solutions M to $[M,X]=0,$ where $X$ is a non central element of $\mathop{GL}(2,q)$, where $q$ is an odd prime? It is easy to show that there are at least $q^2$…
2
votes
1 answer

Decomposition into weights of semisimple Lie algebra

Let $H$ be an abelian subalgebra, in a complex semisimple Lie algebra $L\subset {\rm gl}\ ({\bf C}^n)$, whose elements are semisimple. Assume that $H$ is abelian Lie subalgebra. Define $$H^\ast = \{ \alpha |\ \alpha : H\rightarrow {\bf C}\ is\…
HK Lee
  • 19,964
2
votes
0 answers

Lie algebra homomorphism preserves Jordan form

Fact : $\phi : L_1\rightarrow L_2$ is $surjective$ Lie algebra homomorphism. If $h\in L_1$ and ${\rm ad}_h$ is diagonalizable then ${\rm ad}_{\phi(h)}$ is diagonalizable Defn $x\in {\rm gl}\ ({\bf C}^n)$ has Jordan…
HK Lee
  • 19,964
2
votes
0 answers

Proof of Jordan Theorem on Lie Algebra

$ L$ is semisimple Lie algebra in ${\rm gl}\ V$ where $V$ is a complex vector space. Then we have two Jordan forms $$ x=d+n,\ {\rm ad}_x = {\rm ad}_d + {\rm ad}_n\ (x\in L) $$ (cf. Theorem 9.15 in the Erdmann and Wildon's book. The following proof…
HK Lee
  • 19,964
2
votes
0 answers

How can I show that $\mathfrak{sl}_n(\mathbb{C})$ is a simple Lie algebra?

The question is in the title: how can I show $\mathfrak{sl}_n(\mathbb{C})$ is simple? In every book I scoured, they say $\mathfrak{sl}_n(\mathbb{C})$ is simple but they do not provide a proof! Is there a proof which does not resort to Lie…
user39280
2
votes
0 answers

Dynkin diagram construction

My question is how to construct the Dynkin diagrams of a semi-simple Lie group $G$, which is the product of simple Lie groups. Is it the combinaison of Dynkin diagrams of these simple Lie groups? For example, what would the Dynkin diagram of…
user30656
  • 121
2
votes
1 answer

Lie Algebras: How to compute the Killing Form on $\mathfrak{sl}_n(\mathbb{C})$ and Jordan Decomposition Theorem question.

I'm reading the Fulton and Harris Representation Theory book, trying to learn about Lie Algebras. On pg. 213, they compute the killing form on $\mathfrak{h}^*$ for $\mathfrak{sl}_n(\mathbb{C})$. I understand the computation for $\mathfrak{h}$, and I…
Lauren
  • 21
2
votes
1 answer

Show that $\mathfrak{su}(m,n), \mathfrak{sp}(n,\mathbb R), \mathfrak{so}^*(2n)$ are closed under the conjugate transpose

I’m trying to check that $\mathfrak{su}(m,n), \mathfrak{sp}(n,\mathbb R), \mathfrak{so}^*(2n)$ are closed under the conjugate transpose as described in Anthony Knapp’s “Lie Groups Beyond an Introduction”. On page 60, Knapp asserts that this follows…
Rodrigo
  • 7,646
2
votes
1 answer

sl_n as a Lie subalgebra of codimension one

The following question came up during a Magma calculation: Suppose that $\mathfrak g$ is a finite-dimensional Lie algebra over $\mathbf C$ and $\mathfrak k \subset \mathfrak g$ a subalgebra of codimension one. Suppose that $\mathfrak k$ is…
Hans
  • 407
2
votes
1 answer

Does the abstract Jordan decomposition agree with the usual Jordan decomposition in a semisimple Lie subalgebra of endomorphisms?

Is it true that for every element $x$ of a semisimple Lie subalgebra of endomorphisms $L\subseteq \text{End}(V)$, where $V$ is a finite dimensional vector space over $\mathbb{C}$, the abstract Jordan decomposition of $x$ coincides with the usual…
Diogenes
  • 643
2
votes
1 answer

Union of Cartan subalgebras

Let $L$ be a semisimple Lie algebra over the field $F$ of characteristics zero. Let $H_1,H_2$ be any two of its Cartan subalgebras (that exist, are maximal toral, self-normalizing, Abelian). Let $\mathfrak{A}(H_1,H_2)$ be minimal Lie subalgebra of…
Dibidus
  • 31
2
votes
0 answers

Cartan subalgebra

Let $g$ be a real semisimple Lie algebra with Cartan decoposition $(l,p)$. How can we show that a Cartan subspace $a$ of $p$ (Cartan subspace of $p =$ maximal element in a set that consists of all Lie subalgebras of $g$ that are in $p$) iff…
user87369
  • 113
2
votes
1 answer

Computing the Killing form.

Let $\mathfrak{g}$ be a finite dimensional Lie algebra. The Killing form $K:\mathfrak{g}\times\mathfrak{g}\rightarrow\mathbb{C}$ is given by $$K(x,y) = tr(ad_xad_y)$$ I have two questions about the Killing form: How can it be computed? And more…