Intereting Posts

Is the notion of “affineness” more general than “linearity”, or vice versa?
Example of a domain in R^3, with trivial first homology but nontrivial fundamental group
The vanishing ideal $I_{K}(A\!\times\!B)$ is generated by $I_{K}(A) \cup I_{K}(B)$?
Show that $f_k'(z)=z^{k-1}$ does not converge uniformly for $|z|<1$.
For which $d \in \mathbb{Z}$ is $\mathbb{Z}$ a unique factorization domain?
Inductive proof and summation: $\sum\limits_{i=1}^n i^3 = \frac{n^2(n+1)^2}{4}$
Verifying the examples of Dual Space
Why is associativity required for groups?
Find the remainder using Fermat's little theorem when $5^{119}$ is divided by $59$?
C* algebra of bounded Borel functions
On the change of coordinates of a matrix.
Characterising Continuous functions
Are infinitesimals equal to zero?
Generalization $\zeta_\varphi(s)=\sum_{k=0}^\infty {\exp(I\varphi*k) \over (1+k)^s} $
Serre duality as a right adjoint functor

I’m new to differential geometry and reading Lee’s book *Manifold and Differential Geometry*.

In the first chapter, he mentioned the following two maps on $\mathbb{R}^n$:

(1) $id: (x_1,x_2\cdots x_n) \rightarrow (x_1,x_2\cdots x_n)$

- Symbol of differential operator transforms like a cotangent vector
- What is the motivation for differential forms?
- Geodesic equations and christoffel symbols
- What is the equation describing a three dimensional, 14 point Star?
- Can any smooth planar curve which is closed, be a base for a 3 dimensional cone?
- Line bundles of the circle

(2) $\varphi: (x_1,x_2\cdots x_n) \rightarrow (x_1^3,x_2\cdots x_n)$

Then, $\mathcal{A}_1$= { $(\mathbb{R}^n,id)$ } and $\mathcal{A}_2$= { $(\mathbb{R}^n,\varphi)$ } are two differential structure on $\mathbb{R}^n$, and $\mathcal{M}_1=(\mathbb{R}^n, \mathcal{A}_1)$, $\mathcal{M}_2=(\mathbb{R}^n,\mathcal{A}_2)$ are two manifolds.

It easy to verify that $\mathcal{M}_1$ and $\mathcal{M}_2$ have the same induced topology, the standard topology.

$\mathcal{A}_1$ and $\mathcal{A}_2$ are not compatible, for $id\circ \varphi^{-1}:(x_1,x_2\cdots x_n) \rightarrow (x_1^{\frac{1}{3}},x_2\cdots x_n)$ is not differentiable at origin. Therefore, $\mathcal{M}_1$ and $\mathcal{M}_2$ have different differential structure.

My question is: are they diffeomorphic?

According to Lee, the author, they are diffeomorphic through $\varphi$ (page 27).

But I don’t think $\varphi$ is a diffeomorphism between them because $\varphi^{-1}$ is not differentiable at origin.

So are they not diffeomorphic?

But according the result of Donaldson and Freedman, each $\mathbb{R}^n$ except $n=4$ (with standard topology) only have one diffeomorphism class, so for any $\mathbb{R}^n$ except $\mathbb{R}^4$, $\mathcal{M}_1$ and $\mathcal{M}_2$ are diffeomorphic.

But why?

- Trace of a bilinear form?
- How to find two inequivalent ,but weakly equivalent bundles?
- Product of manifolds & orientability
- Geodesics of a “diagonal” metric
- Exponential map is surjective for compact connected Lie group
- Why is the Riemann curvature tensor the technical expression of curvature?
- How to go from local to global isometry
- Computing geodesics (or shortest paths)
- Why isn't there a contravariant derivative? (Or why are all derivatives covariant?)
- Question about statement of Rank Theorem in Rudin

In order not to confuse the diffeomorphism with the chart, define

$$ u : (\mathbb{R}^n, \mathcal{A}_1) \rightarrow (\mathbb{R}^n, \mathcal{A}_2)$$

by $u(x_1, …, x_n) = (x_1^3, x_2, …, x_n)$. It is a homeomorphism (why?). To check that it is a diffeomorphism, you also need to check that $u$ and $u^{-1}$ are smooth. A map is smooth by definition if its local representation in charts are smooth. Here, we have two **global** charts.

To check that $u$ is smooth, we need to check that $\varphi^{-1} \circ u \circ id$ is smooth as a regular map $\mathbb{R}^n \rightarrow \mathbb{R}^n$. And indeed,

$$ (\varphi^{-1} \circ u \circ id) (x_1, …, x_n) = (\varphi^{-1} \circ u)(x_1, …, x_n) = \varphi^{-1} (x_1^3, x_2, …, x_n) = (x_1, …, x_n) $$

and this is a smooth map.

To check that $u^{-1}$ is smooth, we need to check that $id^{-1} \circ u^{-1} \circ \varphi$ is smooth. Similarly,

$$ (id^{-1} \circ u^{-1} \circ \varphi)(x_1, …, x_n) = (x_1, …, x_n). $$

Note that it doesn’t matter that $u^{-1}(x) = (x_1^{\frac{1}{3}}, x_2, …, x_n)$ is not smooth as a map $\mathbb{R}^n \rightarrow \mathbb{R}^n$, because you treat $u^{-1}$ as a map between the manifolds $(\mathbb{R}^n, \mathcal{A}_2) \rightarrow (\mathbb{R}^n, \mathcal{A}_1)$, and to check whether it is smooth as a map between the manifolds, you need to compose it with the charts and check. The map $u^{-1}$ is not smooth as a “regular” map or as a map $(\mathbb{R}^n, \mathcal{A}_1) \rightarrow (\mathbb{R}^n, \mathcal{A}_1)$, but is smooth as a map $(\mathbb{R}^n, \mathcal{A}_2) \rightarrow (\mathbb{R}^n, \mathcal{A}_1)$.

They are diffeomorphic through $\varphi$, by definition of the structure on $\mathcal{M}_2$. The inverse $\varphi^{-1}$ is not differentiable with respect to the standard structure, i.e., as a map from $\mathcal{M}_1$ to $\mathcal{M}_1$. However, to test whether a map is differentiable as a map from $\mathcal{M}_1$ to $\mathcal{M}_2$, you have to test it in the given charts, in which both $\varphi$ and $\varphi^{-1}$ become the identity. (The same argument would be true if you replace $\varphi$ by any homeomorphism from $\mathbb{R}^n$ to itself.)

- Asymptotic behavior of Harmonic-like series $\sum_{n=1}^{k} \psi(n) \psi'(n) – (\ln k)^2/2$ as $k \to \infty$
- Proving completeness of a metric space
- If $f$ is integrable then $|f|$ is also integrable
- Countably monotone does not imply monotone and countably additive?
- $k$-space tensor integral in statistical physics
- Is there a base in which $1 + 2 + 3 + 4 + \dots = – \frac{1}{12}$ makes sense?
- Bijection between derangements and good permutations
- Prove: $\sum_{k<n, (k,n)=1} k= \frac{1}{2}n \varphi (n)$
- Existence of solution to first order ODE. What is there to be proved?
- Problems with the definition of transitive relation
- Coefficient of det($xI+A$)
- Frobenius coin problem
- Infinite Sum Calculation: $\sum_{k=0}^{\infty} \frac{1}{(2k+1)^2} = \frac{3}{4} \sum_{n=1}^{\infty} \frac{1}{n^2}$
- Finding inverse in non-commutative ring
- How do I explain 2 to the power of zero equals 1 to a child