# Tagged Questions

36 views

### Exercise on left invariant 2-forms

I'm trying to solve a problem about the Lie group of transformation over $\mathbb{R}$: $$x\mapsto ax+b,$$ where $a,b\in\mathbb{R}, a\neq 0.$ I'm asked to find the space of ...
36 views

### Differential of the inversion of Lie group

Let $G$ be a Lie group and $\iota \colon G\to G$ denote the inversion. If $e$ is the identity of $G$, prove that: $$\text d \iota _e = -\text {id} _{T_e G}.$$ I understand that the differential at $e$ ...
38 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 ...
23 views

### How to calculate the Maurer-Cartan form in the adjoint representation?

While I am reading a paper, I come across a difficulty. Here, we have a Lie group and we know its Lie algebra defined as $[G_a,G_b]=f_{ab}^{\phantom{ab}c}G_c$ with $G_a\in\mathfrak g$. Under the ...
29 views

### How are the components of a connection on a homogenous space related to the Mauer-Cartan form?

I am finding it hard to understand in what way the Mauer-Cartan form $\omega_G$ of a Lie group $G$ can be used to define a connection on a bundle $G \to G/H$ in the same way that parallel transport of ...
15 views

### Affine connection defined by a quotient manifold?

Suppose $G$ is a Lie group with affine connection $X,Y \mapsto\nabla_X Y\in C^{\infty}(G,TG)$, and $Q$ is a subgroup of $G$ such that $G/Q$ is also a nontrivial Lie group. Does this quotient manifold ...
10 views

53 views

### Looking for proof that $SO(3)$ is a submanifold of $\mathbb R^3$

It seems to be taken for granted in all sources that $SO(3)$ is a submanifold of $\mathbb R^9$. However, the one proof of this that I have been able to find has a step or two that doesn't make alot ...
43 views

58 views

### Gradient of a real-valued function on SO(3)

I have struggling with a problem of evaluating the gradient of a cost function on the Lie group of rotations: SO(3). The cost is the following: ...
48 views

### Actions of Weyl group

I get a feeling what I am going to ask is very standard and classic, but I am not able to find any reference. Any answer or reference would be appreciated. Let us assume that $G$ is a simply ...
56 views

### tangent/normal space to set of symmetric isospectral matrices

Let $\Lambda = \{\lambda_1, \ldots, \lambda_n\}$ be a set of $n$ distinct real numbers. $M_n(\mathbb{R})$ denotes the set of all $n \times n$ real matrices, and for $B\in M_n(\mathbb{R})$, $B^T$ ...
25 views

### Global section $$s:T^*G\to Sp(T^*G)$$

Let $G$ be a Lie group and then how can we define the global section $$s:T^*G\to Sp(T^*G)$$ Where $Sp(T^*G)$ means symplectic frame bundle of $T^*G$.
67 views

### How can we extend the proof that Lie groups are orientable to parallelizable manifolds?

Let $G$ be a Lie group with identity element $e$ and dimension $n$. I know we can take a non-vanishing $n$-form (call it $\omega$) on the vector space $T_eG$. For a Lie group, as we have an ...
49 views

### Lie algabra of R^n

Until now the only example of lie groups I have seen are subgroups of $GL_n$. Today I had the idea, that also $G=(\mathbb R^n,+)$ must be a lie group ($(\mathbb R^n,+)$ is a group with the ...
57 views

### The Lie derivative by an infinitesimal action is invertible at an isolated zero point

Let a compact Lie group $G$ act on a manifold $M$. Fix $X \in \mathfrak g$ and we write $X_M$ for the infinitesimal action of $X$. Assume that $p \in M$ is a zero point of $X_M$. Define a linear map ...
73 views

### Action of $SO_n$ on $\mathbb{S}^{n-1}$ induces fibre bundle.

Real compact Lie group $SO_n$ acts smoothly and transitively on $\mathbb{S}^{n-1} \subseteq \mathbb{R}^n$ with obvious action. Isotropy subgroup of each point in $\mathbb{S}^{n-1}$ is isomoprhic to ...
99 views

### What is the kernel of a Maurer-Cartan form?

The Maurer-Cartan form on the Lie group $Gl(n,\mathbb{R})$ is a one-form taking values in $\mathfrak{gl}(n,\mathbb{R})$ as defined in the link. It has a rather concrete "extrinsic definition" as ...
27 views

### Volume form for $SE(n)$ and/or $E(n)$. [duplicate]

I wonder what happens when you construct the Tiling spaces considering the natural action of $SE(n)$ or $E(n)$ rather than $\mathbb R^n$. In order to do that, I need to understand both the riemannian ...
88 views

### Proving a submanifold of $SL_2(\mathbb{R})$

I already showed that $SL_2(\mathbb{R})$ is a 3-dimensional manifold. Now I want to show that the subspace $E$ of symmetric matrices whose eigenvalues are positive in $SL_2( \mathbb{R})$ is a ...
93 views

### How to obtain a diffeomorphism between $\mathrm{SL}(2,\mathbb{R})$ and $(\mathbb{C}\!\smallsetminus\!\{0\})\times\mathbb R$?

Could someone please give me a tip on how to show that the map $\mathrm{SL}(2,\mathbb{R}) \to (\mathbb{C}\setminus\{0\})\times\mathbb{R}$ \begin{pmatrix} a & b\\ c & d ...
63 views

### Proof of Horn theorem with moment map

Please look at this problem: Let $\mathcal{H}$ be the space of $(n,n)$ hermitian matrix. \phi:\begin{align*} &\mathcal{H} \to \mathfrak{u}(n):=Lie(U(n)) \\&A \mapsto iA \end{align*} ...
29 views

### Existence of maximal tori in infinite-dimensional Lie groups

Reading about Lie groups and maximal tori I came up with a lemma that states that any Lie group $G$ has maximal tori. The proof goes like this: firstly, it is proven that if $H \subset G$ is a proper ...