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

Symmetry of Kahler metric on based loop group

The based loop group, $\Omega G$, is known to admit a Kaehler metric, given as \begin{equation} g(X,Y)=2\sum_{k>0}k\textrm{Tr}(X_{-k}Y_k), \end{equation} this is given in page 150 of Segal and ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
21 views

Two different definitions for Lie Algebras for closed subgroup of $GL_n(\mathbb R)$

Let $G$ be a closed subgroup of $GL_n(\mathbb R)$. There are two definitions for $\mathrm{Lie}(G)$ $\mathrm{Lie}(G) = \{ \gamma'(0) : \gamma : (-\epsilon, \epsilon) \rightarrow G \text{ is ...
2
votes
0answers
54 views

Exactness of the lie algebra functor

A question that occurs naturally but of which I (and, apparently, Google too) does not know an answer is the following: is the functor that associates to a lie Group its lie Algebra an exact functor? ...
2
votes
0answers
36 views

How does a Lie algebra act on a tensor product of L-modules?

What is the $L$-module structure on $V\otimes W$ where $L$ is a Lie-algebra and $V,W$ are $L$-modules? The following question is related but I can't find the definition in there: tensor product of ...
2
votes
0answers
58 views

Lie Bracket on Lie Algebra vs. Lie derivative on corresponding group orbit tangent vector field

Suppose I have a matrix group, for example the 2-d affine group and two elements of Lie algebra, A and B, expressed as 3x3 matrices. The Lie bracket is [A,B]=AB-BA. Suppose on the other hand I ...
2
votes
0answers
25 views

Local Lie derivative on $G$-space at the zero of a vector field

Let a Lie group $G$ act on a manifold $M$ and let $X\in Lie(G)$. For now suppose $G=T$ is a torus (but the answer to this question should hold for $G$ abelian). $L_X$ is a vector field on $M$, at a ...
2
votes
0answers
57 views

Derivatives of solution to Schrödinger equation

Consider the differential equation (Schrödinger, but rewritten to be pleasing to Lie algebraic eyes): $\frac{d U(t)}{dt} = c(t)U(t)$ where $c(t)=a+w(t)b(t)$, $a,b \in \mathfrak{su}(n)$ and $w$ is a ...
2
votes
0answers
46 views

Relationship between solutions of two matrix differential equations

Given a ($4\times4$ in the important case) matrix differential equation: $\frac{d U_t}{dt}= A_t U_t$ where $U_t \in SU(n)$ and $A_t \in \mathfrak{su}(n)$. What is the relationship between the ...
2
votes
0answers
61 views

Why doesn't the “naive” scalar product for $SO(n)$ yield something invariant?

By definition, for $SO(n)$ we have $g^T g=1$ for $g \in SO(n)$. Given some vector $v \in V$ and some representation $R: SO(N) \rightarrow \mathrm{Lin}(V)$, the defining condition above tells us ...
2
votes
0answers
41 views

Question related to the Campbell-Baker-Haussdorf formula

I have two operators $A$ and $B$ such that $[A,B] = C$ $[A,C] = -2A$ $[B,C] = +2B$ and I would like to obtain an expression for $\log(\exp(A+B)\exp(-B)\exp(-A))$. Is it a linear combination of $A$...
2
votes
0answers
51 views

Tangent space of coadjoint orbit

Let $\xi \in T_xOx$ be a tangent vector at $x \in O_x :=\{\mathrm{ Ad} _{u}^*(x); u \in G\}$ for $x \in g^*.$ ($g$ is the Lie-Algebra) Then I read that this $\xi$ can be represented as the velocity ...
2
votes
0answers
50 views

List of simple roots in the H-basis for various Lie algebras?

There are four usual bases one can use to express the roots and weights of a given algebra. The $\alpha$-basis, where we write the roots and weights in terms of the simple roots $\alpha_i$. The $\...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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. ...
2
votes
0answers
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)$ ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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: ...
2
votes
0answers
62 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
55 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
32 views

Center of the dual of a Lie algebra

Let $\mathfrak{g}$ be a Lie algebra. Let $C \subset \mathfrak{g}^*$ be the subspace of linear forms that vanish on Lie brackets: $$C = \{\alpha \in \mathfrak{g}^*, ~ [\mathfrak{g}, \mathfrak{g}] \...
2
votes
0answers
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 ...
2
votes
0answers
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? ...
2
votes
0answers
63 views

Maximal tori in Lie vs algebraic groups

If $G$ is a Lie group, we define a maximal [Lie] torus in $G$ to be a maximal connected compact abelian Lie subgroup of $G$. These guys correspond to Cartan subalgebras of $\mathfrak{g}=Lie(G)$. If $...
2
votes
0answers
80 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
29 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
49 views

Root system of a simple lie algebra is irreducible

The proposition is from Humphreys. I don't understand how to prove the highlighted statements. How can I express a general element of K? I tried using Cartan decomposition of L but it doesn't work.
2
votes
0answers
162 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 f^{...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
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
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
25 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}$: $$ \sigma:\alpha_{1}\mapsto\alpha_{3}...
2
votes
0answers
78 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
39 views

What do you get when you pull the Bruhat Decomposition back to the Lie algebra via the exponential map?

If $G$ is a connected, reductive, complex group with Borel subgroup $B < G$ and Weyl group $W$, we can write $$G = \bigsqcup_{w \in W} B w B$$ If $\mathfrak{g}$ is the Lie algebra of $G$, we have ...
2
votes
0answers
84 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
70 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 $$\mathcal{L}_G:=\bigoplus_{k\...
2
votes
0answers
46 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 ...
2
votes
0answers
55 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
133 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
83 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 ...