Comparing cohomology obstructions

From MaRDI portal



Abstract: We show that three different kinds of cohomology - Baues-Wirsching cohomology, the (S,O)-cohomology of Dwyer-Kan, and the Andre-Quillen cohomology of a Pi-algebra - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues-Wirsching, the diagram rectifications of Dwyer-Kan-Smith, and the Pi-Algebra realization of Dwyer-Kan-Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.


This paper considers three different cohomology theories that have been used for obstruction theory, namely André-Quillen cohomology, Baues-Wirschling cohomology and Dwyer-Kan's \(({\mathcal S}_*,{\mathcal O})\)-cohomology. After identifying the objects to which these theories apply, and their coefficient systems, the authors proceed to unify the theories, giving natural isomorphisms between them under certain conditions. They then go on to identify the obstructions.



Cites work









This page was built for publication: Comparing cohomology obstructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531348)