3
$\begingroup$

Let $S$ be a surface in $\mathbb{R}^{3}$ such that every regular curve $\gamma\subset S$ has nowhere vanishing curvature, that is $\kappa(z)\neq 0$ for all $z\in \gamma$. Does this imply that $S$ is a part of a sphere?

$\endgroup$
3
  • 1
    $\begingroup$ Why? An ellipsoid has also this property, right? $\endgroup$ Dec 15, 2014 at 17:24
  • $\begingroup$ @FrancescoPolizzi Thanks for the comment.yes. Can one say any surface with this property satisfies $Ax.x=c$ where $A$ is a positive definitive $3\times 3$ matrix and $c$ is constant? $\endgroup$ Dec 15, 2014 at 17:30
  • 1
    $\begingroup$ @FrancescoPolizzi thanks for the edit the question. $\endgroup$ Dec 15, 2014 at 18:40

1 Answer 1

5
$\begingroup$

I'm going to assume that you mean the following property

$S \subset \mathbb{R}^3$ has property (*) if for any regular curve $\gamma\subset S$, the curvature vector $\vec{\kappa}$ of $\gamma$ as a curve in $\mathbb{R}^3$ is nowhere vanishing.

(if you mean the curvature of $\gamma$ as a curve in $S$, then no surface $S$ has such a property, as seen by any geodesic on $S$).

I claim that (*) is equivalent to strict convexity of $S$. For any $\gamma \subset S$, (which we assume to be parametrized by unit speed, for simplicity) the curvature vector (in $\mathbb{R}^3$) is given by $$ \vec{\kappa} = \nabla^{\mathbb{R^3}}_{\dot\gamma}\dot\gamma = \nabla^{S}_{\dot\gamma}\dot\gamma + h(\dot\gamma,\dot\gamma)\nu_S, $$ where $h$ is the second fundamental form of $S$ and $\nu_S$ is the normal vector for $S$ in $\mathbb{R}^3$ (your conventions may vary, but it won't matter much anyways).

We know that $\nabla^{S}_{\dot\gamma}\dot\gamma \in TS$. Hence, this is an orthogonal decomposition. Thus, for $\vec{\kappa} = 0$ it must be that $h(\dot\gamma,\dot\gamma) = 0$, which would contradict strict convexity.

On the other hand, if $S$ is not strictly convex, you can find a point $p$ and vector $V\in T_pS$ with $h(V,V) = 0$. The geodesic through $p$ with velocity $V$ at $p$ will have vanishing $\mathbb{R}^3$ curvature at $p$.

$\endgroup$
1
  • $\begingroup$ thanks again for your answer. just a question: what about the following generalization: A codimension one submanifold of $\mathbb{R}^{n}$ for which all regular curves are Frennete curve? Is this question an obvious generalization of my previous one? $\endgroup$ Dec 21, 2014 at 11:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.