A Lie group is a group (in the sense of abstract algebra) that is also a differentiable manifold, such that the group operations (addition and inversion) are smooth, and so we can study them with differential calculus. They are a special type of topological group. Consider using with the ...

learn more… | top users | synonyms

1
vote
0answers
16 views

Branching rules without previous knowledge of the projection matrix?

Given a representation $R$ of some group $G$ one can find in many books and papers (e.g. page 96ff here) the decomposition under certain subgroups: $$ R= R_1 + R_2 + \ldots$$ This is often called a ...
1
vote
0answers
14 views

Inner Automorphism of Lie algebras in Terms of Roots and Weights?

An automorphism is a homomorphism of a group $G$ onto itself. For Lie groups this induces a Lie algebra $g$ automorphism, i.e. a map of the Lie alegbra onto itself that preserves the Lie bracket. An ...
4
votes
1answer
91 views

How to see that SL(2,C) is simply connected?

I started reading about Lie groups and right now I'm trying understand why $SL(2,\mathbb{C})$ is simply connected. I have shown that $SU(2)$, being diffeomorphic to $S^3$, is simply connected. So my ...
1
vote
1answer
47 views

Do we have $\mathbb{C}[SL_n] = \oplus_{\lambda, \text{ht}(\lambda)\leq n} V_{\lambda} $?

The coordinate algebra $\mathbb{C}[SL_n]=\mathbb{C}[x_{ij}: i, j \in \{1, \ldots, n\}]/(\det(x_{ij}) - 1)$ is a representation of $SL_n$: $(g'.f)(g)=f(g'^T g)$. Let $V_{\lambda} = \langle e_T : T ...
1
vote
2answers
48 views

How to understand that minors are matrix elements in fundamental representations of $SL_n$?

In the video, Lecture 3 of June 14, 49:00-53:00, it is said that "minors are matrix elements in fundamental representations of $SL_n$". What are fundamental representations of $SL_n$? How to ...
1
vote
0answers
69 views

Orbit of a Weight Vector?

Given some element $\phi$ of a representation $R$ of a group $G$, the orbit $G(\phi)$ of $\phi$ is defined as the set $g \phi \ \forall \ g \in G$. We can write every element of a given ...
0
votes
0answers
27 views

Is the coset space $\frac{SO(3)\times Z_2}{H \times Z_2}$ isomorphic to $\frac{SO(3)}{H}$?

I have heard many times that the homotopy group of the coset space $\frac{SO(3)\times Z_2}{H \times Z_2}$ and of the space $\frac{SO(3)}{H}$ are identical. I.e., $\frac{SO(3) \times Z_2}{H \times Z_2} ...
1
vote
1answer
27 views

Automorphism group of a lie algebra as a lie subgroup of $GL(\frak g)$

Let $G$ be a lie group with lie algebra $\frak{g}$. Let $Aut(\frak g)$ be the automorphism group of $\frak{g}$. Its clear to me that $Aut(\frak{g})$ $\subset GL(\frak{g})$ since any automorphism of ...
1
vote
1answer
36 views

Algebraic groups with no small subgroups

I have read in many textbooks proofs that any Lie group has no small subgroups, that is, there is an open neighborhood of the unity element containing no nontrivial subgroups. In particular, ...
0
votes
1answer
46 views

How to understand the definition of Killing form?

Define the matrix commutator $\text{ad}_X$ as $$\text{ad}_XY=[X,Y]=XY-YX$$ where $X,Y\in\mathfrak{g}$ and $\mathfrak{g}$ is the Lie algebra associated to Lie group $G$. Then on Lie group $G$, the ...
1
vote
2answers
68 views

Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$

Given an arbitrary $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$? Update: ...
0
votes
0answers
25 views

Elements of SO(n) is block-diagonalizable

I am not able to show that elements of SO(n) are conjugate to a block-diagonal matrix with 2x2 blocs that are rotation matrices, and a 1x1 bloc 1 if n is odd. Can someone help me please?
1
vote
1answer
46 views

Stabilizer subgroup of adjoint action

Given $b \in \mathfrak{su}(n)$, how can I find the stabilizer $\text{stab}(b)$ for the adjoint action of $SU(n)$ on $\mathfrak{su}(n)$ given by $Ad_U(b) = UbU^{\dagger}$ without using coordinates? The ...
1
vote
2answers
61 views

Representation of $sl(2,R)$.

I am interested in the unique (up to isomorphism) $5$-dimensional representation of the Lie algebra $sl(2,R)$. I understand that one can choose the module $V_4 = ...
2
votes
0answers
26 views

List of simple roots in the H-basis for various Lie algebras?

There are four usual bases one can use to express the roots and weights of a given algebra. The $\alpha$-basis, where we write the roots and weights in terms of the simple roots $\alpha_i$. The ...
0
votes
1answer
30 views

Transitive Lie group actions and surjectivity of maps

