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

4
votes
1answer
382 views

Parabolic subgroups of $\mathrm{Sl}_n$ are the ones that stabilize some flag

I am looking for a reference for the above statement that every parabolic subgroup of $\mathrm{Sl}_n(\Bbbk)$ stabilizes some flag in $\Bbbk^n$. I have gone through a large pile of books and can't seem ...
3
votes
1answer
82 views

The Plate Trick and $SO(3)$

This is a followup of sorts to Plate trick demonstrating SO(3) not simply connected. . Suppose I do the ``plate trick'' to demonstrate the existence of an order-2 element in $\pi_1(SO(3))$. That is, ...
3
votes
1answer
259 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 ...
3
votes
1answer
279 views

How to prove the space of orbits is a Hausdorff space

Let $M$ be a connected smooth n-dimensional manifold and $G$ a lie group acting smoothly on $M$. for $x\in M$, the orbit $G\cdot x=\{g(x)\mid g\in G\} $ is a sub-manifold of $M$ and if the action is ...
3
votes
2answers
493 views

Lie group homomorphism from $\mathbb{R}\rightarrow S^1$

I need to prove that every Lie group homomorphism from $\mathbb{R}\rightarrow S^1$ is of the form $x\mapsto e^{iax}$ for some $a\in\mathbb{R}$. Here is my attempt: As it is group homomorphism so it ...
3
votes
1answer
712 views

fundamental group of $U(n)$

Is my logic correct? $f:U(n)\rightarrow U(1)$ defined by $f(A)=\det A$ is a group homomorphism so that the induced homomorphism $f^{*}: \pi_1(U(n))\rightarrow \pi_1(U(1))$ will be an isomorphism, ...
1
vote
0answers
51 views

Exact sequences of $1 \to A \to SU(N) \to B \to 1$, special unitary group

Inspired by the nice post, I am particularly looking into the exact sequences of SU(N), but I will like to loosen the conditions of the previous post, Q1. $$1 \to A \to SU(N) \to B \to 1$$ where ...
0
votes
0answers
371 views

Why Bruhat decomposition in $GL_n$ case is the Gauss decomposition?

Gauss decomposition of a matrix is also called LU decomposition. Let $A$ be a matrix. Then $A=LU$ for some lower triangular matrix $L$ and upper triangular matrix $U$. This can be obtained using Gauss ...
11
votes
1answer
461 views

Proof that Lie group with finite centre is compact if and only if its Killing form is negative definite

I am gathering material for an exposition on Lie theory and I am after proofs that a Lie group with finite centre is compact if and only if its Killing form is negative definite. I know of one, ...
7
votes
1answer
1k views

Can somebody explain the plate trick to me?

I learned of the plate trick via Wikipedia, which states that this is a demonstration of the fact that SU(2) double-covers SO(3). It also offers a link to an animation of the "belt trick" which is ...
6
votes
1answer
89 views

Looking for a non trivial homomorphism I

Is there a non trivial homomorphism $f: SU(2) \to O(2)$? Is there a concrete description of $Hom(SU(2), O(2))$?
6
votes
3answers
258 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
644 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. ...
6
votes
2answers
455 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 ...
6
votes
1answer
337 views

Generators of compact Lie groups

Suppose $G$ is a compact connected Lie group and let $\{X_i\}$ be a basis for its Lie algebra $\mathfrak g$. We know that the exponential $\exp:\mathfrak g \to G$ is surjective but when is it the ...
5
votes
1answer
113 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 ...
5
votes
1answer
347 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 ...
5
votes
1answer
314 views

How to prove that every Lie group is the semidirect product of a connected Lie group and a discrete group?

Every Lie group is the direct product of a connected Lie group and a discrete group. I think the component of the identity could be useful.
5
votes
1answer
396 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}) | ...
5
votes
2answers
171 views

Does the algebraic structure of a Lie group restrict the possible dimensions of other Lie groups isomorphic to it?

