Even more spectra: tensor triangular comparison maps via graded commutative 2-rings (Q2015824)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Even more spectra: tensor triangular comparison maps via graded commutative 2-rings |
scientific article |
Statements
Even more spectra: tensor triangular comparison maps via graded commutative 2-rings (English)
0 references
24 June 2014
0 references
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.
0 references
graded rings
0 references
symmetric monoidal category
0 references
derived category
0 references
ample family of line bundles
0 references
spectrum of a category
0 references
central localization
0 references
symmetric 2-group
0 references
companion category
0 references
translate
0 references
homogeneous ideal
0 references
morphism annihilator
0 references
prime ideal of graded commutative 2-ring
0 references
homogeneous multiplicative system
0 references
algebra over a graded commutative 2-ring
0 references
central 2-ring of a triangulated category
0 references
Balmer's comparison map
0 references