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)

1
vote
0answers
25 views

Where does the $-k\delta$ part of the expression for weights come from?

Consider the affine Lie algebra with the Cartan matrix $$ \left(\begin{array}{cc} 2 & -2\\ -2 & 2 \end{array}\right) $$ Let $\omega_{0}$ be the zeroth fundamental weight, $\alpha_1$ the first ...
1
vote
0answers
22 views

To what extent are the Jordan-Chevalley and Levi Decompositions compatible.

I know that the Jordan-Chevalley decomposition for real Lie algebras only applies to semisimple Lie algebras, but in general the addititive J-C decomposition says that for ANY operator, we can ...
1
vote
0answers
34 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 ...
1
vote
0answers
17 views

Questions about the indivisible imaginary root in affine root system.

I am reading the paper. On page 5, $\delta$ is defined as the indivisible imaginary root in $\widehat{\Delta_+}$. $\Lambda_0 \in \widehat{\mathfrak{h}^*}$ is the unique element satisfying $\langle K, ...
1
vote
0answers
21 views

Why is 1/2+1/2 in the weight space for SO(5)

Let's consider $\mathfrak{so}(5)$ as the Lie algebra of $\mathrm{SO}(5)$, where the symmetric bilinear form is $x_1y_5+\cdots +y_1x_5$. Then the maximal torus is given by $$\left(\begin{array}{cccccc} ...
1
vote
0answers
42 views

Induced Lie Algebra Representation, Left invariant vector fields and more…

The following is an excerpt from a proof in John Lee's Introduction to Smooth Manifolds I am struggling to understand. I would appreciate if someone was able to help me with whatever it is I am ...
1
vote
0answers
43 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 ...
1
vote
0answers
22 views

An injection of Weyl groups

I've shown, quite accidentally, that Weyl group of $F_4$ injects into the Weyl group of $E_6$ as the subgroup of elements normalizing a maximal torus $T^4$ of $F_4$. One might a priori expect other ...
1
vote
0answers
46 views

cohomology ring of Lie algebras: multiplication

If $\mathfrak{g}$ is a Lie $R$-algebra, then the Chevalley-Eilenberg complex defines the cohomology modules $H^k(\mathfrak{g})$. If $H^\ast(\mathfrak{g})=\bigoplus_kH^k(\mathfrak{g})$, then the ...
1
vote
0answers
19 views

centre of universal enveloping algebra for specific algebras

