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
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
113 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
214 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
32 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
94 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
178 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
184 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
45 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
122 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
107 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
103 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
235 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
323 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
22 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
29 views

SAGE vs. Mathematica for Lie algebras / groups?

What math software is better for working with Lie algebras and Lie groups, SAGE or Mathematica?
0
votes
0answers
25 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 ...
0
votes
0answers
37 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 ...
0
votes
0answers
14 views

Convergence of Baker-Cambpbell-Hausdorf for compact groups

It is well known that the Baker-Campbell-Hausdorf formula doesn't need to converge for general elements of a Lie algebra, resp. for matrices with norms larger then 1. On the other side, if $G$ is a ...
0
votes
0answers
24 views

two Roots questions

Just two questions on roots... 1) Can the length of roots only be defined relatively? And does length only come about because of the dot product and cartan integers? 2) This might be a weird ...
0
votes
0answers
52 views

how can we prove commutation formula?

Can anyone help me to prove the following proposition: Definition: Let F denote any field and suppose that A ia a vector space over F. If f be a bilinear mapping on A×A → A. the pair (A,f) is referred ...
0
votes
0answers
11 views

How to create a commutative lie algebra from commutative ring?

How does one create a commutative lie algebra (lie algebra is inherently anti-commutative, so this is added restriction) from commutative ring?
0
votes
0answers
27 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
0answers
31 views

Isomorphic Dual and Conjugate Representations of a Lie Algebra

Let $\frak{g}$ be a complex Lie algebra $\frak{g}$, and $R:\frak{g} \to $End$(V)$, a representation for some finite dimensional complex vector space $V$. As is well-known, we can construct from $R$ ...
0
votes
0answers
16 views

Suppose Del is root system. Then at least one simple component of Del is not isomorphic to A1 if and only if there is an embedding A2 to Del.

Suppose Del is root system. Then at least one simple component of Del is not isomorphic to A1 if and only if there is an embedding A2 to Del. where A1 and A2 are simple root system. The idea is There ...
0
votes
0answers
7 views

Free Lie algebras and basis for a subpcae of a special degree

Let X^* be the the set of all words on basis elements of Lie algebra L and F is the vector space spanned by X^*. I do not know how can I define the basis elements and also the number of basis ...
0
votes
0answers
22 views

A question on Cartan involution

Is there a real(or complex) Lie algebra $L$ for which the set of all involutions is an infinite commutative set but the center of $L$ is finite dimension space?(So the set of all Cartan involution ...
0
votes
0answers
24 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
0answers
21 views

How to compute $\lambda(h_i)$?

Let $\lambda$ be a weight and $h_i = h_{\alpha_i} \in \mathfrak{h}$, $\alpha_i$ is a simple root. $\mathfrak{h}$ is a Cartan subalgebra of a Lie algebra $\mathfrak{g}$. How to compute $\lambda(h_i)$? ...