§E22.18Mayer–Vietoris と計算例

証明.$\omega\mapsto(\omega|_{M_1},\dots,\omega|_{M_m})$は$\Omega^k(M)$から$\bigoplus_j\Omega^k(M_j)$への線形同型である。実際、$M_j$は互いに交わらない開集合であり合併が$M$であるから、各$M_j$の上で任意に与えた$C^\infty$形式を貼り合わせて$M$上の$C^\infty$形式が一意に定まる（微分形式であることは各点で決まり、滑らかさは局所的な条件である）。この同型は外微分と可換であるから、核と像を対応させ、商の間の同型を誘導する。▨

証明.$\alpha$について示す。$U\cap V$と$U\setminus\operatorname{supp}\psi_V$はどちらも$U$の開集合である。両者が$U$を覆うことを確かめる。$p\in U$が$U\cap V$に属さないならば$p\notin V$であり、$\operatorname{supp}\psi_V\subseteq V$（§E22.2 定義 4.1 条件 (a)）であるから$p\notin\operatorname{supp}\psi_V$である。

共通部分$(U\cap V)\setminus\operatorname{supp}\psi_V$の上では$\psi_V=0$であるから、二つの式からはともに$0$が得られる。よって$\alpha$は well-defined であり、二つの開集合の上でそれぞれ$C^\infty$であるから$U$の上で$C^\infty$である。$\beta$についても、$\operatorname{supp}\psi_U\subseteq U$を用いて同じ議論を行えばよい。▨

証明. $\mathbf{r}$は単射である。$\omega|_U=0$かつ$\omega|_V=0$ならば、$M=U\cup V$であるから各点で$\omega_p=0$である。

$\operatorname{im}\mathbf{r}=\ker\mathbf{s}$。$\mathbf{s}(\mathbf{r}(\omega))=\omega|_{U\cap V}-\omega|_{U\cap V}=0$であるから$\operatorname{im}\mathbf{r}\subseteq\ker\mathbf{s}$である。逆に$\alpha|_{U\cap V}=\beta|_{U\cap V}$とする。$p\in M$に対して$\omega_p=\alpha_p$（$p\in U$）、$\omega_p=\beta_p$（$p\in V$）と定めると、$U\cap V$の上で二つの値が一致するので well-defined であり、$U$と$V$の上でそれぞれ$C^\infty$であるから$\omega\in\Omega^k(M)$である。$\mathbf{r}(\omega)=(\alpha,\beta)$である。

$\mathbf{s}$は全射である。$\gamma\in\Omega^k(U\cap V)$を取り、補題 1.2の$\alpha=\psi_V\gamma\in\Omega^k(U)$、$\beta=-\psi_U\gamma\in\Omega^k(V)$を取る。$U\cap V$の上で

である（§E22.2 定義 4.1 条件 (c)）。

外微分との可換性。制限は外微分と可換であるから（§E22.11 補題 2.2）、$\mathbf{r}$と$\mathbf{s}$も外微分と可換である。▨

証明.定理 1.3は実ベクトル空間、すなわち左$\R$-加群の余鎖複体の短完全列である。§E6.34 定理 4.3において

と取る。その連結準同型は、閉形式$\gamma$の持ち上げ$(\alpha,\beta)$に外微分を施し、$\mathbf r(\eta)=(d\alpha,d\beta)$を満たす$\eta$の類を取るものである。これは本文の手順と一致する。したがって$\eta$が閉形式であること、類が持ち上げと代表元の選択に依らないこと、および線形性が同定理から従う。▨

証明.定理 1.3の短完全列に§E6.34 定理 4.3を適用する。連結準同型は定理 2.1のものと一致するので、表示した列は完全である。$k<0$では de Rham 複体が零なので、列は表示した零次の項から始まる。

