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

Proof of Lie theorem on solvable Lie algebra

I am reading a book of Helgason. As you know, solvable Lie algebra $g \subset V= {\bf C}^n$ have a nonzero $v$ such that $v$ is an eigenvector of any element of $g$. I can follow the proof in ...
1
vote
0answers
95 views

The Lie algebra of the commutator subgroup

If $G$ is a connected Lie group with Lie algebra $g$, then is its commutator subgroup $[G,G]$ a closed subgroup with Lie algebra $[g,g]$?
1
vote
0answers
119 views

Exterior and symmetric powers of $\mathfrak{sl}(4,\mathbb{C})$ representation

I am taking a course on representation theory, and going through Lecture 15 of Fulton and Harris's Representation Theory. One of the topics we're currently covering is the example of ...
1
vote
0answers
61 views

Projection map $\text{Sym}^2(\text{Sym}^3V)\to \text{Sym}^2V$ viewed as a Hessian

Exercises 11.21 and 11.22 in Fulton's Representation Theory are the following: Let $V$ be the standard representation of $\mathfrak{sl}_2\mathbb{C}$. The projection map from ...
1
vote
0answers
88 views

If $\mathfrak{g}$ admits a decomposition then it is semisimple

I want to show: If $\mathfrak{g}$ is a Lie algebra that has an abelian subalgebra $\mathfrak{h}$ such that $\mathfrak{g}$ has a Cartan decomposition $\mathfrak{g}=\mathfrak{h}\oplus(\bigoplus_{\alpha ...
1
vote
0answers
114 views

Conjugate Representations for $\mathfrak{sl}(2,\mathbb{C})$

Let $\mathfrak{sl}(2,\mathbb{C})$ be the complex Lie algebra of $SL(2,\mathbb{C})$ and $\mathfrak{sl}(2,\mathbb{C})_\mathbb{R}$ be its realification; that is $\mathfrak{sl}(2,\mathbb{C})_\mathbb{R}$ ...
1
vote
0answers
43 views

Not null Killing form.

I have to find an example of solvable Lie algebra $L$ such that the Killing form of $L$ isn't null. If we take the Borel subalgebra of $\mathfrak{sl}(2)$, we have that the Killing form of $L$ is the ...
1
vote
0answers
218 views

jacobian involving SO(3) exponential map: $\log(R * \exp(m))$

I would like to compute the 3x3 Jacobian of $$ \log(R * \exp(m)) $$ with respect to the 3-vector $m$, evaluated at $m=0$. In the above, $\exp$ is the exponential map from so(3) to SO(3), $\log$ is ...
1
vote
0answers
94 views

Root system of a Lie Algebra

Could anybody help me to solve this problem with roots system? Be $\Phi$ an irreducible root system. $\Phi^{+}$ a choice of positives roots in $\Phi$. Prove that if $(\alpha,\beta)\ge0$ $\forall ...
1
vote
0answers
36 views

Symmetric algebra and complex polynomial on Lie algebra

Let $G$ a Lie group and $\mathfrak{G}$ its Lie algebra. How can I identify the symmetric algebra on $\mathfrak{G}$ ($S(\mathfrak{G})$) with the algebra of complex polynomials on $\mathfrak{G}$, that I ...
1
vote
0answers
46 views

Invariants of representation theory of Lie groups

How to compute the determinant of a representation of an element of the special linear group? How do I argue that it doesn't change? (@Marek: @rschwieb: Yes well, given one represenation (with ...
1
vote
0answers
33 views

Lie Derivative in Projective Hilbert Space

In considering a projective Hilbert space, $P(H)$, for linear maps (tensors) of vectors in the space, $A^{a}_{b}v_{a}=u_b$, is there a natural definition for the Lie Derivative for such linear maps? ...
1
vote
0answers
95 views

Submanifold of a Lie group - tangent space

Let $G$ be a compact Lie group and $H, H' \leq G$ Lie subgroups. Consider the set $M = H' \cdot H = \{h\cdot h' \ \vert \ h \in H, h' \in H'\}$. Is it possible to describe explicitly the tangent space ...
1
vote
0answers
65 views

Is there any Lie algebra that is not constructed from an associative algebra

I see in Wikipeida that every Lie algebra is either constructed from an associative algebra by defining: $[x,y]=xy-yx$, or a subalgebra of a Lie algebra thus constructed. Where can I find a proof? ...
1
vote
0answers
55 views

Followup question in Brian Hall's Lie Groups and Algebras.

In ex 9, page 60, he writes down that in order to prove that each invertible matrix $A$ can be written as $A=e^X$, where $X\in M_{n\times n}$, one need to use the fact that if $A$ is unipotent then ...
1
vote
0answers
53 views

Basics of Lie 2-algebras?

Could somebody (simply) explain the basics foundations of Lie 2-algebras, and some basic practical applications ? For instance, does it exist a 3-map (equivalent to the 2-map commutator for Lie ...
1
vote
0answers
136 views

The universal enveloping algebra of a loop algebra as a quotient of the free associative algebra.

Let $\mathfrak{g}$ be a simple finite-dimensional complex Lie algebra and set by $\tilde{\mathfrak{g}}:=\mathfrak{g}\otimes_{\mathbb C} \mathbb{C}[t,t^{-1}]$ its loop algebra. How to express the ...
1
vote
0answers
72 views

$1$-parameter subgroups in $GL_n(\mathbb{C})$

I came across this link on planetmath and a few facts on that link are confusing me. According to planetmath, any $1$-parameter subgroup in $GL_n(\mathbb{C})$ arises from the exponential map. That ...
1
vote
0answers
37 views

The nonexistence of nontrivial solvable series in $M_n(k)$

I am a bit confused about semisimple Lie algebras. For the sake of simplicity, let's take $\mathfrak{g}=M_n(k)$ where $k=\bar{k}$. According to Wiki, $M_n(k)$ is solvable if the radical of $M_n(k)$ ...
1
vote
0answers
40 views

Inverse boson operator realization of $\mathfrak{so}(3)$

This is actually a homework problem. The inverse boson operators $a^{-1}$ and $\left(a^\dagger\right)^{-1}$ are defined as $$a^{-1} |n\rangle = \frac{1}{\sqrt{n+1}} |n+1\rangle$$ ...
1
vote
0answers
30 views

set of roots satisfying a minimal condition related to the induced Killing form

Let $\mathfrak{g}$ a finite-dimensional complex simple Lie algebra with Cartan subalgebra $\frak h$. Let denote $(\cdot,\cdot)$ the non-degenerate bilinear form on $\frak h^*$ induced by the Killing ...
1
vote
0answers
63 views

Question about root space

Let $\mathfrak{g}$ be a Lie algebra and consider $\operatorname{Rad}(\mathfrak{g})$, the radical of $\mathfrak{g}$, that is, the sum of all solvable ideals in $\mathfrak{g}$. Suppose that we have the ...
1
vote
0answers
179 views

How to prove the lie algebra of $n\times n$ traceless matrices is semi-simple?

The Lie algebra of all the $n \times n$ matrices is not semi-simple. However, if we restrict ourselves to traceless $n\times n$ matrices, we do obtain a semi-simple (in fact, simple) Lie algebra which ...
1
vote
0answers
186 views

$SU(2)$ is a covering space of $SO(3)$.

The method of topology is very clear.Then there's a question asking to use adjoint representation of lie group $SU(2)$ $(\operatorname{adj}:SU(2)\to GL(su(2)))$to prove this. I can't solve this .
1
vote
0answers
46 views

$G_1$-Scalar factors for Clebsch-Gordan coefficients for $ U(n)$

when evaluating the $G_1$ scalar factors for CGC's of $U(n)$ it seems that some of the factors are undefined. The explicit formula for the evaluation of the scalar factors is Eq. (6) in 18.2.8 of N.J. ...
1
vote
0answers
123 views

First-order derivatives in differential forms calculus

Let $d$ denote the Cartan differential, and let $\delta$ denote the codifferential. The underlying domain is not important for what follows. The canonical generalization of the Laplace-operator ...
1
vote
0answers
35 views

Subspace of a homogeneous space.

Given two homegenous spaces $\frac{G}{H}$, $\frac{A}{B}$ with $A\subset B$ is there a way to prove that $\frac{A}{B}\subset \frac{G}{H}$ ie that $B\subset A\cap H$? In particular I would like to ...
1
vote
0answers
108 views

PBW Theorem applied to graded Lie algebras

Fix a $\mathbb Z_+^n$-graded Lie algebra ${\frak a}=\oplus_{r \in\mathbb Z_+^n}^{} {\frak a}[r]$ such that ${\frak g}:={\frak a}[0]$ is a finite-dimensional semisimple Lie algebra over the complex ...
1
vote
0answers
71 views

Cartan subalgebras of a loop algebra.

For an algebraically closed field $\mathbb F$ of characteristic zero, a finite-dimensional Lie algebra $\frak G$ has a Cartan subalgebra and these subalgebras are conjugated in a certain sense. Let ...
1
vote
0answers
104 views

Complete reducibility of finite-dimensional representations of $\mathfrak{sl}_2(\mathbb{C})$

By Weyl's theorem every finite-dimensional representation of $\mathfrak{sl}_2(\mathbb{C})$ is completely reducible, because $\mathfrak{sl}_2(\mathbb{C})$ is a (semi) simple Lie algebra. It seems there ...
1
vote
0answers
57 views

The form of a subgroup of $GL(n,K)$ when the derived group is of certain form

The famous Lie-Kolchin theorem in the theory of algebraic groups states: Let $G$ be a connected solvable subgroup of $GL(V)$, $0 \neq V$ finite dimensional. Then $G$ has a common eigenvector in ...
1
vote
0answers
21 views

When does $C_G(s) \times Cl_G(s)s^{-1}$ equal $G$

I have read on James E. Humphreys' Linear Algberaic Groups If $G$ is an algebraic subgroup contained in $GL(n,K)$, and $s$ is a semisimple element of $G$, then $\mathfrak{g}$ has the ...
1
vote
0answers
81 views

Does triality survive in product Lie groups?

Look at the following diagrams of Lie groups ...
1
vote
0answers
99 views

Finite order automorphisms of Lie algebras

Let $\Gamma$ be a Dynkin diagram automorphism of diagram type $A_{2n}$ and let $\sigma$ be a non-trivial finite order automorphism of $\Gamma$. Let $g$ the Lie algebra associated to $\Gamma$ and ...
1
vote
0answers
236 views

How to show that the structure constant of SU(3) is invariant?

So suppose $f_{ijk}$ is the antisymmetric structure constant of SU(3), and $D^8_{ij}(g)$ is the matrices of 8-dimensional adjoint representation of SU(3), then how to show that ...
1
vote
0answers
124 views

Do the classical Lie algebras all satisfy $XM + MX^T = 0$?

I'm working on a homework assignment in which part of the question statement says that each of the classical Lie algebras can be described as the set of all matrices $X \in gl(n,\mathbb{C})$ ...
1
vote
0answers
324 views

Length of root strings

Let $a,b$ be roots ($a\ne \pm b$) of a Lie algebra $g$ of type $X$, where $X$ can be classic or exceptional $(A,B,C,D,E,F,G)$. It is well known that the length of an $a$-string through $b$ is at most ...
0
votes
0answers
24 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
7 views

Cayley-Hamilton type decomposition of SL(3,R) matrices

Given an element $\lambda = \theta_a T_a$ of SL(3,R) Lie algebra, where $T_a$s are the generators and $\theta_a$s are parameters, is there a general formula to determine the coefficients A,B and C ...
0
votes
0answers
9 views

Elements of $gl(2l+1,\mathbb{C}): x^tS =- Sx$, How they are found and Erdman exercise 4.2

On page 130 of Erdman's book "Introduction to Lie Algebras" we have: Let $L = gl_S(2l+1,\mathbb{C})$ for $l \geq 1$ where $S = \left(\begin{array}{cc} 1 & 0 & 0 \\ 0 & 0 & I_3 \\ 0 ...
0
votes
0answers
22 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? ...
0
votes
0answers
22 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
0
votes
0answers
23 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
0answers
29 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$)
0
votes
0answers
16 views

Lie algebra: If ad(g) is solvable then g solvable?

I'm trying to prove that if the image of the adjoint representation of a Lie algebra g is solvable then g is solvable, ie, if for some n (ad(g))^(n) = 0 then there exists a m such that g^(m) = 0 My ...
0
votes
0answers
19 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 ...
0
votes
0answers
18 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 ...
0
votes
0answers
26 views

Semi-simple Irreducible Representations

I am studying the Representation Theory of Lie Algebras and came across this dilema. When can the representations of semi-simple Lie algebras be irreducible? I thought Weyl's theorem said this ...
0
votes
0answers
18 views

PBW proof proposal

One version of the PBW theorem states: $\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. I am curious if this is a possible proof for the PBW theorem, part is taken ...
0
votes
0answers
35 views

SAGE vs. Mathematica for Lie algebras / groups?

What math software is better for working with Lie algebras and Lie groups, SAGE or Mathematica?