I Maximal atlas of topological manifold

cianfa72
Messages
2,784
Reaction score
293
TL;DR Summary
Is the maximal atlas of a topological manifold unique?
From my understanding, a topological manifold ##M## comes with, by definition, a locally euclidean topology and a (topological) atlas ##\mathcal A_1##.

From this atlas one can construct the maximal atlas ##\mathcal A## throwing in all the chart maps ##(U,\varphi)## each from one of the open sets in ##M## (any of these chart maps are actually homemorphism).

Now the question: is such maximal atlas ##\mathcal A## unique ? My answer is yes, since it contains by definition all the possible chart maps from any of the possible open sets in ##M## and they are all ##C^0##-compatible each other.

If the above is correct, then one can speak of the maximal atlas of ##M##, right ?
 
Last edited:
Physics news on Phys.org
Theoretically, yes, but this concept leads nowhere. There are simply far too many open sets, e.g. take ##M=\mathbb{R}.## The minimal atlas is more interesting.
 
fresh_42 said:
Theoretically, yes, but this concept leads nowhere. There are simply far too many open sets, e.g. take ##M=\mathbb{R}.## The minimal atlas is more interesting.
Ok, so for instance on ##M = \mathbb R## with standard topology a minimal atlas for it as topological manifold has a countable number of charts ##(U, \varphi)## in it.
 
cianfa72 said:
Ok, so for instance on ##M = \mathbb R## with standard topology a minimal atlas for it as topological manifold has a countable number of charts ##(U, \varphi)## in it.
Yes, since ##\mathcal{A}_{min}=\{\mathbb{R},\operatorname{id}\}## and ##\left|\mathcal{A}_{min}\right|=1## which is countable. A sphere requires at least two charts, one around a pole and one for the rest.
 
fresh_42 said:
Theoretically, yes, but this concept leads nowhere.
For instance, starting from the maximal atlas of a topological manifold, one can throw away non ##C^1##-compatible charts to get a ##C^1## differentiable manifold.
 
cianfa72 said:
TL;DR Summary: Is the maximal atlas of a topological manifold unique?

From my understanding, a topological manifold ##M## comes with, by definition, a locally euclidean topology and a (topological) atlas ##\mathcal A_1##.

From this atlas one can construct the maximal atlas ##\mathcal A## throwing in all the chart maps ##(U,\varphi)## each from one of the open sets in ##M## (any of these chart maps are actually homemorphism).

Now the question: is such maximal atlas ##\mathcal A## unique ? My answer is yes, since it contains by definition all the possible chart maps from any of the possible open sets in ##M## and they are all ##C^0##-compatible each other.

If the above is correct, then one can speak of the maximal atlas of ##M##, right ?

A maximal atlas is [the union of every atlas in] an equivalance class of atlases, and is therefore uniquely determined by the choice of atlas.

Compatability of charts is not an equivalance relation; compatability of atlases is. (Two C^k atlases are C^k compatible iff every chart of one atlas is C^k compatible with every chart of the other atlas.)
 
Last edited:
cianfa72 said:
For instance, starting from the maximal atlas of a topological manifold, one can throw away non ##C^1##-compatible charts to get a ##C^1## differentiable manifold.
Not necessarily. It requires that there are diffeomorphisms at all, i.e. that ##M## is differentiable.
 
pasmith said:
A maximal atlas is [the union of every atlas in] an equivalance class of atlases, and is therefore uniquely determined by the choice of atlas.
Ok, but in case of ##C^0##-compatibility there is only one equivalence class (all ##C^0## atlases are in same equivalence class). Therefore any atlas determinates the same (unique) maximal ##C^0##-topological atlas.
 
fresh_42 said:
Not necessarily. It requires that there are diffeomorphisms at all, i.e. that ##M## is differentiable.
Not sure I get it. Do you mean that starting from the maximal topological atlas it is not guaranteed one can "extract" a differentiable atlas from it ?
 
  • #10
