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$ Commented 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$ Commented Dec 15, 2014 at 17:30
  • 1
    $\begingroup$ @FrancescoPolizzi thanks for the edit the question. $\endgroup$ Commented 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$ Commented Dec 21, 2014 at 11:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .