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
30 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 ...
2
votes
0answers
32 views

Exponential of powers of the derivative operator

A translation operator The Taylor series of a function $f$ is $$f(x)=\sum_{n=0}^\infty\frac{(\partial_x^nf)(a)}{n!}(x-a)^n$$ where $\partial_x$ is the derivative operator. Expanding about $x+b$: ...
2
votes
0answers
29 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
46 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
33 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
27 views

Real version of Harish-Chandra-Itzykson-Zuber integral

I'm interested in an integral of the form $$ \int_{O(d)} \exp\left(-\frac{1}{2}\mathrm{trace}(CUAU^T)\right)dU $$ where the integration is with respect to the Haar measure on the orthogonal group, ...
2
votes
0answers
31 views

Computing the Cohomology of Lie groups

In Bredons "Topology and Geometry" [Chapter V, section 12] the following theorem is proven: If $G$ is a compact connected Lie group its $k$-th cohomology $H^k(G,\mathbb{R})$ is isomorphic to the ...
2
votes
0answers
49 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
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
79 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
45 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
83 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
57 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
33 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
48 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
20 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
39 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
28 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
56 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
74 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
43 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
43 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
26 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
69 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
44 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
31 views

Computations of common isometry groups, $O(n)/O(n-1), SO(n)/SO(n-1), U(n)/U(n-1)$, etc?

On wikipedia, some of the common isometry groups are given: $S^{n-1}\cong O(n)/O(n-1)$, $S^{n-1}\cong SO(n)/SO(n-1)$, etc. Is there a reference where some/any of these groups are computed? I'm just ...
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
85 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
64 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
66 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
92 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
46 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
40 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
59 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
73 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
81 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
106 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
64 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 ...