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

255

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

2022B05

集合
$M := {(\begin{matrix} x & z \\ y & w \end{matrix}) \in M_{2} (R) | x z + y w = 1}$
$N := {Y \in M_{2} (R) | rank Y = Tr Y = 1}$
をとり、写像
$\begin{aligned} π : M & \to N \\ (\begin{array}{c} x & z \\ y & w \end{array}) & \mapsto (\begin{array}{c} x z & x w \\ y z & y w \end{array}) \end{aligned}$
を考える。
(1) $M$ 及び $N$ は $π$ が $C^{\infty}$ 級になるような $C^{\infty}$ 級多様体の構造を持つことを示せ。
(2) $M$ 上の $2$ 次形式 $η := d x \land d z + d y \land d w$ を考える。このとき、 $η = π^{*} ω$ なる $N$ 上の $2$ 次形式が一意的に存在することを示せ。
(3) $G = {GL}_{2} (R)$ とおく。ここで $g \in G$ を
$\begin{aligned} L_{g} : N & \to N \\ Y & \mapsto g Y g^{- 1} \end{aligned}$
に対応させる作用は推移的であることを示せ。また任意の $g \in G$ について $L_{g}^{*} ω = ω$ であることを示せ。
(4) $b > 0$ に対して
$S (b) := {Y \in N | Tr (Y^{t} Y - Y^{2}) \leq b^{2}}$
と定義する。このとき積分 $\int_{S (b)} ω$ を計算しなさい。

まずここで $M$ の開集合
$\begin{aligned} U_{x} & = {A = (a_{i, j}) \in M | a_{1, 1} \neq 0} \\ U_{y} & = {A = (a_{i, j}) \in M | a_{2, 1} \neq 0} \end{aligned}$
を取ったとき、 $(x, y, z)$ 及び $(x, y, w)$ は $U_{x}$ 及び $U_{y}$ の座標系を定めている。ここで作用 $R^{\times} ↷ M$ を
$\begin{aligned} R^{\times} ↷ M & \to M \\ r ↷ (\begin{array}{c} x & z \\ y & w \end{array}) & \mapsto (\begin{array}{c} r x & \frac{z}{r} \\ r y & \frac{w}{r} \end{array}) \end{aligned}$
で定義する。このとき $N = M / R^{\times}$ である。上記の開集合及びその上の座標系から $N$ の座標系が誘導される。この $N$ の座標系は $M$ の座標系を $π$ を通して誘導しているから、 $π$ は $C^{\infty}$ 級写像になる。
$2$ 次形式 $η$ は $R^{\times}$ の作用で不変であるから $ω$ が存在する。また $π$ の全射性から $ω$ の一意性が従う。
トレースの共役不変性から $N$ の元は全て固有値 $0, 1$ を持つから、 $N$ の元は全て共役である。よって前半が従う。次に写像
$\begin{aligned} L_{g} : M & \to M \\ (\begin{array}{c} x & z \\ y & w \end{array}) & \mapsto (\begin{array}{c} g (\begin{matrix} x \\ y \end{matrix}) & ^{t} g^{- 1} (\begin{matrix} z \\ w \end{matrix}) \end{array}) \end{aligned}$
をとる。このとき
$\begin{aligned} (π^{*} L_{g}^{*}) ω & = (L_{g} \circ π)^{*} ω \\ = (π \circ L_{g})^{*} ω \\ = L_{g}^{*} π^{*} ω \\ = L_{g}^{*} η \\ = η \end{aligned}$
であるから $ω$ の一意性より $L_{g}^{*} ω = ω$ が従う。
まず
$T (b) := {(\begin{matrix} x & z \\ 1 & w \end{matrix}) \in M | - b \leq x w - z \leq b}$
とおく。ここで
$π : T (b) \to S (b)$
を考える。 $π$ による $T (b)$ の像は
$π (T (b)) = {(\begin{matrix} x z & x w \\ z & w \end{matrix}) \in S (b)}$
であり、 $S (b) ∖ π (T (b))$ は面積 $0$ であるから、所望の積分値は $π (T (b))$ 上で計算すれば良い。また $π : T (b) \to π (T (b))$ は微分同相であるから、
$\begin{aligned} \int_{S (b)} ω & = \int_{T_{1} (b)} π^{*} ω \\ = \int_{T_{1} (b)} d x \land d z \end{aligned}$
である。ここで $T (b)$ の向きを適切に定めるとこの積分値は
$\begin{aligned} \int_{T_{1} (b)} d x \land d z & = 2 b \int_{- \infty}^{\infty} \frac{1}{1 + x^{2}} d x = 2 b π \end{aligned}$
である。

投稿日：2024年3月6日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53362

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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