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)

1
vote
1answer
57 views

Reflection in terms of simple reflections

Suppose $\beta=\sum_{i=1}^ka_i\alpha_i$, where $\alpha_i$ are simple roots. Is there any easier way to write the reflection corresponding to $\beta$ say $s_{\beta}$ in terms of $s_{\alpha_i}$'s. I ...
5
votes
2answers
109 views

How to show $\exp(tX)\exp(tY)=\exp(t(X+Y)+tR(t))$ with $\displaystyle \lim_{t\to 0} R(t)=0$?

Let $X\in GL(n, \mathbb R)$. The exponential of $X$ is the matrix given by $$\exp(X)=\sum_{n=0}^\infty \frac{X^n}{n!}.$$ I need some help for showing the following result: ...
3
votes
0answers
83 views

Derivative of exponential map

Somehow I've gotten myself confused trying to take the derivative of the exponential map on $\mathfrak{so(3)}$. For vector $\theta$, $\delta \theta$, and $p \in \mathbb{R}^3$, define $$R(\theta, p) ...
0
votes
1answer
24 views

derivative of composition of rotations

Let $\theta$ and $\psi$ be two vectors in $\mathbb{R}^3$. I want to compute $$\nabla_{\psi} \log \left( e^{[\theta]_\times}e^{[\psi]_\times}\right)$$ Where $[v]_\times$ is the skew-symmetric ...
2
votes
1answer
85 views

Is there a natural Lie bracket for $\mathfrak X (M) \times C^\infty(M)$ (pairs of vector fields and smooth functions)?

Space of smooth vector fields $\mathfrak X(M)$ on a manifold $M$ has a structure of Lie algebra with the bracket being a commutator of two vector fields. Does cartesian product $\mathfrak X (M) ...
5
votes
1answer
264 views

Matrix Lie algebras

I gave an answer to Is there a group between $SO(2,\mathbb{R})$ and $SL(2,\mathbb{R})$? which was not popular. Meanwhile, i found myself at a loss when wishing to explain why a matrix Lie group had, ...
1
vote
1answer
75 views

simple contact algebra

