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)

2
votes
0answers
21 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
35 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 ...
0
votes
1answer
36 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 ...
8
votes
1answer
194 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
1answer
43 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
53 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$ ...
3
votes
5answers
162 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
29 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
23 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
15 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 ...
3
votes
2answers
64 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
60 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
20 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
97 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
41 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
15 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
18 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
18 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
32 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
22 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
32 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
30 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
185 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
35 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
30 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 ...
3
votes
1answer
121 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 ...
0
votes
0answers
26 views

For a nilpotent Lie subalgebra, $\mathfrak{h}$, is $ad(\mathfrak{h})$ simultaneously diagonalizable if each $ad(H)$ is diagonalizable?

Let $\mathfrak{g}$ be a Lie algebra and $\mathfrak{h}\subseteq \mathfrak{g}$ be a nilpotent subalgebra such that for every $H \in \mathfrak{h}$, the adjoint map $ad(H): \mathfrak{g} \rightarrow ...
0
votes
0answers
54 views

Which linear combinations of simple roots are roots?

An answer to the following question should be well known to any specialist on Lie theory. Since I don't have time to go through textbooks, I post it here. Let $\Delta$ be a root system, $\Delta^+$ ...
0
votes
0answers
11 views

How to prove that $U(\mathfrak{h})$ is isomorphic to $\mathcal{O}(\mathfrak{h}^*)$.

Let $\mathfrak{h}$ be a Cartan subalgebra of a Lie group $G$. It is said that $U(\mathfrak{h})$ is isomorphic to $\mathcal{O}(\mathfrak{h}^*)$. Here $\mathcal{O}(\mathfrak{h}^*)$ is the ring of ...
0
votes
1answer
22 views

What is the Lie group of $\mathfrak{h}$?

Let $\mathfrak{h}$ be a Cartan subalgebra of a Lie group $G$. What is the Lie group of $\mathfrak{h}$? By definition, the Lie group of $\mathfrak{h}$ consisting of elements of the form $e^{h}$, $h \in ...
0
votes
0answers
14 views

Restricted Universal Enveloping Algebras

Is there example of restricted universal enveloping algebra $uL$ of the $p$-Lie algebra $L$ over field $k$ of characteristic $p > 0$ such that $L$ hasn't nonzero $p$-algebraic elements and global ...
2
votes
0answers
29 views

Linearly independent skew symmetric complex matrices having the least eigenvalues

Question: Let $A$, $B$ be two $5 \times 5$ (or $7 \times 7$) skew-symmetric complex matrices (i.e. $A^t = -A$), and suppose that $$ \forall t,s \in \mathbb{C}, \quad M(t,s):=(tA+sB)^*(tA+sB) \text{ ...
8
votes
1answer
247 views

Proving that there exists a saturated set with given highest weight

This is an question about an exercise in Humphreys book on Lie algebras. First of all a bunch of definitions and notation, see §13 in Humphreys for details. Let $\Phi$ be a root system, $\Delta$ a ...
0
votes
0answers
13 views

How to find next M.Hall's word question

Given a Hall word. How do I write the next one?
1
vote
0answers
37 views

Lie bracket as defining element for transformations

Why is it precisely the Lie bracket that encodes the information about a given transformation? A Lie algebra is defined by its commutator. Using the exponential map one ends up with a given ...
0
votes
0answers
19 views

Is adjoint map invertible?

I've already studied the group of automorphisms of a simple lie algebra on a finite field, but according to the definition of an adjoint representation of a Lie algebra, can we claim an adjoint map is ...
2
votes
1answer
48 views

What is the explicit formula for classical r-matrices?

It is said that classical r-matrices are those satisfy the classical Yang-Baxter equation $[r_{12}, r_{13}] + [r_{12}, r_{23}] + [r_{13}, r_{23}] = 0$, where $r \in \mathfrak{g} \otimes \mathfrak{g}$. ...
1
vote
0answers
153 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
1
vote
1answer
31 views

Lie group and generated ideals

I have this question in my textbook, and I can't seem to solve it on my own: Let $P \subset GL(n,\mathbb{C})$ be a subgroup as following: $P$ consists of all matrices in block ...
2
votes
0answers
19 views

Does “Spherical Symmetry” as defined in General Relativity imply a Foliation of Spheres?

In Carroll's "spacetime and geometry" he defines a spherical symmetrical spacetime as a spacetime $(M,g)$ for which there exists a Lie algebra homomorphism between the Lie algebra of a subset of the ...
1
vote
1answer
33 views

Lie groups. How to show that the group operations are smooth.

$N:=\{g\in GL(n,R) : g_{ij}=0 \forall j>i , g_{ii}=1 ∀i\}$. For this matrix group, how can we show that it is a Lie group? I am at the beginning of the subject of Lie groups so I can not ...
3
votes
1answer
41 views

Why are these algebras non-isomorphic?

I am trying to classificate 3-dimensional complex Lie algebras, and this is the first place where i got stuck. Consider a 3-dimensional vector space with basis {$x$, $y$, $z$}. Now i have managed to ...
2
votes
1answer
39 views

Is $sp(4)$ a subalgebra of $su(5)$?

Is $sp(4)$ a subalgebra of $su(5)$? And how can I prove/disprove this? I know already that it cannot be a regular maximal subgroup of $su(5)$ since the Dynkin diagram (which has two roots of unequal ...
1
vote
1answer
46 views

How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$?

Let $U$ be the positive unipotent radical of $SL_n$ and $\mathfrak{n}$ the Lie algebra of $U$. How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$? Here $\mathcal{O}_q[U]$ is the ...
2
votes
1answer
51 views

Differentiating a representation

I'm reading the paper Presenting Schur algebras as quotients of the universal enveloping algebra of $\mathfrak{gl_2}$. It describes a representation of the group algebra ...
1
vote
1answer
62 views

Lie groups, maps and the Weyl group

If I have a map of simple Lie groups $H \to G$, do I get a map of Weyl groups $W_H \to W_G$? If $H$ is the semisimple component of a parabolic subgroup then we can clearly get this (see Ivan's answer ...
2
votes
2answers
37 views

If HP=PH+P for H,P n×n complex matrices, must H be diagonalizable?

If $F$ is a field of characteristic zero, $H,P$ are $n\times n$ matrices over $F$, $0 \neq \alpha \in F$, and $HP=PH+\alpha P$, then must the minimal polynomial of $H$ be square-free and must $P$ ...
2
votes
1answer
29 views

Some beginner facts on representaions of $\mathfrak{sl}_3(\mathbb{C})$

Beginning to learn about representations of $\mathfrak{sl}_3(\mathbb{C})$. One starts with a subspace $$\mathfrak{h}=\{\begin{pmatrix} a_1 & 0 & 0\\ 0 &a_2& 0\\ 0 & 0 & a_3\\ ...