English

A Nullstellensatz for triangulated categories

K-Theory and Homology 2016-02-01 v2

Abstract

The main goal of this paper is to prove the following: for a triangulated category C \underline{C} and EObjCE\subset \operatorname{Obj} \underline{C} there exists a cohomological functor FF (with values in some abelian category) such that EE is its set of zeros if (and only if) EE is closed with respect to retracts and extensions (so, we obtain a certain Nullstellensatz for functors of this type). Moreover, for C \underline{C} being an RR-linear category (where RR is a commutative ring) this is also equivalent to the existence of an RR-linear F:CopRmodF: \underline{C}^{op}\to R-\operatorname{mod} satisfying this property. As a corollary, we prove that an object YY belongs to the corresponding "envelope" of some DObjCD\subset \operatorname{Obj} \underline{C} whenever the same is true for the images of YY and DD in all the categories Cp \underline{C}_p obtained from C \underline{C} by means of "localizing the coefficients" at maximal ideals pRp\triangleleft R. Moreover, to prove our theorem we develop certain new methods for relating triangulated categories to their (non-full) countable triangulated subcategories. The results of this paper can be applied to the study of weight structures and of triangulated categories of motives.

Keywords

Cite

@article{arxiv.1508.04427,
  title  = {A Nullstellensatz for triangulated categories},
  author = {Mikhail V. Bondarko and Vladimir A. Sosnilo},
  journal= {arXiv preprint arXiv:1508.04427},
  year   = {2016}
}

Comments

The title was changed; a few other minor corrections were made

R2 v1 2026-06-22T10:36:21.115Z