Let $M,N$ be smooth manifolds with boundary (of the same dimension). Let $f:M \to N$ be a smooth map satisfying $(1) \, \,f(\partial M)=\partial N,f(\operatorname{Int} M)=\operatorname{Int} N$. $(2) \, \, df_p$ is invertible for every $p \in M$. Is it true that $f$ is a local homeomorphism? I suspect $f$ must in fact be a […]

I don’t know how to solve this problem. Let G be a Lie group and H a closed Lie subgroup ,that is, a subgroup of G which is also a closed submanifold of G. Show that the action of H in G defined by A(h,g)=h.g is free and proper. Can you please define what is […]

I have that $SL(n,\mathbb{R})$ is an embedded submanifold of dimension $n^2-1$ in $GL(n,\mathbb{R})$, and I know that $T_XGL(n,\mathbb{R})$ is isomorphic to $M(n,\mathbb{R})$ for all $X \in GL(n , \mathbb R)$. Is there a way I can use this to show that $SL(n,\mathbb{R})$ is a smooth submanifold of $M(n,\mathbb{R})$ and get is dimension? Otherwise, how could […]

On page 47 of Helgason’s book Differential Geometry, Lie Groups, and Symmetric Spaces, he uses the notation $$\frac{\partial \omega}{\partial t}$$ where $\omega$ is a 1-form on a manifold and $t$ is one of the coordinates of a chart. (If you look on the page, you will see that $\omega$ actually has super and subscript indices […]

Consider a closed unit ball $\mathbb{B}^n = \{ x\in\mathbb{R^n} : \|x\|\le 1\} $ How do I show that $\mathbb{B}^n $ is a smooth manifold with its boundary ($\partial \mathbb{B^n}$) diffeomorphic to $S^{n-1}$ ?

Let $G$ be a Lie group. I am wondering if there is a way to say that the map $(g, h)\mapsto dL_g|_h$ defined on $G\times G$ is a smooth map (Here $L_g$ is the left translation map from $G$ to $G$ and by $dL_g|_h$ I mean the differential of $L_g$ at $h$). The challenge here […]

Show (using the implicit function theorem) that the following subset $$M:=\{(x,y,z)\in\mathbb{R}^{3}\;|x^2+y^4+z^4=3\}\subseteq\mathbb{R}^{3}$$ Theorem: Let $A\subset \mathbb{R}^{n}$ be open let $g:A\to \mathbb{R}^{p}$ be a differentiable function such that $g^{\prime}(x)$ has rank $p$ whenever $g(x)=0$. Then $g^{-1}(0)$ is an $n-p$ dimensional manifold in $\mathbb{R}^{n}$ Solution. Let $F(x,y,z)=x^2+y^4+z^4-3$, denote $M=F^{-1}(0)$. Then for each $P=(x,y,z)\in M$ we have $$F^{\prime}(x,y,z)=\nabla F(x,y,z)=(2x,4y^3,4z^3)\neq […]

Let $(M,g)$ be a connected Riemannian manifold which admits a universal cover $(\tilde{M}, \tilde{g})$, where $\tilde{g}$ is the Riemannian metric such that the covering is a Riemannian covering. I want to know under what conditions the universal cover $\tilde{M}$ is complete. The reason for this questions is that I want to know under what conditions […]

Could anyone help me with the following problem? The problem Fix $\varepsilon \in (0, 1)$ and choose a smooth function $h$ on $[0,\infty)$ such that $h'(t) > 0$ for all $t ≥ 0$, $h(t) = t$ for $t \in [0, \varepsilon]$, $h(t) = 1 − \frac{1}{\ln t}$ for all $t$ large enough. (You don’t have […]

If $X$ is a smooth manifold and $I : X \rightarrow X$ is the identity map on $X$ (with the same smooth structure on both sides) then I can show that $dI_x : T_x X \rightarrow T_x X$ is the identity map on the tangent space $T_x X$ of $X$ at some point $x \in […]

Intereting Posts

Is there a distributive law for ideals?
Number of words with a minimal number of repetitions
How to differentiate product of vectors (that gives scalar) by vector?
Most functions are measurable
Formula for the sum of $\ n\cdot 1 + (n-1)\cdot 2 + … + 2 \cdot (n-1) + 1\cdot n$
Axiomatizing oriented cobordism
How to prove $\gcd(a^m-b^m,a^n-b^n) = a^{\gcd(m,n)} – b^{\gcd(m,n)} $?
The values of the derivative of the Riemann zeta function at negative odd integers
Show that the standard integral: $\int_{0}^{\infty} x^4\mathrm{e}^{-\alpha x^2}\mathrm dx =\frac{3}{8}{\left(\frac{\pi}{\alpha^5}\right)}^\frac{1}{2}$
Proving Asymptotic Barrier – O notation
“Classify $\mathbb{Z}_5 \times \mathbb{Z}_4 \times \mathbb{Z}_8 / \langle(1,1,1)\rangle$”
Comparison theorem for systems of ODE
Conditional Expectation of a Poisson Random Variable
Is the max of two differentiable functions differentiable?
Find limits of a function with several variables