Mixing
Confused about the possibility of different differentiable structures.
up vote
3
down vote
favorite
In Loring Tu's "An Introduction to Manifolds" an atlas on a manifold is a collection of coordinate charts that are pairwise compatible and cover the manifold. A smooth manifold is defined to be a topological manifold together with a maximal atlas or differentiable structure. The maximal atlas is constructed by taking an atlas and appending all coordinate charts that are compatible with the atlas and using this he shows that any atlas on a locally Euclidean space is contained in a unique maximal atlas.
He also later shows that for any chart on a manifold, the coordinate map is a diffeomorphism onto it's image.
My question arises when Tu mentions in an aside that every compact topological manifold in dimension four or higher has a finite number of differentiable structures. What I don't understand is how it is possible for a smooth manifold to have more than one differentiable structure. Doesn't the fact that for any chart the coordinate map being a diffeomorphism coupled with the fact that composition of smooth functions is smooth mean that any two coordinate charts on a manifold are compatible and thus they must all belong to one maximal atlas? How is it possible to have another? Am I not understanding the word "maximal" or atlas or some other concept?
differential-geometry manifolds
asked Jun 30 '14 at 15:59
Memeozuki
428312
add a comment |
up vote
3
down vote
favorite
In Loring Tu's "An Introduction to Manifolds" an atlas on a manifold is a collection of coordinate charts that are pairwise compatible and cover the manifold. A smooth manifold is defined to be a topological manifold together with a maximal atlas or differentiable structure. The maximal atlas is constructed by taking an atlas and appending all coordinate charts that are compatible with the atlas and using this he shows that any atlas on a locally Euclidean space is contained in a unique maximal atlas.
He also later shows that for any chart on a manifold, the coordinate map is a diffeomorphism onto it's image.
My question arises when Tu mentions in an aside that every compact topological manifold in dimension four or higher has a finite number of differentiable structures. What I don't understand is how it is possible for a smooth manifold to have more than one differentiable structure. Doesn't the fact that for any chart the coordinate map being a diffeomorphism coupled with the fact that composition of smooth functions is smooth mean that any two coordinate charts on a manifold are compatible and thus they must all belong to one maximal atlas? How is it possible to have another? Am I not understanding the word "maximal" or atlas or some other concept?
differential-geometry manifolds
asked Jun 30 '14 at 15:59
Memeozuki
428312
2
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
In Loring Tu's "An Introduction to Manifolds" an atlas on a manifold is a collection of coordinate charts that are pairwise compatible and cover the manifold. A smooth manifold is defined to be a topological manifold together with a maximal atlas or differentiable structure. The maximal atlas is constructed by taking an atlas and appending all coordinate charts that are compatible with the atlas and using this he shows that any atlas on a locally Euclidean space is contained in a unique maximal atlas.
He also later shows that for any chart on a manifold, the coordinate map is a diffeomorphism onto it's image.
My question arises when Tu mentions in an aside that every compact topological manifold in dimension four or higher has a finite number of differentiable structures. What I don't understand is how it is possible for a smooth manifold to have more than one differentiable structure. Doesn't the fact that for any chart the coordinate map being a diffeomorphism coupled with the fact that composition of smooth functions is smooth mean that any two coordinate charts on a manifold are compatible and thus they must all belong to one maximal atlas? How is it possible to have another? Am I not understanding the word "maximal" or atlas or some other concept?
differential-geometry manifolds
asked Jun 30 '14 at 15:59
Memeozuki
428312
In Loring Tu's "An Introduction to Manifolds" an atlas on a manifold is a collection of coordinate charts that are pairwise compatible and cover the manifold. A smooth manifold is defined to be a topological manifold together with a maximal atlas or differentiable structure. The maximal atlas is constructed by taking an atlas and appending all coordinate charts that are compatible with the atlas and using this he shows that any atlas on a locally Euclidean space is contained in a unique maximal atlas.
He also later shows that for any chart on a manifold, the coordinate map is a diffeomorphism onto it's image.
My question arises when Tu mentions in an aside that every compact topological manifold in dimension four or higher has a finite number of differentiable structures. What I don't understand is how it is possible for a smooth manifold to have more than one differentiable structure. Doesn't the fact that for any chart the coordinate map being a diffeomorphism coupled with the fact that composition of smooth functions is smooth mean that any two coordinate charts on a manifold are compatible and thus they must all belong to one maximal atlas? How is it possible to have another? Am I not understanding the word "maximal" or atlas or some other concept?
differential-geometry manifolds
differential-geometry manifolds
asked Jun 30 '14 at 15:59
Memeozuki
428312
asked Jun 30 '14 at 15:59
Memeozuki
428312
asked Jun 30 '14 at 15:59
Memeozuki
428312
asked Jun 30 '14 at 15:59
Memeozuki
428312
asked Jun 30 '14 at 15:59
Memeozuki
428312
428312
2
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31
add a comment |
2
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31
2
2
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31
add a comment |
1 Answer
1
active
oldest
votes
up vote
3
down vote
You cite from Tu's book a statement that "for any chart on a manifold, the coordinate map is a diffeomorphism onto its image", but if you check that statement carefully I'm sure that it applies only to charts within the given maximal atlas. It is certainly possible to have incompatible coordinate charts that are not in a given maximal atlas, e.g. here are two incompatible coordinate charts on $mathbb{R}$: $f(x)=x$; and $f(x) = sqrt[3]{x}$.
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
You cite from Tu's book a statement that "for any chart on a manifold, the coordinate map is a diffeomorphism onto its image", but if you check that statement carefully I'm sure that it applies only to charts within the given maximal atlas. It is certainly possible to have incompatible coordinate charts that are not in a given maximal atlas, e.g. here are two incompatible coordinate charts on $mathbb{R}$: $f(x)=x$; and $f(x) = sqrt[3]{x}$.
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
add a comment |
up vote
3
down vote
You cite from Tu's book a statement that "for any chart on a manifold, the coordinate map is a diffeomorphism onto its image", but if you check that statement carefully I'm sure that it applies only to charts within the given maximal atlas. It is certainly possible to have incompatible coordinate charts that are not in a given maximal atlas, e.g. here are two incompatible coordinate charts on $mathbb{R}$: $f(x)=x$; and $f(x) = sqrt[3]{x}$.
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
add a comment |
up vote
3
down vote
up vote
3
down vote
You cite from Tu's book a statement that "for any chart on a manifold, the coordinate map is a diffeomorphism onto its image", but if you check that statement carefully I'm sure that it applies only to charts within the given maximal atlas. It is certainly possible to have incompatible coordinate charts that are not in a given maximal atlas, e.g. here are two incompatible coordinate charts on $mathbb{R}$: $f(x)=x$; and $f(x) = sqrt[3]{x}$.
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
You cite from Tu's book a statement that "for any chart on a manifold, the coordinate map is a diffeomorphism onto its image", but if you check that statement carefully I'm sure that it applies only to charts within the given maximal atlas. It is certainly possible to have incompatible coordinate charts that are not in a given maximal atlas, e.g. here are two incompatible coordinate charts on $mathbb{R}$: $f(x)=x$; and $f(x) = sqrt[3]{x}$.
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
answered Jun 30 '14 at 16:09
Lee Mosher
47.2k33681
47.2k33681
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
add a comment |
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
Just to be sure I understand you example. Then each of those charts must belong to different maximal atlas for the same manifold ($mathbb{R}$), right?.
– An old man in the sea.
14 hours ago
That's correct.
– Lee Mosher
10 hours ago
That's correct.
– Lee Mosher
10 hours ago
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f852386%2fconfused-about-the-possibility-of-different-differentiable-structures%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
"Maximal" usually means "cannot be further extended", but does not imply uniqueness. For instance a maximal ideal is one any extension of which is either itself or the whole ring. A ring may have many distinct maximal ideals.
– Eric Towers
Jun 30 '14 at 16:04
Thank you. I think I understand this concept then. But my question still remains in this case. Are all coordinate maps compatible with each other as a result of being diffeomorphisms? Would this not imply that there could only be one maximal atlas on a manifold by our construction regardless of dimension?
– Memeozuki
Jun 30 '14 at 16:12
All coordinate maps within the same atlas are certainly compatible with each other. As my answer shows, there will always exist coordinate maps which are incompatible with a given atlas. Such coordinate maps may form the foundation of an entirely different maximal atlas for an entirely different differentiable structure.
– Lee Mosher
Jun 30 '14 at 18:31