Constructive Homological Algebra and Applications
arXiv:1208.3816
Abstract
This text was written and used for a MAP Summer School at the University of Genova, August 28 to September 2, 2006. Available since then on the web site of the second author, it has been used and referenced by several colleagues working in Commutative Algebra and Algebraic Topology. To make safer such references, it was suggested to place it on the Arxiv repository. It is a relatively detailed exposition of the use of the Basic Perturbation Lemma to make constructive Homological Algebra (standard Homological Algebra is not constructive) and how this technology can be used in Commutative Algebra (Koszul complexes) and Algebraic Topology (effective versions of spectral sequences).
Version 3: Error corrected p. 111, see footnote 26
Cited by in corpus (6)
- Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension
- Extendability of continuous maps is undecidable
- Computing higher homotopy groups is W[1]-hard
- Effective persistent homology of digital images
- When are two spaces homotopy equivalent?
- Computing higher Leray-Serre spectral sequences of towers of fibrations