In a recent question, I initially doubted that $\mathbb{C}^\times\cong S^1$, my intuition being that $\mathbb{C}^\times$ has one more "dimension" than $S^1$ - in rigorous terms, $S^1$ is (or rather, ...
4
votes
1answer
138 views

Redundance of the Smoothness of the Inversion Map in the Definiton of a Lie Group.

$\DeclareMathOperator{\inv}{inv}$ I am trying to understand the proof of the following from this document: Let $M$ be a smooth manifold which admits a group structure such that the multiplication ...
4
votes
1answer
145 views

Almost all subgroups of a Lie group are free

I am currently reading this paper by Epstein. I need help with understanding the proof. Specifically, I have the following two questions. Let $w\colon G\to H$ be an analytic mapping between ...
4
votes
2answers
295 views

free subgroups of $SL(2,\mathbb{R})$

In the example section of the wikipedia article on the the Ping Pong lemma, you can see how to construct a free subgroup of $SL(2,\mathbb{R})$ with two generators $$ a_1 = \begin{pmatrix} 1 & 2 ...
4
votes
1answer
118 views

Some questions about $S^n$

I have some questions about the $n$-sphere: I know that for $n=0,1,3$, $S^n$ forms a Lie group and I also know why it's true, but why is it not the case for other $n$? I have the same question for ...
4
votes
1answer
185 views

How to write down the pull back of a differential form by exponential map?

The exponential map $e_{m}: M(n,\mathbb{R})\rightarrow M(n,\mathbb{R})$ is defined by $$e_m(\alpha)=me^\alpha,\quad e^\alpha=1+\alpha+\frac{\alpha^2}{2}+\frac{\alpha^3}{3!}+\cdots$$ Now fix $q\in ...
4
votes
1answer
392 views

How to obtain a Lie group from a Lie algebra

Please pardon me, if the question is too simple. How can we obtain a Lie group form a given Lie algebra (say in 3 dimension) in practise? Can someone illustrate it in 3 dimension? Is there a ...
3
votes
2answers
74 views

Finding the basis of $\mathfrak{so}(2,2)$ (Lie-Algebra of $SO(2,2)$)

I want to calculate the Basis of the Lie-Algebra $\mathfrak{so}(2,2)$. My idea was, to use a similar Argument as in this Question. The $SO(2,2)$ is defined by: $$ SO(2,2) := \left\{ X \in ...
3
votes
1answer
98 views

Is Heisenberg group Euclidean?

I'm reading an article speaking about Heisenberg group $\mathbb H^n$ and some of its properties. Now, I have some questions to ask, hoping to be clear enought. Reading the introduction I've ...
3
votes
1answer
70 views

An short exact sequence of $\mathfrak{g}$ of which head and tail are in category $\mathcal{O}$.

Let $\mathfrak{g}$ be a finite-dimensional, semisimple Lie algebra over $\mathbb{C}$. Let $$ 0\rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0 $$ be a short exact sequence of ...
3
votes
0answers
124 views

Why are Lie Groups so “rigid”?

This is probably a naive question, but here goes. To motivate my question, I'll consider a unit circle in $\mathbb C$ or $\mathbb R^2$. This is a compact Lie group equipped with the usual exponential ...
3
votes
5answers
295 views

Itzykson-Zuber integral over orthogonal groups

I would like to know is there a closed form expression for the following Itzykson-Zuber integral for the orthogonal case. $I=\int_{\mathcal{O}(p)} ...
3
votes
1answer
1k views

Jacobian of exponential mapping in SO3/SE3

Following this post Jacobian matrix of the Rodrigues' formula (exponential map) What if I really need the Jacobian of the exponential mapping function in $\omega \neq 0$? Basically, I want to ...
3
votes
1answer
393 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 ...
2
votes
2answers
53 views

Projectivization and stereographic projection, or: Why nonlinear + nonlinear = linear?

This previous question had me thinking about something I've taken for granted. Consider $\mathrm{SL}_2(\mathbb{C})$ acting on $\mathbb{C}^2$, which descends to an action on the complex projective line ...
2
votes
1answer
74 views

The complex structure of a complex torus

A complex torus $X$ of complex dimension $1$ is just a quotient of $\mathbb{C}$ by a lattice $\Lambda=\mathbb{Z}\oplus \tau\mathbb{Z}$ where $\tau=a+ib$ is a complex number with $b>0$. The complex ...
2
votes
1answer
89 views

Are the physics and math definitions of a complex representation equivalent?

I was astonished to read at Wikipedia that The term complex representation has slightly different meanings in mathematics and physics. In mathematics, a complex representation is a group ...
2
votes
2answers
125 views

SO(n) is parallelizable

Prove that $SO(n)$ is parallelizable. How would I go about showing this? My supervisor could not help me with this problem, and I am stumped.
2
votes
1answer
541 views

A general element of U(2)

The group U(2) is the group of all $2\times 2$ matrices such that $U^\dagger U=I$. Evidently it has $4$ real parameters, and can be represented as: $$ U(2) = \{\begin{bmatrix}a&b\\ 0&d ...
2
votes
1answer
173 views

Weyl group, permutation group

Let $U(n)$ be the unitary group and $T$ its maximal torus (group of diagonal matrix) and $N(T)$ the normalizer of $T$ in $G$. Why $N(T)/T$ is the permutation group $S_{n}$?
2
votes
2answers
1k views

What are elements in $SU(1, 1)$?

I am reading some papers in physics. I don't know some notations in those papers. For example, $SU(1, 1)$, $U(1)$. I think these are Lie groups which consist of matrices. But I don't know what kind of ...
1
vote
2answers
178 views

Are there algebraic subgroups of Lie groups which happen to be Lie groups on their own but not Lie subgroups?

Let $G$ and $H$ be Lie groups and $i:H\to G$ an injective group homomorphism, not necessarily continuous. Once $i$ is continuous, it follows easily that $i$ is differentiable and even an immersion. ...
1
vote
1answer
44 views

Group of isometries is closed in $GL_{n+1}$

I solved the following exercise. Could someone please check my work? Prove that $\operatorname{Isom_n}{\mathbb R^n}$ is a matrix group. Is it compact? My work: We recall that ...
1
vote
2answers
349 views

Help with a proof that SO(n) is path-connected.

I've found lots of different proofs that SO(n) is path connected, but I'm trying to understand one I found on Stillwell's book "Naive Lie Theory". It's fairly informal and talks about paths in a very ...
1
vote
1answer
285 views

Dimension of Lie algebra according to root system

I was wondering how is it possible to find the dimension of a semi-simple lie algebra $L$ if its corresponding root system is (lets make it simple) of type $B_2$. We can find the number of roots and ...
1
vote
1answer
87 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
2answers
2k views

Two Dimensional Lie Algebra

I read in mark wildon book "introduction to lie algebras" "Let F be any field. Up to isomorphism there is a unique two-dimensional nonabelian Lie algebra over F. This Lie algebra has a basis {x, y} ...
1
vote
1answer
241 views

Are there any good ways to see the universal cover of $GL^{+}(2,\mathbb{R})$?

Are there any good ways to see the universal cover of $GL^{+}(2,\mathbb{R})$? Here $GL^{+}(2,\mathbb{R})$ stands for the identity component of $GL(2,\mathbb{R})$, i.e. positive determinant matrices. I ...
0
votes
0answers
38 views

Where to the degrees of freeedom go when a complex representation becomes a real representation of a subalgebra?

As an example consider the complex $16$-dimensional representation of $\mathfrak{so}(10)$. When $\mathfrak{so}(10)$ is reduced to the subalgebra $\mathfrak{so}(9)$, the complex $16$-dimensional ...
0
votes
1answer
43 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
37 views

Question about a notation.

I have a question about the notation in the paper. On page 8, the 3-rd line from bottom, it is said that $h_J(t)$ is the corresponding diagonal matrix in $GL_4$. I think that $J$ is some set such that ...