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
14 views

Derivative of $Ad(c(t))X$

Let $G=SO(3)$ and $V=\{c'(0)|c:(-\epsilon,\epsilon)\to G, c\in C^{\infty} , c(0)=1\}$. For $g\in G$, define $Ad(g): V\to V$ by $Ad(g)(X)=gXg^{-1}$. The book says ...
2
votes
0answers
21 views

Root system of a simple lie algebra is irreducible

The proposition is from Humphreys. I don't understand how to prove the highlighted statements. How can I express a general element of K? I tried using Cartan decomposition of L but it doesn't work. ...
0
votes
3answers
35 views

Why has the space $\{X\in M(3,\mathbb{R}) : X+X^T=0\}$ dimension $3$ over $\mathbb{R}$

How can we determine this space $\{X\in M(3,\mathbb{R}) : X+X^T=0\}$ is $3$ dimensional over $\mathbb{R}$. Here I can find a linearly independent set which has $3$ elements. So I know the dimension is ...
1
vote
0answers
17 views

Solving a PDE to Yield Determining Equations

I'm going through an example in Peter Hydon's book "Symmetry Methods for Differential Equations" which finds the basis for the Lie Algebra of the point symmetry generators for Burgers' equations. ...
2
votes
0answers
36 views

Set of non fixed points of an automorphism

I am trying to prove the following "For an orbifold chart $ (\tilde{U},G,\phi)$ the set of non fixed point of $ g : \tilde{U} \rightarrow \tilde{U} $ where $ 1 \neq g \ \in G$ is dense in $\tilde ...
0
votes
0answers
17 views

Semi-simplicity of tensor product of simple modules over $\mathfrak{sl}(2)$

I have the following questions: $\bf Notations$: Let $\mathfrak{h} \subset \mathfrak{sl}(2)$ be a Cartan subalgebra, and $W$, $V$ be $\mathfrak{h}$-semisimple (i.e. they are weight modules), simple ...
0
votes
0answers
11 views

Tangent line to the unitary group $U_1$

I have been working through a small project and the last part has me completely stumped. I have just shown that the matrix $\exp\tau X$ is unitary for all $\tau\in\mathbb{R}$ iff $X$ is ...
2
votes
0answers
27 views

An apparent contradiction in SU(3) structure constants?

According to http://www.phys.washington.edu/users/ellis/Phys5578/SU3_5.htm or the related Wikipedia article, the following equation should hold: $[ \frac{\lambda_3}{2}, \frac{\lambda_4}{2}] = i ...
1
vote
1answer
35 views

Modified first isomorphism theorem

This question is vague on purpose but I hope it should make enough sense. I don't think it matters which type of objects I'm working with, but just in case it does, I'll point out that I'm working ...
3
votes
1answer
28 views

The irreducibility of representations of parabolic induction over $\mathfrak{gl}_n(\mathbb{C})$

I have the following problem: Let $\mathfrak{g} = \mathfrak{gl}(n)$ be the general linear Lie algebra over $\mathbb{C}$. Denote $\Pi = \{\alpha_i:=\epsilon_i-\epsilon_{i+1}\}_{i=1}^{n-1}$ by the ...
2
votes
0answers
35 views

Coproduct of Lie algebras

Fix a commutative ring $k$ and look at the category of Lie algebras over $k$. How do coproducts in that category look like? Notice that what is usually called the "direct sum" of Lie algebras is not ...
2
votes
2answers
25 views

Some solvable Lie algebra but not nilpotent

Can someone provide two concrete examples the Lie algebra which is solvable, but not nilpotent? -- And further explain the subtle differences between the solvable Lie algebra and the ...
0
votes
0answers
17 views

PBW for Lie Superalgebras

The PBW Theorem In the literature there are many sources discussing the PBW-basis for Lie superalgebras, see for example M. Scheunert - The Theory of Lie Superalgebras theorem 1 and corollary in ...
3
votes
0answers
29 views

If a Lie algebra L decomposes as a direct sum of its derived subalgebra and its center, is L reductive?

A Lie algebra $L$ is said to be reductive if for any ideal $\mathfrak{a}$ of $L$, there is an ideal $\mathfrak{b}$ of $L$ such that $L=\mathfrak{a}\oplus\mathfrak{b}$. It is known that a reductive ...
0
votes
0answers
10 views

Hochschild-Serre spectral sequence for not normal subalgebra

I am trying to understand lemma 2.26 from http://www.math.ru.nl/~solleveld/scrip.pdf I am coserned about calculation of $E^{p, q}_1$. If $\mathfrak{h}$ is Lie ideal than everything is fine. But here ...
3
votes
0answers
31 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 ...
1
vote
1answer
32 views

Non-integral blocks of category $\mathcal{O}$ over $\mathfrak{sl}_2$ are semisimple.

Hi: I have a problem as follows. Consider the category $\mathcal{O}$ of $\mathfrak{g}: = \mathfrak{sl}_2(\mathbb{C})$. Let $r\in \mathbb{C}$ but $r\notin\mathbb{Z}$. Let $s_\alpha$ be the simple ...
1
vote
0answers
28 views

Why does $det(R) = +1$ imply right handed frame?

Let $R$ be a rotational matrix in $SO(3)$ so it satisfies $R^TR = I$ Solvng for $det(R^TR) = (det(R))^2 = 1$ yields two solutions Why does $det(R) = +1$ mean that the frame is a right handed frame? ...
1
vote
1answer
27 views

Relationship between proper orthochronous Lorentz group $SO^+(1,3)$ and $SU(2)\times SU(2)$, or their Lie algebras

I have seen sources claim that $SO^+(1,3) \cong SU(2) \times SU(2)$, but have seen others claim that only their Lie algebras are isomorphic. Is it true that $SO^+(1,3) \cong SU(2) \times SU(2)$? If ...
5
votes
0answers
53 views

Is every complex Lie algebra a complexification?

I'm wondering if every finite-dimensional complex Lie algebra can be written as a complexification of a real Lie algebra. At the vector space level, clearly every $\mathbb{C}^n$ is a complexification ...
2
votes
0answers
25 views

Commutators of Schur polynomials of Lie algebra elements

Question: Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...
1
vote
1answer
43 views

Why $U$ generates $G$ as Lie group?

In line 2 of the proof, why is their intersection non-empty?
1
vote
1answer
25 views

adjoint representations

I am trying to work out the adjoint representations of $$H=\left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right), X = \left( \begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array} ...
2
votes
0answers
32 views

