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

Integration on associated vector bundle

Let $G$ be a compact lie group and $\mathfrak{g}$ be its Lie algebra then we can construct the integral on $G\times \mathfrak{g}$ by $$\int_G\int_{\mathfrak{g}}f(x,Y)dxdY$$ Where $x\in G$ and $Y\in ...
1
vote
0answers
64 views

Structure constants of Lie algebra from system of linear equations

The Jacobi identity in terms of the structure constants $c_{p,q}^r$ of an $N$-dimensional Lie algebra with $p,q,r=1,\ldots,N$ reads $$ J_{i,j,k}^l \equiv c_{i,j}^m \, c_{k,m}^l + ...
1
vote
0answers
18 views

Show that $\langle[U,X],V\rangle = -\langle U,[V,X]\rangle$ for bi-invariant metric in Lie group

I know that $\langle U,V \rangle = \langle dR_{x_{t(e)}}U, dR_{x_{t(e)}}V \rangle$ and $\langle U,V \rangle = \langle dL_{x_{t(e)}}U, dL_{x_{t(e)}}V \rangle$ because it is bi-invariant. How do I ...
1
vote
0answers
40 views

Reference request: exact sequences of Lie algebras

I have a reference request: where can I read more about the following? Consider the short exact sequence $0\rightarrow \mathfrak{n}^- \rightarrow \mathfrak{gl}_n\rightarrow \mathfrak{b}\rightarrow ...
1
vote
0answers
83 views

Which is the Weyl group of $U(n)$

Consider the unitary group $U(n)$. How does one compute its Weyl group? Is it the same as the Weyl group of $SU(n)$ since $U(n)\simeq SU(n)\times U(1)$?
1
vote
0answers
49 views

Exercise in Lie algebra course

