Homological epimorphisms, homotopy epimorphisms and acyclic maps (Q1998772)

The authors compare two derived versions of an algebra epimorphism, \emph{homological epimorphism} and \emph{homotopical epimorphism}. They consider a number of interesting applications to topology. Generalising the classical case on can define a map of dg algebras \(A \rightarrow B\) to be a \begin{itemize} \item homological epimorphism if the multiplication map \(B \otimes^L_A B \rightarrow B\) is a quasi-isomorphism, \item homotopical epimorphism if the codiagonal map \(B *^L_A B \rightarrow B\) is a quasi-isomorphism. \end{itemize} The first main result of the paper is that an arbitrary map of arbitrary dg algebras is a homological epimorphism if and only if it is homotopical epimorphism. The paper then shows that a map of \(X \to Y\) of connected spaces is \(k\)-acyclic, i.e.\ the reduced homology of the fiber is trivial, if and only if the induced map \(C_*(GX, k) \to C_*(GY, k)\) between chains on the loop spaces is a homotopical (or equivalently homological) epimorphism. The authors deduce another equivalent characterisation of \(k\)-acyclic maps as those maps inducing fully faithful embeddings of the derived categories of infinity local systems. Finally, an algebraic description of the loop spaces of the \(p\)-plus construction is obtained for many spaces. In particular in the case that \(X\) has finite fundamental group the chains on \(GX^+_p\) are obtained from chains on \(GX\) by derived localisation at a single idempotent. These results are considered in explicit examples.