第 5 章 多様体の位相と微分形式 1/2

ホモロジーの話が多いが、不慣れなので別の本で補わないと苦しい。

  • 曲率形式

  • パフ形式、\({2n \times 2n}\) 行列を値とする。

  • ガウス・ボンネの定理→偶数次元リーマン多様体に拡張。

  • オイラー標数の定数倍

  • 特性形式、ホモロジー類上での積分、次元=次数、不変量。

  • 命題 3.4.10 の考察:向き付けの有無と \(\H^n(M)\)\(\RR\) と同型になるのか、ゼロと同型になるのかの対応関係。ポアンカレ双対定理はこれの拡張とみなせる。

5.1 多様体の三角形分割

5.1.1 組合せ多様体

まず 定義 3.3.1 前後を復習しておいたほうがいい。特に \(k\) 単体、単体複体、重心座標、幾何的表現、面、境界準同型などの用語の定義と性質を思い出す必要がある。

  • リンク

    • \(K\) を単体複体とする。

    • 単体 \({\tau \in K}\) に対し、次の性質を満たす単体 \({\sigma \in K}\) の全体を \(\operatorname{Link}(\tau)\) と書く:

      • \({\tau \cap \sigma = \varnothing}\)

      • \(\tau, \sigma\) が共通のある一つの \(K\) の単体の面となる。

  • 定義 5.1.1: 組合せ多様体 or PL 多様体

    • \(n\) 次元単体複体 \(K\)組合せ多様体 or PL 多様体 であるとは、各 \(\tau \in K\) に対し \(\abs{\operatorname{Link}(\tau)}\) が球面 \(S^{n - p - 1}\) と同相な \({n - 1}\) 次元組合せ多様体 or PL 多様体であることを言う。

    • この \(p\) とは何だ?

    • 定義が再帰的に与えられている。

  • 注意 5.1.2: 単体複体 \(K\) の頂点 \(v\) について \(\abs{\operatorname{Link}(v)}\)\(S^{n - 1}\) と同相であると言っているのと同値である。

  • 開星状体

    • この概念は 3.3.2 節で定義していた。

    • 単体複体の頂点 \({v \in K}\) に対して開集合 \(O(v)\)\(v\) を頂点とする単体の内部全体の和集合として定義する。

    • \(K\) が組合せ多様体であるときは \(O(v)\) は開球 \(B^n\) と同相である。

5.1.2 三角形分割

\(C^\infty\) 級多様体は三角形分割可能である。

  • 定義 5.1.3: \(C^\infty\) 三角形分割

    コンパクト \(n\) 次元多様体 \(M\) に対して、次の性質がある \(n\) 次元組合せ多様体 \(K\) および同相写像 \({\abs{K} \longto M}\) が存在する:

    各単体上で \(C^\infty\) 級写像である。

    • 先の同相写像のほうを \(C^\infty\) 三角形分割という。

    • 証明は付録で与えられる。

5.2 ポアンカレ双対原理

この節ではポアンカレ双対原理の主張を最初に述べて、その証明に必要な準備をして、最後に証明を与えるという構成になっている。

  • 定理 5.2.1: ポアンカレ双対原理

    \(M\) をコンパクトな向き付け可能 \(n\) 次元多様体とする。このとき、チェイン複体のホモロジー群とコチェイン複体のコホモロジー群が同型である:

    \[H_{n - k}(M) \cong H^k(M).\]
    • 整数係数のホモロジー、コホモロジーに対して成り立つ(ので実数係数でも成り立つ)。

    • 証明は 5.2.7 節で与える。

