Stratified Whitney jets and tempered ultradistributions on the subanalytic site

Honda, N.; Morando, G.

Bulletin de la Société Mathématique de France, Tome 139 (2011) no. 3, pp. 389-435.

Dans cet article nous introduisons le faisceau des jets de Whitney d’ordre de Gevrey sur le site sous-analytique relatif à une variété analytique réelle $X$. Ensuite, nous définissons les ultradistributions tempérées sur $X$ de type Beurling et Roumieu. Enfin, à travers les ultradistributions stratifiées, nous définissons les ultradistributions tempérées-stratifiées et nous démontrons les deux résultats suivants : (a) si $X$ est une surface réelle, les ultradistributions tempérées-stratifiées définissent un faisceau sur le site sous-analytique relatif à $X$, et (b) les ultradistributions tempérées-stratifiées sur le complémentaire d’un sous-ensemble fermé $1$-régulier de $X$, coïncident avec les sections du préfaisceau des ultradistributions tempérées.

In this paper we introduce the sheaf of stratified Whitney jets of Gevrey order on the subanalytic site relative to a real analytic manifold $X$. Then, we define stratified ultradistributions of Beurling and Roumieu type on $X$. In the end, by means of stratified ultradistributions, we define tempered-stratified ultradistributions and we prove two results. First, if $X$ is a real surface, the tempered-stratified ultradistributions define a sheaf on the subanalytic site relative to $X$. Second, the tempered-stratified ultradistributions on the complementary of a $1$-regular closed subset of $X$ coincide with the sections of the presheaf of tempered ultradistributions.

[1] E. Bierstone & P. D. Milman - « Semianalytic and subanalytic sets », Publ. Math. I.H.É.S. 67 (1988), p. 5-42. | Numdam | MR | Zbl

[2] N. Honda - « On the reconstruction theorem of holonomic modules in the Gevrey classes », Publ. Res. Inst. Math. Sci. 27 (1991), p. 923-943. | MR | Zbl

[3] J.-M. Kantor - « Classes non-quasi analytiques et décomposition des supports des ultradistributions », An. Acad. Brasil. Ci. 44 (1972), p. 171-180. | MR | Zbl

[4] M. Kashiwara - « The Riemann-Hilbert problem for holonomic systems », Publ. Res. Inst. Math. Sci. 20 (1984), p. 319-365. | MR | Zbl

[5] M. Kashiwara & P. Schapira - Sheaves on manifolds, Grund. Math. Wiss., vol. 292, Springer, 1990. | MR | Zbl

[6] M. Kashiwara & P. Schapira - « Moderate and formal cohomology associated with constructible sheaves », Mém. Soc. Math. France (N.S.) 64 (1996), p. 76. | Numdam | MR | Zbl

[7] M. Kashiwara & P. Schapira - « Ind-sheaves », Astérisque 271 (2001), p. 136. | Numdam | MR

[8] H. Komatsu - « Ultradistributions. I. Structure theorems and a characterization », J. Fac. Sci. Univ. Tokyo Sect. IA Math. 20 (1973), p. 25-105. | MR | Zbl

[9] H. Komatsu - « Ultradistributions. II. The kernel theorem and ultradistributions with support in a submanifold », J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24 (1977), p. 607-628. | MR | Zbl

[10] K. Kurdyka - « On a subanalytic stratification satisfying a Whitney property with exponent $1$ », in Real algebraic geometry (Rennes, 1991), Lecture Notes in Math., vol. 1524, Springer, 1992, p. 316-322. | MR | Zbl

[11] A. Lambert - « Quelques théorèmes de décomposition des ultradistributions », Ann. Inst. Fourier (Grenoble) 29 (1979), p. 57-100. | EuDML | Numdam | MR | Zbl

[12] S. Łojasiewicz - « Sur le problème de la division », Studia Math. 18 (1959), p. 87-136. | EuDML | Zbl

[13] B. Malgrange - Équations différentielles à coefficients polynomiaux, Progress in Math., vol. 96, Birkhäuser, 1991. | Zbl

[14] G. Morando - « Tempered holomorphic solutions of $𝒟$-modules on curves and formal invariants », Ann. Inst. Fourier (Grenoble) 59 (2009), p. 1611-1639. | EuDML | Numdam | MR | Zbl

[15] L. Prelli - « Microlocalization of subanalytic sheaves », C. R. Math. Acad. Sci. Paris 345 (2007), p. 127-132. | MR | Zbl

[16] C. Roumieu - « Ultra-distributions définies sur $R^n$ et sur certaines classes de variétés différentiables », J. Analyse Math. 10 (1962/1963), p. 153-192. | MR | Zbl

[17] P. Schapira - « Sur les ultra-distributions », Ann. Sci. École Norm. Sup. 1 (1968), p. 395-415. | EuDML | Numdam | MR | Zbl

[18] H. Whitney - « Functions differentiable on the boundaries of regions », Ann. Math. 35 (1934), p. 482-485. | JFM | MR

[19] S. Yamazaki - « Remark on division theorem of ultradistributions by Fuchsian differential operator », in Algebraic analysis and the exact WKB analysis for systems of differential equations, RIMS Kôkyûroku Bessatsu, B5, Res. Inst. Math. Sci. (RIMS), Kyoto, 2008, p. 209-223. | MR | Zbl