SMF

Construction de faisceaux sur le site sous-analytique

Construction of sheaves on the subanalytic site

Stéphane GUILLERMOU, Pierre SCHAPIRA
Construction de faisceaux sur le site sous-analytique
  • Consulter un extrait
  •  
                
  • Année : 2016
  • Tome : 383
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 16W70, 18F20, 32C38, 32S60, 58A03.
  • Pages : 1-60
  • DOI : 10.24033/ast.1005

Sur une variété analytique réelle $M$ nous construisons la topologie de Grothendieck linéaire $M_{\mathrm {sal}} $ et le morphisme naturel de sites $\rho $ de $M_{\mathrm {sa}} $ vers $M_{\mathrm {sal}} $, où $M_{\mathrm {sa}} $ est le site sous-analytique usuel. Notre premier résultat est que le foncteur dérivé de l'image directe par $\rho $ admet un adjoint à droite, ce qui nous permet d'associer fonctoriellement un faisceau (au sens dérivé) sur $M_{\mathrm {sa}} $ à un préfaisceau sur $M_{\mathrm {sa}} $ satisfaisant certaines propriétés, ce faisceau ayant les mêmes sections que le préfaisceau sur tout ouvert à bord Lipschitz. Nous appliquons cette construction à divers préfaisceaux sur des variétés réelles, tels que le préfaisceau des fonctions à croissance tempérée d'un ordre donné le long du bord ou à croissance Gevrey le long du bord. (Dans un article séparé, Gilles Lebeau utilisera ces techniques pour construire les faisceaux de Sobolev.) Sur une variété complexe munie de la topologie sous-analytique, les complexes de Dolbeault associés à ces nouveaux faisceaux nous permettent d'obtenir divers faisceaux de fonctions holomorphes à croissance. Comme application, nous pouvons munir fonctoriellement les $\mathcal {D} $-modules holonomes réguliers d'une filtration, au sens dérivé.

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.

Topologies de Grothendieck, faisceaux, cohomologie modérée, filtrations, D-modules.
Grothendieck topologies, sheaves, moderate cohomology, filtrations, D-modules.

Électronique
Electronic
Prix public Public price 10.00 €
Prix membre Member price 7.00 €
Quantité
Quantity
- +