ここでは東大数理の修士課程の院試の2019B05の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
$u\in\mathbb{R}^4$を単位ベクトルとする。ここで$C^\infty$級関数$f_v:\mathbb{R}P^3\to\mathbb{R}$を、$\mathbb{R}^4$の原点を通る直線$\ell$で代表される$\mathbb{R}P^3$の元に対して、$v$の$\ell$への直交射影と$v$の内積を対応させる関数とする。また$C_v$を$f_v$の臨界点全体のなす部分集合とする。
(1) $f_v^{-1}(\frac{1}{2})$は$\mathbb{R}P^3$の部分多様体であり、$S^2$と同相であることを示しなさい。
(2) $C_v$の連結成分を全て挙げ、これらが$\mathbb{R}P^3$の部分多様体であることを示しなさい。
(3) 点$p\in C_v$をとり、$p$を含む$C_v$の連結成分の次元を$d$とする。埋め込み$\iota:\mathbb{R}^{3-d}\hookrightarrow \mathbb{R}P^3$で以下の条件
(i) $\iota(0)=p$
(ii) $\det\begin{pmatrix}
\frac{\partial^2(f_v\circ\iota)}{\partial x_i\partial x_j}(0)\\
\end{pmatrix}_{i,j}\neq0$
を満たすものが存在することを示しなさい。