東大数理院試過去問解答例(2019B05)

160

ここでは東大数理の修士課程の院試の2019B05の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2019B05

$u \in R^{4}$ を単位ベクトルとする。ここで $C^{\infty}$ 級関数 $f_{v} : R P^{3} \to R$ を、 $R^{4}$ の原点を通る直線 $ℓ$ で代表される $R P^{3}$ の元に対して、 $v$ の $ℓ$ への直交射影と $v$ の内積を対応させる関数とする。また $C_{v}$ を $f_{v}$ の臨界点全体のなす部分集合とする。
(1) $f_{v}^{- 1} (\frac{1}{2})$ は $R P^{3}$ の部分多様体であり、 $S^{2}$ と同相であることを示しなさい。
(2) $C_{v}$ の連結成分を全て挙げ、これらが $R P^{3}$ の部分多様体であることを示しなさい。
(3) 点 $p \in C_{v}$ をとり、 $p$ を含む $C_{v}$ の連結成分の次元を $d$ とする。埋め込み $ι : R^{3 - d} ↪ R P^{3}$ で以下の条件
(i) $ι (0) = p$
(ii) $\det {(\begin{matrix} \frac{\partial^{2} (f_{v} \circ ι)}{\partial x_{i} \partial x_{j}} (0) \end{matrix})}_{i, j} \neq 0$
を満たすものが存在することを示しなさい。

まず $v = (a, b, c, d)$ とする。
$\begin{aligned} f : R P^{3} = S^{3} / \pm 1 & \to R \\ [x, y, z, w] & \mapsto (a x + b y + c z + d w)^{2} \end{aligned}$
と表される。ここで
$f_{v}^{- 1} (\frac{1}{2}) = {[x, y, z, w] \in S^{3} / {\pm 1} | (a x + b y + c z + d w)^{2} = \frac{1}{2}}$
である。ここで $| v | = 1 > \frac{1}{\sqrt{2}}$ であることから $a x + b y + c z + d w = \pm \frac{1}{\sqrt{2}}$ と $S^{3}$ の交点は二つの $S^{2}$ の非交和と同相であり、このことと上の $f_{v}^{- 1} (\frac{1}{2})$ の表示から、これが $S^{2}$ と同相であることが従う。
まず $f_{v} : R P^{3} = S^{3} / {\pm 1} \to R$ は(1)で表示したように与えられる。ここで $T R P^{3}$ は以下の式の左辺の切断たちで生成される自明束である。これらの切断の $d f_{v}$ によって
$- y \frac{\partial}{\partial x} + x \frac{\partial}{\partial y} + w \frac{\partial}{\partial z} - z \frac{\partial}{\partial w} \mapsto 2 (- a y + b x + c w - d z) (a x + b y + c z + d w)$
$- z \frac{\partial}{\partial x} - w \frac{\partial}{\partial y} + x \frac{\partial}{\partial z} + y \frac{\partial}{\partial w} \mapsto 2 (- a z - b w + c x + d y) (a x + b y + c z + d w)$
$- w \frac{\partial}{\partial x} + z \frac{\partial}{\partial y} - y \frac{\partial}{\partial z} + x \frac{\partial}{\partial w} \mapsto 2 (- a w + b z - c y + d x) (a x + b y + c z + d w)$
と移るから、 $f_{v} ([x, y, z, w])$ が臨界点であることと以下の条件
(i) $a x + b y + c z + d w = 0$
(ii) $- a y + b x + c w - d z = - a z - b w + c x + d y = - a w + b z - c y + d x = 0$
のいずれかを満たすことは同値である。後者を満たすのは $[a, b, c, d]$ のみ、前者を満たすのは平面 $a x + b y + c z + d w = 0$ 上の点である。よって $C_{v}$ の連結成分は一点 ${[a, b, c, d]}$ と $a x + b y + c z + d w = 0$ を満たす集合であり、いずれも $R P^{3}$ の部分多様体である。
まず $p = [x, y, z, w]$ が(i)を満たす場合を考える。このとき
$\begin{aligned} ι : R & \to R P^{3} \\ r & \mapsto [x + r a, y + r b, z + r c, w + r d] \end{aligned}$
とおく。このとき
$\begin{aligned} (f_{v} \circ ι) (r) = & \frac{(a (x + r a) + b (y + r b) + c (z + r c) + d (w + r d))^{2}}{(x + r a)^{2} + (y + r b)^{2} + (z + r c)^{2} + (w + r d)^{2}} \\ = & \frac{r^{2} (a^{2} + b^{2} + c^{2} + d^{2})^{2}}{(x^{2} + y^{2} + z^{2} + w^{2}) + r^{2} (a^{2} + b^{2} + c^{2} + d^{2})} \end{aligned}$
であるが、分母の $1$ 階微分及び分子の $0, 1$ 階微分が $r = 0$ に於いて $0$ になっていることを考慮すると、 $\frac{d^{2} f}{d r^{2}} (0) \neq 0$ を満たしていることがわかる。次に $p = [x, y, z, w]$ が(ii)を満たす場合を考える。このとき
$\begin{aligned} ι : R^{3} & \to R P^{3} \\ (s, t, u) & \mapsto [x + s b + t c + u d, y - s a + t d - u c - a, z - s d - t a + u b - d, w + s c - t b - u a c] \end{aligned}$
と定義する。このとき
$\begin{aligned} (f_{v} \circ ι) (s, t, u) = & \frac{(a (x + s b + t c + d u) + b (y - s a + t d - c u) + c (z - s d - t a + u b) + d (w + s c - t b - u a))^{2}}{(x + s b + t c + d u)^{2} + (y - s a + t d - c u)^{2} + (z - s d - t a + u b)^{2} + (w + s c - t b - u a)^{2}} \\ = & \frac{(a x + b y + c z + d w)^{2}}{(x + s b + t c + d u)^{2} + (y - s a + t d - c u)^{2} + (z - s d - t a + u b)^{2} + (w + s c - t b - u a)^{2}} \end{aligned}$
であるが、分母は異なる $2$ つのベクトルで $1$ 回ずつ方向微分したときの $(s, t, u) = (0, 0, 0)$ での値が $0$ である一方同じベクトルで $2$ 回微分したときの $(s, t, u) = (0, 0, 0)$ での値が $a^{2} + b^{2} + c^{2} + d^{2}$ であることと分子が定数であることを考慮すると、 $0$ に於けるへシアンは正則である。以上で結果が示せた。

投稿日：2024年3月13日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

53680

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2019B05)