Homological epimorphisms, homotopy epimorphisms and acyclic maps

Differential graded algebras and applications (associative algebraic aspects) (16E45) Derived categories, triangulated categories (18G80) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of induced maps of their chain algebras of based loop spaces. In the case of a universal acyclic map we obtain, for a wide class of spaces, an explicit algebraic description for these induced maps in terms of derived localization.

Review text

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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Homological epimorphisms, homotopy epimorphisms and acyclic maps

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