Morita theory and singularity categories (Q2308310)

The singularity category of a commutative Noetherian ring \(R\), introduced by \textit{R.-O. Buchweitz} [``Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings'', unpublished manuscript, \url{http://hdl.handle.net/1807/16682}], is the Verdier quotient \[D_{sg}(R) = D^b(R)/D^c(R)\] of the bounded derived category \(D^b(R)\), which consists of complexes with finitely generated total cohomology, by the bounded complexes \(D^c(R)\) of finitely generated projectives. When \(R\) is regular, every finitely generated module has a finite resolution by finitely generated projectives, so that \(D_{sg}(R) = 0\). The converse is also true, and thus \(D_{sg}(R)\) measures the deviation from regularity. \par One would like to have such a measure of `regularity' for rings in other contexts. The authors define the singularity and cosingularity categories measuring the failure of regularity and coregularity and prove they are Koszul dual in the style of the BGG (Bernšteǐn-Gel'fand-Gel'fand) correspondence. Examples of interest include Koszul algebras and Ginzburg \(DG\)-algebras, \(C_\ast(BG)\) for finite groups \(G\) (or for compact Lie groups with orientable adjoint representation), cochains in rational homotopy theory and various examples from chromatic homotopy theory.