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

Space of operators on function

Consider the following space of operators on function of $n$-variables $A= Span \{x_ix_j\ , x_i \frac{\partial}{\partial x_j} , \frac{\partial^2}{\partial x_i \partial x_j} , i,j=1,2,\cdots,n\}$. ...
2
votes
0answers
53 views

What is the Lie algebra of $G=\mathbb{R}$

The question is updated as following. 1. Let $(\Phi,L^2(R))$ be left regular representation of $\mathbb R$ given by $$ \Phi(g)f(x)=f(x-g). $$ It is unitary representation of $\mathbb R$. 2. For ...
2
votes
0answers
46 views

Skew polynomial algebra and deformation

Let $R$ be an associative unital $k$-algebra. If $\alpha \in End_k(R)$ and $\delta$ is a $\alpha$-derivation, then one can define the skew polynomial algebra $R[x; \alpha,\delta]$ by letting $ax = x ...
2
votes
0answers
37 views

A question in the proof that the weight of a finite dimensional module is W-invariant

Recently I'm reading Humphrey's book "Introduction to Lie algebra and representation theory", section 21 on the finite dimensional module of a semisimple lie algebra, and I have a question here which ...
2
votes
0answers
98 views

Invariant bilinear forms on Lie algebras

Consider a (compact) Lie group $H$ that acts on its Lie algebra $\mathfrak h$ in the usual way, $x\mapsto gxg^{-1}$ for any $x\in\mathfrak h$ and $g\in H$. Suppose we are given a real symmetric ...
2
votes
0answers
47 views

Fulton-Harris Lemma 3.35

