Apparently, $\{(x,y) \in \Bbb R^2, y - |x| = 0\}$ is an example of a level curve $C: f(x,y) = c$, such that $f$ is not smooth, but $C$ admits a smooth parameterization.
What is some smooth parameterization of the the level curve $C: y - |x| = 0$?
I am not sure how such a construction is possible. We would like to have $\gamma: (\alpha, \beta) \subset \Bbb R \to \Bbb R^2$, such $\gamma(t) = (\gamma_1(t), \gamma_2(t))$ satisfies $\gamma_2(t) = |\gamma_1(t)|$, for all $t \in (\alpha, \beta)$. If $\gamma_1(t) \neq 0$ for all $t$, then $\gamma$ doesn't cover $C$. On the other hand, if $\gamma_1(t) = 0$ for some $t$, then $\gamma_2$ cannot be differentiable at this point. Am I missing something here?
Edit:
Where a function $f$ is said to be "smooth" if it is $C^{\infty}$
Reparametrize by $t^3$, that is, consider $\gamma(t) = (t^3, |t^3|)$. The issue is that this parametrization is smooth, but not regular, that is, we must have $\gamma'(t) = 0$ for some $t$ (note that $t=0$ does it, as expected).
We will never find a parametrization both smooth and regular.