$W\subseteq M$への制限は、$\Omega^\bullet(M)$、$\Omega^\bullet(U)\oplus\Omega^\bullet(V)$、$\Omega^\bullet(U\cap V)$のそれぞれから、対応する$W$上の余鎖複体、$U\cap W$と$V\cap W$上の余鎖複体の直和、および$U\cap V\cap W$上の余鎖複体への写像を与える。制限は外微分と可換であり、二つの成分の制限の差を取る写像$\mathbf s$とも可換である。したがって短完全列の間の射となり、同定理の自然性から後半が従う。▨

証明.§E22.1 命題 5.1の記号を用い、$U=U_N=S^n\setminus\{N\}$、$V=U_S=S^n\setminus\{S\}$と置く。$n\ge1$であるから$N\ne S$であり$U\cup V=S^n$である。$\varphi_N\colon U\to\R^n$と$\varphi_S\colon V\to\R^n$は微分同相であるから、§E22.17 定理 2.1 (4)と§E22.17 定理 4.3により

である。$\varphi_N(S)=0$であるから$\varphi_N$は$U\cap V$から$\R^n\setminus\{0\}$への微分同相を与える。§E22.17 命題 5.2により

である。

$S^n$は連結である。実際、$U$と$V$は$\R^n$と同相であるから連結であり、$U\cap V\ne\varnothing$（$n\ge1$）であるから、二つの合併は連結である。よって$H^0_{\mathrm{dR}}(S^n)\cong\R$である（§E22.17 命題 1.4）。また$\dim S^n=n$であるから$k>n$で$H^k_{\mathrm{dR}}(S^n)=0$である（§E22.17 命題 1.3）。

$n=1$の場合。$\R\setminus\{0\}$は二つの開区間の非交和であり、それぞれ$\R$と微分同相である。補題 1.1と§E22.17 定理 4.3により$H^0_{\mathrm{dR}}(U\cap V)\cong\R^2$、$H^k_{\mathrm{dR}}(U\cap V)=0$（$k\ge1$）である。定理 2.3の始まりの部分は

である（以下$H^k_{\mathrm{dR}}$を$H^k$と略す）。次元は順に$1,2,2$である。$\mathbf{r}$は単射であるから$\operatorname{im}\mathbf{r}$は$1$次元であり、完全性から$\ker\mathbf{s}$も$1$次元、したがって$\operatorname{rank}\mathbf{s}=2-1=1$である。ふたたび完全性から$\ker\delta=\operatorname{im}\mathbf{s}$は$1$次元であり、$\operatorname{rank}\delta=2-1=1$である。最後の$\mathbf{r}$の行き先が$0$であるから、完全性により$\delta$は全射である。よって$\dim H^1(S^1)=1$である。

$n\ge 2$の場合。まず$H^1(S^n)=0$を示す。$S^{n-1}$は連結であるから（$n-1\ge1$。上と同じ議論を$S^{n-1}$へ適用する）$H^0(U\cap V)\cong H^0(S^{n-1})\cong\R$である。完全列の始まりは

であり、次元は順に$1,2,1$である。上と同じく$\ker\mathbf{s}$は$1$次元であるから$\operatorname{rank}\mathbf{s}=1$であり、$\mathbf{s}$は全射である。完全性から$\ker\delta=\operatorname{im}\mathbf{s}=H^0(U\cap V)$であり$\delta=0$である。最後の項が$0$であるから完全性により$\operatorname{im}\delta=H^1(S^n)$であり、$H^1(S^n)=0$である。

$k\ge 2$については、完全列の一部

において、$k-1\ge1$であるから両端は$0$である。完全性により$\delta$は単射かつ全射であり

である。

帰納。$n=1$について主張は示された。$n-1$について主張が成り立つとすると、$n\ge2$に対して$H^0(S^n)=\R$、$H^1(S^n)=0$であり、$k\ge2$では$H^k(S^n)\cong H^{k-1}(S^{n-1})$であるから、これは$k-1=n-1$すなわち$k=n$のときだけ$\R$であり、それ以外は$0$である（$k-1=0$すなわち$k=1$の場合は上で別に$0$と定めた）。よって主張が成り立つ。▨

