Smooth coordinate chart on spacetime manifold

[cianfa72]

TL;DR

About the definition of smooth coordinate chart/system in an invariant way; is it actually possible ?

Hi,
I'm puzzled about the definition of smooth coordinate chart for a manifold (e.g. spacetime).

From my point of view there is no invariant way to define a smooth coordinate chart since a coordinate system is smooth only w.r.t. another coordinate system already defined on the given manifold.

Does it make sense ? Thank you.

 

[Orodruin]

All coordinate transformations should be smooth.

 

[martinbn]

TL;DR Summary: About the definition of smooth coordinate chart/system in an invariant way; is it actually possible ?

Hi,
I'm puzzled about the definition of smooth coordinate chart for a manifold (e.g. spacetime).

From my point of view there is no invariant way to define a smooth coordinate chart since a coordinate system is smooth only w.r.t. another coordinate system already defined on the given manifold.

Does it make sense ? Thank you.

What is the definition? Can you give a reference? Otherwise we have to guess what exactly bothers you.

 

[cianfa72]

What is the definition? Can you give a reference? Otherwise we have to guess what exactly bothers you.

That's the point. I've no precise definition of smooth coordinate chart for a manifold.

In other words I give you a chart for a manifold: how can you claim it is a smooth one ?

 

[martinbn]

That's the point. I've no precise definition of smooth coordinate chart for a manifold.

In other words I give you a chart for a manifold: how can you claim it is a smooth one ?

Then may be your question should be if there is such a notion as "smooth chart".

 

[cianfa72]

Then may be your question should be if there is such a notion as "smooth chart".

Yes, indeed. Perhaps the point is that we need to start from the definition of smooth manifold which explicitly include the maximal Atlas. By definition the transformations between all charts in the maximal Atlas are smooth (at the common intersection where both are defined).

 

[Hill]

For each point in the manifold there is a neighborhood which is homeomorphic with Euclidean space. Take for example Cartesian coordinates in that Euclidean space. The homeomorphism determines smooth coordinates in that neighborhood of the manifold. Continue from there.

 

[cianfa72]

The homeomorphism determines smooth coordinates in that neighborhood of the manifold. Continue from there.

Therefore we can claim a coordinate chart is smooth only w.r.t. a given definition of smooth manifold structure.

 

[Hill]

Therefore we can claim a coordinate chart is smooth only w.r.t. a given definition of smooth manifold structure.

Existence of such a homeomorphism is THE definition of manifold. Otherwise, it is not a manifold.

 

[cianfa72]

So just to fix ideas: take the surface of a cube in 3D euclidean space. Can we turn it in a smooth manifold ? In other words can we define a smooth atlas for it ?

 

[Orodruin]

It is homeomorphic to a sphere. However, the embedding into $\mathbb R^3$ is not smooth so the induced metric won’t be either.

 

[cianfa72]

It is homeomorphic to a sphere.

Hence the homeomorphism allows to transport to the cube's surface the sphere's smooth manifold structure.

However, the embedding into $\mathbb R^3$ is not smooth so the induced metric won’t be either.

ok, so it will not be a smooth (embedded) submanifold of $\mathbb R^3$ endowed with its standard smooth structure, right ?

 

[PeterDonis]

From my point of view there is no invariant way to define a smooth coordinate chart

Since "invariant" means "independent of any choice of coordinates", it seems odd to view what you state here as a problem.

 

[PeterDonis]

a coordinate system is smooth only w.r.t. another coordinate system already defined on the given manifold.

No, it isn't. "Smooth" refers to the existence of continuous derivatives to any degree. But derivatives with respect to what? Since a coordinate chart is a mapping from points in a manifold to tuples of real numbers, the derivatives would be with respect to points in the manifold. Those can be defined for any coordinate chart without reference to other coordinate charts. All you need is the topological structure of the manifold.

 

[PeterDonis]

In other words I give you a chart for a manifold: how can you claim it is a smooth one ?

