Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0566.32021
Mebkhout, Z.
Une équivalence de catégories. Une autre équivalence de catégories. (French)
[J] Compos. Math. 51, 51-62; 63-88 (1984). ISSN 0010-437X

Dans ces deux articles, dont le premier est la reproduction textuelle du chapitre V de la thèse de doctorat de l'A. pour lui garder son caractère original: "Cohomologie locale des espaces analytiques complexes", Univ. Paris VII (1979; Zbl 0455.32006) et dont le second est un complément naturel, on étudie les complexes réguliers définis à l'aide du théorème de comparaison de {\it A. Grothendieck} [Publ. Math., Inst. Hautes Étud. Sci. 29, 95-103 (1966; Zbl 0145.176)]. Le résultat essentiel est une interprétation des coefficients discrets constructibles en termes de coefficients continus à savoir les complexes holonomes réguliers dans l'esprit de Grothendieck. De façon précise: Soit (X,${\cal O}\sb X)$ une variété analytique complexe, ${\cal D}\sb X$ (resp. ${\cal D}\sb X\sp{\infty})$ le faisceau des opérateurs différentiels à coefficients holomorphes d'ordre fini (resp. d'ordre infini), $D\sp b({\cal D}\sb X)\sb h$ (resp. $D\sp b({\cal D}\sb X\sp{\infty})$, resp. ${\cal D}\sp b({\bbfC}\sb X)\sb c)$ la sous catégorie de la catégorie dérivée des ${\cal D}\sb X$- modules (resp. ${\cal D}\sb X\sp{\infty}$-, resp. ${\bbfC}\sb X$- modules), des complexes à cohomologie bornée ${\cal D}\sb X$-holonome (resp. ${\cal D}\sb X\sp{\infty}$-holonome, resp. ${\bbfC}\sb X$- constructible). Il résulte du théorème de construcibilité [cf. {\it M. Kashiwara}, Publ. Res. Inst. Math. Sci. 10, 563-579 (1975; Zbl 0313.58019)] que l'on a un diagramme essentiellement commutatif de foncteurs entre catégories dérivées: $D\sp b({\cal D}\sb X)\sb h\to\sp{{\cal S}}D\sp b({\bbfC}\sb X)\sb c,D\sp b({\cal D}\sb X)\sb h\to\sp{{\cal I}}D\sp b({\cal D}\sb X\sp{\infty})\sb h\to\sp{{\cal F}}D\sp b({\bbfC}\sb X)\sb c,\quad {\cal S}={\cal F}\circ {\cal T},$ où S(${\cal M}):=R\hom\sb{{\cal D}\sb X}({\cal M},{\cal O}\sb X)$ (resp. F(${\cal M}\sp{\infty}):=R\hom\sb{{\cal D}\sb X\sp{\infty}}({\cal M}\sp{\infty},{\cal O}\sb X)$, resp. T(${\cal M}):={\cal D}\sb X\sp{\infty}\otimes\sb{{\cal D}\sb X}{\cal M})$. Le complexe de de Rham d'un complexe ${\cal M}$ de $D\sp b({\cal D}\sb X)$ est par définition: $DR({\cal M}):=R\hom\sb{{\cal D}\sb X}({\cal O}\sb X,{\cal M}).$ Pour un complexe ${\cal M}$ de $D\sp b({\cal D}\sb X)\sb h$ le thèoréme de dualité locale [l'A., Ark. Mat. 20, 111-124 (1982; Zbl 0525.32025)] affirme que DR(${\cal M})$ est isomorphe au dual de {\it A. Grothendieck} [Sémin. Géom. algébr. 1965-66, SGA 5, Lect. Notes Math. 589, exposé I, 1-72 '1977; Zbl 0356.14004)] de S(${\cal M}):$ $DR({\cal M})\overset \sim \to \rightarrow (S({\cal M}))\sp{\vee}:=R\hom\sb{{\bbfC}\sb X}(S({\cal M}),{\bbfC}\sb X).$ Soit un sous espace analytique fermé Y de X défini par un Idéal ${\cal I}\sb Y$ et ${\cal M}$ un complexe de $D\sp b({\cal D}\sb X)$. On définit avec Grothendieck le complexe de cohomologie locale algébrique (loc. cit.) $R\Gamma\sb Y({\cal M})\sb{alg}:=R \lim\sb{\vec k} \hom\sb{{\cal O}\sb X}({\cal O}\sb X/{\cal I}\sb Y\sp k,{\cal M}).$ C'est un complexe de D(${\cal D}\sb X)$ est si ${\cal M}$ est à cohomologie holonome il résulte de la théorie du polynôme de Bernstein-Sato [cf. l'A., Publ. Res. Inst. Math. Sci., Kyoto Univ. 12, Suppl. 247-256 (1977; Zbl 0372.32007)] que $R\Gamma\sb Y({\cal M})\sb{alg}$ appartient à $D\sp b({\cal D}\sb X)\sb h$. On a un morphisme $R\Gamma\sb Y({\cal M})\sb{alg}\to R\Gamma\sb Y({\cal M})$ qui induit un morphisme $a\sb Y({\cal M}): DR(R\Gamma\sb Y({\cal M})\sb{alg})\to DR(R\Gamma\sb Y({\cal M})).$ \par On dit que ${\cal M}$ est régulier le long de Y si $a\sb Y({\cal M})$ est un isomorphisme [l'A., Ark. Mat. (loc. cit.)]. On dit que ${\cal M}$ est régulier si $a\sb Y({\cal M})$ est un isomorphisme pour tout Y. On note $D\sp b({\cal D}\sb X)\sb{hr}$ la sous catégorie des complexes réguliers. C'est une sous catégorie pleine et triangulée de $D\sp b({\cal D}\sb X)\sb h$. La régularité se teste le long des diviseurs et requière souvent la résolution des singularités d'Hironaka. Le résultate fondamental de l'A. [Publ. Res. Inst. Math. Sci., Kyoto Univ. 12, Suppl. (loc. cit.)] affirme que le système de de Rham ${\cal O}\sb X$ appartient à $D\sp b({\cal D}\sb X)\sb{hr}$. Nous appelerons, suivant le point de vue de Grothendieck, "coefficient de de Rham" un objet de $D\sp b({\cal D}\sb X)\sb{hr}:$ suivant la terminologie de Grothendieck le théorème précédent de l'auteur s'énonce: "le système de de Rham ${\cal O}\sb X$ est un coefficient de de Rham". Nous noterons ${\cal S}\sb r$ (resp. ${\cal T}\sb r)$ la restriction du foncteur ${\cal S}$ (resp. ${\cal T})$ aux coefficients de de Rham. On a alors un diagramme essentiellement commutatif de foncteurs: $D\sp b({\cal D}\sb X)\sb{hr}\to\sp{{\cal S}\sb r}D\sp b({\bbfC}\sb X)\sb c$, $D\sp b({\cal D}\sb X)\sb{hr}\to\sp{{\cal T}\sb r}D({\cal D}\sb X\sp{\infty})\sb h\to\sp{{\cal F}}D\sp b({\bbfC}\sb X)\sb c$ avec ${\cal S}\sb r={\cal F}\circ {\cal T}\sb r.$ Notre resultat essentiel est que c'est l'a un diagramme d'équivalences de catégories. De plus le foncteur ${\cal F}$ admet un quasi-invers explicite ${\cal G}$ qui à un complexe constructible ${\cal F}$ associe le complexe $R\hom\sb{{\bbfC}\sb X}({\cal F},{\cal O}\sb X)$. Le fait que ce dernier complexe appartient à $D\sp b({\cal D}\sb X\sp{\infty})\sb h$ repose sur toute la force du foncteur ${\cal S}\sb r$ comme expliqué dans le {\S} 2 (question $HR'\sb 1$ et $HR'\sb 2)$ de l'exposé introductif du l'A. dans Complex analysis, microlocal calculus and relativistic quantum theory, Lect. Notes Phys. 126, 90-110 (1980; Zbl 0444.32003). Des résultats précédents on en déduit facilement (Deligne) que l'image essentielle par le foncteur ${\cal S}\sb r$ des coefficients de de Rham réduits à un ${\cal D}\sb X$-module est formée par la sous- catégorie des complexes constructibles ayant la propriété de support $(\dim \sup p h\sp i({\cal F})\le \dim X-i)$ et de cosupport $(\dim \sup p h\sp i({\cal F}\sp{\vee})\le \dim X-i)$ (si ${\cal F}$ est un complexe on note $h\sp i({\cal F})$ son i-ème faisceau de cohomologie). \par La démonstration de notre résultat est une synthèse de la démonstration du théorème de comparaison de Grothendieck (loc. cit.) et de la démonstration de la constructibilité du $R\hom\sb{{\bbfC}\sb X}({\cal F},{\cal G})$ pour deux complexes constructibles dû à {\it A. Grothendieck} [SGA 5, exposé I (loc. cit.)] qui utilisent toutes les deux la force du théorème d'Hironaka qui nous ramène à l'extension canonique de Deligne dans une situation d'un diviseur à croisement normaux [{\it P. Deligne}, "Equations différentielles à points singuliers réguliers", Lect. Notes Math. 163 (1970; Zbl 0244.14004)].

MSC 2000:: *32L10 Sections of holomorphic vector bundles
58J10 Differential complexes
14F40 De Rham cohomology
55R65 Generalizations of fiber spaces and bundles
18A40 Adjoint functors
18F20 Categorical methods in sheaf theory
14F10 Special sheaves
32L05 Holomorphic fiber bundles and generalizations
32C37 Duality theorems (analytic spaces)

Keywords: constructible sheaf; de Rham complex; sheaf of differential operators with holomorphic coefficients; holonomic D-module; local algebraic cohomology; regular complex; de Rham coefficient; adjoint functor; dual of de Rham cohomoloy

Citations: Zbl 0455.32006; Zbl 0145.176; Zbl 0313.58019; Zbl 0525.32025; Zbl 0356.14004; Zbl 0372.32007; Zbl 0444.32003; Zbl 0244.14004

Cited in: Zbl 1136.14009 Zbl 0776.14001 Zbl 0709.14015 Zbl 0687.14016 Zbl 0641.32008 Zbl 0578.14018

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]