---
author:
- Daniel Barlet
date: Université Nancy I et Institut Universitaire de France
title: '**[Singularités réelles isolées et développements asymptotiques d’intégrales oscillantes]{}**'
---

*De la fenêtre de mon bureau je contemple le vieux pont de Malzéville et, me projetant 65 ans en arrière, j’imagine Jean Leray, alors jeune professeur à l’Université de Nancy, regagnant son domicile depuis la porte de le Craffe, près de laquelle était alors l’Institut de Mathématique, s’arrêtant sur ce vieux pont pour scruter les tourbillons de la Meurthe derrière les piles du pont, et s’interrogeant sur les solutions turbulentes des équations de Navier-Stokes .*

[**Abstract**]{}

Let $ (X_{\mathbb{R}} ,0) $  be a germ of real analytic subset in $ (\mathbb{R}^{N} ,0) $ of pure dimension $n+1 $ with an isolated singularity at $0$ . Let $$(f_{\mathbb{R}},0) :  (X_{\mathbb{R}} ,0) \longrightarrow  (\mathbb{R},0)$$ a real analytic germ with an isolated singularity at $0$ , such that its complexification $f_{\mathbb{C}}$  vanishes on the singular set $ S $ of $ X_{\mathbb{C}} $ .We also assume that $X_{\mathbb{R}} - \lbrace 0 \rbrace $  is orientable .

To each   $  A \in H^{0}(X_{\mathbb{R}} - \lbrace 0 \rbrace ,\mathbb{C} ) $  we associate a $n-$cycle $ \Gamma(A) $ (“explicitly ” described) in the complex Milnor fiber of $f_{\mathbb{C}}$  at $0$ such that the non trivial terms in the asymptotic expansions of the oscillating integrals   $ \int_{A} e^{i\tau f(x)} \varphi(x) $   when $ \tau \rightarrow  \pm \infty $  can be read from the spectral decomposition of  $\Gamma(A) $  relative to the monodromy of  $f_{\mathbb{C}}$  at  $0$ .

[**Résumé**]{}

Soit $ (X_{\mathbb{R}} ,0) $  un germe de sous-ensemble analytique réel à l’origine de $ \mathbb{R}^{N}  $ de dimension pure $n+1$  ayant une singularité isolée en $0$ . Soit $$(f_{\mathbb{R}},0) :  (X_{\mathbb{R}} ,0) \longrightarrow  (\mathbb{R},0)$$ un germe de fonction analytique réelle ayant une singularité isolée en $0$ telle que sa complexifiée $f_{\mathbb{C}}$  s’annule sur le lieu singulier $ S $ de $ X_{\mathbb{C}} $ . Nous supposerons également que la variété analytique réelle $X_{\mathbb{R}} - \lbrace 0 \rbrace $ est orientable.

A chaque $  A \in H^{0}(X_{\mathbb{R}} - \lbrace 0 \rbrace ,\mathbb{C} ) $   nous associons un $n-$cycle $ \Gamma(A) $ (explicitement décrit) dans la fibre de Milnor complexe de $f_{\mathbb{C}}$   en $0$ tel que les termes non triviaux dans les développements asymptotiques quand $ \tau \rightarrow  \pm \infty $   des intégrales oscillantes   $ \int_{A} e^{i\tau f(x)} \varphi(x) $  soient détectés par la décomposition spectrale de $\Gamma(A) $   par rapport à la monodromie de  $f_{\mathbb{C}}$  en  $0$ .

[**Table des matières**]{}

-   [**1. Introduction.**]{}

-   [**2. Transformation de Mellin sur $ \mathbb{R}^{*}. $**]{}

-   [**3. Cohomologie relative et variation .**]{}

-   [**4. Le cas d’une valeur propre $ \not = 1 $ .**]{}

-   [**5. Le cas de la valeur propre 1 .**]{}

-   [**6. Le cas où $ \partial A \subset \lbrack 0 \rbrack .$** ]{}

-   [**7. Annexe .**]{}

-   [**Références .**]{}

**Introduction**
================

Ce texte est un hommage à Jean Leray ; on constatera facilement que par les idées et les techniques utilisées, il est un des nombreux descendants en ligne directe du fameux article \[L.59\] “le problème de Cauchy III” qui est l’une des grandes contributions de Jean Leray à la théorie des fonctions de plusieurs variables complexes. Cet article peut être lu à deux niveaux . Le premier niveau, qui est proche de la conférence donnée à Nantes, est une introduction à la théorie des singularités d’une fonction analytique réelle ; son but est d’expliquer comment celle-ci permet de décrire les développements asymptotiques des intégrales oscillantes à phase analytique réelle. Il est assez surprenant et intéressant de voir que la topologie de l’application définie par la complexifiée de la phase considérée et la topologie de la position du réel dans le complexe suffisent à prévoir exactement quels types de termes apparaîtront dans ces développements asymptotiques. Dans cette optique, on peut simplement considérer le cas où $ ({X }_{\mathbb{R}},0) =  (\mathbb{R}^{n+1 },0)$ et se contenter de lire seulement les énoncés des résultats ainsi que les constructions qui les précèdent définissant les cycles $ \Gamma(A) $  et  $\widehat{\Gamma}(A) $  respectivement pour les théorèmes 1, 1bis et 2 . Les énoncés des corollaires étant probablement plus faciles à comprendre que ceux des théorèmes eux-même . L’autre niveau est celui d’un article de recherche qui améliore les résultats déjà connus sur ce sujet .En particulier nous généralisons substantiellement les résultats de \[J.91\] ,\[B.M.02 \] et \[B.02\] .

De fa[ç]{}on précise, nous décrivons , si $ ({X }_{\mathbb{R}},0)\subset  (\mathbb{R}^{N},0)$ est un germe d’ensemble analytique réel de dimension pure $( n+1)$ à singularité isolée en 0 (donc nous étudions des problèmes de “phase stationnaire” avec une singularité ambiante là où la phase stationne) et si $ (f_{\mathbb{R}},0) :  ({X }_{\mathbb{R}},0) \longrightarrow ((\mathbb{R}, 0)$ est un germe analytique réel à singularité isolée en 0 sur $ ({X }_{\mathbb{R}},0)$ , sous l’hypothèse que le lieu singulier du complexifié $ ({X }_{\mathbb{C}},0)  $ est contenu dans $\lbrace f_{\mathbb{C}}=0 \rbrace $ et que ${X }_{\mathbb{R}}-\lbrace 0 \rbrace  $ est orientable, les termes qui vont apparaître dans le développement asymptotique quand $ \tau \longrightarrow + \infty $ de l’intégrale $$\int_{A}^{ }e^{i\tau f(x)}.\varphi (x)$$ où $\varphi $ est une forme  $\mathcal{C}^{\infty }$  de degré $ n+1$  , à support compact (une forme- test) , et où $ {A}=\sum_{\alpha} a_{\alpha} .A_{\alpha} \in  H^{0}(X_{\mathbb{R}}-f_{\mathbb{R}}^{-1}(0),\mathbb{C})$ est une combinaison linéaire à coefficients complexes de composantes connexes de $X_{\mathbb{R}}-f_{\mathbb{R}}^{-1}(0) $ . Nous exhibons un n-cycle $ \Gamma(A) $ associé à A dans la fibre de Milnor en 0 de la complexifiée $f_{\mathbb{C}}$ de $f_{\mathbb{R}}$ dont la décomposition spectrale par rapport à la monodromie en 0 de $f_{\mathbb{C}}$ gouverne ces développements asymptotiques.

Les énoncés précis sont donnés aux théorèmes 1, 1bis et 2 et dans les corollaires qui les suivent . Evidemment, si l’on sait montrer que pour un $ A $   donné le cycle $ \Gamma(A) $ n’est pas nul dans la cohomologie de la fibre de Milnor, on en déduit qu’il existe une forme test $\varphi $ pour laquelle la fonction $\tau \longrightarrow \int_{A}^{} e^{i\tau f(x)}.\varphi (x) $ n’est pas une fonction de la classe de L. Schwartz sur $ \mathbb{R} $. C’est en fait la méthode utilisée par A. Jeddi dans \[J.02\] (en s’inspirant de l’article “fondateur” \[M.74\]) pour résoudre la “conjecture” de Palamodov (voir \[P.86\]), c’est à dire pour montrer que dans le cas où $ ({X }_{\mathbb{R}},0)=(\mathbb{R}^{ n+1},0)$ et où ${A}=\sum_{\alpha} A_{\alpha} $ (on intègre donc sur $\mathbb{R}^{n+1}$) il existe une telle forme test $\varphi .$ En fait , A. Jeddi déduit le cas général d’une fonction analytique réelle sur $\mathbb{R}^{ n+1}$ du cas d’une fonction à singularité isolée.

Pour terminer cette introduction, je voudrais remercier le Laboratoire de Mathématiques de l’Université de Nantes, maintenant Laboratoire Jean Leray, pour m’avoir invité à donner cette conférence lors de son “baptême” .

**Transformation de Mellin sur $ \mathbb{ R}^{*} $** 
=====================================================

Soit $\varphi $ une fonction $\mathcal{C}^{\infty }$ sur $\mathbb{R}^* $ qui est bornée et à support borné ; nous définirons la transformée de Mellin de $\varphi $ pour $\Re(\lambda) > 0 $  par la formule suivante :

$$M\varphi  (\lambda) := \frac{1}{i\pi}[\int_{0}^{+\infty} x^{\lambda}\varphi (x) \frac{dx}{x}  - e^{-i\pi \lambda}.\int_{0}^{+\infty} x^{\lambda}\varphi (-x) \frac{dx}{x}]$$

C’est un exercice élémentaire de voir que si $\varphi $ se prolonge en une fonction $\mathcal{C}^{\infty }$ sur $\mathbb{R}$, alors $ M\varphi $ se prolonge en une fonction entière (voir \[B.99\] ).

Pour illustrer cette définition, donnons un résultat qui nous sera utile plus loin :

[**Lemme 1.**]{}

*Soit $ s_0 >0 $ et soit $\varphi $ la fonction définie par :*

  $\varphi (s) = (s/s_{0})^{r}.P[Log(s/s_{0})]$           pour    $  0< s < s_0 $

  $\varphi (s) = (s/s_{0})^{r}.Q[Log(s/s_{0})]$        pour    $  -s_0 < s < 0 $

où P et Q sont des polynômes et où la partie imaginaire du logarithme est dans l’intervalle   $]-3\pi  /2,\pi /2 [ $ pour z n’appartenant pas à $ i\mathbb{R}^{+ } $ . Alors le résidu en $ \lambda   = -r $ de la fonction méromorphe :

$$F (  \lambda) =  \int_{0}^{s_0} (s/s_{0})^{\lambda} \ \varphi (s) \frac{ds}{s}  - e^{-i\pi \lambda}.\int_{0}^{s_0} (s/s_{0})^{\lambda} \ \varphi (-s) \frac{ds}{s}$$

est égal à P(0) - Q(0) .

[**Preuve.**]{}

Posons   $x =  s/s_{0} $  . Cela donne :

$$F(\lambda) =  \int_{0}^{1} x^{\lambda}x^{r}.P[Log x ] \frac{dx}{x}  - e^{-i\pi  \lambda}.\int_{0}^{1} x^{\lambda}.e^{-i\pi r}x^{r}.Q[Log x  - i\pi ]  \frac{dx}{x}$$

Mais si $ \Gamma $ désigne le contour formé du segment \[-1,1\] et du demi-cercle unité inférieur parcouru dans le sens indirect la nullité de l’intégrale :

$$\int_{\Gamma}^{}  z^{\lambda + r}.Q[Log z ]\frac{dz}{z }$$

et le fait que la contribution du demi-cercle à cette intégrale est une fonction entière de $\lambda$ montrent que le résidu en $\lambda = - r $ de $F(\lambda)$ est le même que celui de la fonction méromorphe :

$$\int_{0}^{1} x^{\lambda + r}.(P - Q)[Log x ]. \frac{dx}{x}   \quad .$$

On conclut alors facilement       $ \blacksquare$

[**Remarque.**]{}

Ce lemme met en évidence une erreur de calcul dans la preuve du théorème 6.1 de \[B.M.02\] qui conduit aux formules erronnées (6.2a) et (6.2b) de cet article. Les formules correctes sont données aux théorèmes 1 et 1bis (pour plus de précisions se reporter à la “Remarque/Erratum” qui suit le corollaire du théorème 1 ).

Considérons maintenant la situation d’un germe :

$(f_{\mathbb{R}},0) :  ({X }_{\mathbb{R}},0) \longrightarrow (\mathbb{R}, 0)$

de fonction analytique réelle sur un espace analytique réel $ ({X}_{\mathbb{R}},0) $ satisfaisant les hypothèses suivantes :

-   ${(X}_{\mathbb{R}},0) $ est de dimension pure $ n+1 $ et est lisse en dehors de l’origine .

-   $f_{\mathbb{R}}$  a une singularité isolée en $ 0 $ sur $ {X}_{\mathbb{R}} $

-   Le complexifié ${X}_{ \mathbb{C}} $ de ${ X}_{\mathbb{R}} $ a un lieu singulier $ S $ contenu dans $ \lbrace f_{\mathbb{C} } =  0  \rbrace $ où $(f_{\mathbb{C}},0) :  ({X }_{\mathbb{C}},0) \longrightarrow (\mathbb{C}, 0)$ est la complexifiée de $(f_{\mathbb{R}},0) $.

-   Notre dernière hypothèse sera que ${X}_{\mathbb{R}}  - \lbrace  0 \rbrace $ est orientable , et nous fixerons une fois pour toute une orientation de cette variété analytique réelle lisse de dimension $ n+1 $ .

Le lecteur non familier avec les espaces analytiques singuliers pourra supposer que l’on a simplement $ {X}_{\mathbb{R}} = \mathbb{R}^{n+1} $ . Les résultats sont déjà intéressants dans ce cas (et les hypothèses H a) , H c) et H d) sont alors automatiquement satisfaites ) .

