Skip to content

Torsion classes of finite type and spectra

Grigory Garkusha, Mike Prest

math.AGarXiv:math/0612448

Abstract

Given a commutative ring R (respectively a positively graded commutative ring A=j≥ 0Aj which is finitely generated as an A0-algebra), a bijection between the torsion classes of finite type in Mod R (respectively tensor torsion classes of finite type in QGr A) and the set of all subsets Y⊂ Spec R (respectively Y⊂ Proj A) of the form Y=i∈ΩYi, with Spec Ri (respectively Proj Ai) quasi-compact and open for all i∈Ω, is established. Using these bijections, there are constructed isomorphisms of ringed spaces (Spec R,OR)-->(Spec(Mod R),OMod R) and (Proj A,OProj A)-->(Spec(QGr A),OQGr A), where (Spec(Mod R),OMod R) and (Spec(QGr A),OQGr A) are ringed spaces associated to the lattices Ltor(Mod R) and Ltor(QGr A) of torsion classes of finite type. Also, a bijective correspondence between the thick subcategories of perfect complexes perf(R) and the torsion classes of finite type in Mod R is established.

Create a lesson