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)

3
votes
0answers
77 views

How to understand Weyl chambers?

Recall the definition of the Weyl Chambers: A Weyl Chamber is a region of $V \setminus \bigcup_{\alpha \in \Phi} H_{\alpha}$, where $V$ is underlying Euclidean space, and $H_\alpha$ the hyperplane ...
3
votes
0answers
23 views

Weight spaces of a irreducible representation of $\mathfrak{gl}(n, \mathbb{C})$.

Let $\mathfrak{gl}(n,\mathbb{C})$ be the general linear Lie algebra. Let $\{E_{s,t}\}_{1\leq s,t,\leq n}$ be the standard basis for it. And set its Cartan subalgebra $\mathfrak{h}$ to be ...
3
votes
0answers
33 views

Which elements of $su(n)$ commute with those of a subalgebra $su(2)$

Given a subalgebra $su(2) \subset su(n)$ , how many generators of $su(n)$ commute with any element in the subalgebra $su(2)$? I know that there are at least $n-2$ elements in $su(n)$ satisfying this ...
3
votes
0answers
28 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}] ...
3
votes
0answers
64 views

When did the notion of the tangent space emerge?

When did the modern conception of/notation for the tangent space to a manifold come into use?
3
votes
0answers
59 views

If a Lie algebra L decomposes as a direct sum of its derived subalgebra and its center, is L reductive?

A Lie algebra $L$ is said to be reductive if for any ideal $\mathfrak{a}$ of $L$, there is an ideal $\mathfrak{b}$ of $L$ such that $L=\mathfrak{a}\oplus\mathfrak{b}$. It is known that a reductive ...
3
votes
0answers
44 views

The bijection between central characters and linkage classes over a semisimple Lie algebra

I have a question about the modules over a semisimple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$. Let $\mathfrak{h} \subset \mathfrak{g}$ be a Cartan subalgebra. For a given $\lambda \in ...
3
votes
0answers
107 views

Exponential map is surjective for compact connected Lie group

How do I show that for every compact connected group $G$, the exponential map $\exp \colon\mathfrak{g} \rightarrow G$ is surjective? I tried to find the proof on the internet but most of them are ...
3
votes
0answers
28 views

Homologie of Lie algebra with coefficients in tensor product of modules

I'd like to prove that $H_i(\mathfrak g, M\otimes N)=\operatorname{Tor}_i^{U \mathfrak g}(M,N).$ My idea was that $H_i(\mathfrak g, M\otimes N)=\operatorname{Tor}_i^{U \mathfrak g}(k,M\otimes N)$. ...
3
votes
0answers
54 views

Derivative of exponential map

Somehow I've gotten myself confused trying to take the derivative of the exponential map on $\mathfrak{so(3)}$. For vector $\theta$, $\delta \theta$, and $p \in \mathbb{R}^3$, define $$R(\theta, p) ...
3
votes
0answers
42 views

Exponential of a power of the differential operator

In relation to this question: Exponential of a polynomial of the differential operator Is there an expression for $\exp(aD^n)f(x)$ similar to $\exp(aD)f(x)=f(x+a)$?
3
votes
0answers
51 views

How are the components of a connection on a homogenous space related to the Mauer-Cartan form?

I am finding it hard to understand in what way the Mauer-Cartan form $\omega_G$ of a Lie group $G$ can be used to define a connection on a bundle $G \to G/H$ in the same way that parallel transport of ...
3
votes
0answers
92 views

Lie algebra: symmetric and exterior power of representation

If $\mathfrak{g}$ is a Lie algebra, $V$ and $W$ are representation of $\mathfrak{g}$ we define the action of $\mathfrak{g}$ on $V \otimes W$ in the following way: $X \cdot (v \otimes w)=(X \cdot v) ...
3
votes
0answers
43 views

Finding a basis and weight space for $L = \mathfrak{so}_6(\mathbb{C})= \{x \in \operatorname{End}(\mathbb{C}^6)\ |\ ^{\mathrm t}xS + Sx = 0 \}$