Précisons que, contrairement à la situation qui est considérée dans \[B.M.02\] et \[B.02\] , nous ne supposons pas ici que le complexifié ${X}_{ \mathbb{C}} $ de $ {X}_{\mathbb{R}}$ a une singularité isolée en $ 0 $ . Donc $ S $ peut être de dimension positive, mais ne rencontre ${ X}_{\mathbb{R}} $ qu’au plus à l’origine . Nous ne supposons pas non plus que $f_{\mathbb{C}}$ a une singularité isolée en $ 0 $ dans ${X}_{ \mathbb{C}} $ (ce qui, pour $ S \not=  \lbrace  0 \rbrace $ , n’a d’ailleurs pas un sens évident, mais qui est l’hypothèse faite“en plus ”de $ S =  \lbrace  0 \rbrace $ dans \[B.M.02\] et \[B.02\] ) .

Fixons maintenant un représentant de Milnor $$f :  {X}_{\mathbb{C}}\longrightarrow  {D}$$du germe $(f_{\mathbb{C}},0)$ dans ${(X}_{\mathbb{C}},0) $ (voir au paragraphe 3 pour plus de précisions sur cela ). Notons par $ {X}_{\mathbb{R}}$ et $f_{\mathbb{R}}$ les représentants correspondants des germes $({X}_{\mathbb{R}},0) $ et $(f_{\mathbb{R}},0) $ . Soit $ {A} = \sum_{\alpha } a_{\alpha}. A_{\alpha} $ un élément de $H^{0}({X}_{\mathbb{R}} - f_{\mathbb{R}}^{-1}(0) , \mathbb{C} ) $ , c’est -à-dire une combinaison linéaire à coefficients complexes de composantes connexes de ${X}_{\mathbb{R}} - f_{\mathbb{R}}^{-1}(0) $ (il n’y a qu’un nombre fini de telles composantes connexes comme on le verra plus loin) . Définissons alors le 1-courant sur ${ X}_{\mathbb{R}}  ,$ dépendant holomorphiquement du paramètre $ \lambda $  , en posant pour $\Re{\lambda} \gg 1 $ $$\Box \longrightarrow \frac{1}{i\pi}  \int_{A}^{}  f^{\lambda} \  \Box \wedge \frac{df}{f}$$ où $ \Box $ désigne une $ n-$ forme $\mathcal{C}^{\infty} $ à support compact dans ${X}_{\mathbb{R}} $ ; c’est -à-dire que pour chaque $ \Box $ donnée, la valeur sur cette forme-test de ce 1-courant est la transformée de Mellin (définie ci-dessus) de la fonction sur $ \mathbb{R}^{*} $ définie par :

$$s \longrightarrow \int_{{A}\bigcap \lbrace f_{\mathbb{R}} = s \rbrace }^{} \Box \qquad \qquad .$$

L’intégrale oscillante $  \int_{A}^{} e^{i\tau f} \ \Box  \wedge df $   sera alors, par définition , la transformée de Fourier de cette même fonction sur $ \mathbb{R} $ (elle est localement bornée à l’origine et à support compact ) .

