Dualizing Complexes and Perverse Sheaves on Noncommutative Ringed Schemes.

Amnon Yekutieli, James J. Zhang

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A isa noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes overquasi-coherent ringed schemes and study their properties. For a separateddifferential quasi-coherent ringed scheme of finite type over a field, we proveexistence and uniqueness of a rigid dualizing complex. In the proof we use thetheory of perverse coherent sheaves in order to glue local pieces of the rigiddualizing complex into a global complex.