Singular equivalences of commutative Noetherian rings and reconstruction of singular loci (Q1712478)

One of the important subjects in representation theory of rings is to classify rings up to certain category equivalences. \par Let $R$ be a left noetherian ring. The \textit{singularity category} of $R$ is, by definition, the Verdier quotient \[ D_{\mathrm{sg}}(R)= D^b(\operatorname{mod}R)/K^b(\operatorname{proj}R), \] which has been introduced by \textit{R.-O. Buchweitz} [``Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings'', unpublished manuscript (1986), \url{http://hdl.handle.net /1807/16682}]. Here, $\operatorname{mod}R$ stands for the category of finitely generated left $R$-modules and $D^b(\operatorname{mod}R)$ its bounded derived category, and $K^b(\operatorname{proj}R)$ the homotopy category of finitely generated projective $R$-modules. Two left noetherian rings $R$ and $S$ are said to be \textit{singularly equivalent} if their singularity categories $D_{\mathrm{sg}}(R)$ and $D_{\mathrm{sg}}(S)$ are equivalent as triangulated categories. \par The author develops a support theory \textit{without} tensor structure which is motivated by \textit{P. Balmer}'s work [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] to give in Theorem 4.4 a necessary condition for two commutative noetherian rings to be singularly equivalent. \par Applications to algebraic geometry and modular representation theory are presented and reconstructing scheme structures of singular loci from singularity categories are studied.