Il est bien connu que, grâce au théorème de désingularisation \[H.64\] de H. Hironaka, la fonctiondéfinie ci-dessus est $\mathcal{C}^{\infty} $ sur $ \mathbb{R}^{*} $   et admet quand $  s \rightarrow  \pm \infty $ des développements asymptotiques indéfiniment dérivables dans l’échelle des fonctions $  s^{\alpha+ \nu}.(Log |s| )^{j}  $   avec  $ \alpha \in [0,1[ \bigcap \mathbb{Q} $  ,  $ j \in [0,n] \bigcap \mathbb{N}  $  et  $  \nu \in \mathbb{N} $ (voir \[A.70\]   et   \[JQ.70\] ).

On en déduit immédiatement que la distribution $ \int_{A}^{}  f^{\lambda} \  \Box   $ ainsi que le 1-courant $ \int_{A}^{}  f^{\lambda} \  \Box \wedge \frac{df}{f}  $ admettent des prolongements méromorphe en $ \lambda $ à tout le plan complexe, avec un nombre fini de séries de pôles d’ordre $ \leq n+1 $ en $ - \alpha - \nu $ où $ \alpha $ prend un nombre fini de valeurs dans $ [0,1[ \bigcap \mathbb{Q}  $ et où $ \nu \in \mathbb{N} $. De fa[ç]{}on équivalente, on en déduit que l’intégrale oscillante $  \int_{A}^{} e^{i\tau f} \ \Box  $ admet quand $ \tau  \rightarrow  \pm \infty $ un développement asymptotique dans l’échelle des fonctions $ \tau ^{- \alpha - \nu} (Log | \tau | )^{j} $ où $ \alpha ,j  $ et  $ \nu  $ prennent les mêmes valeurs que plus haut .

Nous formulerons nos résultats en utilisant les pôles du prolongement méromorphes de la distribution $ \int_{A}^{} f^{\lambda} \  \Box   $ mais un dictionnaire facile (voir par exemple \[B.M.93\] prop.(0.7) ) permet la traduction en terme des développements asymptotiques de l’intégrale oscillante $  \int_{A}^{} e^{i\tau f} \ \Box  \wedge df $ , ces deux formulations étant équivalentes à l’étude des développements asymptotiques à l’origine de [ **“l’intégrale-fibre”** ]{} où   $ \Box \in \mathcal{C}^{\infty}_{c}(X_{\mathbb{R}})^{n}  : $ $$s \longrightarrow  \int_{{A}\bigcap \lbrace f_{\mathbb{R}} = s \rbrace } \Box   \qquad \qquad .$$

**Cohomologie relative et variation .**
=======================================

Soit $( {X}_{\mathbb{C}},0) $ un germe d’ensemble analytique complexe irréductible de dimension n+1 dans $ ( \mathbb{C}^{N}, 0 ) $ et soit $ f =  f_{ \mathbb{C}} : ( \mathbb{C}^{N} , 0 )  \longrightarrow   ( \mathbb{C} , 0 ) $ un germe de fonction holomorphe, nul sur le lieu singulier de $( {X}_{\mathbb{C}},0) $  , mais non identiquement nul sur  $( {X}_{\mathbb{C}},0) $ . On notera par $ \widehat{S} $ la réunion du lieu singulier  $ S $  de $( {X}_{\mathbb{C}},0) $ et des points lisses de $( {X}_{\mathbb{C}},0) $ en lesquelles la différentielle de f est nulle . On a $\widehat{S }\subset  f^{-1}(0) $ sous ces hypothèses et pour   $  0 < \varepsilon \ll 1 , 0 < \delta \ll \varepsilon $  on définit un représentant de Milnor en posant : $${X}_{\mathbb{C}} : = \widetilde{ {X}_{\mathbb{C}}} \cap B(0, \varepsilon) \cap f^{-1}(D_{\delta})$$ où $ \widetilde{ {X}_{\mathbb{C}}} $ désigne un représentant du germe $( {X}_{\mathbb{C}},0) $. La restriction de   f   à l’ouvert $ {X}_{\mathbb{C}} - f^{-1}(0) $ est alors une fibration $ \mathcal{C}^{\infty} $ sur le disque pointé $ D_{\delta}^{*} $   de fibre $ F := f^{-1}(s_{0}) $   où   $ s_{0} \in D_{\delta} \cap \mathbb{R}^{+*} $ est un point base de $ D_{\delta}^{*} $ .

On remarquera que dans la construction de Milnor (voir \[Mi.68\] ) le champ de vecteur $ \mathcal{C}^{\infty} $ peut être prolongé de fa[ç]{}on $ \mathcal{C}^{\infty} $ au voisinage d’un compact $ \Lambda $ de $ f^{-1}(0) $ pourvu que l’on ait $ \Lambda \cap \widehat{S} = \emptyset $ .

Un tel compact $ \Lambda $ étant fixé ( seul le cas où $ \Lambda $ est une sous-variété analytique réelle lisse de $ f^{-1}(0) $ vérifiant $ \Lambda \cap \widehat{S} = \emptyset $ nous intéressera ici ) on peut trouver des voisinages ouverts $ \mathcal{U} \subset \mathcal{U}' $ de $ \Lambda $ , d’adhérences disjointes de  $ \widehat{S} $ , et vérifiant les propriétés suivantes (quitte a restreindre $ \delta $ ) :

-   $ f : \mathcal{U}'  \longrightarrow   D_{\delta} $   est une fibration $ \mathcal{C}^{\infty} $ triviale de fibre $  F \cap \mathcal{U}'  $ et on a une trivialisation $ \mathcal{C}^{\infty} $   $$\Phi ' :   \mathcal{U}'  \longrightarrow   ( F \cap \mathcal{U}'  ) \times D_{\delta}$$ de cette fibration qui induit un difféomorphisme noté  $\Phi$  de   $ \mathcal{U} $ sur  $   ( F \cap \mathcal{U} ) \times D_{\delta} $ .

-   l’inclusion $ F \cap \mathcal{U} \subset  F \cap \mathcal{U}'  $ est une équivalence d’homotopie ( en fait dans le cas où $ \Lambda $ est une sous-variété compacte lisse de $ f^{-1}(0)  -  \widehat{S} $ on peut choisir $ F \cap \mathcal{U} $   et   $ F \cap \mathcal{U}' $  homotopiquement équivalents à $ \Lambda $ , $ \mathcal{U} $ et $ \mathcal{U}' $ étant les traces sur  $ f^{-1}(D_{\delta}) , \delta $ assez petit, de voisinages tubulaires $ \mathcal{C}^{\infty} $ de $ \Lambda $ ) .

-   On a une trivialisation  $\Psi $  de classe   $ \mathcal{C}^{\infty} $  de la fibration de Milnor au dessus de l’ouvert simplement connexe $ D_{\delta} - i \mathbb{R}^{+} \cap D_{\delta} $ qui est compatible à $ \Phi' $ , c’est-à-dire que $ \Phi' $   et  $ \Psi $ coincident sur l’ouvert $$\mathcal{U}' - f^{-1}(i \mathbb{R}^{+} \cap D_{\delta} ) \quad .$$

[**Conséquences importantes :**]{}

-      Dans cette situation, la monodromie de  f   est l’identité sur $ \mathcal{U}' $ et sur $ \mathcal{U} $ . Elle agit donc comme l’identité sur les cohomologies de $ F \cap \mathcal{U}' $  et   $ F \cap \mathcal{U} $ respectivement. La monodromie agit également sur les cohomologies relatives (voir l’Annexe pour des précisions sur les cohomologies de de Rham relatives à un ouvert que nous utiliserons ici ) $ H^{*}(F,F \cap \mathcal{U}) $   et  $  H_{c}^{*}(F,F \cap \mathcal{U})  .$

-   On a des suites exactes d’espaces vectoriels monodromiques (voir également l’Annexe ) $$\cdots  \rightarrow  H^{n-1}(F\cap \mathcal{U})   \rightarrow  H^{n}(F,F\cap \mathcal{U})  \rightarrow  H^{n}(F)  \rightarrow  H^{n}(F\cap \mathcal{U}) \rightarrow  \cdots$$ $$\cdots \rightarrow  H_{c}^{n}(F\cap \mathcal{U})  \rightarrow  H_{c}^{n}(F)   \rightarrow  H_{c}^{n}(F,F\cap \mathcal{U})  \rightarrow  H_{c}^{n+1}(F\cap \mathcal{U})  \rightarrow  \cdots$$

    Si $ V_{\not=1} $ désigne la somme des sous-espaces spectraux pour les valeurs propres $ \not=1 $ de la monodromie (resp. $  V_{=1} $ le sous-espace spectral pour la valeur propre 1 ) agissant sur l’espace vectoriel monodromique $ V $   l’application canonique : $$can :  H^{n}(F,F\cap \mathcal{U}) _{\not=1} \rightarrow  H^{n}(F) _{\not=1}$$ induit un isomorphisme puisque la monodromie agit comme l’identité sur la cohomologie de $ F\cap \mathcal{U} $. Il en est de même pour l’application $$can_{c}  :  H_{c}^{n}(F) _{\not=1}  \rightarrow  H_{c}^{n}(F,F\cap \mathcal{U}) _{\not=1}  \ \qquad \qquad  \qquad \Box$$

Pour la valeur propre 1 nous allons construire une application de variation $$var_{c} :  H_{c}^{n}(F,F\cap \mathcal{U}) _{=1}  \rightarrow  H_{c}^{n}(F)_{=1}$$ qui vérifiera les relations : $$var_{c} \circ can_{c} = T_{c} - 1  \  , \  can_{c} \circ var_{c} = T_{c} - 1 .$$

Nous allons utiliser pour cela la description de $ H_{c}^{n}(F,F\cap \mathcal{U}) $ par des n-chaînes compactes orientées de $ F$   à bords dans $ F \cap \mathcal{U} $ modulo les bords de $(n+1)$-chaînes compactes orientées et les n-chaînes compactes tracées dans $ F \cap \mathcal{U} $ (voir l’Annexe ).

Soit donc $\gamma $  une n-chaîne compacte orientée de $F $   à bord dans $ F \cap \mathcal{U} .$ Comme la monodromie $T_{c}$ laisse $ F \cap \mathcal{U} $  fixe, on aura $ \partial \gamma = \partial T_{c} \gamma $  et  $ (T_{c}-1) \gamma $  sera un $n$-cycle compact orienté de $ F $. Il est facile de voir que pour la somme d’un bord et d’une chaîne tracée dans $ F \cap \mathcal{U} $ ,  $ \gamma = \partial \Gamma + \Delta $  , on a $ (T_{c}-1) \gamma = \partial  (T_{c}-1) \Gamma  $ car  $ (T_{c}-1) \Delta = 0 $ . Donc $ var_{c} $  est bien définie et les relations annoncées ci-dessus en découlent immédiatemment .

Pour calculer $ var_{c} $   en cohomologie de de Rham, nous utiliserons le formalisme de \[B.97\] qui s’appliquerait en fait au cas, plus général , où l’on aurait seulement l’hypothèse $ \bar{\mathcal{U}'} \cap S_{1} = \emptyset $  où $S_{1} $  désigne la réunion du lieu singulier de $ {X}_{\mathbb{C}}$  et de l’ensemble des points lisses de $ {X}_{\mathbb{C}}$  en lesquels la valeur propre 1 de la monodromie agissant sur la cohomologie réduite de la fibre de Milnor de $f$ apparaît ; on a donc $ S_{1} \subset \widehat{S}  $ , inégalité éventuellement stricte.

Introduisons alors $$\widetilde{var_{c}} :=  \Theta_{c} \circ var_{c} \ ,$$

où $ \Theta_{c} $ est l’automorphisme de $ H_{c}^{n}(F)_{=1}$  donné par $$\Theta_{c} : = \sum_{k=0}^{+ \infty}  \  \frac{(-1)^{k}}{k+1} (T_{c}-1)^{k}$$

On a alors  $  \widetilde{var_{c}} \circ can_{c} = \frac{i}{2 \pi} Log T_{c} $  sur $ H_{c}^{n}(F)_{=1}$  . Définissons l’application sesquilinéaire $$h :   H_{c}^{n}(F,F\cap \mathcal{U})_{=1} \times H^{n}(F)_{=1}  \longrightarrow \mathbb{C}$$

en posant pour $ (e,e') \in  H_{c}^{n}(F,F\cap \mathcal{U})_{=1} \times H^{n}(F)_{=1} $ : $$h(e,e') = \mathcal{I}( \widetilde{var_{c}} (e) , e')$$ où $ \mathcal{I}  $  désigne la dualité de Poincaré hermitienne sur $ F $ donnée par : $$\mathcal{I} :  H_{c}^{n}(F) \times H^{n}(F) \longrightarrow  \mathbb{C} \qquad  avec \qquad  \mathcal{I} (a,b) := \frac {1}{(2i \pi )^{n}} \int_{F}^{}  a \wedge \bar{b}   .$$

[ **Remarque .**]{}

Dans le cas où $ \Lambda = f_{\mathbb{C}}^{-1}(0) \cap \partial B(0, \varepsilon '') $ , on a une identification naturelle de $H_{c}^{n}(F,F\cap \mathcal{U}) $ avec $ H^{n}(F) $  et on retrouve la forme hermitienne canonique : voir \[B.85\] dans le cas $ X_{\mathbb{C}} $ lisse et $f$  à singularité isolée , \[B.90\] pour le cas $ X_{\mathbb{C}} $ lisse et $f$  à singularité isolée pour la valeur propre 1 de la monodromie et \[B.M.02\] pour le cas où $ X_{\mathbb{C}} $  et  $f$   sont à singularités isolées .

**Le cas d’une valeur propre $ \not= 1$** 
==========================================

Pla[ç]{}ons-nous dans la situation précédente en supposant de plus que $(X_{\mathbb{C}}, 0)$ est le complexifié d’un germe d’ensemble analytique réel $(X_{\mathbb{R}}, 0)  \subset ( \mathbb{R}^{N}, 0)$ admettant une singularité isolée en $0$ . Supposons de plus que le germe $( f, 0) $ soit le complexifié d’un germe analytique réel $(f_{\mathbb{R}}, 0) : (X_{\mathbb{R}}, 0) \longrightarrow  (\mathbb{R}, 0) $ admettant une singularité isolée en $0$ sur $(X_{\mathbb{R}}, 0)$ .

On notera $ X_{\mathbb{R}} :=  X_{\mathbb{C}} \cap  \mathbb{R}^{N} $  et $ f_{\mathbb{R}} $ la restriction de $ f = f_{\mathbb{C}} $ à $ X_{\mathbb{R}} $  , où $ X_{\mathbb{C}} $ désigne un représentant de Milnor du germe $(X_{\mathbb{C}}, 0)$ comme précédemment . Nous supposerons dans tout ce qui suit que la variété analytique réelle (lisse) $ X_{\mathbb{R}} - \lbrace 0 \rbrace $ est orientable, et que nous avons fixé une orientation .

Nous fixerons également $ 0 < \varepsilon' < \varepsilon'' < \varepsilon  $   avec   $ \varepsilon  $  fixé comme précédemment et  $  \varepsilon -\varepsilon'  \ll \varepsilon $  . Nous supposerons que   $ \varepsilon $   a été choisi assez petit pour que  $ \Lambda = f_{\mathbb{R}}^{-1}(0) \cap \partial B(0, \varepsilon'') $   soit une sous-variété analytique réelle lisse et compacte de $ f_{\mathbb{C}}^{-1}(0) - \widehat{S }$ . Ceci est possible grâce à nos hypothèses de singularités isolées pour $ X_{\mathbb{R}} $  et  $ f_{\mathbb{R}}$ .

Pour chaque composante connexe $ A_{\alpha} $  de $ X_{\mathbb{R}} - f_{\mathbb{R}}^{-1}(0) $ (il n’y en a qu’un nombre fini d’après Lojasiewicz , car c’est la différence de deux ensembles semi-analytiques compacts , voir \[Lj.65\] ) on définit une $n-$chaîne compacte orientée   $ \Gamma(A_{\alpha}) $  de la fibre de Milnor $ F $ , dont le bord est contenu dans $ F \cap \mathcal{U} ,$  de la facon suivante :

Pour $ A_{\alpha} \subset \lbrace f_{\mathbb{R}} > 0  \rbrace $  on pose

$$\Gamma(A_{\alpha}) :=   \Gamma(A_{\alpha})^{+} = A_{\alpha} \cap f_{\mathbb{R}}^{-1}(s_{0}) \cap \overline{B(0, \varepsilon'')}$$ où   $ s_{0} \in D \cap \mathbb{R^{+*}} $  est le point base de   $D^{*} = D_{\delta}^{*}  \ $  (rappelons que , par définition , la fibre de Milnor $ F $ de $ f_{\mathbb{C}} $  en $0$ est égale à   $ f_{\mathbb{C}}^{-1}(s_{0}) $ ) . On oriente  $ f_{\mathbb{R}}^{-1}(s_{0}) $   comme le bord de l’ouvert  $ f_{\mathbb{R}}^{-1}( s < s_{0} ) $  de   $ X_{\mathbb{R}} - \lbrace 0 \rbrace $ . Donc   $ \Gamma(A_{\alpha}) $  définit une classe dans   $ H_{c}^{n}(F,F\cap \mathcal{U}) $ .

Pour $ A_{\alpha} \subset \lbrace f_{\mathbb{R}} < 0  \rbrace $   on définit  $\Gamma(A_{\alpha}) $   à partir de la $n-$chaîne compacte ,à bord dans $ \mathcal{U} $ : $$\Gamma(A_{\alpha})^{-} = A_{\alpha} \cap f_{\mathbb{R}}^{-1}(-s_{0}) \cap \overline{B(0, \varepsilon'')}$$ que l’on oriente grâce à l’orientation de  $ f_{\mathbb{R}}^{-1}(-s_{0}) $  comme bord de l’ouvert  $ f_{\mathbb{R}}^{-1}( s >- s_{0} ) $  de   $ X_{\mathbb{R}} - \lbrace 0 \rbrace $ , en la suivant dans la trivialisation $ \Psi $  de $ f_{\mathbb{C}}$   le long du demi-cercle  $ \lbrace s_{0}e^{i\theta} , \theta \in [-\pi,0 ] \rbrace $  et en changeant l’orientation .

Dans ces conditions on notera : $$\Gamma(A_{\alpha}) = - T^{\frac{1}{2}}. \Gamma(A_{\alpha})^{-}\ .$$

C’est à nouveau une $n-$chaîne compacte orientée contenue dans $F $ et à bord dans $ F \cap \mathcal{U} $  . Elle définit donc une classe dans   $ H_{c}^{n}(F,F\cap \mathcal{U}) $ .

Le changement d’orientation dans la définition de  $ \Gamma(A_{\alpha}) $  dans le cas négatif est dû au fait que la rotation de $ \pi $ pour $ \mathbb{R}^{-} $   l’envoie sur $  \mathbb{R}^{+} $  avec l’orientation “opposée” .

On étend alors l’application $ \Gamma $   par $ \mathbb{C}$-linéarité en une application $ \mathbb{C}$-linéaire $$\Gamma :  H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} ) \longrightarrow   H_{c}^{n}(F,F\cap \mathcal{U}) .$$

Si   $ A = \sum_{\alpha}^{ } a_{\alpha}.A_{\alpha} $  avec   $ A^{+} = \sum_{A_{\alpha} \subset \lbrace f_{\mathbb{R}}>0 \rbrace}^{ } a_{\alpha}.A_{\alpha} $  et  $ A^{-} = \sum_{A_{\alpha} \subset \lbrace f_{\mathbb{R}}<0 \rbrace}^{ } a_{\alpha}.A_{\alpha} $  on aura : $$\Gamma(A) =  \Gamma(A)^{+}   - T^{\frac{1}{2}}. \Gamma(A)^{-} .$$

[**Théorème 1**]{}

*On se place sous les hypothèses ci-dessus , à savoir que $$\widetilde{f_{\mathbb{R}}} :  (X_{\mathbb{R}}, 0) \longrightarrow  (\mathbb{R}, 0)$$ est un germe de fonction analytique réelle à singularité isolée en $0$ sur un germe d’ensemble analytique réel de dimension pure $n+1$ dans $ (\mathbb{R}^{N}, 0) $ , ayant une singularité isolée en $0$ , vérifiant les hypothèses H a),H b),H c) et H d) du paragraphe 2 . On note par $$f_{\mathbb{R}} : X_{\mathbb{R}}  \longrightarrow  ]- \delta, \delta[$$ la trace sur le réel d’un représentant de Milnor du complexifié $$\widetilde{f_{\mathbb{C}}} :  (X_{\mathbb{C}}, 0) \longrightarrow  (\mathbb{C}, 0)$$ de $ \widetilde{f_{\mathbb{R}}} $ . On désignera par $F$ la fibre de Milnor de $\widetilde{f_{\mathbb{C}}}$ en  $0$* .

*Pour tout $ u \in ]0,1[ $  l’application canonique $$can :   H^{n}(F,F\cap \mathcal{U})_{e^{-2i\pi u}}  \longrightarrow  H^{n}(F)_{e^{-2i\pi u}}$$ est bijective , où  $\mathcal{U} $ désigne un voisinage ouvert convenable (voir plus haut) de  $ \Lambda =  f_{\mathbb{R}}^{-1}(0) \cap \partial B(0, \varepsilon '') $*  .

*Pour tout $ A \in  H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} )  $  on aura : $$(-2i\pi)^{n}.\langle \Gamma(A) ,\overline{can^{-1}(e) }\rangle  =  Res( \lambda = -u , \int _{A}^{}  (f/s_0)^{\lambda} \  \frac{df}{f} \wedge w_{k} )$$ où l’application   $  \Gamma :   H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} ) \longrightarrow H^{n}(F,F\cap \mathcal{U}) $ est définie ci-dessus , où $ e \in H^{n}(F)_{e^{-2i\pi u}} $  , où $ \langle , \rangle $  désigne l’application sesquilinéaire $$\langle , \rangle  :  H_{c}^{n}(F,F \cap \mathcal{U})\times   H^{n}(F,F \cap \mathcal{U}) \rightarrow  \mathbb{C}$$ déduite de la dualité de Poincaré sur $F$ (voir l’Annexe ) , et où $ w_{1},\ldots,w_{k} $  sont des $n-$formes semi-méromorphes à pôles dans $ f_{\mathbb{C}}^{-1}(0) $  sur $ X_{\mathbb{C}} $  vérifiant les conditions suivantes : $$\begin{cases}  
$$ dw_{j} = u\frac{df}{f} \wedge w_{j} + \frac{df}{f} \wedge w_{j-1} \ \  \  \  \forall j\in [1,k] ,avec  \  \ \  w_{0} = 0 $$ \\
$$ \  w_{k}\vert_{F} = e  \  \  \ dans  \    \  \  H^{n}(F)   \qquad  \qquad  \qquad  \qquad  \qquad\  \Box $$ 
\end{cases}$$*

[ **Remarques :**]{}

-   Rappelons que $ F := f_{\mathbb{C}}^{-1}(s_{0})  $  où  $ s_{0}\in D \cap \mathbb{R}^{+*}  $  est le point base ; donc $ w_{k} $   est une forme $ \mathcal{C}^{\infty}  $  et $d-$fermée de degré n sur $F$ .

-   Dans la formule du théorème on a omis une fonction de troncature $ \rho \in \mathcal{C}_{c}^{\infty}(X_{\mathbb{R}}) $   valant identiquement 1 près de 0 qui est nécessaire pour donner un sens à l’intégrale $ \int _{A}^{}  \rho . (f/s_0)^{\lambda} \  \frac{df}{f} \wedge w_{k} $  ; en effet elle n’est pas utile pour discuter les pôles de $ \frac{1}{\Gamma(\lambda)} \int _{A}^{}  (f/s_0)^{\lambda} \  \frac{df}{f} \wedge w_{k} ) $  qui sont concentrés à l’origine et dont les parties polaires sont des  $(n+1)-$courants à support $ \lbrace 0 \rbrace $  vu nos hypothèses   $ \Box $

[**Corollaire :** ]{}

*Sous les hypothèses du Théorème 1 l’ordre des pôles du prolongement méromorphe de $ \int_{A}^{} f^{\lambda} \  \Box $   en  $ -u-\nu , \nu \in \mathbb{N} , \nu \gg 1  ,$  est exactement l’ordre de nilpotence de $ T - e^{-2i\pi u}   $  agissant sur la composante de $ \Gamma(A) $ dans $  H^{n}(F)_{e^{-2i\pi u}}  \qquad  . $*

