Construction of sheaves on the subanalytic site

TL;DR

This paper constructs sheaves on the subanalytic site of a real analytic manifold, enabling new sheaves of functions with growth conditions and applications to holonomic D-modules with filtrations.

Contribution

It introduces a sheaf construction on the subanalytic site with a right adjoint functor, facilitating the study of growth conditions and D-modules in a derived setting.

Findings

Constructed the linear subanalytic Grothendieck topology and associated sheaves.

Applied to sheaves of functions with temperate and Gevrey growth.

Enabled functorial filtration of regular holonomic D-modules.

Abstract

On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $\rho$ from Msa to Msal, where Msa 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 Msa to a presheaf on Msa 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. 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 D-modules with a filtration, in the derived sense.