For a commutative ring R, we exploit localization techniques and point-free
topology to give an explicit realization of both the Zariski frame of R (the
frame of radical ideals in R) and its Hochster dual frame, as lattices in the
poset of localizing subcategories of the unbounded derived category D(R).
This yields new conceptual proofs of the classical theorems of Hopkins-Neeman
and Thomason. Next we revisit and simplify Balmer's theory of spectra and
supports for tensor triangulated categories from the viewpoint of frames and
Hochster duality. Finally we exploit our results to show how a coherent scheme
(X,OXβ) can be reconstructed from the tensor triangulated structure
of its derived category of perfect complexes.Comment: v5:Minoir typos corrected the proof of tensor nilpotence is made
totally point-free and self-contained; some simplifications and expository
improvements; section on preliminaries shortened; 50pp. To appear in Trans.
AM