Forme hermitienne canonique sur la cohomologie de la fibre de Milnor d’une hypersurface à singularité isolée. (French) Zbl 0574.32011

The purpose of this article is to show that asymptotic expansions in \(s=0\) of integrals \(\int_{f=s}\phi \quad\) studied by D. Barlet in Invent. Math. 68, 129-174 (1982; Zbl 0508.32003), allows to build up, for an isolated singularity of hypersurface in \({\mathbb{C}}^{n+1}\), a canonical hermitian form on the cohomology of the Milnor fiber of f. This hermitian form is non degenerated (theorem 4) and coincides with the intersection form (in its hermitian version) on characteristic subspaces of the monodromy corresponding to eigenvalues not equal to 1 (theorem 3). This hermitian form is in fact the bridge between the ”classical” theory of the Gauss-Manin system, that is to say the study of integrals of holomorphic forms on horizontal families of cycles, and the asymptotic expansion module at \(s=0\) for integrals \(\int_{f=s}\phi \quad\) where \(\phi\) is \(C^{\infty}\) of type (n,n) with compact support in \({\mathbb{C}}^{n+1}\). For instance, the sesquilinear hermitian quasi- horizontal form on the relative de Rham cohomology which corresponds (via the dictionary of the theorem 2 bis) to the canonical hermitian form, gives a generator system for the asymptotic expansions module (over the power series ring \({\mathbb{C}}[[s,\bar s]])\) in term of a generator system of the relative de Rham cohomoloy (over the ring \({\mathbb{C}}[[s]])\). This reduces, in concrete examples, the computation of all possible asymptotic expansions to the computation of a finite number of expansions for explicit integrals.


32S05 Local complex singularities
32C30 Integration on analytic sets and spaces, currents
14J17 Singularities of surfaces or higher-dimensional varieties
14C17 Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry
14F40 de Rham cohomology and algebraic geometry
32B15 Analytic subsets of affine space


Zbl 0508.32003
Full Text: DOI EuDML


[1] [A-G] Andreotti, A., Grauert, H.: Théorème de finitude pour la cohomologic des espaces complexes. Bull. Soc. Math. Fr.90, p 193-259 (1962) · Zbl 0106.05501
[2] [Ba 1] Barlet, D.: Développements asymptotiques des fonctions obtenues par intégration dans les fibres. Inv. Math.68, p 129-174 (1982) · Zbl 0508.32003
[3] [Ba 2] Barlet, D.: Contribution effective de la monodromie aux développements asymptotiques. Ann. Sc. Ec. Norm. Sup.17, p 293-315 (1984) · Zbl 0542.32003
[4] [Ba 3] Barlet, D.: Contribution du cup-produit de la fibre de Milnor aux pôles de |f|2?. Ann. Inst. Fourier, Grenoble34, 4 (1984) (à paraître) · Zbl 0525.32007
[5] [Ba 4] Barlet, D.: Le calcul de la forme hermitienne canonique pourX a +Y b +Z c . Preprint Nancy (octobre 83) · Zbl 0598.32015
[6] [B-B-D] Beilinson, A., Bernstein, J., Deligne, P.: Faisceaux pervers. Analyse et topologie sur les espaces singuliers I Astérisque, Soc. Math. Fr.100 (1982)
[7] [Br] Brieskorn, E.: Die Monodromie der isolierten Singularitäten von Hyperflächen. Manuscr. Math.2, p 103-161 (1970) · Zbl 0186.26101
[8] [D] Deligne, P.: Equations différentielles à points singuliers réguliers. Lecture Notes n0 163, Springer-Verlag
[9] [E] El Amrani, M.: Singularités des fonctions obtenues par intégration sur la fibreX 2 ?Y 3=s, et identiés modulaires. Bull. Sic. Math., 2ème série,108 (1984, à paraître)
[10] [K] Kashiwara, M.: The Riemann-Hilbert problem for holonomic systems. Publ. Res. Inst. Math. Sci.20, p 319-365 (1984) · Zbl 0566.32023
[11] [Meb. 1 et 2] Mebkhout, Z.: Une équivalence de catégorie. Comp. Math.51 (1984) et Une autre équivalence de catégorie. Comput Math. Appl.51, p 51-62 et p 63-88 (1984)
[12] [Malg] Malgrange, B.: Intégrales asymptotiques et Monodromie. Ann. Sci. Ec. Norm. Super.7, p 405-430 (1974) · Zbl 0305.32008
[13] [Mil] Milnor, J.: Singular points of complex hypersurfaces Ann. Math. Stud. Princeton Univ. Press61, (1968) · Zbl 0184.48405
[14] [S] Sebastiani, M.: Preuve d’une conjecture de Brieskorn. Manuscr. Math.2, p 301-308 (1970) · Zbl 0194.11402
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.