1
$\begingroup$

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not necessarily imply $v=0$.
Also, and additional hypothesis (*) is: if $x\in A$, $g_x$ defines an inner product on $T_xM$.

I have the following question:

is it possible to prove a tubular neighborhood theorem is this case? I mean, find an open neighborhood of the zero section in the normal bundle of $A$ in $M$, and a diffeomorphism to an open neighborhood of $A$ in $M$. For example, I was thinking on using the exponential map, but I really don't know much about semi-riemannian metrics, and if the geodesics and the exponential are well defined, and if they could be used to prove what i want in this case.

Notice that: the additional hyp (*) allow us to define the normal bundle as the vectors of $T_xM$ wich are orthogonal to $T_xA$

$\endgroup$
3
  • 2
    $\begingroup$ Yes, there is a tubular neighbourhood theorem. You do not technically need any kind of (pseudo) Riemann metric to prove the tubular neighbourhood theorem. In this context it's simply called the "topological tubular neighbourhood theorem". In particular you define the topological normal bundle to be the fibrewise quotient of the pull-back of the ambient tangent bundle by the submanifold's tangent bundle. $\endgroup$ Jan 16, 2014 at 4:15
  • 2
    $\begingroup$ Moreover, the different definitions of the normal bundle when you have any kind of extra structure like a Riemann metric are all isomorphic. $\endgroup$ Jan 16, 2014 at 4:16
  • $\begingroup$ @RyanBudney does this lead to a slice theorem for pseudo-Riemannian manifolds? Also, could you introduce a reference on the "topological tubular neighborhood theorem" and possibly the slice theorem? $\endgroup$
    – QGravity
    Apr 12, 2023 at 15:09

1 Answer 1

2
$\begingroup$

For a pseudo-Riemannian manifold, the local version of the exponential slice theorem is the Luna slice theorem,

  • MR0342523 (49 #7269) Luna, Domingo Slices étales. (French) Sur les groupes algébriques, pp. 81–105. Bull. Soc. Math. France, Paris, Memoire 33 Soc. Math. France, Paris, 1973.

There are singular points in the resulting tubular non-neighborhood. A good example for honing your understanding is the adjoint action of $SL(2,\mathbb R)$.

In your case, the exponential slice theorem works okay, since your semi Riemannian metric is a Riemannian metric on an open neighborhood of the submanifold $A$, by your condition (*).

$\endgroup$
2
  • $\begingroup$ You're right, I delete my comment. Sorry for that. $\endgroup$ Jan 16, 2014 at 18:55
  • $\begingroup$ thanks, your last observation solved my problem, at least including the condition (*). I'm going to look at the local version you said for the general case. $\endgroup$ Jan 17, 2014 at 15:50

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.