10

This is for the sake of completeness(for references, understanding).

I ask for references for proofs that:

-There is exactly one differentiable(ie $C^\infty$) structure on $\mathbb R$, upto diffeomorphism.

-Ditto for $\mathbb R^2$.

-Ditto for $\mathbb R^3$.

Akela
  • 3,579
  • 3
  • 32
  • 41
  • 1
    Perhaps you could tell us where you have looked and failed to find a reference, so as to narrow our search? – Sam Nead May 16 '10 at 22:06
  • Thurston's Geometry and Topology of 3-manifolds I writes something about this in chapters 3.9 and 3.10, though I haven't gone through this. – Lennart Meier May 17 '10 at 08:49
  • @Sam Nead: I looked in Warner's book, Spivak(in which the $1$-dim case is an exercise, and I googled and wikipedia-ed it.). – Akela May 17 '10 at 13:01
  • This question basically duplicates part of this one http://mathoverflow.net/questions/16035/a-reference-for-smooth-structures-on-rn and in particular Michael Hoffman's answer to that question ought to be sufficient – j.c. May 17 '10 at 16:59
  • At least in the 1 dimensional case one can put a Riemannian metric on any smooth $\mathbb R^1$ and then the exponential map from a given point defines a diffeomorphism (or better, isometry) from the standard $\mathbb R^1$ to the smooth $\mathbb R^1$. – Fan Zheng Jul 22 '18 at 04:27

2 Answers2

18

UPDATE : I found some precise references that answer the OP's question and fill in some details in my original answer. See the end for them.

I don't have a precise reference for the cases of $n=2$ or $n=3$, though I suspect that they could be found in Moise's "Geometric Topology in Dimensions 2 and 3".

However, I do have a nice reference for the amazing theorem (due to Stallings) that $\mathbb{R}^n$ has a unique $C^{\infty}$ structure for $n \geq 5$. It is written up very nicely in Steve Ferry's Geometric Topology Notes. See Chapter 10 starting on page 56. What he proves is that $\mathbb{R}^n$ has a unique PL structure, but that is the key to the result. The rest of the notes are also wonderful.

This theorem is surprising for a number of reasons. For instance, it says that if $\Sigma$ is an exotic $n$-sphere for $n \geq 5$, then $\Sigma \setminus \{p\}$ is diffeomorphic to $\mathbb{R}^n$ for any point $p \in \Sigma$. In other words, the "exoticness" is "concentrated at a point". Of course, this also follows from the usual proof of the high dimensional Poincare conjecture using the $h$-cobordism theorem, which constructs a homeomorphism between a homotopy sphere and the usual sphere which is differentiable except at one point (that one point giving trouble due to the "Alexander trick").

Another remark that should be made is that Freedman and Donaldson proved that $\mathbb{R}^4$ has uncountably many $C^{\infty}$ structures.

UPDATE : OK, here are some precise references. In

