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
48 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
103 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
107 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
70 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
172 views

How do I find the Cartan subalgebra?

I know the definition of a Cartan subalgebra, but how do I actually find it explicitly for a particular Lie algebra over the complex numbers?
3
votes
0answers
77 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
318 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 SU(...
3
votes
0answers
44 views

explicit realization of irreducible representations of simple lie algebras

I know explicit realization of irreducible representations of simple lie algebra $sl_n$ when the highest weight of that representation is a fundamental weight.Is there any explicit realization of any ...
3
votes
0answers
85 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
86 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 it....
3
votes
0answers
60 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
312 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
78 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
122 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
115 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
120 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
205 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
350 views

Standard parabolic Lie subalgebras and conjugacy

Let $\mathfrak g$ be a given semisimple Lie algebra with corresponding adjoint Lie group $G$. A parabolic subalgebra is any subalgebra containing a Borel subalgebra. We can pick a Borel $\mathfrak{b}...
3
votes
0answers
133 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 g)=\...
3
votes
0answers
115 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
125 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
356 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}^*$ ($\phi\...
2
votes
0answers
32 views

Inner-product on skew-hermitian matrices

Let $$\mathfrak{u}(n)=\{X\in M(n,\Bbb C):X+X^*=0\}$$ where $X^*$ is the conjugate transpose. Then, $\mathfrak{u}(n)$ is a real vector space. Problem. Show that $\langle X,Y\rangle=\...
2
votes
0answers
47 views

Is the commutator subgroup $[G,G]$ isomorphic to $G/Z_G$?

Let $G$ be a connected reductive Lie group with Lie algebra $\mathfrak{g}$. That means that $\mathfrak{g}=Z_\mathfrak{g}\oplus[\mathfrak{g},\mathfrak{g}]$, and $[\mathfrak{g},\mathfrak{g}]$ is ...
2
votes
0answers
59 views

Involutions and Representation of Lie Algebras

In what follows I'm going to use $V_{\theta_s}$ for the little adjoint representation af a Lie algebra i.e. the representation associated with the highest short rooth $\theta_s$. Is easy to see that ...
2
votes
0answers
28 views

Classification of irreducible (g,K)-modules for other g than sl2

Harish Chandra showed how to associate to an admissible representation $(\pi,V)$ of a real semisimple Lie group $G$ the so-called Harish-Chandra module $V_K$ of $K$-finite vectors in $V$. This is a $(\...
2
votes
0answers
22 views

Does a subalgebra of a Lie algebra $g$ define a Lie subalgebra in the dual $g^*$ if $( g, g^*)$ is a Lie bialgebra?

Question: Let $\mathfrak d = \mathfrak g\bowtie \mathfrak g^*$ be the double of the Lie bialgebra $(\mathfrak g, \mathfrak g^*)$, and let $\mathfrak h$ be a Lie subalgebra of $\mathfrak g$. If $\xi,\...
2
votes
0answers
36 views

Lagrangian densities, Lie Groups and Lie Algebras

I'm quite new to Physics and I was having a look for the first time to the Standard model. I'm not sure if the mechanism that I'm describing is directly from Weyl or from others but what I found quite ...
2
votes
0answers
62 views

The cohomology of $\mathrm{GL}_n$ over an algebraically closed field

How does one go about computing the cohomology groups $H^*(\mathrm{GL}_{\kern{0.1em}{m}}(\overline{\mathbb{F}}_p),M)$? I am particularly interested in the case when $M$ is an algebraic representation. ...
2
votes
0answers
26 views

Finite dimensional, irreducible representations of the Lie superalgebra gl(1|1)

I am wondering how the finite dimensional, irreducible representations of the Lie superalgebra gl(1|1) are parametrized. I understand that they are all highest weight, and that the only non-trivial ...
2
votes
0answers
29 views

Lie algebra associated to Leibniz algebra

We know that for any Leibniz algebra $L$ we can associated its Lie algebra denoted by $L_{Lie}$. for example the ideal generated by $\{[x,x] | x\in L\}$ determines the non-Lie character of $L$. Is it ...
2
votes
0answers
34 views

Properties of the complexification functor for Lie algebras

The complexification of Lie algebras determines a functor from real Lie algebras to complex Lie algebras, whose right adjoint is the restriction of scalars functor. Thus, we know that complexification ...
2
votes
0answers
68 views

Weyl group of complex Lie group

Let $G$ be a compact connected Lie group with maximal torus $T$. The Weyl group is defined by $$W:=N_G(T)/T.$$ Now, $G$ has a complexification $G_{\Bbb C}$ with maximal torus $T_{\Bbb C}$ which is the ...
2
votes
0answers
57 views

Differential of a representation of a linear algebraic group

I asked a question if a representation of the lie algebra of a simply connected algebraic group G induces a representation of the group itself here: \link {Representation of the lie algebra of a ...
2
votes
0answers
12 views

Find basis $\beta$ of $M$ such that $\phi(H)$ sits inside diagonal matrices, $\phi(S)$ sits inside upper triangular matrices w.r.t. basis $\beta$

Following question appeared in my Lie Algebra exam,but unfortunately i could not solve this question. Let $L$ be a semi simple complex Lie Algebra and $ \phi:L \to gl(M)$ be a finite dimensional ...
2
votes
0answers
31 views

Taylor series identity for polynomial using Lie group

The following question is from Kirillov's Introduction to Lie Groups and Lie Algebras, and my attempt is the following: $$\sum_{n\geq 0}\frac{(t\partial_x)^n}{n!}f=(\exp{t\partial_x})f=\exp(\rho(t))f=\...
2
votes
0answers
39 views

Why are $\mathfrak{pgl}_n\simeq\mathfrak{sl}_n$ when characteristic does not divide $n$?

Suppose $k$ is some algebraically closed field whose characteristic does not divide $n$. Why can we identify the lie algebras $\mathfrak{pgl}_n\simeq\mathfrak{sl_n}$ of the projective linear group and ...
2
votes
0answers
55 views

The simplest way to present a Lie algebra to a wide audience?

I would like to get suggestions from you as to the best way to present the idea and contents of Lie algebras to a wide public of people with no detailed background in maths. What wlould you explain to ...
2
votes
0answers
40 views

Can the parameter $t$ in the exponential map $e^{tX}$ be complex?

From a Lie algebra to a Lie group, can the parameter $t$ in the exponential map $t\rightarrow e^{tX}$ be complex? If the Lie algebra is a complex one, this is legal, right?
2
votes
0answers
35 views

Action of $sl(2,\mathbb{C})$ on Dual of Polynomials does not Exponentiate

Let $V$ be the space of holomorphic polynomial functions in two complex variables $\xi,\eta$ and let $V^\ast$ be its dual space with subspace $W$ of linear functionals of the form $Df(1,0)$ where $D$ ...
2
votes
0answers
51 views

Is the exponential map of complex spin group surjective?

The complex spin group $Spin(n,C)$ is defined as the double cover of $SO(n,C)$. If the the exponential map is surjective, it will give a parametrization of this Lie group. Is it true for this non-...
2
votes
0answers
15 views

Quotient of the abelian Lie group $(\mathbb{C}, +)$ by a full rank lattice

How can I show that a quotient of the abelian Lie group $(\mathbb{C}, +)$ by a full rank lattice has no faithful finite-dimensional linear representation as a complex Lie group? I was thinking of ...
2
votes
0answers
27 views

Prove that a subgroup in a Lie group is homogeneous

Let $\mathbb E:=(\mathbb R^4, \cdot)$ be a Carnot group whose Lie algebra is given by $\mathfrak g=V_1\oplus V_2 \oplus V_3$, where $V_1=span\{X_1,X_2\},$ $V_2=span\{X_3\},$ $V_3=span\{X_4\}$, the ...
2
votes
0answers
53 views

Nonstandard analysis, Lie groups and universal enveloping algebras

The idea of nonstandard analysis is to combine finite quantities with infinitesimals. And, back in the day, Lie algebras were roughly considered the "infinitesimal elements" of Lie groups. Say we want ...
2
votes
0answers
54 views

Root system of an abelian lie subalgebra.

Let $L$ be a lie algebra and $H$ an abelian subalgebra of $L$ such that each element of $h \in H$ is diagonalizable under the adjoint representation. So there exists a basis of common eigenvectors for ...
2
votes
0answers
32 views

Affine Kac-Moody Group Isometry of a Manifold

An isometry of a Riemannian manifold is an infinitesimal displacement generated by a Killing vector field $V=\zeta^aV_a=\zeta^aV_a^i\frac{\partial}{\partial x^i}$. If the isometry corresponds to the ...
2
votes
0answers
81 views

Representation of ${\frak gl}(n, \Bbb R)$ in ${\cal C}^\infty(\Bbb R^n, \Bbb R^n)$.

I'm trying to check that $\rho\colon{\frak gl}(n, \Bbb R) \to {\frak gl}({\cal C}^\infty(\Bbb R^n, \Bbb R^n))$, given by $\rho(A)\colon {\cal C}^\infty(\Bbb R^n, \Bbb R^n)\to {\cal C}^\infty(\Bbb R^n, ...
2
votes
0answers
33 views

Tensor formula in SU(3) representations

I am trying to understand the Georgi chapter of tensor methods in $SU(3)$ representations, and I don't know how to resolve the tensor product of 2 matrices in a 2 heavy quark + 2 light antiquark ...
2
votes
0answers
33 views

Left invariant metrics on a Lie group coming from Lie algebras

Let $G$ be a Lie group and $\mathfrak{g}$ be its Lie algebra. If we have an inner product on $\mathfrak{g}$ then we can create a left invariant metric $d_G$ on $G$ by translations. On the other hand ...
2
votes
0answers
29 views

Tensor products and decomposition of $SU(3)$ representations

For each finite irreducible representation of Lie algebra $su(3)$ one knows that it is characterized by highest weight $(\lambda_1, \lambda_2)$ with integral entries. In this notation, $(1,0)$ is ...