東大数理院試過去問解答例(2024B07)

386

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

2024B07

$S^{n} \times S^{n}$ 上の $C^{\infty}$ 級関数
$\begin{aligned} f : S^{n} \times S^{n} & \to R \\ (x, y) & \mapsto ∥ 2 y - x ∥^{2} \end{aligned}$
をとり、臨界値全体の集合を $C$ 、正則値全体の集合を $D$ とおく。

$C$ の元を全て求めなさい。
$a \in C$ について、 $O_{a} := f^{- 1} (R ∖ {a})$ とおく。任意の $a, b \in C$ について $O_{a}, O_{b}$ は微分同相であることを示しなさい。
$f^{- 1} (D)$ は $1$ 次元ユークリッド空間 $R$ とあるコンパクト $C^{\infty}$ 多様体の直積に微分同相であることを示しなさい。

まず
$f (x_{1}, \dots, x_{n + 1}, y_{1}, \dots, y_{n + 1}) = 5 - 4 \sum_{i = 1}^{n + 1} x_{i} y_{i}$
である。ここで $(a_{1}, \dots, a_{n + 1}, b_{1}, \dots, b_{n + 1})$ に於ける接空間は $(a_{1}, \dots, a_{n + 1}, 0, \dots, 0)$ と $(0, \dots, 0, b_{1}, \dots, b_{n + 1})$ に直交なベクトル全体のなす空間である。ここで相異なる $i, j$ についてこの接空間は $D = a_{j} \frac{\partial}{\partial x_{i}} - a_{i} \frac{\partial}{\partial x_{j}}$ の型の元で生成され、
$(d f) D = D f = - 4 (a_{j} b_{i} - a_{i} b_{j})$
である。この式が $0$ になるにはある $s_{1}, \dots, s_{n + 1}$ 及び $(a, b) \in R^{2}$ が存在して $(a_{i}, b_{i}) = (s_{i} a, s_{i} b)$ が満たされていれば良い。ここでこのような $s_{i}, a, b$ について
$a^{2} \sum_{i} s_{i}^{2} = b^{2} \sum_{i} s_{i}^{2} = 1$
でなければならない。よって臨界点は
${(x, y) \in S^{n} \times S^{n} | y = \pm x}$
であり、この像は ${1, 9}$ である。よって臨界値は $1, 9$ である。
まず
$I_{+} = {(x, y) \in S^{n} \times S^{n} | x = y}$
及び
$I_{-} = {(x, y) \in S^{n} \times S^{n} | x = - y}$
とおく。このとき $(S^{n} \times S^{n}) ∖ I_{+}$ と $(S^{n} \times S^{n}) ∖ I_{-}$ が微分同相であることを示せば良いが、これは微分同相写像 $(x, y) \mapsto (x, - y)$ で移しあうから結果が従う。
まず
$f^{- 1} (D) = (S^{n} \times S^{n}) ∖ (I_{+} \cup I_{-})$
である。このとき
$\begin{aligned} F : (S^{n} \times S^{n}) ∖ (I_{+} \cup I_{-}) & \to (- 1, 1) \times X \\ (x, y) & \mapsto (x ・ y, (\frac{y - (x ・ y) x}{∥ y - (x ・ y) x ∥}), x) \end{aligned}$
を考える。但し
$X = {(u, v) \in S^{n} \times S^{n} | u ・ v = 0}$
である。これは $(u, v) \mapsto u ・ v$ で定義される写像 $S^{n} \times S^{n} \to (- 1, 1)$ に正則値定理を適用することで $C^{\infty}$ 級多様体であることがわかる。ここで $(r, u, v)$ に対して $G (r, u, v) = (v, \sqrt{1 - r^{2}} v + r u)$ と定義すると、これによって $F, G$ は一方が他方の逆写像になっている。以上から $f^{- 1} (D)$ は $(- 1, 1) \times X$ に微分同相であり、写像 $s \mapsto \frac{s}{1 - s^{2}}$ によって微分同相 $(- 1, 1) ≃ R$ が実現できるから、 $f^{- 1} (D)$ は $R \times X$ に微分同相である。

投稿日：2024年6月18日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53750

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2024B07)