5.2.1 基本類

  • 基本類

    • コンパクトで向き付け可能な連結 \(n\) 次元多様体 \(M\) のホモロジー群は \(\RR\) と同型である。定理 3.4.8 参照。

    • \(K\)\(M\) の三角形分割とし、\(\set{\sigma_i}\)\(n\) 次元単体全体とする。

    • \(n\) チェイン \(\sum \sgn(\sigma_i)\sigma_i\) に対して \({\partial c = 0.}\)

      • ただし \(\sgn\) は向き付けられた \(M\)\(\sigma_i\) との向きの一致を示す符号とする(もちろん一致していればプラスとする)。

      • この \(c\) 上での積分は \(M\) 上でのそれと一致する:

        \[\fn{\int_c = \int_M}{\H^n(M)}\RR`\]
      • この \(c\)\(M\)\(\ZZ\) 係数ホモロジー群の元を代表している。その元を \([M]\) で表し、これを基本類と呼ぶ。

5.2.2 重心細分

\(K\) を単体複体とする。

  • 定義 5.2.2: 重心細分

    • 以下、単体 \({\tau \in K}\) の重心を \(b_\tau\) のように表す。

    • 重心細分 \(\bsd(K)\) とは、次の性質がある \(k\) 単体全体であるとする:

      \[\langle b_{\tau^{m_0}} \dots b_{\tau^{m_k}} \rangle\]

      ただし \(\tau^{m_0}, \dotsc, \tau^{m_k}\) とは \(K\) の相異なる次元の単体であり、\(\tau^{m_{i - 1}}\)\(\tau^{m_i}\) の面となる。

      • この単体列における単体同士の包含関係のようなものを \({\tau^{m_{i - 1}} \prec \tau^{m_i}}\) と書く。本書で明示的には言っていないが、これは半順序になるようだ。

  • 重心細分 \(\bsd(K)\) は単体複体である。

  • 両者の幾何的表現は同じものである:

    \[\abs{\bsd(K)} = \abs{K}.\]
  • 単体の符号

    次のように取り決める。この規約がチェインの記述に必要となる:

    \[\begin{split}\langle e_{j_0} \dots e_{j_k} \rangle = \sgn \begin{pmatrix} i_0 & \cdots & i_k\\ j_0 & \cdots & j_k \end{pmatrix} \langle e_{i_0} \dots e_{i_k} \rangle\end{split}\]
  • \(\fn{\bsd}{C_*(K)}C_*(\bsd(K))\) からホモロジー群の同型 \(\fn{\bsd_*}{H_*(K)}H_*(\bsd(K))\) が得られる。

    • \(\bsd(K)\)\(k\) 単体のうち、\({\langle e_{i_0} \dots e_{i_k}\rangle \in K}\) を重心細分して得られるものを記述したい。

    1. 添字の置換を \({J = j_0 \dots j_k}\) とおく。

    2. \(m\quad{(m = 0, 1, \dotsc, k)}\) 単体を \(\tau^m = \tau^m(J) = {\langle e_{j_0} \dots e_{j_k}\rangle}\) で定義する。

    3. 2. から単体の列が得られる。この各列が \(J\) と一対一対応する:

      \[\tau^0 \prec \dotsb \prec \tau^k.\]
    4. このとき \({\langle b_{\tau^0}\dots b_{\tau^k}\rangle} \in \bsd(K).\)

    5. 単体の列に符号を定義する:

      \[\begin{split}\sgn(\tau^0 \prec \dotsb \prec \tau^k) = \sgn \begin{pmatrix} 0 & \cdots & k\\ j_0 & \cdots & j_k \end{pmatrix}.\end{split}\]

      右辺 2 行目の並びは置換 \(J\) だ。

    6. 次の和は符号を込めて単体 \({\langle e_{i_0} \dots e_{i_k}\rangle}\) を表現している:

      \[\sum_{\tau^0 \prec \dotsb \prec \tau^k = \langle e_{i_0} \dots e_{i_k}\rangle} \sgn(\tau^0 \prec \dotsb \prec \tau^k) \langle b_{\tau^0}\dots b_{\tau^k}\rangle.\]
      • シグマ記号の下、メモミス?

      • 各項 \({\langle e_{i_0} \dots e_{i_k}\rangle}\) の向きと一致する。

5.2.3 双対胞体

  • \(n\) 次元組合せ多様体 \(M\) の三角形分割を \(K\) とする。重心細分 \(\bsd(K)\) の各頂点 \(b_\tau\) に対して \(O(b_\tau) \cong B^n\) が成り立つ。

以下、重心細分 \(\bsd(K)\) と三角形分割 \(K\) との関係を考える。

  • 定義 5.2.3: 双対胞体

    \(k\) 単体 \({\tau^k \in K}\) に対して、次元が 1 ずつ増加する単体列:

    \[\tau^k \prec \tau^{k + 1} \prec \dotsb \prec \tau^n\]

    の全体を考える。この列それぞれに対して、\({n - k}\) 単体 \({\langle b_{\tau^k} \dots b_{\tau^n}\rangle}\) をとり、その和集合を \(\tau^{k*}\) とする。

    • 一般的な状況を記述しているため、直観的にわかりづらい。

  • \(\tau^{k*}\)\(\operatorname{Link}(\tau^k)\)\(b_{\tau^k}\) を頂点とする錐体の単体と同型である。

  • \(\tau^{k*}\) は閉球 \(B^{n - k}\) と同相である。

  • 組合せ多様体はその単体分割の双対胞体を持つ。

  • \(M\) が向き付けられていれば、\(M\)\(b_{\tau^k}\) における向きが定まるように双対胞体の向きとれる。

5.2.4 単体の向き

\(k\) 単体の向きは、それに接する \(k\) 個の一次独立なベクトル、\(k\) 枠、で表される。

  • 単体の各頂点が一直線上に並んでいないのでこのようなものを考えられる。

  • 定義 5.2.4: \({\langle v_0 \dots v_k\rangle}\) の向き

    • \(v_0, \dotsc, v_k \in \RR^N\) を頂点とする \(k\) 単体に対し、\(k\)\({(v_1 - v_0, v_2 - v_1, \dotsc, v_k - v_{k - 1})}\) がその向きを定めるとする。

    • この向きは \(k\)\({(v_1 - v_0, v_2 - v_0, \dotsc, v_k - v_{k - 0})}\) が定める向きと同じである。\(n\) 単体 \({\langle v_0 \dots v_n\rangle}\) の部分 \(k\) 単体とみなせることに注意。

    • \({\langle b_{\tau^0} \dots b_{\tau^n}\rangle} \in \bsd(\tau^n)\) の向きと \({\langle v_0 \dots v_k\rangle}\) の向きは同じ。

  • 境界準同型メモ

    • \({\partial \tau^k}\) を展開したときの \(\tau^{k - 1}\) の係数は \((-1)^k\) である。

    • \({\partial\langle b_{\tau^{k - 1}}b_{\tau^k}\dots b_{\tau^n}\rangle}\) を展開したときの \({\langle b_{\tau^k}\dots b_{\tau^n}\rangle}\) の係数は 1である。

5.2.5 多様体の向きと単体の向き

  • 基本類 \([M]\) は次の和で代表される:

    \[\sum_\sigma \sgn_M(\sigma)\sigma.\]
    • ただし \({\sigma = \langle e_{j_0}\dots e_{j_n}\rangle.}\)

    • ただし \(\sgn_M(\sigma)\) とは、\(M\)\({\sigma \in K}\) の向きが一致するか否かで 1 または -1 をとるものとする。

  • 双対胞体 \(\tau^{k*}\) の向き

    • \({\tau^k = \langle v_0 \dots v_k\rangle}\) とおく。

    • \({\tau^k \prec \tau^n = \langle v_0 \dots v_n\rangle}\) に対して \({\tau^l = \langle v_0 \dots v_l\rangle}\) とおく(意味不明)。

      • \(\tau^k\) が向きが正の単体のときは \({\langle b_{\tau^k}\dots b_{\tau^n}\rangle}\) と向きが同じ単体を、

      • \(\tau^k\) が向きが負の単体のときは \({\langle b_{\tau^k}\dots b_{\tau^n}\rangle}\) と逆向きの単体を

      考えた和をとる。

    • 本書図 5.5 の解釈に注意したい。一単体 \({\langle v_0 v_1\rangle}\) から三単体 \({\langle v_0 v_1 v_2 v_3\rangle}\) に至る列(というか経路)が複数ありそうだ。例えば:

      \[\begin{split}\begin{align*} \langle v_0 v_1\rangle \prec \langle v_0 v_1 v_2\rangle \prec \langle v_0 v_1 v_2 v_3\rangle\\ \langle v_0 v_1\rangle \prec \langle v_0 v_2 v_3\rangle \prec \langle v_0 v_1 v_2 v_3\rangle \end{align*}\end{split}\]
  • 定義 5.2.5: 双対胞体

    チェインバージョン。

    • \(M\) を向き付けられた \(n\) 次元多様体、

    • \(K\)\(M\) の三角形分割、

    • \({\tau^k = \langle v_0 \dots v_k \rangle \in K}\) に対して、 \({\tau^k \prec \tau^n = \langle v_0 \dots v_n \rangle \in K}\) を考え、さらに

      \[\tau^l = \langle v_0 \dots v_l \rangle\quad(l = k, \dotsc, n)\]

    とする。このとき \(\tau^{k*}\) を次で定義する:

    \[\begin{align*} \langle v_0 \dots v_k \rangle^* = \sum_{\langle v_0 \dots v_k \rangle \prec \langle v_0 \dots v_n \rangle} \sgn_M(\langle v_0 \dots v_n \rangle) \langle b_{\tau^k}\dots b_{\tau^n}\rangle \in C_{n - k}(K). \end{align*}\]

    Todo

    記号が間違っている可能性が大。なぜなら \(l\) が出て来ないから。

  • 補題 5.2.6: 双対胞体の境界は双対胞体の和で表せる

    \[\partial\langle v_0 \dots v_{k - 1} \rangle^* = \sum_{\langle v_0 \dots v_{k - 1} \rangle \prec \langle v_0 \dots v_n \rangle} \langle v_0 \dots v_k \rangle^*\]

    記号の使い方を何か工夫したいところだ。

    \[\begin{split}\begin{align*} \text{LHS} &= \sum_{(1)} \sgn_M(\langle v_0 \dots v_n\rangle) \partial\langle b_{\tau^{k - 1}}\dots b_{\tau^n}\rangle\\ &= \sum_{(1)}\sum_{(2)} \sgn_M(\langle v_0 \dots v_n\rangle) \partial\langle b_{\tau^{k - 1}}\dots b_{\tau^n}\rangle\\ &= \sum_{(1)}\sum_{(2)} \sgn_M(\langle v_0 \dots v_n\rangle) \partial\langle b_{\tau^k}\dots b_{\tau^n}\rangle\\ &= \text{RHS}. \end{align*}\end{split}\]

    和の (1), (2) はそれぞれ次のとおり:

    • (1) \({\langle v_0 \dots v_{k - 1} \rangle \prec \langle v_0 \dots v_n \rangle}\)

    • (2) \({\langle v_0 \dots v_k \rangle \prec \langle v_0 \dots v_n \rangle}\)

    1. 最初の等号は 定義 5.2.5 をそのまま適用した? \(\sgn\)\(\partial\) の影響を受けないのでシグマの中に入れたのか?

    2. 二番目の等号でシグマが増えている。これは何だ?

    3. 本書によると三番目の等号は次の場合分けの考察による:

      • \({k \lt l \lt n}\) のとき

        \({\sgn_M(\langle v_0 \dots v_{l - 1} v_l \dots v_n \rangle)\partial\langle\dots\rangle}\) の展開式中の項

        \[\sgn_M(\langle v_0 \dots v_{l - 1} v_l \dots v_n \rangle) (-1)^{l - k - 1}\langle\dots b_{\tau^{l - 2}} b_{\tau^l} \dots\rangle\]

        \({\sgn_M(\langle v_0 \dots v_l v_{l - 1} \dots v_n \rangle)\partial\langle\dots\rangle}\) の展開式中の項

        \[\sgn_M(\langle v_0 \dots v_l v_{l - 1} \dots v_n \rangle) (-1)^{l - k - 1}\langle\dots b_{\tau^{l - 2}} b_{\tau^l} \dots\rangle\]

        のペアがキャンセルし合う。

      • \({l = n}\) のとき

        \({\langle v_0 \dots v_{n - 1} v_n\rangle}\) に対して \({\operatorname{Link}(\langle v_0 \dots v_{n - 1} v_n\rangle)}\)\(S^0\) と同相であることより、これは二点からなる。

        ある \({v_n' \in K}\) が存在して \({\langle v_0 \dots v_{n - 1} v_n'\rangle}\) が単体として存在して、\({\langle v_0 \dots v_{n - 1} v_n\rangle}\)\({\langle v_0 \dots v_{n - 1}\rangle}\) を共有する。

        \[\sgn_M(\langle v_0 \dots v_{n - 1} v_n\rangle) \sgn_M(\langle v_0 \dots v_{n - 1} v_n'\rangle) = -1.\]

        ゆえに

        \[\sgn_M(\langle v_0 \dots v_{n - 1} v_n\rangle) (-1)^{n - k - 1} \langle b_{\tau^{k - 1}} \dots b_{\tau^{n - 1}}\rangle + \sgn_M(\langle v_0 \dots v_{n - 1} v_n'\rangle) (-1)^{n - k - 1} \langle b_{\tau^{k - 1}} \dots b_{\tau^{n - 1}}\rangle = 0.\]

      全然わからない。添字がわからない。

5.2.6 双対胞体のなす複体のホモロジー

  • \(C_l(K^*)\)\({n - l}\) 単体の双対胞体を基底とする加群(自由 \(\ZZ\) または \(\RR\) ベクトル)とする。

  • 境界準同型 \(\fn{\partial}{C_l(K^*)}C_{l - 1}(K^*)\) を p. 101 の要領で定義する。

  • 問題 5.2.7: \({\partial \circ \partial = 0}\)

    1. \(\displaystyle {\partial(\partial(\langle v_0 \dots v_n\rangle^*) = \sum_{\langle v_0 \dots v_{k - 1}\rangle \prec \langle v_0 \dots v_n\rangle}\partial\langle v_0 \dots v_n\rangle^*.}\)

    2. \(\displaystyle {\partial\langle v_0 \dots v_k\rangle^* = \sum_{\langle v_0 \dots v_k\rangle \prec \langle v_0 \dots v_{k + 1}\rangle} \langle v_0 \dots v_{k + 1}\rangle^*.}\)

    3. \({\langle v_0 \dots v_{k - 1}\rangle \prec \langle v_0 \dots v_{k + 1}\rangle}\) ならば次の半順序関係が成り立つ:

      \[\begin{split}\begin{align*} \langle v_0 \dots v_{k - 1}\rangle &\prec \langle v_0 \dots v_{k - 1} v_k\rangle &\prec \langle v_0 \dots v_{k - 1} v_k v_{k + 1}\rangle\\ \langle v_0 \dots v_{k - 1}\rangle &\prec \langle v_0 \dots v_{k - 1} v_{k + 1}\rangle &\prec \langle v_0 \dots v_{k - 1} v_k v_{k + 1}\rangle \end{align*}\end{split}\]
    4. 3. の最初の半順序関係から得られる 1. の展開式中の \({\langle v_0 \dots v_{k + 1}\rangle}^*\) の係数はプラスである。一方、3. の二番目の半順序関係から偉えるそれはマイナスであるから、それは \({\partial \circ \partial = 0}\) を意味する。

    この証明もよくわからない。

  • 補題 5.2.6 は包含写像 \({C_l(K^*) \longto C_l(\bsd(K))}\) がチェイン写像であると言っている。

  • \(K^*\)\(\bsd(K)\) を有限胞体複体であると考えると、ホモロジー群は \(M\) の特異ホモロジー群と同型であることが、ホモロジー群の教科書に書いてあるらしい。

    • 特異ホモロジー群は p. 99 でやった。

  • この包含写像がホモロジー群の同型を導くらしい。

5.2.7 ポアンカレの双対定理の証明

準備が整ったので 定理 5.2.1 の証明を与える。

  1. \(\fn{C_k(K)}C_{k - 1}(K)\) を表す \({k - 1 \times k}\) 行列を \({A = (a_{ij})}\) とする:

    \[\partial\sigma_j^k = \sum_{i = 1}^{n_{k - 1}} a_{ij}\sigma_i^{k - 1} \quad(j = 1, \dotsc, n_k).\]
  2. すると \(\fn{\partial}{C_{n - k + 1}(K^*)}C_{n - k}(K^*)\) を表す行列は \({(-1)^k {}\!^tA = ((-1)^k a_{ji})}\) となる。

  3. 行列は \({(-1)^k {}\!^tA}\) は写像 \(\fn{(-1)^k\delta}{C^{k - 1}(K)}C^k(K)`を表すものである(これを示すのに :ref:`補題 5.2.6 <tsuboi08.5.2.6>\) を用いる):

    \[\begin{split}\require{amscd} \begin{CD} @>{\partial}>> C_{n - k + 1}(K^*) @>{\partial}>> C_{n - k}(K^*) @>{\partial}>> C_{n - k - 1}(K^*) @>{\partial}>>\\ @. @VVV @VVV @VVV\\ @>{(-1)^{k - 1}\delta}>> C^{k - 1}(K) @>{(-1)^k\delta}>> C^k(K) @>{(-1)^{k + 1}\delta}>> C^{k + 1}(K) @>{(-1)^{k + 2}\delta}>> \end{CD}\end{split}\]

したがって \({H_{n - k}(K^*) \cong H^k(K)}\) が成り立つ。

  • 注意 5.2.8: この証明は向き付けを持たない閉多様体に対して、\({\ZZ/2\ZZ}\) 係数のポアンカレ双対定理が成立する。

  • 問題 5.2.9: 奇数次元コンパクト向き付け可能多様体はオイラー標数がゼロ

    1. コンパクト向き付け可能多様体を \(M\) とし、\({\dim M = 2n + 1}\) とおく。

    2. オイラー標数を計算する:

      \[\begin{split}\begin{align*} \chi(M) &= \sum_{k = 0}^{2n + 1} (-1)^k \dim H^k(M)\\ &= \left(\sum_{k = 0}^n + \sum_{k = n + 1}^{2n + 1}\right)(-1)^k \dim H^k(M)\\ &= \sum_{k = 0}^n(-1)^k \dim H^k(M) + \sum_{k = n + 1}^{2n + 1}(-1)^k \dim H^{2n + 1 - k}(M)\\ &= \sum_{k = 0}^n(-1)^k \dim H^k(M) + \sum_{k = 0}^n (-1)^{2n + 1 - k} \dim H_k(M) \end{align*}\end{split}\]
      • 最初の等号は 問題 3.3.3 による。

      • 二番目の等号はシグマを前半と後半とに分割した。

      • 三番目の等号にポアンカレ双対定理を間接的に使用してあるようだ。

      • 最後の等号にポアンカレ双対定理、添字調整、命題 3.3.4 を使用してあるようだ。