In the proof of Lemma 3.35 in Fulton--Harris, Representation Theory, it is claimed that the identification $H(\phi^2(x),y)=H(x, \phi^2(y))$ implies that $\lambda$ is a positive real ($\phi^2$ is known ...
2
votes
0answers
43 views

Nilpotency of Lie algebra from structure constants

Consider a given set of structure constants $c_{ij}^k$ defining a (finite dimensional) Lie algebra $\mathfrak{L}$, i.e. $$[e_i,e_j] = \sum_{k=1}^N c_{i,j}^k \, e_k \qquad i,j=1,\ldots,N$$ with $N$ ...
2
votes
0answers
27 views

intuition behind basis of a root system

I am reading Lie Algebra book by James E.Humphreys. I can understand the fruitfulness of the notion of basis of a root system. But what is the intuition behind this definition, In particular the ...
2
votes
0answers
22 views

Maximal noncompact forms in classical Lie algebra?

In this short note on Lie algebra, discussing about classical Lie algebra A,B,C,D class, in page 4 after Eq.(7), on the part of B,D class of O(2n,F) and O(2n+1,F) group (or algebra?), there is a ...
2
votes
0answers
55 views

Quaternion, Dihedral groups and A-D-E classification

$\bullet$ What is the role of Quaternion group $H$ and dihedral groups $D_n$ in A-D-E classification? $\bullet$ Is Quaternion group $H$ in $A$ (special linear Lie algebra of traceless operators) or ...
2
votes
0answers
50 views

Proof of Jordan Theorem on Lie Algebra

$ L$ is semisimple Lie algebra in ${\rm gl}\ V$ where $V$ is a complex vector space. Then we have two Jordan forms $$ x=d+n,\ {\rm ad}_x = {\rm ad}_d + {\rm ad}_n\ (x\in L) $$ (cf. Theorem 9.15 in ...
2
votes
0answers
102 views

Coxeter numbers for semisimple and reductive algebraic groups

I'd like to know how to define the coxeter number for semisimple and reductive algebraic groups. I know that for a simple algebraic group $G$, we can fix a maximal torus $T\subset G$, which acts on ...
2
votes
0answers
77 views

Status of a question from Freeman Dyson's 1972 article

In a famous article, Freeman Dyson mentions an interesting relationship between the $\tau$ functions of number theory and the dimensions of finite-dimensional simple Lie algebras (section 2). He ...
2
votes
0answers
74 views

Open questions in theory of Lie groups and Lie algebras

I am just about to finish an introductory book 'Lie groups, Lie algberas & Representations' by Brian Hall and am curious to know what are the current directions of research in this area. I learn ...
2
votes
0answers
59 views

How can I show that $\mathfrak{sl}_n(\mathbb{C})$ is a simple Lie algebra?

The question is in the title: how can I show $\mathfrak{sl}_n(\mathbb{C})$ is simple? In every book I scoured, they say $\mathfrak{sl}_n(\mathbb{C})$ is simple but they do not provide a proof! Is ...
2
votes
0answers
68 views

Complete reducibility of tensor product

Let $L$ be a Lie algebra (over a algebraically closed field, not sure if it is relevant). If $V$ and $W$ are two completely reducible $L$-modules, can anyone give a hint on how to show that $V\otimes ...
2
votes
0answers
57 views

Dynkin diagram construction

My question is how to construct the Dynkin diagrams of a semi-simple Lie group $G$, which is the product of simple Lie groups. Is it the combinaison of Dynkin diagrams of these simple Lie groups? For ...
2
votes
0answers
27 views

Example showing that the product of ideals must be the span of the commutators

I'm trying to find an example showing why, in a Lie algebra, we can't just define the product of two ideals $I$ and $J$ to be the elements of the form $[x,y]$ where $x \in I, \; y \in J$. I imagine ...
2
votes
0answers
73 views

Relationship between hyperalgebra (algebra of distributions) of an affine group scheme to its cohomology

Let G be an affine group scheme, and Dist(G) its hyperalgebra. I am wondering what is the relationship between Dist(G) and G interms of Cohomology? Is there a cohomology theory for Dist(G), if so ...
2
votes
0answers
68 views

Establishing the rank of a semisimple Lie algebra.

I am trying to understand a method for computing the rank of the $n$-dimensional real Lie algebra, $\mathfrak{g}$, of a compact, path-connected Lie group, $G$, which can be viewed in ...
2
votes
0answers
44 views

Relationship between invariants of a simple algebraic group

Let $G$ be a simple algebraic group over an algebraically closed field $k$. I believe all of the following invariants are well-defined. Besides the coxeter number, I haven't read about the others, ...
2
votes
0answers
33 views

explicit realization of irreducible representations of simple lie algebras

I know explicit realization of irreducible representations of simple lie algebra $sl_n$ when the highest weight of that representation is a fundamental weight.Is there any explicit realization of any ...
2
votes
0answers
85 views

$\mathfrak{sl}(3,F)$ is simple

Prove that $\mathfrak{sl}(3,F)$ is simple, unless $\operatorname{char}F=3$. [Use the standard basis $h_1,h_2,e_{ij}(i\neq j)$. If $I\ne 0$ is an ideal, then $I$ is the direct sum of eigenspaces for ...
2
votes
0answers
68 views

Does the Lie Bracket automatically exist?

Let $g$ be a Matrix Lie Group. The Lie Algebra of $g := Lie(g)$ is defined as $ Lie(g) = \{ \dot{\gamma}(0) | \gamma:(-\epsilon, \epsilon) \rightarrow g, \gamma \in C^1, \gamma(0) = \mathbb{I} \} $ ...
2
votes
0answers
26 views

When is $\left\{ [x,y] \mid x, y \in \mathfrak{g} \right\}$ a subspace of $\mathfrak{g}$?

Let $\mathfrak{g}$ be a lie algebra. When is $\left\{ \left[x,y\right] \mid x, y \in \mathfrak{g} \right\}$ a subspace of $\mathfrak{g}$? Is this common at all? Thanks! -Dan
2
votes
0answers
119 views

Root-subspaces are $\mathfrak{g}$-invariant

I need some help with technicalities concernig root-subspaces of nilpotent Lie algebras of operators. Let $\mathfrak{g} \subseteq \mathfrak{gl}(V)$ be nilpotent Lie algebra, $\alpha \ \colon \ ...
2
votes
0answers
31 views

Classification of 6-D Nilmanifolds

I am reading the G.Cavalcanti and M.Gualtieri's Generalized Complex Structures on Nilmanifolds. In the introduction it is said that there are 34 nilpotent lie algebra isomorphism classes. There are ...
2
votes
0answers
43 views

Prove that $[L,Rad(L)] \subseteq N$ for finite-dimensional Lie algebra $L$

I need to prove the following fact: if $L$ is a finite-dimensional Lie algebra over field of characteristic $0$, $Rad(L)$ is its radical, and $N$ is the maximal nilpotent ideal in $L$, then ...
2
votes
0answers
59 views

Dihedral and quaternion groups as subgroups of SO(n), SU(n), Spin(n), SO(n)$\times$SO(n), SU(n)$\times$SU(n)

This is a very simple question on whether these three discrete groups $D_4$,$Q_8$,$(\mathbb{Z}_2)^3$ are subgroups of certain Lie groups. More precisely, given discrete groups below (a), (b), (c): ...
2
votes
0answers
134 views

Semi-simple Lie algebra $L$ coincides with its derived algebra $L'$

If $L$ is a semi-simple Lie algebra, then $L=L'$. Since $L$ is semi-simple we can write it as a direct sum of simple ideals $L_i$, i.e. $L=\oplus_{i=1}^r L_i$. Then $L'=\oplus_{i=1}^r L_i'$ and ...
2
votes
0answers
34 views

To what extent are formulas obtained in one Lie group valid in another Lie group with an isomorphic Lie algebra?

In quantum optics, I am trying to explore the group generated by squeezing and rotation operators. These are closely related to area-preserving linear transforms, which they induce on the phase space, ...
2
votes
0answers
75 views

Character of half-spin representation

Let $S^\pm$ be the half-spin representations of $\mathfrak{so}_{2n}\mathbb{C}$. Fulton-Harris's Representation Theory says on page 378 that the character $D^\pm$ of $S^\pm$ is the sum $$\sum x_1^{\pm ...
2
votes
0answers
258 views

Solvable Lie algebra with codimension 1 ideal

There is an exercise in Humphreys's An Introduction to Lie Algebras and Representation Theory: "Any nilpotent Lie algebra contains a codimension 1 ideal". The proof I am thinking of is the following. ...
2
votes
0answers
114 views

Determinant of a cartan matrix

I was taking an introductory course in Lie algebras and I just learned about how we associate a Cartan matrix to a semisimple Lie algebra. So, for the A-series, the determinant of this matrix goes to ...
2
votes
0answers
47 views

Usage and determination of “rank” and “dimension” of groups & representations

Physicist here. I seem to see conflicting statements about the rank of some groups I've come across lately. A paper I'm reading states that $SO(6)$ is rank 3 and therefore its Cartan subalgebra ...
2
votes
0answers
68 views

Is algebraic closure required in Weyl's theorem on complete reducibility? (Lie algebras)

Weyl's theorem states that finite-dimensional representations of finite dimensional semisimple Lie algebras are completely reducible (expressible as a direct sum of irreducible submodules), with some ...
2
votes
0answers
94 views

Regarding the definition of vector field flow

To make the connection to the Lie derivative, let $t \mapsto \Phi^X_t$ be the 1-parameter group of diffeomorphisms (or flow) generated by the vector field $ X $. The differential $ d\Phi^X_t ...
2
votes
0answers
23 views

Finding the Lie map

Suppose I have a group homomorphism $\rho:SL(2,\mathbb{C})\to SO_0(3,1)$ given by $\rho(a)X=aXa^*$ and I want to see how the corresponding Lie map $L\rho$ looks like. By definition $$ ...
2
votes
0answers
31 views

Only 3 finite-dimensional Lie algebra on $\mathbf R$?

Please, how does one show that up to diffeomorphism there are exactly three finite dimensional Lie algebras of vector fields on the real line $\mathbf R$.
2
votes
0answers
21 views

Integer domain enveloping algebra

I must prove that if $L$ is a Lie algebra and denoting $U(L)$ the enveloping algebra, then $U(L)$ hasn't zero divisions (e.g. if $ab=0 \,\,\, a,b \in U(L)$ then $a=0$ or $b=0$). Some ideas?
2
votes
0answers
69 views

$x$ regular $\Leftrightarrow$ $x$ is in exactly one CSA

Here's a statement and a proof given in a Lie Algebra course (in the tutorial): Let $L$ be a semisimple Lie algebra over a field $F$ with $\text{char} F=0$. Let $x\in L$ be a semisimple element. ...
2
votes
0answers
60 views

Finite-dimensional Lie algebra as a scheme

Kindly asking for any hints about the following questions: Suppose $k$ is an algebraically closed field of characteristic zero and $g$ is a finite-dimensional Lie algebra over $k$. Then $g$ is ...
2
votes
0answers
59 views

Dimension of Abelian Lie Algebras

I've tried to answer this question, but I need some help. What is the possible dimension of irreducible representations of Abelian Lie Algebras? I think it is always one, but I am not sure. Thank ...
2
votes
0answers
89 views

Commutator formula in infinite dimensions

The commutator formula states that for $A,B$ elements of a Lie algebra, $$ \lim_{n\to \infty}\left\{ ...
2
votes
0answers
218 views

Fundamental vector fields

I have a question related to fundamental vector fields. For that I first setup the notations and properties etc. Let $G$ be a lie group acting smoothly on the manifold $M$. Let $\mathfrak{g}$ be its ...
2
votes
0answers
35 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 ...
2
votes
0answers
167 views

Standard parabolic Lie subalgebras and conjugacy

Let $\mathfrak g$ be a given semisimple Lie algebra with corresponding adjoint Lie group $G$. A parabolic subalgebra is any subalgebra containing a Borel subalgebra. We can pick a Borel ...
2
votes
0answers
59 views

ADE type root lattice

Let $\Phi$ be a root system of ADE type, $L$ is the corresponding root lattice, show that $\Phi=\{\alpha\in L:(\alpha,\alpha)=2\}$, where $(,)$ is the normalized non-degenerate symmetric bilinear form ...
2
votes
0answers
206 views

Decomposing products of spinor representations into anti-symmetric tensors

There is always a natural $2^{[\frac{d}{2}]}$ dimensional spinorial representation of $SO(d-1,1)$ (..induced from a representation of the related Clifford algebra..) and if $[m]$ denote the space of ...
2
votes
0answers
65 views

Basis of the Engel algebra

If I have a connected, simply connected nilpotent lie group given by the commutators between the elements of a basis of its Lie algebra how can I recover the left invariant vector fields? For ...