Prime thick subcategories and spectra of derived and singularity categories of Noetherian schemes (Q2234356)

Let \(\mathcal T\) be a triangulated category. Like Commutative Algebra, \textit{P. Balmer} [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] defined ideals, radical ideals, and prime ideals of \(\mathcal T\) if \(\mathcal T\) has a commutative product~\(\otimes\) with identity \(\boldsymbol 1\). Denote by \(\operatorname{Spec}_\otimes \mathcal T\) the set of the prime ideals of \(\mathcal T\). He also define a topology of \(\operatorname{Spec}_\otimes \mathcal T\). The set \(\operatorname{Spec}_\otimes \mathcal T\) together with this topology is called the Balmer spectrum of \(\mathcal T\). In this article, the author established an analogue of Balmer's theory for a triangulated category without product. Assume \(\mathcal T\) is essentially small. Then the family \(\operatorname{Th} \mathcal T\) of all the thick subcategories of \(\mathcal T\) is a set. The author defined a subset \(\operatorname{Spec}_\Delta \mathcal T\) of \(\operatorname{Th} \mathcal T\) as follows: An element \(\mathcal P \in \operatorname{Th} \mathcal T\) is said to be prime if the set \(\{\mathcal X \in \operatorname{Th} \mathcal T \mid \mathcal P \subsetneq \mathcal X\}\) has a unique minimal element. Denote by \(\operatorname{Spec}_\Delta \mathcal T\) the set of all prime thick subcategories of \(\mathcal T\) and define its topology by taking closed set to be \(\{\mathcal P \in \operatorname{Spec}_\Delta \mathcal T \mid \mathcal P \cap \mathcal E = \emptyset\}\) for each family \(\mathcal E \subset \operatorname{Th} \mathcal T\). We call \(\operatorname{Spec}_\Delta \mathcal T\) with this topology the spectrum of \(\mathcal T\). The author establishes a general theory of spectra and apply it to the derived category \(\mathbf D^{\textrm b}(X)\) and its variants \(\mathbf D^{\textrm{perf}}(X)\) and \(\mathbf D^{\textrm{sg}}(X)\). He gives immersions: \(X \hookrightarrow \operatorname{Spec}_\Delta \mathbf D^{\textrm{perf}}(X)\), the complete intersection locus of \(X \hookrightarrow \operatorname{Spec}_\Delta \mathbf D^{\textrm b}(X)\), the hypersurface locus of \(X \hookrightarrow \operatorname{Spec}_\Delta \mathbf D^{\textrm{sg}}(X)\). If \(\mathcal T\) has a product \(\otimes\), the author also compares \(\operatorname{Spec}_\Delta \mathcal T\) and \(\operatorname{Spec}_\otimes \mathcal T\). He gives an immersion \(\operatorname{Spec}_\Delta \mathcal T \cap \operatorname{Rad}_\otimes \mathcal T \subset \operatorname{Spec}_\otimes \mathcal T\) where \(\operatorname{Rad}_\otimes \mathcal T\) denotes the set of all radical ideals of \(\mathcal T\).