Invariants of \(t\)-structures and classification of nullity classes (Q984887): Difference between revisions

A nullity class in a triangulated category is a full subcategory closed under arbitrary coproducts, (positive) suspensions and extensions. It has been shown by Keller and Vossieck that a \(t\)-structure on a triangulated category \(\mathcal{T}\) corresponds to a nullity class \(\mathcal{A} \subset \mathcal{T}\) admitting a right adjoint to the inclusion functor. Such nullity classes are called aisles. Thus nullity classes can be viewed as generalisations of \(t\)-structures. The author constructs a new invariant of nullity classes and hence of \(t\)-structures on the derived category \(D(R)\) of a commutative noetherian ring \(R\). This invariant is a function from \(\mathbb{Z}\) to the set of specialization closed subsets of \(\text{Spec}(R)\) which is constructed from the nullity class using the Hopkins-Neeman thick subcategory theorem for \(D(R)\). It is shown that this invariant is a complete invariant when restricted to \(D^b_{fg}(R)\) (the full subcategory of \(D(R)\) consisting of complexes with finitely generated bounded homology). Moreover the author proves that the nullity classes in \(D^b_{fg}(R)\) are in bijection with increasing functions from \(\mathbb{Z}\) to subsets of \(\text{Spec}(R)\) closed under specialization, thus classifying the nullity classes in \(D^b_{fg}(R)\). Finally, in the last section of the paper it is shown that the class of \(t\)-structures, and hence also the nullity classes, in \(D(\mathbb{Z})\) do not form a set.