| date | page |
|---|---|
| Apr 12 | directed_algebraic_t... |
| Apr 12 | mapping_space.html |
| Apr 13 | unstable_chromatic.h... |
| Apr 14 | triangulated_categor... |
| Apr 14 | triangulated_categor... |
| Apr 14 | triangulated_categor... |
| Apr 14 | thick_subcategory.ht... |
| Apr 14 | nilpotence_theorem.h... |
| Apr 14 | stable_homotopy_cate... |
| Apr 15 | Grothendieck_constru... |
| Apr 16 | singularity.html |
| Apr 16 | stratified_spaces.ht... |
| Apr 16 | stratification_and_g... |
| Apr 17 | matrix.html |
| Apr 18 | Stiefel_manifold.htm... |
| Apr 19 | generalized_quivers.... |
| Apr 20 | computer.html |
| Apr 20 | Lean.html |
| Apr 20 | software_for_proving... |
| Apr 20 | about.html |
| Apr 21 | topological_combinat... |
| Apr 22 | fibered_category.htm... |
| Apr 22 | double_category.html |
| Apr 23 | numbers.html |
| Apr 24 | word_problem.html |
| Apr 25 | plus_construction.ht... |
| Apr 26 | A-infinity.html |
| Apr 26 | A_infty-algebra_vari... |
| Apr 26 | Kunneth_and_universa... |
| Apr 27 | quasisymmetric_funct... |
具体的な(コ)ホモロジーの計算例 |
|
ホモロジーは計算可能である。より正確に言えば, ホモロジーは, 一般には, ホモトピー群より計算が楽である。 実際, ホモロジーを計算することにより, 様々な空間の重要な性質が得られる。 慣れてくると, 空間のホモロジーを計算することにより, その空間がどういう空間かということを「感じる」ことができるようになる。 そうなるためにも, なるべく多くの空間の(コ)ホモロジーを, 自分で計算してみるべきである。 多様体の中でも, Lie群は特に重要である。球面 (Stiefel多様体) や射影空間 (Grassmann多様体) などのように Lie群を用いて等質空間として記述される多様体は多いし, また分類空間など関連した空間も多いからである。Lie群は, かつて日本の代数的トポロジーの研究者の間では中心的な研究対象だった。 関西の研究者が中心となって, Lie群やそれに関連した空間, 等質空間や分類空間など, のコホモロジーを数多く決定した。 その結果の一部は戸田-三村の本 [戸三78; 戸三79; MT91] にまとめられている。 スペクトル系列の使い方を勉強したい人は, この本の計算を自分でやってみるとよい。 離散群 \(G\) については, \(G\) の (代数的に定義さ れた) コホモロジーは, 分類空間 \(BG\) の (位相空間としての) コホモロジーである。逆に Kan-Thurston の定理 [KT76] により, 位相空間のコホモロジーは群のコホモロジーとみなすことができる。 そのため, 群のコホモロジーは, 代数の研究者はもちろん, トポロジーの研究者によっても活発に研究されてきた。 分類空間を用いて構成できる空間の中で, 最も重要なものの一つが Eilenberg-Mac Lane space である。 Eilenberg-Mac Lane空間 の(コ)ホモロジーの計算は, ループ空間の(コ)ホモロジーの計算例としても重要である。 References
|