証明.$\gamma_0\colon\R\to S^1$、$\gamma_0(t)=(\cos t,\sin t)$と置き、$p=\gamma_0(0)$、$q=\gamma_0(\pi)$と置く。$A=S^1\setminus\{p\}$、$B=S^1\setminus\{q\}$と置くと、§E22.1 命題 5.1により$A$と$B$はそれぞれ$\R$と微分同相である。$A\cap B=S^1\setminus\{p,q\}$は二つの開弧$\gamma_0\bigl((0,\pi)\bigr)$と$\gamma_0\bigl((\pi,2\pi)\bigr)$の非交和であり、それぞれ開区間と微分同相である。

$U=S^1\times A$、$V=S^1\times B$と置くと$U\cup V=T^2$であり、$U\cap V=S^1\times(A\cap B)$は$S^1\times J_1$と$S^1\times J_2$（$J_i$は開区間）の非交和と微分同相である。

$\pi_1$で第一成分への射影を表す。§E22.17 命題 5.3と§E22.17 定理 2.1 (4)により

である（後者は補題 1.1による）。定理 3.1により$H^0(S^1)\cong H^1(S^1)\cong\R$、$H^k(S^1)=0$（$k\ge2$）であるから、次元は次の表のとおりである。

$T^2$は連結である。実際、$\R^2$から$T^2$への写像$(s,t)\mapsto(\gamma_0(s),\gamma_0(t))$は連続な全射であるから、§E2.43 定理 1.4による。よって$H^0(T^2)\cong\R$である。また$\dim T^2=2$であるから$k\ge3$で$H^k(T^2)=0$である。

$\mathbf{s}$の$1$次での階数。$\mu\in\Omega^1(S^1)$を§E22.15 例 5.1の$1$形式とし、$\Theta=\pi_1^*\mu\in\Omega^1(T^2)$と置く。$d\mu=0$（$S^1$は$1$次元なので$2$次形式は$0$である）から$d\Theta=\pi_1^*(d\mu)=0$である（§E22.11 命題 3.1）。

$W_1,W_2$を$U\cap V$の二つの連結成分とし、$j_i\colon W_i\to U$、$k_i\colon W_i\to V$を包含写像とする。$W_i$、$U$、$V$はいずれも$S^1$と開区間（または$\R$）の積であり、包含写像は第一成分への射影と可換である。したがって、それぞれの射影を$\pi_{W_i}$、$\pi_U$、$\pi_V$と書くと$\pi_U\circ j_i=\pi_{W_i}$であり、§E22.17 定理 2.1 (2)により$j_i^*\circ\pi_U^*=\pi_{W_i}^*$である。§E22.17 命題 5.3により$\pi_U^*$と$\pi_{W_i}^*$はともに同型であるから、$j_i^*=\pi_{W_i}^*\circ(\pi_U^*)^{-1}$は$H^1(U)\to H^1(W_i)$の同型である。$k_i^*$についても同様である。

$[\Theta|_U]=\pi_U^*[\mu]$であり、$[\mu]\ne 0$である（後述の定理 5.1による。あるいは定理 3.1で$\dim H^1(S^1)=1$であることと、$\int_{S^1}\mu=2\pi\ne0$かつ完全形式の積分が$0$であることから直ちに従う）。よって$[\Theta|_U]$は$H^1(U)\cong\R$の基底であり、同様に$[\Theta|_V]$、$[\Theta|_{W_1}]$、$[\Theta|_{W_2}]$もそれぞれの$1$次コホモロジーの基底である。

これらの基底に関して$\mathbf{s}\colon H^1(U)\oplus H^1(V)\to H^1(W_1)\oplus H^1(W_2)$は

で与えられる。したがって階数は$1$、核の次元は$1$である。

次元の決定。$0$次の部分は

