第 2 章 多様体上の微分形式 (3/3)¶
2.9 直積のドラーム・コホモロジー（展開）¶
\(T^2 = {S^1 \times S^1}\) について \({\H^2(T^2) \cong \RR,} \ {\H^1(T^2)} \cong \RR^2,\ {\H^0(T^2) \cong \RR}\) であった。例題 2.4.8 参照。
1 をとる定数関数のコホモロジー類が \(\H^0(T^2)\) の、
\({\dd x_1}, {\dd x_2} \in Z^1(T^2)\) のコホモロジー類が \(\H^1(T^2)\) の、
\({\dd x_1 \wedge \dd x_2} \in Z^2(T^2)\) のコホモロジー類が \(\H^2(T^2)\) の
基底になることがわかる。
二つの多様体 \(M, N\) の直積に対する射影 \(\pi_M, \pi_N\) を考えると、
\({\alpha \in Z^p(M)}\),
\({\beta \in Z^q(N)}\)
に対して \({\pi_M^*\alpha} \wedge {\pi_N^*\beta} \in {Z^{p + q}{(M \times N)}}\) が得られる。
これを \(T^2\) で考えると \(S^1\) から導かれたこういう閉形式らがコホモロジー類を生成することがわかる。
二つの有限次元ベクトル空間 \(V, W\) の テンソル積 \({V \otimes W}\) の定義そして説明。
\(\H^*(M), \H^*(N)\) のテンソル積は \({\H^*(M) \otimes \H^*(N)}\) の次数 \(p\) の部分を次の式で定義することで定まる：
\[\bigoplus_{i = 0}^p \H^i(M) \otimes \H^{p - i}(N).\]このとき \({[\alpha] \otimes [\beta]} \in {\H^p(M) \otimes \H^q(N)}\) が定まって、\({[\pi_M^*\alpha \wedge \pi_N^*\beta]} \in {H^{p + q}(M \times N)}\) も定まる。そして準同型 \({\H^p(M) \otimes \H^q(N)} \longto {H^{p + q}(M \times N)}\) もこの対応で定まる。
定理 2.9.1: キネットの公式
コンパクト多様体 \(M, N\) について \({\H^*(M \times N)} \cong {\H^*(M) \otimes \H^*(N).}\)
\({\alpha \in Z^p(M)},\ {\beta \in Z^q(N)}\) に対して \({[\alpha] \otimes [\beta]} \in {\H^p(M) \otimes \H^q(N)}\) は \({[\pi_M^*\alpha \wedge \pi_N^*\beta]}\) に対応する。
証明：
多様体が球面 \(S^k\) のときの証明
帰納法による。
\({k = 0}\) のときの証明
\({\varOmega^*(S^0 \times N)} \cong {\varOmega^*(N) \oplus \varOmega^*(N)}\): この理由は？
\({\H^0(S^0) \otimes \H^p(N)} \cong {\H^p(N) \oplus \H^p(N)}\): 前ページ定義より。
以上より OK となる。
\({P(k - 1)} \implies {P(k)}\) の証明
まず主張 \({P(k - 1)}\) が真であると仮定する。
いつものように分解する： \(S^k = {M_1 \cup M_2},\ {M_{12} = M_1 \cap M_2} \cong {S^{k - 1} \times \RR}\)
\(M_1, M_2\) のマイヤー・ビエトリス完全系列に \(\otimes \H^*(N)\) した完全系列を考える。
これが完全系列となる根拠は後述の 補題 2.9.3 による。
ただし \(M_1, M_2\) をそれぞれのコホモロジー群が等しい一点にそれぞれ置き換え、\(M_{12}\) を \(S^{k - 1}\) に置き換える。
さらに \({S^k \times N} = {{(M_1 \times N)} \cup {(M_2 \times N)}}\) についてのマイヤー・ビエトリス完全系列を考える。ただし以下の置き換えをする：
\({M_1 \times N},\ {M_2 \times N}\) をそれぞれコホモロジー群が等しい \(N\) に、
\({M_{12} \times N}\) を \({S^{k - 1} \times N}\) に。
この二つの完全系列を並列させて、準同型の矢印で接続する：
\[\begin{split}\require{amscd} \begin{CD} @. @. @.\\ @VVV @VVV\\ \H^{p-1}(N) \oplus \H^{p-1}(N) @>{(A)}>> \H^{p-1}(N) \oplus \H^{p-1}(N)\\ @VV{(i_1^* - i_2^*) \otimes \id^*}V @VV{i_1^* - i_2^*}V\\ \bigoplus_{i = 0}^p\H^i(S^{k - 1}) \otimes \H^{p-1-i}(N) @>{(B)}>> \H^{p-1}(S^{k - 1} \times N)\\ @VV{\Delta^* \otimes \id^*}V @VV{\Delta^*}V\\ \bigoplus_{i = 0}^p\H^i(S^k) \otimes \H^{p-i}(N) @>{(C)}>> \H^p(S^{k - 1} \times N)\\ @VV{(j_1^*, j_2^*) \times \id^*}V @VV{(j_1^*, j_2^*)}V\\ \H^p(N) \oplus \H^p(N) @>{(A)}>> \H^p(N) \oplus \H^p(N)\\ @VV{(i_1^* - i_2^*) \otimes \id^*}V @VV{i_1^* - i_2^*}V\\ \bigoplus_{i = 0}^p\H^i(S^k) \otimes \H^{p-i}(N) @>{(B)}>> \H^p(S^{k - 1} \times N)\\ @VVV @VVV\\ \end{CD}\end{split}\]横向きの準同型写像はコホモロジー群のテンソル積から直積のコホモロジー群に定義されたもので可換となる。
(A) は帰納法によりどちらも同型写像。
(B) はどちらも恒等写像なので同型写像。
(C) は後述する 補題 2.9.2 により同型写像。
以上で球面の場合は終了。
多様体が一般のコンパクト多様体のときの証明
多様体の開被覆に対していつものように分解を構成する
\({P(k - 1)} \implies {P(k)}\) の証明
先ほどと同様に完全系列を二つ並べて考える：
左列は \(M_j = {M_{j - 1} \cup B_j}\) についてのマイヤー・ビエトリス完全系列に \(\otimes \H^*(N)\) した完全系列。
\(B_j\) をコホモロジー群が等しい一点で置き換え。
\({M_{j - 1} \cap B_j}\) を \(S^{m_j}\) に置き換え。
右列は \({M_j \times N} = {(M_{j - 1} \times N)} \cup {(B_j \times N)}\) についてのマイヤー・ビエトリス完全系列。
\[\begin{split}\begin{CD} @. @. @.\\ @VVV @VVV\\ \bigoplus_{i = 0}^{p - 1}\H^i(M_{j - 1}) \otimes \H^{p-1-i}(N) \oplus \H^{p-1}@>{(A)}>> \H^{p-1}(M_{j - 1} \times N) \oplus \H^{p-1}(B_j \times N)\\ @VVV @VVV\\ \bigoplus_{i = 0}^{p-1}\H^i(S^{m_j}) \otimes \H^{p-1-i}(N) @>{(B)}>> \H^{p-1}((M_{j - 1} \cap B_j) \times N)\\ @VVV @VVV\\ \bigoplus_{i = 0}^p\H^i(M_j) \otimes \H^{p-i}(N) @>{(C)}>> \H^p(M_j \times N)\\ @VVV @VVV\\ \bigoplus_{i = 0}^p\H^i(M_{j - 1}) \otimes \H^{p-i}(N) \oplus \H^p(N) @>{(A)}>> \H^p(M_{j - 1} \times N) \oplus \H^p(B_j \times N)\\ @VVV @VVV\\ \bigoplus_{i = 0}^p\H^i(S^{m_j}) \otimes \H^{p-i}(N) @>{(B)}>> \H^p((M_{j - 1} \cap B_j) \times N)\\ @VVV @VVV\\ \end{CD}\end{split}\](A) は帰納法の仮定によりどちらも同型写像。
(B) は球面の場合によりどちらも同型写像。
(C) は後述する 補題 2.9.2 により同型写像。
以上で一般の場合は終了。
以上により主張の同型は示された。
補題 2.9.2: Five Lemma
ベクトル空間と線形写像の二つの完全系列と、その間にある準同型との間にある可換図式に関する補題。
\[\begin{split}\begin{CD} A_1 @>{f_1}>> A_2 @>{f_2}>> A_3 @>{f_3}>> A_4 @>{f_4}>> A_5\\ @V{F_1}VV @V{F_2}VV @V{F_3}VV @V{F_4}VV @V{F_5}VV\\ B_1 @>{g_1}>> B_2 @>{g_2}>> B_3 @>{g_3}>> B_4 @>{g_4}>> B_5 \end{CD}\end{split}\]この図式で、
上下の行が完全系列であり、
\(F_1, F_2, F_4, F_5\) が同型写像であり、
\(F_3\) が準同型写像（ふつうの線形写像）である
とする。このとき \(F_3\) は同型写像である。
\(F_3\) が単射であることを示す。
\({x \in \ker{F_3}}\) を一つとる。
\({F_4 \circ f_3(x)} = {g_3 \circ F_3(x)} = 0\) および \(F_4\) が同型写像であることから \({f_3(x) = 0.}\) したがって \({\exists x_2 \in A_2} \text{ s.t. } f_2(x_2) = x.\)
\({g_2 \circ F_2(x_2)} = {F_3 \circ f_2(x_2)} = 0\) および \(F_2\) が同型写像であることから \({\exists y_1 \in B_1} \text{ s.t. } g_1(y_1) = F_2(x_2).\)
\(F_1\) が同型写像であることから \({\exists x_1 \in A_1} \text{ s.t. } {F_1(x_1) = y_1.}\)
\({F_2 \circ f_1(x_1)} = {g_1 \circ F_1(x_1)}\) および \(F_2\) が同型写像であることから \({f_1(x_1) = x_2.}\)
\({\im{f_1} = \ker{f_2}}\) に注意して \({x = {f_2 \circ f_1(x_1)} = 0.}\)
\({\ker{F_3} = \zeroset}\) つまり \(F_3\) は単射である。
\(F_3\) が全射であることを示す。
\({y \in B_3}\) を一つとる。
\(F_4\) が同型写像であることから \({\exists x_4 \in A_4} \text{ s.t. } {F_4(x_4) = g_3(y).}\)
\({F_5 \circ f_4(x_4)} = {g_4 \circ F_4(x_4)} = {g_4 \circ g_3(y)} = 0\) および F_5 が同型写像であることから \({f_4(x_4) = 0.}\)
一行目が完全系列であることから \({\exists x_3 \in A_3} \text{ s.t. } {f_3(x_3) = x_4.}\)
\({g_3 \circ F_3(x_3)} = {F_4 \circ f_3(x_3)} = g_3(y)\) だから \({y - F_3(x_3) \in \ker{g_3}.}\)
\({\exists y_2 \in B_2} \text{ s.t. } {g_2(y_2) = y - F_3(x_3).}\)
\(F_2\) が同型写像であることから \({\exists x_2 \in A_2} \text{ s.t. } {F_2(x_2) = y_2.}\)
このとき次が成り立つので \(F_3\) は全射である。
\[\begin{split}\begin{align*} F_3(f_2(x_2) + x_3) &= g_2 \circ F_2(x_2) + F_3(x_3)\\ &= g_2(y_2) + + F_3(x_3)\\ &= y. \end{align*}\end{split}\]以上 1. と 2. により \(F_3\) は同型写像である。
補題 2.9.3: テンソル積の完全性
\[\begin{CD} @. \cdots @>>> A_0 @>>> A_1 @>>> A_2 @>>> \cdots \end{CD}\]が完全系列であれば、ベクトル空間 \(B\) に対して引き起こされる写像についての
\[\begin{CD} @. \cdots @>>> A_0 \otimes B @>>> A_1 \otimes B @>>> A_2 \otimes B @>>> \cdots \end{CD}\]もまた完全系列である。
まず与えられた完全系列上の線形写像を \(\fn{f_i}{A_i}A_{i + 1}\) とおく。示すべきは \({{(f_1 \otimes \id_B)} \circ {(f_0 \otimes \id_B)}} = 0\) である。
\({0 \ne \bm y} \in {A_1 \otimes B}\) をとり \({f_1(\bm y) = 0}\) すなわち \({(f_1 \otimes \id_B)(\bm y)} = 0\) を仮定する。
ここで、線形独立な \(\bm b_1, \dotsc \bm b_m \in B\) および \(\bm y_1, \dotsc, \bm y_n \in A_1\) により次の和で表すものとする：
\[\bm y = \sum{i = 1}^n\sum{j = 1}^m \bm y_i \otimes \bm b_j.\]上記の 1. と 2. を合わせると次のように書ける：
\[0 = (f_1 \otimes \id_B)(\bm y) = \sum{i = 1}^n\sum{j = 1}^m f_1(\bm y_i) \otimes \bm b_j.\]この式より \({\forall i \in \set{0, \dotsc, n}}, {f_1(\bm y_i) = 0}\) が必要であることがわかる。
さらに与えられた完全系列から \({\forall i \in \set{0, \dotsc, n}}, {\exists \bm x_i \in A_0} \text{ s.t. } {f_0(\bm x_i) = \bm y_i.}\)
以上をまとめて：
\[\begin{split}\begin{align*} \bm y &= \sum{i = 1}^n\sum{j = 1}^m \bm y_i \otimes \bm b_j\\ &= \sum{i = 1}^n\sum{j = 1}^m f_0(\bm x_i) \otimes \bm b_j\\ &= (f_0 \otimes \id_)\left(\sum{i = 1}^n\sum{j = 1}^m \bm x_i \otimes \bm b_j \right). \end{align*}\end{split}\]これと 3. を合成すれば所望の結論が示される。
問題 2.9.4: \({\H^*(T^n) = \bigotimes^n \H^*(S^1)}\)
\(\H^p(T^n)\) の元はすべてが \(\sum a_{i_1 \dots i_p} {\dd x_{i_1}} \wedge \dotsb \wedge {\dd x_{i_p}}\) のような形をしている。ここで各 \({a_{i_1 \dots i_p} \in \RR.}\)
証明は帰納法による。
\({n = 1}\) ならば \({\H^*(T^1)} = {\bigotimes^n \H^*(S^1)} = {H^*(S^1) \times H^*(S^1).}\) まともに展開すれば納得できる。
\({n - 1}\) のときに主張が正しいと仮定する。つまり \({\H^*(T^{n - 1})} = {\bigotimes^{n - 1}\H^*(S^1)}\) とする。このとき、 キネットの公式 により
\[\H^*(T^n) = \H^*(S^1) \otimes \bigotimes^{n - 1} \H^*(S^1).\]各 \(\H^*(S^1)\) の生成元を \({\dd x_k}\) とすると、 \(\H^p(T^n)\) の基底は \({\dd x_{i_1}} \wedge \dotsb \wedge {\dd x_{i_p}}\) となる。つまり \(\H^p(T^n)\) の元はこれらの線形結合の形をとる。
定義 2.9.5: カップ積
\({\H^*(M \times M)} \cong {\H^*(M) \otimes \H^*(M)}\) について対角写像 \(\fn{\diag}{M}M \times M\) に対する \(\diag^*\) と同型写像を結合した写像 \({\H^*(M) \otimes \H^*(M)} \longto {\H^*(M)}\) が定義される。
この \(\diag^*\) が各 \(p, q\) に対して定める双線型写像 \(\fn{\cup}{\H^p(M) \times \H^q(M)}\H^{p + q}(M)\) をカップ積という。
定理 2.9.6: \([\cdot]\) のカップ積は \({[\cdot] \wedge [\cdot]}\) と一致する。
\(M\) の閉形式 \(\alpha, \beta\) について \({[\alpha] \cup [\beta]} = {[\alpha \wedge \beta].}\)
証明。射影をそれぞれ \(\pi_1, \pi_2\) とする。
\[\begin{split}\begin{align*} \diag^*(\pi_1^* \alpha \wedge \pi_2^* \beta) &= \diag^*\pi_1^* \alpha \wedge \diag^*\pi_2^* \beta\\ &= (\pi_1 \circ \diag)^* \alpha \wedge (\pi_2 \circ \diag)^* \beta\\ &= \id^* \alpha \wedge \id^* \beta\\ &= \alpha \wedge \beta. \end{align*}\end{split}\]\(\therefore {[\alpha] \cup [\beta]} = {[\alpha \wedge \beta]}.\)
2.10 チェック・ドラーム複体（展開）¶
コンパクト多様体の開被覆を工夫して、ドラーム・コホモロジー群が有限次元であることを示す。以下、
\(M\) をコンパクト多様体、
\(\set{U_i}_{i = 1 \dots N}\) をその開被覆、
\(U_{i_0 \dots i_k} = {U_{i_0} \cap \dotsb \cap U_{i_k}}\quad{(1 \le i_0 \lt \dotsb \lt i_k \le N)}\) とおく。ここで各 \(U_{i_0 \dots i_k}\) は \(\RR^n\) と微分同相であるか、空集合であるとする。
p. 77 の可換図式の見方。
縦向きの系列
当然 \(\dd\) は外微分を意味する。
一番下の列 \(\displaystyle \bigoplus_{i_0 \lt \dotsb \lt i_k}\RR(U_{i_0 \dots i_k})\) は \(\set{U_{i_0 \dots i_k}}_{i_0 \lt \dotsb \lt i_k}\) を基底とするベクトル空間として見る。
写像 \(\fn{\iota}{\RR(U_{i_0 \dots i_k})}\varOmega^0(U_{i_0 \dots i_k})\) は定数関数の埋め込みである。
\(\varOmega^0\) の行は各開集合上における関数全体であることに注意したい。定数関数はその部分と捉えられる。
以上のような条件と 定理 1.7.2 により、これは完全系列である。ポアンカレの補題が要。
横向きの系列
写像 \(\fn{r_i}{\varOmega^p(M)}\varOmega^p{U_i}\) を制限とすることで \({r = \bigoplus r_i.}\)
添字 \(i_0 \lt \dotsb \lt i_k\) とこの中の \(i_s\) について写像 \({\varOmega^p(U_{i_0 \dots i_{s-1} i_{s+1} \dots i_k})} \longto {\varOmega^p(U_{i_0 \dots i_k})}\) は制限 \(r_{i_0 \dots i_k}^{i_0 \dots i_{s-1} i_{s+1} \dots i_k}\) の \((-1)^s\) 倍である。
\(\displaystyle \delta = \bigoplus \sum (-1)^s r_{i_0 \dots i_k}^{i_0 \dots i_{s-1} i_{s+1} \dots i_k}\) と定義する。
もう一つ見るべきことがあり、それが次の補題だ。
補題 2.10.1: \(0 \longto \varOmega^p(M) \longto \cdots\) の行は完全系列
関数 \(\displaystyle f^{(k)} \in \bigoplus_{i_0 \lt \dotsb \lt i_k} \varOmega^p(U_{i_0 \dots i_k}) \cong \varOmega^p\left(\bigsqcup_{i_0 \lt \dotsb \lt i_k} U_{i_0 \dots i_k} \right)\) の \(\varOmega^p(U_{i_0 \dots i_k})\) の成分を \(f^{(k)}|U_{i_0 \dots i_k}\) または \(f^{(k)}_{i_0 \dots i_k}\) の使いやすい方で表すことにする。
\(\delta\) の定義により：
\[(\delta f^{(k)})|U_{i_0 \dots i_k i_{k + 1}} = \sum_{j = 0}^{k + 1} (-1)^j f^{(k)}_{i_0 \dots i_{j-1} i_{j+1} \dots i_k}|U_{i_0 \dots i_k i_{k + 1}}\]\((\delta(\delta(f^{(k)}))|U_{i_0 \dots i_{k + 2}} = \cdots = 0.`つまり :math:`{\delta \circ \delta} = 0.\)
\(\displaystyle f^{(k + 1)} \in \bigoplus_{i_0 \lt \dotsb \lt i_{k + 1}} \varOmega^p(U_{i_0 \dots i_{k + 1}}) \cong \varOmega^p\left(\bigsqcup_{i_0 \lt \dotsb \lt i_k} U_{i_0 \dots i_k} \right)\) に対して
\[Sf^{(k + 1)} \in \bigoplus_{i_0 \lt \dotsb \lt i_k} \varOmega^p(U_{i_0 \dots i_k}) \cong \varOmega^p\left(\bigsqcup_{i_0 \lt \dotsb \lt i_k} U_{i_0 \dots i_k} \right)\]を次の式で定義する：
\[(Sf^{(k + 1)})|U_{i_0 \dots i_k} = \sum_m \lambda_m f^{(k + 1)}_{m i_0 \dots i_k}.\]ここで \(\lambda_i\) は \(U_i\) に従属する 1 の分割とし、
\[\begin{split}f^{(k + 1)}_{m i_0 \dots i_k} = \begin{cases} 0 & \quad \text{if } m \in \set{i_0, \dotsc, i_k},\\ (-1)^j f^{(k + 1)}_{i_0 \dots i_{j - 1} m i_j \dots i_k} & \quad \text{otherwise} \end{cases}\end{split}\]とし、\(\lambda_m f_{m i_0 \dots i_k} \in \varOmega^p(U_{i_0 \dots i_k})\) とみなす。
\({\delta(Sf^{(k)}) + S(\delta f^{(k)})} = f^{(k)}\) を示して、 \({\delta f^{(k)} = 0} \implies {f^{(k)} = \delta(Sf^{(k)})}\) となり、横向きの系列は完全系列であることがわかる。
\(\im \delta\) が次の \(\ker \delta\) と一致すると言っている。
p. 77 の図の一番下の行をチェック複体という。そのコホモロジー群を チェック・コホモロジー群 という。記号 \(\check{H}^p(M, \set{U_i})\) で表す。
\[\begin{CD} 0 @>{\delta}>> \bigoplus_i \RR(U_i) @>{\delta}>> \bigoplus_{i_0 \lt i_1} \RR(U_{i_0 i_1}) @>{\delta}>> \bigoplus_{i_0 \lt i_1 \lt i_2} \RR(U_{i_0 i_1 i_2}) @>{\delta}>> \cdots \end{CD}\]
定理 2.10.2: チェック・ドラームの定理 \(\H^p(M) \cong \check H^p(M, \set{U_i})\)
証明が長いし、コサイクル だの コバウンダリー だの見慣れぬ用語があるのが気になる。以下、適宜書き直す：
\({\forall \alpha \in Z^p(M)}\) に何らかの \(\alpha^{(p, -1)} \in \check{Z}^p{(M, \set{U_i})}\) が対応することを示す。
本書にイラストが添えられているが、併せて p. 77 の図式も参照すること。
\({\forall \alpha \in Z^p(M)}, {\dd{r\alpha}} = {r\dd\alpha} = 0.\) したがって \({\exists \alpha^{(0, p - 1)}} \in {\bigoplus_i \varOmega^{p - 1}(U_i)} \text{ s.t. } {r\alpha = \dd\alpha^{(0, p - 1)}.}\)
\(r\) は制限写像 \(\fn{r_i}{\varOmega^p(M)}\varOmega^p(U_i)\) の直和である。
そもそも縦列は 定理 1.7.2 により完全系列である。
\(\dd{\delta\alpha^{(0, p - 1)}} = \delta\dd\alpha^{(0, p - 1)} = \delta r\alpha = 0.\)
帰納的に
\[\alpha^{(j - 1, p - j)} \in \bigoplus_{i_0 \lt \dotsb \lt i_{j - 1}}\varOmega^{p - j}(U_{i_0\dots i_{j - 1}}), \dd{\delta \alpha^{(j - 1, p - j)}} = 0\]を仮定すれば、
\[\exists \alpha^{(j, p - j - 1)} \in \bigoplus_{i_0 \lt \dotsb \lt i_j}\varOmega^{p - j - 1}(U_{i_0\dots i_j}) \text{ s.t. } \delta \alpha^{(j - 1, p - j)} = \dd{\alpha^{(j, p - j - 1)}}.\]境界準同型の性質 \(\delta\delta\alpha^{(j - 1, p - j)} = 0\) に注意。
帰納法によって
\[\exists \alpha^{(p - 1, 0)} \in \bigoplus_{i_0 \lt \dotsb \lt i_{p - 1}}\varOmega^0(U_{i_0\dots i_{p - 1}}), \exists \alpha^{(p, -1)} \in \bigoplus_{i_0 \lt \dotsb \lt i_p} \RR(U_{i_0 \dots i_p}) \text{ s.t. } \delta\alpha^{(p - 1, 0)} = \iota\alpha^{(p - 1, 0)}.\]ここで
\[\begin{split}\begin{align*} \iota\delta\alpha^{(p - 1, 0)} &= \delta\iota\alpha^{(p - 1, 0)}\\ &= \delta\delta\alpha^{(p - 1, 0)}\\ &= 0. \end{align*}\end{split}\]\(\iota\) が単射であることから \({\delta\alpha^{(p - 1, 0)} = 0.}\)
よって \({\alpha \in \varOmega^p(M)}\) に対して、対応する \(\alpha^{(p, -1)} \in \bigoplus_{i_0 \lt \dotsb i_p} \RR(U_{i_0 \dots i_p})\) が何か存在する。
この対応がコホモロジー群の準同型を導き、well-defined であることを示す。これにより準同型 \(\H^p(M) \longto {\check H^p(M, \set{U_i})}\) が定まる。
今度は完全形式 \({\alpha \in \varOmega^p(M)}\) から出発して最下段へ向かう。
\({\forall \alpha \in B^p(M)}, {\exists \beta \in \varOmega^{p - 1}(M)} \text{ s.t. } {\alpha = \dd\beta.}\)
この \(\alpha\) に対して 1. の \(\alpha^{(0, p - 1)}\) を考える。
\(\dd{\alpha^{(0, p - 1)}} = r\alpha = {r\dd\beta} = {\dd r\beta}\) ゆえ、
\[\exists \beta^{(0, p - 2)} \in \bigoplus_{i} \varOmega^{p - 2}(U_i) \text{ s.t. } \dd\beta^{(0, p - 2)} = \alpha^{(0, p - 1)} - r\beta.\]ここで次が成り立つ：
\[\dd\delta\beta^{(0, p - 2)} = \delta\dd\beta^{(0, p - 2)} = \delta(\alpha^{(0, p - 1)} - r\beta) = \delta\alpha^{(0, p - 1)}.\]帰納的に
\[\beta^{(j - 1, p - j - 1)} \in \bigoplus_{i_0 \lt \dotsb i_{j - 1}}\varOmega^{p - j - 1}(U_{i_0\dots i_{j - 1}})\]に対して次を仮定する：
\[\dd\delta\beta^{(j - 1, p - j - 1)} = \delta\alpha^{(j - 1, p - j)} = \dd\alpha^{(j, p - j - 1)}.\]このとき：
\[\exists \beta^{(j, p - j - 2)} \in \bigoplus_{i_0 \lt \dotsb i_{j - 2}}\varOmega^{p - j - 2}(U_{i_0\dots i_{j - 2}}) \text { s.t. } \dd\beta^{(j, p - j - 2)} = \alpha^{(j, p - j - 1)} - \delta\beta^{(j - 1, p - j - 1)}.\]ここで次に注意する：
\[\begin{split}\begin{align*} \dd\delta\beta^{(j, p - j - 2)} &= \delta\dd\beta^{(j, p - j - 2)}\\ &= \delta(\alpha^{(j, p - j - 1)} - \delta\beta^{(j - 1, p - j - 1)})\\ &= \delta\alpha^{(j, p - j - 1)}. \end{align*}\end{split}\]
帰納法によって次が得られる：
\[\beta^{(p - 2, 0)} \in \bigoplus_{i_0 \lt \dotsb i_{p - 2}}\varOmega^0(U_{i_0\dots i_{p - 2}}).\]これに対して次を仮定する：
\[\dd\delta\beta^{(p - 2, 0)} = \delta\alpha^{(p - 2, 1)} = \dd\alpha^{(p - 1, 0)}.\]すると次が得られる：
\[\exists \beta^{(p - 1, -1)} \in \bigoplus_{i_0 \lt \dotsb \lt i_{p - 1}}\RR(U_{i_0\dots i_{p - 1}}) \text{ s.t. } \iota\beta^{(p - 1, -1)} = \alpha{(p - 1, 0)} - \delta\beta^{(p - 2, 0)}.\]次の評価および \(\iota\) が単射であることから \({\alpha^{(p, -1)} = \delta\beta^{(p - 1, -1)}:}\)
\[\begin{split}\begin{align*} \iota\delta\beta^{(p - 1, -1)} &= \delta\iota\beta^{(p - 1, -1)}\\ &= \delta(\alpha{(p - 1, 0)} - \delta\beta^{(p - 2, 0)}\\ &= \delta\alpha{(p - 1, 0)}\\ &= \iota\alpha{(p, -1)}. \end{align*}\end{split}\]「完全形式の差の自由度」は途中の \(\beta^{(j, p - j - 2)}\) に表されている。
以上で準同型 \(\H^p(M) \longto \check H^p(M, \set{U_i})\) が得られたことになる。
縦と横の役割を入れ替えて議論すると、準同型 \({\check H^p(M, \set{U_i})} \longto \H^p(M)\) が構成できて、かつ 1. の \(\alpha\) から \(\alpha^{(p, - 1)}\) への対応と、入れ替え版の \(\alpha^{(p, - 1)}\) から \(\alpha\) への対応が互いに逆写像である。つまり表題の同型が存在する。
例 2.10.3: \(S^2\) に内接する正四面体 \(v_1 v_2 v_3 v_4\) の面上投影
球面三角形 \(v_2 v_3 v_4\) の補集合（開集合とする）を \(U_1\) とする。その他の球面三角形についても同様にして開集合を対応させておく。
だいたいの \(U_{12}, U_{13}\), etc. は開球 \(B^2\) と微分同相であるが、 \(U_{1234}\) のみ空集合となる。
以上より、チェック・ドラームの定理が適用できることがわかる。
\(\varOmega^*(S^2)\) については 命題 2.7.3 で見たように次が成り立つ：
\[\begin{split}\H^p(S^2) \cong \begin{cases} \RR & \quad\text{if } p = 0, 2\\ 0 & \quad\text{otherwise} \end{cases}\end{split}\]チェック複体は \(0 \longto \RR^4 \longto \RR^6 \longto \RR^4 \longto 0\) となる。
4 や 6 は組み合わせから来ているわけだが、なおのこと両端のゼロに注意。
関数 \(\chi_{i_0 \dots i_p}\) を \(U_{i_0 \dots i_p}\) 上で 1 をとるものとする。
さらに次の二つを計算する：
\[\begin{split}\begin{align*} &\delta\left(\sum_{i = 1}^4 a_i\chi_i\right) = \sum_{i_0 \lt i_1} (a_{i_0} - a_{i_1})\chi_{i_0 i_1}\\ &\delta\left(\sum_{i_0 \lt i_1} b_{i_0 i_1}\right) = \sum_{i_0 \lt i_1 \lt i_2}(b_{i_1 i_2} - b_{i_0 i_2} + b_{i_0 i_1})\chi_{i_0 i_1 i_2} \end{align*}\end{split}\]本書では（紙幅の都合で？）行列の形にしてある。基底 \(\chi_1, \dotsc, \chi_4, \chi_{12}, \dotsc, \chi_{34}, \chi_{123}, \dotsc, \chi_{234}\) に対して：
\[\begin{split}\begin{pmatrix} -1 & 1 & 0 & 0\\ -1 & 0 & 1 & 0\\ -1 & 0 & 0 & 1\\ 0 & -1 & 1 & 0\\ 0 & -1 & 0 & 1\\ 0 & 0 & -1 & 0 \end{pmatrix}, \begin{pmatrix} 1 & -1 & 0 & 1 & 0 & 0\\ 1 & 0 & -1 & 0 & 1 & 0\\ 0 & 1 & -1 & 0 & 0 & 1\\ 0 & 0 & 0 & 1 & -1 & 1 \end{pmatrix}.\end{split}\]
\(\ker\), \(\im\) をそれぞれ計算して次が得られる：
\[\begin{split}\check H^p(S^2, \set{U_i}) \cong \begin{cases} \RR & \quad\text{if } p = 0, 2\\ 0 & \quad\text{otherwise} \end{cases}\end{split}\]
2.11 第 2 章の問題の解答¶
すでに書き込んだ。
