2
$\begingroup$

Suppose we are given a $d-$dimensional submanifold of $\mathbf{R}^n$ with a trivial normal bundle, whose $d-$dimensional volume is $V$ and has a non-self-intersecting tube of radius $r$ around it. Can one obtain an explicit upper bound $L$ such that there must exist a frame of orthonormal vector fields that is $L-$Lipschitz (with respect to the Euclidean norm on both the frame and the manifold)?

$\endgroup$
1
  • $\begingroup$ Have you worked this out when $d = 1$? That seems like a somewhat easier initial case to understand. $\endgroup$
    – Deane Yang
    Jul 22, 2010 at 0:38

2 Answers 2

1
$\begingroup$

You will probably need to require $C^2$ smoothness of your submanifold. Take a simple example of $d=1$ and the manifold the graph of the function $f(x) = x^\alpha$ for $x > 0$ and $f(x) = 0$ if $x \le 0$. Then for $1 < \alpha < 2$, the normal bundle is only Hölder continuous, so no $L$ exists at $x = 0$. Or would you exclude this counterexample for the reason that the exponential map from the normal bundle is not a diffeomorphism onto any ball of radius $r > 0$ at $x = 0$?

Generally, you will probably need to have a bound on the extrinsic curvature, for which $C^2$ and compactness would suffice.

$\endgroup$
0
$\begingroup$

Sorry, I meant an orthonormal frame for the normal bundle that is Lipschitz. Supposing the manifold is closed, When $d=1$ the manifold is $S^1$, so can't one just do parallel transport along the curve starting from a point $x$ all the way back and then use a constant-rate rotation to match up at $x$?

$\endgroup$
3
  • $\begingroup$ You might possibly be having a problem of browser losing the cookies. Thus you are shown as multiple users. You might want to contact the moderators to merge them. $\endgroup$
    – Anweshi
    Jul 25, 2010 at 6:53
  • $\begingroup$ And then normally you can comment on questions for additional remarks, without needing to add them as answer. $\endgroup$
    – Anweshi
    Jul 25, 2010 at 6:55
  • $\begingroup$ Thanks a lot, but I think I won't be shown as the first user any more, so it should be fine. $\endgroup$
    – Hari
    Jul 25, 2010 at 7:41

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.