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

Prove that actions commute

I am trying to understand a proof from Kobayashi and Nomizu (foundations of differential geometry, p. 280). Suppose that we have Lie subalgebras $a<b<g$, with $g$ the Lie subalgebra of $SO(n)$ ...
2
votes
0answers
75 views

Lie groups and Lie algebras for matrices

Recently, I stumbled over a few things in very basic Lie group / Lie algebra theory concerning matrix groups. Basically, my question is: Is there a way to canonically understand all the Lie groups ...
2
votes
0answers
42 views

Flow of a left invariant vector field on a Lie group equipped with left-invariant metric and the group's geodesics

I think the answer to my question is known to many other people, but I'm still getting confused. Let $G$ be a (possibly infinite dimensional also) Lie group and $g$ be its Lie algebra. Consider the ...
2
votes
0answers
82 views

Certain Lie algebra structure on $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(S^{2})$

Is there a lie algebra structure $ [ \;. ] $ on $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(\mathbb{S}^{2})$ which is not isomorphic to the standard structures but satisfies the following: ...
2
votes
0answers
51 views

commutation relation of angular momentum operator in non cartesian coordinates

The angular momentum operator $J$ in quantum mechanics with the commutation relation \begin{equation*} [J_l,J_m]=i\hbar\epsilon_{lmn}J_n \end{equation*} has the structure of a Lie-algebra. It is ...
2
votes
0answers
30 views

Write down the explicit form of the $15$ Killing vectors of the 5-sphere