cianfa72 said:
Not sure I get it. Do you mean that starting from the maximal topological atlas is not guaranteed one can "extract" a differentiable atlas from it ?
Yes. What makes you think that you won't be left with nothing? Or with charts that do not cover the entire manifold? Consider ##\{(x,|x|)\}.## It is continuous but not differentiable.
 
  • #11
fresh_42 said:
Yes. What makes you think that you won't be left with nothing? Or with charts that do not cover the entire manifold?
Ah ok. Nevertheless a theorem from Whitney claims that any ##C^k, k \ge 1## atlas of a topological manifold contains a ##C^{\infty}## atlas (i.e. one can "extract" a ##C^{\infty}## atlas from it).

Btw, which is the use of "at all" in a positive sentence (like yours in post#7) ?
 
  • #12
cianfa72 said:
Ah ok. Nevertheless a theorem from Whitney claims that any ##C^k, k \ge 1## atlas of a topological manifold contains a ##C^{\infty}## atlas (i.e. one can "extract" a ##C^{\infty}## atlas from it).
Do you have a reference? Whitney's strong embedding theorem requires a smooth manifold, his weak embedding theorem only claims an approximation.
cianfa72 said:
Btw, which is the use of "at all" in a positive sentence (like yours in post#7) ?
Maybe a translation error of mine. I meant, what if there aren't any differentiable charts, i.e. no differentiable charts at all?
 
  • #13
fresh_42 said:
Do you have a reference?
See for instance MSE.

fresh_42 said:
Maybe a translation error of mine. I meant, what if there aren't any differentiable charts, i.e. no differentiable charts at all?
ok, got it.
 
Last edited:
  • #14
cianfa72 said:
See for instance MSE.
MSE and the video do not contain proofs so I cannot check the exact preliminaries, e.g. whether they mean a real or complex manifold. Both refer to the overlap functions and not necessarily on each chart.

I haven't found the claim in Hirsch's book that they quoted on MSE. Hirsch only states the two Whitney theorems as in Wikipedia. https://en.wikipedia.org/wiki/Whitney_embedding_theorem.

I would still be interested in a reference with proof. I do not say it's wrong. For example, once complex differentiable implies infinitely often complex differentiable, and I can understand Whitney's weak embedding theorem. But what to do with a real function that is once continuously differentiable but not twice and its graph as the manifold?
 
  • #15
fresh_42 said:
Consider ##\{(x,|x|)\}.## It is continuous but not differentiable.
Sorry, is your ##\{(x,|x|)\}## an atlas for ##M=\mathbb R## with standard topology made of one chart alone ? In this case ##|x|## isn't a valid chart map since it isn't injective on ##\mathbb R##.
 
  • #16
cianfa72 said:
Sorry, is your ##\{(x,|x|)\}## an atlas for ##M=\mathbb R## with standard topology made of one chart alone ? In this case ##|x|## isn't a valid chart map since it isn't injective on ##\mathbb R##.
It is a one-dimensional closed, continuous submanifold of ##\mathbb{R}^2.## The map ##\varphi\, : \,M\longrightarrow \mathbb{R} ## defined by ##\varphi(p)=\varphi(x_p,\left|x_p\right|)=x_p## is injective.
 
  • #17
fresh_42 said:
It is a one-dimensional closed submanifold of ##\mathbb{R}^2.##
Ah ok, ##\{(x,|x|)\}## is the set in ##\mathbb R^2##. To me it is a smooth manifold when one doesn't look at how it is embedded in ##\mathbb R^2## (a manifold with an atlas of one chart alone is by definition ##C^{\infty}## differentiable - the compatibility condition is vacuosly fulfilled).
 
  • #18
cianfa72 said:
Ah ok, ##\{(x,|x|)\}## is the set in ##\mathbb R^2##. To me it is a smooth manifold when one doesn't look at how it is embedded in ##\mathbb R^2## (a manifold with an atlas of one chart alone is by definition ##C^{\infty}## differentiable - the compatibility condition is vacuosly fulfilled).
The chart ##(-\varepsilon,\varepsilon)\subseteq \mathbb{R}## around ##(0,0)\in M## is not differentiable. Maybe that's the difference between a ##\mathcal{C}^\infty ## atlas and a ##\mathcal{C}^\infty ## manifold which I don't know. But if so, then it is a rather confusing name.
 
  • #19
There are topological manifolds that can not be given a smooth structure.
 
  • #20
lavinia said:
There are topological manifolds that can not be given a smooth structure.
Ah ok, so from their (unique) maximal topological atlas one can't extract a subset of smooth/##C^{\infty}## compatible charts covering the manifold itself.

Can you kindly provide an example?
 
Last edited:
  • #21
fresh_42 said:
The chart ##(-\varepsilon,\varepsilon)\subseteq \mathbb{R}## around ##(0,0)\in M## is not differentiable. Maybe that's the difference between a ##\mathcal{C}^\infty ## atlas and a ##\mathcal{C}^\infty ## manifold which I don't know. But if so, then it is a rather confusing name.
Actually what isn't differentiable is the map $$\begin{align} (-\varepsilon,\varepsilon) \to \mathbb R^2 \nonumber \\ x \mapsto (x,|x|) \nonumber \end{align}$$ w.r.t. the standard differential structure in the domain and the target. However in this context such a notion is not involved at all.

What is true is that the set ##M=\{(x,|x|)\}## isn't a smooth submanifold of ##\mathbb R^2## w.r.t. its standard differential structure. Nevertheless ##M## as set can be turned into a smooth/##C^{\infty}## one-dimensional differentiable manifold by means of an atlas containing only one chart, e.g. the chart defined above.
 
Last edited:
  • #22
cianfa72 said:
Ah ok, so from their (unique) maximal topological atlas one can't extract a subset of smooth/##C^{\infty}## compatible charts covering the manifold itself.

Can you kindly provide an example?
This is a difficult subject which I know nothing about except a few factoids. I think the lowest dimension of a non-smoothable manifold is 8. Here are a couple of links.

https://math.stackexchange.com/questions/408221/the-easiest-non-smoothable-manifold

https://encyclopediaofmath.org/wiki/Non-smoothable_manifold

If you would like to learn this stuff, I would be happy to learn it with you.
 
Last edited:
  • Like
Likes fresh_42 and martinbn
  • #23
cianfa72 said:
Ah ok, so from their (unique) maximal topological atlas one can't extract a subset of smooth/##C^{\infty}## compatible charts covering the manifold itself.

Can you kindly provide an example?
Also some manifolds have more than one differentiable structure. This means that the underlying topological manifolds are homeomorphic but there is no diffeomorphism between them. I believe that the first examples discovered were exotic 7 spheres. Milnor was stunned when he realized what he had discovered. The 7 sphere has 27 distinct non-diffeomorphic differentiable structures.

Later on other examples were found. Euclidean 4 space has uncountably many differentiable structures. All other Euclidean spaces have only one. Go figure.

https://mathoverflow.net/questions/24970/exotic-differentiable-structures-on-r4

Milnor's Characteristic Classes proves that there is an exotic 7 sphere. As I remember it involves 3 sphere bundles over the 4 sphere.

Here is a paper

https://www.math.utoronto.ca/tiozzo/docs/exotic.pdf

I just found this paper

https://www.sciencedirect.com/science/article/pii/S0926224503000123

In the introduction it says that 15 of the 27 exotic spheres are 3 sphere bundles over the 4 sphere. All have Euler class +/- 1. Milnor's Characteristic Classes and Bott and Tu explain Euler classes of sphere bundles..

I would also be willing to learn this stuff with you.

One cannot understand these ideas without Algebraic Topology. I could guide you through what you need. Bott and Tu uses De Rham Cohomology whereas Milnor uses Singular Cohomology.
 
Last edited:
  • #24
cianfa72 said:
Actually what isn't differentiable is the map $$\begin{align} (-\varepsilon,\varepsilon) \to \mathbb R^2 \nonumber \\ x \mapsto (x,|x|) \nonumber \end{align}$$ w.r.t. the standard differential structure in the domain and the target. However in this context such a notion is not involved at all.

What is true is that the set ##M=\{(x,|x|)\}## isn't a smooth submanifold of ##\mathbb R^2## w.r.t. its standard differential structure. Nevertheless ##M## as set can be turned into a smooth/##C^{\infty}## one-dimensional differentiable manifold by means of an atlas containing only one chart, e.g. the chart defined above.
The embedding is not smooth but what do you mean that it is not a smooth submanifold? If you define this precisely then the answer will pop out.
 
  • #25
lavinia said:
The embedding is not smooth but what do you mean that it is not a smooth submanifold?
I mean that since the embedding in ##\mathbb R^2## is not smooth w.r.t. the ##\mathbb R^2## standard differential structure (it is just a topological embedding), then it is not an embedded/regular submanifold according to the definition here.
 
Last edited:
  • #26
lavinia said:
Also some manifolds have more than one differentiable structure. This means that the underlying topological manifolds are homeomorphic but there is no diffeomorphism between them
I would say that they actually share the same underlying topological manifold structure (i.e. the differentiable atlases defining the different (even though diffeomorphic) differentiable structures are all ##C^0##-compatible each other hence any of them determines the same (unique) topological/##C^0## maximal atlas).
 
Last edited:
  • #27
From Lee's example 1.23, consider the homeomorphism ##\psi(x) = x^3##

The atlas consisting of that single chart is not smoothy compatible with the standard smooth structure defined by the identity function ##id(x) = x##.

Therefore we can construct different smooth structures on any given positive dimensional topological manifold if it supports a smooth structure.

See also problem 1-6.
 
  • #28
jbergman said:
Therefore we can construct different smooth structures on any given positive dimensional topological manifold if it supports a smooth structure.
It follows that if a topological manifold admits an atlas consisting of one (global) chart alone then for sure it supports a smooth structure.
 
  • #29
cianfa72 said:
It follows that if a topological manifold admits an atlas consisting of one (global) chart alone then for sure it supports a smooth structure.
Reference? This time with proof, please.

I think you misunderstood Whtney's weak embedding theorem.
 
  • #30
fresh_42 said:
Reference? This time with proof, please.
I believe it is straightforward. A smooth atlas is a collection of ##C^{\infty}##-compatible charts covering the topological manifold. Now if the atlas consists of a single chart alone then the ##C^{\infty}##-compatibility condition is vacuosly satisfied. Such an atlas defines a smooth structure on the topological manifold (actually it identifies the unique maximal smooth atlas it belongs to).

Edit: see also the corollary of Proposition 1.17 in Lee's book.
 
Last edited:
  • #31
cianfa72 said:
I believe it is straightforward. A smooth atlas is a collection of ##C^{\infty}##-compatible charts covering the topological manifold (see Lee's book). Now if the atlas consists of only one chart alone then the ##C^{\infty}##-compatibility condition is vacuosly fulfilled. Such an atlas defines a smooth structure on the topological manifold (actually it identifies the unique maximal smooth atlas it belongs to).
It is not and I doubt it is true. If you have an atlas of homoeomorphisms, how will you make one with diffeomorphisms? How do you guarantee that it even has a differentiable structure? If it were true, what meaning would a topological manifold even have if it would be smooth anyway? I see that ##(x,x^{2n})## is homeomorphic to ##(x,|x|)## but that would not be the same manifold. It would be an approximation as in Whitney's weak embedding theorem, or a homeomorphic image.

You cannot simply claim things. And if asked about a reference, you need to deliver and not just say "straightforward". This is an adjective I would avoid in topology by all means.
 
  • #32
cianfa72 said:
It follows that if a topological manifold admits an atlas consisting of one (global) chart alone then for sure it supports a smooth structure.
That statement is true from the definition of a smooth atlas, but it doesn't follow from the quoted text you responded to. The point of my post was that we have to be careful when talking about atlases. You could have a ##C^k## atlas where some of the charts are only ##C^k## on the overlap. And such that could split into two different smooth atlases depending on which charts are removed.
 
  • #33
jbergman said:
The point of my post was that we have to be careful when talking about atlases. You could have a ##C^k## atlas where some of the charts are only ##C^k## on the overlap. And such that could split into two different smooth atlases depending on which charts are removed.
Ah ok, basically you mean that, for instance, starting from a ##C^k## atlas one could get a ##C^{k+1}## atlas throwing away some charts from it.
 
Last edited:
  • #34
fresh_42 said:
It is not and I doubt it is true. If you have an atlas of homoeomorphisms, how will you make one with diffeomorphisms? How do you guarantee that it even has a differentiable structure? If it were true, what meaning would a topological manifold even have if it would be smooth anyway? I see that ##(x,x^{2n})## is homeomorphic to ##(x,|x|)## but that would not be the same manifold. It would be an approximation as in Whitney's weak embedding theorem, or a homeomorphic image.

You cannot simply claim things. And if asked about a reference, you need to deliver and not just say "straightforward". This is an adjective I would avoid in topology by all means.
See page 14, of Introduction to Smooth Manifolds by John Lee. "If a topological manifold M can be covered by a single chart, the smooth compatibility condition is trivially satisfied..."
 
  • #35
jbergman said:
See page 14, of Introduction to Smooth Manifolds by John Lee. "If a topological manifold M can be covered by a single chart, the smooth compatibility condition is trivially satisfied..."
That's what I already said: the compatibility condition, yes, since there are no overlappings. But that doesn't make a homeomorphism a diffeomorphism.
 
  • #36
fresh_42 said:
That's what I already said: the compatibility condition, yes, since there are no overlappings. But that doesn't make a homeomorphism a diffeomorphism.
A chart map doesn't have to be a diffeomorphism, only a homeomorphism. If you reread Lee's quote he says a topological manifold covered by a single chart, i.e., a homeomorphism to an open subset of ##\mathbb R^n##, trivially has a smooth structure.

The definition of an atlas is a set of chart maps that are homeomorphisms that also satisfy the compatibility condition. You can see the bottom p.49 of Tu's introduction to manifolds.

Basically we start with a topological manifold and it's atlas and throw out charts that aren't compatible on overlaps. I can't find a reference that states it super clearly.

Different smooth structures just change which functions are considered as smooth on the manifold.
 
  • #37
jbergman said:
A chart map doesn't have to be a diffeomorphism, only a homeomorphism. If you reread Lee's quote he says a topological manifold covered by a single chart, i.e., a homeomorphism to an open subset of ##\mathbb R^n##, trivially has a smooth structure.

The definition of an atlas is a set of chart maps that are homeomorphisms that also satisfy the compatibility condition. You can see the bottom p.49 of Tu's introduction to manifolds.

Basically we start with a topological manifold and it's atlas and throw out charts that aren't compatible on overlaps. I can't find a reference that states it super clearly.

Different smooth structures just change which functions are considered as smooth on the manifold.
I think I got it. Took a while, sorry. :headbang:

I simply ignored that differentiability on a manifold itself isn't there without charts, silly me.
 
  • Like
Likes cianfa72 and jbergman
  • #38
jbergman said:
Basically we start with a topological manifold and it's atlas and throw out charts that aren't compatible on overlaps.
Just to be super clear: the compatibility on overlaps we are talking about is at least ##C^1## since ##C^0## compatibility between charts is always satisfied by definition of atlas.
 

Similar threads

Replies
44
Views
5K
Replies
4
Views
780
Replies
3
Views
2K
Replies
29
Views
3K
Back
Top