On meromorphic functions defined by a differential system of order $1$

[Sur les germes de fonctions méromorphes définis par un système différentiel d’ordre $1$]

Torrelli, Tristan

Bulletin de la Société Mathématique de France, Tome 132 (2004), p. 591-612 / Harvested from Numdam

Résumé

Étant donné un germe de fonction holomorphe $h$ défini au voisinage de l’origine de ${\mathbb {C}}^n$, nous étudions la condition : « l’idéal $\mbox{\rm Ann}_{\mathcal {D}} 1/h$ est engendré par des opérateurs d’ordre1 ». Nous obtenons ici des caractérisations complètes dans le cas des germes Koszul-libres et dans celui des germes de courbes planes non réduits. De plus, nous montrons que cette condition est vérifiée pour un type particulier d’arrangements d’hyperplans. Ces résultats nous permettent de relier cette condition à la comparaison de complexes de de Rham associés à $h$.

Abstract

Given a germ $h$ of holomorphic function on $({\mathbb {C}}^n,0)$, we study the condition: “the ideal $\mbox{\rm Ann}_{\mathcal {D}} 1/h$ is generated by operators of order1”. We obtain here full characterizations in the particular cases of Koszul-free germs and unreduced germs of plane curves. Moreover, we prove that this condition holds for a special type of hyperplane arrangements. These results allow us to link this condition to the comparison of de Rham complexes associated with $h$.

Détail

Publié le : 2004-01-01

MR 2131905 | Zbl 1080.32011 | 2 citations dans Numdam

DOI : https://doi.org/10.24033/bsmf.2475
Classification:  32C38,  32S25,  14F10,  14F40
Mots clés: germes de fonctions méromorphes, $\mathcal {D}$-modules, diviseurs libres, arrangements d’hyperplans, complexe de de Rham logarithmique, théoréme de comparaison logarithmique

Bibliographie

[1] M. Artin - « On the solution of analytic equations », Invent. Math. 5 (1968), p. 277-291. | MR 232018 | Zbl 0172.05301

[2] J. Björk - Analytic ${\mathcal {D}}$-Modules and Applications, Kluwer Academic Publishers, 1993. | MR 1232191 | Zbl 0805.32001

[3] F. Calderón-Moreno - « Logarithmic differential operators and logarithmic de Rham complexes relative to a free divisor », Ann. Sci. École Norm. Sup. 32 (1999), p. 577-595. | Numdam | MR 1710757 | Zbl 0955.14013

[4] F. Calderón-Moreno & L. Narváez-Macarro - « The module ${\mathcal {D}}f^s$ for locally quasi-homogeneous free divisors », Compositio Math. 134 (2002), p. 59-74. | MR 1931962 | Zbl 1017.32023

[5] F. Castro-Jiménez, D. Mond & L. Narváez-Macarro - « Cohomology of the complement of a free divisor », Trans. Amer. Math. Soc. 348 (1996), p. 3037-3049. | MR 1363009 | Zbl 0862.32021

[6] F. Castro-Jiménez & J. Ucha - « Explicit comparison theorems for ${\mathcal {D}}$-modules, effective methods in rings of differential operators », J. Symb. Comput. 32 (2001), p. 677-685. | MR 1866710 | Zbl 1015.16029

[7] -, « Free divisors and duality for ${\mathcal {D}}$-modules », 238 (2002), p. 97-105. | MR 1969307

[8] V. Ginsburg - « Characteristic varieties and vanishing cycles », Invent. Math. 84 (1986), p. 327-402. | MR 833194 | Zbl 0598.32013

[9] A. Grothendieck - « On the de Rham cohomology of algebraic varieties », Pub. Math. IHES 29 (1966), p. 95-105. | Numdam | MR 199194 | Zbl 0145.17602

[10] M. Holland & D. Mond - « Logarithmic differential forms and the cohomology of the complement of a divisor », Math. Scand. 83 (1998), p. 235-254. | MR 1673922 | Zbl 0941.32027

[11] M. Kashiwara - « B-functions and holonomic systems », Invent. Math. 38 (1976), p. 33-53. | MR 430304 | Zbl 0354.35082

[12] B. Malgrange - « Le polynôme de Bernstein d'une singularité isolée », Lecture Notes in Math., vol. 459, Springer-Verlag, 1975, p. 98-119. | MR 419827 | Zbl 0308.32007

[13] K. Saito - « Quasihomogene isolierte Singularitäten von Hyperflächen », Invent. Math. 14 (1971), p. 123-142. | MR 294699 | Zbl 0224.32011

[14] -, « Theory of logarithmic differential forms and logarithmic vector fields », J. Fac. Sci. Univ. Tokyo 27 (1980), p. 265-291. | MR 586450 | Zbl 0496.32007

[15] -, « On microlocal $b$-function », Bull. Soc. Math. France 122 (1994), p. 163-184. | Numdam | MR 1273899 | Zbl 0810.32004

[16] T. Torrelli - « Équations fonctionnelles pour une fonction sur un espace singulier », Thèse, Université de Nice-Sophia Antipolis, 1998.

[17] -, « Un calcul de polynôme Bernstein associé à un faisceau de coniques non dégénéré », 331 (2000), p. 47-50. | MR 1780184 | Zbl 0965.32028

[18] -, « Polynômes de Bernstein associés à une fonction sur une intersection complète à singularité isolée », 52 (2002), p. 221-244. | Numdam | Zbl 1015.32009

[19] -, « Sur les germes de fonctions méromorphes définis par un système différentiel d’ordre $1$ », prépublication 45/2002 de l'Institut Élie Cartan de Nancy, 2002.

[20] A. Varchenko - « Asymptotic Hodge structure in the vanishing cohomology », 18 (1982), p. 469-512. | Zbl 0489.14003

[21] U. Walther - « Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic arrangements », Compositio Math., to appear; arXiv:math.AG/0204080. | MR 2099772 | Zbl 1070.32021

[22] J. Wiens & S. Yuzvinsky - « De Rham cohomology of logarithmic forms on arrangements of hyperplanes », Trans. Amer. Math. Soc. 349 (1997), p. 1653-1662. | MR 1407505 | Zbl 0948.52014

[23] T. Yano - « On the theory of $b$-functions », Publ. RIMS Kyoto Univ. 14 (1978), p. 111-202. | MR 499664 | Zbl 0389.32005