For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

learn more… | top users | synonyms (1)

0
votes
1answer
49 views

How can we compute a Lie bracket for powers of elements of given lie algebra?

Let $L$ be a lie algebra over finite field, for $ x,y$ in $L$ I want to solve the following bracket: $[yx^k,x]=?$ How can we describe that in the format of $[...[y,x],x],...,x]=[y,x]_i$ ($i-times$)
2
votes
1answer
57 views

Factorization of Compact Lie Algebras into Irreducible Ideals

I have read in some lecture notes on Lie theory that any compact Lie algebra $\mathfrak{g}$ can be factored as a direct sum of of irreducible ideals for the $\mathrm{ad}$ representation. That is, $$\...
2
votes
1answer
56 views

Confusion in Lie algebra notes

I'm self-studying through these notes, and I ran into a roadblock on the page 38, chapter $sl(2)$ and its irreducible representations. Right after defining $U(sl(2)) \otimes_{U(b^+)} \mathbb C$ ...
3
votes
0answers
54 views

Exponential of a power of the differential operator

In relation to this question: Exponential of a polynomial of the differential operator Is there an expression for $\exp(aD^n)f(x)$ similar to $\exp(aD)f(x)=f(x+a)$?
4
votes
1answer
105 views

Visualizing Lie algebra of SO(3)

Let $SO(3)$ be the Lie group of 3D rotations. Rotation about z-axis by an angle $\phi$ is represented in standard basis by this matrix: $$ \begin{pmatrix} \cos \phi & -\sin\phi & 0 \\ \...
1
vote
0answers
33 views

Considerations for moving a function inside or outside of an integral

Excluding the possibility that $A(t)$ is the limit of a sequence, are there any special considerations I should be concerned with regarding the following assertion: Let $A(t)$ be an $n\times n$ ...
0
votes
1answer
81 views

Complex conjugation of positive roots

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...
1
vote
1answer
26 views

Multiple Cartan sub-algebras

How is it that for a Semi-simple Lie Algebra there is not one Cartan Sub-Algebra? I assume since there are multiple CSA's of a SS Lie algebra that must mean some of the ss elements of the Lie ...
1
vote
1answer
79 views

Diagonalizabilty of ad(adjoint map)?

let $\mathsf{g}$ be a finite dimensional lie algebra and $\xi\in\mathsf{g}$. Under which conditions the adjoint map $ad_\xi :\mathsf{g}\longrightarrow \mathsf{g}$ is diagonalizable? what about ...
0
votes
0answers
32 views

Closed Connected Subgroup of $SO(5)$

I was reading a paper in which a part of it they want to classify the closed connect subgroups of $SO(5)$. What they write is this: Let $G^0$ be a closed connected subgroup of $SO(5)$. Let $T$ be a ...
2
votes
1answer
222 views

Don't understand Levi decomposition theorem

Levi decomposition theorem states that any finite-dimensional real Lie algebra $L$ is the semidirect product of a solvable ideal and a semisimple subalgebra. I don't understand this since to me it ...
0
votes
0answers
119 views

Lattices in Lie Algebras

I am having a little confusion with the different types of lattices involved with Lie algebras. Root system: represented as euclidian vector arrows. However I have seen the same arrangement with ...
1
vote
0answers
38 views

regular representation of algebras

Let suppose we have universal enveloping algebra, what is the meaning of the notion of the right regular representation of that? How can we determine the right regular representation of universal ...
1
vote
0answers
63 views

Intuition behind PBW