The question: Let $S = \left(\begin{array}{cc} 0 & I_3 \\ I_3 & 0 \end{array}\right)$ and let $$L = \mathfrak{so}_6(\mathbb{C})= \{x \in \operatorname{End}(\mathbb{C}^6)\ |\ ^{\mathrm t}xS + ...
3
votes
0answers
78 views

Weyl Group of Parabolic subgroups

Let $G=SL(n,\mathbb R)$ with Lie algebra $\mathfrak{g}=\mathfrak{sl}(n,\mathbb R)$. The classical minimal parabolic subgroup $B$ consists of the upper triangular matrices. The parabolic subgroups $P$ ...
3
votes
0answers
48 views

Compact Lie algebras and Lie groups

A simple or semisimple Lie algebra is said to be compact if the $\mathrm{Tr}\left \{ T^\mathrm{adj}_{a}, T^\mathrm{adj}_{b}\right \}$ is positive definite where $T^\mathrm{Adj}_{a}$ are the generators ...
3
votes
0answers
63 views

Actions of Weyl group

I get a feeling what I am going to ask is very standard and classic, but I am not able to find any reference. Any answer or reference would be appreciated. Let us assume that $G$ is a simply ...
3
votes
0answers
57 views

Recovering a restricted Lie algebra from its restricted enveloping algebra

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $\mathfrak{g}$ be a restricted Lie algebra, with restricted enveloping algebra $u(\mathfrak{g})$. We can place a Hopf ...
3
votes
0answers
46 views

Would the transformation of a differential equation obey the same algebra?

I've found that the algebra of this differential equation $$\frac{d^2y}{dz^2}-(3z^2+\gamma)\frac{dy}{dz}+(cz+\alpha)y=0$$ is in $sl(2)$ because it is possible to use the generators of the $sl(2)$ ...
3
votes
0answers
91 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
3
votes
0answers
81 views

Lie groups with structure constant $f_{abc} \neq f_{bca}$.

The structure constant $f_{abc}$ of Lie group is defined by the commutators of generators, $$[T^a,T^b]=i f_{abc}T_c$$ automatically $f_{abc}=-f_{bac}$. Can someone give a list of explicit examples ...
3
votes
0answers
58 views

Correspondence between unipotent and nilpotent elements

Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. Let $\mathcal{U}(G)$ be the closed subvariety of unipotent elements of $G$, i.e., all elements whose ...
3
votes
0answers
68 views

Computing the fundamental groups of simple algebraic groups of type $A$

I'm interested in seeing the computation for the fundamental groups of the simple algebraic groups of type $A$. Below is the definition of the fundamental group for a simple algebraic group $G$. Let ...
3
votes
0answers
55 views

How to construct Dynkin diagrams for semisimple Lie algebras?

My question is: How can I construct the Dynkin diagrams of a semisimple Lie algebra $L$ which is the direct sum of simple Lie algebras, such as for example $\text ...
3
votes
0answers
74 views

A Isomorphism between the extension group and cohomology group of Lie algebras

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...
3
votes
0answers
55 views

PBW theorem for restricted Lie algebras

I'm looking at the proof of the PBW theorem for restricted Lie algebras to be found in Ponto and May's "More Concise Algebraic Topology", page 361 (367 in linked file). I either see an error in their ...
3
votes
0answers
199 views

Representation of Complexification of Lie Algebra

Is the following obvious? I think it is, but wanted to make sure before an exam tomorrow! "There is a bijection between the complex representations of a real Lie algebra and the complex ...
3
votes
0answers
73 views

Weights set spans

Definition Let $T$ be a torus and $R: G \to GL(V)$ a representation. $R(T)$ is a collection of commuting matrices and therefore can be simultaniously diagonalized. For a character $\lambda \in ...
3
votes
0answers
99 views

adjoint representation completely reducible

Let $\mathcal{A}$ be a Lie algebra. Suppose that adjoint representation of $\mathcal{A}$ is completely reducible (or semisimple). Show that $\mathcal{A}$ can be written as a direct sum of semisimple ...
3
votes
0answers
60 views

Usage and determination of “rank” and “dimension” of groups & representations

Physicist here. I seem to see conflicting statements about the rank of some groups I've come across lately. A paper I'm reading states that $SO(6)$ is rank 3 and therefore its Cartan subalgebra ...
3
votes
0answers
107 views

Regarding the definition of vector field flow

To make the connection to the Lie derivative, let $t \mapsto \Phi^X_t$ be the 1-parameter group of diffeomorphisms (or flow) generated by the vector field $ X $. The differential $ d\Phi^X_t ...
3
votes
0answers
139 views

The enveloping algebra of a finite dimensional Lie algebra has no zero divisor

Let $L$ be a complex, finite dimensional Lie algebra. It is well-known that the graded associative algebra of the enveloping algebra $U(L)$ is isomorphic to the symmetric algebra $S(L)$. Therefore ...
3
votes
0answers
102 views

finding highest weight of dual of a representation of a semisimple lie algebra

If $V$ is an irreducible representation of a semi simple lie algebra having highest weight $\lambda$ then what will be the highest weight of the corresponding irreducible representation $V^*$ (Dual of ...
3
votes
0answers
277 views

Fundamental vector fields

I have a question related to fundamental vector fields. For that I first setup the notations and properties etc. Let $G$ be a lie group acting smoothly on the manifold $M$. Let $\mathfrak{g}$ be its ...
3
votes
0answers
128 views

Integral forms of loop algebras.

The question following is about integral forms for semisimple Lie algebras and loop algebras constructed from them. Let $\frak g$ a finite-dimensional Lie algebra over $\mathbb C$ and $L(\frak ...
3
votes
0answers
107 views

Question concerning semisimple Lie algebras

I'm currently solving a problem in Fulton's Representation Theory A first course and I'm not sure why a particular result is true. One part of the problem (exercise 14.15 if anyone is interested) ...
3
votes
0answers
117 views

The Weyl Group of $F_4$

The Weyl Group of $F_4$ is of order $1152=2^{7} \cdot 3^{2}$. By Burnside's theorem the group is solvable. Is there a way to see solvability from the root system? Is it possible to see the order of ...
3
votes
0answers
326 views

Invariant inner product $\langle\,,\rangle$ on a Lie algebra

Let $\mathfrak{g}$ be a complex semisimple Lie algebra and $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{g}$. We can use the Killing form to identify $\mathfrak{h}$ and $\mathfrak{h}^*$ ...
2
votes
0answers
20 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
26 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
44 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
31 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
18 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
48 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
13 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
74 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
38 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
81 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
50 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
30 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( ...