東大数理院試過去問解答例(2018B06)

248

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

2018B06

$C^{2}$ の変換 $I, J$ を
$I (z, w) := (i z, i w)$
$J (z, w) := (- \overset{―}{w}, \overset{―}{z})$
で定義され、 $C^{2}$ の間の全単射全体のなす群のうち $I, J$ で生成される部分群を $Γ$ とおく。また
$S^{1} := {z \in C | | z | = 1}$
$D^{2} := {z \in C | | z | \leq 1}$
$Int (D^{2}) := D^{2} ∖ S^{1}$
とおく。ここで
$U = (Int (D^{2}) \times S^{1}) \cup (S^{1} \times Int (D^{2}))$
$V = ((D^{2} ∖ {0}) \times S^{1}) \cup (S^{1} \times D^{2} ∖ {0})$
と定義する。
(1) 整係数ホモロジー群 $H_{*} ((U \cap V) / Γ; Z)$ を求めなさい。
(2) 整係数ホモロジー群 $H_{*} (V / Γ; Z)$ を求めなさい。
(3) 整係数ホモロジー群 $H_{*} ((U \cup V) / Γ; Z)$ を求めなさい。

まず
$U \cap V = (Int (D^{2}) ∖ {0} \times S^{1}) ⊔ (S^{1} \times Int (D^{2}) ∖ {0})$
である。ここで変換 $J$ は $U \cap V$ の左側の和成分を右側に移す一方 $I$ は成分を保ち、また $J I J^{- 1} = I^{- 1}$ であるから、求めるホモロジー群は $(Int (D^{2}) ∖ {0} \times S^{1}) / I \approx (S^{1} \times S^{1}) / I$ のホモロジー群に等しい(ここで $\approx$ はホモトープであることを指す)。ここで連続写像
$\begin{aligned} S^{1} \times S^{1} & \to S^{1} \times S^{1} \\ (z, w) & \mapsto (z^{4}, \frac{w}{z}) \end{aligned}$
を取ったとき、ここから同相 $(S^{1} \times S^{1}) / I ≃ S^{1} \times S^{1}$ が誘導される。よって求めるホモロジー群は $S^{1} \times S^{1}$ のホモロジー群、つまり
$H^{*} ((U \cap V) / Γ; Z) ≃ {\begin{array}{cc} Z & (* = 0) \\ Z^{2} & (* = 1) \\ Z & (* = 2) \\ 0 & (if else) \end{array}$
である。
まず $V$ は $S^{1} \times S^{1}$ のホモトープであり、これは $Γ$ の作用と整合的なので、 $X = (S^{2} \times S^{1}) / Γ$ のホモロジー群を求めればよい。ここで $X$ の胞体分割を
$X = e_{21} \cup e_{22} \cup e_{11} \cup e_{12} \cup e_{13} \cup e_{14} \cup e_{01} \cup e_{02}$
ととる。但し $e_{1 j}$ は ${1} \times {e^{i θ} | \frac{2 (j - 1) π}{4} \leq θ \leq \frac{2 j π}{4}}$ から誘導される $1$ 胞体、 $e_{2 j}$ は ${e^{i θ} | \frac{0}{4} < θ < \frac{π}{2}} \times {e^{i θ} | \frac{2 (j - 1) π}{4} < θ < \frac{2 j π}{4}}$ から誘導される $2$ 胞体、 $e_{01}$ 及び $e_{0, 2}$ はそれぞれ $(1, 1)$ 及び $(1, - 1)$ の誘導する $0$ 胞体である。このとき直接計算することで
$H_{*} (V / Γ; Z) = {\begin{cases} Z & (* = 0) \\ Z \oplus Z / 2 Z & (* = 1) \\ 0 & (if else) \end{cases}$
がわかる。
まず
$\begin{aligned} f_{r} : U / Γ & \to U / Γ \\ (z, w) & \mapsto {\begin{array}{cc} (r z, w) & ((z, w) \in D^{2} \times S^{1}) \\ (z, r w) & ((z, w) \in S^{1} \times D^{2}) \end{array} \end{aligned}$
とおく。このとき $(z, w) \in D^{2} \times S^{1}$ について $J f_{r} (z, w) = (- \overset{―}{w}, r \overset{―}{z}) = f_{r} (- \overset{―}{w}, \overset{―}{z}) = f_{r} J (z, w)$ であるから $f_{r}$ はwell-definedな連続写像を定めている。ここで写像
$\begin{aligned} U / Γ \times [0, 1] & \to U / Γ \\ ((z, w), r) & \mapsto f_{r} (z, w) \end{aligned}$
を考えたとき、基本領域を適切に取ることでこの写像は連続である。よって $U / Γ$ と $S^{1}$ はホモトープになっているから
$H^{*} (U / Γ; Z) = {\begin{array}{cc} Z & (* = 0, 1) \\ 0 & (if else) \end{array}$
がわかる。このとき(1)(2)及びここまでの議論からマイヤー・ビートリス完全列
$\begin{array}{ccccccc} \dots & \to & 0 & \to \\ 0 & \to & 0 & \to & H^{3} ((U \cup V) / Γ, Z) & \to \\ Z & \to & 0 & \to & H^{2} ((U \cup V) / Γ, Z) & \to \\ Z^{2} & \to & Z^{2} \oplus Z / 2 Z & \to & H^{1} ((U \cup V) / Γ, Z) & \overset{0}{\to} \\ Z & \to & Z^{2} & \to & Z & \to & 0 \end{array}$
が得られる。ここで $1$ 次の射は基底を適切にとって
$(\begin{matrix} x \\ y \end{matrix}) \mapsto (\begin{matrix} y \\ 2 x \\ y + 2 Z \end{matrix})$
で表現される。これを $f$ とすると
$Ker f = 0$
$Im f = ⟨ (0, 2, 0 + 2 Z), (1, 0, 1 + 2 Z) ⟩$
$Coker f = (Z / 2 Z)^{2}$
である。以上をまとめると
$H_{*} (((U \cup V) / Γ); Z) = {\begin{cases} Z & (* = 0, 3) \\ Z / 2 Z \times Z / 2 Z & (* = 1) \\ 0 & (if else) \end{cases}$
がわかる。

投稿日：2023年12月5日

更新日：2024年9月15日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

54765

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2018B06)