DG singular equivalence and singular locus

Abstract

For a commutative Gorenstein Noetherian ring $R$, we construct an affine scheme $X$ solely from DG singularity category $S_{dg}(R)$ of $R$ such that there is a finite surjective morphism $X\to \mathrm{Spec}(R/I)$, where $\mathrm{Spec}(R/I)$ is the singular locus in $\mathrm{Spec}(R)$. As an application, for two such rings with equivalent DG singularity categories, we prove that the singular loci in their affine schemes have the same dimension.

arXiv comment18 pages