representations of Lie algebras

I am studying irreducible representations of Lie algebras when our filed is of positive characteristic, I need an explicit explanation with example (or an article) which describes the differences what ...
2
votes
0answers
31 views

Spin group Spin(4,1)

i'm interested in the spin group $Spin(4,1)$ wich correspond to the symplectic group $Sp(1,1)$. The only source that I could find about it was wikipedia (http://en.wikipedia.org/wiki/Spin_group). It ...
1
vote
0answers
19 views

Lie point symmetry of KdV.

I'm asked to consider the 1-param. group of transformations generated by $V = \dfrac{\partial}{\partial u} + \alpha t \dfrac{\partial}{\partial x}$, which easily enough yields $g^{\epsilon}(x,t,u) = ...
3
votes
1answer
46 views

The injectivity of torus in the category of abelian Lie groups

HI: I have the following question: Definition: A Lie group $T$ is called a torus if $T\cong \prod_{1\leq i\leq k} \mathbb{R}/\mathbb{Z}$ for some $k\in \mathbb{N}$. ${\bf Question}$: Is it true ...
2
votes
1answer
36 views

$E_6$ lie algebra and its representation

I've just started learning about Lie theory (only just finished up to basic classification of semisimple lie algebras) and I've got the following questions: How do I show that the complex lie algebra ...
0
votes
1answer
54 views

Representations of symmetric groups of order $2n$ and $n$

Background: Denote by $S_n$ the symmetric group of order $n$. There are many ways to embed $S_n$ as a subgroup into $S_{2n}$. Given a symmetric group, we can use Young diagrams to classify all ...
2
votes
1answer
51 views

How does Maurer-Cartan form work

I have seen similar post asking for interpretation of the Maurer-Cartan form, but I am still struggling to understand it, so let me try to work a specific example and pose a specific question. Let ...
5
votes
1answer
53 views

The Underlying Manifolds of the Special Unitary Lie Groups SU(n)

I want to find the underlying manifolds of Lie Groups $\mbox{SU}(n)$ for general $n$. $$ \quad $$ My lecturer told us last year that the only n-spheres that admit a Lie group structure are ...
2
votes
2answers
103 views

Every 1- or 2-dimensional compact, connected Lie group is abelian

I know that in the 1-dimensional case the conclusion follows immediately from the fact that there exists a maximal torus (which then has to be the group itself). In the 2-dimensional case, we also ...
2
votes
1answer
35 views

Fundamental weights of $A_n$

I have the following problem: Let $\mathfrak{g}$ be the Lie algebra of type $A_n$. We choose $e_i^*-e_{i+1}^*$ as simple roots. Is there a closed formula for the fundamental weights? Thank you!
1
vote
1answer
26 views

Affine transformation invariants and lie groups

Is it possible to generate geometric properties which are invariant under affine transformations? I'm trying to learn about lie groups and lie algebras with the example of the lie group of affine ...
1
vote
0answers
13 views

Complexifying Lie group actions

