An algebraic model for homotopy fibers

Abstract

Let $F$ be the homotopy fiber of a continuous map $f:X@>>>Y$, and let $R$ be a commutative, unitary ring. Given a morphism of chain Hopf algebras that models $(\Omega f)_{\sharp}:C_{*}(\Omega X;R)@>>>C_{*}(\Omega Y;R)$, we construct a cochain algebra that models $C^*(F;R)$. We explain how to simplify the model for certain large classes of maps $f$ and provide examples of the application of our model.