[Math] If a topological space is homeomorphic to a smooth manifold, then will it be a smooth manifold

differential-geometrydifferential-topology

If I have already known a topological space $N$ is homeomorphic to a smooth manifold $M$ then will it be a smooth manifold? The atlas of $N$ is the preimage of the atlas of $M$ and the coordinate map is the composition of homeomorphism composites the coordinate map?

Best Answer

Let me emphasize something that is perhaps not readily apparent in the other answers. "Smooth" is not something that a topological space is. You can't formally say "this topological space is a smooth manifold." It is not a property of a topological space. It is extra structure that you add on top of the already existing space.

Indeed, you have to choose an atlas such that all the coordinate change maps are smooth. If you choose an atlas at random, chances are, it won't be smooth, even if you know otherwise that the space is homeomorphic to a smooth manifold.

However there is a property here: can the space be attributed a smooth manifold structure? That is a possible property, it's a yes/no question. In this case the answer is yes! As the other answer points out, you can use the homeomorphism in a manner called transport of structure to choose an atlas that you know will be smooth. But there may be others! For example the $7$-sphere $S^7$ has famously several different, non-equivalent smooth structures (the ones other than the standard one are called exotic).

Therefore it's important to distinguish property and structure. When you ask "Is this space a smooth manifold?" you're implicitly saying that "being a smooth manifold" is a property, which it isn't. And in this particular case it may help you clear up the question: when you wonder "can this space be made into a smooth manifold", then you see immediately that you need to add some stuff on top of what you already have, namely, an atlas. You can't just look at the space and ask yourself "is this smooth" in the same way that you look at a car and ask "is this red". And since you now know what you have to do, it's certainly easier to actually do it. (See also this other answer of mine or this nLab article.)

Related Question