Invariance of o-minimal cohomology with definably compact supports

Abstract

In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in elementary extensions and in o-minimal expansions. We also prove the o-minimal analogue of Wilder's finiteness theorem in this context.

arXiv comment30 pages, uses xy-pic