*En particulier , la composante de $ \Gamma(A) $ dans $  H^{n}(F)_{e^{-2i\pi u}} $  est nulle si et seulement si le prolongement méromorphe de $ \int_{A}^{} f^{\lambda}  \ \Box $  n’a jamais de pôle en $ -u-\nu , \forall \nu \in \mathbb{N}  \qquad  \qquad  \qquad  \qquad  \Box $*

Preuve du théorème 1 :

Avant de passer à la preuve proprement dite, il est bon de préciser la normalisation que nous utilisons ici pour représenter un élément de $  H^{n}(F)_{e^{-2i\pi u}} .$ En effet, cette normalisation est celle déjà utilisée dans \[B.M.02\] et diffère de celle de \[B.91\] . Comme les formules analogues à celle du théorème 1 ci-dessus sont erronées, commen[ç]{}ons par discuter ces deux normalisations et corriger les formules de \[B.M.02\] .

[ **Remarque/Erratum.**]{}

Soit $ u \in [0,1[ $ et soit $ e\in H^{n}(F)_{e^{-2i\pi u}} .$ Pour “représenter” la classe de cohomologie  $  e$   par une section méromorphe (uniforme) du fibré de Gauss-Manin de f on utilise , dans \[B.91\] par exemple, la normalisation suivante :

Soit $$\mathcal{N} := \frac{i}{2\pi}Log(e^{-2i\pi u}.T\vert_{H^{n}(F)_{e^{-2i\pi u}}  })$$ ou $-2i\pi  \mathcal{N} $ est le logarithme nilpotent de l’endomorphisme unipotent $$e^{-2i\pi u}.T\vert_{H^{n}(F)_{e^{-2i\pi u}}  }.$$

On pose $$\varepsilon := exp[(u + \mathcal{N})Log s](e)  = s^{u}.\sum_{0}^{\infty} \frac{(Log s)^{j}}{j!} \mathcal{N}^{j}(e) .$$

Bien sûr, la monodromie qui agit par $ Log s  \longrightarrow   Log s + 2i\pi $   et par   $ e  \longrightarrow   T(e) ,$ laisse $ \varepsilon$ invariante ; et , puisque la fibre de Milnor est définie par $  F := f^{-1}(s_0) $ où $ s_0 \in  D\bigcap \mathbb{R}^{+*}  $ est le point base choisi , on aura   $$\varepsilon \vert_{F} =  s_{0}^{u}.\sum_{0}^{\infty} \frac{(Log s_{0})^{j}}{j!} \mathcal{N}^{j}(e)$$ dans $H^{n}(F)_{e^{-2i\pi u}}  $. Pour retrouver  $ e$   à partir de $\varepsilon $ on utilise le morphisme :

$$r^{n}(k)  :   h^{n}(k) _{0}    \longrightarrow   Ker \  \mathcal{N}^{k} \subset H^{n}(F)_{e^{-2i\pi u}}$$ où $ h^{n}(k)$ est le i-ème faisceau de cohomologie du complexe $ (\Omega ^{\cdot}(k),\delta_{u}) $ (voir \[B.91\] ).

Si l’on pose $\varepsilon _{j} :=  \mathcal{N}^{k-j}(\varepsilon) $   pour  $  j\in [1,k]$ , alors $ \breve{ \varepsilon} :=  \lbrace  \varepsilon_{k},..., \varepsilon_{1} \rbrace $   est une section de   $ h^{n}(k)$ (car $\delta_{u}(\breve{ \varepsilon}) = 0 $) et on a $$r^{n}(k)( \breve{ \varepsilon} ) =  e  .$$

Nous allons décrire maintenant une autre normalisation qui permet de simplifier les formules ; posons $$\tilde{\varepsilon}:= exp[(u + \mathcal{N})Log( s/s_{0})](e) .$$

La section méromorphe du fibré de Gauss-Manin donnée par $ \tilde{\varepsilon}$ est reliée à  $\varepsilon $   par l’égalité $$exp[(u + \mathcal{N})Log (s_{0})](\tilde{\varepsilon}) = \varepsilon$$

et elle vérifie simplement que $ \tilde{\varepsilon} \vert_{F} =  e $ .

Le prix à payer pour obtenir des formules plus simples grâce à cette seconde “normalisation” est de remplacer $ f^{\lambda} $   par $ (f/s_0)^{\lambda} $   dans les intégrales considérées.

On prendra garde au fait que dans \[B.M.02\] les formules 6.2a, 6.2b et 6.9 sont erronées : on doit remplacer $ f^{\lambda} $   par $ (f/s_0)^{\lambda} $   puisqu’on y a adopté la seconde normalisation décrite ci-dessus ( donc $ \varepsilon_{k} \vert_{F} = e $  ) , le coefficient $ s_{0}^{r} $  de la formule 6.2a devant être supprimé .

En fait l’erreur de calcul dans \[B.M.02\] se trouve apres la formule 6.4 .Il faut rectifier de la fa[ç]{}on suivante :

$$\begin{aligned}
 \int_{A}( f/s_{0})^{\lambda} w_{k}\wedge \frac{df}{f} \qquad \qquad \qquad  =  \qquad \qquad \qquad &  \qquad \qquad \qquad  & \\
\int _{0}^{s_{0}}(s/s_{0})^{\lambda} \ a(s) \frac{ds}{s}   -  \int _{0}^{s_{0}} (s/s_{0})^{\lambda}\ H(s) \frac{ds}{s}  &  (mod. \  ent. funct.)  & \\  =  \int _{0}^{s_{0}} (s/s_{0})^{\lambda + r}\  [P - Q](Log( s/s_{0})) \frac{ds}{s} &  (mod. ent. funct.) & \end{aligned}$$

In consequence,  the residue at   $ \lambda = -r $   of   $ \int_{A}( f/s_{0})^{\lambda} w_{k}\wedge \frac{df}{f} $  is equal to   P(0) - Q(0)  $ \ \ \ \ \ \blacksquare $

Revenons à la preuve du théorème 1 . La bijectivité de l’application canonique $$can :   H^{n}(F,F\cap \mathcal{U})_{e^{-2i\pi u}}  \longrightarrow  H^{n}(F)_{e^{-2i\pi u}}$$ a été établie au paragraphe 3 . Montrons déjà que le second membre de la formule du théorème ne depend pas du choix de $ w_{1},\ldots,w_{k} $ vérifiant les conditions (2) de l’énoncé . On sait , d’après \[B.91\] par exemple , que si $ w' = (w'_{1},\ldots,w'_{l}) $ représente aussi $  e$  on peut trouver des $n-$formes semi -méromorphes $ \alpha$   et $  \beta$  à pôles dans $ f^{-1}(0) $   telles que l’on ait $$w_{k} - w'_{l} = d\alpha + df\wedge \beta$$  sur $ X_{\mathbb{C}} $ .

Il s’agit alors de voir que le prolongement méromorphe de $$\int_{A}^{} f^{\lambda}\rho \frac{df}{f} \wedge d\alpha$$ n’a pas de pôle congrus a   $-u $  modulo $ \mathbb{Z} $ . Or la formule de Stokes donne pour $ \Re(\lambda) \gg 1 $  puisque  $ \partial A \cap Supp(\rho) $   est contenu dans $ f^{-1}(0) $ : $$\int_{A}^{} f^{\lambda}\rho \frac{df}{f} \wedge d\alpha =   - \int_{A}^{}d ( f^{\lambda}\rho \frac{df}{f} \wedge \alpha) +  \int_{A}^{} f^{\lambda}d\rho \wedge \frac{df}{f} \wedge \alpha$$ et donc $$\frac{1}{\Gamma(\lambda)} \int_{A}^{} f^{\lambda}\rho \frac{df}{f} \wedge d\alpha$$ n’aura pas de pôle du tout puisque $ d\rho \equiv 0 $   près de $0$ .

Nous allons maintenant choisir des représentants $ \check{w}_{1}, \ldots, \check{w}_{k} $  vérifiant la condition supplémentaire : $$Supp(\check{w_{j}}) \cap \mathcal{U} = \emptyset   \  \  \forall j \in [1,k]  .$$

Pour cela nous allons utiliser l’annulation du groupe d’hypercohomologie $$\mathbb{H}^{n}(\mathcal{U}',\mathcal{E}^{\cdot}(k),\delta^{\cdot}_{u} )  =  0$$ qui résulte du fait que $ \mathcal{U}' \cap \widehat{S} = \emptyset $  et que les faisceaux de cohomologie $ h^{i}(k) $  du complexe $ (\mathcal{E}^{\cdot}(k),\delta^{\cdot}_{u} ) $  sont supportés par $ \widehat{S }$ (car on suppose $ e^{-2i\pi u}  \not= 1 $ , voir \[B.91\] prop.1 p.427 ) .

On peut donc trouver $ \xi \in H^{0}(\mathcal{U}',\mathcal{E}^{n-1}(k))  $   vérifiant : $$\delta_{u} \xi  =  w \vert_{\mathcal{U}'}$$ si $ w \in H^{0}(X,\mathcal{E}^{n}(k)) $   vérifie les conditions (2) de l’énoncé du théorème . Choisissons alors une fonction $  \sigma \in \mathcal{C}^{\infty}(X) $   vérifiant  $ \sigma \equiv 1  $  sur $  \mathcal{U} $   et $ \ Supp(\sigma) \subset \mathcal{U}'  $ . Posons alors : $$\check{w} :=  w -  \delta_{u}(\sigma.\xi)  .$$ Alors $ \check{w} $  vérifie encore les conditions (2) et satisfait la condition de support désirée . On remarquera qu’alors la restriction de $ \check{w} $ à $ X_{\mathbb{R}} \cap B(0,\varepsilon'') $  a un support $ f_{\mathbb{R}}-$propre .

Si maintenant la fonction $ \rho \in \mathcal{C}^{\infty}(X_{\mathbb{R}})$ vaut identiquement 1 sur $ B(0,\varepsilon'')  $  et a son support contenu dans $ (X_{\mathbb{R}} \cap B(0,\varepsilon'') )\cup \mathcal{U} $  , la fonction méromorphe $$\frac{1}{i\pi} \int_{A}^{} f^{\lambda} \rho \frac{df}{f}\wedge \check{w}_{k}$$ sera la transformée de Mellin , à une fonction entière près , de la fonction $$s \longrightarrow  \int_{(f_{\mathbb{R}}= s)\cap A }\check{w}_{k}   .$$ On conclut alors la preuve du théorème 1 comme dans le paragraphe 6 , Th.6.1 a) de \[B.M.02\]   (modulo l’erratum ci-dessus )     $\blacksquare$

Preuve du Corollaire :

Un calcul élémentaire montre, qu’avec les notations introduites ci-dessus on a $$( s \frac{\partial}{\partial s} -  u )^{k-1} ( \int^{}_{(f_{\mathbb{R}}=s) \cap A} \check{w_{k}} \ )  =  \int^{}_{(f_{\mathbb{R}}=s) \cap A} \check{w_{1}}$$ et donc l’ordre de nilpotence de $ \Gamma(A) $ dans   $  H^{n}(F)_{e^{-2i\pi u}} $   minore l’ordre des pôles en $ -u -\nu , \nu \in \mathbb{Z} $  du prolongement méromorphe de $ \int_{A}^{} f^{\lambda} \Box . $  En effet, comme l’application canonique : $$can_{c}:   H_{c}^{n}(F)_{e^{-2i\pi u}} \longrightarrow  H_{c}^{n}(F,F\cap \mathcal{U})_{e^{-2i\pi u}}$$ est bijective, puisque la monodromie agit comme l’identité sur $  H_{c}^{*}(F\cap \mathcal{U}) $ , la dualité de Poincaré (hermitienne) entre $  H_{c}^{n}(F)_{e^{-2i\pi u}} $  et  $ H^{n}(F)_{e^{-2i\pi u}} $  montre que l’accouplement sesquilinéaire : $$H_{c}^{n}(F,F \cap \mathcal{U}))_{e^{-2i\pi u}}\times   H^{n}(F)_{e^{-2i\pi u}} \rightarrow \mathbb{C}$$ est une dualité hermitienne pour laquelle la monodromie est auto-adjointe, d’où notre assertion .

Pour voir que l’ordre des pôles ne peut dépasser l’ordre de nilpotence de $ \Gamma(A) $  dans $  H_{c}^{n}(F,F\cap \mathcal{U})_{e^{-2i\pi u}}  $  , on utilise le fait que les parties polaires des pôles congrus à  $ -u $ modulo $\mathbb{Z} $  sont des distributions à support l’origine. Elles sont donc d’ordre fini , et pour calculer l’une d’entre elles, on peut remplacer toute forme-test par son développement de Taylor en $0$ à un ordre assez élevé (fixe, ne dépendant que de la partie polaire considérée ). On se ramène alors au cas de la restriction à $ X_{\mathbb{R}} $ d’une $(n+1)-$forme méromorphe sur $X_{\mathbb{C}} $ que l’on décompose alors dans le système de Gauss-Manin localisé en $ f_{\mathbb{C}} . $   On conclut alors facilement (pour ce type de raisonnement voir \[B.85\] ou \[B.M.00\] pour plus de détails ) $\blacksquare$

**Le cas de la valeur propre 1.**
=================================

Traitons maintenant le cas de la valeur propre 1

[**Théorème 1 bis**]{} :

*Dans la situation du théorème 1 , pour tout $ A \in  H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} )  $  et tout $ e \in H^{n}(F)_{=1} $ on a $$(-2i\pi)^{n} h(\Gamma(A),\overline{e}) = Res(\lambda = 0,\frac{1}{\Gamma(\lambda)}\int_{A}^{} (f/s_{0})^{\lambda} \frac{df}{f} \wedge w_{k} )$$ où $ w_{1},\ldots,w_{k} $  vérifient les conditions (2) du théorème 1 avec $ u=0 $ , et où h est la forme sesquilinéaire $$h :   H_{c}^{n}(F,F\cap \mathcal{U})_{=1} \times H_{c}^{n}(F)_{=1}  \longrightarrow \mathbb{C}$$ définie au paragraphe 3 $  \qquad \qquad \qquad \Box  $*