である。$\dim H^0(T^2)=1$と$\mathbf{r}$の単射性から$\ker\mathbf{s}$（$0$次）は$1$次元であり、$\operatorname{rank}\mathbf{s}=2-1=1$である。完全性から$\ker\delta$は$1$次元であり$\operatorname{rank}\delta=2-1=1$である。また完全性から$\operatorname{im}\mathbf{r}=\ker\bigl(\mathbf{s}\colon H^1(U)\oplus H^1(V)\to H^1(U\cap V)\bigr)$であり、上で見たとおりこの核は$1$次元である。$\ker\mathbf{r}=\operatorname{im}\delta$の次元は$1$であるから

である。

$2$次の部分は

である。完全性により$\delta$は全射であり、$\ker\delta=\operatorname{im}\mathbf{s}$は$1$次元であるから

である。▨

証明. well-defined 性。$S^1$はコンパクトであるから$\Omega^1(S^1)=\Omega^1_c(S^1)$であり、$\int_{S^1}\omega$が定まる。$\omega=dg$（$g\in C^\infty(S^1)$）とすると、$\partial S^1=\varnothing$であるから§E22.16 定理 1.1により

である。よって完全形式は$0$へ写り、$I$は商の上の写像として定まる。線形性は§E22.15 命題 2.6 (1)による。

全射性。§E22.15 例 5.1により$\int_{S^1}\mu=2\pi$であるから、$c\in\R$に対して$I\bigl[\tfrac{c}{2\pi}\mu\bigr]=c$である。

単射性。定理 3.1を$n=1$に適用すると$\dim H^1_{\mathrm{dR}}(S^1)=1$である。$1$次元線形空間から$1$次元線形空間への全射線形写像は同型である。▨

証明. 向きを保つ境界付きチャート$(U,\varphi=(x^1,\dots,x^n))$を一つ取り、$p\in U$を取る（§E22.14 定理 6.4。$\partial M=\varnothing$であるからこの被覆は存在する）。§E22.2 命題 1.6により$C^\infty$関数$\chi\colon M\to[0,1]$で、$p$を含むある開集合$W\subseteq U$の上で$\chi\equiv 1$であり、$\operatorname{supp}\chi$がコンパクトかつ$U$に含まれるものを取る。

$U$の上で$\chi\,dx^1\wedge\cdots\wedge dx^n$、$M\setminus\operatorname{supp}\chi$の上で$0$と定めると、二つの開集合は$M$を覆い、共通部分の上でどちらの式からも$0$が得られるので、$M$上の$C^\infty$な$n$次形式$\omega$が定まる。$M$はコンパクトであるから$\omega\in\Omega^n_c(M)$である。

$\omega$は閉形式である。$d\omega\in\Omega^{n+1}(M)=\{0\}$であることによる。

$\int_M\omega>0$である。実際、$\operatorname{supp}\omega\subseteq U$であるから§E22.15 命題 2.6 (3)により$\int_M\omega=\int_{\varphi(U)}\chi\circ\varphi^{-1}$である。$\chi\circ\varphi^{-1}$は非負の連続関数であり、空でない開集合$\varphi(W)$の上で$1$である。$\varphi(W)$に含まれる閉長方形$S$（体積は正）を取ると$\chi\circ\varphi^{-1}\ge\mathbf{1}_S$であるから、§E4.10 命題 4.1 (2)により$\int_{\varphi(U)}\chi\circ\varphi^{-1}\ge|S|>0$である。

$\omega$は完全形式でない。もし$\omega=d\eta$（$\eta\in\Omega^{n-1}(M)$）と書けたとすると、$M$はコンパクトであるから$\eta\in\Omega^{n-1}_c(M)$であり、$\partial M=\varnothing$であるから§E22.16 定理 1.1により

となり、$\int_M\omega>0$に矛盾する。

よって$[\omega]\ne 0$であり$H^n_{\mathrm{dR}}(M)\ne 0$である。▨