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

Lie groups and Lie algebras via exponential

I'm having a hard time computing the (connected) Lie groups that have a given Lie algebra. For instance, if we know that the Lie algebra of a certain Lie group $G$ consists of matrices of the form ...
0
votes
0answers
13 views

Proof for a corollary from PBW theorem

I need to know how we can prove the following corollary : If $x_1, \ldots, x_n$ is a vector space basis for Lie algebra $L$ then a vector space basis for $U(L)$, $U(L)$ is universal enveloping ...
0
votes
0answers
17 views

$\mathfrak so(V,B)$ as subalgebra and trace if subsets of it.

I'm studying lie algebras, and got stuck on this one: Let $B$ be a bilinear form on a finite-dimensional vector space $V$ over $\mathbb F$. I've seen many books that say that $\mathfrak so(V,B)$ ...
3
votes
0answers
17 views

Invariant tensors in adjoint representation

Suppose we have a simple Lie group $G$ with algebra $\mathfrak{g}=\{X_a\}$, where the generators $X_a$ are in some matrix representation. Is it true that the only invariant rank $n$ tensor in the ...
0
votes
0answers
14 views

Do the Generalized Gell-Mann Matrices form a complete set?

Please bear with me, I'm studying Lie algebras as they are related to quantum mechanics, and most of my group theory knowledge is self-taught. I'm not sure how to prove this seemingly basic result. ...
2
votes
0answers
20 views

Lie algebra: symmetric and exterior power of representation

If $\mathfrak{g}$ is a Lie algebra, $V$ and $W$ are representation of $\mathfrak{g}$ we define the action of $\mathfrak{g}$ on $V \otimes W$ in the following way: $X \cdot (v \otimes w)=(X \cdot v) ...
3
votes
0answers
57 views

Affine connection on a Lie group.

Let $G$ be a Lie group. For $g \in G$, we can define a diffeomorphism $l_g: G \to G$ by $l_g(x)=gx$, and a bundle map ${l_g}_*:TG \to TG$. Then, I guess that we can obtain the affine connection on $G$ ...
-2
votes
0answers
21 views

bases in free associative algebras

I need an example and more details for the below notion: If X={x_1,x_2,...} be a set and by X^* we denote the set of all words named w of elements of X. Let F be a field and F be the vector space ...
0
votes
0answers
15 views

Trace functionals as invariant elements of $R[\mathfrak{g}]$ under $G$

Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$ and let $G$ be its inner automorphism group. Then $G$ acts on $R[\mathfrak{g}]\cong S(\mathfrak{g}^*)$ via $(\sigma\cdot f)(x) = ...
7
votes
1answer
66 views
+50

Is it true that the commutators of the gamma matrices form a representation of the Lie algebra of the Lorentz group?

