Lefschetz decompositions and categorical resolutions of singularities (Q930382): Difference between revisions

This paper is a substantial advancement in the homological version of the minimal model program. Let \(Y\) be a singular algebraic variety. The author constructs a categorical resolution \(\widetilde{D}\) of the category \(D^b(Y)\) for every Lefschetz decomposition of the category \(D^b(\widetilde{Z})\), where \(\widetilde{Z}\) is the exceptional divisor in a resolution of singularities \(\widetilde{Y}\to Y\). Then the author gives the conditions on the Lefschetz decomposition for \(\widetilde{D}\) to be a noncommutative resolution of \(D^b(Y)\), and for \(\widetilde{D}\) to be a crepant resolution [a development of \textit{D. Kaledin}, J. Geom. Funct. Anal. 17, No.~6, 1968--2004 (2008; Zbl 1149.14009), \textit{M. Van den Bergh}, J. Duke Math. J. 122, No. 3, 423--455 (2004; Zbl 1074.14013), \textit{M. Van den Bergh}, The legacy of Niels Henrik Abel, Berlin: Springer, 749--770 (2004; Zbl 1082.14005)]. The author also develops the conjecture of \textit{A. Bondal} and \textit{D. Orlov}, [Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, Vol. II, 47--56 (2002; Zbl 0996.18007)] that every singularity admits a minimal categorical resolution. In the author's interpretation, this conjecture splits into two: first, that \(D^b(X)\) for smooth \(X\) admits (multiple) minimal Lefschetz decompositions (conjecture 4.11) and second, that minimal Lefschetz decompositions give minimal categorical resolutions (conjecture 4.9).