I am reading a paper at the moment and I have come across two statements which I want to understand. Here is the setup: Suppose that $G$ is a Lie group which acts on a manifold $E$ differentiably and ...
2
votes
0answers
24 views

Ref. Request — Non-Transitive Lie Group Actions, Applications to Orbifolds/Groupoids

I'm working on a problem where I have a (highly) non-transitive Lie group action on a manifold, and I am trying to deduce the geometric structure of the quotient space. I've been looking at some ...
1
vote
1answer
32 views

Explicit Representation of the SU(N) Simple Roots in with redundant coefficents?

Commonly the simple roots for $SU(n)$ groups are given as $n$ dimensional vectors, although root-space is $n-1$ dimensional. The $SU(n)$ Wikipedia article explains: Here, we use n redundant ...
0
votes
0answers
16 views

Questions about distributions on $l$-spaces.

I am reading the paper. I have some about distributions on $l$-spaces. On page 7, Section 1.7. Let $X$ be an $l$-space. Locally constant complex-valued functions on $X$ with compact support are ...
1
vote
2answers
74 views

Prove that General Linear Group is a topological subgroup.

First of all for $\mathbb{R}$ in my book it is written that: "$GL(n,\mathbb{R})$ is an open subset of euclidian $n^2$-space and that is the topology is given. Matrix multiplication is given by ...
9
votes
1answer
126 views

gradient flow on $SU(n)$

