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)

0
votes
0answers
33 views

Root space of a Semi simple group an LVS?

A semi-simple Lie group has a Cartan Subalgebra ($H$) (CSA) -an LVS, Dual to this CSA LVS is root space($H^*$), which is set funtionals that map elements of CSA to real numbers and hence useful in ...
2
votes
1answer
56 views

Quaternions, Lie Groups and Lie Algebras. Steps to realize a paper. [closed]

I have to realize a paper about quaternions and Lie Groups and Lie Algebras. How can I realize the links between quaternions and Lie Groups & Algebras. Which books do you recommend me? First, I ...
2
votes
0answers
38 views

Representations of Nilpotent Lie Algebras

Let $\mathfrak{g}$ be a rational, nilpotent Lie algebra. Then its adjoint representation will consist of elements which are nilpotent matrices over rationals. But this representation generally is not ...
0
votes
0answers
15 views

Dual basis to $e_{i+1}-e_{i} \in \ker ((1,1,…1)^\vee\in(\Bbb E^{n+1})^\vee)$

Studying the root system $A_n$ given by the simple roots $v_i:=e_{i+1}-e_i \in \Bbb E^{n+1}/\Bbb R(1,1,...,1)$ for $i = 1,...,n$, I came across the following dual basis: $v_i^\vee:= ...
2
votes
1answer
43 views

Is every element of a complex semisimple Lie algebra a commutator?

Let $L$ be a (finite-dimensional) complex semisimple Lie algebra. Then we know that $L = [L,L]$. Is it true that every element of $L$ must be a commutator? Since a complex semisimple Lie algebra is ...
0
votes
1answer
37 views

Why the square of ideal in Lie algebra is also ideal?

Let $L$ be a Lie algebra over field $F$, $I$ - ideal in this algebra. It's stated that $I^2$ (and so any item of central series) is also ideal in $L$. 1) For any $a, b \in I^2: [a,b] \in I^2$. True, ...
1
vote
0answers
15 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 ...
2
votes
0answers
35 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 ...
2
votes
0answers
21 views

Are there always nontrivial primitive elements in a Hopf algebra?

Let $k$ be an algebraically closed field of arbitrary characteristic. Let $H$ be a Hopf algebra over $k$. We say $x\in H$ is a primitive element if $\Delta(x)=1\otimes x+x\otimes 1$, where $\Delta$ ...
5
votes
1answer
41 views

Can the equality $e^{-tY}Me^{tY} = e^{tX}M $ be shown by showing it only to 1st order? (Lie representations)

We have that A and B belong to different representations of the same Lie group. The representations have the same dimension. X and Y are elements of the respective Lie algebra representations. $$A = ...
1
vote
0answers
59 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 ...
0
votes
0answers
50 views

Ranks of matrix Lie groups and Lie algebra of SU(1,1), SO(2,1)

I was trying to find out by Googling, but had no luck. Am I right in thinking that for the Lie GROUPS: rank SL(n,R) = n, rank SO(n,R) = n (not sure about this one), rank SU(n,C) = n-1 and ...
0
votes
0answers
23 views

What is a $\mathbb{Z}$-form of an algebra?

A homework problem I have is to describe the Lie algebra associated to a Kac-Moody root datum $\mathcal{K} =(I,A,\Lambda ,(c_i)_{i\in I},(h_i)_{i\in I})$ as well as to describe the universal ...
1
vote
1answer
32 views

Obtaining representations of $G$ from $\mathrm{Lie}(G)$.

Suppose $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$, and $\tilde{G}$ is the unique connected, simply connected Lie group whose Lie algebra is $\mathfrak{g}$. Let $C$ be any discrete ...
2
votes
0answers
41 views

A construction of $\mathfrak{e}_8$ in Fulton and Harris

In section $22.4$ of "Representation Theory: A First Course" by Fulton and Harris, the exceptional Lie algebra $\mathfrak{e}_8$ is constructed using a method of Freudenthal. For background, I will ...
2
votes
1answer
29 views

Category , lie algebras …

I want a reference book about Lie algebras that have the definition of universal enveloping algebra by the categorical point of view. All references that i found use the construction by the quotient ...
1
vote
0answers
24 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 ...
0
votes
0answers
27 views

Root spaces of Lie Algebras — semisimple vs. general

