| date | page |
|---|---|
| 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 |
| Nov 16 | Monsky_dissection.ht... |
| Nov 16 | polygon.html |
| Nov 16 | noncrossing_partitio... |
| Nov 17 | diagram_of_spaces.ht... |
| Nov 17 | generalized_spaces.h... |
| Nov 17 | space_level_construc... |
| Nov 17 | ind-pro.html |
| Nov 17 | pro-object.html |
| Nov 17 | ind-object.html |
| Nov 17 | A_infty-category.htm... |
| Nov 17 | limits.html |
| Nov 18 | finiteness_for_group... |
| Nov 18 | locally_compact_grou... |
| Nov 19 | Segal_space.html |
| Nov 20 | quandle.html |
| Nov 21 | root_system.html |
ホモロジーとコホモロジー |
|
Poincaré は, トポロジーにおける二つの重要な道具を発見した。 ホモロジーと基本群である。 基本群は, Hurewicz などによりホモトピー群として一般化された。 ここでは(コ)ホモロジー及びそれに関連した事柄への link をまとめた。 (コ)ホモロジーには, 様々な構成法がある。 可微分多様体に対する微分形式を用いた de Rham cohomology の構成と Eilenberg-Mac Lane 空間を用いたホモトピー集合としての定義が一致するというのは, 驚くべき事実である。 無限対称積の ホモトピー群が特異ホモロジーと同型になるという Dold-Thom の定理も, にわかには信じ難い。Chen と Ruan の orbifold cohomology や twisted \(K\)-theory, そして differential cohomology のような新しい変種も次々に発見されている。 Fiorenza, Sati, Schreiber [FSS] は, これらの位相空間の cohomology theory を包括する枠組みとして, ホモトピー集合 \([X,A]\) を \(A\) を係数とする\(X\)の non-Abelian cohomology とみなすことを提案している。 ちょっと一般的すぎる気がするが, 位相空間のホモトピー圏 (単体的集合のホモトピー圏) を他のホモトピー圏に変えることで, differential cohomology なども, この枠組みで扱えるようである。 更に, ホモロジー (ホモトピー) 代数的には, Abelianization functor の Quillen の意味での derived functor (Goerss と Schemmerhorn の [GS07] 参照) という見方もある。 このように様々な構成方法や解釈を持つおかげで数多くの分野で応用があるわけだが, ではホモロジーの本質とは一体何なのだろうか?
References
|