Skip to main content

Timeline for Classification of smooth atlases

Current License: CC BY-SA 3.0

16 events
when toggle format what by license comment
Mar 6, 2012 at 20:05 answer added Ryan Budney timeline score: 9
Mar 6, 2012 at 18:47 history edited Cristi Stoica
edited tags
Feb 27, 2012 at 10:22 history bounty ended Cristi Stoica
Feb 20, 2012 at 12:04 history edited Cristi Stoica CC BY-SA 3.0
deleted 34 characters in body
Feb 20, 2012 at 9:40 history bounty started Cristi Stoica
Feb 17, 2012 at 18:13 comment added Cristi Stoica @Tom Goodwillie: I added an example, to explain better what I mean, and to show that my questions are justified.
Feb 17, 2012 at 18:07 history edited Cristi Stoica CC BY-SA 3.0
added 926 characters in body; added 1 characters in body; added 15 characters in body
Feb 17, 2012 at 17:17 history edited Cristi Stoica CC BY-SA 3.0
added 14 characters in body
Feb 17, 2012 at 17:14 comment added Cristi Stoica @Tom Goodwillie: You are right, any equivalence class of atlases contains a maximum atlas, which is the union of all other atlases in the equivalence class. And two maximal atlases are either identical, or not equivalent. So we can restate my questions in terms of maximal atlases instead of the equivalence classes of atlases. The questions remain.
Feb 17, 2012 at 16:52 comment added Tom Goodwillie I still do not understand the question. What can you mean by equivalence between two atlases? It appears that you mean compatibility, in the sense that comparing the charts of one atlas and the charts of the other atlas leads to diffeomorphisms between open subsets of $\mathbb R^n$. But then if your atlases are maximal (meaning maximal w.r.t. this compatibility) then they are never equivalent; and if they are not required to be maximal then two atlases are equivalent if and only if they both determine the same maximal atlas. Am I missing the point?
Feb 17, 2012 at 16:24 history edited Cristi Stoica CC BY-SA 3.0
added 382 characters in body
Feb 17, 2012 at 16:19 comment added Cristi Stoica @Tom Goodwillie: Yes, $M$ is a topological manifold with more atlases, and I avoided saying that $\mathcal{A}'$ is a new atlas on the same differentiable manifold. I tried to avoid the term "smooth structures" because there is a confusion of terminology, as pointed here en.wikipedia.org/wiki/Smooth_structure (it is also pointed that the map f will provide a diffeomorphism betwen $M$ and $M'$). This is why I discussed in terms of smooth atlases.
Feb 17, 2012 at 16:14 comment added Tom Goodwillie Of course, they are in your class of examples ($f$ gives a diffeomorphism between $M$ and $M'$).
Feb 17, 2012 at 16:11 comment added Tom Goodwillie Your $\mathcal A'$ should not be called a new atlas on the same differentiable manifold, but rather a new atlas on the same topological manifold; or you can say that it makes a new differentiable manifold $M'$ with the same underlying topological manifold as $M$. Are you wondering when $M$ and $M'$ are diffeomorphic?
Feb 17, 2012 at 16:08 comment added Tom Goodwillie The question is unclear. As I understand the terms, a differentiable manifold has a unique smooth maximal atlas. The same topological manifold can have more than one differentiable structure, that is, is can be more than differentiable manifold, that is, it can be given more than one maximal smooth atlas (where "smooth atlas" means that any two charts in the atlas are compatible with each other and "maximal" means that every chart compatible with the atlas is in the atlas).
Feb 17, 2012 at 15:55 history asked Cristi Stoica CC BY-SA 3.0