I'm trying to solve Problem 2.9 in John Lee's book Introduction to Riemannian Manifolds. It says
Suppose that $(M,g)$ is a Riemannian manifold, $f\in C^{\infty}(M)$, and $\mathscr{R}\subseteq M$ is the set of regular points of $f$. Then for each $c\in \mathbb{R}$, the set $M_c=f^{-1}(c)\cap \mathscr{R}$ (if nonempty) is an embedded smooth hypersurface in $M$, and $\text{grad}(f)$ is everywhere normal to $M_c$.
I'm pretty sure that $M_c$ being an embedded hypersurface is from the Regular Level Set Theorem (Corollary A.26), but I have two questions at the moment.
-
I'm confused on how to show that the gradient is everywhere normal to $M_c$. I guess the idea would be to show that given $p\in M_c$, we have $\langle \text{grad}(f), w \rangle_g=0$ for every $w\in T_pM_c$, but I'm a little lost on how to do this rigorously. How can you show this properly?
-
Does this same result hold for pseudo-Riemannian metrics? I'm pretty sure it does, but I'm still unsure if this uses positive/negative definiteness somewhere along the way.
I'd appreciate thoughtful/detailed answers to these questions, thanks so much for the help!
Best Answer
First, ignore the Riemannian setting. One of the conclusions of the regular value theorem is that the tangent space to the submanifold equals the kernel of the derivative of the map whose level set you’re taking. Lee for sure talks about this (look in the sections where he talks about tangent spaces of submanifolds)
(There is also a very useful generalization using transversality where you take the preimage of an entire submanifold, not just a single point). The first part I’m guessing you’re fine with (it’s the usual proof via the inverse/implicit function theorem). The second statement about tangent spaces is also the usual calculus argument, but here’s a reminder of that argument:
Now how does this help us in the semi-Riemannian setting? Well, we consider a smooth function $f:M\to\Bbb{R}$ (i.e $N=\Bbb{R}$ and our $\Phi$ is now simply denoted $f$ because of tradition) which has $y\in\Bbb{R}$ as a regular value. In this case since we have a canonical isomorphism $T_{f(p)}\Bbb{R}\cong \Bbb{R}$, we can think of $Tf_p:T_pM\to T_{f(p)}\Bbb{R}$ as giving rise to a linear map $df_p:T_pM\to\Bbb{R}$ (this is one way of thinking about the exterior derivative of a function). Now suppose further that $g$ is a semi-Riemannian metric on $M$. Recall that the definition of the gradient vector is that it is the metrically-related vector to the covector $df_p$, i.e \begin{align} (\text{grad}_g f)(p):= (df_p)^{\sharp} \end{align} i.e $(\text{grad}_g f)(p)\in T_pM$ is the unique vector such that for all $v\in T_pM$, we have \begin{align} g\left((\text{grad}_g f)(p), v\right)&=df_p(v).\tag{$*$} \end{align} Note carefully that this only relies on non-degeneracy of the bilinear map $g$ (see here for a more detailed explanation of the musical isomorphisms). Positive-definiteness is not needed. In fact, you can also work with skew-symmetric forms (e.g symplectic forms) and consider the symplectic gradient and prove a similar result. So, putting everything together, we have \begin{align} T_p(M_{f,y})&=\ker(df_p)\\ &:=\{v\in T_pM\,:\, df_p(v)=0\}\\ &:=\{v\in T_pM\,:\, g\left((\text{grad}_g f)(p), v\right)=0\}\\ &:=\{v\in T_pM\,:\, \text{$v$ is $g$-orthogonal to $(\text{grad}_g f)(p) $}\} \end{align} Notice that the first equal sign is the only one with true content (and it’s a special case of the one we proved above). The second equal sign is definition of kernel, the third is by definition of gradient vector $(*)$, and the last is a rephrasing. You can now take the $g$-orthogonal complement of both sides to say that $(\text{grad}_gf)(p)$ spans the $g$-orthogonal complement of $T_p(M_{f,y})$.
So, in some sense, you can say that the definition of the gradient vector has been designed to make this claim true (note that the gradient vector is a different beast from the covector $df_p$).