(I am mainly following the notation of Roger Carter's Lie Algebras of Finite and Affine Type). Letting $L$ denote a (finite-dimensional) Lie algebra with roots $\Phi$ and Cartan subalgebra $H$, we ...
1
vote
2answers
49 views

Lie algabra of R^n

Until now the only example of lie groups I have seen are subgroups of $GL_n$. Today I had the idea, that also $G=(\mathbb R^n,+)$ must be a lie group ($(\mathbb R^n,+)$ is a group with the ...
0
votes
1answer
36 views

In which course one learns Lie Group&Algebra and to which category of mathematics this subject belongs?

I'm a junior and i have never leanred this subject. I think "Lie Group&Algebra" is really deep and massive theory since the wikipedia page for it is quite long. Nevertheless, i'm not sure ...
1
vote
0answers
18 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.
3
votes
2answers
52 views

Computing a Lie Bracket: General Questions

I'm asked to compute the following Lie Bracket: $\left [ -y \dfrac{\partial}{\partial x} + x\dfrac{\partial}{\partial y} , \dfrac{\partial}{\partial x} \right] $ on $\mathbb{R}^2$. Just writing it ...
3
votes
1answer
99 views

What is the kernel of a Maurer-Cartan form?

The Maurer-Cartan form on the Lie group $Gl(n,\mathbb{R})$ is a one-form taking values in $\mathfrak{gl}(n,\mathbb{R})$ as defined in the link. It has a rather concrete "extrinsic definition" as ...
0
votes
0answers
18 views

For a matrix group $G$ of dimension $d$, I am trying to prove that the function $Ad : G \rightarrow GL_d(\mathbb{R})$ is smooth.

For a matrix group $G$ of dimension $d$, I am trying to prove that the function $Ad : G \rightarrow GL_d(\mathbb{R})$ is smooth. So where I am starting is by extending $Ad : G \rightarrow ...
0
votes
0answers
18 views

Double cover $Sp(1) \times SO(3) \rightarrow SO(4)$

I am working on understanding double covers at the moment. And I have come across a few double covers such as $Sp(1) \times Sp(1) \rightarrow SO(4)$ and $Sp(1) \rightarrow SO(3)$. And it seems to me ...
2
votes
0answers
36 views

Inner automorphisms of Lie groups

I have a few questions about $Aut(G)$, when $G$ is a Lie group. It was proven by Hochschild that if $G/G_0$ is finitely generated, then $Aut(G)$ is a Lie group with at most countably many components. ...
2
votes
2answers
99 views

Why does exponentiating the derivative yield the shift operator?

If we formally exponentiate the derivative operator $\frac{d}{dx}$ on $\mathbb{R}$, we get $$e^\frac{d}{dx} = I+\frac{d}{dx}+\frac{1}{2!}\frac{d^2}{dx^2}+\frac{1}{3!}\frac{d^3}{dx^3}+ \cdots$$ ...
4
votes
1answer
59 views

If the Lie algebra is a direct sum, then the Lie group is a direct product?

I am reading the corollary 21.6 in the book "Morse Theory" by John Milnor, but I've encountered a statement for which I have no ideas. Let $G$ be a simply connected Lie group with a bi-invariant ...
3
votes
1answer
78 views

Representation theory and particle physics

Are there good books which explain clearly explain the connections between modern particle physics and representation theory of groups and lie algebras?
2
votes
1answer
23 views

Uniqueness of decomposition of $\mathfrak{sl}(2,\mathbb{C})$-modules

By Weyl's Theorem, I know that every $\mathfrak{sl}(2,\mathbb{C})$-module is completely reducible. I'm under the impression that, up to isomorphism, this decomposition is unique, and I would go about ...
0
votes
0answers
23 views

Cartan subalgebra of product

i have a simple question what is the Cartan subalgebra of Lie algebra associated to the Lie group ?
1
vote
1answer
50 views

What's wrong with my proof that reductive Lie algebras are semisimple?

If $L$ is a Lie algebra, $\text{Rad}(L)$ denotes its largest solvable ideal. Then $L$ is reductive if $\text{Rad}(L) = Z(L)$ (the center of $L$). An exercise in Humphreys asks: $L$ is reductive if ...
1
vote
1answer
38 views

Advice on proving a tricky inequality

Im a little out of my depth here and am not well versed in combinatorics. Im not sure if this problem is too hard to solve or if there exists well known results to prove it. Here is part 1 which might ...
5
votes
2answers
68 views

$\mathfrak{so}(n)$ has trivial center when $n\geq 3$

Is there a nice way to show that $$\mathfrak{so}(n)=\{A \in M(n,\mathbb{R}): A+A^t=0\} $$ has zero center for $n \geq 3$?
0
votes
1answer
23 views

Kac-Moody root datum introductory text?

I have been given a project to describe the construction of the Lie algebra associated to a Kac-Moody root datum $D=(I,A,\Lambda, (c_i)_{i\in I}, (h_i)_{i\in I})$. I only know basic definitions: that ...
1
vote
1answer
44 views

The trace as an integral over a sphere [duplicate]

Let $V$ be a real vector space of dimension $n$ and let $\langle \, \cdot\, , \,\cdot\, \rangle$ be an inner product on $V$. We can define a linear functional on the space of endomorphisms of $V$ by ...
1
vote
0answers
20 views

Is there a good list of accidental Lie algebra isomorphisms?

The Wikipedia page Exceptional isomorphisms contains some lie algebra isomorphisms. Is there a list more complete than that, especially including real algebras in low dimensions?
0
votes
0answers
39 views

A1 Lie algebra statement from Jürgen Fuchs' book “Affine Lie algebras and quantum groups”

On page 11, there is a statement saying that applying twice $ad_{E_\pm}$ to an arbitrary $$x = \xi_+E_+ + \xi_-E_- + \zeta H,$$ renders (obviously) $-2\xi_\pm E_\pm,$ the conclusion being that any ...
1
vote
0answers
31 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 ...
0
votes
1answer
24 views

Is the restricted enveloping algebra local?

Let $k$ be a field of characteristic $p>0$, and let $(\mathfrak{g},[\cdot,\cdot],(\cdot)^{[p]})$ be a finite-dimensional restricted Lie algebra over $k$. Let $u(\mathfrak{g})$ be the restricted ...
0
votes
0answers
32 views

Infinite series of nested commutators

I'm trying to show the following: If $S_i$ are a set of three matrices such that $$ [S_i, S_j] = \epsilon_{ijk} S_k $$ then $$\exp\big( \alpha_i [S_i, \cdot]\big) S_j = (\exp (M) \vec{S})_j$$ ...
0
votes
1answer
37 views

Exponents of a semisimple Lie algebra

I'd like to compute the exponents of a semisimple complex Lie algebra $\mathfrak{g}$. According to http://math.berkeley.edu/~theojf/LieQuantumGroups.pdf proposition 8.1.2.18, this amounts to ...
1
vote
2answers
46 views

Invariance under conjugation, equivalent in Lie Group and Lie Algebra?

Is the following true? $ e^X Y e^{-X} = Y \Leftrightarrow [X,Y]=0$ . From right to left you can show it with a corollary from the Baker–Campbell–Hausdorff formula. But in the other direction? I ...
2
votes
0answers
24 views

Space of operators on function

Consider the following space of operators on function of $n$-variables $A= Span \{x_ix_j\ , x_i \frac{\partial}{\partial x_j} , \frac{\partial^2}{\partial x_i \partial x_j} , i,j=1,2,\cdots,n\}$. ...
5
votes
2answers
126 views

traceless matrices

The fact that $\mathfrak{sl}_2(\mathbb{C})$ is a simple Lie algebra implies that every $2 \times 2$-matrix $A \in \mathbb{C}^{2\times 2}$ with $\mathrm{tr}(A) = 0$ can be expressed as a commutator of ...
1
vote
2answers
51 views

The discription of abelian Lie groups

There is a problem in my problem sheet to discribe all abelian connected Lie groups (moreover this is the first problem and it should be rahter easy). First it is difficult to understand how this ...
0
votes
0answers
26 views

anticommutativity of lie algebras

With respect to the definition of Lie algebras, we note that the bilinearity and alternating properties imply anticommutativity i.e [x,y]=-[y,x] for all elements in Lie algebra. Now let L be a simple ...
2
votes
0answers
52 views

What is the Lie algebra of $G=\mathbb{R}$

The question is updated as following. 1. Let $(\Phi,L^2(R))$ be left regular representation of $\mathbb R$ given by $$ \Phi(g)f(x)=f(x-g). $$ It is unitary representation of $\mathbb R$. 2. For ...
0
votes
0answers
16 views

Combining infinitesimal generators of diferent dimensions

I am reading a paper about ways in which you can get $SU(2)\times{}U(1)\times{}U(1)$ as a subgroup of $SU(3)\times{}SU(2)\times{}U(1)$. At a certain point, it starts considering ways of getting ...
1
vote
1answer
53 views

Showing that an $\mathfrak{sl}(2,\mathbb{C})$-module is determined by eigenvalues of $h$

This question is essentially exercise 8.4 from the book "Introduction to Lie Algebras" by Erdmann and Wildon: "Suppose that $V$ is a finite-dimensional $\mathfrak{sl}(2,\mathbb{C})$-module. Show that ...