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)

4
votes
0answers
236 views

When is the adjoint representation self-dual?

Let $G$ be an algebraic group (say, connected). Given a rep. $\rho:G\to GL(V)$ there is a dual rep. $\rho^{\vee}:G\to GL(V^{\vee})$ defined by $\rho^{\vee}(g)\phi =\phi\circ \rho(g^{-1})$. My question ...
4
votes
0answers
136 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 ...
4
votes
0answers
367 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 ...
4
votes
0answers
440 views

Weyl Character formula applied to Sp$(4,\mathbb{C})\cap$ U$(4)$.

I posted a question a short while ago on this but got no response. I have worked on this more and so now have a more specific question. To start with we work with the $\mathbb{Q}$ version of ...
4
votes
0answers
107 views

The Nambu bracket

Does anybody know how to show the Jacobi identity for the Nambu bracket in $\mathbb{R}^3$? The Nambu bracket with respect to $c \in \mathcal{F}(\mathbb{R}^3)$ is defined as $$\{F,G\}_c = \langle\nabla ...
4
votes
0answers
181 views

internal direct product of lie groups

If $G$ is a (edit: simply connected)Lie group, when does a direct sum decomposition of its Lie algebra (into a direct sum of subalgebras) correspond to a (semi)direct product decomposition of $G$? ...
4
votes
0answers
62 views

Proving $\mathscr L(C_G(H)) \subseteq \mathfrak c_{\mathfrak g}(\mathfrak h) = \{ \mathrm x \in \mathfrak g \mid [\mathrm x, \mathfrak h] = 0\}$

Let $H$ be a closed subgroup of the algebraic group $G$, $C = C_G(H)$. Prove that $\mathfrak{c} = \mathscr{L}(C_G(H)) \subseteq \mathfrak{c}_{\mathfrak{g}}(\mathfrak{h}) = \{ \mathrm{x} \in ...
4
votes
0answers
107 views

Why are root systems presented in this confusing way?

I quote Bjorner and Brenti, "Combinatorics of Coxeter Groups." We begin with a simple geometric lemma. Let $m \geq 3$ be an integer, let $\gamma = \pi/m$, and let $k, k'$ be real numbers ...
4
votes
0answers
406 views

Elementary proof of the third Lie theorem

I would like to understand a (not well known) proof due to G.M; Tuynman, of the third Lie theorem, which asserts that for any given finite dimensional Lie algebra $\mathcal{G}$ there exists a (simply ...
3
votes
0answers
84 views

Why do we need finite dimension for this diagram to commute?

Let $\frak g$ be a Lie algebra and $\rho$ be a finite dimensional representation of $\frak g$ in a linear space $V$. They define the momentum associated to $\rho$ as the map $\mu: V \otimes V^\ast \to ...
3
votes
0answers
27 views

Definition for Shimura datum

The following definition for $\textbf{shimura datum}$ is due to wikipedia. Let $S=\mathrm{Res}_\mathbb{R}^\mathbb{C}G_m$ be the Weil restriction of the multiplicative group from complex field ...
3
votes
0answers
38 views

Moment map in general

Let the Lie group $G$ act on the smooth manifold $X$ with the map $(g,x)\to gx$. In any point $x\in X$, the differential of this map induces a linear map: $$ \mu:T_e G \to T_xX\;, $$ and globally, if ...
3
votes
0answers
20 views

Hermitian metric from Killing form

Let $G$ be a semisimple Lie group. Its Killing form is a nondegenerate inner product on the tangent space to $G$ at the identity, and this form can be naturally extended to a metric on the whole of ...
3
votes
0answers
23 views

Radical of an infinite dimensional Lie Algebra

I am studying Lie Algebras and I just encountered the notion of radical $R$ of a finite dimensional Lie algebra $L$ over a field $F$, the maximal solvable ideal. Since the dimension of $L$ is finite, ...
3
votes
0answers
45 views

Finding the tangent space at the identity *without* using paths

I know that there are two commonly used definitions of the tangent space at a point of a smooth manifold $M$: one using paths through that point, and the other using the idea of linear maps ...
3
votes
0answers
48 views

Does this binary operation have a name?

Does the following binary operator on abstract linear maps $A,B:\mathbb{C}^N \rightarrow \mathbb{C}^N$, have a name: $[\{A,B\}]:= AB^{\dagger} - BA^{\dagger}$ clearly, it is real bi-linear, but not ...
3
votes
0answers
21 views

Constructing a coset representative of $SO(n,4)/(SO(n) \times SO(4))$.

In $\mathcal N = 2$ Supergravity the scalar components of Hypermultiplets form a quaternionic Kaehler manifold. Only isometries of this so-called target manifold can be gauged. I am interested in ...
3
votes
0answers
43 views

How do roots act on weights?

In Lie theory it's possible to compute things very explicit using tensor methods. For example, we can use an explicit matrix for each generator $T^a$ and compute the "action" of this generator on an ...
3
votes
0answers
127 views

Is it possible to chose the value of $(\alpha, \alpha)\in \mathbb{F}$ for the root system $A_{1}$?

The question is based on what I tried to solve two exercises in James E. Humphreys "Introduction to Lie Algebras and Representation Theory": chapter 26 exerise 1 and chapter 9 exercise 2. I am looking ...
3
votes
0answers
50 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, ...
3
votes
0answers
120 views

Humphreys Introduction to Lie Algebras - Conjugate Borel subalgebras sl(2,F)

Let $L$ be a Lie Algebra and let $E(L)$ denote the subgroup of the inner automorphisms, generated by all $\exp(\operatorname{ad}(z))$ for $z\in L$ being strongly ad-nilpotent. Let ...
3
votes
0answers
133 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
30 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
68 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 ...
3
votes
0answers
37 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
66 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
48 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
236 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
81 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
51 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
67 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
49 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
110 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
51 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
69 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
81 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
221 views

Invariant bilinear forms on Lie algebras

Consider a (compact) Lie group $H$ that acts on its Lie algebra $\mathfrak h$ in the usual way, $x\mapsto gxg^{-1}$ for any $x\in\mathfrak h$ and $g\in H$. Suppose we are given a real symmetric ...
3
votes
0answers
47 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
100 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
91 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
66 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
74 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
287 views

Connected subgroups of SU(2) and SU(3)

I am reading 'Lie groups, Lie Algebras, and Representations : An Introduction' by Brian Hall and am unable to do the problem 17 in chapter 3. It says Show that every connected Lie subgroup of ...
3
votes
0answers
80 views

Does the Lie Bracket automatically exist?

Let $g$ be a Matrix Lie Group. The Lie Algebra of $g := Lie(g)$ is defined as $ Lie(g) = \{ \dot{\gamma}(0) | \gamma:(-\epsilon, \epsilon) \rightarrow g, \gamma \in C^1, \gamma(0) = \mathbb{I} \} $ ...
3
votes
0answers
77 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
56 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
276 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
77 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
115 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 ...