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
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
29 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 ...
1
vote
0answers
52 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
18 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
20 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
45 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
53 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
15 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
36 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
78 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
31 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
52 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
28 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
44 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
27 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
44 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
123 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
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
75 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 ...
1
vote
0answers
78 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
84 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
29 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 ...
1
vote
0answers
23 views

Hermit reciprocity, $\mathfrak{sl}_2(\mathbb{C})$

Let $V$ be the standard $2$-dimensional representation of $\mathfrak{sl}_2(\mathbb{C})$. Hermit reciprocity states that $S^n(S^mV)\simeq S^m(S^nV)$. Can anybody give me a hint to prove it or give a ...
1
vote
0answers
43 views

Derived series of a Lie algebra

I've been studying semisimple Lie algebras and solvability and was wondering if someone could explain to me the meaning of the derived series of a Lie algebra L and this part: $$L^{(1)}=[LL]$$ I don't ...
1
vote
0answers
56 views

Lie bracket as defining element for transformations

Why is it precisely the Lie bracket that encodes the information about a given transformation? A Lie algebra is defined by its commutator. Using the exponential map one ends up with a given ...
1
vote
0answers
162 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
1
vote
0answers
23 views

How to classify all $\theta$-stable Cartan sub algebras?

Let $G$ be a linear connected semisimple Lie group, $\mathfrak g$ its Lie algebra. With respect to the Cartan involution $$ \theta:X\mapsto -\overline{X}^t, $$ one has $\mathfrak{g}=\mathfrak{k}\oplus ...
1
vote
0answers
43 views

References to Lie algebras representaions

Could you give me a reference to a brief introduction to representations of Lie algebras, especially $\mathrm{sl}_2(\mathbb{C})$. I mean some basic Verma modules, Weyl groups etc.
1
vote
0answers
57 views

Adjoint Representation of Lorentz Group

I'm thinking about the image under the adjoint representation $\mathrm{Ad}$ of the proper (identity connected component) Lorentz group $SO^+(1,3)$. Since this group has a trivial centre (it contains, ...
1
vote
0answers
36 views

What is a Complete Set of Weights of a Representation of a Lie Subalgebra?

In relation to Lie Group and Lie Algebra theory, I am studying about the weights of representations. I have come across the terminology "a complete string of weights" in my lecture course, but it is ...
1
vote
0answers
36 views

Component of a pushover vector by one-parameter transformation

I am curious about a step on the proof that shows Lie derivative of a vector field is equivalent Lie bracket. Following comes from Nakahara. We define integral curves by vector field X and Y as ...
1
vote
0answers
17 views

Symetric powers of $sl_2$ representations

I'd like to understand some special things about representations of $sl_2$ (which is considered as a Lie algebra over $\mathbb{C}$). First, it can be shown that for each $n\in \mathbb{N}$ there is ...
1
vote
0answers
65 views

Automorphisms of a split Lie algebra — strange proof in Bourbaki

This is about ch. VIII § 5 no. 3 Proposition 5 in Bourbaki's book on Groupes et algèbres de Lie (unchanged on p. 109 in the Hermann 1975 or Springer 2006 edition). The assertion is that for a ...
1
vote
0answers
34 views

Lie Algebra of Reduced Heisenberg Group Identities

I am having problems trying to understand a statement by Howe in his paper "On the role of the Heisenberg group in harmonic analysis". Here is the setting: Howe defined the (reduced) Heisenber group ...
1
vote
0answers
44 views

How could we decompose anticommutator of representation matrices for a Lie algebra?

For commutator, we know that $[T^a,T^b]=if^{abc}T^c$, where $f^{abc}$ is the structure constant. But is there a similar formula for $\{T^a, T^b\}$? Thank you.
1
vote
0answers
33 views

Why is the restricted nullcone a variety?

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $(\mathfrak{g},[\cdot,\cdot],(\cdot)^{[p]})$ be a finite-dimensional restricted Lie algebra. Define the restricted ...
1
vote
0answers
55 views

Basis of Witt algebra

The Witt algebra $W(n,m)$ is defined as the set of element $\{\sum f_j D_j$ such that $ f_j ∈ A(n,m)\}$ with usual Lie bracket. I am a bit confused about basis for $W(n,m)$? What is the meaning of ...
1
vote
0answers
35 views

Integration on associated vector bundle

Let $G$ be a compact lie group and $\mathfrak{g}$ be its Lie algebra then we can construct the integral on $G\times \mathfrak{g}$ by $$\int_G\int_{\mathfrak{g}}f(x,Y)dxdY$$ Where $x\in G$ and $Y\in ...
1
vote
0answers
66 views

Structure constants of Lie algebra from system of linear equations

The Jacobi identity in terms of the structure constants $c_{p,q}^r$ of an $N$-dimensional Lie algebra with $p,q,r=1,\ldots,N$ reads $$ J_{i,j,k}^l \equiv c_{i,j}^m \, c_{k,m}^l + ...
1
vote
0answers
21 views

Show that $\langle[U,X],V\rangle = -\langle U,[V,X]\rangle$ for bi-invariant metric in Lie group

I know that $\langle U,V \rangle = \langle dR_{x_{t(e)}}U, dR_{x_{t(e)}}V \rangle$ and $\langle U,V \rangle = \langle dL_{x_{t(e)}}U, dL_{x_{t(e)}}V \rangle$ because it is bi-invariant. How do I ...
1
vote
0answers
44 views

Reference request: exact sequences of Lie algebras

I have a reference request: where can I read more about the following? Consider the short exact sequence $0\rightarrow \mathfrak{n}^- \rightarrow \mathfrak{gl}_n\rightarrow \mathfrak{b}\rightarrow ...
1
vote
0answers
96 views

Which is the Weyl group of $U(n)$

Consider the unitary group $U(n)$. How does one compute its Weyl group? Is it the same as the Weyl group of $SU(n)$ since $U(n)\simeq SU(n)\times U(1)$?