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
997 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 ...
10
votes
3answers
202 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
320 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 ...
5
votes
0answers
84 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 ...
5
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 ...
10
votes
5answers
214 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
507 views

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

Why does the universal cover of $SL_{2}(\mathbb{R})$ have no finite dimensional representations?
4
votes
2answers
332 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$ ...
3
votes
1answer
167 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
1answer
354 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 ...
5
votes
1answer
883 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 ...
9
votes
2answers
775 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
436 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
1answer
288 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
741 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 ...
5
votes
4answers
523 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}$ ...
4
votes
2answers
197 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
394 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
276 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?
3
votes
1answer
274 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 ...
7
votes
1answer
194 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
190 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
113 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
162 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 ...
6
votes
1answer
133 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
109 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 ...
3
votes
1answer
244 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
107 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
60 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
230 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
66 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
269 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
370 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
63 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.
0
votes
1answer
67 views

Lie bracket of vector fields on $\Bbb R^{n}$

Please show how to solve? I am stack with lie bracket. Thank you.
5
votes
1answer
220 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
2answers
232 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
3answers
213 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
401 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
314 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
91 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
235 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 ...
3
votes
2answers
93 views

“How many” matrices generate 2d Lie algebra (i.e. $[c_1,c_2]=k_1 c_1 +k_2 c_2$)?

Consider a pair of matrices $(c_1, c_2)$. The words "it generates the 2-dimensional Lie algebra", means that there exists a pair of scalars $k_1$, $k_2$, such that $$[c_1, c_2] = k_1 c_1 + k_2 c_2,$$ ...
2
votes
1answer
64 views

Spinor Mapping is Surjective

I'm (still) trying to prove that $SL(2,\mathbb{C})$ is the universal covering group the the proper orthochronous Lorentz group $L$. I have completed the following steps. (1) Prove that the vector ...
2
votes
2answers
88 views

Computing the differential of the map $\phi: M_2(\mathbb{C})\times M_2(\mathbb{C})\rightarrow M_2(\mathbb{C})$

Let $\phi: M_2(\mathbb{C})\times M_2(\mathbb{C})\rightarrow M_2(\mathbb{C})$ be the map $$(B_1,B_2)\mapsto [B_1,B_2]$$ which takes two $2\times 2$ matrices to its Lie bracket. Then why does ...
2
votes
1answer
419 views

Derivative of function including matrix logarithm

Is the following equation a first order approximation or incorrect for general matrix Lie groups? And what are the higher order terms? $$\frac{\partial}{\partial\mathbf x} (\log(\mathtt ...
1
vote
1answer
31 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 ...