De Rham theorem for Whitney functions
Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F.
Discover
Research tools
Network
Opportunities
Account
Source author record
Luca Prelli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F.
The aim of this paper is to give a new description of the geometry appearing in the multi-specialization along a general family of submanifolds of a real analytic manifold (including some important cases as clean intersection or a simultaneously linearizable family of Lagrangian submanifolds in a cotangent bundle) and then, to extend several properties of the multi-specialization. The notion of multi-asymptotic expansions is also extended. In the local model more general cases are studied: locally we can construct new sheaves of multi-asymptotically developable functions closely related with asymptotics along a subvariety with a simple singularity such as a cusp.
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.
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is 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 basic properties of definably proper maps and the invariance of definably proper in elementary extensions and o-minimal expansions.
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.
The purpose of this paper is to establish the foundations of multi-microlocalization, in particular, to give the fiber formula for the multi-microlocalization functor and estimate of microsupport of a multi-microlocalized object. We also give some applications of these results.
Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf $\mathcal{F}^S$. Applying our construction to the subanalytic sheaves of tempered distributions, holomorphic functions and Whitney $\mathcal{C}^{\infty}$-functions we obtain their relative versions and study their properties.
In this paper we extend the notion of specialization functor to the case of several closed submanifolds satisfying some suitable conditions. Applying this functor to the sheaf of Whitney holomorphic functions we construct different kinds of sheaves of multi-asymptotically developable functions, whose definitions are natural extensions of the definition of strongly asymptotically developable functions introduced by Majima.
Here we simplify the proof of the de Rham theorem for Schwartz functions on affine Nash manifolds and generalize the result to the case of non affine Nash manifolds.
In this paper we give a construction of conic sheaves on a subanalytic site and we extend the Fourier-Sato transform to this framework. Let E be a n dimensional complex vector space and let E^* be its dual. As an application we construct the conic sheaves $\OO^t_{E_{\RP}}$ and $\OO^w_{E_{\RP}}$ of tempered and Whitney holomorphic functions respectively and we give a sheaf theoretical interpretation of the Laplace isomorphisms of Kashiwara and Schapira which give the isomorphisms in the derived category $\OO^{t\land}_{E_{\RP}}[n] \simeq \OO^t_{E^*_{\RP}}$ and $\OO^{w\land}_{E_{\RP}}[n] \simeq \OO^w_{E^*_{\RP}}$.
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal microlocalization using the theory of subanalytic sheaves.
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.
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic sheaves.
We prove the Cauchy-Kowaleskaya-Kashiwara theorem for holomorphic functions with growth conditions.
In Asterisque 271 the authors introduced the notion of ind-sheaf, and defined the six Grothendieck operations in this framework. They defined subanalytic sheaves and they obtained the formalism of the six Grothendieck operations by including subanalytic sheaves into the category of ind-sheaves. The aim of this paper is to give a direct construction of the six Grothendieck operations in the framework of subanalytic sites avoiding the heavy theory of ind-sheaves. As an application we show how to recover the subanalytic sheaves of temperate and Whitney holomorphic functions.