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)

2
votes
1answer
30 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
37 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
36 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
20 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
42 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
60 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
96 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
73 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
121 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
37 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
37 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
22 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
50 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
13 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
53 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
31 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
25 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
50 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
29 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
36 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
89 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
8 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
37 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
31 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
80 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
57 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} ...
1
vote
0answers
44 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 ...
1
vote
1answer
59 views

Why are root spaces of root decomposition of semisimple Lie algebra 1 dimensional?

I'm trying to understand root system of semisimple Lie algebra but having trouble following one of the step in the note which explain why each root spaces are 1-dimensional. According to the note, ...
3
votes
0answers
27 views

Homologie of Lie algebra with coefficients in tensor product of modules

I'd like to prove that $H_i(\mathfrak g, M\otimes N)=\operatorname{Tor}_i^{U \mathfrak g}(M,N).$ My idea was that $H_i(\mathfrak g, M\otimes N)=\operatorname{Tor}_i^{U \mathfrak g}(k,M\otimes N)$. ...
3
votes
1answer
126 views

Algebra of matrix coefficient over a compact group is isomorphic to its dual.

Let $K$ be a compact group. Then we have the following definition of matrix coefficient: Definition: $f: K \rightarrow \mathbb{C}$ is called a matrix coefficient if there is a finite dimensional ...
0
votes
0answers
15 views

symmetrizability of generalised cartan matrix

How to prove a generalized Cartan matrix whose diagram contains no cycles is symmetrizable? Any hint would be sufficient. Thanks in Advance. I asked the same question MSE. Later I thought it is ...
1
vote
1answer
29 views

Symmetrizability of generalised Cartan matrix

How to prove that a generalized Cartan matrix whose diagram contains no cycles is symmetrizable? Any hint would be sufficient. Thanks in Advance.
3
votes
1answer
38 views

How to find coefficients in Lie bracket relations in Cartan-Weyl basis?

For example, consider an $D_n$ Lie algebra. The Cartan-Weyl basis satisfies the following Lie bracket relations [1, p.98] $$ \left[H^{\alpha},H^{\beta}\right]=0 $$ $$ ...
2
votes
2answers
134 views

Prove an identity using differential calculus to a problem connected to fluids

Euler's equation for a incompressible inviscid fluid is $\displaystyle \frac{\partial \textbf{v}_t}{\partial t}+(\textbf{v}_t \cdot \nabla)\textbf{v}_t=-\nabla p_t$ where ...
0
votes
0answers
29 views

What is $\Lambda^{i}$ in the “Show that the highest weight of $\Lambda^{i}V $ is $\omega_{i}”$?

Question: What is $\Lambda^{i}$ in the "Show that the highest weight of $\Lambda^{i}V $ is $\omega_{i}$"? In this question, $\omega_{i}$ are fundamental weights. Context: Highest weight modules of ...
2
votes
1answer
77 views

How to show trace of $AB$ is zero for $A \in \mathfrak{u}_n$ and $B \in \mathcal{H}_n$?

Please have a look at this question: Help needed in understanding the basics of Cartan decomposition of a Lie algebra I want to show that the decomposition $\mathfrak{gl}_n = u_n \oplus ...
3
votes
1answer
89 views

Help needed in understanding the basics of Cartan decomposition of a Lie algebra

I am trying to learn the basics of Cartan decomposition of Lie algebra, and have come across the following example. Consider $\mathfrak{gl_n}$ as the Lie algebra of endomorphisms of $\mathbb{C}^n$. ...
0
votes
1answer
35 views

simple lie algebras

Is there any way of directly proving that the lie algebra $\mathfrak{sl}(n,\Bbb C)$ is simple? I am not asking for a complete proof, but could somebody please give me a hint on how I can proceed?
0
votes
1answer
31 views

Dimension of image of Lie bracket

Is there a method to calculate the dimension of the set of vectors in $\mathfrak{su}(n)$ $\{\ [A,B] \ \text{s.t} \ B \in \mathfrak{su}(n)\}$ for some fixed $A$. Is the dimension the same for all $A$?
1
vote
0answers
30 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
0
votes
0answers
22 views

Does an arbitrary product of $f$ and $f^\dagger$ belong to a universal enveloping algebra of the Heisenberg algebra?

The Heisenberg algebra is essentially the canonical commutation relations (CCR) for bosons $[f,f^\dagger]=1$. $f$ is called an annihilation operator in physics ($f^\dagger$ creation operator). ...
6
votes
0answers
99 views

Are there common inequivalent definitions of Cartan subalgebra of a real Lie algebra?

I'm confused about seemingly different notions of a Cartan subalgebra of a real semisimple Lie algebra, and I'm wondering if there are common inequivalent definitions. In the book Lie Groups: Beyond ...
2
votes
1answer
77 views

representation $\pi_{m,\,n}: \text{SU}(n) \to \text{GL}(V_m)$

Let $V_{m,\,n}$ denote the vector space of the homogeneous complex polynomials of degree $m$ in $n$ variables (under addition). Define a representation $\pi_{m,\,n}: \text{SU}(n) \to ...
3
votes
1answer
36 views

Character of a tensor product of $\mathfrak{sl}_2$-modules

Let $V$ be a finite-dimensional $\mathfrak{sl}_2$-module. There is a standard base $\{e,f,h\}$ in $\mathfrak{sl}_2$, I use standard notation ($h$, for instance, is the diagonal matrix with $1$ and ...
2
votes
1answer
101 views

Proving $[L_X,i_Y]=[i_X,L_Y]=i_{[X,Y]}$

Let $X,Y$ be vector fields. $L_X$ is the Lie derivative and $i_X$ is the contraction of a $k$-form. I am really stuck on how you could prove the identity $[L_X,i_Y]=[i_X,L_Y]=i_{[X,Y]}$. Update: I ...
3
votes
2answers
207 views

Proving that $\Phi_{t*}[\mathbb{Y},\mathbb{Z}]=[\Phi_{t*}\mathbb{Y},\Phi_{t*}\mathbb{Z}]$

Let $\mathbb{X},\mathbb{Y}$ be vector fields on $\mathbb{R}^n$. Let $\Phi_t$ denote the flow of $\mathbb{X}$. Define $L_{\mathbb{X}}\mathbb{Y}=[\mathbb{X},\mathbb{Y}]$. You are given that ...
1
vote
1answer
35 views

Showing that $F^*(L_{\mathbb{Y}}\omega)=L_{\mathbb{X}}(F^*\omega)$

Let $F:U \rightarrow V$ be a diffeomorphism between open sets in $\mathbb{R}^n$. Let $\mathbb{Y}$ be a vector field on $V$ and $\omega$ a $k$-form on $V$. Show that ...
0
votes
1answer
39 views

Why is the commutator subalgebra of a Lie group a linear subspace?

One defines commutator subalgebra of Lie algebra $\mathfrak{g}$ as $[\mathfrak{g},\mathfrak{g}]$. Why is it really subalgebra: Why $\forall_{a,b,c,d \in \mathfrak{g}} \exists_{e,f \in \mathfrak{g}} ...
1
vote
2answers
29 views

An exponential map of a matrix computation

Suppose the $n\times n$ matrices $A$ and $M$ satisfy $AM+MA^{T}=0.$ Show by direct computation that the product $\mathrm{exp}(At)~M~\mathrm{exp}(A^{T}t)=M$ for all $t\in \mathbb{R}.$ Note: By ...