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)

27
votes
4answers
1k views

“Cayley's theorem” for Lie algebras?

Groups can be defined abstractly as sets with a binary operation satisfying certain identities, or concretely as a collection of permutations of a set. Cayley's theorem ensures that these two ...
4
votes
2answers
388 views

Is every skew-adjoint matrix a commutator of two self-adjoint matrices

I'm looking to solve some matrix equations. One of the equations involves a commutator, so my question is as follows: let $A$ be a skew-self-adjoint, traceless matrix, does the equation $[X,Y] = A$ ...
10
votes
3answers
268 views

Translations in two dimensions - Group theory

I have just started learning Lie Groups and Algebra. Considering a flat 2-d plane if we want to translate a point from $(x,y)$ to $(x+a,y+b)$ then can we write it as : $$ \left( \begin{array}{ccc} ...
8
votes
4answers
330 views

Determining the action of the operator $D\left(z, \frac d{dz}\right)$

This question was motivated by a question by Tobias Kienzler and its wonderful answers. I begin as in the linked question... Using the Taylor expansion $$f(z+a) = \sum_{k=0}^\infty ...
6
votes
2answers
2k views

Classsifying 1- and 2- dimensional Algebras, up to Isomorphism

I am trying to find all 1- or 2- dimensional Lie Algebras "a" up to isomorphism. This is what I have so far: If a is 1-dimensional, then every vector (and therefore every tangent vector field) is ...
5
votes
0answers
92 views

— Cartan matrix for an exotic type of Lie algebra --

(1) Is there a notion of Cartan matrix for non-semisimple Lie algebra? For example, consider this Lie algebra: $$ [X_i, X_j] = f_{ij}{}^k X_k \qquad\qquad [X_i,Y^j] = - f_{ik}{}^j Y^k \qquad\qquad ...
9
votes
2answers
987 views

On surjectivity of exponential map for Lie groups

A recent question made me realize I didn't know any proof that exponential of a Lie algebra $\mathfrak g$ of a compact connected Lie group $G$ is surjective. After a bit of thinking I've come up with ...
6
votes
1answer
312 views

Reference for Lie-algebra valued differential forms

I am learning about vector-valued differential forms, including forms taking values in a Lie algebra. On Wikipedia there is some explanation about these Lie algebra-valued forms, including the ...
4
votes
3answers
142 views

How to prove that $B^\vee$ is a base for coroots?

Let $\Phi$ be a root system in a real inner product space $E$. Define $\alpha^\vee = \frac{2\alpha}{(\alpha, \alpha)}$. Then the set $\Phi^\vee = \{\alpha^\vee: \alpha \in \Phi \}$ is also a root ...
4
votes
1answer
316 views

Why Lie algebras of type $B_2$ and $C_2$ are isomorphic?

both of Lie algebras of type $B_2$ and $C_2$ have dimension 10 and we can find two basis of them on page 3 in the book: Introduction to Lie algebras and representation theory . How could we show that ...
10
votes
5answers
227 views

Does non-commuting $\mathfrak{g}$ imply non-abelian $G$?

Question 8.1 in Kristopher Tapp's introductory text on matrix groups asks to show that $SO(n)$ is non-abelian ($n>2$) by finding two elements of $so(n)$ that do not commute. Why is this method ...
5
votes
2answers
602 views

Universal Cover of $SL_{2}(\mathbb{R})$

Why does the universal cover of $SL_{2}(\mathbb{R})$ have no finite dimensional representations?
3
votes
1answer
190 views

Lie algebra isomorphism between ${\rm sl}(2,{\bf C})$ and ${\bf C}^3$

I think that this is an exercise. I can not find a solution. We can define Lie bracket multiplication on ${\bf C}^3$ : $$ x\wedge y $$ where $x=(x_1,x_2, x_3)$, $y= (y_1,y_2,y_3)$, and $\wedge $ is ...
3
votes
2answers
428 views

Lie Algebra Homomorphism Question

So this is a bit of a follow-up to my recent question. I don't mean to inundate the feed with my quandaries, but as I move through the theory I keep hitting stumbling blocks (which y'all so kindly ...
1
vote
0answers
34 views

System of roots [duplicate]

Let $\Phi$ an irreducible system of roots, $\Phi^{+} \subset \Phi$ a choose of positive roots. I have to prove that if $(\alpha, \beta) \ge 0$ for al $\beta \in \Phi^{+}$ then $\alpha$ is the highest ...
0
votes
0answers
26 views

$\mathfrak so(V,B)$ as subalgebra and trace if subsets of it.

I'm studying lie algebras, and got stuck on this one: Let $B$ be a bilinear form on a finite-dimensional vector space $V$ over $\mathbb F$. I've seen many books that say that $\mathfrak so(V,B)$ ...
5
votes
1answer
1k views

Question on fundamental weights and representations

I am a bit confused about the notion of "fundamental weights". In a complexified setting, I am thinking of my Lie algebra to be decomposed as, $\cal{g} = \cal{t} \oplus _\alpha \cal{g}_\alpha$ where ...
6
votes
1answer
485 views

Canonical isomorphism between $\mathfrak{so}(3)$ and $\mathbb R^3$ with vector cross product

There is a well-known isomorphism between the Lie algebra $\mathfrak{so}(3)$ and $\mathbb{R}^3$ which maps the Lie bracket to the vector cross product. It looks like $$ \begin{pmatrix} 0 & -z ...
4
votes
2answers
282 views

Relation between root systems and representations of complex semisimple Lie algebras

I'm trying to understand the machinery of root systems for the purpose of classifying complex semisimple Lie algebras. During this process i lost the overview, espacially when it came to highest ...
4
votes
1answer
297 views

Definition of a “root” of a Lie Algebra

I am using the notation that $g$ is the Lie algebra of the Lie group $G$ and $T$ is the maximal torus of $G$ and $t$ is the Lie algebra of $T$ (and hence $t$ is the Cartan subalgebra of $g$). A ...
1
vote
1answer
1k views

Lie derivative of a vector field equals the lie bracket

Let $X$ and $Y$ be vector fields on a smooth manifold $M$, and let $\phi_t$ be the flow of $X$, i.e. $\frac{d}{dt} \phi_t(p) = X_p$. I am trying to prove the following formula: $\frac{d}{dt} ...
11
votes
3answers
816 views

Lie algebra of a quotient of Lie groups

Suppose I have a Lie group $G$ and a closed normal subgroup $H$, both connected. Then I can form the quotient $G/H$, which is again a Lie group. On the other hand, the derivative of the embedding ...
7
votes
1answer
203 views

What are spinors mathematically?

In the wikipedia article on spinors a number of mathematical definitions are given of spinors which I find slightly confusing. There are essentially two frameworks for viewing the notion of a ...
5
votes
1answer
398 views

What are defining & fundamental representations?

In physics terminology, one hears of the fundamental & defining representations of lie algebras or groups - are these the same as irreducible representations?
5
votes
4answers
555 views

What does the symbol $\operatorname{Tr}$ in the Yang-Mills action mean?

I find that many authors write the Yang-Mills action as follows: $$\mathcal{J}= \int \operatorname{Tr}(F \wedge \star F).$$ I have yet to find a formal description of the symbol $\operatorname{Tr}$ ...
7
votes
1answer
195 views

Three-dimensional simple Lie algebras over the rationals

Let $\mathfrak g$ be a three-dimensional $\mathbf Q$-vectorspace endowed with the structure of a simple Lie algebra. How many non-isomorphic such $\mathfrak g$ are there? Over the complex numbers, ...
6
votes
3answers
209 views

Prove where exp: Skew($3\times 3$) $\rightarrow SO(3)$ is local homeomorphism

The matrix exponential on skew-symmetric $3\times3$ matrices onto $SO(3)$ is not local homeomorphism everywhere. I have been instructed that one problem is with the spheres of radius $2n\pi$ ...
6
votes
1answer
135 views

Ideal defining the nilpotent cone of $\mathfrak{gl}_n(k)$

Let $k$ be an algebraically closed field, and let $\mathfrak{g}=\mathfrak{gl}_n(k)$. Let $\mathcal{N}\subset\mathfrak{g}$ be the nilpotent cone, that is: $$\mathcal{N}=\{A\in\mathfrak{g}\mid ...
6
votes
1answer
134 views

Kernel of the Lie bracket

Let $\mathfrak{g}$ be a dimension 3 Lie algebra and $[\quad,\quad]$ be a rank 1 map from $\bigwedge^{2}\mathfrak{g} \rightarrow \mathfrak{g}$. In this case, the kernel of $[\quad,\quad]$ is $3 - 1 = ...
5
votes
1answer
178 views

Whether matrix exponential from skew-symmetric 3x3 matrices to SO(3) is local homeomorphism?

$SO(3)$ denotes 3x3 rotation matrices. This is Lie group, with corresponding Lie algebra being $\mathrm{Skew}_3$, the space of 3x3 skew-symmetric matrices. The link between them is the matrix ...
4
votes
1answer
509 views

Endomorphisms of $V$ and the dual space

I was told that $V\otimes V^{*}\simeq\mbox{End}\left(V\right)$. I can't find the isomorphism itself though. Can anyone tell me what it is with a proof? Thanks!
3
votes
1answer
260 views

Matrix Exponential does not map open balls to open balls?

Consider the following theorem from Hall's Lie Groups, Lie Algebras and Representations: Theorem 2.27: For $0 < \varepsilon < \textrm{ln} 2$, let $U_\varepsilon = \{X \in M_n(\Bbb{C}) | ...
2
votes
1answer
129 views

Does the abstract Jordan decomposition agree with the usual Jordan decomposition in a semisimple Lie subalgebra of endomorphisms?

Is it true that for every element $x$ of a semisimple Lie subalgebra of endomorphisms $L\subseteq \text{End}(V)$, where $V$ is a finite dimensional vector space over $\mathbb{C}$, the abstract Jordan ...
2
votes
1answer
63 views

One-dimensional Lie algebra with non-trivial bracket operation

We can define a Lie algebra letting $\mathbb{R}$ be the vector space and also the field. We can then have $[x,y]=xy-yx=0$ for all $x,y$. Is there a one-dimensional Lie algebra such that $[x,y]$ is ...
2
votes
1answer
253 views

Complete reducibility of sl(3,F) as an sl(2,F)-module

I was reading the Weyl's theorem on the complete reducibility of a finite dimensional representation of semi-simple Lie algerba and wanted to apply the theorem to the following problem which was ...
1
vote
1answer
46 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
1answer
104 views

Inner automorphism of $\mathfrak{sl}(2,k)$, $\operatorname{char}(k)=0$ and adjoint action

If we have $sl(2,k)$, char $k = 0$, with standard basis $(x,y,h)$ and inner automorphism $\sigma = \exp(\operatorname{ad}x)\exp(-\operatorname{ad}y)\exp(\operatorname{ad}x)$. How can we show that ...
1
vote
1answer
72 views

Lie algebra 3 Dimensional with 2 Dimensional derived lie algebra #2

I read the book of Karin Erdmann and Mark Wildon: "An introduction to Lie algebras". In page 22 they say that: If $\dim (L) = 3$, $\dim (L') = 2$ then (a) $L'$ abelian and (b) $\operatorname{ad} x ...
1
vote
1answer
280 views

Definition of tangent space

Terry Tao defines tangent space here as equivalence classes of continuously differentiable curves $\gamma : I \rightarrow G$ where $I$ is an open interval. On the other hand, Wikipedia defines it as ...
1
vote
1answer
416 views

How to draw a weight diagram?

Given a weight, say $\omega=3\lambda_1+4\lambda_2$, where $\lambda_1, \lambda_2$ are fundamental weights (type A Lie algebra). How to draw the weight diagram of the irriducible representation with ...
0
votes
1answer
69 views

Question regarding isomorphisms in low rank Lie algebras

I am reading Brian Hall's book 'Lie Groups, Lie Algebras, & Representations' and on p.271 I find that in low rank Lie algberas there are some isomorphisms. For example, ...
0
votes
1answer
71 views

Find a $1$-form $ω$ on $\mathbb R^2 −\{(0,0)\}$ such that $ω(X) = 1$ and $ω(Y) = 0$.

Please ı dont know what I need to do. thus, help me to solve.
6
votes
2answers
283 views

Universal Covering Group of $SO(1,3)^{\uparrow}$

I'm trying to prove that $SL(2,\mathbb{C})$ is the universal covering group for the proper orthochronous Lorentz group $SO(1,3)^{\uparrow}$. The standard way goes as follows. (1) Exhibit a real ...
5
votes
1answer
285 views

Invariant Inner Product on Lie Algebra

Let $G$ be a Lie group, $\frak{g}$ its Lie algebra. Suppose $\mathcal{D}$ a representation of $G$ on $V$, $d$ the associated Lie algebra representation. Suppose $V$ is endowed with an inner product. ...
5
votes
3answers
225 views

Defining the Lie Bracket on $\mathfrak{g} \otimes_\Bbb{R} \Bbb{C}$

I already know how to do the complexification of a real Lie algebra $\mathfrak{g}$ by the usual process of taking $\mathfrak{g}_\Bbb{C}$ to be $\mathfrak{g} \oplus i\mathfrak{g}$. Now suppose I take ...
4
votes
0answers
55 views

Exponential of a polynomial of the differential operator

Given that $$\exp(aD)f(x)=f(x+a)$$ where $\exp(D)$ is the exponential of the differential operator $D$, is there a similar closed-form, general expression for $\exp(g(D))f(x)$, where $g(D)$ is a ...
4
votes
0answers
416 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 ...
3
votes
2answers
347 views

Decomposing tensor product of lie algebra representations

I'm given a lie algebra representation $\pi$ of some semi-simple algebra and that it decomposes into a sum of irreducible representations. What technique should I use to show the decomposition of ...
3
votes
1answer
97 views

Lie algebras and roots systems

Let $\Phi$ an irreducible system of roots, $\Phi^{+} \subset \Phi$ a choose of positive roots. I have to prove that if $(\alpha, \beta) \ge 0$ for al $\beta \in \Phi^{+}$ then $\alpha$ is the highest ...
3
votes
1answer
281 views

Is a basis for the Lie algebra of a Lie group also a set of infinitesimal generators for the Lie group?

Let $G$ be a (EDIT: connected) Lie group of dimension $n$, and let $\mathfrak{g}$ be the associated Lie algebra. If $x_1,\ldots,x_n$ is a basis for $\mathfrak{g},$ is it necessarily true that the ...