It is smooth if each of the coordinates is a smooth function on the manifold. What's the problem?

 

[cianfa72]

It is smooth if each of the coordinates is a smooth function on the manifold. What's the problem?

Yes, but to say a coordinate function is a smooth function on the manifold, we must have an already given smooth structure for the manifold itself.

 

[PeterDonis]

to say a coordinate function is a smooth function on the manifold, we must have an already given smooth structure for the manifold itself

Which, as @Hill pointed out, will always exist for any manifold, by the construction he gave.

Are you concerned that there might be multiple incompatible smooth structures on a particular manifold? I don't think that's possible.

 

[vanhees71]

The standard construction of differentiable manifolds starts with a Hausdorff topological space $M$. Its elements are named points.

Then you define a chart as a continuous function bijective function, whose inverse function is also continuous, (in short a homeomorphism) between an open set $U \subseteq M$ and an open set $U' \subseteq \mathbb{R}^d$, $h:U \rightarrow U'$.

Two charts $h_1$ and $h_2$ are compatible, if the homeomorphism $h_1 \circ h_2^{-1}:U_2' \rightarrow U_1'$ restricted to $U_1' \cap U_2'$ is a diffeomorphism.

An atlas $A$ is a set of compatible charts, $h_j$ for which $\cup_{j} U_j =M$.

Two atlasses $A_1$ and $A_2$ are equivalent, if also $A_1 \cup A_2$ is an atlas. A differentiable manifold is then defined by the equivalence class $[A]$ of some atlas $A$.

Then let $f:U \rightarrow M$. It's called differentiable if the function $f \circ h^{-1}:U' \rightarrow \mathbb{R}$ is differentiable for an arbitrary chart in the set of compatible charts defined on $U$ that are compatible with the all corresponding charts in $[A]$.

 

[cianfa72]

Which, as @Hill pointed out, will always exist for any manifold, by the construction he gave.

ok, through neighborhoods of the manifold homeomorphic with the Euclidean space.

Are you concerned that there might be multiple incompatible smooth structures on a particular manifold? I don't think that's possible.

I don't know...for example can we endow the 3d cube's surface with different incompatible smooth structures ?

 

[cianfa72]

Then let $f:U \rightarrow M$. It's called differentiable if the function $f \circ h^{-1}:U' \rightarrow \mathbb{R}$ is differentiable for an arbitrary chart in the set of compatible charts defined on $U$ that are compatible with the all corresponding charts in $[A]$.

That was basically my point: we need a smooth structure for the manifold in the first place; only then you can check if a given function defined on the manifold (e.g. a coordinate function) is indeed a differentiable smooth function or is not.

 

[cianfa72]

Those can be defined for any coordinate chart without reference to other coordinate charts. All you need is the topological structure of the manifold.

If you only have a topological structure on the manifold, can you actually use it to define derivatives of functions on the manifold (e.g. derivatives of coordinate functions) ?

 

[PeterDonis]

If you only have a topological structure on the manifold, can you actually use it to define derivatives of functions on the manifold (e.g. derivatives of coordinate functions) ?

A topological structure means you can use the construction @Hill describes, which is sufficient to define derivatives.

 

[cianfa72]

What about the 3d cube's surface as manifold as in my post #19 ? Thanks.

 

[PeterDonis]

What about the 3d cube's surface as manifold as in my post #19 ? Thanks.

When you say "3d cube", you are already assuming more than just a topological structure (i.e., a topological 2-sphere). You are assuming a specific embedding in Euclidean 3-space with a specific metric. And if your question is, is there a smooth chart that is compatible with that embedding and that metric, I believe the answer is no: there will be no smooth chart that is both compatible with that embedding and that metric, and includes the corners of the cube.

Note that issue here is not being able to find a "smooth structure" of the manifold itself; we know how to do that for a topological 2-sphere. The issue is wanting something more than just a smooth structure or a smooth coordinate chart (or atlas of such charts)--in this case, compatibility with a particular embedding into Euclidean 3-space with a particular metric. In general there is no guarantee that such a thing will be possible.

 

