Spectra, spectra, spectra -- tensor triangular spectra versus Zariski spectra of endomorphism rings (Q982422)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spectra, spectra, spectra -- tensor triangular spectra versus Zariski spectra of endomorphism rings |
scientific article |
Statements
Spectra, spectra, spectra -- tensor triangular spectra versus Zariski spectra of endomorphism rings (English)
0 references
6 July 2010
0 references
The author [\textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] has introduced the notion of a triangular spectrum \(\text{Spc}(\mathcal{K})\) for a tensor triangulated category \(\mathcal{K}\). From the previous work of the author and others it is clear that \(\text{Spc}(\mathcal{K})\) is a natural home for triangular geometry. However, computing this spectrum is a very hard problem. It is essentially equivalent to the problem of classifying the tensor thick ideals of \(\mathcal{K}\). The latter is a very rich topic and has been studied in the fields of stable homotopy theory, homological algebra, algebraic geometry and modular representation theory. Therefore \(\text{Spc}(\mathcal{K})\) is a natural and interesting object of study. In the paper under review the author constructs a natural and continuous map \[ \rho_{\mathcal{K}} : \text{Spc}(\mathcal{K}) \rightarrow \text{Spec} (\text{End}_{\mathcal{K}}(\mathbb{I})) \] from the triangular spectrum \(\text{Spc}(\mathcal{K})\) to the Zariski spectrum \(\text{Spec} (\text{End}_{\mathcal{K}}(\mathbb{I}))\) of the endomorphism ring of the unit object \(\mathbb{I}\) in the tensor triangulated category \(\mathcal{K}\). It is shown that this map is often surjective but far from injective in general. For instance, it is shown that when \(\mathcal{K}\) is connective, i.e., \(\text{Hom}_{\mathcal{K}}(\Sigma^{i}(\mathbb{I}), \mathbb{I}) = 0\) for \(i < 0\), then \(\rho_{\mathcal{K}}\) is surjective. This applies to derived categories of rings and also to the stable homotopy category of finite spectra. Graded version of this result is also proved in Theorem 7.3 and Corollary 7.4. Using these results the author is able to shed some light on \(\text{Spc}(\mathcal{K})\) in examples coming from \(\mathbb{A}^{1}\)-homotopy theory and non-commutative topology where \(\text{Spc}(\mathcal{K})\) has not been known; see Corollary 10.1 and Corollary 8.8.
0 references
tensor triangular geometry
0 references
spectra
0 references
0 references