[**Corollaire**]{} :

*Dans la situation du théorème 1 bis l’ordre des pôles du prolongement méromorphe de la distribution $ \frac{1}{\Gamma(\lambda)}\int_{A}^{} f^{\lambda} \ \Box  $ aux entiers négatifs assez grands (en valeur absolue ) est égal à l’ordre de nilpotence de la monodromie agissant sur   $ var_{c}(\Gamma(A)_{=1}) \in  H_{c}^{n}(F)_{=1} \  \qquad  \  \qquad  \  \Box $*

Preuve du Théorème 1 bis:

Comme on sait déjà que la dualité de Poincaré hermitienne $ \mathcal{I} $  ainsi que l’accouplement sesquilinéaire $$\langle , \rangle  :  H_{c}^{n}(F,F \cap \mathcal{U})\times   H^{n}(F,F \cap \mathcal{U}) \longrightarrow  \mathbb{C}$$ décrit dans l’Annexe , sont non dégénérées , définissons l’application de variation : $$var  :   H^{n}(F)_{=1} \longrightarrow   H^{n}(F,F \cap \mathcal{U})_{=1}$$ en posant $  \langle \varepsilon, var(e) \rangle : = \mathcal{I}( var_{c}(\varepsilon), e)  $ .

Posons alors $  \widetilde{var} : = \Theta \circ var  , $  où  $ \Theta $ est l’analogue sur  $ H^{n}(F)_{=1} $  de  $ \Theta_{c} $  introduit au paragraphe 3 .

Nous allons vérifier que cette définition est bien compatible avec la description de $ \widetilde{var} $  qui est donnée (en cohomologie de de Rham) dans \[B.97\] . Cette vérification est particulièrement bien venue dans ce texte puisqu’elle repose fondamentalement sur le “Residu de J.Leray ” !

Pour cela, fixons $[\gamma] \in  H_{c}^{n}(F,F \cap \mathcal{U})_{=1} $  où $\gamma$  est une $n-$chaîne compacte orientée de $F$ à bord dans $ F\cap \mathcal{U} $  et soit $e$  un vecteur propre de la monodromie dans $   H^{n}(F)_{=1} $ . En utilisant l’invariance de ces variations par la monodromie, il est facile de voir que l’on peut se ramener à ce cas pour faire notre vérification (à l’aide d’une récurrence sur l’ordre de nilpotence ). Soit donc $w $  une $n-$forme semi-méromorphe sur $X_{\mathbb{C}} $  , à pôles dans $ f^{-1}(0) $  , vérifiant $ dw = 0 $  et  $ w \vert_{F} = e  .$ Soit $\sigma $ une fonction de $ \mathcal{C}^{\infty}_{c}(X_{\mathbb{C}}) $  identiquement égale à 1 sur un voisinage de $ X_{\mathbb{C}} - \mathcal{U}' $  et identiquement nulle sur $\mathcal{U} $ . Alors la classe $[\gamma] \in  H_{c}^{n}(F,F \cap \mathcal{U})_{=1} $  est représentée par le courant $ \sigma.\gamma  . $ Appliquons le résultat de J. Leray \[L.59\] à  $ w\vert_{\mathcal{U'}} $  . On peut alors trouver des formes  $ \mathcal{C}^{\infty}(\mathcal{U'}) , \ \eta_{1} $  de degré  $ n-1 $  , $ \omega_{1} $  de degré $n$  et d-fermées ainsi qu’une forme semi-méromorphe à pôles dans  $ f^{-1}(0) , \ \alpha_{1} $   de degré  $n-1$  vérifiant : $$w =  \frac{df}{f} \wedge \eta_{1}  + \omega_{1}  + d\alpha_{1}   \ .$$ Posons alors  $ \eta = -d\sigma \wedge \eta_{1} ,\ \omega = d\sigma \wedge \omega_{1} $  et  $ \alpha = \sigma.d\alpha_{1} $  . On obtient alors $$d\sigma \wedge w =  \frac{df}{f} \wedge \eta  + \omega  + d\alpha   \ .$$ où  $\eta$  est une  $n$-forme dans  $ \mathcal{C}^{\infty}(\mathcal{U'}) $  à support dans  $ \mathcal{U'} - \mathcal{U} $ où  $\omega $  est une  $(n+1)$-forme dans  $ \mathcal{C}^{\infty}(\mathcal{U'}) $  à support dans  $ \mathcal{U'} - \mathcal{U} $ avec  $ d\eta = 0 $  et  $d\omega = 0 $  et où  $\alpha $  est semi-méromorphe de degré  $n$  à pôles dans  $f^{-1}(0)$  et à support dans   $ \mathcal{U'} - \mathcal{U} $ . D’après \[B.97\] la classe  $[\eta] \in  H^{n}(F,F \cap \mathcal{U}) $  représente  $var_{1}(e) $  c’est à dire la variation telle qu’elle est définie dans \[B.97\] (et même  $\widetilde{var_{1}(e)} $  puisque $ T(e) = e $ ).

Considérons maintenant les fonctions $ s \longrightarrow \int_{\gamma_{s}}^{} w  $   et   $ s \longrightarrow \int_{\gamma_{s}}^{}\sigma .w  $   où $ \gamma_{s} $ est la famille horizontale de $n-$chaînes compactes à bord dans $ \mathcal{U} $  que l’on déduit de $\gamma$ à l’aide de notre trivialisation $ \Psi $ .

Ces deux fonctions diffèrent d’une fonction semi-méromorphe sur $ D $ à pôle en $0$ puisque $ \gamma - \sigma.\gamma $  est à support dans $\mathcal{U}'$  et puisque la trivialisation $ \Psi \vert{\mathcal{U}'} $  se prolonge de fa[ç]{}on $ \mathcal{C}^{\infty}$  à  $ D $ .

