Unifying two results of Orlov on singularity categories (Q609398): Difference between revisions

Denote by \(X\) a separated Noetherian scheme of finite Krull dimension which has enough locally free sheaves of finite rank (i.e., every coherent sheaf on \(X\) is a quotient of a locally free sheaf of finite rank). Assume that \(U\subseteq X\) is an open subscheme. \textit{D. O. Orlov} introduced [Proc. Steklov Inst. Math. 246, 227--248 (2004); translation from Tr. Mat. Inst. Steklova 246, 240--262 (2004; Zbl 1101.81093)] an invariant, called the singularity category of \(X\) defined to be the Verdier quotient triangulated category: \(\mathbf D_{sg}(X)=\mathbf D^b(\text{coh} X)/\text{perf} X\). Orlov proved (ibid) that if the singular locus of \(X\) is \(\subseteq U\), then the triangle functor \(\overline j^*:\mathbf D_{sg}(X)\longrightarrow \mathbf D_{sg}(U)\) is an equivalence. Another result of \textit{D. Orlov} [Adv. Math. 226, No.~1, 206--217 (2011; Zbl 1216.18012)] proves that \(\mathbf D_{sg}(X)=\text{thick}\langle q(\text{coh}_\mathbb Z X)\rangle\), under the assumption that the singular locus of \(X\) is \(\subseteq \mathbb Z\) and \(q:\mathbf D^b(coh X)\longrightarrow \mathbf D_{sg}(X)\) is the quotient functor. The author in a sense unifies (and generalizes) these results of Orlov (in a spirit resembling a result of \textit{H. Krause} [Compos. Math. 141, No. 5, 1128--1162 (2005; Zbl 1090.18006)]). This unifying result is that the triangle functor \(\overline j^*:\mathbf D_{sg}(X)\longrightarrow \mathbf D_{sg}(U)\) induces a triangle equivalence \(\mathbf D_{sg}(X)/\text{thick}\langle q(\text{coh}_\mathbb Z X)\rangle\cong \mathbf D_{sg}(U)\). This is proved through some lemmas and it was shown that Orlov's results are then corollaries. The author also proves a non-commutative version of his main result, for a left Noetherian ring \(R\); here \(X\) is replaced by \(R\) and \(U\) by \(eRe\), for an idempotent \(e\) that is subject to some reasonable conditions.