Let suppose we have contact lie algebra K(3,(2,2,2)) over GF(3), according to the book "Modular lie algebras and their representations" from Helmut Strade, K(3,(2,2,2)) is simple Lie algebra ( it ...
2
votes
0answers
124 views

Differential operators on the polynomial ring

Let $A$ be a commutative algebra over complex numbers. If $a\in A$ we define $m_a$ to be a linear map which sends each $x$ to $ax$. The zero map $A\to A$ is said to be a differential operator of an ...
3
votes
1answer
73 views

Killing form on some Lie algebra $L$ is zero. Is $L$ necessarily nilpotent?

I've solved an exercise in Humphreys that said: Show that if Lie algebra $L$ is nilpotent, then its Killing form is zero. I'm wondering is the opposite true? In Humphreys, we work mainly with ...
1
vote
1answer
15 views

How to show that $\alpha_{i_p}(s_{i_{p-1}} \cdots s_{i_1}(h)) = (s_{i_1} \cdots s_{i_{p-1}}(\alpha_{i_p}))(h)$?

Let $i_1, \ldots, i_p$ be integers and $\alpha_i$ be simple roots and $s_i$ be simple reflections in a Weyl group of type A. I checked some examples and it seems that $$\alpha_{i_p}(s_{i_{p-1}} \cdots ...
1
vote
0answers
28 views

Dimension of maximal tori

Let $G$ be a compact Lie group. $T$ $-$ its maximal torus. Is there a simple reasoning to show that dimensions of $T$ and $G$ have the same parity? I am sorry if this quesion is for children, but ...
2
votes
0answers
77 views

Is the exponential map of GL(n,C) holomorphic?

Let $GL(n, \mathbb{C})$ be the complex general linear (Lie) group consisting of all invertible complex $n\times n$ matrices, and $gl(n,\mathbb{C})\cong C^{n^2}$ be its Lie algebra. The exponential map ...
5
votes
0answers
47 views

Existence of product $\ast$ in a Lie algebra so that $[X,Y]=X*Y-Y*X$

I've been studying particle physics, and studying Lie algebra using physics text book doesn't give me enough information, so I'm asking my question here. Given a Lie algeba $\mathcal{A}$ where ...
4
votes
1answer
56 views

How to find the Lie algebra of a specific subgroup of a product Lie group

My question is about finding the Lie algebra of a specific Lie group. Start with a Lie group $G$, with normal Lie subgroup $C \unlhd G$. Then define the following subgroup $\hat{G} \leq G \times G$: ...
1
vote
1answer
62 views

Action of Symmetric Group on Lie Polynomials with GAP

Let $L$ be the free Lie Algebra, freely generated by $x_1,x_2, \ldots, x_n$. Let $f$ be a polynomial in $L$ and $\sigma \in S_n$, how to do $\sigma$ act on $f$ in GAP? That is $$\sigma f(x_1, \ldots, ...
0
votes
3answers
134 views

How to show a matrix can't be written as exponential?

How can I show the matrix $$A = \left( \begin{array}{c c} -2 & 0 \\ 0 & -1 \\ \end{array} \right)$$ can't be written as $A = exp(a)$? I've tried to write A like $$A = \left( ...
3
votes
3answers
87 views

Indecomposable representations of Lie algebra

Let $\mathfrak{g}$ be the nonabelian $2$-dimensional complex Lie algebra. It can be generated by two independent vectors $e_1,e_2$ such that $[e_1,e_2]=e_1$. Thus, $\mathfrak{g}$ is solvable and it ...
1
vote
1answer
62 views

Finding a basis for $sp(4,\mathbb{C})$ and related basis.

Let $$L = so_4(\mathbb{C})= \{x \in End(\mathbb{C}^4)|^txS + Sx = 0 \} \text{ where }S = \left(\begin{array}{cc} 0 & I_2 \\ -I_2 & 0 \end{array}\right)$$ Letting $x = \left(\begin{array}{cc} ...
1
vote
0answers
48 views

Questions about the bracket

In the map $\phi : L \mapsto \mathfrak {U}(L) $, where $ L $ is a lie algebra and $\mathfrak {U} $ is a universal enveloping algebra of $ L $. (1) Is the following relation true? If $[xy]=z$ in $ L ...
2
votes
2answers
422 views

Direct sum decomposition of weight spaces and relation to Tensor products.

There are 3 parts to the question that I am trying to understand, and while it is not homework it seems instrumental in decomposition modules into weight spaces and their relation to tensor products. ...
0
votes
1answer
58 views

Some examples for Lie algebras

I need some small examples for Lie algebras over finite fields ( GF(2) or GF(3)) including some simple Lie algebras and some others which are not simple. And I would be thankful if anyone could give ...
0
votes
0answers
36 views

Convolution and Characters

I am confused about the purpose of the Formal Character, character functions, and the convolution in representation theory of Lie algebras. Is the Character function different than just the Character? ...
2
votes
2answers
77 views

A criteria for a subalgebra of M(n,C) being M(n,C)

Suppose $S$ is a subalgebra of the matrix algebra $M_n(\mathbb{C})$. If for any vector $v$ and $w$ in $\mathbb{C}$, there always exists a matrix $A$ in $S$, depending on $v$ and $w$ of course, which ...
0
votes
0answers
28 views

Isometries of S^3 and some Lie algebras

By considering $S^3$ as the group of unit quaternions, and letting it act on itself from both the left and right, one can get an isomorphism $SO(4)\cong (S^3\times S^3)/C_2$, where the $C_2$ subgroup ...
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
52 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
103 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
78 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
24 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
73 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
211 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
104 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
62 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
56 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
65 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
168 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
113 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
328 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
37 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
100 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}, $ $ ...
0
votes
1answer
45 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 ...
1
vote
0answers
135 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
82 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 ...