Summary: On a real analytic manifold \(M\), we construct the linear subanalytic Grothendieck topology \(M_{\mathrm{sal}}\) together with the natural morphism of sites \(\rho\) from \(M_{\mathrm{sa}}\) to \(M_{\mathrm{sal}}\), where \(M_{\mathrm{sa}}\) is the usual subanalytic site. Our first result is that the derived direct image functor by \(\rho\) admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on \(M_{\mathrm{sa}}\) to a presheaf on \(M_{\mathrm{sa}}\) satisfying suitable properties, this sheaf having the same sections that the presheaf on any open set with Lipschitz boundary. We apply this construction to various presheaves on real manifolds, such as the presheaves of functions with temperate growth of a given order at the boundary or with Gevrey growth at the boundary. (In a separated paper, Gilles Lebeau will use these techniques to construct the Sobolev sheaves.) On a complex manifold endowed with the subanalytic topology, the Dolbeault complexes associated with these new sheaves allow us to obtain various sheaves of holomorphic functions with growth. As an application, we can endow functorially regular holonomic \(\mathcal D\)-modules with a filtration, in the derived sense.
Co
For the entire collection see [Zbl 1353.32001].