東大数理院試過去問解答例(2013B08)

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

2013B08

$M_{2} (R)$ の部分集合
$X = {A \in M_{2} (R) | tr A = 0, \det A = - 1}$
を考える。

$X$ は $M_{2} (R)$ の部分多様体になることを示せ。
行列 $g \in {SL}_{2} (R)$ に対して、写像 $f_{g} : M_{2} (R) \to M_{2} (R)$ を $f_{g} (A) := g A g^{- 1}$ と定義する。 $f_{g} : X \to X$ は微分同相写像であることを示せ。
写像 $J : T X \to T X$ で以下の条件

各 $A \in X$ に対して、 $J$ の $T_{A} X$ への制限は線型写像 $J_{A} : T_{A} X \to T_{A} X$ を誘導する。
任意の $A \in X$ について $J_{A} \circ J_{A} = - 1$ である。
任意の $g \in {SL}_{2} (R)$ 及び $A \in X$ について $d f_{g} \circ J_{A} = J_{f g (A)} \circ d f_{g}$ である。
を満たすようなものは存在しないことを示せ。

写像
$\begin{aligned} s : M_{2} (R) & \to R^{2} \\ (\begin{array}{c} x & y \\ z & w \end{array}) & \mapsto (x + w, x w - y z) \end{aligned}$
を取ったとき、 $s$ のヤコビ行列は
$(\begin{matrix} 1 & 0 & 0 & 1 \\ w & - z & - y & x \end{matrix})$
である。これがランク $< 2$ になるのは $(x, y, z, w) = (x, 0, 0, x)$ の場合だが、この像は $(0, x^{2})$ であるから、 $(0, - 1)$ は正則値である。よって正則値定理から $X = s^{- 1} (0, - 1)$ は $M_{2} (R)$ の部分多様体である。
まずトレースと行列式の共役不変性から $f_{g} (X) \subseteq X$ である。また $f_{g}$ は線型写像であるから特に $C^{\infty}$ 級である。また $f_{g}$ の逆写像は線型写像 $f_{g^{- 1}}$ で与えられるから、 $f_{g}$ は微分同相写像である。
存在を仮定して矛盾を導く。 $A = (\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix})$ とし、 $T_{A} X$ の基底をうまくとることで $J = (\begin{matrix} 0 & 1 \\ - 1 & 0 \end{matrix})$ と表現されているとする。ここで $g = (\begin{matrix} \sqrt{2} & 1 \\ 1 & \sqrt{2} \end{matrix})$ とおく。このとき $g A g^{- 1} = A$ である。いま $T_{A} X$ は
$\frac{\partial}{\partial x} - \frac{\partial}{\partial w}, \frac{\partial}{\partial y} - \frac{\partial}{\partial z}$
で生成されている $2$ 次元空間であり、この基底の下での $d f_{g}$ の表現行列は
$P = (\begin{matrix} 3 & - 2 \sqrt{2} \\ - 2 \sqrt{2} & 3 \end{matrix})$
である。ここで $d f_{g}$ が $J$ と可換であるためには $(\begin{matrix} x & y \\ - y & x \end{matrix})$ の型の行列、またはその共役であることが必要になる。このときトレースと行列式の共役不変性からこの行列が $P$ と共役になり得るのは $2 x = 3 + 3 = 6$ 及び $x^{2} + y^{2} = 1$ の場合のみであり、このようなことは実数の範囲では起こり得ない。よって矛盾が言えたから $J$ の非存在が示された。

投稿日：2024年8月10日

更新日：2024年8月10日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53889

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2013B08)