0
$\begingroup$

Let $M^3$ be a complete riemannian manifold and $\Sigma ^2\subset M^3$ a embedded minimal compact surface. Consider the normal variation $\phi: \Sigma \times \Bbb{R}\to M$ given by

$$\phi(p,t)=\exp_p(tN(p)),$$

when $N$ is a normal vector field along to $\Sigma.$

I want to show that:

Lemma: There is $\delta>0$ such that $\phi:\Sigma\times [0,\delta) \to M$ is an immersion and even an embedding on $\Sigma\times [0,\delta)$.

I tried a sketch with tubular neighborhood tecniques but I don't conclude anything in this direction. In fact, I know that there is the tubular neighborhood of $\Sigma$, but I don't know how immerse this in $M$.

Anyone has a little help?

Thanks so much.

$\endgroup$

closed as off-topic by Chris Gerig, Stefan Waldmann, Deane Yang, user1688, Myshkin Jun 4 '16 at 7:32

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Chris Gerig, Stefan Waldmann, Deane Yang, Community, Myshkin
If this question can be reworded to fit the rules in the help center, please edit the question.

4
$\begingroup$

The normal exponential map will be regular up to the focal distance which is the reciprocal of the maximal principal curvature, or equivalently (for minimal surfaces) the square root of the maximum of minus the Gaussian curvature. If you think in terms of specific estimates it may be easier to get a solution.

This applies for a surface in Euclidean space. In the general situation the technicalities are more involved but you should try to understand the basic case first.

$\endgroup$
1
$\begingroup$

You may end up reading a lot more than just what you wanted to know originally, but I think that Gromov's article Sign and geometric meaning of curvature is an amazing place to look for this sort of information. It will certainly explain the right way to think about this geometrically.

$\endgroup$

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