English

Thick tensor ideals of right bounded derived categories

Commutative Algebra 2018-03-16 v3 Representation Theory

Abstract

Let RR be a commutative noetherian ring. Denote by D(R)D^-(R) the derived category of cochain complexes XX of finitely generated RR-modules with Hi(X)=0H^i(X)=0 for i0i\gg0. Then D(R)D^-(R) has the structure of a tensor triangulated category with tensor product RL-\otimes_R^L- and unit object RR. In this paper, we study thick tensor ideals of D(R)D^-(R), i.e., thick subcategories closed under the tensor action by each object in D(R)D^-(R), and investigate the Balmer spectrum SpcD(R)Spc\,D^-(R) of D(R)D^-(R), i.e., the set of prime thick tensor ideals of D(R)D^-(R). First, we give a complete classification of the thick tensor ideals of D(R)D^-(R) generated by bounded complexes, establishing a generalized version of the Hopkins-Neeman smash nilpotence theorem. Then, we define a pair of maps between the Balmer spectrum SpcD(R)Spc\,D^-(R) and the Zariski spectrum SpecRSpec\,R, and study their topological properties. After that, we compare several classes of thick tensor ideals of D(R)D^-(R), relating them to specialization-closed subsets of SpecRSpec\,R and Thomason subsets of SpcD(R)Spc\,D^-(R), and construct a counterexample to a conjecture of Balmer. Finally, we explore thick tensor ideals of D(R)D^-(R) in the case where RR is a discrete valuation ring.

Keywords

Cite

@article{arxiv.1611.02826,
  title  = {Thick tensor ideals of right bounded derived categories},
  author = {Hiroki Matsui and Ryo Takahashi},
  journal= {arXiv preprint arXiv:1611.02826},
  year   = {2018}
}

Comments

Final version. To appear in Algebra and Number Theory

R2 v1 2026-06-22T16:46:44.255Z