# Tagged Questions

38 views

### Maps between Manifolds and Maximal Rank

I'm trying to prove a theorem from Olver's Applications of Lie Groups to Differential Equations. It's supposed to be an "easy" consequence of the Implicit Function Theorem but I honestly can't see ...
97 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 ...
50 views

### quotient by a group that acts almost freely

How can I show that if a compact lie group G acts almost freely and smoothly on a manifold M, then M/G is Hausdorff? (an action is almost free if $G_x$ is finite for all x $\in$ M)
58 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 ...
44 views

### Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
51 views

### Does the set of $n$ by $n$ matrices of rank $q$ form a manifold?

I'm not sure whether the space of all rank-$q$ square matrices of dimension $n$ is a submanifold. I have totally no clue. Can somebody help?
43 views

### Equivalence between vector field and generator of a group of translations

I've been reading Olver's Applications of Lie groups to differential equations and did not understand the excerp where the autor explains that "[...] every nonvanishing vector field is locally ...
75 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 ...
50 views

### Lie bracket of vector fields on $R^2$

Compute the Lie bracket$$\Big[-y\frac{\partial}{\partial x}+x\frac{\partial}{\partial y},\frac{\partial}{\partial x}\Big]$$ on $R^2$ Can you help me please?
58 views

### Question about vector fields and Lie group

Notation: $\chi(G)$ is the set of smooth vector fields on Lie group $G$, which in fact forms a vector space. Given a Lie group $G$, show that there exists a smooth vector field $X\in \chi(G)$, ...
49 views

### Is $(\mathbb{R},+)$ a smooth manifold?

I feel like $(\mathbb{R},+)$ is, but I'm not really sure. How would I know whether or not it is?
113 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 ...
33 views

### General Linear Group is(not) compactly generated

We know that any connected Lie Group is compactly generated. I have a feeling that $\mathbb{GL}_n\mathbb{R}$ is not compactly generated. Is it true? If it is how can I prove this? If not, what ...
182 views

### Definition of Lie Groups

In the definition of Lie Group, we require that $$(x,y)\rightarrow x*y \text{ and } x\rightarrow x^{-1}$$ both be smooth. Are there any examples of groups that satisfy only one of these and not the ...
49 views

### Reference for introductory Lie Groups

I am currently learning about Lie groups,So kindly suggest a reference for Lie groups, which contains lecture on Manifolds as well.
89 views

### Lie algebra $\implies$ Lie group?

Lie's third theorem says that every finite-dimensional Lie algebra g over the real numbers is associated to a Lie group G. So say I have an $r-$ parameter group of symmetries whose tangents at the ...
89 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 ...
42 views

155 views

### Isometries from Diffeomorphisms

Given a compact, connected Lie group G of diffeomorphisms on a manifold M, how to construct a Riemannian metric on M such that elements of G are isometries of M?
109 views

### Definition of differential of Adjoint representation of Lie Group

Let $g$ be an element of Lie Group $G$, and $\gamma(t) : \mathbb{R} \rightarrow G$ be a path in $G$ such that $\gamma(0) = e$, the identity element of $G$. Denote the tangent space at $e$ as $T_eG$, ...
Suppose $G$ is a Lie group acting on the manifold $M$ and $p \in M$ is such that $G_p$, the isotropy group of $p \in M$, is closed in $G$. I'm trying to prove that $G/G_p$ has a manifold structure. ...
Let a (connected) Lie group $G$ act on $M$. Assume that the action is locally free. (In other words, if the fundamental vector field of $X \in \mathrm{Lie(G)}$  \underline{X}(p) := ...