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
49 views

Weyl group of a non-symmetrizable Generalized Cartan Matrix

Let $A$ be a generalized Cartan matrix on the index set $I$. Define the Weyl group of $A$ as the Coxeter group on the basis $I$ with $m(i,j)=2,3,4,6,\infty$ according to whether $A_{ij} A_{ji}$ is ...
1
vote
0answers
60 views

Dimension of the root spaces of a semisimple complex Lie algebra

I have problems in understanding the proof that the root spaces of a semisimple Lie algebra are all 1-dimensional and that the only multiples of a root $\alpha \in \Phi$ which occur in $\Phi$ are $\pm ...
1
vote
0answers
69 views

Cartan subalgebra

Let $g$ be a real semisimple Lie algebra with Cartan decoposition $(l,p)$. How can we show that a Cartan subspace $a$ of $p$ (Cartan subspace of $p =$ maximal element in a set that consists of all Lie ...
1
vote
0answers
51 views

Isomorphism between $B_2$ and $C_2$

For small values of $l$, isomorphisms occur among certain of the classical algebras. Show that $B_2$ is isomorphic to $C_2$. Well, both $B_2$ and $C_2$ have dimension $10$. $B_2$ consists of ...
1
vote
0answers
59 views

Lorentz group and eigenvalues

For generators of the Lorentz group ($\hat {R}_{k}$ corresponds to the generators of 3-rotations, $\hat {L}_{k}$ corresponds to the generators of the boosts) we have the following algebra: $$ [\hat ...
1
vote
0answers
48 views

Weight spaces of Verma modules

Let $\mathfrak g$ be a semisimple Lie algebra generated by $x_i^+,x_i^-$, $1\leq i\leq n$, via the Chevalley-Serre relations and let $V(\mu)$ be a Verma module with highest-weight $\mu$. I gather that ...
1
vote
0answers
54 views

Heisenberg algebra and other Lie algberas

Is there a sub Lie algebra $K$ such that for an ideal $M$ of a heisenberg algebra $H$, $H=K+M$ and $K\cap M=0$ ($M$ has a complement in $H$)? Is there a class of Lie algebras such every ideal $M$ ...
1
vote
0answers
30 views

If Lie(H) preserves a subspace, must H also preserve that subspace?

Assume $H \subset G$ is a closed connected subgroup of a linear algebraic group over an arbitrary field (both assumed to be smooth). Assume $G$ acts linearly on the (finite dimensional) vector space ...
1
vote
0answers
61 views

A complex lie algebra is the direct sum of simple ideals iff it is semisimple

So I am wanting to show that a complex lie algebra is the direct sum of simple ideals iff it is semisimple. In fact I have already proved <= It remains for me to prove => $\textbf{Currently I ...
1
vote
0answers
32 views

Given $L$ a complex finite dimensional Lie algebra. Then suppose $L$ is solvable. Show $L^{(1)}$ is nilpotent.

Given $L$ a complex finite dimensional Lie algebra. Then suppose $L$ is solvable. Show $L^{(1)}$ is nilpotent. Okay, so I have the existence of a flag of ideas in $L$. Can I deduce from this that ...
1
vote
0answers
161 views

Lie algebra of Euclidean group

From the book "Spinning Tops" by Audin, she claims that $$\mathfrak{so}(3)[\epsilon]/\epsilon^2$$ with coefficientwise Lie bracket is a Lie algebra of a Lie group that is $TSO(3)$ (group action not ...
1
vote
0answers
64 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
84 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
49 views

Why is the dual space of Cartan subalgebra an irreducible representation of Weyl group

it is proposition 14.31 in Fulton-Harris book. The proof goes like this. Let $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{g}$, and assume $\mathfrak{z}\subseteq\mathfrak{h}^*$ were preserved ...
1
vote
0answers
106 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
60 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
85 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
101 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
41 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
176 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
81 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
35 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
43 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
30 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
90 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
62 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
52 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
52 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
33 views

Smallest dimensional irreps of semi-simple Lie algebras

I'm wondering if there is a reference that lists the first couple smallest dimensional irreducible representations of each semi-simple Lie algebra. I know these can be found using the Weyl dimension ...
1
vote
0answers
129 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
63 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
38 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
28 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
59 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
169 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
179 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
41 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
117 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
34 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
97 views

Properties of a highest weight module.

Let $V$ be a highest weight module of a semisimple Lie algebra $\mathfrak{g}$ with highest weight $\lambda$. Then there is a highest weight vector $v$ such that $V=U(\mathfrak{g})^{-}\cdot v$. Let ...
1
vote
0answers
106 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
69 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
95 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
56 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
98 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
229 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
116 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})$ ...