Define the following cost functions $f_1, f_2 :SU(n) \rightarrow \mathbb{R}$ by $f_1(U) = Re \left( \text{Tr}\left(G^{\dagger} U \right) \right)$ and $f_2(U) = \left| \left( \text{Tr}\left(G^{\dagger} ...
2
votes
1answer
44 views

Does $GL(n,\mathbb{C})$ inject into $GL^+(2n, \mathbb{R})$ for all $n$?

I know that $GL(n, \mathbb{C}) \hookrightarrow GL^+(2n,\mathbb{R})$ for n = 1 and 2. I just did these with pen and paper (and mathematica). But is this statement true in general? What is a proof of ...
0
votes
0answers
9 views

Weights system corresponding to reflected Dynkin diagram?

Given a set of weights corresponding to the $SO(10) Dynkin diagram How can I transform these weights into weights that correspond to the Dynkin diagram ?
2
votes
1answer
29 views

Calculating the Lie algebra representation of the regular representation on subspace of functions on $\mathbb R$.

Let $G = \mathbb R$ and let $\pi$ be the regular representation of $G$ on $L^2(\mathbb R)$, that is, $\pi(g)(f)(x) = f(x-g)$ for $g \in G$. Let $V = \{f \in \mathcal C_c^\infty | supp f \subseteq ...
5
votes
1answer
73 views

Invariant subspaces of Lie group vs invariant subspaces of Lie algebra

I am starting to study infinite-dimensional representations of Lie groups and I am wondering about the following: Let $G$ be a connected Lie group with Lie algebra $\mathfrak g$ and with a ...
3
votes
0answers
18 views

Jeffrey Lee 5.17 Equivalent conditions on commuting left-invariant vector fields on $GL(V)$

Here is the question: Let $A,B \in \frak gl$$(V)$, where $V$ is a finite-dimensional vector space over the field $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, and show that the following statements ...
2
votes
0answers
32 views

Map for roots of a Lie group to roots of a special subalgebra?

For regular subalgebras $h$ of some group's Lie algebra $g$, $$ h \subset h $$ the root system of the subalgebra is a subset of the root system of the original's group algebra. Subalgebras whose ...
0
votes
0answers
15 views

Does the Laplacian commutes with elements of the basis of the Lie algebra?

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. I know that if $g$ is semi-simple then the Laplace-Beltrami operator on $G$ agrees with the Casimir element and therefore commutes with ...
1
vote
0answers
18 views

How to transform roots/weights from the simple root basis to the H-basis?

Often the roots and weights of some Lie algebra are written in terms of the simple root basis $$ r =(a_1,a_2,a_3,\ldots)=a_1 \alpha_1 + a_2 \alpha_2 + a_3 \alpha_3 +\ldots,$$ where $α_i$ denotes the ...
4
votes
1answer
36 views

Simple Roots of E6 in Coordinates?

There are several possibilities how one can write simple roots in terms of coordinates. Firstly, they depend on the numbering of the nodes in the Dynkin diagram. Let's fix the choice for $E_6$ to be ...
2
votes
0answers
28 views

Identity component of SO(2,1)

I am working on Lie groups, and I have several difficulties to show that the identity component of SO(2,1) is the product of an euclidian rotation fixing a vector X and an hyperbolic rotation in a ...
8
votes
0answers
22 views

Nodes of the Dynkin diagram for even-dimensional orthogonal groups

I'm reading Wilson's book "The Finite Simple Groups", specifically the sections on the orthogonal groups. In section 3.7.4, he discusses subgroups of the orthogonal groups. The Dynkin diagram for the ...
1
vote
1answer
55 views

Anyone know a good standard reference for Lie group and Lie algebra facts?

I'm writing something and I need to refer to a mathematical fact; unfortunately I got it from Wikipedia, which does not source the specific piece of info! It relates to a choice of simple roots for ...
2
votes
0answers
38 views

Determining the group generated by a set of roots?

I have a set of 45 roots and I want to know which group is generated by the corresponding generators. In the set are 5 diagonal (=Cartan) generators $$ (0, 0, 0, 0, 0, 0)_1,(0, 0, 0, 0, 0, 0)_2,(0, ...
8
votes
1answer
51 views

Can the Lie group structure be recovered from the geometry of an invariant metric?

Is there a manifold $M$ with two non isomorphic Lie group structures $G_{1}$ and $G_{2}$, and two left invariant metrics $g_{1}$ and $g_{2}$, respectively such that $(M,g_{1})$ is isometric to ...
1
vote
1answer
44 views

Can one speak of a threefold (or other) symmetry of SU(3) and the Gell-Mann matrices?

A torus has a rotation symmetry along the axis, a sphere has "spherical" symmetry under rigid motions; doesn't SU(3) also have a symmetry? The Gell-Mann matrices ( see ...
3
votes
0answers
35 views

How do roots act on weights?

In Lie theory it's possible to compute things very explicit using tensor methods. For example, we can use an explicit matrix for each generator $T^a$ and compute the "action" of this generator on an ...
0
votes
0answers
46 views

Difference between infinitesimal motion and finite motion

I was reading an article about back ground of Killing's work by Thomas Hawkins from Historia mathematica 1980.In it Hawkin's says that,Killing was trying to generalise all types of space ...
1
vote
0answers
51 views

Problem of Arnold's book and covering spaces

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point. Especially, I am talking about the part that ...
1
vote
1answer
62 views

Show Lie bracket left invariant

I want to prove from the definition that the Lie bracket $[X,Y]$ of two left-invariant vector fields $X,Y: G \rightarrow TG$ where $G$ is a Lie group is again left-invariant. Left-invariance ...
0
votes
1answer
50 views

Derivative of a group action

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$. Then we define $$f(t):=\phi(g(t),d(t)).$$ where $g: I \rightarrow G$ and $d: I \rightarrow M$ are ...
2
votes
1answer
34 views

Lie algebra and Lie group cohomology, reference request

Who can give me a good reference (better if introductory/motivated) about Lie group cohomology, Lie algebra cohomology, and the link between the two? Thanks.
0
votes
0answers
19 views

Differential of square map in Lie group away from identity

I've looked everywhere for this specific example but couldn't find it. Probably simple but I only need it for a small application and my Lie theory is very rusty. Let $G$ be an arbitrary Lie group ...
0
votes
1answer
67 views

equivalence of Lie group and Lie algebra intertwiner

I encountered this problem while working on my research. Let $G$ be a Lie group, and consider an intertwiner of the complex representations (possibly infinite-dimensional) $$ \pi:G\rightarrow ...
0
votes
0answers
29 views

Derivative group action [duplicate]

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$. Then we define $$f(t):=\phi(g(t),d(t)).$$ Now I'd say: $$f'(t) = D\phi(g(t),d(t))(g'(t),d'(t)).$$ ...
0
votes
1answer
35 views

$SL(n,\mathbb R)$ diffeomorphic to $SO(n) \times \mathbb R^{n(n+1)/2-1}$?

Question : How to show $SL(n,\mathbb R)$ diffeomorphic to $ SO(n) \times \mathbb R^{n(n+1)/2-1}$? Also, how to show $SL(n,\mathbb C)$ diffeomorphic to $ SU(n) \times \mathbb R^{n^2-1}$? I have ...
0
votes
0answers
30 views

Is the product of group representations commutative?

Consider, for example, the product of $E_6$ representations $$ 78 \cdot \overline{351}_s \cdot 78 \cdot 351_s, $$ where the $s$ denotes symmetric. Is this equal to $$ 78 \cdot 78 \cdot ...
3
votes
1answer
51 views

References and suggestions about the elementary theory of Lie groups and Lie algebras

I am looking for suggestions on how to approach the field of Lie groups and Lie algebras. I am acquainted with both the elementary algebraic concepts, having studied from Bourbaki's "Algebra I-III", ...
1
vote
0answers
29 views

Vector field from group action

Let $\Phi: G \times \mathbb{R}^4 \rightarrow \mathbb{R}^4$ be a group action where $G = \mathbb{R}/(2 \pi \mathbb{Z}).$ Then $$\Phi(\theta,(x_1,x_2,p_1,p_2)) = ( R(\theta) (x_1,x_2)^T, R(\theta) ...
2
votes
0answers
30 views

signature function of Weyl group element in LieArt

I am currently using LieArt Mathematica package for some calculations in Lie algebra, I am wondering if there is a way to know what is the signature of a Weyl group element, it seems the package can ...