Much of the following explanation will adopt the notation in [1]} and [2]}. To establish \(\mathcal {M} := g^{-1}(\lbrace 0\rbrace )\)  as a Riemannian manifold, we first show that it is a smooth topological manifold. The requirements for this structure are:
