A few localisation theorems

From MaRDI portal
Publication:2642400



Abstract: Given a functor T:CoD carrying a class of morphisms SsubsetC into a class S′subsetD, we give sufficient conditions in order that T induces an equivalence on the localised categories. These conditions are in the spirit of Quillen's theorem A. We give some applications in algebaic and birational geometry.


Let \(T:{\mathcal C}\rightarrow {\mathcal D}\) be a functor and \(S\subset {\mathcal C},S^{\prime }\subset{\mathcal D}\) two classes of morphisms containing identities and stable under composition, such that \(T(S)\subseteq S^{\prime }.\) This induces the functor \(\overline{T} :S^{-1}{\mathcal C}\rightarrow S^{\prime -1}{\mathcal D},\) where \(P:{\mathcal C}\rightarrow S^{-1}{\mathcal C},Q:{\mathcal D}\rightarrow S^{\prime ^{{}}-1}{\mathcal D}\) are localization functors. In this note, the author offer an answer to the following question: Give sufficient conditions for \(\overline{T}\) to be an equivalence of categories. The answer, Theorem 2.1, is in the spirit of \textit{D. Quillen}'s Theorem A [see Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004)]: in the above situation, forgetting \(S\) and \(S^{\prime },\) if for all \(d\in {\mathcal D}\) the category \( d\backslash T\) is \(\infty\)-connected, then \(T\) is a weak equivalence.











This page was built for publication: A few localisation theorems

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