The six Grothendieck operations on o-minimal sheaves

Abstract

In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii) derived base change formula; (iv) Künneth formula; (v) local and global Verdier duality.

arXiv commentarXiv admin note: text overlap with arXiv:1205.6124