Interpolation categories for homology theories (Q861842): Difference between revisions

For the purpose of this paper, a homological functor \(F:{\mathcal T}\to {\mathcal A}\) from a triangulated category \({\mathcal T}\) to an abelian category \({\mathcal A}\) is an additive functor which maps distinguished triangles to long exact sequences. Here \({\mathcal A}\) is graded in the following sense: there is a self equivalence of \({\mathcal A}\), such that \(F(\Sigma X)\cong (FX)[1]\) via a natural isomorphism. The realization problem along the homological functor \(F\) is: given an object \(A\) (respectively an arrow \(\varphi)\) in \({\mathcal A}\) does there exist an object \(X\) (respectively an arrow \(f)\) such that \(F(A)=X\) (respectively \(F(\varphi)=f)\), and if yes how many different objects (respectively maps) exist? The author develops an obstruction calculus for realizing objects and arrows along a homological functor \(F\) satisfying standard technical conditions met by most examples in topology. He uses injective resolutions in \({\mathcal A}\) and tries to realize them step by step as cosimplicial objects over \({\mathcal M}\) where \({\mathcal M}\) is a stable model category having \({\mathcal T}\) as its homotopy category. Since we are here in a completely linear or stable situation, the theory required to set up the obstruction calculus simplifies compared to the other setting. Simplifications arise also since the author uses truncated resolution models. Finally, the author applies his obstruction theory to the problem of determining some Adams differentials and certain local Picard groups.