scientific article; zbMATH DE number 2172967
This article is an addendum to the usual results of basic homology algebra. Two morphisms \(f,g: C \to C'\) of chain complexes (or differential objects) are absolutely homologous if for any additive functor \(F\) to any abelian category, the induced maps \(Ff\) and \(Fg\) are homologous (i.e., induce the same map on homology). The morphisms \(f\) and \(g\) are left absolute homologous if they remain homologous under all left exact functors \(F\). The definition of right absolute homologous morphisms is analogous. The article characterizes these three classes of pairs of morphisms. Let \(d\) denote the boundary morphism below. Theorem 2.1 states that \(f\) and \(g\) are absolutely homologous if and only if there are morphisms \(h,k\colon C \to C'\) (of degree \(1\)) such that \(f - g = hd + dk\). The author gives a simple example where one cannot choose \(h=k\), i.e., \(f\) and \(g\) are absolutely homologous but not homotopic. Theorem 3.1 says that \(f\) and \(g\) are left absolute homologous if and only if there exists \(k: Z(C) \to C'\) such that \(f-g\) restricted to the cycle complex \(Z(C)\) is \(dk\). Theorem 3.2 is the dual result for right absolute homologous maps. Finally, the author shows in the last section that under suitable projectivity condition every morphism \(H(C) \to H(C')\) is induced by a chain map \(f: C \to C'\), which is unique up to left absolute homology.
- On homotopy classes of cochain maps
- Homotopic chain maps have equal s-homology and d-homology
- On weight complexes, pure functors, and detecting weights
- Straight homotopy invariants
- Homology with respect to a kernel transformation
- Natural Homology
- Absolutely homotopy-cartesian squares
- Some extensions in homological algebra.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680355)
