Koszul Duality Equivalence
摘要
The notion of singular supports was introduced by Arinkin-Gaitsgory (which is itself based on the earlier work by Benson-Iyengar-Krause) in order to give a categorical formulation of geometric Langlands conjecture. In this chapter, we first review the singular support theory for (ind)coherent sheaves on quasi-smooth affine derived schemes.