[Math] Inverse Image of a Regular Value an Orientable Submanifold

differential-geometrydifferential-topologymanifoldssmooth-manifolds

Let $f:M^n \rightarrow \mathbb{R}$ be a smooth map, and let $c\in N$ be a regular value. When is $f^{-1}(c)$ an orientable manifold?

Note: I know by regular value thm, $f^{-1}(c)$ is a smooth $n-1$ dimensional submanifold of $M$, w/o boundary, and I am aware that if $M$ is $\mathbb{R}^n$ then this is true.

Best Answer

$f^{-1}(c)$ is orientable if and only if $f^{-1}(c-\epsilon,c+\epsilon)$ is orientable, assuming sufficiently small $\epsilon$.

If $M$ itself is orientable then that is a sufficient condition, because $f^{-1}(c-\epsilon,c+\epsilon)$ is an open subset and therefore orientable.

I don't think there's much more you can say than that.

Related Question