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

279

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

2019B07

$R^{5}$ の部分空間
$X = {(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}) \in R^{5} | \begin{matrix} x_{1}^{2} + x_{2}^{2} + x_{3}^{2} + x_{4}^{2} + x_{5}^{2} = 1 \\ x_{1}^{2} + x_{2}^{2} + x_{3}^{2} - x_{4}^{2} - x_{5}^{2} = 0 \end{matrix}}$
のホモロジー群 $H^{*} (X, Z)$ を求めなさい。
$R P^{4}$ の部分空間
$X = {(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}) \in R P^{4} | x_{1}^{2} + x_{2}^{2} + x_{3}^{2} - x_{4}^{2} - x_{5}^{2} = 0}$
のホモロジー群を求めなさい。

$X$ は $S^{2} \times S^{1}$ に同相である。ここで $S^{k}$ のホモロジー群は全て $Z^{r}$ に同型であり、この $Tor$ 群は $0$ であるから、Kunnethの公式によって
$\begin{aligned} H^{*} (X, Z) & ≃ ⨁_{i = 0}^{*} H^{i} (S^{2}, Z) \otimes H^{* - i} (S^{1}, Z) \end{aligned}$
である。以上から
$H^{*} (X, Z) = {\begin{array}{cc} Z & (* = 0, 1, 2, 3) \\ 0 & (if else) \end{array}$
がわかる。
まず $Y$ は $X$ に対して $\pm 1$ による作用を同一視した空間である。そして $π : S^{2} \times S^{1} \to Y$ を自然な全射とする。ここで $S^{1}$ の部分集合 $A, B$ を
$\begin{aligned} A & = {(x, y) \in S^{1} | x \neq 0} \\ B & = {(x, y) \in S^{1} | y \neq 0} \end{aligned}$
とする。ここで $A^{'}$ 及び $B^{'}$ を $π (S^{2} \times A)$ 及び $π (S^{2} \times B)$ と定義する。これらは $S^{2}$ にホモトープである。また
$Y = A^{'} \cup B^{'}$
であり、
$A^{'} \cap B^{'} = π ((S^{2} \times (A \cap B)))$
であり、これは $S^{2}$ にホモトープな $2$ つの連結成分からなる。以上からMayer-Vietoris完全列
$\begin{array}{cc} \dots & \to \\ \to & 0 & \to & 0 & \to & H^{3} (Y, Z) & \to \\ \to & Z \times Z & \to & Z \times Z & \to & H^{2} (Y, Z) & \to \\ \to & 0 & \to & 0 & \to & H^{1} (Y, Z) & \to \\ \to & Z \times Z & \to & Z \times Z & \to & H^{0} (Y, Z) & \to & 0 \end{array}$
が得られる。まず $Y$ は連結であるから $H^{0} (Y, Z) = Z$ である。次にランクの比較と自由 $Z$ -加群の部分加群が自由であることから $H^{1} (Y, Z) = Z$ である。次に $A^{'} \cap B^{'}$ の連結成分から $A^{'}$ 及び $B^{'}$ への埋め込みはホモトピー同値を定めているから、上記の完全列の $2$ 次の行の $Z \times Z$ の間の群準同型は適切な基底の下
$(\begin{matrix} 1 & 1 \\ 1 & 1 \end{matrix})$
で表示される。以上をまとめると
$H^{*} (Y, Z) ≃ {\begin{array}{cc} Z & (* = 0, 1, 2, 3) \\ 0 & (if else) \end{array}$
である。

投稿日：2023年10月31日

更新日：2023年12月5日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53180

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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