MR0121804 (22 #12534) Munkres, James Obstructions to the smoothing of piecewise-differentiable homeomorphisms. Ann. of Math. (2) 72 1960 521--554.

it is proven in Corollary 6.6 that two PL-isomorphic differentiable manifolds that are homeomorphic to $\mathbb{R}^n$ are actually diffeomorphic. To make sense of this, recall that Cairns proved that differentiable manifolds have canonical PL structures; the original reference for this is his paper

MR0017531 (8,166d) Cairns, Stewart S. The triangulation problem and its role in analysis. Bull. Amer. Math. Soc. 52, (1946). 545--571.

I think JHC Whitehead might have also proven this, but I don't have a reference for that.

This reduces us to showing that $\mathbb{R}^n$ has a unique PL structure. The cases $n=2$ and $n=3$ can be found in Moise's book "Geometric Topology in Dimensions 2 and 3". As far as the original results go, the 2-dimensional case is classical, while the 3-dimensional case was originally proven by Moise in his paper

MR0048805 (14,72d) Moise, Edwin E. Affine structures in $3$-manifolds. V. The triangulation theorem and Hauptvermutung. Ann. of Math. (2) 56, (1952). 96--114.

For dimensions at least $5$, the original reference is the following

MR0149457 (26 #6945) Stallings, John The piecewise-linear structure of Euclidean space. Proc. Cambridge Philos. Soc. 58 1962 481--488.

I hope this is helpful!

Andy Putman
  • 43,430
  • Do you mean $\Sigma\setminus p$ is diffeomorphic to $\mathfrak R^n, or am I misundersanding? – Emerton May 17 '10 at 03:55
  • Whoops! That's what I meant. I'll fix it now. Thanks! – Andy Putman May 17 '10 at 04:22
  • 2
    Great notes! Finally I'll understand what this geometric topology is all about:) – Victor Protsak May 17 '10 at 07:11
  • 2
    Just to add, there are now more elegant and understandable proofs of the uniqueness of smooth structures in dimension 2 and PL structures in dimension 3, due to Hatcher and Hamilton respectively: Hatcher - The torus trick for surfaces, Hamilton - The triangulation of 3-manifolds. – skupers Feb 10 '15 at 05:33
3

There are infinitely many differentiable structures on $\mathbb R$ : take any homeomorphism which is no diffeomorphism (such as $x\mapsto x^3$), and you get an non-usual differentiable structure on $\mathbb R$!

Even better : there exist uncountably many different real analytic structures on $\mathbb R$. But this example is general : for every $k\in \mathbb N \cup \{\infty,\omega\}$, the group Homeo($\mathbb R$) acts transitively on the set of $C^k$ differentiable structures on $\mathbb R$.

EDIT : If you want to show that up to diffeomorphism of differentiable manifold, there exists only one differentiable structure on $\mathbb R$, just remember that (more generally) all $1$-dimensional non-compact manifolds are diffeomorphic to $\mathbb R$. [this is proved in Lafontaine e.g]

hrkrshnn
  • 239
Henri
  • 2,697
  • Oops! Now I have added "upto diffeomorphism" in the criterion. Sorry for the lapse! – Akela May 16 '10 at 21:06
  • Yes, but $x\mapsto x^3$ is no diffeomorphism! You surely mean "homeomorphism". – Henri May 16 '10 at 21:09
  • 4
    $x \mapsto x^3$ is a diffeomorphism from $\mathbb R$ with the usual differentiable structure to $\mathbb R$ with the differentiable structure corresponding to the atlas you gave above. – Akela May 16 '10 at 21:13
  • Ok, I didn't understand what you meant! I edited my post though. – Henri May 16 '10 at 21:16
  • I have also specified that the structure is $C^\infty$, in response to your "even better:----" addition. Re: your EDIT -- The point is that there are uncountably many structures on $\mathbb R^4$. – Akela May 16 '10 at 21:19
  • The inverse of $x^3$ is not smooth, but the term diffeomorphism as it pertains to differentiable structures does not require this: a bijective map $f:\mathbb{R}\rightarrow\mathbb{R}$ is a diffeomorphism of $(\mathbb{R},A)$ and $(\mathbbf{R},B)$ if $x\in A$ iff $x(f)\in B$. Here A and B are maximal atlases. – Peter Luthy May 16 '10 at 21:28
  • 2
    What Henri means, I think, is that on $\mathbb{R}$ there are infinitely many non-compatible (maximal) atlases each giving the topological space $\mathbb{R}$ the structure of a differentiable manifold. – Qfwfq May 16 '10 at 21:42
  • 4
    But the fact that two atlases $\mathfrak{A}$ and $\mathfrak{B}$ are not compatible just means that $id:(\mathbb{R},[\mathfrak{A}])\rightarrow (\mathbb{R},[\mathfrak{B}])$ is not a diffeomerphism, but it does'n exclude that there are other diffeomerphisms between the differentiable structures: in fact, up to diffeomorphism, there's only one smooth structure on $\mathbb{R}$. – Qfwfq May 16 '10 at 21:42