第 5 章 多様体の位相と微分形式 1/2¶
ホモロジーの話が多いが、不慣れなので別の本で補わないと苦しい。
曲率形式
パフ形式、
行列を値とする。ガウス・ボンネの定理→偶数次元リーマン多様体に拡張。
オイラー標数の定数倍
特性形式、ホモロジー類上での積分、次元=次数、不変量。
命題 3.4.10 の考察:向き付けの有無と
が と同型になるのか、ゼロと同型になるのかの対応関係。ポアンカレ双対定理はこれの拡張とみなせる。
5.1 多様体の三角形分割¶
5.1.1 組合せ多様体¶
まず 定義 3.3.1 前後を復習しておいたほうがいい。特に
リンク
を単体複体とする。単体
に対し、次の性質を満たす単体 の全体を と書く: が共通のある一つの の単体の面となる。
定義 5.1.1: 組合せ多様体 or PL 多様体
次元単体複体 が 組合せ多様体 or PL 多様体 であるとは、各 に対し が球面 と同相な 次元組合せ多様体 or PL 多様体であることを言う。この
とは何だ?定義が再帰的に与えられている。
注意 5.1.2: 単体複体
の頂点 について が と同相であると言っているのと同値である。開星状体
この概念は 3.3.2 節で定義していた。
単体複体の頂点
に対して開集合 を を頂点とする単体の内部全体の和集合として定義する。 が組合せ多様体であるときは は開球 と同相である。
5.1.2 三角形分割¶
定義 5.1.3:
三角形分割コンパクト
次元多様体 に対して、次の性質がある 次元組合せ多様体 および同相写像 が存在する:各単体上で
級写像である。先の同相写像のほうを
三角形分割という。証明は付録で与えられる。
5.2 ポアンカレ双対原理¶
この節ではポアンカレ双対原理の主張を最初に述べて、その証明に必要な準備をして、最後に証明を与えるという構成になっている。
定理 5.2.1: ポアンカレ双対原理
をコンパクトな向き付け可能 次元多様体とする。このとき、チェイン複体のホモロジー群とコチェイン複体のコホモロジー群が同型である:整数係数のホモロジー、コホモロジーに対して成り立つ(ので実数係数でも成り立つ)。
証明は 5.2.7 節で与える。
5.2.1 基本類¶
5.2.2 重心細分¶
定義 5.2.2: 重心細分
以下、単体
の重心を のように表す。重心細分
とは、次の性質がある 単体全体であるとする:ただし
とは の相異なる次元の単体であり、 が の面となる。この単体列における単体同士の包含関係のようなものを
と書く。本書で明示的には言っていないが、これは半順序になるようだ。
重心細分
は単体複体である。両者の幾何的表現は同じものである:
単体の符号
次のように取り決める。この規約がチェインの記述に必要となる:
からホモロジー群の同型 が得られる。 の 単体のうち、 を重心細分して得られるものを記述したい。
添字の置換を
とおく。 単体を で定義する。2. から単体の列が得られる。この各列が
と一対一対応する:このとき
単体の列に符号を定義する:
右辺 2 行目の並びは置換
だ。次の和は符号を込めて単体
を表現している:シグマ記号の下、メモミス?
各項
の向きと一致する。
5.2.3 双対胞体¶
次元組合せ多様体 の三角形分割を とする。重心細分 の各頂点 に対して が成り立つ。
以下、重心細分
定義 5.2.3: 双対胞体
単体 に対して、次元が 1 ずつ増加する単体列:の全体を考える。この列それぞれに対して、
単体 をとり、その和集合を とする。一般的な状況を記述しているため、直観的にわかりづらい。
は の を頂点とする錐体の単体と同型である。 は閉球 と同相である。組合せ多様体はその単体分割の双対胞体を持つ。
が向き付けられていれば、 の における向きが定まるように双対胞体の向きとれる。
5.2.4 単体の向き¶
単体の各頂点が一直線上に並んでいないのでこのようなものを考えられる。
定義 5.2.4:
の向き を頂点とする 単体に対し、 枠 がその向きを定めるとする。この向きは
枠 が定める向きと同じである。 単体 の部分 単体とみなせることに注意。 の向きと の向きは同じ。
境界準同型メモ
を展開したときの の係数は である。 を展開したときの の係数は 1である。
5.2.5 多様体の向きと単体の向き¶
基本類
は次の和で代表される:ただし
ただし
とは、 と の向きが一致するか否かで 1 または -1 をとるものとする。
双対胞体
の向き とおく。 に対して とおく(意味不明)。 が向きが正の単体のときは と向きが同じ単体を、 が向きが負の単体のときは と逆向きの単体を
考えた和をとる。
本書図 5.5 の解釈に注意したい。一単体
から三単体 に至る列(というか経路)が複数ありそうだ。例えば:
定義 5.2.5: 双対胞体
チェインバージョン。
を向き付けられた 次元多様体、 を の三角形分割、 に対して、 を考え、さらに
とする。このとき
を次で定義する:Todo
記号が間違っている可能性が大。なぜなら
が出て来ないから。
補題 5.2.6: 双対胞体の境界は双対胞体の和で表せる
記号の使い方を何か工夫したいところだ。
和の (1), (2) はそれぞれ次のとおり:
(1)
(2)
最初の等号は 定義 5.2.5 をそのまま適用した?
は の影響を受けないのでシグマの中に入れたのか?二番目の等号でシグマが増えている。これは何だ?
本書によると三番目の等号は次の場合分けの考察による:
のとき の展開式中の項と
の展開式中の項のペアがキャンセルし合う。
のとき に対して が と同相であることより、これは二点からなる。ある
が存在して が単体として存在して、 と を共有する。ゆえに
全然わからない。添字がわからない。
5.2.6 双対胞体のなす複体のホモロジー¶
を 単体の双対胞体を基底とする加群(自由 または ベクトル)とする。境界準同型
を p. 101 の要領で定義する。
問題 5.2.7:
ならば次の半順序関係が成り立つ:3. の最初の半順序関係から得られる 1. の展開式中の
の係数はプラスである。一方、3. の二番目の半順序関係から偉えるそれはマイナスであるから、それは を意味する。
この証明もよくわからない。
補題 5.2.6 は包含写像
がチェイン写像であると言っている。 と を有限胞体複体であると考えると、ホモロジー群は の特異ホモロジー群と同型であることが、ホモロジー群の教科書に書いてあるらしい。特異ホモロジー群は p. 99 でやった。
この包含写像がホモロジー群の同型を導くらしい。
5.2.7 ポアンカレの双対定理の証明¶
準備が整ったので 定理 5.2.1 の証明を与える。
を表す 行列を とする:すると
を表す行列は となる。行列は
は写像 を用いる):
したがって
注意 5.2.8: この証明は向き付けを持たない閉多様体に対して、
係数のポアンカレ双対定理が成立する。