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

Why are we interested in tangent spaces of a group only at identity?

I am reading again about Lie Algebra, and one main concept is that of the tangent space of a lie group. We consider it to be all the possible tangent vectors as a path crosses the identity element in the lie group... but why exactly the identity…
0
votes
1 answer

Link between two definitions of Loop algebra

Good morning, I’m currently reading 「Conformal Field Theory and Topology」, Toshitake Kohno. Here $\mathfrak{g}$ is a Lie algebra associated to a Lie group $G$ The loop group $LG$ is defined as the set of smooth maps from $\mathbb{S}^{1} = \{z \in…
Joniloli
  • 111
0
votes
1 answer

Are solvable Lie subalgebras of su$(N)$ abelian?

In the following, we let su$(N)$ denote the Lie algebra of anti-hermtian and traceless complex $N$-by-$N$ matrices, with bracket being the usual commutator. My question is very simple, although I cannot seem to find the answer anywhere I've looked…
Scounged
  • 937
0
votes
0 answers

maximal torus of derivations in Lie algebra

I want to calculate the maximal torus of derivations for a Lie Algebra but I don't know how. By definition: A maximal abelian subalgebra of the derivations algebra $Derg$ constituted of the semisimple derivations is called maximal torus of…
0
votes
1 answer

$L$ acts on K via the adjoint representation

I'm studing Lie Algebras using the introduction wrinten by Humphreys. I don't understand a phrases which is : $L$ acts on $K$ via the adjoint representation. (L is a lie algebra and K is an ideal of L) To see where this accure please see the image:
0
votes
1 answer

If $L \subseteq \mathfrak{gl}(V)$ is an abelian, nilpotent Lie algebra is it true that $\{v \in V\setminus \{0 \} : x(v)=0 \forall x \in L \} \neq 0$?

I have the following question but I can’t see to find an answer floating about anywhere. In this setting $V$ is a finite dimensional vector space and is nonzero. If $L \subset \mathfrak{gl}(V)$ is abelian and consists only of nilpotent maps, is…
Anonmath101
  • 1,818
  • 2
  • 15
  • 30
0
votes
0 answers

Showing any abelian ideal of a $L \subseteq \mathfrak{sl}(V)$ must be $\{0 \}$

Here $V $ is finite dimensional over $\mathbb{C}$. I am trying to show that if a Lie algebra $L \subset \mathfrak{sl}(V)$ with irreducible natural representation has an abelian ideal $I$ then $I=\{ 0 \} $. I know that for any $\phi \in I $ that…
Anonmath101
  • 1,818
  • 2
  • 15
  • 30
0
votes
0 answers

Irreducible submodules of a Lie module

I have a probably basic question about modules over Lie algebras which I can not answer due to my very limited knowledge about the algebraic side of Lie theory. I would be happy if someone directs me to where I should read about that. Let $L$ be a…
Amr
  • 20,030
0
votes
0 answers

Lie algebra and Lie group irreps

Given a Lie algebra, we can get Lie group my exponential map. My question is, is there a relationship between the irreps of the Lie algebra and the corresponding lie group by the exponential map?
htr
  • 171
0
votes
1 answer

Scalar multiplication of automorphism

Let $\phi$ be an automorphism from a Lie algebra $L$ to itself. Is it necessary that $\phi(-x)=-\phi(x)$ for an element $x\in L$. The automorphism must satisfy $[\phi(x),\phi(y)]=\phi([x,y])$. We may substitute $y$ by $-y$ to get…
PJ Miller
  • 8,193
0
votes
1 answer

Prove that $\mathrm{Z}(\mathfrak{gl}(2,\mathbb{K})) = \mathfrak{s}(2,\mathbb{K})$.

Attempt: Let $A,B\in\mathfrak{gl}(2,\mathbb{K})$ such that: $$A = \begin{pmatrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{pmatrix}, \quad B = \begin{pmatrix}b_{11} & b_ {12} \\ b_{21} & b_{22}\end{pmatrix}$$ (This part is skippable). First, let's see…
Tryncha
  • 303
0
votes
0 answers

A step in regards to the generalised weight space decomposition for lie algebras

I am currently following the MIT lie algebra notes (for fun, not for h.w.!) and I am stuck on a step in one of the main theorems of the lecture. The notes are found here, https://math.mit.edu/classes/18.745/classnotes.html , and the question is…
0
votes
0 answers

How derivation map for Differential algebra can be defined?

A Lie λ-differential algebra is a Lie algebra L with a linear operator D : L → L satisfying the differential relation $D([xy]) = [D(x)y] + [xD(y)] + λ[D(x)D(y)], x, y ∈ L. $ How derivation map can be defined on Lie λ-differential algebra?
Nil
  • 1,306
0
votes
3 answers

Linear Lie algebra isomorphic to two dimensional algebra

Find a linear Lie algebra isomorphic to the nonabelian two dimensional algebra with basis $x,y$ such that $[x,y]=x$. (Hint: Look at the adjoint representation.) $\DeclareMathOperator{\ad}{ad}$The adjoint representation takes $a\in L$ to $\ad a$,…
PJ Miller
  • 8,193
0
votes
2 answers

How to find sub-algebras of $\mathfrak{su}(n,\mathbb{R})$?

I'm still a beginner on the field of Lie algebras. I understand that a simple Lie algebra $\mathfrak{g}$ does not contain any ideal other than the trivial ideals $0$ and itself. Is there a way to check if $\mathfrak{g}$ contains any sub-algebras at…
Suppenkasper
  • 125
  • 4