Rights statement: This is the author’s version of a work that was accepted for publication in Advances in Mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Advances in Mathematics, 328, 2018 DOI: 10.1016/j.aim.2018.02.004
Accepted author manuscript, 824 KB, PDF document
Available under license: CC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
Final published version
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - Derived localisation of algebras and modules
AU - Braun, Christopher
AU - Chuang, Joseph
AU - Lazarev, Andrey
N1 - This is the author’s version of a work that was accepted for publication in Advances in Mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Advances in Mathematics, 328, 2018 DOI: 10.1016/j.aim.2018.02.004
PY - 2018/4/13
Y1 - 2018/4/13
N2 - For any dg algebra A, not necessarily commutative, and a subset S in H(A)H(A), the homology of A , we construct its derived localisation LS(A)LS(A) together with a map A→LS(A)A→LS(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, LS(A)LS(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(LS(A))H(LS(A)) and LS(H(A))LS(H(A)); this spectral sequence collapses when, e.g. S is an Ore set or when A is a free ring.We prove that LS(A)LS(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.
AB - For any dg algebra A, not necessarily commutative, and a subset S in H(A)H(A), the homology of A , we construct its derived localisation LS(A)LS(A) together with a map A→LS(A)A→LS(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, LS(A)LS(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(LS(A))H(LS(A)) and LS(H(A))LS(H(A)); this spectral sequence collapses when, e.g. S is an Ore set or when A is a free ring.We prove that LS(A)LS(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.
KW - Derived localisation
KW - dg algebra
KW - Ore set
KW - Group completion
U2 - 10.1016/j.aim.2018.02.004
DO - 10.1016/j.aim.2018.02.004
M3 - Journal article
VL - 328
SP - 555
EP - 622
JO - Advances in Mathematics
JF - Advances in Mathematics
SN - 0001-8708
ER -