Let $\mathfrak{h}_{2n}$ be the Heisenberg Lie algebra, i.e. the Lie algebra with a basis of $\{p_1,\ldots,p_n,q_1,\ldots,q_n,c\}$ where $$[Pi, Pj ] = [Qi, Qj ] = [Pi, C] = [Qi, C] = [C, C] = 0, [Pi, ...
1
vote
0answers
25 views

Importance of Jordan-Chevalley decomposition

What are the uses of Jordan-Chevalley decomposition in the classification of semisimple Lie algebras? I used it to prove that the restriction of the killing form to a maximal toral subalgebra is non ...
1
vote
0answers
21 views

Determining whether a Lie algebra is also a complex Lie algebra

I am trying to learn Lie theory. In the following I will share my thoughts. Please, can you check my work for correctness and point out any mistakes to me? I am trying to determine whether ...
1
vote
0answers
42 views

Equivalences between categories $\mathcal{K}^b(\text{Injectives})$ and $\mathcal{D}^b(\mathcal A)$ if $\mathcal{A}$ has enough injectives

I have the following question: Let $\mathcal{A}$ be a abelian category and $\mathcal{I}$ be the full subcategory of injective objexts of $\mathcal{A}$. Assume that $\mathcal{A}$ has enough ...
1
vote
0answers
27 views

Good reference for The Differntiable Slice Theorem

I am looking for a book that will give me a good proof of The Differentiable Slice Theorem - Suppose a compact Lie group $G$ acts smoothly on a manifold $M$. Then every orbit has a $G$-invarient ...
1
vote
0answers
36 views

Hochschild-Serre spectral sequence for not normal subalgebra

I am trying to understand lemma 2.26 from http://www.math.ru.nl/~solleveld/scrip.pdf I am coserned about calculation of $E^{p, q}_1$. If $\mathfrak{h}$ is Lie ideal than everything is fine. But here ...
1
vote
0answers
30 views

Why does $det(R) = +1$ imply right handed frame?

Let $R$ be a rotational matrix in $SO(3)$ so it satisfies $R^TR = I$ Solvng for $det(R^TR) = (det(R))^2 = 1$ yields two solutions Why does $det(R) = +1$ mean that the frame is a right handed frame? ...
1
vote
0answers
31 views

Commutators of Schur polynomials of Lie algebra elements

Question: Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...
1
vote
0answers
21 views

Lie point symmetry of KdV.

I'm asked to consider the 1-param. group of transformations generated by $V = \dfrac{\partial}{\partial u} + \alpha t \dfrac{\partial}{\partial x}$, which easily enough yields $g^{\epsilon}(x,t,u) = ...
1
vote
0answers
23 views

Complexifying Lie group actions

In Atiyah-Pressley's paper Convexity and Loop Groups, it is claimed that the Bruhat cells $C_\lambda$ are invariant under the natural $S^1 \times T$-action and that the authors will prove this claim. ...
1
vote
0answers
39 views

Irreducible Representations of Nilpotent Lie algebras

By Lie's theorem all irreducible representations of a solvable Lie algebra over $\mathbb C$ are one dimensional. What are all irreducible representations of a nilpotent Lie algebra ?
1
vote
0answers
44 views

What series/publishers would be interested in publishing a novel mathematics book?

What series/publishers would be interested in publishing a novel mathematics book for a select readership? In other words, I'm looking for a publisher smaller than Springer, who thought my book ...
1
vote
0answers
61 views

Why are lie algebra of upper-triangular $nxn$ matrices not nilpotent Lie algebra

Is there an easy proof (without Engel's theorem) of the fact that lie algebra of upper-triangular $n\times n$ matrices (of the field $\mathbb{R}$) are not nilpotent Lie algebra?
1
vote
0answers
17 views

Normal subgroup invariant under $\text{Ad}_g$

Denote by $G$ a Lie group with corresponding Lie algebra $\text{Lie}(G)$. There the three maps inner automorphism/conjugation: $\text{Int}_g = L_{g^{-1}} \circ R_g \in \text{Aut}(G)$, $\text{Ad}_g ...
1
vote
0answers
19 views

$H^q(\mathfrak{g},K;V)$ is equal to $Ext_{\left(\mathfrak{g},K\right)}^q\left(\mathbb{C},V\right)$?

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. Let $K$ be a closed subgroup of $G$ with corresponding Lie subalgebra $\mathfrak{k}$. Let $V$ be a $\left(\mathfrak{g},K\right)$-module. Then, I ...
1
vote
0answers
22 views

Clarification of Definition: Free Algebra

I need some clarification on the definition of free algebra. Here is an extract from Lie Algebras and Lie Groups by Jean-Pierre Serre: I am somewhat confused about the definition of free algebra. ...
1
vote
0answers
55 views

Reference request: classification of simple Lie groups and simple real Lie algebras

I am trying to understand the classification of simple Lie groups and the theory of highest weights for semisimple Lie groups by first understanding the case for complex Lie algebras, then relating to ...
1
vote
0answers
58 views

Lie Bracket of vector fields on Lie group

Let $H$ be a Lie group and $\mathfrak{h}$ its Lie algebra. Given a smooth function $v: H \to \mathfrak{h}$, define the vector field $\bar{v} : H \to TH$, $h \mapsto d(R_{h})_{e} v(h)$, where $R_{h} : ...
1
vote
0answers
48 views

Computing Jacobian of error function using Lie Algebra

First off all, I hope this is the right place to ask, as it is a computer vision problem, but I'm specifically asking about the mathematical part of it. I am currently implementing the ICP (Iterative ...
1
vote
0answers
16 views

coboundary operators in relative lie algebra cohomology

I am starting to read relative lie algebra cohomology. We define the coboundary operator $d$ from $Hom_K(\wedge^q\mathcal{g}/\mathcal{k}, V)$ to $Hom_K(\wedge^{q+1}\mathcal{g}/\mathcal{k}, V)$ as ...
1
vote
0answers
38 views

How to tackle a research journal - level course in Lie Theory and Representation Theory?

I am taking a course in Lie Theory and Theory of Representations this year, where starting from the second lecture, Lie Theory is heavily bundled with Theory of Representations. It is pretty much a ...
1
vote
0answers
87 views

John Lee's book question about symplectic group

Exercise 12-14 in John Lee's book, An introduction to Smooth Manifolds, reads as follows: The real symplectic group is the subgroup $Sp(n, \mathbb{R}) \subset GL(2n, \mathbb{R})$ consisting of ...
1
vote
0answers
46 views

Lie algebra associated to an arbitrary discrete group

I read somewhere that there is a classical (due to Philip Hall?) construction of a Lie algebra associated to any discrete group $\pi$ which is obtained from filtration quotients of the descending ...
1
vote
0answers
32 views

Finite-dimensional, irreducible Representations of the Diffeomorphism Group $Diff(R^4)$

Is there any possible way to study the finite-dimensional, irreducible representations of $Diff(R^4)$ systematically? My interests stems from the fact, that the symmetry group of general relativity is ...
1
vote
0answers
26 views

Straight forward derivation of the bch formula?

Im doing a project on rigid body dynamics and need to derive the bch formula, anyone know a simple yet complete derivation?
1
vote
0answers
54 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
1
vote
0answers
32 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 ...
1
vote
0answers
26 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 ...
1
vote
0answers
27 views

Dimension of maximal tori

Let $G$ be a compact Lie group. $T$ $-$ its maximal torus. Is there a simple reasoning to show that dimensions of $T$ and $G$ have the same parity? I am sorry if this quesion is for children, but ...
1
vote
0answers
46 views

Questions about the bracket

In the map $\phi : L \mapsto \mathfrak {U}(L) $, where $ L $ is a lie algebra and $\mathfrak {U} $ is a universal enveloping algebra of $ L $. (1) Is the following relation true? If $[xy]=z$ in $ L ...
1
vote
0answers
28 views

Considerations for moving a function inside or outside of an integral

Excluding the possibility that $A(t)$ is the limit of a sequence, are there any special considerations I should be concerned with regarding the following assertion: Let $A(t)$ be an $n\times n$ ...
1
vote
0answers
33 views

regular representation of algebras

Let suppose we have universal enveloping algebra, what is the meaning of the notion of the right regular representation of that? How can we determine the right regular representation of universal ...
1
vote
0answers
46 views

Intuition behind PBW

The PBW theorem states: $\omega:\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. Where $\mathfrak {S} $ is the symmetric tensor algebra of a Lie algebra $ L $. Where $\mathfrak ...
1
vote
0answers
143 views

SAGE vs. Mathematica for Lie algebras / groups?

What math software is better for working with Lie algebras and Lie groups, SAGE or Mathematica?
1
vote
0answers
69 views

Dual spaces: Roots and Cartan subalgebra

Can someone show that the roots and the Cartan subalgebra are dual vector spaces? I don't see how simple roots acting on non-corresponding indices of a Cartan basis produce 0 and a simple root ...
1
vote
0answers
44 views

Do involutions suffice to find reflected vectors in a reflection group representation?

Consider a reflection group $W$ acting by isometries on a Euclidean space $V$. I want to understand the union of $(-1)$-eigenspaces for this action, the set $$\{v \in V : \exists w \in W\ (w\cdot v = ...
1
vote
0answers
88 views

Root space decomposition

Regarding the direct sum of vector spaces/algebras, the dimensions of the parts of the sum should equal the whole. With the root decomp, the cartan sub algebra seems to have a dimension as high as the ...
1
vote
0answers
90 views

Prove the Weyl's complete reducibility Theorem on finite-dimensional $\mathfrak{g}-modules$ by Kostant's $\mathfrak{n}$-cohomology result

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
1
vote
0answers
17 views

Given basis for a Lie algebra, what is one for its Universal Central Extension

Given that I have an infinite basis for a Lie algebra $L$, and the information that $M$ is its Universal Central Extension, is $M$ unique? If so, what is the basis of $M$ in terms of that of $L$?
1
vote
0answers
31 views

Question on inner product on space of representations of compact Lie groups

Let $K$ be a compact connected Lie group, wiewed as subgroup of unipotent matrices. Let $G=\mathfrak{k}^\mathbb C$ be the complexification with Lie algebra $\mathfrak{g}=\mathfrak{k}\oplus ...
1
vote
0answers
44 views

What are the root systems for the n-dimensional torus?

My question may seem silly at first, but currently I am not able to work out the question of finding all roots for the n-dimensional torus. At first, it seemed obvious to me that there are no roots at ...