Wikipedia claims (http://en.wikipedia.org/wiki/Gamma_matrices): The elements $\sigma^{\mu \nu} = \gamma^\mu \gamma^\nu - \gamma^\nu \gamma^\mu$ form a representation of the Lie algebra of the ...
2
votes
1answer
32 views

Two actions of $U(\mathfrak{h})$ on $U(\mathfrak{g})$ where $\mathfrak{h}\hookrightarrow\mathfrak{g}$

Let $\mathfrak{h}$ be a Lie subalgebra of $\mathfrak{g}$, then by PBW theorem we know $U(\mathfrak{h})\hookrightarrow U(\mathfrak{g})$. Let $\{x_i, y_i\}$ be an ordered basis of $\mathfrak{g}$ where ...
1
vote
1answer
29 views

Adjoint Lie algebra homomorphism

I have a problem deriving the adjoint action $ad_X(Y)=XY-YX$ from the adjoint transformation of the group on the Lie algebra. Background: The adjoint action of the Lie algebra on itself is given by ...
0
votes
0answers
18 views

Question on inner product on space of representations of compact Lie groups

Let $K$ be a compact connected Lie group, wiewed as subgroup of unipotent matrices. Let $G=\mathfrak{k}^\mathbb C$ be the complexification with Lie algebra $\mathfrak{g}=\mathfrak{k}\oplus ...
0
votes
0answers
10 views

definition of universal algebra and universal enveloping algebra

The basis of a universal algebra is a function b that takes some algebra elements as values b(i) and satisfies either one of the two equivalent conditions named Outer condition and Inner condition ...
1
vote
0answers
6 views

Quadratic Casimir of fundamental irreps of simply-laced Lie algebras [migrated]

I have the following question, motivated by the expression for the character of level 1 highest weight integrable representations of simply-laced affine algebras (in terms of the string function). It ...
0
votes
0answers
27 views

Formal proof of Clebsch Gordon sum

physicist here. When looking at the irreducible representations of $so(3)$, i.e. the set of all real valued anti-symmetric matrices, one can parametrize those irreps with an index $j$ which can be ...
2
votes
2answers
40 views

Classify Lie algebra with 1 dimension derived algebra

Problem 3.10 from Erdmann, Wildon ask: Find, up to isomorphism, all Lie algebras with 1-dimensional derived algebra. (also, this book assume finite dimension Lie algebra only; I'm not sure whether ...
2
votes
0answers
29 views

Angles between adjacent roots in a reduced root system.

Let $R$ be a reduced root system. ($R$ is a finite set spanning $V$, $\alpha \in R \rightarrow -k\alpha \in R$ iff $k=1$, $s_{\alpha}(R)=R$, $s_{\alpha}(\beta)-\beta=k\alpha$ whit $k$ integer). ...
1
vote
1answer
28 views

Is it true if $[LL] = L$ then $L$ is a semisimple Lie algebra?

Let $L$ be a finite dimensional Lie algebra over $\mathbb{C}$. It is classical theorem that if $L$ is semisimple, then $[LL] = L$. Is it true if $[LL] = L$ then $L$ is a semisimple Lie algebra? I've ...
2
votes
0answers
16 views

Finding a basis and weight space for $L = so_6(\mathbb{C})= \{x \in End(\mathbb{C}^6)|^txS + Sx = 0 \}$

The question: Let $S = \left(\begin{array}{cc} 0 & I_3 \\ I_3 & 0 \end{array}\right)$ and let $$L = so_6(\mathbb{C})= \{x \in End(\mathbb{C}^6)|^txS + Sx = 0 \}$$ 1) Find a basis for $L$ ...
1
vote
1answer
28 views

Confusion regarding PBW theorem

I was reading up Humphrey's Introduction to Lie Algebras and Representation Theory and have a confusion regarding a consequence of PBW. First some notations: Let $L$ be a Lie algebra over ...
-1
votes
0answers
14 views

Let‎$‎ L =L_0 ‎\dotplus‎ L_1‎$‎ be the Fitting decomposition of‎$ ‎L‎‎$‎ relative to‎$‎ adx‎$‎.Why then ‎$‎L_1=‎\bigcap‎_{i=1}^{‎\infty} L(adx)^i‎$‎?

Let‎$‎ L =L_0 ‎\dotplus‎ L_1‎$‎ be the Fitting decomposition of‎$ ‎L‎‎$‎ relative to‎$‎\mathrm{ad}(x‎)$‎.Why then ‎$‎L_1=‎\bigcap‎_{i=1}^{‎\infty} L(\mathrm{ad}(x‎))^i‎$‎?
0
votes
1answer
22 views

Induced Lie algebra homomorphism from Lie group homomorphism: left translation

A general result of Lie Theory is that every Lie group homomorphism $\Phi: G\rightarrow H$ induces a Lie algebra homomorphism $\phi: \frak{g} \rightarrow \frak{h}$. Which Lie algebra homomorphism ...
7
votes
1answer
108 views

Special conformal killing fields - solving for integral curves.

For each $b\in\mathbb R^d$, let a vector field $X_b:\mathbb R^d\to\mathbb R^d$ be defined as follows: \begin{align} X_b(x) = 2(b\cdot x)x - x^2 b, \end{align} where $x^2 = x\cdot x$. This is the ...
0
votes
0answers
31 views

automorphism group of Lie algebras

According to the difinition of automorphism group of lie algebra we must have the following condition: f [a,b]=[f(a),f(b)] for f in Aut (L) and L is a Lie algebra Now I have computed the automorphism ...
0
votes
1answer
36 views

Lie rings: reference request

Dear friends: I am looking for a modern reference for Lie rings (In particular, I would like to have nice references for the structure of Lie ideals), let it be lecture notes or a book, in the sense ...
1
vote
0answers
20 views

Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
1
vote
0answers
79 views

Itzykson-Zuber integral over orthogonal groups

I would like to know is there a closed form expression for the following Itzykson-Zuber integral for the orthogonal case. $I=\int_{\mathcal{O}(p)} ...
1
vote
0answers
19 views

What are the root systems for the n-dimensional torus?

My question may seem silly at first, but currently I am not able to work out the question of finding all roots for the n-dimensional torus. At first, it seemed obvious to me that there are no roots at ...
1
vote
0answers
20 views

invariant polynomial on a lie algebra $\mathfrak{g}$

This question (maybe an easy one) arose when I was reading Humphrey's book "an introduction to Lie algebra and its representations". Suppose $\mathfrak{g}$ is a complex semisimple lie algebra, $V$ ...
0
votes
0answers
12 views

what is the image of an automorphism of lie algebra

Let suppose L be a simple lie algebra over GF(2) , if α be an automorphism of L then for any element of L we must have α[a,b]=[α(a),α(b)]. Now I want to have a clear understanding of image of α. Since ...
0
votes
0answers
16 views

prove if ‎$\frac{L}‎\varphi‎(L) S\bigoplus‎ R$ then ‎$ L\in\mathfrak{X} $

‎‎‎‎‎prove if ‎$\frac{L}\varphi‎(L) ‎‎‎S\bigoplus‎ R$ ‎where‎ ‎$ ‎\varphi‎(L) $ ‎is ‎the ‎frattini ‎ideal ‎of ‎$L$, $S$ ‎‎is a‎ $‎3$-dimensional ‎simple ‎ideal ‎of‎ ‎$\frac{L}\varphi‎(L)‎$ isomorphic ...
3
votes
2answers
54 views

Center of the universal enveloping algebra

Suppose I have non-abelian 2-dimensional Lie algebra or 3-dimensional Heisenberg algebra. How to calculate the center of universal enveloping algebra in this cases?
2
votes
0answers
52 views

Question on $\mathfrak{sl}(2,\mathbb R)$

I am confused about some facts on $SL(2,\mathbb R)$. The Lie algebra of $SL(2,\mathbb R)$ is $\mathfrak{sl}(2,\mathbb R)$. However, the map $$ \exp:\mathfrak{sl}(2,\mathbb R)\ \rightarrow ...
1
vote
1answer
19 views

Weyl group reflects root to a base?

I am reading Humphreys' Introduction to Lie Algebras and Representation Theory. In Theorem 10.3(c), it is stated that if $\alpha$ is a root then there exists a Weyl group reflection $\sigma$ such that ...
2
votes
1answer
92 views

Does an ideal of finite codimension in a finitely generated algebra have always to be finitely generated?

I have been reading a book on Lie Algebras ("Álgebras de Lie" by San Martin) and there is this exercise in the chapter on universal enveloping algebras with a claim that I can not prove: Suppose ...
1
vote
0answers
16 views

Hermit reciprocity, $\mathfrak{sl}_2(\mathbb{C})$

Let $V$ be the standard $2$-dimensional representation of $\mathfrak{sl}_2(\mathbb{C})$. Hermit reciprocity states that $S^n(S^mV)\simeq S^m(S^nV)$. Can anybody give me a hint to prove it or give a ...
2
votes
0answers
26 views

Weyl Group of Parabolic subgroups

Let $G=SL(n,\mathbb R)$ with Lie algebra $\mathfrak{g}=\mathfrak{sl}(n,\mathbb R)$. The classical minimal parabolic subgroup $B$ consists of the upper triangular matrices. The parabolic subgroups $P$ ...
0
votes
0answers
13 views

Character of a symmetric square

Let $V$ be a representation of $\mathfrak{sl}_2(\mathbb{C})$. As far as I am concerned a character of $V$ is a Laurent polynomial $\sum_{k\in\mathbb{Z}}d_k\cdot t^k$, where $d_k$ is the dimension of ...
0
votes
1answer
12 views

Representation of $\mathfrak{sl}_2(\mathbb{C})$ corresponding to Lie algebra representation

We have a representation $R$ of a Lie group $\mathrm{SL}_2(\mathbb{C})$ in the space of polynomials $\mathbb{C}[x,y]$ such that $R\begin{pmatrix} a & b \\ c & ...
0
votes
0answers
16 views

Questions about an action of $U(\mathfrak{g})$.

Let $\mathfrak{g}$ be a Lie algebra and $U(\mathfrak{g})$ its universal envoloping algebra. Let $G$ be the Lie group of $\mathfrak{g}$ and $U$, $B^{-}$ the upper unipotent subgroup and lower Borel ...
1
vote
0answers
31 views

Derived series of a Lie algebra

I've been studying semisimple Lie algebras and solvability and was wondering if someone could explain to me the meaning of the derived series of a Lie algebra L and this part: $$L^{(1)}=[LL]$$ I don't ...
0
votes
0answers
20 views

What is $d\mu$ of $\mu:T^*\mathbb{C}^n\rightarrow \mathfrak{gl}_n^*$?

This is an elementary question. Let $\mu:T^*\mathbb{C}^n \longrightarrow \mathfrak{gl}_n^*$ be the moment map given by $(x,y)\mapsto xy$. Then concretely, what is the differential $d\mu$ of $\mu$? ...
0
votes
0answers
27 views

Why center acts by scalars?

Let $\mathfrak{g}$ be a Lie algebra. Let $U(\mathfrak{g})$ be its universal enveloping algebra. Let $Z(U(\mathfrak{g}))$ be the center of $U(\mathfrak{g})$. Let $V$ be an irreducible representation of ...
0
votes
0answers
21 views

Real or complex representation

How can one know for a given algebra $\frak{g}$ if a specific representation is real or complex? For example if $\frak{g}=so(10)$ how can one know that the representation $\underline{16}$ is complex? ...
0
votes
0answers
22 views

Universal enveloping algebra of $sl_2$

I need prove that any element of $U(sl_2)$ can be represented by linear combination of elements $e^i h^j C^k$, where $C=ef+fe+\dfrac{h^2}{2}$. $e=\begin{pmatrix} 0 && 1 \\ 0 && 0 ...
6
votes
2answers
154 views

Lie Groups/Lie algebras to algebraic groups

I am reading some lie groups/lie algebras on my own.. I am using Brian Hall's Lie Groups, Lie Algebras, and Representations: An Elementary Introduction I was checking for some other references on ...
3
votes
0answers
27 views

Compact Lie algebras and Lie groups

A simple or semisimple Lie algebra is said to be compact if the $\mathrm{Tr}\left \{ T^\mathrm{adj}_{a}, T^\mathrm{adj}_{b}\right \}$ is positive definite where $T^\mathrm{Adj}_{a}$ are the generators ...
2
votes
1answer
27 views

Computing a differential on a derivation

Let $\varphi:G\to G'$ be a morphism of algebraic groups over an algebraically closed field $k$, so that $d\varphi:\mathscr{L}(G)\to\mathscr{L}(G')$ is a morphism of Lie algebras. Here I view ...
2
votes
0answers
110 views

Which subgroup of $\mathrm{SL}(2,\mathbb{C})$ is this?

I am looking into sub-algebras of $\mathfrak{sl}_2(\mathbb{C})$ and the subgroups of $\mathrm{SL}(2,\mathbb{C})$ they generate. The basis of $\mathfrak{sl}_2(\mathbb{C})$ I am using consists of 3 ...