| date | page |
|---|---|
| Oct 28 | topological_space.ht... |
| Oct 28 | connectedness.html |
| Oct 28 | covering_space.html |
| Oct 29 | small_category_basic... |
| Oct 29 | EI_category.html |
| Oct 29 | preprojective_algebr... |
| Oct 30 | MU.html |
| Oct 30 | BP.html |
| Oct 31 | generalized_quivers.... |
| Nov 01 | Bergman_complex.html |
| Nov 02 | random_topology.html |
| Nov 02 | random_topology (Tam... |
| Nov 03 | minimal_triangulatio... |
| Nov 04 | quantum_group.html |
| Nov 04 | locally_compact_quan... |
| Nov 04 | compact_quantum_grou... |
| Nov 05 | infty_n-category.htm... |
| Nov 06 | modules.html |
| Nov 06 | algebraic_K_of_ring.... |
| Nov 06 | weak_equivalence.htm... |
| Nov 07 | Rota-Baxter_algebra.... |
| Nov 08 | homology_of_iterated... |
| Nov 09 | polymatroid.html |
| Nov 10 | cactus_group.html |
| Nov 11 | generalized_triangul... |
| Nov 12 | cubical_set.html |
| Nov 13 | Reedy_category.html |
| Nov 14 | CW.html |
| Nov 14 | CW_approximation.htm... |
| Nov 15 | numbers.html |
具体的な(コ)ホモロジーの計算例 |
|
ホモロジーは計算可能である。より正確に言えば, ホモロジーは, 一般には, ホモトピー群より計算が楽である。 実際, ホモロジーを計算することにより, 様々な空間の重要な性質が得られる。 慣れてくると, 空間のホモロジーを計算することにより, その空間がどういう空間かということを「感じる」ことができるようになる。 そうなるためにも, なるべく多くの空間の(コ)ホモロジーを, 自分で計算してみるべきである。 多様体の中でも, Lie群は特に重要である。球面 (Stiefel多様体) や射影空間 (Grassmann多様体) などのように Lie群を用いて等質空間として記述される多様体は多いし, また分類空間など関連した空間も多いからである。Lie群は, かつて日本の代数的トポロジーの研究者の間では中心的な研究対象だった。 関西の研究者が中心となって, Lie群やそれに関連した空間, 等質空間や分類空間など, のコホモロジーを数多く決定した。 その結果の一部は戸田-三村の本 [戸三78; 戸三79; MT91] にまとめられている。 スペクトル系列の使い方を勉強したい人は, この本の計算を自分でやってみるとよい。 離散群 \(G\) については, \(G\) の (代数的に定義さ れた) コホモロジーは, 分類空間 \(BG\) の (位相空間としての) コホモロジーである。逆に Kan-Thurston の定理 [KT76] により, 位相空間のコホモロジーは群のコホモロジーとみなすことができる。 そのため, 群のコホモロジーは, 代数の研究者はもちろん, トポロジーの研究者によっても活発に研究されてきた。 分類空間を用いて構成できる空間の中で, 最も重要なものの一つが Eilenberg-Mac Lane space である。 Eilenberg-Mac Lane空間 の(コ)ホモロジーの計算は, ループ空間の(コ)ホモロジーの計算例としても重要である。 References
|