To what extent smooth mappings of an affine line into a manifold determine its differentiable structure?

144 Views Asked by At

If $M$ is a (real) differentiable manifold, its differentiable structure is completely determined if it is known which mappings $M\to\mathbf{R}$ are smooth.

How much can be said about the differentiable structure of $M$ if it is known which mappings $\mathbf{R}\to M$ are smooth? I suspect that this is not enough to determine the differentiable structure of $M$. If so, can there be a number $k <\operatorname{dim}M$ such that the smooth mappings $\mathbf{R}^k\to M$ completely determine the differentiable structure of $M$?

I think my first question can be rephrased as follows: if $f\colon\mathbf{R}^n\to\mathbf{R}$ has the property that for every smooth $\gamma\colon\mathbf{R}\to\mathbf{R}^n$, the composition $f\circ\gamma\colon\mathbf{R}\to\mathbf{R}$ is smooth, does this imply that $f$ is smooth?

I conjecture that if $f\colon\mathbf{R}^n\to\mathbf{R}$ has the property that for every smooth $\sigma\colon\mathbf{R}^2\to\mathbf{R}^n$, the composition $f\circ\sigma\colon\mathbf{R}^2\to\mathbf{R}$ is smooth, then $f$ is smooth.

1

There are 1 best solutions below

0
On BEST ANSWER

I posted the question on MO and it received a satisfactory answer:

This is true for infinitely differentiable curves: if a map sends smooth curves to smooth curves, then it is smooth, by a theorem of Boman from 1967:

Jan Boman. Differentiability of a Function and of its Compositions with Functions of One Variable. Mathematica Scandinavica 20 (1967), 249–268.

Boman also proves (Theorem 3) that in the case of curves $C^∞$-functions in his theorem cannot be replaced by $C^k$-functions for a finite $k$.

However, if we switch from curves to surfaces, Theorem 8 in the cited paper shows that maps that send $C^k$-surfaces to $C^k$-surfaces are $C^k$-differentiable, for both finite and infinite $k$, answering the original question in the affirmative.