The PBW theorem states: $\omega:\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. Where $\mathfrak {S} $ is the symmetric tensor algebra of a Lie algebra $ L $. Where $\mathfrak {...
3
votes
1answer
58 views

How to obtain a Lie algebra homomorphism from a Lie group homomorphism

In class we learn a theorem tells us one can cook up a Lie algebra from a Lie group: If $f: G\to H$ is a homomorphism of a Lie group then $T_I f: T_I G\to T_I H$ is a homomorphism of Lie algebra. ...
2
votes
1answer
66 views

Eigenvalues of ad (Adjoint action) in semisimple lie algebra?

Suppose $V=V_0\oplus V_1$ be a $Z_2$-graded semi-simple lie algebra and, $\xi\in V_1$. The maps $ad_\xi \circ ad_\xi :V_0\longrightarrow V_0$ and $ad_\xi \circ ad_\xi :V_1\longrightarrow V_1$ are ...
4
votes
1answer
184 views

Construction of the simply connected Lie group of a given Lie algebra

Given a finite dimensional real Lie algebra $\mathfrak{g}$, I am trying to obtain a concrete realization of its simply connected Lie group $G$, with $\mathrm{Lie}(G) \cong \mathfrak{g}$. Let us ...
5
votes
1answer
117 views

Exponential of a polynomial of the differential operator

Given that $$\exp(aD)f(x)=f(x+a)$$ where $\exp(D)$ is the exponential of the differential operator $D$, is there a similar closed-form, general expression for $\exp(g(D))f(x)$, where $g(D)$ is a ...
3
votes
0answers
363 views

SAGE vs. Mathematica for Lie algebras / groups?

What math software is better for working with Lie algebras and Lie groups, SAGE or Mathematica?
2
votes
0answers
41 views

On the construction of the Verma module

My question is about the construction of Verma module of a lie algebra $L$, there is one step in the construction which I do not quite understand. Let $L=N_-\oplus H\oplus N_+$ be the triangular ...
1
vote
1answer
109 views

absolutely irreducible module

If L be lie algebra over F ( F is a field), I want to know what is the definition of absolutely irreducible FL-module? I have confused of several key words related to irreducible modules!? Is there ...
1
vote
1answer
27 views

Standard set of Generators

A standard set of generators for a semisimple Lie algebra $ L $ is defined as: {${x_\alpha}, {y_\alpha}, {h_\alpha} $} Where: $ x_\alpha \in L_\alpha, $ $ y_\alpha \in L_{-\alpha}, $ $ [{x_\alpha}{...
0
votes
1answer
46 views

Implied relationships between Lie groups and Lie algebras.

Suppose $\mathcal{L}$ is a finite-dimensional Lie algebra, and $\mathcal{G} = e^{\mathcal{L}}$ is it's compact, connected Lie group. Given a closed sub-algebra $\mathcal{L}' \subset \mathcal{L}$, it ...
0
votes
0answers
33 views

Codimension of $\ker $ $\alpha $

Can someone explain why the codimension of $\ker $ $\alpha $ is $1$ in $ H $, with complement $ Fh_\alpha $? Is this because $ h_\alpha $ when $ \alpha $ is simple is part of the dual basis to the ...
1
vote
0answers
152 views

Dual spaces: Roots and Cartan subalgebra

Can someone show that the roots and the Cartan subalgebra are dual vector spaces? I don't see how simple roots acting on non-corresponding indices of a Cartan basis produce 0 and a simple root ...
2
votes
0answers
86 views

How to calculate the Maurer-Cartan form in the adjoint representation?

While I am reading a paper, I come across a difficulty. Here, we have a Lie group and we know its Lie algebra defined as $[G_a,G_b]=f_{ab}^{\phantom{ab}c}G_c$ with $G_a\in\mathfrak g$. Under the ...
1
vote
0answers
48 views

Do involutions suffice to find reflected vectors in a reflection group representation?

Consider a reflection group $W$ acting by isometries on a Euclidean space $V$. I want to understand the union of $(-1)$-eigenspaces for this action, the set $$\{v \in V : \exists w \in W\ (w\cdot v = ...
3
votes
0answers
69 views

How are the components of a connection on a homogenous space related to the Mauer-Cartan form?

I am finding it hard to understand in what way the Mauer-Cartan form $\omega_G$ of a Lie group $G$ can be used to define a connection on a bundle $G \to G/H$ in the same way that parallel transport of ...
0
votes
2answers
123 views

Associative Lie algebra without Jacobi identity

1) Is there a name for associative Lie algebra that does not require Jacobi identity to hold? 2) Can such algebra exist, and if it does exist, can this algebra contain infinitely many elements? 3) ...
2
votes
2answers
116 views

Closure of a Fundamental Weyl Chamber

Can someone explain what a "closure" of a Fundamental Weyl Chamber means? I assume it is related to an algebraic closure, but I don't see how. In addition, how does the Weyl group act on it and why ...
1
vote
1answer
204 views

killing form and the dot product

When going from talking about roots as functionals to talking about roots as vectors in a Euclidian space (root system), does the killing form become the dot product? Are the killing form and dot ...
2
votes
0answers
132 views

How to visualise the Killing form of a Lie algebra

Given a Lie algebra $\mathfrak{g}$, we can define its Killing form $$K(x,y) = \mathrm{Tr}(ad_x\circ ad_y)$$for $x, y\in \mathfrak g$. Whilst I understand that the Cartan decomposition $$\mathfrak g =\...
0
votes
1answer
67 views

Killing form and Roots

I know that the roots of a Lie Algebra are functionals such that if $\alpha$ is a root and $h \in \mathfrak h$ is an element of the Cartan subalgebra, then $\alpha(h)$ is an eigenvalue. I'm looking ...
1
vote
0answers
195 views

Root space decomposition

Regarding the direct sum of vector spaces/algebras, the dimensions of the parts of the sum should equal the whole. With the root decomp, the cartan sub algebra seems to have a dimension as high as the ...
0
votes
0answers
59 views

Toral sub algebra

It seems to me, I could be wrong, that the toral sub algebra goes against the following rules: For a semisimple Lie algebra: If the killing form is nondegenerate the Lie algebra is semi simple-> the ...
0
votes
1answer
44 views

Root space question

Do the roots of a root space decomposition have a kernel? Since it is the duel space to the cartan subalgebra ,evaluation of the roots on a non-equal index cartan basis element should be zero. Thanks
2
votes
0answers
58 views

Root Space Decomp

I am reading Humphrey's intro to Lie algebra, self-teaching, and have a few questions regarding root space decomp. 1) If I understand this correctly, the toral sub algebra of L represents all ...
1
vote
0answers
129 views

Prove the Weyl's complete reducibility Theorem on finite-dimensional $\mathfrak{g}-modules$ by Kostant's $\mathfrak{n}$-cohomology result

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
1
vote
1answer
85 views

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.‎
2
votes
1answer
48 views

An extension of an algebraic question from my test

Let $A$ and $B$ be two real $n\times n$ matrices s.t. $AB=BA$. We now that $\det(A^2+B^2) \geq 0$. Is the similar question true for $n$ matrices which commute with each other? If not, how do I ...
4
votes
1answer
97 views

Cartan subalgebra of semisimple Lie algebra

My question is: How can I construct the Cartan subalgebra of a semisimple Lie algebra L which is the direct sum of simple Lie algebras, such as for example su(2)⊕su(2)⊕su(2)?
10
votes
2answers
334 views

Applications of Algebra in Physics

Often I have heard about the link between Algebra (in particular Representations of Groups and Algebras) and some "indefinite" field of Physics. I have a good preparation in Algebra and ...
1
vote
1answer
48 views

Lie ideals of $gl_n(K)$

I am looking for some reference where I can find a detailed study of the Lie ideals of the general linear Lie algebra $gl_n(K)$ with the bracket $[A,B]=AB-BA$, where $K$ is a field (if there are ...
1
vote
0answers
24 views

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$?
0
votes
1answer
61 views

How can I describe Lie bracket for formal product of elements of Lie algebras

Let L be a Lie algebra with basis $B=\{x_1,...,x_{10}\}$, Is there any property to describe the following lie bracket: for example how I can decompose $[x_1 x_2 x_3 , x_5]=$? Here $x_1 x_2 x_3$ is ...
2
votes
1answer
136 views

explicit matrix example of irreducible representation of s0(3)

Can someone give me a concrete or an explicit example of an irreducible representation of the Lie algebra so$(3)$? I know they are given by the Wigner D matrices but I want an explicit example of such ...
0
votes
0answers
71 views

Dimension of a weight space which is of weight $0$.

Let $V$ be a module of a Lie algebra $\mathfrak{g}$ and $V_{0}$ be the weight space of $V$ of weight $0$. $$ V_0 = \{ v\in V: h.v = 0, h \in \mathfrak{h} \}, $$ $\mathfrak{h}$ is a Cartan subalgebra ...
0
votes
2answers
312 views

Why is $\mathfrak{sl}(n)$ the algebra of traceless matrices?

I'm studying Lie algebras as purely algebraic objects, without much of a background in the differential geometry surrounding Lie groups. The definition of $\mathfrak{sl}(n)$ has been given to me as ...
2
votes
1answer
146 views

What makes a Lie Group a Differentiable Manifold?

I've recently been trying to glance at the definition of a Lie group, but I'm not clear as to why a Lie group is defined the way it is, and why this becomes a smooth manifold. For example, if we have ...
1
vote
1answer
63 views

Identities involving adjoint action

I'm looking for list of identities involving adjoint action $\mathrm{ad}_A X = [A,X] = AX - XA$. For example, it can be easily shown that: \begin{equation} e^{\mathrm{ad}_A} X = e^A X e^{-A} \end{...