2024-10-29 | | Total: 4
We study a weight-exact localization pi of a well generated triangulated category C along with the embedding of the hearts of adjacent t-structures coming from the functor right adjoint to pi. We prove that the functors relating the corresponding four hearts are completely determined by the heart Hw of the weight structure on C along with the set of Hw-morphisms that we invert via pi; it also suffices to know the corresponding embedding of the hearts of t-structures. Our results generalize the description of non-commutative localizations of rings in terms of weight-exact localizations given in an earlier paper of the first author. That paper was essentially devoted to weight-exact localizations by compactly generated subcategories, whereas in the current text we focus on "more complicated" localizations. We recall that two types of localizations of the sort we are interested in were studied by several authors. They took C=D(R-mod); the heart of the first t-structure was equivalent to R-mod, and the second heart was equivalent to the exact abelian category $U_{contra}\subset R-mod$ of U-contramodules (corresponding to a set of Proj R-mod-morphisms U related either to a homological ring epimorphism $u:R\to UU$ or to an ideal of I of R). The functor $R-mod\to U_{contra}$ induced by pi is a certain completion one. Consequently, the hearts of the corresponding weight structures are equivalent to Proj R-mod and to the subcategory of projective objects of U_{contra}, respectively. Moreover, the connecting functors between these categories are isomorphic to ones coming from any weight structure class-generated by a single compact object whose endomorphism ring is R^{op}; in particular, one can take R=Z and C=SH and re-prove some important statements due to Bousfield.
Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vopěnka's principle. In this article, we prove that each of the following statements is equivalent to an axiom of lower consistency strength than Vopěnka's principle, known as weak Vopěnka's principle: (a) Localization with respect to any class of maps exists in the homotopy category of simplicial sets; (b) Localization with respect to any class of maps exists in the homotopy category of spectra; (c) Localization with respect to any class of morphisms exists in any presentable $\infty$-category; (d) Every full subcategory closed under products and fibres in a triangulated category with locally presentable models is reflective. Our results are established using Wilson's 2020 solution to a long-standing open problem concerning the relative consistency of weak Vopěnka's principle within the large-cardinal hierarchy.
We introduce a category of inverse semigroup actions and a category of étale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation groupoids, and étale groupoids to their groupoid C*-algebras, respectively. The composition of these functors is naturally equivalent to the already known functor which sends inverse semigroups to their C*-algebras. This result is a categorical version of the theorem by Paterson which states that the inverse semigroup C*-algebras coincide the groupoid C*-algebras of the universal groupoids. We also construct a functor from the category of étale groupoids to the category of inverse semigroup actions sending étale groupoids to their slice actions, and show that this functor is right adjoint to the functor sending inverse semigroup actions to their transformation groupoids.
We prove a generalization of the Arone-Ching chain rule for Goodwillie derivatives by showing that for any pair of reduced finitary functors $F \colon \mathcal{D} \to \mathcal{E}$ and $G \colon \mathcal{C} \to \mathcal{D}$ between differentiable $\infty$-categories, there is an equivalence $\partial_*(FG) \simeq \partial_*F \circ_{\partial_*{\mathrm{id}_{\mathcal{D}}}} \partial_*G$. This confirms a conjecture of Lurie. The proof of this theorem consists of two parts, which are of independent interest. We first show that the Goodwillie derivatives can be refined to a lax functor $\partial_* \colon \mathrm{Diff} \to \mathrm{Pr}^{\mathrm{Sym}}_{\mathrm{St}}$ from the $(\infty, 2)$-category of differentiable $\infty$-categories and reduced finitary functors to a certain $(\infty, 2)$-category of generalized symmetric sequences. Such a lax structure on the Goodwillie derivatives was long believed to exist, but has not been constructed prior to this work. We then finish the proof by studying the interaction of this lax functor with Koszul duality. In order to do so, we establish a new universal property of the bar-cobar adjunction.