0
大学数学基礎解説
東大数理院試過去問解答例(2024B08)
452
0
$$$$
ここでは東大数理の修士課程の院試の2024B08の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
2024B08
球面$S^2$と$S^1$の直積
$$
S^2\times S^1=\{(x,y,z,t,u)\in\mathbb{R}^5|x^2+y^2+z^2=t^2+u^2=1\}
$$
を考える。ここで以下の関係
$$
(x,y,z,t,u)\sim(y,x,z,-t,-u)
$$
$$
(x,y,z,t,u)\sim(x,z,y,-t,-u)
$$
で生成される同値関係$\sim$を考え、これについての
剰余位相空間$X=(S^2\times S^1)/\sim$を考える。
- $X$がハウスドルフであることを示しなさい。
- $X$の整係数ホモロジー群$H_i(X,\mathbb{Z})$を求めなさい。
- ハウスドルフ空間の有限群による剰余なのハウスドルフである。
- $S^2$の部分集合$S=\{(x,y,z)|x\geq y\geq z\}\cup\{(x,y,z)|x\geq z\geq y\}$を考える。ここで$S$の部分集合$\{(x,y,z)|x=y\geq z\}$と$\{(x,y,z)|x=z\geq y\}$を$(x,y,z)\mapsto(z,x,y)$で張り合わせたものは$S^3$に同相である。ここで$S\to S^3$から同相
$$ S^3/\sim_A\simeq S^3 $$
が誘導される。但し$\sim_A$は$(x,y,z)\sim_A(y,z,x)$で生成される同値関係である。この同一視の下、変換$(x,y,z)\mapsto (x,z,y),(x,y,z)\mapsto (z,y,x)$及び$(x,y,z)\mapsto (y,x,z)$は$S^3$のある平面を軸にした鏡映変換になっている。この平面を$z=0$とすることで、$X$は$S^2\times S^1$の
$$ (x,y,z,t,u)\sim (x,y,-z,-t,-u) $$
による同値関係に等しい。以下ホモロジーを計算していく。まず$S^1$の部分集合$A=\{(t,u)|t>0\},B=\{(t,u)|t<0\},C=\{(t,u)|u>0\},D=\{(t,u)|u<0\}$を考える。このとき$A'=S^2\times A$と$C'=S^2\times C$は$X$の開被覆になっている。よってマイヤー・ヴィートリス完全列
$$ \begin{array}{ccccccc} 0&\to&0&\to &H_3(X,\mathbb{Z})&\to\\ \mathbb{Z}^2&\to &\mathbb{Z}^2&\to &H_2(X,\mathbb{Z})&\to \\ 0&\to&0&\to&H_1(X,\mathbb{Z})&\to \\ \mathbb{Z}^2&\to&\mathbb{Z}^2&\to&\mathbb{Z}&\to&0 \end{array} $$
が得られる。よってまず$H_1(X,\mathbb{Z})\simeq\mathbb{Z}$が従う。一方$2$次の射は
$$ \begin{pmatrix} 1&1\\ 1&-1 \end{pmatrix} $$
で表現されるから$H_3(X,\mathbb{Z})=0$かつ$H_2(X,\mathbb{X})=\mathbb{Z}/2\mathbb{Z}$が従う。以上から
$$ \color{red}H_i(X,\mathbb{Z})=\begin{cases} \mathbb{Z}&(i=0,1)\\ \mathbb{Z}/2\mathbb{Z}&(i=2)\\ 0&(\textsf{if else}) \end{cases} $$
が従う。
投稿日：5月15日
更新日：6月7日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中