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
2answers
58 views

Lie Group Automorphism which are diffeomorphism

Is every smooth automorphism of a Lie Group $G$ a diffeomorphism?
3
votes
1answer
81 views

How many permutations do we need before we're in $SU\left( n\right)$?

Let $\mathcal{L}\subseteq \mathfrak{su}\left( n\right)$ be a Lie algebra for $n \geq 2$ with Lie group $G = e^{\mathcal L}$, and let $X \in G$ be represented by an $n\times n$ matrix (I prefer fixing ...
4
votes
1answer
83 views

Invariants of $O(2) \times O(2)$ under simultaneous conjugation

Let $G= \textrm{O}(2)$ be the group of orthogonal $2 \times 2$ matrices over $\mathbb{C}$. $G$ acts on $G \times G$ by conjugation: $g \cdot (a,b) :=(g a g^{T}, g b g^T)$. This induces an action on ...
3
votes
2answers
144 views

exponential function, lie group homomorphism

Let $f: \mathbb{R} \to \mathbb{C}^*$ be a continuous map satisfying for all $x, y \in \mathbb{R}$: $f(x + y) = f(x)f(y)$. $f(x) = 1$ for all $t = 2\pi n, n \in \mathbb{Z}$. Show that there exists ...
3
votes
1answer
73 views

Why is there no normal, dense, totally disconnected subgroup of $SO(n)$?

There are two exercises in Stillwell's Naive Lie Theory that I'm having trouble doing: 3.8.4: Show that the subgroup $H = \{ \cos 2\pi r + i\sin 2\pi r : r\text{ rational} \}$ of the circle $SO(2)$ ...
1
vote
1answer
34 views

How to define the vector field $\hat{X}$ on a manifold $M$ defined by an element $X$ in a Lie algebra $\mathfrak{g}$?

I read a paper and on page 9, the paragraph before Proposition 5, it is said that let the vector field $\hat{X}$ on a manifold $M$ defined by an element $X$ in a Lie algebra $\mathfrak{g}$. How to ...
8
votes
1answer
230 views

One parameter subgroup that leaves every compact set is a proper map

If a one parameter subgroup $\phi:\mathbb{R}\rightarrow G$ of a Lie group $G$ comes back infinitely often to a compact set $K$, is it all contained in a compact set? I think $\phi(\mathbb{R})K\subset ...
1
vote
1answer
28 views

The Weyl group and eigenspaces

Let $V$ be a representation of the Weyl group. For any reflection $\sigma_{\alpha}$ (where $\alpha$ is a root), we know that $V$ has two eigenspaces with eigenvalues $1$ and $-1$. The ...
1
vote
0answers
69 views

Lie group quotient structure

Let $G$ be a Lie group and $H$ a normal finite subgroup. Let $\pi : G \to G/H$ be the quotient surjection. How would one show that $G/H$ is a Lie group?
1
vote
0answers
21 views

Normal subgroup invariant under $\text{Ad}_g$

Denote by $G$ a Lie group with corresponding Lie algebra $\text{Lie}(G)$. There the three maps inner automorphism/conjugation: $\text{Int}_g = L_{g^{-1}} \circ R_g \in \text{Aut}(G)$, $\text{Ad}_g ...
3
votes
1answer
69 views

The action of a Lie algebra on a manifold is a Lie algebra homomorphism. How to show it?

By definition, the action of a Lie algebra $\mathfrak g$ on a manifold $M$ is a Lie algebra homomorphism, $\mathcal A: \mathfrak g\rightarrow\mathfrak X(M), \xi\mapsto\xi_M$ such that the action map ...
3
votes
1answer
108 views

Finding $J$ such that this diagram commutes

DISCLAIMER: This is not homework. I did this exercise here and need someone to check if my work is correct: Is it possible to find a matrix $J\in M_{2n}(\mathbb C)$ such that the following diagram ...
5
votes
2answers
209 views

One more question about mapping quaternionic matrices into real matrices

Real matrices that lie in the image of the inclusion homomorphism $\rho_n: M_n(\mathbb C) \to M_{2n}(\mathbb R)$ are called complex linear real matrices. It is easy to see that a real matrix is ...
1
vote
2answers
57 views

On the inclusion homomorphism for quaternionic matrices into complex matrices

My thoughts / background information: It is easy to find an inclusion homomorphism for complex matrices into real matrices: considering the one dimensional case note that multiplying a complex number ...
1
vote
1answer
45 views

Is the center of a compact Lie algebra precisely the set of vectors on which the Killing form is zero?

Suppose a Lie algebra $\frak{g}$ has a killing form, $B$, which is negative semidefinite. Suppose $B(X,X)=0$ for some $X\in \frak{g}$. Is $X$ necessarily in the center of $\frak{g}$?
2
votes
1answer
122 views

How does one define weights for a semisimple Lie group?

For compact Lie groups one considers a maximal torus to define the weight space decomposition of a representation. For a complex semisimple Lie algebra one considers a Cartan subalgebra. How does ...
0
votes
0answers
44 views

Norm preserving matrices also preserve inner products

I am trying to prove that if $A \in M_n(\mathbb C)$ preserves norms then it also preserves inner products. I showed this for real matrices and I want to use this for this proof here. Let $f_n: \mathbb ...
1
vote
0answers
80 views

Reference request: classification of simple Lie groups and simple real Lie algebras

I am trying to understand the classification of simple Lie groups and the theory of highest weights for semisimple Lie groups by first understanding the case for complex Lie algebras, then relating to ...
6
votes
1answer
174 views

Convolution of matrix coefficients is also a matrix coefficients

I have a question about the convolution of matrix coefficients as follows: Let $G$ be a compact Lie group. A Map $f:G\rightarrow \mathbb{C}$ is called a matrix coefficient if there is a finite ...
2
votes
0answers
46 views

Intuition behind complex inner product

Let $f_n : \mathbb C^n \to \mathbb R^{2n}$ be defined by $$(x_1 + iy_1, x_2 + iy_2, \dots) \mapsto (x_1, y_1, x_2, y_2, \dots )$$ I am having trouble believing that $$ \langle X, Y\rangle_{\mathbb ...
0
votes
1answer
41 views

Group law, cubics and Lie group

Let $C$ be a smooth complex cubic in $CP^{2}$. We know that there is a group structure by using the intersection of projective lines (cf. Ried, Undergraduate AG, Section 2), which is really different ...
0
votes
1answer
24 views

On the definition of quaternionic-linear real matrices

I'm reading Tapp's introduction to matrix groups. The book introduced complex-linear matrices. Let me reproduce the definition in my own words: Let $B\in M_{2n}(\mathbb R)$. Let $J$ be the matrix $$ ...
2
votes
2answers
219 views

Proof that this diagram commutes

This is an exercise in a book I'm reading: Define an $\mathbb R$-linear isomorphism $f_n : \mathbb C^n \to \mathbb R^{2n}$ by $$(x_1 + iy_1, x_2 + iy_2, \dots) \mapsto (x_1, y_1, x_2, y_2, \dots )$$ ...
2
votes
0answers
39 views

What do you get when you pull the Bruhat Decomposition back to the Lie algebra via the exponential map?

If $G$ is a connected, reductive, complex group with Borel subgroup $B < G$ and Weyl group $W$, we can write $$G = \bigsqcup_{w \in W} B w B$$ If $\mathfrak{g}$ is the Lie algebra of $G$, we have ...
1
vote
1answer
47 views

Isomorphic Lie algebras have isomorphic centers

I think that if two Lie algebras are isomorphic, then their centers should be isomorphic - is this true? I am sure the answer is obvious to those in the know! Here is my attempt at a proof which looks ...
1
vote
1answer
25 views

Is $\mathfrak{o}(n)$ a subalgebra of $\mathfrak{u}(n)$?

A quick simple question to start the weekend (I hope). The Lie algebra $\mathfrak{u}(n)$ is the set of $n\times n$ skew-Hermitian matrices over $\mathbb{C}$ and the Lie algebra $\mathfrak{o}(n)$ is ...
1
vote
0answers
81 views

Lie Bracket of vector fields on Lie group

Let $H$ be a Lie group and $\mathfrak{h}$ its Lie algebra. Given a smooth function $v: H \to \mathfrak{h}$, define the vector field $\bar{v} : H \to TH$, $h \mapsto d(R_{h})_{e} v(h)$, where $R_{h} : ...
3
votes
1answer
93 views

Relation between Aut(G) and Aut(g)

Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$. We know that when $G$ is simply connected, $\mathrm{Aut}(G)=\mathrm{Aut}(\mathfrak{g})$ (this should follow from the fact that we can ...
0
votes
1answer
84 views

Does the matrix exponential take open sets into open sets?

This is from Hall's Lie Groups, Lie Algebras, and Representations, in theorem $2.13$: Let $B_\varepsilon$ be the open ball of radius $\varepsilon$ about zero in $M_n (\mathbb{C})$ [$= ...
2
votes
1answer
46 views

The derived algebra is a Lie subalgebra

A (hopefully) very simple question that has been bugging me all day! Let $L$ be a Lie algebra then the derived Lie algebra $L'$ is $$ L' = \{ \, [u,v] : \forall u,v\in L \, \}. $$ I want to show ...
1
vote
0answers
95 views

How to construct explicit matrix representations of $\mathfrak{su}(3)$

I'd like to implement an algorithm which produces matrix representations of the (complexified) Lie Algebra $\mathfrak{su}(3)$ on carrier spaces with arbitrary highest weight vector; i.e. 8 $n\times n$ ...
0
votes
1answer
74 views

Distance of subgroup to element in Lie groups

Given a (compact, closed) Lie group $G$ and a (closed) subgroup $H$, what is the distance of the identity to $Hg$ (or $gH$), where $g\in G$ and $Hg$ denotes the orbit under left-multiplication? The ...
1
vote
1answer
41 views

Prove that the tangent space to group of unipotent matrices is a subspace of M(2,R).

Given the set of unipotent matrices: $S = \left\{ A\in GL_{2}(\mathbb{R}) \;:\; A=\left( \begin{matrix} 1 & a \\ 0 & 1 \end{matrix} ...
4
votes
0answers
102 views

Is a connected unipotent subgroup always contained in a Borel subgroup?

As the question says, is a connected unipotent subgroup $U$ of a linear algebraic group scheme $G$ always contained in a Borel subgroup of $G$? I have an argument for why the answer is yes, and I ...
3
votes
2answers
133 views

Action on sheaf cohomology in Bott-Borel-Weil theorem

Let $G$ be simply connected complex semisimple Lie grou and $P \subseteq G$ parabolic subgroup. Suppose $V$ is finite dimensional irreducible representation of $P$ with highest weight $\lambda$, and ...
0
votes
1answer
163 views

More on rotation matrices: a basis for $SO(3)$?

Consider the group $SO(3)$. The rotation around the $x$-axis is represented by the matrix $$R_x = \left ( \begin{array}{ ccc } 1 & 0 & 0 \\ 0 & \cos \Theta & - \sin \Theta \\ 0 & ...
2
votes
1answer
26 views

Weyl Groups/Borel

Could someone tell me where to find a proof of the following statement that I found in some notes about characteristic classes I was reading? If $G$ is a compact connected Lie group with maximal ...
0
votes
0answers
17 views

A compact group with a finite dimensional faithful representation [duplicate]

Theorem: If $G$ a compact group has a finite dimensional faithful representation $W$, then any irreducible representation $V$ is contained in $W(k,l) = W^{\otimes k} \otimes (W^*)^{\otimes l}$ for ...
9
votes
1answer
148 views

A very difficult problem about the existence of following $SU(2)$ matrices?

Let $G_i$ be a sequence of $SU(2)$ matrices, where $i=1,2,...,n$; and $P$ represents a permutation of $\left \{ 1,2,...,n \right \}$. The question is: Does there exist a sequence of $SU(2)$ matrices ...
1
vote
1answer
151 views

Meaning of the adjoint representation of a Lie group

The adjoint representaion of $G$ is a homomorphism $ad_{a}:g \rightarrow aga^{-1}$, $a,g \in G$, what is the meaning of this? Now if we identify $T_{e}G$ with $\mathfrak{g}$ we have the adjoint map ...
1
vote
2answers
94 views

Rotation matrices and $SO(3)$

Let $R$ denote the set of matrices that rotate $\mathbb R^3$ around an axis. For the $x,y,z$ axes the matrices are given here. Let $SO(3)$ denote the set of orthogonal $3\times 3$ matrices with ...
4
votes
1answer
57 views

Could characters in harmonic analysis be generalized into $S^2$?

Consider a locally compact abelian (LCA) group $G$. The start of commutative harmonic analysis is the fact that the collection of characters $\chi : G \to S^1$ (thought of as $S^1 = \mathbb{T} ...
0
votes
0answers
267 views

Lie groups, Lie algebra and left invariant vector fields

Hi I'm learning about Lie Groups to understand gauge theory (in the principal bundle context) and I'm having trouble with some concepts. Now let $a$ and $g$ be elements of a Lie group $G$, the left ...
1
vote
2answers
73 views

Show that the only invariant is the spectrum

Recall that the symplectic group $$Sp_2(\mathbb{R}):= \{A\in SL_2(\mathbb{R}):A^TJA=J\}, \ \ J= \left[ {\begin{array}{cc} 0 & 1 \\ -1 & 0 \\ \end{array} } \right] \ $$ We have its ...
1
vote
1answer
41 views

The Weyl group of $\widehat{\mathfrak{sl}}_2$.

On page 5 of this paper, example 3.1, it is said that the Weyl group of $\widehat{\mathfrak{sl}}_2$ is $$ W= \langle s_1, s_2 \mid s_1^2 = s_2^2 = 1 \rangle. $$ Why the Weyl group of ...
1
vote
1answer
127 views

One parameter subgroup

I am new to Lie group and I am reading the "Lie Groups, Lie Algebras, and Representations" by Brian Hall. So what's the intuitive idea about one parameter subgroup? I understand all the definition but ...
2
votes
0answers
76 views

Explaining Spin(3)

I’m going to discuss the action of Spin(3) on Euclidean vectors. This thing has several alternative names: “versors”/“rotation quaternions”, “quaternionic adjoint representation”, “quaternion action ...
1
vote
2answers
358 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
0answers
146 views

John Lee's book question about symplectic group

Exercise 12-14 in John Lee's book, An introduction to Smooth Manifolds, reads as follows: The real symplectic group is the subgroup $Sp(n, \mathbb{R}) \subset GL(2n, \mathbb{R})$ consisting of ...
4
votes
2answers
446 views

Meaning of Exponential map

I've been studying differential geometry using Do Carmo's book. There's the notion of exponential map, but I don't understand why it is called "exponential" map. How does it has something to do with ...