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

Construct a outer derivation for every nonzero nilpotent/solvable Lie algebra

A derivation is inner if it has the form $\text{ad}x$, $x\in L$. Otherwise, a derivation is outer. For a semisimple Lie algebra, every derivation is inner. What about the nilpotent and solvable cases?
Isomorphism
  • 437
  • 2
  • 10
1
vote
1 answer

Center of Lie subalgebra of $\mathfrak{gl}_n$

My Lie algebra theory is quite rusty, and I have problems in proving the following or giving a counterexample. Let $L$ be a non-abelian Lie subalgebra of $\mathfrak{gl}_n$ such that the bilinear form given by $b(x,y) = tr(xy)$ is nondegenerate. Then…
Charlie
  • 1,597
1
vote
0 answers

Weibels Proof that $H^{2}$ classifies extensions

I'm trying to understand Weibel's proof that $H^{2}$ classifies extensions of Lie algebras in section 7.6 of Homological algebra. I understand most of the proof until the last section when he shows that the classifying map he has constructed from…
t.c.
  • 11
1
vote
1 answer

Misunderstanding of Engel's Theorem

I'm confused about Engel's Theorem (or one specific version of it): If ${\displaystyle {\mathfrak {g}}\subset {\mathfrak {gl}}(V)}$ is a Lie subalgebra such that every ${\displaystyle X\in {\mathfrak {g}}}$ is a nilpotent endomorphism and if $V$…
Sito
  • 570
1
vote
0 answers

Almost diagonalisation of $\mathfrak{so}_{p,q}(\mathbb{R})$

Consider the real Lie algebra $\mathfrak{so}_{p,q}(\mathbb{R})$ with $p+q=m$, we label the elements of the algebra $X_{i,j}$ for $1\leq i
Athena
  • 384
  • 1
  • 10
1
vote
0 answers

Leibniz Algebras in physics

Leibniz Algebras now appear in math-physics c.f.tensor hierarchies. The n-lab entry Leibniz Algebras for does not provide links to physics When did they first appear in the physics list? or, if long ago, when did the recent resurgence start? This…
1
vote
1 answer

Four-dimensional nilpotent Lie algebras

How it can be proved, that every four dimensional nilpotent Lie algebra contains a three dimensional abelian ideal?
1
vote
1 answer

$x \in \left[L,L\right] \Rightarrow tr(ad \, x)=0$

Suppose $L$ is a Lie Algebra and $x \in L'=\left[L,L\right]$. As a homework problem, I need to show that $\operatorname{tr}(\operatorname{ad} \, x)=0$. I assumed $\dim(L)<\infty$ (not sure if this is necessary) and tried explicitly computing…
1
vote
1 answer

Connection 1-form on Lie group

If we regard $S^{2n-1} \to \mathbb{CP}^{n-1}$ as a principal $S^1$ bundle, how do I show that $$A=\frac{1}{2\pi}\sum_i(x_i dx_i-y_i dy_i),$$ where $(x_1,y_1,\dotsc,x_{2n},y_{2n})$ are coordinates on $S^{2n-1}$, satisfies the following…
Rob
  • 1,203
1
vote
1 answer

Why must the tensor product of the adjoint representation with any arbitrary nontrivial representation D contain D for any Lie group?

In Howard Georgi's book Lie Algebras In Particle Physics, it is claimed in Problem 12.C. that for any Lie group, the tensor product of the adjoint representation with any arbitrary nontrivial representation D must contain D. I cannot figure out why…
1
vote
1 answer

Automorphisms of a Lie algebra.

Let $\mathfrak{g}$ be a Lie algebra. Then $\operatorname{Aut}(\mathfrak{g})$ is the space of automorphisms of $\mathfrak{g}$. I'm a little confused on what an automorphism of a Lie algebra is. Does this mean that it is an automorphism of linear…
1
vote
1 answer

How to obtain the root $2 \alpha_6 + \alpha_1 + 2 \alpha_2 + 3 \alpha_3 + 2 \alpha_4 + \alpha_5$ in type $E_6$ root system by Weyl group action?

The Dynkin diagram for $E_6$ is \begin{align} \circ - \circ - & \circ - \circ - \circ \\ & \ | \\ & \ \bullet \end{align} where $\bullet$ corresponds to the simple root $\alpha_6$ and the other vertices correspond to $\alpha_1, \ldots, \alpha_5$…
LJR
  • 14,520
1
vote
0 answers

Center of universal enveloping algebra

Let $$G=SO(n,1):=\{A\in\text{Mat}_{n+1,n+1}(\Bbb R)\colon\langle Av,Aw\rangle=\langle v,w\rangle\ \forall v,w\in\Bbb R^{n+1}\}$$ where $$\langle\sum_{i=1}^{n+1}\lambda_ie_i,…
Nightgap
  • 1,261
1
vote
1 answer

Representation for finite-dimensional central Lie algebras over a a field of characteristic 0

Let $\mathbb{K}$ be a field of characteristic $0$, $\overline{\mathbb{K}}$ its algebraic closure and $L$ a central simple $\mathbb{K}$-Lie algebra. Then there is a classical $\mathbb{K}$-Lie algebra $X$ and an automorphisms $B\in…
1
vote
0 answers

Comparing definitions of $so(3)$

I am learning about Lie algebra and have come to the point where my book defines the classical Lie algebras. I am investigating $so(3)$ as I know it to the be set of $3 \times 3$ skew-symm matrices. That is, $3 \times 3$ matrices $A$ which satisfy…
hirotaFan
  • 301