In Atiyah-Pressley's paper Convexity and Loop Groups, it is claimed that the Bruhat cells $C_\lambda$ are invariant under the natural $S^1 \times T$-action and that the authors will prove this claim. ...
2
votes
1answer
39 views

The maximality of Cartan subalgebras of lie algebras

In some lecture notes of mine we define a Cartan subalgebra $\mathfrak h$ for semisimple $\mathfrak g$ as an abelian subalgebra of $\mathfrak g$ containing ad-diagonizable elements which are maximal. ...
2
votes
0answers
12 views

$[L_+^m, L_y^n]$ in the $SO(3)$ Lie Algebra

Let $SO(3)$ be generated by infinitesimal rotations $L_x, L_y, L_z$ such the typical relations $ [L_x, L_y] = L_z $ and similar. Let $L_\pm = L_x \pm i L_y$ be the raising and lowering operators. Is ...
0
votes
0answers
24 views

lie group and lie algebra: confusion about the tangent space

I am reading a document about performing 2D and 3D transformations in space specifically rigid body transformations which can be represented using Lie groups. For example, the rigid body ...
1
vote
1answer
25 views

Confused about classification of simple lie algebras

In the classification of simple lie algebra, I learnt that $\mathfrak{sl}(n + 1)$ has a root system $A_n$. For example http://stacky.net/files/written/LieGroups/LieGroups.pdf, page 82. But I found ...
1
vote
1answer
19 views

Natural Lie algebra representation on function space

There is natural Lie group representation of $GL(n)$ on $C^\infty(\mathbb{R}^n)$ given by \begin{align} \rho: GL(n) & \rightarrow \text{End}(C^\infty(\mathbb{R}^n)) \\ A & \rightarrow ...
1
vote
1answer
42 views

Tensor product over Lie group isomorphic to that over its Lie algebra

Hi: I have a question about the tensor product of representation of Lie groups as follows: Let $G$ be a connected, complex Lie group with Lie algebra $\mathfrak{g}$. Let $V$ and $W$ are ...
2
votes
1answer
27 views

Notation in Kac Problem 3.2

I'm working through Kac's book, "Infinite Dimensional Lie Algebras", and have come across some notation I find confusing. Here, $e$, $f$, and $h$ are the Cartan generators of ...
1
vote
0answers
30 views

Irreducible Representations of Nilpotent Lie algebras

By Lie's theorem all irreducible representations of a solvable Lie algebra over $\mathbb C$ are one dimensional. What are all irreducible representations of a nilpotent Lie algebra ?
2
votes
0answers
63 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 ...
0
votes
0answers
7 views

How to write a polyhedra formula explicitly?

Let $m$ be a positive integer and $$ A_m = \{r=(r_1,r_2,r_3,r_4) \in \mathbb{Z}_{+}^4: r_4 \leq r_2, 2r_1+3r_2+3r_3 \leq m \}. $$ Let $$ch_m = \sum_{r \in A} ch((m-r_1-3r_2-3r_3)\omega_1 + (r_2 + r_3 ...
2
votes
0answers
30 views

Does the adjoint action induce a trivial action on Lie algebra cohomology?

Let $k$ be an algebraically closed field and $\Gamma$ a finite group. $\Gamma$ acts on itself via conjugation, and it is true that the induced action on the cohomology algebra $H^{*}(\Gamma,k)$ is ...
0
votes
1answer
21 views

Weyl groups: correspondence of reflections and roots?

If W is the Weyl group of some ADE-type Lie algebra, and w is an element corresponding to a reflection (not just an involution), does it necessarily correspond to a root?
0
votes
1answer
79 views

Inductively prove that $L_{\mathbb{X}}i_\mathbb{Y}=i_{[\mathbb{X},\mathbb{Y}]}+i_\mathbb{Y}L_{\mathbb{X}} $

Let $\mathbb{X}$, $\mathbb{Y}$ be vector fields on $U \subset \mathbb{R}^n$. Prove that $$L_{\mathbb{X}}i_\mathbb{Y}=i_{[\mathbb{X},\mathbb{Y}]}+i_\mathbb{Y}L_{\mathbb{X}} $$ using induction. Assume ...
0
votes
0answers
53 views

Show that $\Psi_{t*}\mathbb{X}-\Phi_{t*}\mathbb{X}=\mathbb{X}-\mathbb{Y} $

Let $\mathbb{X},\mathbb{Y}$ be vector fields and let $\Phi_t$ denote the flow of $\mathbb{X}$. Given that $\displaystyle \frac{\partial}{\partial t}\Phi_{t*}\mathbb{Y} ...
2
votes
0answers
39 views

What series/publishers would be interested in publishing a novel mathematics book?

What series/publishers would be interested in publishing a novel mathematics book for a select readership? In other words, I'm looking for a publisher smaller than Springer, who thought my book ...