Comme $\sigma \equiv 0 $   près du bord de $\gamma_{s} $  qui est dans $ \mathcal{U} $  on aura : $$\Omega : = d (\int_{\gamma_{s}}^{} \sigma .w ) = \int_{\gamma_{s}}^{} d\sigma \wedge w$$ au sens de l’image directe des formes à support propre par une submersion ; $ \Omega $  est donc semi-méromorphe sur $D$ de degré 1 \` a pôle en $0$  .

Maintenant la formule (5) donne : $$\Omega = \frac{ds}{s} \int_{\gamma_{s}}^{} \eta  \  +  \int_{\gamma_{s}}^{} \omega  +  d(\int_{\gamma_{s}}^{} \alpha )$$ car on a $ \int_{\gamma_{s}}^{} d\alpha   = d(\int_{\gamma_{s}}^{} \alpha )  $  d’apres Stokes (rappelons que $ Supp(\alpha)\cap \mathcal{U} = \emptyset $  donc on évite le bord de $\gamma_{s} $ ) .

La fonction $ s \rightarrow  \int_{\gamma_{s}}^{} \eta $  est dans  $ \mathcal{C}^{\infty}(D) $  car $ Supp(\eta) \cap \mathcal{U} = \emptyset $  et  $ \eta $  est  $ \mathcal{C}^{\infty} $ .

De même, la 1-forme sur $D$  $ \int_{\gamma_{s}} \omega $  est  $ \mathcal{C}^{\infty} $  et d-fermée car $ Supp(\omega ) \cap \mathcal{U} = \emptyset $  et $ d\omega = 0 $ .

On peut donc appliquer le lemme suivant , que Jean Leray ne saurait renier

[**Lemme** ]{}

*Soit  $\varphi \in \mathcal{C}^{\infty}(D) $  et  $\omega \in \mathcal{C}^{\infty}(D)^{1} $  telles que $ \Omega := \frac{dz}{z} \varphi  +  \omega  $  soit d-fermée sur $D^{*}$ .*

*Alors pour tout chemin fermé $ C $   de $ D^{*}$  d’indice 1 par rapport à l’origine , on a $$\int_{C}^{} \Omega  =  2i\pi .\varphi(0)  \  \ .$$*

Preuve :

Comme le cas où $ \Omega = \varphi(0).\frac{dz}{z} $  est clair, il s’agit de voir que pour $ \psi \in \mathcal{C}^{\infty}(D) $  et  $\omega \in \mathcal{C}^{\infty}(D)^{1} $  la forme   $ \Omega_{1} = \frac{\bar{z}}{z} \psi dz  + \omega  $  est d-fermée si et seulement elle est d-exacte sur $ D^{*}$ . Mais la d-fermeture de $\Omega_{1}$  implique $ \frac{\partial}{\partial \bar{z}}( \frac{\bar{z}}{z} \psi) \in  \mathcal{C}^{\infty}(D) $  et comme $ \frac{\partial}{\partial \bar{z}} : \mathcal{C}^{\infty}(D)         \longrightarrow \mathcal{C}^{\infty}(D) $  est surjective, il existe $ \eta \in  \mathcal{C}^{\infty}(D) $   telle que $ \frac{\partial}{\partial \bar{z}}(\eta -  \frac{\bar{z}}{z} \psi ) = 0 $  sur $ D^{*}$ .

Comme la fonction $ \eta -  \frac{\bar{z}}{z} \psi  $  est holomorphe sur $ D^{*}$  et bornée en $0$ , elle est holomorphe sur $D$ . On en déduit que $  \frac{\bar{z}}{z} \psi  $   se prolonge de fa[ç]{}on $  \mathcal{C}^{\infty} $  à $D$  et donc aussi $\Omega_{1} $ . Alors $\Omega_{1} $  est d-exacte     $ \qquad \qquad  \qquad \qquad  \blacksquare$

[**Remarque**]{}

Si dans le lemme précédent on remplace $\Omega $  par $ \Omega + dg $  ou $ g \in  \mathcal{C}^{\infty}(D^{*}) $ , la conclusion est la même . En particulier ce sera le cas quand $ g = \frac{\gamma}{z^{M}} $  avec $ \gamma \in \mathcal{C}^{\infty}(D) $ , c’est a dire pour g semi-méromorphe à pôle en $0 \qquad \qquad   \qquad   \Box $

On obtient donc en appliquant ce lemme, que pour tout chemin fermé $  C $ de $ D^{*}$  d’indice 1 par rapport à l’origine on aura : $$\int_{C}^{} \Omega  =  2i\pi \int_{\gamma_{0}} \eta$$ On prendra garde que $ \gamma_{0} $ n’est bien défini que dans $\mathcal{U}' $  ; comme le support de $\eta $ est contenu dans $\mathcal{U}' $ , notre formule a bien un sens .

La fonction $ s \rightarrow \int_{\gamma{s}}^{} \eta $  est constante puisque $\eta $  est d-fermée à support disjoint de $\mathcal{U} $  . On a alors , puisque $\eta$ représente $var_{1}(e) $ telle qu’elle est definie dans \[B.97\] $$\int_{\gamma_{0}} \eta  = \int_{\gamma} \eta  = \int_{\gamma} var_{1}(e)$$ Mais on a également : $$\int_{C}^{} \Omega  = 2i\pi \int_{var_{c}(\gamma)}^{} e$$ puisque $ var_{c}(\gamma) = T\gamma - \gamma $ . On en conclut que : $$\mathcal{I} ( var_{c}(\gamma) ,\bar{e} ) = \langle \gamma , \overline{var_{1}(e)} \rangle$$ ce qui montre que la variation $ var_{1} $  définie dans \[B.97\] est bien “l’adjoint” de $ var_{c} $  et coincide avec la variation définie plus haut . Ceci justifie donc l’usage du calcul de la variation en cohomologie de de Rham de \[B.97\] .

Passons maintenant à la preuve proprement dite du théorème 1 bis .

Considérons $ e \in H^{n}(F)_{=1} $  et  $ w_{1},\ldots,w_{k} $  représentant  $e$  c’est à dire vérifiant les conditions (2) de l’énoncé du théorème 1 avec $u = 0 $  . Comme la monodromie est l’identité sur $ \mathcal{U}' $  on peut trouver  $ \xi \in   H^{0}(\mathcal{U}',\mathcal{E}^{n-1}(k)) $  vérifiant sur $ \mathcal{U}'$   : $$\delta_{0} \xi  =  \mathcal{N}_{k} w   \ \$$ où $  \mathcal{N}_{k} $ désigne l’endomorphisme du complexe $ (\mathcal{E}^{\cdot}(k),\delta^{\cdot}_{0}) $ qui induit $ \frac{i}{2\pi}Log T $ sur  $ H^{n}(F)_{=1} $  (voir \[B.91\] ou \[B.97\] ). Choisissons alors une fonction  $  \rho$  dans  $ \mathcal{C}^{\infty}(X) $   vérifiant  $ \rho \equiv 1  $  sur $  \mathcal{U}'' $   , un voisinage ouvert de  $ \overline{\mathcal{U}} $  dans $ \mathcal{U}' $   , et $ \ Supp(\rho) \subset \mathcal{U}'  $  . Posons (comparer avec \[B.97\] p.15 ) : $$v :=  \mathcal{N}_{k} w -  \delta_{0}(\rho \xi)   \  \  .$$ On a alors  $ \delta_{0} v = 0  \ , \  v\vert_{X -\overline{\mathcal{U''}}} =  \mathcal{N}_{k} w   $  et  $ Supp(v)\cap \overline{\mathcal{U''}} = \emptyset $ .

Ceci conduit explicitement aux relations suivantes : $$w_{j-1} = v_{j} + d(\rho \xi_{j})  - \frac{df}{f} \wedge \rho \xi_{j-1} \  \  \  \    \forall  j \in [1,k]$$ avec les conventions $w_{0} = 0 \ , v_{0} = 0 \  , \xi_{0} = 0 $  .

Choisissons maintenant une fonction $  \sigma \in \mathcal{C}^{\infty}(X) $   vérifiant  $ \sigma \equiv 0  $  au voisinage de  $ \overline{ \mathcal{U}}$  et  $ \sigma \equiv 1  $  au voisinage de $ X -  \mathcal{U}''$  . La relation $ \delta_{0}(w) = 0 $   qui est conséquence de la condition (2) pour $u=0$  donne $$dw_{k} = \frac{df}{f} \wedge w_{k-1} .$$ Posons $  W := d\sigma \wedge ( w_{k} + \frac{df}{f} \wedge \rho \xi_{k}) $  . C’est une forme semi-méromorphe d-fermée et à support f-propre dans $ \mathcal{U}' - \overline{\mathcal{U}} $  . Soit $ Y' := f^{-1}(0) \cap ( \mathcal{U}' -  \overline{\mathcal{U}} ). $  Comme $ \widehat{S}\cap  \mathcal{U}' = \emptyset $  les arguments de \[B.97\] s’appliquent et on a les isomorphismes suivants : $$\mathbb{H}_{c/f}^{n+1}(\mathcal{U}' -  \overline{\mathcal{U}} , \mathcal{E}^{\cdot}(1) , \delta_{0} )   \cong   \mathbb{H}_{c/f}^{n+1}(Y' ,\mathcal{E}^{\cdot}(1) , \delta_{0} )  \cong  H_{c}^{n+1}(Y',\mathbb{C}) \oplus  H_{c}^{n}(Y',\mathbb{C}) \frac{df}{f}   .$$ On est d’ailleurs ici dans une situation plus simple que celle de \[B.97\] puisque la fonction $ f_{\mathbb{C}}$  est non singulière sur   $\mathcal{U}' $  .

On peut donc trouver (voir (5) ci-dessus ) des formes $\mathcal{C}^{\infty} , \eta$  , $ \omega $  sur $\mathcal{U}' $  nulles au voisinage de $ \overline{\mathcal{U}}$ et à supports f-propre , qui sont d-fermées et de degrés respectifs $n$ et $n+1$ , ainsi qu’une forme semi-méromorphe  $\alpha$  sur $\mathcal{U}' $  , de degré  $ n $  , nulle au voisinage de $ \overline{\mathcal{U}}$   et à supports f-propre , vérifiant sur $\mathcal{U}' $ : $$W = \frac{df}{f}\wedge \eta  +  \omega  +  d\alpha  \  \  .$$ Alors $ \widetilde{var}(e)$  est représentée par $$\check{v} := (v_{1},\ldots ,v_{k-1}, v_{k} + \eta )$$ où   $\eta$  est prolongée par $0$ à $X_{\mathbb{C}}$   , c’est à dire que l’on a $ \delta_{0}\check{v} = 0 $  ainsi que $ v_{k} + \eta \vert_{F}  =  \widetilde{var}(e) $   et   $ Supp(\check{v}) \cap \mathcal{U} = \emptyset  $ (ce qui montre que $ v_{k} + \eta \vert_{F} $  donne bien une classe dans $ H^{n}(F,F\cap \mathcal{U})_{=1} $ ) .

On a donc maintenant $$\mathcal{I} ( \widetilde{var_{c}}(\Gamma(A)), \bar{e}) = \langle \Gamma(A),\overline{\widetilde{var}(e)} \rangle  = \frac{1}{(2i\pi )^{n}} \int_{\Gamma(A)} v_{k} + \eta  \  \   .$$ Maintenant le calcul suivant (analogue a celui de \[B.97\] p.20-21 ) donne l’égalité $$Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \ \frac{df}{f} \wedge \sigma w_{k} )  =  -  Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \  \frac{df}{f} \wedge (v_{k} + \eta ) ) \  \ .$$ En effet, on a sur $ X_{\mathbb{R}} $   , pour $ \Re \lambda \gg 1  $ $$d(f^{\lambda} \sigma (w_{k} + \frac{df}{f} \wedge (\rho \xi_{k}))) =    \lambda \frac{df}{f} f^{\lambda} \wedge \sigma w_{k} +  f^{\lambda}d \sigma \wedge (w_{k} + \frac{df}{f} \wedge (\rho \xi_{k}) )+ f^{\lambda} \frac{df}{f} \wedge v_{k}$$ car on a $ \sigma v_{k} = v_{k}  $  .

En utilisant la formule (5) on obtient : $$\begin{array}{l} Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \  \frac{df}{f} \wedge w_{k} )   \  + \\  Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \  \frac{df}{f} \wedge \eta )  \  + \\  Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \  \omega )  \  +   \\ Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \ d \alpha )  \  +  \\  Res ( \lambda = 0 ,\frac{1}{\Gamma(\lambda)}\int_{A}  f^{\lambda} \  \frac{df}{f} \wedge v_{k} )   =  0
\end{array}$$ Mais comme $ \omega $  est $ \mathcal{C}^{\infty} $  sur $ X_{\mathbb{R}} $   et identiquement nulle près de l’origine $\frac{1}{\Gamma(\lambda)} \int_{A} f^{\lambda}  \omega  $   est une fonction entière . Comme $ \alpha $ est semi-méromorphe à pôles dans $ f^{-1}(0) $ et est identiquement nulle près de l’origine $$\frac{1}{\Gamma(\lambda)} \int_{A} f^{\lambda} d \alpha$$ est également une fonction entière de $ \lambda $ . Il nous reste alors l’égalité désirée .

On achève la preuve en considérant les fonctions $ s \rightarrow \int_{f_{\mathbb{R}}=s \cap A } v_{j}  \  \  \forall j \in [1,k-1] $  et  $ s \rightarrow  \int_{f_{\mathbb{R}}=s \cap A } v_{k} + \eta  $  et en raisonnant comme dans la preuve du théorème 6.1 b) de \[B.M.02\] $   \qquad \blacksquare $

**Le cas $\partial A \subset \lbrace 0 \rbrace $.**
===================================================

Nous allons maintenant considérer des   $ A \in  H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} )  $   dont le bord $ \partial A $  est concentré à l’origine ; ceci revient à dire que $ A $  est dans l’image de la restriction (injective) $$i :  H^{0}(X_{\mathbb{R}}- \lbrace 0 \rbrace,\mathbb{C}) \longrightarrow  H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0) ,\mathbb{C} ) \ \  .$$ Nous allons commencer par “étendre” l’application $ \Gamma $  en une application   $$\widehat{\Gamma} :   H^{0}(X_{\mathbb{R}}- \lbrace 0 \rbrace,\mathbb{C}) \longrightarrow  H_{c}^{n}(F)$$ rendant commutatif le diagramme suivant , noté   $ \mathcal{D} $  dans la suite :

$$\xymatrix{0 \ar[r] &  H^{0}(X_{\mathbb{R}}- \lbrace 0 \rbrace) \ar[d]^{\widehat{\Gamma}} \ar[r]^-{i} & H^{0}(X_{\mathbb{R}}- f_{\mathbb{R}}^{-1}(0)  ) \ar[d]^{\Gamma} \ar[r]  & H^{0}( f_{\mathbb{R}}^{-1}(0) -  \lbrace 0 \rbrace) \ar@{-->}[d]^{\cap \partial B(0,\varepsilon'')} \\
H^{n}(F\cap \mathcal{U}) \ar[r] &  H^{n}_{c}(F) \ar[r]^{can_{c}} & H^{n}_{c}(F,F\cap \mathcal{U}) \ar[r]^{\partial_{c}} &  H^{n+1}_{c}(F\cap \mathcal{U}) }$$

Nous montrerons ensuite que , quand  $ \partial A \subset \lbrace 0 \rbrace $  , les pôles simples aux entiers négatifs du prolongement méromorphe de la distribution $ \int_{A} f^{\lambda} \Box $  sont contrôlés par la classe de cohomologie $ \widehat{\Gamma}(A) $  (en fait par sa composante sur  $ H_{c}^{n}(F)_{=1} ) $  .

[**Remarques**]{}

-   [1)]{}   Comme $ F\cap \mathcal{U} $  est homotopiquement équivalent à $ \Lambda : = f_{\mathbb{R}}^{-1}(0) \cap \partial B(0,\varepsilon'') $  qui est lisse et compacte (orientée) de dimension $ n-1 $  , on a $ H^{n}( F\cap \mathcal{U}) = 0  $  et donc aussi  $ H_{c}^{n}( F\cap \mathcal{U}) = 0  $  par dualité de Poincaré . On a donc unicité d’une telle application  $ \widehat{\Gamma} $   .

-   [2)]{}  Une fa[ç]{}on “peu explicite” (c’est à dire en restant au niveau cohomologique sans exhiber un n-cycle compact  $ \widehat{\Gamma}(A) $   pour chaque   $A$  donné ) de construire  $ \widehat{\Gamma}$   est de voir que $ \Gamma $   commute à l’intersection avec $  \partial B(0,\varepsilon'') $  qui définit une application linéaire $ H^{0}(f_{\mathbb{R}}^{-1}(0) - \lbrace 0 \rbrace , \mathbb{C}) \rightarrow H_{c}^{n+1}(F\cap \mathcal{U} ) $  . On utilise ici l’isomorphisme $$H^{1}_{f_{\mathbb{R}}^{-1}(0)}(X_{\mathbb{R}}- \lbrace 0 \rbrace,\mathbb{C}) \cong  H^{0}( f_{\mathbb{R}}^{-1}(0) -  \lbrace 0 \rbrace ,\mathbb{C})$$ qui est conséquence de la lissité de  $  f_{\mathbb{R}}^{-1}(0) -  \lbrace 0 \rbrace $  dans  $ X_{\mathbb{R}}- \lbrace 0 \rbrace $  via la dégénérescence de la suite spectrale de cohomologie à support . Là encore,il s’agit d’un sérieux coup de chapeau à Jean Leray ! Cette compatibilité est facile à voir sur notre construction de $ \Gamma $  . En effet,pour $ A_{\alpha} \subset \lbrace f_{\mathbb{R}} > 0 \rbrace $ c’est évident ; pour   $ A_{\alpha} \subset \lbrace f_{\mathbb{R}} < 0 \rbrace $  ceci utilise la compatibilité entre la trivialisation $\Phi $  de $ f \vert_{\mathcal{U}'} $  et la trivialisation  $ \Psi $ que l’on suit le long du demi-cercle  $ -s_{0}.e^{i\theta} ,$  pour  $\theta \in [-\pi,0] $  pour amener  $ \Gamma(A)^{-} $ dans la fibre de Milnor  . Alors le diagramme   $ \mathcal{D} $  permet facilement de construire l’application  $ \widehat{\Gamma} $  .

Nous allons expliciter complètement le cycle  $ \widehat{\Gamma}(A) $   (c’est à dire construire un n-cycle compact de $F$ ) quand $ \partial A \subset \lbrace 0 \rbrace $  et prouver le

[**Theoreme 2**]{}

*Il existe une unique application linéaire $ \widehat{\Gamma} $   rendant commutatif le diagramme   $ \mathcal{D} $   ci-dessus .* *Pour $ A \in H^{0}(X_{\mathbb{R}}- \lbrace 0 \rbrace, \mathbb{C}) $  et  $ e \in H^{n}(F)_{=1} $  on a : $$(-2i\pi)^{n}\  \mathcal{I} ( \widehat{\Gamma}(A) , \bar{e} )  \ =  \  Res (\lambda = 0 , \int_{A} (f/s_{0})^{\lambda}  \frac{df}{f} \wedge w_{k} )$$ où   $ w_{1},\ldots,w_{k} $  représentent  $ e $  dans $ H^{n}(F)_{=1} $ , c’est à dire vérifient la condition (2) du théorème 1 avec $ u = 0    \qquad  \  \qquad  \  \Box $*

[**Remarques**]{}

-   [1)]{}   Comme on a  $\partial A \subset \lbrace 0 \rbrace $  les parties polaires aux entiers négatifs du prolongement méromorphe de   $ \int_{A} f^{\lambda} \Box $  sont toutes des distributions à support l’origine . C’est la raison pour laquelle on peut omettre dans la formule du théorème 2 de faire apparaître une fonction  $\rho \in \mathcal{C}^{\infty}(X_{\mathbb{R}}) $  valant identiquement 1 au voisinage de l’origine .

-   [2)]{}  Dans le cas où  $\partial A \not\subset \lbrace 0 \rbrace $   il est facile de voir que les résidus aux entiers négatifs du prolongement méromorphe de   $ \int_{A} f^{\lambda}\  \Box $  sont des distributions non nulles le long du bord de  $ A $  . Ces pôles (simples en dehors de $0$ ) ne sont pas liés à la singularité de $ f_{\mathbb{R}} $  et existent toujours (et sont toujours non nuls ) le long de  $ \partial A - \lbrace 0 \rbrace $   . Dans cette situation les théorèmes 1 et 1 bis décrivent complètement les parties polaires “intéressantes” du prolongement méromorphe de   $ \int_{A} f^{\lambda} \  \Box $  . Par contre, si  $\partial A \subset \lbrace 0 \rbrace $  , le théorème 2 est nécessaire pour compléter la description des pôles “intéressants”.

-   [3)]{} La commutativité du diagramme ci-dessus implique l’égalité  $$can_{c}(\widehat{\Gamma}(A) = \Gamma(A)$$  et donc aussi  $$var_{c}(\Gamma(A)) = (T - 1)(\widehat{\Gamma}(A)) .$$

[**Corollaire** ]{}

*Dans la situation du Théorème 2 , le prolongement méromorphe de  $ \int_{A} f^{\lambda} \ \Box $  n’a pas de pôles aux entiers négatifs si et seulement si  $ \widehat{\Gamma}(A)_{=1} =  0  $  dans  $ H_{c}^{n}(F)_{=1} .$* *De plus, le prolongement méromorphe de  $ \int_{A} f^{\lambda} \ \Box $  n’a pas de pôles du tout si et seulement si  $ \widehat{\Gamma}(A)  =  0  $  dans  $ H_{c}^{n}(F)  \  \  \  \  \  \Box  $*

Preuve du théorème 2 :

Compte tenu des outils déjà mis en place (y compris dans l’Annexe), cette preuve suit pas à pas celle de \[B.02\] . Aussi nous contenterons-nous de l’esquisser pour la commodité du lecteur , renvoyant à \[B.02\] pour plus de détails .

-   [a)]{} Construction de $ \widehat{\Gamma}(A) $ :

    Pour  $ A \in H^{0}(X_{\mathbb{R}}- \lbrace 0 \rbrace,\mathbb{C}) $  ,  $ \Gamma(A)^{+} $  et   $ \Gamma(A)^{-} $  sont deux $n-$chaînes compactes orientées de  $X_{\mathbb{R}} $  à bords dans  $ \mathcal{U} $  . Leurs bords  $ \partial  \Gamma(A)^{+} $  et  $ \partial  \Gamma(A)^{-} $ sont deux  $(n-1)$-cycles compacts (orientés) de   $\mathcal{U} $  qui sont homologues dans  $\mathcal{U} $  . L’homologie est donnée par la  $n-$chaîne compacte de  $\mathcal{U} $  : $$\Delta =  A \cap f_{\mathbb{R}}^{-1}([-s_{0},s_{0}]) \cap \partial B(0,\varepsilon'')$$ dont le bord est $$\partial  \Gamma(A)^{+} -  \partial  \Gamma(A)^{-} + (\sum_{\alpha}a_{\alpha}.\bar{A_{\alpha}}) \cap  f_{\mathbb{R}}^{-1}(0) \cap \partial B(0,\varepsilon'')$$ mais l’hypothèse  $\partial A \subset \lbrace 0 \rbrace $   donne $$( \sum_{\alpha}a_{\alpha}. \bar{A_{\alpha}}) \cap  f_{\mathbb{R}}^{-1}(0) \cap \partial B(0,\varepsilon'')  = \emptyset  \ \ .$$ Soit  $ \Delta_{0} $  la $n-$chaîne compacte (orientée) de  $ \mathcal{U} $  qui est l’image réciproque par la restriction de  $ f_{\mathbb{R}} $  à  $ \partial B(0,\varepsilon'') $   du chemin  $\gamma_{0}$  obtenu en déformant le segment  $ [-s_{0},s_{0}] $   par un demi-cercle contournant l’origine par en-dessous ( on utilise ici la trivialisation  $\Phi$  ) :

    Alors le $n-$cycle compact  $ \Gamma(A)_{0} : = \Gamma(A)  -  \Delta + \Delta_{0} $  de $$f_{\mathbb{C}}^{-1}( (\bar{D} -  0 ) \cap \lbrace \Im \leq 0 \rbrace)$$ se déforme, en utilisant la trivialisation  $ \Psi $ cette fois , en suivant la déformation suivante du chemin  $\gamma_{0}$  :

    ![image](figure.eps){width="100mm"}

    où  $\gamma_{1}$  est le chemin constant égal à  $ s_{0} $  et  $ \gamma_{t}(0) = - s_{0} e^{i\pi t} $  . Alors on a $$\Gamma(A)_{t} =  \Gamma(A)^{+}  - T^{\frac{t}{2}}\Gamma(A)^{-}  + \Delta_{t}$$ La notation  $T^{\frac{t}{2}} $  signifie que l’on a suivi le $\frac{1}{2}-$cercle  $ -s_{0} e^{i\pi \theta}$  pour  $ \theta \in [0,t] $  dans la trivialisation  $\Psi $   et  $ \Delta_{t} $  désigne la déformée de  $\Delta_{0} $  en suivant la déformation de  $\gamma_{0} $  à  $ \gamma_{t} $  .

    On pose alors  $ \widehat{\Gamma}(A) = \Gamma(A)_{1}  \subset  F = f_{\mathbb{C}}^{-1}(s_{0}) $  .

    Comme la trivialisation  $\Psi $  est compatible avec la trivialisation   $\Phi $  de  $ f\vert_{\mathcal{U}} $  , on a $$can_{c}(\widehat{\Gamma}(A)) = \Gamma(A)$$ dans  $ H_{c}^{n}(F,F\cap \mathcal{U} ) $  et pour achever la démonstration du théorème 2 il nous reste seulement à prouver la formule (6) .

-   [b)]{} Preuve de (6) :

    Considérons donc  $ e \in H^{n}(F)_{=1} $  et  $ w_{1},\ldots,w_{k} $  des $n-$formes semi-méromorphes vérifiant la condition (2) du théorème 1 avec $u=0 $  ( donc $ w_{k}$   induit $ e $  dans  $  H^{n}(F) $  ) . Fixons la détermination du logarithme sur $\mathbb{C} - i\mathbb{R}^{+} $ de facon que $ arg(z) \in ]-\frac{3\pi}{2},\frac{\pi}{2}[ $  et posons : $$\Omega : = \sum_{j=0}^{k-1} \frac{(-1)^{j}}{j!} \lbrack Log(f/s_{0}) \rbrack^{j} \  w_{k-j}$$ La n-forme $\Omega $  est semi-méromorphe sur  $ X_{\mathbb{C}} - f^{-1}(D\cap i\mathbb{R}^{+}) $  et on a  $ d\Omega = 0 $  et  $ \Omega \vert_{F} = w_{k} \vert_{F} = e $  .

    Comme les $n-$cycles compacts  $ \Gamma(A)_{0} $  et  $ \Gamma(A)_{1} = \widehat{\Gamma}(A) $  sont homologues dans  $ X_{\mathbb{C}} - f^{-1}(D\cap i\mathbb{R}^{+}) $  on a : $$(2i\pi)^{n} \  \mathcal{I} ( \widehat{\Gamma}(A) , \bar{e} ) =  \int_{\widehat{\Gamma}(A)} e  = \int_{\gamma(A)_{0}} \Omega  \  .$$ Maintenant les mêmes arguments que \[B.02\] p.8 permettent de voir que l’on a : $$\int_{\gamma(A)_{0}} \Omega = \int_{\partial [A\cap( f_{\mathbb{R}})^{-1}[-s_{0},s_{0}]\cap \overline{B(0,\varepsilon'')}]}  \Omega  \  \  .$$ Il reste alors à montrer que cette dernière intégrale coincide bien avec $$Res(\lambda = 0 , \int_{A\cap \overline{ B(0,\varepsilon'')}}  f^{\lambda} \ \frac{df}{f} \wedge w_{k} \ )$$ ce qui donnera le résultat grâce au lemme 2 de \[B.02\] .

    Comme on a  $ d( (f/s_{0})^{\lambda} \  \Omega ) = \lambda  \frac{df}{f} \wedge  (f/s_{0})^{\lambda} \  \Omega $  , la formule de Stokes donne : $$\int_{A\cap( f_{\mathbb{R}})^{-1}[-s_{0},s_{0}]\cap \overline{B(0,\varepsilon'')}]} \lambda  \ \frac{df}{f} \wedge  (f/s_{0})^{\lambda} \  \Omega  =  \int_{\partial [A\cap( f_{\mathbb{R}})^{-1}[-s_{0},s_{0}]\cap \overline{B(0,\varepsilon'')}]}  (f/s_{0})^{\lambda}  \ \Omega \$$ ce qui donne , en  $ \lambda = 0 $  : $$Res(\lambda = 0 , \int_{A\cap \overline{ B(0,\varepsilon'')}}  f^{\lambda} \ \frac{df}{f} \wedge \Omega \ )  =  \int_{\partial [A\cap( f_{\mathbb{R}})^{-1}[-s_{0},s_{0}]\cap \overline{B(0,\varepsilon'')}]}  \Omega  \  \  .$$ Revenons à la définition de  $ \Omega $  : le membre de gauche de l’égalité ci-dessus vaut donc $$Res(\lambda = 0,  \sum_{j=0}^{k-1} \frac{(-1)^{j}}{j!} \int_{A\cap \overline{B(0,\varepsilon'')}} (f/s_{0})^{\lambda}\lbrack Log(f/s_{0}) \rbrack^{j}  \ \frac{df}{f} \wedge w_{k-j}  )     \ .$$ Mais pour  $ j\geq 1$  on a $$\frac{d}{d\lambda} \lbrack \int_{A\cap \overline{ B(0,\varepsilon'')}} (f/s_{0})^{\lambda}\lbrack Log(f/s_{0}) \rbrack^{j-1} \rho  \ \frac{df}{f} \wedge w_{k-j} \rbrack =$$ $$\int_{A\cap \overline{ B(0,\varepsilon'')} }(f/s_{0})^{\lambda}\lbrack Log(f/s_{0}) \rbrack^{j} \rho  \ \frac{df}{f} \wedge w_{k-j}$$ et la dérivée d’une fonction méromorphe n’a jamais de résidu . Il reste donc seulement le terme en  $ j = 0 $  et ceci achève la démonstration     $\blacksquare $

**Annexe**
==========

Soit  $ X $  une variété  $\mathcal{C}^{\infty} $  paracompacte et soit  $ \mathcal{U} $  un ouvert de  $ X $  . On suppose qu’il existe deux voisinages ouverts de  $ \overline{ \mathcal{U}} \ ,  \ \mathcal{U}''\ $  et  $ \mathcal{U}' $  vérifiant $\overline{ \mathcal{U}'' } \subset  \mathcal{U}' $  et tels que les inclusions  $   \mathcal{U}\subset  \mathcal{U}'' \subset  \mathcal{U}' $  soient des équivalences d’homotopie . Dans cette situation nous définirons , pour  $ p \in \mathbb{N} $ $$H_{c}^{p}(X,\mathcal{U}) : = \genfrac{}{}{}{}{\lbrace \varphi \in \mathcal{C}_{c}^{\infty}(X)^{p} / Supp(d\varphi )\subset \mathcal{U} \rbrace}{ \mathcal{C}_{c}^{\infty}(\mathcal{U})^{p} + d\mathcal{C}_{c}^{\infty}(X)^{p-1}}$$

[**Lemme 1**]{}

*On a une suite exacte longue de cohomologie : $$\cdots  \xrightarrow{\gamma} H_{c}^{n}(X) \xrightarrow{\alpha}H_{c}^{n}(X,\mathcal{U})\xrightarrow{\beta}H_{c}^{n}(\mathcal{U})\xrightarrow{\gamma} H_{c}^{n+1}(X)\xrightarrow{\alpha} \cdots$$ où  $ \alpha $  est l’application canonique ( $ d\varphi = 0 $   implique  $ Supp (d\varphi) \subset \mathcal{U} $  ) ,  $ \beta[\varphi] = [d\varphi] $  et  $ \gamma $  est le prolongement par  $0$ .*

La preuve est élémentaire .

Définissons également pour  $ p \in \mathbb{N} $ $$H^{p}(X,\mathcal{U}) : = \genfrac{}{}{}{}{\lbrace \varphi \in \mathcal{C}^{\infty}(X)^{p} / d\varphi = 0  \ et \ Supp(\varphi )\cap \mathcal{U} = \emptyset \rbrace}{ d(\mathcal{C}^{\infty}(X)^{p-1}\cap \lbrace Supp\cap \mathcal{U} = \emptyset \rbrace)}$$

[**Lemme 2**]{}

*On a une suite exacte longue de cohomologie : $$\cdots \xrightarrow{\hat{\alpha}} H^{m-1}(X) \xrightarrow{\hat{\gamma}}H^{m-1}(\mathcal{U})\xrightarrow{\hat{\beta}}H^{m}(X,\mathcal{U}) \xrightarrow{\hat{\alpha}} H^{m}(X)\xrightarrow{\hat{\gamma}}\cdots$$ où  $\hat{ \alpha} $  est l’application canonique ( oublie de la condition de support) , où  $ \hat{\gamma}$  est la restriction et où  $\hat{\beta} $  est définie ci-dessous .*

Fixons une fonction  $\rho \in \mathcal{C}^{\infty}(X) $  identiquement égale a 1 sur  $ X - \overline{\mathcal{U}''} $  et identiquement nulle sur  $\mathcal{U} $ . Si  $ [\varphi] \in H^{m-1}(\mathcal{U})$  , on utilise l’isomorphisme induit par la restriction   $H^{m-1}(\mathcal{U}')\rightarrow  H^{m-1}(\mathcal{U}) $  (grâce à notre hypothèse d’équivalence d’homotopie) pour trouver une  $(m-1)-$forme  $ \mathcal{C}^{\infty} \ \varphi '$  sur  $\mathcal{U}' $  d-fermée et induisant sur  $\mathcal{U} $  la classe  $[\varphi]$  . Posons alors : $$\hat{\beta}[\varphi] = - [ d\rho \wedge \varphi' ]  \  \ .$$ La $m-$forme    $ \mathcal{C}^{\infty} \  d\rho \wedge \varphi'  $   est bien d-fermée et son support ne rencontre pas   $\mathcal{U} .$  Comme la classe de cohomologie de   $\mathcal{U}' $  définie par  $\varphi' $  est bien déterminée, on voit facilement qu’ajouter  $d\psi' $  à  $ \varphi' $  ne fait qu’ajouter le terme  $ d(d\rho \wedge \psi'))$   à  $  -  d\rho \wedge \varphi' $  ce qui ne change pas la classe dans  $H^{m}(X,\mathcal{U}) $  puisque le support de  $d\rho $  ne rencontre pas  $ \mathcal{U}  . $

Preuve :

Nous allons nous contenter de vérifier l’inclusion  $ Ker( \hat{\alpha}) \subset Im(\hat{\beta}) $  qui est le seul point non trivial .

Soit  $ \varphi \in \mathcal{C}^{\infty}(X)^{m} $  vérifiant  $Supp(\varphi)\cap \mathcal{U} = \emptyset $  et d-exacte sur X ( donc  $ \varphi \in  Ker( \hat{\alpha}) $  ) . Soit alors  $\psi \in \mathcal{C}^{\infty}(X)^{m-1} $  telle que  $ d\psi = \varphi $ . Nous voulons vérifier que  $ [\varphi] = \hat{\beta}(\psi \vert_{\mathcal{U}}) $ ( on remarquera que  $(\psi \vert_{\mathcal{U}} $  est d-fermée ) . Par définition , on a  $  \hat{\beta}(\psi \vert_{\mathcal{U}}) = -d\rho \wedge \psi' $  ou  $ \psi' \in \mathcal{C}^{\infty}(\mathcal{U}')^{m-1} $  est d-fermée et vérifie , quitte à changer le représentant de la classe  $ [\psi] $ ,  $ \psi' \vert_\mathcal{U} =  \psi \vert_\mathcal{U} $  . La forme  $ \chi : = \psi - (1- \rho) \psi' $  est  $  \mathcal{C}^{\infty} $  sur  $X$  de degre  $m-1 $  , vérifie  $ Supp(d\chi) \cap \mathcal{U} = \emptyset $  et on aura dans  $ H^{m}(X,\mathcal{U}) $  : $$[0] = [d\chi] = [d\psi] - [-d\rho \wedge \psi'] = [\varphi] - [\hat{\beta}(\psi \vert_{\mathcal{U}})]  \ \  \qquad  \  \  \qquad  \  \  \blacksquare$$

Supposons maintenant que  $X$ soit orientée et de dimension  $n$  . On a pour chaque  $ p \in \mathbb{N} $  un accouplement sesquilinéaire $$\langle , \rangle : \  H^{p}(X,\mathcal{U}) \times H_{c}^{n-p}(X,\mathcal{U}) \longrightarrow \mathbb{C}$$ défini par $$\langle  [\psi] , [\varphi] \rangle  = \frac{1}{(2i\pi)^{n}} \int_{X}  \psi \wedge \overline{\varphi}$$ où  $ \psi  \in \mathcal{C}^{\infty}(X)^{p} $  vérifie  $ Supp(\psi) \cap \mathcal{U} = \emptyset  $  et  $ d\psi = 0 $  et où  $  \varphi \in \mathcal{C}^{\infty}(X)^{n-p} $  vérifie  $ Supp(d\varphi) \subset \mathcal{U} $  .

Preuve :

Soient  $ \eta \in \mathcal{C}^{\infty}(X)^{p-1} $  telle que  $ Supp(\eta) \cap \mathcal{U} = \emptyset , \  \xi \in  \mathcal{C}_{c}^{\infty}(\mathcal{U})^{n-p} \ $  et  $ \zeta \in  \mathcal{C}_{c}^{\infty}(X)^{n-p-1} \ $  . Il s’agit de vérifier l’égalité : $$\int_{X}  \psi \wedge \overline{\varphi} = \int_{X} (\psi + d\eta) \wedge \overline{(\phi + \xi  + \ d\zeta )}$$ ce qui revient à montrer que $$\int_{X} \psi \wedge \overline{(\xi + d\zeta)}  =  0  \ \ \  \  et \  \   \  \  \int_{X} d\eta \wedge \overline{(\varphi + \xi + d\zeta )}  = 0   \  .$$ Comme  $ Supp(\psi) \cap \mathcal{U} = \emptyset  , \  Supp(\eta) \cap \mathcal{U} = \emptyset  $  et  $ \xi \in \mathcal{C}_{c}^{\infty}(\mathcal{U})^{n-p} $  on a $$\int_{X} \psi \wedge \overline{\xi}  = 0 = \int_{X} d\eta \wedge \overline{\xi}  \  \ .$$ De plus la formule de Stokes donne immédiatement la nullité de  $ \int_{X} d\eta \wedge \overline{d\zeta}  .$   Elle donne aussi la nullité de  $ \int_{X} \psi \wedge \overline{d\zeta} $  puisque  $\psi $  est d-fermée .

Enfin  $ \int_{X} d\eta \wedge \overline{\varphi} = \pm  \int_{X} \eta \wedge \overline{d\varphi} = 0 $  car  $ Supp(d\varphi) \subset \mathcal{U} \  \   \  \  \  \  \  \  \  \  \blacksquare $

[**Proposition**]{}

*Sous nos hypothèses , l’accouplement  $ \langle , \rangle$  est compatible aux “dualités”de Poincaré (hermitiennes) sur  $ X $  et  $\mathcal{U} $  . Si l’on suppose de plus les cohomologies de  $ X $  et  $\mathcal{U} $  sont de dimensions finies , alors l’accouplement  $\langle , \rangle $  est une dualité hermitienne $ \  \  \  \  \  \  \  \  \  \    \  \  \  \  \  \  \  \  \  \Box $*

Preuve :

Notons par  $  \mathcal{I}  $  les “dualités” de Poincaré ( sur   $ X $  et  $\mathcal{U} $  ) . La première compatibilité de l’énonce signifie que l’on a l’égalité $$\langle \psi, \alpha(\varphi) \rangle =  \mathcal{I} ( \hat{\alpha}(\psi) , \varphi )$$ qui est immédiate ; la seconde compatibilité est donnée par l’égalité $$(-1)^{deg(\psi)}  \langle \hat{\beta}(\psi) , \varphi \rangle = \mathcal{I}( \psi , \beta(\varphi))$$ qui s’obtient de la facon suivante : $$(2i\pi)^{n} \ \mathcal{I}( \psi , \beta(\varphi) ) = \int_{\mathcal{U}} \psi \wedge \overline{d\varphi}  =  \int_{\mathcal{U'}} \psi' \wedge \overline{d\varphi} = \int_{\mathcal{U'}} \psi' \wedge (1- \rho ) \overline{d\varphi}$$ car  $\rho \equiv 0 $  sur  $ Supp(d\varphi) \subset \mathcal{U} $  . On en déduit : $$(2i\pi)^{n}\ \mathcal{I}( \psi , \beta(\varphi) ) =  (-1)^{deg(\psi)} \int_{\mathcal{U}'} - d\rho \wedge \psi' \wedge \overline{\varphi} =  (2i\pi)^{n}  (-1)^{deg(\psi)} \langle \hat{\beta}(\psi) , \varphi \rangle$$ ce qui prouve les compatibilités désirées .

Prouvons maintenant la non-dégénérescence de  $  \langle , \rangle$ . Il suffit de vérifier que si  $ e \in H^{p}(X,\mathcal{U}) $  vérifie  $ \forall \varepsilon \in H_{c}^{n-p}(X,\mathcal{U}) , \ \mathcal{I}(e,\varepsilon) = 0 $  alors on a  $ e = 0 $  et que si  $ \varepsilon \in H_{c}^{n-p}(X,\mathcal{U}) $  vérifie  $\forall e \in H^{p}(X,\mathcal{U}) ,\  \mathcal{I}(e,\varepsilon) = 0 $  alors  $ \varepsilon = 0 $  puisque les suites exactes longues de cohomologie donnent la finitude des espaces vectoriels (complexes)  $ H^{*}(X,\mathcal{U}) \ $  et  $ H_{c}^{*}(X,\mathcal{U}) \ $  sous nos hypothèses .

Comme il s’agit d’un simple exercice, traitons le premier point pour la commodité du lecteur : On a , par hypothèse  $ \forall \eta \in  H_{c}^{n-p}(X) , \langle e, \alpha(\eta) \rangle  = 0 $  et donc  $ \hat{\alpha}(e) = 0 $  d’après la dualité de Poincaré sur  $ X $  et la première compatibilité ci-dessus . Il existe donc  $ \zeta \in H^{p-1}(\mathcal{U}) $  tel que  $ e = \hat{\beta}(\zeta) $  . Mais alors $$\langle \hat{\beta}(\zeta), \varepsilon \rangle  = (-1)^{p-1}\mathcal{I} (\zeta , \beta(\varepsilon))  = 0  \ .$$ Donc on a $$\zeta \in (Im \beta )^{\bot} = (Ker \gamma)^{\bot} = Im \hat{\gamma}$$ car  $\gamma$   et  $ \hat{\gamma} $  sont adjoints via les dualités de Poincaré sur  $\mathcal{U}$  et  $ X $ . On a donc  $ \zeta = \hat{\gamma}(\xi) $  où  $\xi \in H^{p-1}(X) $  et donc  $ e = \hat{\beta}(\hat{\gamma}(\xi)) = 0  \   \   \   \    \   \   \blacksquare$

[**Remarque**]{}

Il est facile de voir que , comme dans la cohomologie de de Rham “standart” , on peut remplacer les formes  $ \mathcal{C}^{\infty} $  par des courants (disons pour  $ X $  orientée, seul cas qui nous intérèsse ici) . Ceci permet alors de faire le lien avec un calcul via des chaînes orientées à bords dans  $ \mathcal{U} $  . Ce point de vue qui est utilisé dans le texte pour décrire (rapidement) notre construction de l’application de variation , est une simple commodité qui pourrait être évitée en utilisant directement le point de vue des formes  $ \mathcal{C}^{\infty} $  . Bien sur dans ce cas l’opération de troncature doit être remplacée par la multiplication par une fonction plateau qui est moins “parlante” (mais qui réapparait finalement via le lemme 2 de \[B.02\] !) . Ceci conduirait à une démonstration plus pénibles à suivre de nos théorèmes . C’est pourquoi nous avons donné cette présentation de la variation , en nous attachant cependant à vérifier que son “adjoint ”est bien donné par le residu de J. Leray de fa[ç]{}on à pouvoir utiliser le calcul de la variation en cohomologie de de Rham donné dans \[B.97\] .

**Références**
==============

-   [\[A.70\] Atiyah, M.F. *Resolution of singularities and division of distributions .* Comm.in pure and appl. Math. 23 (1970) p.145-150 .]{}

-   [\[B.85\] Barlet, D. *La forme hermitienne canonique sur la cohomologie de la fibre de Milnor d’une hypersurface à singularité isolée .* Invent. Math. 81 (1985) p.115-153 .]{}

-   [\[B.90\] Barlet, D. *La forme hermitienne canonique pour une singularité presque isolée .* Complex Analysis (K. Diederich eds) Vieweg,Wuppertal (1990) p.20-28 .]{}

-   [\[B.91\] Barlet, D. *Emmêlements de strates consécutives pour les cycles évanescents .* Ann. Scient. ENS 4-ième série 24 (1991) p.401-506 .]{}

-   [\[B.97\] Barlet, D. *La variation pour une hypersurface à singularité isolée relativement à la valeur propre 1 .* Revue de l’Inst. E. Cartan (Nancy) 15 (1997) p.1-29 .]{}

-   [\[B.99\] Barlet, D. *Multiple poles at negative integers for  $ \int_{A} f^{\lambda} \ \Box $  in the case of an almost isolated singularity .* Publ. RIMS,Kyoto Univ. 35 (1999) p.571-584 .]{}

-   [\[B.02\] Barlet, D. *Real canonical cycle and asymptotics of oscillating integrals .* Prépublication de l’Institut E. Cartan (Nancy) 2001 /35 à paraître au Nagoya Math.Journ.]{}

-   [\[B.M.93\] Barlet, D. et Maire, H.-M. *Asymptotique des intégrales-fibres.* Ann. Inst.Fourier (Grenoble) 43 (1993) p.1267-1299 .]{}

-   [\[B.M.00\] Barlet, D. et Maire, H.-M. *Poles of the current  $ |f|^{2\lambda} $  over an isolated singularity .* Intern. Journ. Math. 11 (2000) p.609-635 .]{}

-   [\[B.M.02\] Barlet, D. et Maire, H.-M. *Non trivial simple poles at negative integers and mass concentration at singularity .* Math.Ann. 323 (2002) p.547-587 .]{}

-   [\[H.64\] Hironaka, H. *Resolution of singularities of an algebraic variety over a field of characteristic zero .* Ann. of Math. 79 (1964) p.109-326 ]{}

-   [\[J.91\] Jeddi, A. *Singularité réelle isolée .* Ann.Inst.Fourier (Grenoble) 41 (1991) p.87-116 .]{}

-   [\[J.02\] Jeddi, A. *Preuve d’une conjecture de Palamodov .* Topology 41 (2002) p.271-306 .]{}

-   [\[JQ.70\] Jeanquartier, P. *Développements asymptotiques de la distribution de Dirac attachée à une fonction analytique .* C.R.A.S. Paris 271 (1970) p.1159-1161 .]{}

-   [\[L.59\] Leray, J. *Le problème de Cauchy III .* Bull.Soc. Math. France 87 (1959) p.81-180 .]{}

-   [\[Lj.65\] Lojasiewicz, S. *Ensembles semi-analytiques .* IHES 1965 .]{}

-   [\[M.74\] Malgrange, B. *Intégrales Asymptotiques et Monodromie .* Ann. Scient. ENS 4-ième série 7 (1974) p. 405-430 .]{}

-   [\[Mi.68\] Milnor, J. *Singular Points of Complex Hypersurfaces .* Ann. of Math. Studies 61 (1968) Princeton .]{}

-   [\[P.86\] Palamodov, V.P. *Asymptotic expansions of integrals in complex and real regions .* Math. USSR 55 (1986) p.207-236 .]{}

Daniel Barlet ,

Université Henri Poincaré (Nancy I ) et Institut Universitaire de France,

Institut E.Cartan UHP/CNRS/INRIA, UMR 7502 ,

Faculté des Sciences et Techniques, B.P. 239

54506 Vandoeuvre-les-Nancy Cedex , France .