[cianfa72]

You are assuming a specific embedding in Euclidean 3-space with a specific metric. And if your question is, is there a smooth chart that is compatible with that embedding and that metric, I believe the answer is no: there will be no smooth chart that is both compatible with that embedding and that metric, and includes the corners of the cube.

ok, so the point is that the 3d cube surface is not an embedded submanifold of $\mathbb R^3$ ($\mathbb R^3$ endowed with its standard smooth structure and metric).

Note that issue here is not being able to find a "smooth structure" of the manifold itself; we know how to do that for a topological 2-sphere.

ok, therefore we can define a smooth structure on the 3d cube surface turning it in a smooth manifold (leveraging the homeomorphism with the 2-sphere).

 

[PeterDonis]

the point is that the 3d cube surface is not an embedded submanifold of $\mathbb R^3$ ($\mathbb R^3$ endowed with its standard smooth structure).

I believe that is what @Orodruin's statement in post #11 implies, yes. You can define the embedding, but it won't define an embedded submanifold (although each face of the cube, considered as an open set excluding the corners and edges, will be, taken on its own).

ok, therefore we can define a smooth structure on the 3d cube surface (leveraging the homeomorphism with the 2-sphere).

Yes. It just won't be compatible with the embedding in $\mathbb{R}^3$.

 

[fresh_42]

ok, so the point is that the 3d cube surface is not an embedded submanifold of $\mathbb R^3$ ($\mathbb R^3$ endowed with its standard smooth structure and metric).

It is an embedded submanifold, but its chart mappings are only continuous, not smooth, since you cannot differentiate at the corners since left and right derivatives do not coincide.

ok, therefore we can define a smooth structure on the 3d cube surface turning it in a smooth manifold (leveraging the homeomorphism with the 2-sphere).

No. Only if you blow it up to a 2-sphere and "smoothen" the corners.

Smooth means: All smooth paths on the manifold can smoothly be transported to the chart, differentiated there, and smoothly returned to the tangent space of the manifold. The last step is basically an identity since chart and tangent space coincide. If you have a corner in the path on the manifold, why should it magically go away? "Smooth charts" could mean that the mappings to the chart and back are smooth. It doesn't actually make much sense to speak of smooth charts. Smooth belongs to a mapping, chart to a piece of the tangent space. The mapping to the chart can be smooth, a path on the manifold can be smooth (or not), but what should a smooth Euclidean (or Minkowski) space be?

 

[PeterDonis]

and "smoothen" the corners

Are the corners defined in the topology of the "cube"? Or do you need the embedding into Euclidean 3-space to define them?

 

[fresh_42]

Are the corners defined in the topology of the "cube"? Or do you need the embedding into Euclidean 3-space to define them?

The two are topologically identical as topology only knows continuity. We already need a differentiable manifold if we want to speak of a differentiable structure. And, this differentiable structure is defined by the charts. This whole subject is circular reasoning. It attributes a property of mappings (infinite differentiability) to a piece of a flat space. The cube with its natural embedding doesn't allow a differentiable structure. If we transform it homeomorphic into a sphere, then we can use the new embedding for a differentiable structure. However, the homeomorphism isn't a diffeomorphism. It breaks down at the corners and vertices.

The chart mappings of a (Riemannian) manifold are (local) homeomorphisms.
The chart mappings of a smooth manifold are (local) diffeomorphisms.
(My paperback needs a page to describe it technically correctly. The main idea is that two overlapping charts allow smooth transformations: smoothly onto one chart and smoothly back from the other.)

Since most physical laws are smooth and nature usually hasn't any corners, most manifolds are assumed to be smooth.

 

[PeterDonis]

The cube with its natural embedding doesn't allow a differentiable structure.

Ah, got it. So that's the point where things break down--once we pick "cube with its natural embedding" we are no longer compatible with any smooth structure on the 2-sphere topological manifold.