Conic sheaves on subanalytic sites and Laplace transform
Sheaves on subanalytic sites
Fasci sul sito sottoanalitico
Poincaré - Verdier duality in o-minimal structures
Here we prove a Poincaré - Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.
Relative subanalytic sheaves
Given a real analytic manifold Y, denote by the associated subanalytic site. Now consider a product Y = X × S. We construct the endofunctor on the category of sheaves on and study its properties. Roughly speaking, is a sheaf on . As an application, one can now define sheaves of functions on Y which are tempered or Whitney in the relative sense, that is, only with respect to X.
On definably proper maps
In this paper we work in o-minimal structures with definable Skolem functions, and show that: (i) a Hausdorff definably compact definable space is definably normal; (ii) a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is a proper morphism in the category of definable spaces. We give several other characterizations of definably proper, including one involving the existence of limits of definable types. We also prove the...
Page 1