Loading [MathJax]/extensions/MathZoom.js
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...
We introduce and study the sheaf of Deligne to describe singular points of a linear differential operator and we develop a technique based on homological algebra to prove index theorems for .As particular cases, we obtain index theorems for acting in spaces of multisummable series and a new proof of the index theorem of Malgrange in the space of convergent power series and of the index theorems of Ramis in the spaces of Gevrey series.We compute the values of these indices in terms of the formal...
Currently displaying 1 –
5 of
5