Greg Stevenson

Subcategories of singularity categories via tensor actions

We obtain, via the formalism of tensor actions, a complete classification of the localizing subcategories of the stable derived category of any affine scheme that has hypersurface singularities or is a complete intersection in a regular scheme; in particular, this classifies the thick subcategories of the singularity categories of such rings. The analogous result is also proved for certain locally complete intersection schemes. It is also shown that from each of these classifications one can deduce the (relative) telescope conjecture.

On the derived category of a graded commutative noetherian ring

Abstract For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed localizing subcategories of the derived category, and, on the other hand, subsets of the homogeneous spectrum of prime ideals of the ring. We provide an application to weighted projective schemes.

Duality for bounded derived categories of complete intersections

We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the symmetry of vanishing of cohomology. In order to prove these results for the bounded derived category, we extend the classification of thick subcategories for the singularity category to the whole bounded derived category. These results are also proved for certain complete intersection schemes.

Even More Spectra: Tensor Triangular Comparison Maps via Graded Commutative 2-rings

We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer’s comparison maps between the spectrum of tensor-triangulated categories and the Zariski spectra of their central rings. By applying our constructions, we compute the spectrum of the derived category of perfect complexes over any graded commutative ring, and we associate to every scheme with an ample family of line bundles an embedding into the spectrum of an associated graded commutative 2-ring.

A note on thick subcategories of stable derived categories

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection, we classify thick subcategories of finitely generated modules over strict local complete intersections and produce generators for the category of coherent sheaves on a separated Noetherian scheme with an ample family of line bundles.

Gorenstein homological algebra and universal coefficient theorems

We study criteria for a ring—or more generally, for a small category—to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to develop machinery for proving new ones. Among the universal coefficient theorems covered by our methods we find, besides all the classic examples, several exotic examples arising from the KK-theory of C*-algebras and also Neeman’s Brown–Adams representability theorem for compactly generated categories.

Derived categories of representations of small categories over commutative noetherian rings

We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategories of the derived category, a complete description of the thick subcategories of the perfect complexes and show the telescope conjecture holds. We also present some results concerning the telescope conjecture more generally.

Strong generators in tensor triangulated categories

Let \({\mathsf T}\) be an essentially small rigid tensor triangulated category. In Balmer (J Reine Angew Math 588:149–168, 2005, [1]), Balmer associates to \({\mathsf T}\) a topological space \({{\mathrm{\mathsf {Spc}\,}}}{\mathsf T}\) whose points are the proper prime ideals of \({\mathsf T}\). We show that if \({{\mathrm{\mathsf {Spc}\,}}}{\mathsf T}\) is connected, then \({\mathsf T}\) has no nonzero and proper tensor ideals admitting a strong generator.