科学大数学院試過去問解答例(2024午後04)

731

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

2024午後04

$3$ 次元球面 $S^{3} = {(x_{1}, x_{2}, x_{3}, x_{4}) \in R^{4} | x_{1}^{2} + x_{2}^{2} + x_{3}^{2} + x_{4}^{2} = 1}$ 上の点 $p_{N} = (0, 0, 0, 1), p_{S} = (0, 0, 0, - 1), q_{1} = (0, 0, 1, 0), q_{2} = (0, \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}, 0)$ を考える。ここで $S^{3}$ の部分集合
$X = {(x_{1}, x_{2}, x_{3}, x_{4}) \in S^{3} | x_{1} x_{2} x_{3} = 0}$
とおき、 $R^{4}$ の位相から定まる部分位相をいれる。

$X ∖ {p_{N}, p_{S}}$ 及び $X$ の整係数ホモロジー群を求めなさい。
$X ∖ {q_{1}}$ 及び $X ∖ {q_{2}}$ の $2$ 次ホモロジー群は $0$ でないことを示しなさい。
$X$ から $X$ への同相による $p_{N}$ の像は $p_{N}$ か $p_{S}$ に限られることを示しなさい。

$X$ の部分集合 $Y_{i j} = {(x_{1}, x_{2}, x_{3}, x_{4}) \in X | x_{i} = x_{j} = 0}$ をとり、 $Y = ⋃_{i, j \in {1, 2, 3}} Y_{i, j}$ とおき、 $Z = X ∖ Y$ とおく。このとき $Y$ に少し厚みを持たせた図形と $Z ∖ {p_{N}, p_{S}}$ は内部が $X ∖ {p_{N}, p_{S}}$ の被覆になっているからMayer-Vietoris完全列
$\begin{array}{cccccc} \dots & \to & 0 & \to \\ 0 & \to & 0 & \to & H^{1} (X ∖ {p_{N}, p_{S}}, Z) & \to \\ Z^{24} & \to & Z^{18} & \to & Z & \to & 0 \end{array}$
が得られる。以上から
$H_{i} (X ∖ {p_{N}, p_{S}}) = {\begin{cases} Z & (i = 0) \\ Z^{7} & (i = 1) \\ 0 & (if else) \end{cases}$
である。次に $X ∖ {p_{N}}$ 及び $X ∖ {p_{S}}$ は可縮であるからMayer-Vietoris完全列
$\begin{array}{cccccc} \dots & \to & 0 & \to & H^{2} (X, Z) & \to \\ Z^{7} & \to & 0 & \to & H^{1} (X, Z) & \to \\ Z & \to & Z^{2} & \to & Z & \to & 0 \end{array}$
が得られる。以上から $H_{i} (X) = {\begin{cases} Z & (i = 0) \\ Z^{7} & (i = 2) \\ 0 & (if else) \end{cases}$
である。
より一般に任意の $q \in X ∖ {p_{N}, p_{S}}$ について $H_{2} (X ∖ {q}) \neq 0$ であることを示す。まず $q \notin Y$ の場合を考える。このとき $q$ の近傍 $U_{q}$ で $D^{2}$ と同相になるようなものをとる。このときMayer-Vietoris完全列
$\begin{array}{cccccc} \dots & \to & 0 & \to \\ 0 & \to & H_{2} (X ∖ {q}, Z) & \to & Z^{7} & \to \\ Z & \to & H_{1} (X ∖ {q}, Z) & \to & 0 & \to \\ Z & \to & Z^{2} & \to & Z & \to & 0 \end{array}$
が得られる。ここから $H_{2} (X ∖ {q}, Z) \neq 0$ が従う。次に $q \in Y$ の場合を考える。このとき $q$ の近傍 $U_{q}$ で $D^{2}$ とホモトピー同値になり、 $U_{q} ∖ {q}$ が二つの単位円の和集合 $A = {(x, y, z) = 1 | x^{2} + y^{2} - 1 = z = 0} \cup {(x, y, z) | x = y^{2} + z^{2} - 1 = 0}$ とホモトピー同値であるようなものをとる。この整係数ホモロジー群は $H_{1} (A, Z) = Z^{3}$ を満たすから、前半の議論と同様にMayer-Vietoris完全列
$\begin{array}{cccccc} \dots & \to & 0 & \to \\ 0 & \to & H_{2} (X ∖ {q}, Z) & \to & Z^{7} & \to \\ Z^{3} & \to & H_{1} (X ∖ {q}, Z) & \to & 0 & \to \\ Z & \to & Z^{2} & \to & Z & \to & 0 \end{array}$
が得られる。ここから $H_{2} (X ∖ {q}, Z) \neq 0$ が従う。
同相 $f : X \to X$ が存在するとき $H_{2} (X ∖ {p}, Z) ≃ H_{2} (X ∖ {f (p)}, Z)$ でなければならない。よって $X ∖ {p_{N}}$ と $X ∖ {p_{S}}$ の可縮性及び(2)より $f (p_{N})$ としてあり得るのは $p_{N}, p_{S}$ のみである。

投稿日：2024年4月11日

更新日：2024年10月4日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53766

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

科学大数学院試過去問解答例(2024午後04)