I am looking for a way to write down explicitly the $15$ vectors which are generators of $SO(6)$ in polar coordinates on the $5$-sphere. In particular I have the round metric $$g_{\mu\nu} = \left( ...
2
votes
0answers
47 views

Help! How to derive the result related to Darboux derivative?

First, define Darboux derivative. There is one Lie group $G$ and one manifold $M$. Let $\phi:M\rightarrow G$ be a smooth map. The Darboux derivative $\Delta(\phi):TM \rightarrow M\times \mathfrak g$ ...
2
votes
0answers
42 views

Exercise 11, chapter 2 in Lie Groups, Lie Algebras, and Representations: An Elementary Introduction

I am reading the book: Lie Groups, Lie Algebras, and Representations: An Elementary Introduction by Brian C. Hall. I am stuck at the following exercise: exercise 11, chapter 2 . Can you help me? ...
2
votes
0answers
19 views

defining epimorphism between Lie algebras

It is a general question: Let $A$ and $B$ are two lie algebras over field of characteristic $p>3$ and we have the generators of them. I want to define an epimorphism between them. How we can define ...
2
votes
0answers
41 views

cohomology of general linear group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let $\mathrm{GL}_n(\mathbb{Z}_2)$ be the group consisting of all $n\times n$ matrices with entries in $\mathbb{Z}_2$ with non-zero determinant. What is the ...
2
votes
0answers
38 views

Determining Lie algebra: are my thoughts correct?

Let $UT_1(n, \mathbb R)$ denote the set of all upper triangular real matrices with diagonal equal to $1$. This is a Lie group. I am trying to determine its Lie algebra. Please can you tell me if ...
2
votes
0answers
27 views

Do I have the right idea for this isomorphism of Lie algebras of matrix groups?

I previously determined that the Lie algebra of $O(3,\mathbb C)$ is the set of skew symmetric matrices and that the Lie algebra of $SL_2(\mathbb C)$ is the set of traceless matrices. I am now trying ...
2
votes
0answers
52 views

An apparent contradiction in SU(3) structure constants?

According to http://www.phys.washington.edu/users/ellis/Phys5578/SU3_5.htm or the related Wikipedia article, the following equation should hold: $[ \frac{\lambda_3}{2}, \frac{\lambda_4}{2}] = i ...
2
votes
0answers
73 views

Coproduct of Lie algebras

Fix a commutative ring $k$ and look at the category of Lie algebras over $k$. How do coproducts in that category look like? Notice that what is usually called the "direct sum" of Lie algebras is not ...
2
votes
0answers
40 views

representations of Lie algebras

I am studying irreducible representations of Lie algebras when our filed is of positive characteristic, I need an explicit explanation with example (or an article) which describes the differences what ...
2
votes
0answers
41 views

Spin group Spin(4,1)

i'm interested in the spin group $Spin(4,1)$ wich correspond to the symplectic group $Sp(1,1)$. The only source that I could find about it was wikipedia (http://en.wikipedia.org/wiki/Spin_group). It ...
2
votes
0answers
13 views

$[L_+^m, L_y^n]$ in the $SO(3)$ Lie Algebra

Let $SO(3)$ be generated by infinitesimal rotations $L_x, L_y, L_z$ such the typical relations $ [L_x, L_y] = L_z $ and similar. Let $L_\pm = L_x \pm i L_y$ be the raising and lowering operators. Is ...
2
votes
0answers
40 views

Does the adjoint action induce a trivial action on Lie algebra cohomology?

Let $k$ be an algebraically closed field and $\Gamma$ a finite group. $\Gamma$ acts on itself via conjugation, and it is true that the induced action on the cohomology algebra $H^{*}(\Gamma,k)$ is ...
2
votes
0answers
39 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
2
votes
0answers
24 views

if X \in gl(V) is any nilpotent element, then the adjoint action ad(X) is nilpotent

I found a observation in the beginning of the proof of Engel's Theorem in the Fulton's book "Representation Theory" Observation: if $X \in \mathfrak{gl}(V)$ is any nilpotent element, then the action ...
2
votes
0answers
33 views

Closure relations of the cells in the Bruhat decomposition of the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$. How do we prove the closure relations between the cells, which ...
2
votes
0answers
23 views

How can the generators of subalgebra $\mathfrak g^{\sigma}$ of $\sigma$-stable elements be expressed through generators of Lie algebra $\mathfrak g$?

Let $\mathfrak g$ be the semisimple Lie algebra of type $D_{4}$. Let $\sigma$ be the 3-rd order automorphism of $\mathfrak g$ induced by the triality of $D_{4}$: $$ ...
2
votes
0answers
57 views

Does the five lemma hold true for Lie algebras?

According to wikipedia, the Five Lemma is true in Abelian categories. But the category of Lie algebras is not Abelian. Then is the Five Lemma still true for Lie Algebras?
2
votes
0answers
61 views

Can any one recommend a way to “quickly” learn a subject?

I would love to read a well written book on a subject - provided that I have the time. But sometimes we do not need to become experts on a particular field but still need the basics. For example, a ...
2
votes
0answers
43 views

(Split) Exact Sequence of Lie Algebra Associated to Groups

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
2
votes
0answers
48 views

Why do Ad(K) orbits in the $-1$ eigenspace of a Cartan decomposition intersect the Weyl chamber once?

Let $G$ be a semisimple Lie group and let $\frak p\oplus t$ be a Cartan decomposition of $\frak g$ and $K$ the connected subgroup with Lie algebra $\frak t$. Choose a maximal abelian subalgebra ...
2
votes
0answers
84 views

Differential operators on the polynomial ring

Let $A$ be a commutative algebra over complex numbers. If $a\in A$ we define $m_a$ to be a linear map which sends each $x$ to $ax$. The zero map $A\to A$ is said to be a differential operator of an ...
2
votes
0answers
60 views

Is the exponential map of GL(n,C) holomorphic?

Let $GL(n, \mathbb{C})$ be the complex general linear (Lie) group consisting of all invertible complex $n\times n$ matrices, and $gl(n,\mathbb{C})\cong C^{n^2}$ be its Lie algebra. The exponential map ...
2
votes
0answers
32 views

On the construction of the Verma module

My question is about the construction of Verma module of a lie algebra $L$, there is one step in the construction which I do not quite understand. Let $L=N_-\oplus H\oplus N_+$ be the triangular ...
2
votes
0answers
65 views

How to calculate the Maurer-Cartan form in the adjoint representation?

While I am reading a paper, I come across a difficulty. Here, we have a Lie group and we know its Lie algebra defined as $[G_a,G_b]=f_{ab}^{\phantom{ab}c}G_c$ with $G_a\in\mathfrak g$. Under the ...
2
votes
0answers
91 views

How to visualise the Killing form of a Lie algebra

Given a Lie algebra $\mathfrak{g}$, we can define its Killing form $$K(x,y) = \mathrm{Tr}(ad_x\circ ad_y)$$for $x, y\in \mathfrak g$. Whilst I understand that the Cartan decomposition $$\mathfrak g ...
2
votes
0answers
43 views

Root Space Decomp

I am reading Humphrey's intro to Lie algebra, self-teaching, and have a few questions regarding root space decomp. 1) If I understand this correctly, the toral sub algebra of L represents all ...
2
votes
0answers
39 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). ...
2
votes
0answers
62 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$ ...
2
votes
0answers
57 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$ ...
2
votes
0answers
70 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 ...
2
votes
0answers
76 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{ ...
2
votes
0answers
30 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 ...
2
votes
0answers
42 views

Where does the name “toral” come from?

Where does the name "toral" come from in "toral subalgebra"? I know a little (very little) Lie groups theory, so I guess it could be related to a Lie group whose Lie algebra is the toral one. Is ...
2
votes
0answers
101 views

Gradient of a real-valued function on SO(3)

I have struggling with a problem of evaluating the gradient of a cost function on the Lie group of rotations: SO(3). The cost is the following: \begin{equation} ...
2
votes
0answers
62 views

set of positive roots made negative by a Weyl group element

If $w$ is a Weyl group element of a simple lie algebra and the reduced expression for $w$ is $s_{i_1}s_{i_2}...s_{i_k}$ what are the positive roots (in terms of reflections from reduced expressions of ...
2
votes
0answers
66 views

Representations of Nilpotent Lie Algebras

Let $\mathfrak{g}$ be a rational, nilpotent Lie algebra. Then its adjoint representation will consist of elements which are nilpotent matrices over rationals. But this representation generally is not ...
2
votes
0answers
47 views

A construction of $\mathfrak{e}_8$ in Fulton and Harris

In section $22.4$ of "Representation Theory: A First Course" by Fulton and Harris, the exceptional Lie algebra $\mathfrak{e}_8$ is constructed using a method of Freudenthal. For background, I will ...
2
votes
0answers
46 views

Inner automorphisms of Lie groups

I have a few questions about $Aut(G)$, when $G$ is a Lie group. It was proven by Hochschild that if $G/G_0$ is finitely generated, then $Aut(G)$ is a Lie group with at most countably many components. ...
2
votes
0answers
40 views

Is there a good list of accidental Lie algebra isomorphisms?

The Wikipedia page Exceptional isomorphisms contains some lie algebra isomorphisms. Is there a list more complete than that, especially including real algebras in low dimensions?
2
votes
0answers
26 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
56 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
53 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
43 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
146 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 ...