| date | page |
|---|---|
| Dec 03 | higher_Segal_space.h... |
| Dec 04 | numbers.html |
| Dec 04 | frieze_pattern.html |
| Dec 05 | manifold_with_bounda... |
| Dec 05 | multivariable.html |
| Dec 06 | exact_category_gener... |
| Dec 07 | dagger_category.html |
| Dec 07 | category_with_someth... |
| Dec 07 | category_with_dualit... |
| Dec 07 | bilinear.html |
| Dec 08 | cluster_algebra.html |
| Dec 08 | total_positivity.htm... |
| Dec 09 | graph_polytopes.html |
| Dec 10 | topological_complexi... |
| Dec 10 | Schwarz_genus.html |
| Dec 11 | coarse_space.html |
| Dec 12 | algebraic_constructi... |
| Dec 13 | persons.html |
| Dec 14 | pin_variations.html |
| Dec 15 | triangulated_categor... |
| Dec 15 | stable_infty-categor... |
| Dec 16 | integrable_systems.h... |
| Dec 17 | word_problem.html |
| Dec 18 | configuration_space_... |
| Dec 19 | reflection_group.htm... |
| Dec 19 | Bott_periodicity.htm... |
| Dec 20 | homology_operation.h... |
| Dec 21 | abstract_polytope.ht... |
| Dec 21 | associahedron.html |
| Dec 22 | sphere_packing.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
|