Even more spectra: tensor triangular comparison maps via graded commutative 2-rings (Q2015824): Difference between revisions

The authors initiate a theory of graded commutative 2-rings -- a categorification of graded commutative rings, with the goal 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. All categories are assumed to be locally small. For an essentially small symmetric 2-group \(\mathcal G\), a \(\mathcal G\)-graded commutative 2-ring \(\mathcal R\) is a symmetric monoidal \(\mathbb Z\)-category \(\mathcal R\) equipped with a symmetric monoidal functor \(\mathcal G\longrightarrow\mathcal R\), which is surjective on objects (this makes \(\mathcal R\) essentially small with all objects invertible). Basic toolkits of affine algebraic geometry generalize in the new context via a strategy devised by the authors; such are the homogeneous spectrum that can be devised by the Zariski topology and a contravariant functor Spec between graded commutative 2-rings and their morphisms and spectral topological spaces and spectral continuous maps. The main generalization is in the definition and the basic properties of Paul Balmer's comparison map, from triangular to Zariski spectra. The spectrum of the derived category of perfect complexes over any graded commutative ring is computed. These generalizations are illustrated with two families of examples, such as the usual graded commutative rings as well as schemes with an ample family of line bundles.