Tagged Questions

For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

21 views

Symmetry of Kahler metric on based loop group

The based loop group, $\Omega G$, is known to admit a Kaehler metric, given as $$g(X,Y)=2\sum_{k>0}k\textrm{Tr}(X_{-k}Y_k),$$ this is given in page 150 of Segal and ...
49 views

Outer automorphism group of $\mathfrak{su}(n)$

I'm reading about the special unitary Lie algebras, and seen it said that complex conjugation is not an inner automorphism of $\mathfrak{su}(n)$ for $n>2$. If there an easy way to see this? I ...
25 views

$24\otimes 24$ notation for representations of $SO(24)$

I was working through a set of string theory notes, and I came across the notation $24 \otimes 24$ to denote a reducible representation of $SO(24)$, but I am not familiar with the notation. I have ...
21 views

36 views

Map for roots of a Lie group to roots of a special subalgebra?

For regular subalgebras $h$ of some group's Lie algebra $g$, $$h \subset h$$ the root system of the subalgebra is a subset of the root system of the original's group algebra. Subalgebras whose root ...
39 views

signature function of Weyl group element in LieArt

I am currently using LieArt Mathematica package for some calculations in Lie algebra, I am wondering if there is a way to know what is the signature of a Weyl group element, it seems the package can ...
51 views

Why are chains topologically analoguous to distributions?

This question is related to my other question here but is different enough that I thought I might ask separately. At the nLab page on rational homotopy theory it is stated that chains are ...
35 views

What is the connection between $\widehat{\mathbb Q G}$ and distributions near the identity of $G$?

I'm studying Quillen's rational homotopy theory and trying to understand this MathOverflow description of Quillen's functor provided by Hiro Lee Tanaka. When discussing connections between how ...
80 views

Standard cyclic module of sl2

Let $L=\mathfrak{sl}(2, \mathbb{F})$, $B$ a standard Borel subalgebra. I am trying to solve exercise 20.4 from J.E. Humphreys "Introduction to Lie Algebras and Representation Theory", but I am stuck. ...
18 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)$ ...
114 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 ...
90 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 ...
88 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: ...
62 views

92 views

Dominant Weight

I am reading a paper which begin by a reminder about root system associated to a simple lie algebra $\mathfrak g$. let $\mathfrak h\subset \mathfrak g$ a cartan subalgebra. Question 1: It says that ...
64 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? ...
63 views

145 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 ...
44 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 ...
55 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 ...
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 ...
64 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 ...
75 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 ...
276 views

What is the Jacobian for Sim(3) lie group action on 3D points ? (4d homogenous points)

I am coding up Sim(3) constraint types for a factor graph, and need to calculate the jacobian of the Sim(3) group action on 3D points. I am following the guide on http://ethaneade.com/lie.pdf ...
41 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 ...
25 views

An alternative proof for the units of $U_q(\mathfrak{sl}_2)$ using Ore extensions.
I would like to establish what the set of units are in the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$. First, I recall the definition of the quantized enveloping algebra- throughout the ...