Derived localisation of algebras and modules

TL;DR

This paper introduces a homotopy-invariant derived localisation for dg algebras, generalizing classical localisation, with applications to algebraic K-theory, homology theories, and topological group completion.

Contribution

It constructs a universal derived localisation for dg algebras, relating homology and spectral sequences, and connects it to Bousfield localisation and various applications.

Findings

Derived localisation has a universal property in homotopy category.

Spectral sequence relates homology of localisation to localisation of homology.

Applications include proofs of the topological group completion theorem and insights into algebraic K-theory.

Abstract

For any dg algebra $A$, not necessarily commutative, and a subset $S$ in $H(A)$, the homology of $A$, we construct its derived localisation $L_S(A)$ together with a map $A\to L_S(A)$, well-defined in the homotopy category of dg algebras, which possesses a universal property, similar to that of the ordinary localisation, but formulated in homotopy invariant terms. Even if $A$ is an ordinary ring, $L_S(A)$ may have non-trivial homology. Unlike the commutative case, the localisation functor does not commute, in general, with homology but instead there is a spectral sequence relating $H(L_S(A))$ and $L_S(H(A))$; this spectral sequence collapses when, e.g. $S$ is an Ore set or when $A$ is a free ring. We prove that $L_S(A)$ could also be regarded as a Bousfield localisation of $A$ viewed as a left or right dg module over itself. Combined with the results of Dwyer-Kan on simplicial localisation, this leads to a simple and conceptual proof of the topological group completion theorem. Further applications include algebraic $K$-theory, cyclic and Hochschild homology, strictification of homotopy unital algebras, idempotent ideals, the stable homology of various mapping class groups and Kontsevich's graph homology.