Let $d \geq 3$ and suppose that $K \subset \mathbb{R}^{d}$ is a convex body (compact, convex, non-empty interior). Is the following true?



> 
> The boundary $\partial K$ is a $C^1$-manifold if and only if for each projection $\pi:K\rightarrow H$ to a hyperplane $H$ has the property that $\partial \pi(K)$ is a $C^1$-manifold.
> 
> 
> 


I suspect the answer is true. I am most interested in the case $d=3$.



> 
> If it is true, does it hold true for $C^1$ replaced with $C^k$, $k \in \mathbb{N} \cup \{\infty\}$?
> 
> 
> 


I have no familiarity with this field so I have no idea about the difficulty of the question. I would appreciate any references.



Can you see smoothness of the boundary of a convex body from its shadow?
The statement for $C^1$ regularity is true, but with "dimension-2 projections" instead of "codimension-1 projections''. This is even stronger, if $d\ge 3$. On the other hand, for $d=2$ the statement with "hyperplane projections" fails, since $1$ dimensional projections are just closed intervals, whose boundary is certainly smooth. Also, an analogous statement holds with "plane sections" instead of "plane projections", for analogous reasons. Here's a sketch of the proof. 


A convex function is differentiable if and only if its subdifferential is a single point. By a compactness argument, this implies that a convex function everywhere differentiable on a convex domain of $\mathbb{R}^n$ is automatically $C^1$.


The boundary of a convex body is locally the graph of a convex function. The above property then implies: if the boundary of $K$ is not $C^1$, on some point $x$ of $\partial K$ it admits two supporting hyperplanes. If we project on the plane section orthogonal to the intersection of these two hyperplanes, we find a 2-dimensional projection of $K$ with boundary that is not smooth at $\pi x$ (because it has two supporting lines at that point). And conversely.