Let $A$ and $B$ be subalgebras of a Lie algebra $L$ such that $B\subset N_L(A)$. (a) Verify that the space $A+B$ is a subalgebra of $L$. (b) Verify that $A\triangleleft(A+B)$ and $(A\cap ...
1
vote
0answers
27 views

Simple question: Lie algebra and p-groups

Assume $p$ is a prime and $\pi$ is the set of primes dividing $(p-1)!$. $\mathbb{Q}_{\pi}$ is the set of all rational numbers with $\pi$-numbers as denominators. A $\pi$-number is a product of ...
1
vote
0answers
107 views

Questions about affine Weyl group and extended affine Weyl group for SL2.

Let $G=SL_2$. Then the Weyl group is generated by $s_1$. On page 3 of the lecture notes, it is said that the affine Weyl group is generated by $s_0, s_1$. (1) The element $s_0s_1$ can be identified ...
1
vote
0answers
49 views

Lie algebra of the unipotent radical of a standard parabolic subgroup in $GL_n$

Let $k$ be a field, and consider the algebraic group $G=GL_n(k)$. For any partition $n_1+n_2+\ldots+n_m=n$, we have a parabolic subgroup of the form ...
1
vote
0answers
31 views

Lie algebra homomorphism preserves Jordan form

Fact : $\phi : L_1\rightarrow L_2$ is $surjective$ Lie algebra homomorphism. If $h\in L_1$ and ${\rm ad}_h$ is diagonalizable then ${\rm ad}_{\phi(h)}$ is diagonalizable ...
1
vote
0answers
41 views

Example of $3$-dimensional Lie algebra

I have a question on $3$-dimensional Lie algebra $L$ over ${\bf C}$ (cf. Erdmann and Wildon's book) Assume that $$ L=(x,y,z),\ L'=(y,z)$$ Then the book states that there exits two kinds of $L$ : ...
1
vote
0answers
26 views

Base of a root system

Let $R \subset V$ be a reduced root system, and $R' \subset R$. Assume that: (i) $\alpha \in R' \ \to \ - \alpha \notin R'$, (ii) $ \alpha, \beta \in R'$ and $\alpha + \beta \in R$ implies $\alpha ...
1
vote
0answers
85 views

How do I find the Cartan subalgebra?

I know the definition of a Cartan subalgebra, but how do I actually find it explicitly for a particular Lie algebra over the complex numbers?
1
vote
0answers
49 views

The Lie subgroup of the compact Lie group

$G$ is a compact connected Lie group with Lie algebra $g$ whose center is $h$. Let $h^{\bot}$ be the orthogonal complement of $h$ where the inner product is chosen to be invariant under the adjoint ...
1
vote
0answers
43 views

Intertwiner for $U(n-1) \subset U(n)$

I'm using the notation of Vilenkin and Klimyk, ''Part3: Representations of Lie Groups and Special Functions''', chapter 18. Given an irreducible representation $T_m$ of the complex Lie algebra $U(n)$ ...
1
vote
0answers
30 views

Weight space for a finite-dimensional $\mathfrak{g}-$module $M$.

Let $\mathfrak{g}$ a semisimple Lie algebra, $M$ finite-dimensional $\mathfrak{g}-$module, $\mu\in\mathfrak{h}^*_{\mathbb{Z}}$ and $s_i$ simple reflection such that ...
1
vote
0answers
31 views

Nil and nilpotent restricted lie algebras

Let $k$ be a field of characteristic $p$, and let $L$ be a restricted Lie algebra over $k$. Thus $L$ is a lie algebra together with a map $(-)^{[p]}:L\to L$ satisfying the three axioms found here. ...
1
vote
0answers
26 views

Finding an orthonormal basis for a gl(3) module

I'm trying to find an orthonormal basis for gl(3)-module V(ε1-ε3), where ε1-ε3 is the weight (1,0,-1) of the highest-weight vector. Using Gelfand-Tsetlin (/Zetlin/Zeitlin) patterns, I'm at the point ...
1
vote
0answers
115 views

Connected subgroups of SU(2) and SU(3)

I am reading 'Lie groups, Lie Algebras, and Representations : An Introduction' by Brian Hall and am unable to do the problem 17 in chapter 3. It says Show that every connected Lie subgroup of ...
1
vote
0answers
50 views

Casimir Invariants within the universal enveloping algebra

I've been asked to determine the eigenvalue of the Casimir invariant $I_2$ on any irreducible module with highest weight $\lambda = (\lambda_1, \lambda_2, ..., \lambda_n)$, where; $$I_m = ...
1
vote
0answers
99 views

Sources for learning Lie groups and symplectic geometry for Quantum optics

I am asking this question on behalf of my junior who has recently joined in the graduate programme. As suggested by my boss, the student wants to work on quantum optics from a symplectic geometric ...
1
vote
0answers
85 views

Concrete example of a particular 3-dimensional Lie algebra

I'm reading over the classification of 3-dimensional complex Lie algebras, and have come to the classification of a particular Lie algebra spanned by $\{x,y,z\}$ satisfying the relations $$[x,y] = y, ...
1
vote
0answers
77 views

homomorphisms between $Gl(n, \mathbb{R})$ and $\mathbb{R}$

I'm tryng to find all differential homomorphism between $Gl(n, \mathbb{R})$ and $\mathbb{R}$ (viwed as Lie groups). My first thought was find the homomorphis between their the Lie algebras, and then ...
1
vote
0answers
93 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
80 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
71 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
53 views

writting a code for finding the Kostant partition function

How to write a code in sage for finding the Kostant partition function for the elements of root lattice of rank 1 affine lie algebra $A_{1}^{(1)}$ which is defined as follows: $K(\beta)$ = the ...
1
vote
0answers
57 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
84 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
33 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
225 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
70 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
127 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
64 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
89 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
120 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
238 views

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

I would like to compute the 3 × 3 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
100 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
37 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
52 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
34 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
100 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
66 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
57 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
140 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
80 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)$ ...