| date | page |
|---|---|
| Apr 11 | quasisymmetric_funct... |
| 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... |
ホモロジーとコホモロジー |
|
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
|