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

$SU(2)$ and its representations

Does the Lie-Algebra of $SU(2)$ always have 3 generators? Because I'm reading about different representations of $SU(2)$ as $2\times2$, $3\times3$, $4\times4$ matrices etc. But I guess that even if we are looking at $7\times7$ matrix representation…
Higgsino
  • 131
1
vote
1 answer

Lie algebra generator relation $T^a T^b \propto T^c $ valid for any $a,b$?

Given a Lie Algebra (such as $su(n), so(n))$ can I always find a set of generators + identity $\{T^a\}\cup \{id\}$ such that there exists a $c$ for any given $a,b$ such that $T^a T^b = C(a,b) T^c $ for a $a,b$-dependent function $C$ into the…
dan-ros
  • 179
1
vote
1 answer

Ideals of a characteristic ideal

We say $\frak{h}$ is a characteristic ideal of a lie algebra $\frak{g}$ if $[\frak{h},\frak{g}]\subset\frak{h}$, and $D(\frak{h})\subset\frak{h}$ for every derivation $D\in Der(\frak{g})$. The theorem states that if $\frak{h}$ is a characteristic…
Sid Caroline
  • 3,729
1
vote
0 answers

Decomposition of tensor product of irreducible representations of $\mathfrak{sl}(3, \mathbb{C})$

Let $\mathfrak{g} = \mathfrak{sl}(2, \mathbb{C})$. Every irreducible representation of $\mathfrak{sl}(2, \mathbb{C})$ has a form of $V_{n} = \mathrm{Sym}^{n}(V_{1})$, where $V_{1} = \mathbb{C}^{2}$ is a standard representation. One can prove that…
Seewoo Lee
  • 15,137
  • 2
  • 19
  • 49
1
vote
0 answers

Property of universal enveloping algebra

Let $L$ be a finite dimensional complex Lie algebra and $U(L)$ be its universal enveloping algebra. If $A$ is an associateive algebra with $1$ such that $L$ is a subspace of $A$ $A$ is generated (as algebra) by $L$, for all $x,y\in L$, the…
Beginner
  • 10,836
1
vote
2 answers

How is one supposed to carry sign in Lie brackets? Is it bilinearity?

How is one supposed to carry sign in Lie brackets? E.g. if one has: $X=x \frac{\partial}{\partial y}, Y= y\frac{\partial}{\partial z} - z \frac{\partial}{\partial y}$ Then is $[X,Y]$: $=[x \frac{\partial}{\partial y}, y \frac{\partial}{\partial…
mavavilj
  • 7,270
1
vote
1 answer

The solution of the classical Yang-Baxter equation induces a Lie bialgebra

We know that the classical Yang-Baxter equation is $$[r_{12}, r_{13}]+[r_{12}, r_{23}]+[r_{13}, r_{23}]=0,\quad(*)$$ and we have the following Theorem. Theorem: Let $\mathcal{G}$ be a Lie algebra and $r\in \mathcal{G}\otimes \mathcal{G}.$ Then the…
1
vote
0 answers

Show that Lie Algebra $\mathfrak{so}(V)$ is independent of the choice of symmetric bilinear form

Suppose $V, V'$ are $n$-dimensional vector spaces over $\mathbb C$, with symmetric bilinear forms $ \langle \cdot, \cdot \rangle$ and $\langle \cdot, \cdot \rangle'$ respectively. I am asked to show that $\mathfrak{so}(V) \cong \mathfrak{so}(V')$,…
user366818
  • 2,653
1
vote
1 answer

Conditions for a subspace to be Lie algebra with projected bracket

I am working on my bachelor's thesis in mathematical physics, and I have stumbled across a problem that I cannot seem to solve. Since it seems a quite natural question, I am hoping that someone has studied this kind of problem before, even if I…
1
vote
1 answer

An example of a Lie algebra with $[R,S]=R$

What is an example of a complex linear Lie algebra $ L$ such that its radical $R$ is isomorphic to $\mathbb C$ and $[R,S]=R$ where $S$ is the maximal semisimple subalgebra of $L$?
user328669
1
vote
1 answer

The center of nilpotent Lie algebra and the last abelian term of the derived series

Let $L$ be a finite-dimensional nilpotent lie algebra. Consider the last non-trivial term of the derived series $A:=[L^n,L^n]$. Is it true that $A$ is equal to the center $Z$ of $L$?
Ronald
  • 4,121
1
vote
1 answer

Correspondence between complex and real subalgebras

Let $\mathfrak g$ be a real Lie algebra and let $\mathfrak g^\mathbb C$ be its complexification. Is every complex subalgebra of $\mathfrak g^\mathbb C$ a complexification of some subalgebra of $\mathfrak g$? If not, what is a counterexample?
Ronald
  • 4,121
1
vote
1 answer

How does studying the complexified Lie algebra $\mathfrak{g}_\mathbb{C}$ help us understand the original Lie algebra $\mathfrak{g}$?

I have recently finished studying a course on Lie algebras which included Cartan's classification. The main process we took when studying a particular semi-simple Lie algebra was to first complexify it, form a Cartan-Weyl basis, find the roots and…
1
vote
1 answer

The center of the universal enveloping algebra of a nilpotent or solvable Lie algebra

My questions are the following. Prove that the center of the universal enveloping algebra of a nilpotent Lie algebra is generated by the center of the Lie algebra. Give a solvable Lie algebra such that the center of its universal enveloping algebra…
ShyGuy
  • 259
  • 1
  • 8
1
vote
1 answer

Is there a good reference for different Cartan Weyl bases for Lie algebras?

I'd just be interested if there is a source that lists some common CW bases for lie algebras of $SU(N),\,SO(N), Sp(N)$ etc. with roots and weights etc. (I know it's not hard to calculate them by hand, but it's neither fun nor particularly…
Gesbesgue
  • 147