Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2410.20562

Completing hearts of triangulated categories via weight-exact localizations

Mikhail V. Bondarko·Stepan V. Shamov
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.CTmath.KTmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail V. Bondarko, Stepan V. Shamov. 2024-10-27. Completing hearts of triangulated categories via weight-exact localizations. https://arxiv.org/abs/2410.20562

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT↗
arXiv2026

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT↗
arXiv2026

Cocompactness and Presentability

We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.

math.CT↗