| date | page |
|---|---|
| Oct 27 | monad.html |
| 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... |
ホモロジーとコホモロジー |
|
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
|