text:
# Rationalité des séries de Poincaré et des Fonctions Zêta motiviques

## 1 Introduction

### 1.1

Dans , et par analogie avec le cas $`p`$-adique, Denef et Loeser ont défini la notion de séries de Poincaré motiviques et de fonctions Zêta motiviques pour une variété algébrique lisse sur un corps de caractéristique 0. La généralisation de la théorie de l’intégration motivique au cadre des schémas formels sur un trait formel, établie dans , permet d’étendre ces définitions au cas d’une variété $`X`$ (non supposée lisse) sur un anneau de séries formelles à coefficients dans un corps $`k`$. Si $`k`$ est de caractéristique 0 (cette hypothèse se justifie par l’utilisation du théorème de désingularisation d’Hironaka et de théorèmes d’élimination des quantificateurs), ces séries motiviques sont rationnelles, en un sens que l’on précisera.

### 1.2

L’originalité de cet article réside essentiellement dans les théorèmes 4.3.3 et 4.3.8 qui apportent une réponse explicite à la conjecture proposée par Du Sautoy et Loeser (cf. remarque 3.11 de ). En ce qui concerne les fonctions Zêta motiviques, des résultats analogues (cf. remarque 5.5.2) à ceux que nous prouvons ont été démontrés dans  (cf. proposition 4.2 de loc. cit.) par Looijenga, qui utilise une théorie de l’intégration motivique pour les variétés algébriques sur $`k[[t]]`$, avec $`k`$ de caractéristique 0. Il est important de noter que cette théorie est compatible avec celle de , en remarquant que le schéma des arcs d’une $`k[[t]]`$-variété algébrique est canoniquement isomorphe au schéma de Greenberg de son complété $`t`$-adique. Le cadre des schémas formels apparaît donc comme le “ bon ” cadre pour parler d’intégrales motiviques.

### 1.3

L’obstacle principal à la généralisation des différents résultats au cadre des schémas formels sur un trait formel est l’abscence (à notre connaissance) d’énoncés (généraux) sur les désingularisations plongées dans cette catégorie. Remarquons que même si l’on considère des variétés algébriques sur $`k[[t]]`$, avec $`k`$ de caractéristique 0, le théorème d’Hironaka fournit une résolution “ régulière ”, i.e. un $`k[[t]]`$-morphisme de schémas $`h:YX`$, avec $`Y`$ régulier, et non une résolution “ lisse ”, comme dans le cas traité par Denef et Loeser. Pour palier cette carence, nous introduisons une classe de morphismes, que nous appelons résolutions de Néron (faibles) plongées, suggérée par la théorie des modèles de Néron (cf. ). De tels morphismes $`h:YX`$ existent dans la catégorie des $`k[[t]]`$-variétés algébriques (cf. proposition 2.6.2) et rétablissent la condition de lissité sur $`Y`$. En particulier, l’existence de tels morphismes permet d’affirmer qu’une $`k[[t]]`$-variété lisse vérifie les hypothèses de la proposition 4.2 de  (cf. remarque 5.5.2). Nous nous contentons donc d’exprimer les résultats dans cette catégorie, mais il apparaîtra évident au lecteur que les démonstrations s’étendent au cas formel, toutes les fois que de tels morphismes existent.

### 1.4

Le théorème de changement de variables pour l’intégrale motivique et l’existence de tels morphismes vont permettre de ramener l’étude de la rationalité des différentes fonctions à l’évaluation dans le cas lisse de séries associées à un diviseur à croisements normaux. Nous étudions donc au paragraphe 3 de telles séries. Nous y montrons également comment déduire de ces calculs la rationalité de fonctions Zêta d’Igusa motiviques. Ces calculs interviendront également dans la dernière partie consacrée aux séries de Poincaré motiviques. Les théorèmes généraux 4.3.3 et 4.3.8 nécessitent l’introduction de notions et l’utilisation de résultats de théorie des modèles, comme, par exemple, des th or mes d’élimination des quantificateurs (cf. ) que nous utiliserons essentiellement sous la forme du théorème 2.1 de . En outre, certains résultats de base de cette théorie appliquée en géométrie ont été démontrés dans  et nous contenterons de renvoyer le lecteur aux preuves qui y sont faites. Par contre, nous allons montrer comment les ensembles définis à partir de conditions semi-algébriques s’insèrent naturellement dans le langage de l’intégration motivique, et sont, comme on l’esp rait, des ensembles mesurables au sens de . La rationalité des séries de Poincaré motiviques sera alors une simple conséquence du théorème 4.3.3.

Nous tenons à remercier François Loeser pour les discussions que nous avons eues ensemble, qui ont vu naître ce sujet sous cette forme générale et qui nous ont apporté une aide sensible. Nous souhaitons également remercier Antoine Chambert-Loir pour son aide et sa clairvoyance, qui, au travers de ses commentaires, nous ont permis d’améliorer grandement une première version de ce texte.

## 2 Intégration motivique

Soit $`R`$ un anneau de valuation discrète complet, de corps résiduel $`k`$ parfait et de corps des fractions $`K`$. On note $`R_n:=R/(\pi )^{n+1}`$, pour une uniformisante $`\pi `$ de $`R`$. Si $`F`$ est un corps parfait contenant $`k`$, on note $`R_F:=R\widehat{}_{L(k)}L(F)`$, où $`L`$ est le foncteur de la catégorie des $`k`$-algèbres dans celle des anneaux topologiques qui à $`A`$ associe : $`A`$ dans le cas où $`R`$ est d’égale caractéristique; $`W(A)`$ dans le cas où $`R`$ est d’inégale caractéristique.

### 2.1 Les schémas formels

#### 2.1.1

Dans ce texte, nous ne considèrerons que des schémas formels $`\pi `$-adiques et nous renvoyons à cites ou à  §10 pour de plus amples détails. Un schéma formel $`𝒳`$ est ainsi la donnée d’un système inductif de $`R_n`$-schémas $`(X_n)_{n𝐍}`$ dont les morphismes de transition sont des immersions nilpotentes, induisant des isomorphismes $`X_nX_{n+1}_{R_{n+1}}R_n`$. En tant qu’espaces topologiques $`𝒳=X_0`$ et l’on a un isomorphisme de faisceaux $`𝒪_𝒳\begin{array}{c}\mathrm{lim}\hfill \\ \hfill \end{array}𝒪_{X_n}`$. Concrètement, la donnée d’un schéma formel affine $`𝒳=SpfA`$ est équivalente à celle d’une $`R`$-algèbre $`A`$, munie de la topologie $`\pi `$-adique et complète pour celle-ci. Dans ce cas, $`X_n`$ est simplement le $`R_n`$-schéma affine $`Spec(A_RR_n)`$. On désigne par $`𝔻`$ et $`𝔹_R^N`$ les schémas formels $`SpfR`$ et $`SpfR\{x_1,\mathrm{},x_N\}`$ respectivement. Un morphisme de schémas formels $`f:𝒴𝒳`$ est, dans notre contexte, la donnée d’un système inductif de morphismes de schémas $`(f_n)_{n𝐍}`$, où $`f_n:Y_nX_n`$. On notera $`\underset{¯}{Form}_{/_𝔻}`$ cette catégorie. La sous-catégorie des $`𝔻`$-schémas formels sttf est la sous-catégorie pleine de $`\underset{¯}{Form}_{/_𝔻}`$ dont les objets $`𝒳`$ sont séparés (i.e. tels que le schéma $`X_0`$ soit séparé) et topologiquement de type fini (i.e. tels que $`𝒳`$ admette un recouvrement fini par des schémas formels affines de la forme $`SpfA`$, où $`A`$ est une $`R`$-algèbre topologique isomorphe à un quotient de la $`R`$-algèbre topologique $`R\{x_1,\mathrm{},x_N\}`$).

#### 2.1.2

Dans cet article, nous considérons essentiellement les complétés $`\pi `$-adiques de $`R`$-variétés algébriques, i.e. les $`𝔻`$-schémas formels sttf algébrisables (cf.  §10.8 pour la théorie générale). Si $`X`$ est une $`R`$-schéma (usuel), on note $`\widehat{X}`$ son complété $`\pi `$-adique. Remarquons que, si $`X`$ est plat, son complété $`\widehat{X}`$ l’est aussi. Conformément à , on appelle dimension relative du $`𝔻`$-schéma formel $`\widehat{X}`$ la dimension de $`X_0`$ (qui est aussi celle de $`\widehat{X}_K`$); et l’on dit que $`\widehat{X}`$ est équimensionnel si $`\widehat{X}_K`$ est équidimensionnel (ce qui implique que $`X_0`$ l’est aussi).

#### 2.1.3

Nous adoptons désormais les conventions d’écriture suivantes :

1. une variété (usuelle) sur $`SpecR`$, i.e. un $`R`$-schéma de type fini, réduit et séparé (non supposé irréductible), sera désignée par l’usage des caractères romains italiques : $`X`$. La fibre spéciale d’une $`R`$-variété $`X`$, i.e. le $`k`$-schéma $`X\times _Rk`$, sera désignée par l’usage des caractères linéaux : $`𝖷`$.
2. un schéma formel sttf sur $`𝔻`$ sera désigné par l’usage des caractères calligraphiques : $`𝒳`$. La fibre spéciale d’un $`𝔻`$-schéma formel, i.e. le $`k`$-schéma $`X_0`$, sera notée $`𝖷`$.

### 2.2 Le foncteur de Greenberg

Nous renvoyons le lecteur à cites ou  pour les détails (cf. également les pages 276-277 de ). Pour tout $`n𝐍`$, on définit le foncteur de Greenberg de la catégorie des $`𝔻`$-schémas formels sttf dans la catégorie des $`k`$-schémas séparés, de type fini, qui à $`𝒳\underset{¯}{Form}_{/_𝔻}`$ associe le $`k`$-schéma réduit $`\mathrm{Gr}_n(𝒳)`$, dont les $`F`$-points, pour tout corps $`F`$ parfait contenant $`k`$, sont les $`(R_F/(\pi )^{n+1}`$)-points de $`X_n`$. Les $`k`$-variétés $`\mathrm{Gr}_n(𝒳)`$ forment un système projectif admettant une limite (non localement de type fini en général) dans la catégorie des $`k`$-schémas, que l’on note $`\mathrm{Gr}(𝒳)`$ et qui est séparée et réduite. Les $`F`$-points de $`\mathrm{Gr}(𝒳)`$ sont les sections du $`\left(SpfR_F\right)`$-schéma formel $`𝒳_F:=𝒳\widehat{\times }_𝔻SpfR_F`$.

Concrètement, si $`𝒳`$ est affine défini par les équations $`f_iR\{X_1,\mathrm{},X_N\}`$ pour $`1im`$, la donnée d’un point rationnel de $`x\mathrm{Gr}(𝒳)(k)`$ est équivalente à celle d’un $`N`$-uplet $`\phi _xR^N`$, vérifiant $`f_i(\phi _x)=0`$ pour tout $`1im`$. En particulier, on en déduit, pour tout $`n𝐍`$, des isomorphismes :

$$\mathrm{Gr}_n(𝔹_R^N)𝐀_k^{N(n+1)}.$$

###### 2.2.1 Notations.

1. Pour tout $`n𝐍`$, les morphismes canoniques seront toujours not s de la mani re suivante :

Les morphismes $`\pi _{n,𝒳}`$ (ou $`\pi _n`$) sont les morphismes de troncation. Les morphismes $`\theta _n^{n1}`$ sont les morphismes de transition.
2. Soit $`𝒴`$ un $`𝔻`$-sch ma formel sttf. Soit $`h:𝒴𝒳`$ un $`𝔻`$-morphisme de sch mas formels. On notera encore $`h`$ le $`k`$-morphisme de sch mas $`\mathrm{Gr}(h)`$, et $`h_n`$ le $`k`$-morphisme $`\mathrm{Gr}_n(h)`$, pour tout $`n𝐍`$. Ces morphismes $`h`$ et $`h_n`$ rendent commutatif le diagramme suivant :
3. Si $`X`$ est une $`R`$-variété, on note $`\mathrm{Gr}(X)`$ au lieu de $`\mathrm{Gr}(\widehat{X})`$ et $`\pi _{n,X}`$ (resp. $`\theta _{n,X}^m`$) à la place de $`\pi _{n,\widehat{X}}`$ (resp. $`\theta _{n,\widehat{X}}^m`$).

Soit $`𝒳`$ un $`𝔻`$-schéma formel sttf, réduit, plat, purement de dimension relative $`d`$. Soient $`𝒵𝒳`$ un sous-$`𝔻`$-schéma formel fermé de $`𝒳`$ et $`_𝒵𝒪_𝒳`$ son faisceau d’idéaux. Rappelons comment associer à tout point $`x\mathrm{Gr}(𝒳)`$ sa multiplicité le long de $`𝒵`$, qui est un entier positif, ou $`+\mathrm{}`$ si $`x\mathrm{Gr}(𝒵)`$. On définit l’application $`\mathrm{mult}_𝒵:\mathrm{Gr}(𝒳)𝐍\{\mathrm{}\}`$ de la manière suivante : soient $`x\mathrm{Gr}(𝒳)`$ et $`\phi :SpfR_F𝒳`$ le $`𝔻`$-morphisme de schémas formels correspondant à $`\overline{x}`$ par adjonction, avec $`F\kappa (x)k`$ un corps parfait et $`\overline{x}\mathrm{Gr}(𝒳)(F)`$ de localité $`x`$. Si le faisceau d’idéaux défini comme l’image du morphisme canonique de $`𝒪_{R_F}`$-modules $`\phi ^{}_𝒵𝒪_{R_F}`$ est nul, on pose $`\mathrm{mult}_𝒵(x)=\mathrm{}`$; sinon, il existe un entier $`n𝐍`$ tel que $`\phi ^{}_𝒵.𝒪_{R_F}=\pi ^n𝒪_{R_F}`$ et on pose $`\mathrm{mult}_𝒵(x)=n`$. Cet entier $`n`$ est également égal à la valuation du générateur de l’idéal $`_{𝒵,\pi _0(x)}.R_F`$ et ne dépend pas du corps parfait $`F`$. Si $`𝒵=\widehat{Z}`$ et si $`𝒳=\widehat{X}`$, on note simplement $`\mathrm{mult}_Z`$ au lieu de $`\mathrm{mult}_{\widehat{Z}}`$.

###### 2.2.2 Exemples.

1. Soit $`h:𝒴𝒳`$ un $`𝔻`$-morphisme de schémas formels, tous deux purement de dimension relative $`d`$. Si $`𝒵_h`$ est le lieu singulier du morphisme $`h`$, i.e. défini par le faisceau d’idéaux $`\mathrm{Fitt}_d(\mathrm{\Omega }_{𝒴/𝒳}^1)`$, l’application $`\mathrm{mult}_{𝒵_h}`$ est notée $`\mathrm{ord}_\pi (\mathrm{Jac})_h`$ et appelée ordre du jacobien de $`h`$. Comme on va le voir, cette application joue un rôle crucial dans le théorème de changement de variables.
2. Si $`𝒵`$ est d termin par un $`𝔻`$-morphisme de sch mas formels $`f:𝒳𝔹_R^1`$, i.e. $`𝒵=f^1(0)`$, on notera $`\mathrm{ord}_\pi f`$ l’application $`\mathrm{mult}_𝒵`$.

Les assertions 1,2,3 du lemme suivant sont démontrées dans  (cf. lemme 5.1.2) et les points 4 et 5 découlent directement de la définition :

###### 2.2.3 Lemme.

L’application $`\mathrm{mult}_𝒵:\mathrm{Gr}(𝒳)𝐍\{\mathrm{}\}`$ vérifie :

1. si $`𝒰𝒳`$ est un ouvert de $`𝒳`$, $`\mathrm{mult}_𝒵(x)=\mathrm{mult}_{𝒵𝒰}(x)`$ pour tout $`x\mathrm{Gr}(𝒰)`$.
2. Pour la fibre en l’infini, on a l’égalité

$$(\mathrm{mult}_𝒵)^1(\mathrm{})=\mathrm{Gr}(𝒵)=\mathrm{Gr}(𝒵_{\mathrm{red}})=(\mathrm{mult}_{𝒵_{\mathrm{red}}})^1(\mathrm{}).$$
3. $`\pi _{0,𝒳}\left(\mathrm{mult}_𝒵^1(n)\right)𝖹`$ pour tout $`n1`$. En outre, si $`𝒵`$ est lisse, l’inclusion pr c dente est une galit .
4. Si $`𝒵^{}𝒳`$ est un sous-$`𝔻`$-schéma formel fermé de $`𝒳`$ contenu dans $`𝒵`$, alors, si $`x\mathrm{Gr}(𝒳)`$, $`\mathrm{mult}_𝒵^{}(x)\mathrm{mult}_𝒵(x)`$.
5. Supposons $`𝒵𝖷`$. On a $`\mathrm{mult}_𝒵^1(0)=\mathrm{Gr}(𝒳\backslash 𝒵)`$, $`\mathrm{mult}_𝒵^1(1)=\mathrm{Gr}(𝒳)\backslash \mathrm{Gr}(𝒳\backslash 𝒵)`$ et pour $`n2`$, $`\mathrm{mult}_𝒵^1(n)\mathrm{}`$ si et seulement si $`n=1`$ ou $`n=0`$.

###### 2.2.4 Lemme.

Soit $`f:𝒴𝒳`$ un $`𝔻`$-morphisme de schémas formels sttf. Soit $`𝒵𝒳`$ un sous-$`𝔻`$-schéma formel de $`𝒳`$. Soit $`n𝐍`$. Alors :

$$f\left(\mathrm{mult}_{f^1(𝒵)}^1(n)\right)\mathrm{mult}_𝒵^1(n).$$

En outre, si $`\mathrm{Gr}(f)`$ est bijectif, cette inclusion est une égalité.

###### Démonstration.

Soit $`x\mathrm{mult}_{f^1(𝒵)}^1(n)`$. L’assertion 1 du lemme 2.2.3 permet de supposer que $`𝒳`$ et $`𝒴`$ sont des $`𝔻`$-schémas formels ttf affines. On note $`𝒳:=SpfA`$, $`𝒴:=SpfB`$ et $``$ désigne désormais un idéal de $`A`$. Pour alléger les notations, et quitte tendre les scalaires, on peut supposer que $`x`$ est un point rationnel de $`\mathrm{Gr}(𝒴)`$. Soit $`\phi :𝔻𝒴`$ le $`𝔻`$-morphisme de schémas formels lui correspondant par adjonction. Le schéma formel $`f^1(𝒵)`$ est défini dans $`𝒴`$ par l’idéal de $`B`$, image de $`f^{}`$ dans $`B`$ par le morphisme canonique

$$f^{}f^{}𝒪_𝒳=B,$$

induit par le morphisme d’inclusion $`A`$. La valeur de la fonction $`\mathrm{mult}_{f^1(𝒵)}`$ en $`x`$ est alors déterminée par l’image de $`\phi ^{}f^{}`$ dans $`\phi ^{}𝒪_𝒴=B=\phi ^{}f^{}𝒪_𝒳`$. Or cette image détermine également la valeur de la fonction $`\mathrm{mult}_𝒵^1`$ en $`f(x)`$. ∎

### 2.3 Les anneaux de Grothendieck

Soit $`k`$ un corps. On note $`K_0(\underset{¯}{Var}_{/k})`$ le groupe ab lien engendr par les symboles $`[S]`$, pour $`S`$ une vari t sur $`k`$ (i.e. un $`k`$-sch ma de type fini r duit et s par ), avec les relations $`[S]=[S^{}]`$ si $`S`$ et $`S^{}`$ sont isomorphes et $`[S]=[S^{}]+[S\backslash S^{}]`$ si $`S^{}`$ est une sous-vari t ferm e de $`S`$. Ce groupe poss de une structure naturelle d’anneau, dont le produit est induit par le produit fibr . La classe de $`Speck`$ est l’ l ment neutre de cet anneau; on la note $`\mathrm{𝟏}`$. En r f rence au motif de Lefschetz, on note galement $`𝐋`$ la classe de la droite affine dans $``$.

Soit $`S`$ une $`k`$-vari t . Tout sous-ensemble constructible $`C`$ de $`S`$ peut s’ crire comme r union finie disjointe de sous-$`k`$-vari t s de $`S`$, i.e. il existe des sous-$`k`$-vari t s $`(S_i)_{1in}`$ de $`S`$ telles que

$$C=_{1in}S_i.$$

tout ensemble constructible $`C`$ de $`S`$, on peut donc associer naturellement une unique classe $`[C]`$ dans $`K_0(\underset{¯}{Var}_{/k})`$ de sorte que, si $`C`$ et $`C^{}`$ sont deux ensembles constructibles d’une vari t $`S`$, on a la relation $`[CC^{}]=[C]+[C^{}][CC^{}]`$.

On d signe par :

$$:=K_0(\underset{¯}{Var}_{/k})[𝐋^1]$$

le localis de $`K_0(\underset{¯}{Var}_{/k})`$ par rapport au syst me multiplicatif $`\{\mathrm{𝟏},𝐋,𝐋^2,\mathrm{}\}`$. Soient $`F^m`$ le sous-groupe de $``$ engendr par les $`[S]𝐋^i`$ tels que $`\mathrm{dim}Sim`$, et $`\widehat{}`$ le s par compl t de $``$ suivant cette filtration. On note $`F^{}`$ cette filtration et $`\overline{}`$ l’image de $``$ dans $`\widehat{}`$.

La filtration $`F^{}`$ d finit une topologie m trisable sur $`\widehat{}`$. L’application :

d finie par :

$$a=\{\begin{array}{cc}2^n\hfill & \text{si }aF^n\widehat{}\text{ et }aF^{n+1}\widehat{},\hfill \\ 0\hfill & a=0.\hfill \end{array}$$

est la norme induite par cette filtration. Elle munit $`\widehat{}`$ d’une structure d’anneau norm non archim dien.

### 2.4 La mesure motivique

Soit $`𝒳`$ un $`𝔻`$-schéma formel sttf, réduit, plat et purement de dimension relative $`d`$. Supposons en outre que la fibre générique de $`𝒳_{\mathrm{sing}}`$ est de codimension au moins 1 dans $`X_K`$. Dans ce paragraphe on note $``$ au lieu de $`_k`$. La mesure $`\mu _𝒳`$, que nous allons utiliser, est définie (cf. ) comme une application $`\sigma `$-additive sur les ensembles mesurables de $`\mathrm{Gr}(𝒳)`$ et à valeurs dans $``$. Ces derniers sont construits comme des approximations de parties constructibles de $`\mathrm{Gr}(𝒳)`$, appelées cylindres.

#### 2.4.1

On dit qu’une partie $`C`$ de $`\mathrm{Gr}(𝒳)`$ est un ensemble cylindrique de rang $`n`$ de $`\mathrm{Gr}(𝒳)`$ (ou plus simplement un $`n`$-cylindre de $`\mathrm{Gr}(𝒳)`$), si $`C=\pi _{n,𝒳}^1(E_n)`$, où $`E_n`$ désigne une partie constructible de $`\mathrm{Gr}_n(𝒳)`$. On dit que $`C`$ est un cylindre si $`C`$ est un cylindre d’un certain rang $`n`$. On note $`𝐂_𝒳`$ l’anneau booléen des cylindres de $`\mathrm{Gr}(𝒳)`$. Dans cet anneau booléen, on peut distinguer l’idéal $`𝐂_{0𝒳}`$ des cylindres $`B`$ stables, qui sont des cylindres de rang un certain entier naturel $`n`$ vérifiant que la restriction des morphismes de transition $`\theta _m:\pi _{m+1,𝒳}(B)\pi _{m,𝒳}(B)`$ est une fibration localement triviale par morceaux de fibre $`𝐀_k^{(mn)d}`$ pour tout $`mn`$ (cf. définition 4.2.1). En particulier, ceci entraîne que :

$$[\pi _{m,𝒳}(B)]𝐋^{(m+1)d}=[\pi _{n,𝒳}(B)]𝐋^{(n+1)d}$$

pour tout $`mn`$.

###### 2.4.2 Exemple.

Soit $`e𝐍`$. Un exemple important de cylindre est le sous-ensemble $`\mathrm{Gr}^{(e)}(𝒳)`$ de $`\mathrm{Gr}(𝒳)`$ d fini par :

$$\mathrm{Gr}^{(e)}(𝒳):=\mathrm{Gr}(𝒳)\backslash (\pi _{e,𝒳}^1(\mathrm{Gr}_e(𝒳_{\mathrm{sing}}))).$$

On en d duit que :

$$\mathrm{Gr}(𝒳)=(\underset{e𝐍}{}\mathrm{Gr}^{(e)}(𝒳))\mathrm{Gr}(𝒳_{\mathrm{sing}}).$$

En outre, le lemme 4.5.3 de  assure que ce cylindre est stable.

#### 2.4.3

L’ensemble des cylindres étant trop petit pour décrire les phénomènes généraux, on est naturellement amené à tendre cette notion par celle des parties mesurables. On dit que $`A`$ est mesurable dans $`\mathrm{Gr}(𝒳)`$ si, pour tout $`\epsilon >0`$, il existe un ensemble $`I`$ au plus d nombrable et une famille de cylindres $`(A_i)_{iI\{0\}}`$ tels que :

1. $`A\mathrm{}A_0{\displaystyle \underset{iI}{}}A_i`$, o $`\mathrm{}`$ d signe la diff rence sym trique.
2. $`\mu _𝒳(A_i)<\epsilon `$, pour tout $`iI`$.

Dans ce cas, on dit qu’une telle famille de cylindres $`(A_i)_{iI\{0\}}`$, que l’on note $`(A_0;(A_i)_{iI})`$, est une $`\epsilon `$-approximation cylindrique de $`A`$. Le cylindre $`A_0`$ est appel la partie principale de l’approximation cylindrique. On dit que $`A`$ est fortement mesurable si de plus on peut choisir $`A_0A`$, pour tout $`\epsilon >0`$. Les parties mesurables forment un anneau booléen, qui contient celui des parties cylindriques. On le note $`𝐃_𝒳`$.

###### 2.4.4 Théorème.

Soit $`𝒳`$ un $`𝔻`$-schéma formel sttf, plat, réduit et purement de dimension relative $`d`$. Il existe une unique mesure $`\sigma `$-additive sur $`𝐃_𝒳`$ à valeurs dans $`\widehat{}`$ telle que :

1. pour tout $`n`$-cylindre stable $`B_0𝐂_{0,𝒳}`$,

$$\mu _𝒳(B_0)=[\pi _{n,𝒳}(B_0)]𝐋^{(n+1)d}\overline{}.$$
2. Pour $`A`$ et $`B`$ dans $`𝐃_𝒳`$, $`\mu _𝒳(AB)max(\mu _𝒳(A),\mu _𝒳(B))`$. Si $`AB`$, $`\mu _𝒳(A)\mu _𝒳(B)`$.

De plus, cette mesure vérifie les propriétés suivantes :

1. Pour tout $`n`$-cylindre $`B𝐂_𝒳`$,

$$\mu _𝒳(B)=\underset{e+\mathrm{}}{lim}\mu _𝒳(B\mathrm{Gr}^{(e)}(𝒳))\widehat{}.$$
2. Pour tout ensemble mesurable $`A𝐃_𝒳`$ et $`\epsilon >0`$, soit $`(A_0(\epsilon ),(A_i)_{iI})`$ une $`\epsilon `$-approximation cylindrique de $`A`$. Alors la limite :

$$\mu _𝒳(A)=\underset{\epsilon 0}{lim}\mu _𝒳(A_0(\epsilon ))\widehat{},$$

existe dans $`\widehat{}`$. En outre, cette limite est indépendante du choix des approximations cylindriques de $`A`$.

### 2.5 L’intégrale motivique

Soit $`A`$ un ensemble mesurable de $`\mathrm{Gr}(𝒳)`$. On dit qu’une application $`\alpha :A𝐙\{\mathrm{}\}`$ est mesurable si, pour tout $`n𝐍`$, l’ensemble $`\alpha ^1(n)A`$ est mesurable dans $`\mathrm{Gr}(𝒳)`$. On dit que $`\alpha `$ est exponentiellement intégrable si cette application est mesurable et si la série

$$\underset{n𝐙}{}\mu _𝒳(\alpha ^1(n))𝐋^n$$

converge dans $`\widehat{}`$. On peut alors définir l’intégrale motivique d’une application $`\alpha :A𝐙\{\mathrm{}\}`$ exponentiellement intégrable par :

$$\overline{)_A𝐋^\alpha d\mu :=\underset{n𝐙}{}\mu _𝒳(\alpha ^1(n))𝐋^n.}$$

En guise d’exemple, rappelons cet énoncé (cf. ) :

###### 2.5.1 Lemme.

Soient $`𝒳`$ un $`𝔻`$-schéma formel sttf et $`𝒵𝒳`$ un sous-$`𝔻`$-schéma formel fermé de $`𝒳`$. Alors :

1. pour tout $`n𝐍`$, la fibre $`(\mathrm{mult}_𝒵)^1(n)`$ est un $`n`$-cylindre de $`\mathrm{Gr}(𝒳)`$.
2. Si $`\mathrm{Gr}(𝒵)`$ est un ensemble de mesure nulle dans $`\mathrm{Gr}(𝒳)`$, l’application $`\mathrm{mult}_𝒵`$ est exponentiellement intégrable sur $`\mathrm{Gr}(𝒳)`$.

Soit $`h:𝒴𝒳`$ un $`𝔻`$-morphisme de schémas formels. On appelle lieu sauvage de $`h`$ l’ensemble

$$\mathrm{\Sigma }_h=h^1(\mathrm{Gr}(𝒳_{\mathrm{sing}}))\{y\mathrm{Gr}(𝒴)\mathrm{ord}_\pi (\mathrm{Jac})_h(y)=\mathrm{}\},$$

et on dit que $`h`$ est tempéré sur $`B`$ si l’intersection de $`B`$ et du lieu sauvage de $`h`$ est de mesure nulle dans $`\mathrm{Gr}(𝒴)`$.

Le théorème essentiel de cette théorie de l’intégration est le théorème de changement de variables suivant.

###### 2.5.2 Théorème.

Soient $`𝒳`$ et $`𝒴`$ deux $`𝔻`$-sch mas formels sttf, r duits, plats et purement de dimension relative $`d`$. Supposons que $`𝒴𝔻`$ est lisse. Soient $`A`$ et $`B`$ des ensembles fortement mesurables de $`\mathrm{Gr}(𝒳)`$ et $`\mathrm{Gr}(𝒴)`$ respectivement. Soit $`h:𝒴𝒳`$ un $`𝔻`$-morphisme, tempéré sur $`B`$, de schémas formels qui induit une bijection entre $`B`$ et $`A`$. Alors, pour toute application exponentiellement intégrable $`\alpha :A𝐙\{\mathrm{}\}`$, l’application $`B𝐙\{\mathrm{}\}`$ qui à $`y`$ associe $`\alpha (h(y))+\mathrm{ord}_\pi (\mathrm{Jac})(y)`$ est exponentiellement intégrable et on a la formule:

$$_A𝐋^\alpha 𝑑\mu =_B𝐋^{\alpha h\mathrm{ord}_\pi (\mathrm{Jac})_h}𝑑\mu .$$

### 2.6 Les résolutions de Néron

Soit $`𝒳`$ un $`𝔻`$-schéma formel sttf, purement de dimension relative $`d`$. On appelle résolution de Néron de $`𝒳`$ tout $`𝔻`$-morphisme de schémas formels $`h:𝒴𝒳`$ vérifiant que :

1. $`𝒴𝔻`$ est un $`𝔻`$-schéma formel sttf, lisse, purement de dimension relative $`d`$;
2. le $`𝔻`$-morphisme de schémas formels $`h`$ est tempéré;
3. le $`k`$-morphisme de schémas induit $`h:\mathrm{Gr}(𝒴)\mathrm{Gr}(𝒳)`$ est bijectif.

###### 2.6.1 Remarque.

La théorie des modèles de Néron formelle (cf.  théorème 3.1) montre (cf. galement  théorème 1.7.2) que si la fibre générique de $`𝒳`$ est lisse en tant que $`K`$-espace analytique rigide, de tels morphismes existent. En outre, la théorie développée dans loc. cit. dépend essentiellement de l’existence de ces résolutions. Par ailleurs, la preuve du point (v) de la proposition 2.6.2 ci-dessous montre que, si $`X`$ est une $`k[[t]]`$-variété algébrique régulière, alors $`X`$ possède une résolution de Néron, qui est donnée par l’inclusion $`j:X_{\mathrm{lisse}}X`$ du lieu lisse dans $`X`$.

Soit $`𝒵𝒳`$ un sous-$`𝔻`$-schéma formel fermé. On appelle résolution de Néron plongée de $`(𝒳,𝒵)`$ tout $`𝔻`$-morphisme de schémas formels $`h:𝒴𝒳`$ vérifiant que :

1. $`𝒴𝔻`$ est un $`𝔻`$-schéma formel sttf, lisse, purement de dimension relative $`d`$;
2. le $`𝔻`$-morphisme de schémas formels $`h`$ est tempéré;
3. le $`𝔻`$-morphisme de schémas formels induit $`h:𝒴\backslash h^1(𝒵)𝒳\backslash 𝒵`$ est injectif et étale;
4. le sous-$`𝔻`$-schéma formel fermé $`h^1\left(\mathrm{Gr}(𝒵)\right)`$ est un ensemble de mesure nulle dans $`\mathrm{Gr}(𝒴)`$;
5. le $`k`$-morphisme de schémas induit $`h:\mathrm{Gr}(𝒴)\backslash h^1\left(\mathrm{Gr}(𝒵)\right)\mathrm{Gr}(𝒳)\backslash \mathrm{Gr}(𝒵)`$ est bijectif;
6. il existe un recouvrement de $`𝒴`$ par des sous-$`𝔻`$-schémas formels ouverts et affines $`𝒱`$ et, sur chaque $`𝒱`$, un $`𝔻`$-morphisme de schémas formels $`𝒱𝔹_R^d`$ étale, induit par $`d`$ sections $`z_1,\mathrm{},z_d`$ au-dessus de $`𝒱`$ telles que $`h^1(𝒵)`$ est défini, sur $`𝒱`$, par l’annulation de l’une des $`z_1^{n_1}\mathrm{}z_d^{n_d}`$, avec $`n_i0`$ pour tout $`1id`$.

Si $`𝒳=\widehat{X}`$ et $`𝒵=\widehat{Z}`$ sont des complétés $`\pi `$-adiques de $`R`$-variétés algébriques, on dira simplement que $`(X,Z)`$ admet une résolution de Néron plongée.

###### 2.6.2 Proposition.

Soit $`k`$ un corps de caractéristique 0. Soient $`X`$ une $`R`$-variété algébrique plate, purement de dimension relative $`d`$ et $`ZX`$ un sous-$`R`$-schéma fermé de $`X`$ contenant l’ensemble des points singuliers de $`X`$, i.e. l’ensemble des points où le morphisme $`XSpecR`$ n’est pas lisse. Si $`R=k[[t]]`$, alors $`(X,Z)`$ admet une résolution de Néron plongée.

###### Démonstration.

Soit $`h^{}:X^{}X`$ une résolution plongée de $`(X,Z)`$, i.e. un morphisme propre, birationnel, de source $`X^{}`$ régulière et tel que $`(h^1(Z))_{\mathrm{red}}`$ soit un diviseur à croisements normaux, qui existe par un théorème d’Hironaka (cf. ). Notons $`j:UX^{}`$ le lieu des points de $`X^{}`$ où le morphisme de schémas $`X^{}SpecR`$ est lisse. Montrons alors que le morphisme induit par $`h^{}j:UX`$ par passage aux complétés est une résolution de Néron plongée de $`(X,Z)`$.

Les conditions (i) et (iii) découlent directement de la définition et des propriétés du morphisme $`h^{}`$. La condition (ii) découle de (iv), puisque $`\mathrm{\Sigma }_hh^1(Z)U`$. L’assertion (iv) se déduit du fait que, par définition de $`h^{}`$, $`(h^{})^1(Z)`$ est un diviseur de $`X^{}`$ et du lemme 4.4.2 de .

Pour prouver (v), il nous suffit de prouver que, pour tout corps parfait $`Fk`$, l’application canonique :

$$\left(\mathrm{Gr}(X^{})\backslash (h^{})^1\left(\mathrm{Gr}(Z)\right)\right)(F)\left(\mathrm{Gr}(X)\backslash \mathrm{Gr}(Z)\right)(F)$$

est une bijection. Remarquons en outre que, si $`Y`$ est une $`k[[t]]`$-variété, l’application naturelle

$$\widehat{Y}\left(Spf(R_F)\right)Y(R_F)$$

est bijective, pour toute extension $`R_F=F[[t]]`$. On est donc ramené au cadre algébrique. Comme $`h^{}`$ est un isomorphisme au-dessus du compl mentaire de $`Z`$, le crit re valuatif de propret assure que l’application induite par $`h^{}`$ ci-dessus est bijective. Il nous suffit alors de prouver que, pour de telles extensions $`R_FR`$ , l’application naturelle :

$$U(R_F)X^{}(R_F)$$

est bijective. Ceci revient à montrer que tout $`R`$-morphisme $`SpecR_FX^{}`$ se factorise par le lieu lisse de $`X^{}`$. Si une telle propriété est vraie pour le $`R_F`$-morphisme induit $`SpecR_FX^{}\times _RR_F`$, elle l’est pour le $`R`$-morphisme $`SpecR_FX^{}`$ (cf.  proposition 17.7.1). Comme le morphisme $`SpecR_FSpecR`$ est régulier (cf.  définition 6.8.1), il découle du diagramme cartésien de $`R`$-morphismes de schémas suivant :

et des propositions 6.8.2 et 6.5.2/(ii) de  que le schéma $`X^{}\times _RR_F`$ est encore régulier. On peut donc supposer que $`k=F`$. Dans ce cas l’affirmation est démontrée dans la proposition 3.1/2 de .

Pour (vi), soit $`xU_0`$. Il découle du lemme 2.6.3 qu’on peut trouver un système régulier de paramètres de l’anneau local $`𝒪_{U,x}`$ de la forme $`(\pi ,z_1,\mathrm{},z_d)`$. Par ailleurs, les images de ces sections locales dans le module des diff rentielles $`\mathrm{\Omega }_{𝒪_{U_0,x}/_k}^d`$ forment un syst me de g n rateurs. La propri t de changement de base du faisceau des différentielles relatives donne l’isomorphisme $`\mathrm{\Omega }_{𝒪_{U_0,x}/_k}^d\mathrm{\Omega }_{𝒪_{U,x}/R}^d_Rk`$. Il d coule donc du lemme de Nakayama que les images des $`d`$ sections $`z_1,\mathrm{},z_d`$ engendrent $`\mathrm{\Omega }_{𝒪_{U,x}/R}^d`$. En particulier, ces sections locales induisent un morphisme tale d’un ouvert affine $`V`$ dans $`𝐀_R^d`$. Les complétés $`t`$-adiques des ouverts $`V`$ vérifient les propriétés souhaitées. ∎

###### 2.6.3 Lemme.

Soient $`R`$ un anneau de valuation discrète et $`Y`$ une $`R`$-variété lisse purement de dimension relative $`d`$. Soit $`xY_0`$. Il existe un système régulier de paramètres de $`𝒪_{Y,x}`$ contenant $`\pi `$.

###### Démonstration.

Comme $`Y`$ est lisse, les anneaux locaux $`𝒪_{Y,x}`$ et $`𝒪_{Y_0,x}𝒪_{Y,x}_Rk`$ sont réguliers. Soit $`\overline{y_1},\mathrm{},\overline{y_d}`$ un système régulier de paramètres de l’anneau local $`𝒪_{Y_0,x}`$. La suite $`(\pi ,y_1,\mathrm{},y_d)`$ est alors un système de paramètres qui engendrent l’idéal maximal $`x`$ de $`𝒪_{Y,x}`$, puisque :

$$𝒪_{Y,x}/(\pi ,y_1,\mathrm{},y_d)𝒪_{Y_0,x}/(\overline{y_1},\mathrm{},\overline{y_d}).$$

L’assertion découle alors de la proposition 17.1.1 de . ∎

###### 2.6.4 Remarque.

Soit $`h:YX`$ une r solution de N ron plong e de $`(X,Z)`$. Comme, pour tout $`n𝐍`$, $`\mathrm{mult}_Z^1(n)\mathrm{Gr}(X)\backslash \mathrm{Gr}(Z)`$, il d coule du lemme 2.2.4 que :

$$h\left(\mathrm{mult}_{h^1(Z)}^1(n)\right)=\mathrm{mult}_Z^1(n).$$

Cette remarque est essentielle pour les calculs que nous effectuerons dans les diff rentes parties.

## 3 Familles et ensembles semi-algébriques

Dans ce paragraphe, nous allons définir une classe particulière d’ensembles mesurables que l’on appelle ensembles semi-algébriques et qui vont intervenir dans la démonstration des différents résultats.

### 3.1 Les conditions semi-algébriques

Fixons désormais une clôture algébrique $`k^{\mathrm{alg}}k`$ de $`k`$. Si $`F`$ est un corps algébriquement clos, et si $`xF((t))`$, on appelle composante angulaire de $`x`$, que l’on note $`\overline{ac}(x)`$ le coefficient du terme de plus petit degré, si $`x0`$, et $`0`$ sinon. La valuation de $`x`$, notée $`\mathrm{ord}_t(x)`$ est l’entier égal au plus petit degré de $`x`$, si $`x0`$, et $`+\mathrm{}`$ sinon. On étend alors la relation d’ordre usuelle sur $`𝐙`$ à $`𝐙\{+\mathrm{}\}`$ de la manière habituelle et on adopte les conventions :

1. $`(+\mathrm{})+\mathrm{}=+\mathrm{}`$, $`\mathrm{}𝐙`$;
2. $`+\mathrm{}\mathrm{}modulod`$, $`\mathrm{}𝐙`$.

Soient $`x_1,\mathrm{},x_m`$ des variables sur $`k^{\mathrm{alg}}((t))`$ et $`\mathrm{}_1,\mathrm{},\mathrm{}_r`$ des variables sur $`𝐙`$. On appelle condition semi-algébrique une combinaison booléenne de conditions de la forme :

$`(SAL1)\mathrm{ord}_tf_1(x_1,\mathrm{},x_m)\mathrm{ord}_tf_2(x_1,\mathrm{},x_m)+L(\mathrm{}_1,\mathrm{},\mathrm{}_r)`$,

$`(SAL2)\mathrm{ord}_tf_1(x_1,\mathrm{},x_m)L(\mathrm{}_1,\mathrm{},\mathrm{}_r)\text{mod }d`$,

$`(SAL3)g(\overline{ac}(f_1(x_1,\mathrm{},x_m)),\mathrm{},\overline{ac}(f_s(x_1,\mathrm{},x_m)))=0`$,

où les $`f_i`$ sont des polynômes à coefficients dans $`k[[t]]`$, $`g`$ est un polynôme sur $`k`$ et $`L𝐙[X_1,\mathrm{},X_r]`$. Les conditions semi-algébriques de la forme ci-dessus sont appelées conditions semi-algébriques élémentaires.

###### 3.1.1 Exemple.

Si $`fk[[t]][x_1,\mathrm{},x_m]`$, la condition $`f=0`$ (et donc $`f0`$) est une condition semi-algébrique.

### 3.2 Les familles semi-algébriques d’une variété

Si $`X`$ est une $`R`$-variété et si $`r𝐍`$, on appelle famille semi-algébrique de $`\mathrm{Gr}(X)`$ une famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ d’ensembles de $`\mathrm{Gr}(X)`$ tels qu’il existe un recouvrement de $`X`$ par un nombre fini d’ouverts affines $`(U_i)_{iI}`$ et pour chaque $`U_i`$, une condition semi-algébrique $`\theta `$ vérifiant que :

$$A_l\mathrm{Gr}(U_i)=\{x\mathrm{Gr}(U_i)|\theta (h_1(\phi _x),\mathrm{},h_m(\phi _x);\mathrm{})\},$$

où les $`h_j`$ sont des fonctions régulières sur $`U`$ et où, pour tout $`x\mathrm{Gr}(X)`$, $`\phi _x:SpfR_{\kappa (x)}\widehat{X}`$ est le $`𝔻`$-morphisme de schémas formels obtenu par adjonction et correspondant au point $`x`$. En particulier, $`h_i(\phi _x)`$ s’identifie canoniquement à un élément de $`\kappa (x)[[t]]`$. Une telle famille est alors définissable sur chaque $`U_i`$ par les conditions semi-algébriques $`\theta `$ et les sections régulières $`h_i`$, pour $`1im`$.

###### 3.2.1 Remarque.

Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Par définition, il existe un recouvrement fini de $`X`$ par des ouverts affines $`(U_i)_{iI}`$ vérifiant la propriété de la définition. Pour chaque $`iI`$, on peut recouvrir $`U_i`$ par un nombre fini d’ouverts affines $`(V_{i,j})_{jJ}`$. Le recouvrement $`(V_{i,j})_{jJ,iI}`$ de $`X`$ vérifie encore la propriété de l’énoncé. De même, il est clair que, si $`UX`$ est un ouvert de $`X`$ la famille $`(A_{\mathrm{}}\mathrm{Gr}(U))_{\mathrm{}𝐍^r}`$ est semi-algébrique dans $`\mathrm{Gr}(U)`$.

Un ensemble semi-algébrique est une famille semi-algébrique avec $`r=0`$. Si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-algébrique de $`\mathrm{Gr}(X)`$, alors, pour tout $`\mathrm{}𝐍^r`$, l’ensemble $`A_{\mathrm{}}`$ est semi-algébrique. On note $`𝐁_X`$ l’ensemble des parties semi-algébriques de $`\mathrm{Gr}(X)`$.

###### 3.2.2 Lemme.

L’ensemble $`𝐁_X`$ est un anneau booléen, i.e.

1. $`\mathrm{Gr}(X)`$ et $`\mathrm{}`$ appartiennent à cet ensemble;
2. $`𝐁_X`$ est stable par réunion et intersection finies;
3. $`𝐁_X`$ est stable par passage au complémentaire.

###### Démonstration.

Découle directement du fait que les conditions semi-algébriques sont stables par de telles opérations. ∎

###### 3.2.3 Lemme.

Soient $`X`$ et $`Y`$ deux $`R`$-variétés et $`g:YX`$ un $`R`$-morphisme de schémas. Si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-algébrique de $`\mathrm{Gr}(X)`$, la famille

$$(g^1(A_{\mathrm{}}))_{\mathrm{}𝐍^r}$$

est semi-algébrique dans $`\mathrm{Gr}(Y)`$. En particulier, si $`A`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$, l’ensemble $`g^1(A)`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(Y)`$.

###### Démonstration.

La seconde assertion découle de la première par définition. Il nous suffit donc de prouver la première. Soit $`A_{\mathrm{}}`$, $`\mathrm{}𝐍^r`$, une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Par définition, il existe donc un recouvrement (fini) de $`X`$ par des ouverts affines $`(U_i)_{iI}`$ vérifiant que :

$$A_{\mathrm{}}\mathrm{Gr}(U_i)=\{x\mathrm{Gr}(U_i)|\theta (h_1^{(i)}(\phi _x),\mathrm{},h_{m_i}^{(i)}(\phi _x);l)\},$$

Pour tout $`iI`$, soit $`(V_{i,j})_{jJ_i}`$ un recouvrement (fini) de $`g^1(U_i)`$ par des ouverts affines de $`Y`$. En particulier, les $`V_{i,j}`$, pour tout $`iI`$ et tout $`jJ`$, recouvrent $`Y`$ et vérifient

$$g^1(A_{\mathrm{}})\mathrm{Gr}(V_{i,j})=\{y\mathrm{Gr}(V_{i,j})|\theta ((h_1^{(i)}g)(\phi _y),\mathrm{},(h_{m_i}^{(i)}g)(\phi _y);\mathrm{})\},$$

pour tout $`\mathrm{}𝐍^r`$. ∎

#### 3.2.4

Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Quitte à restreindre les $`U_i`$, on peut supposer (cf. remarque 3.2.1) que $`U_i`$ est immergé dans un espace affine de dimension $`n_i`$, i.e. est muni d’une immersion fermée $`U_i𝐀_R^{m_i}`$. Par définition, il existe une condition semi-algébrique $`\theta `$ et $`m_i`$ sections régulières $`h_j^{(i)}`$ de $`U_i`$ telles que :

$$A_{\mathrm{}}\mathrm{Gr}(U_i)=\{x\mathrm{Gr}(U_i)|\theta (h_1^{(i)}(\phi _x),\mathrm{},h_{m_i}^{(i)}(\phi _x);l)\}.$$

Soit $`(x_1^{(i)},\mathrm{},x_{n_i}^{(i)})`$ un système de coordonnées de $`U_i`$, i.e. $`n_i`$ sections régulières sur $`U_i`$ induites par le morphisme d’immersion. Pour tout $`1jm_i`$, les $`h_j^{(i)}`$ sont des polynômes en les $`x_s^{(i)}`$, i.e. il existe $`m_i`$ polynômes $`H_j^{(i)}k[[t]][Y_1,\mathrm{},Y_{n_i}]`$ tels que :

$$h_j^{(i)}=H_j^{(i)}(x_1^{(i)},\mathrm{},x_{n_i}^{(i)}),$$

$`1jm_i`$. Soit $`\theta ^{}:=\theta H^{(i)}`$ la condition semi-algébrique définie par $`\theta (H_1^{(i)},\mathrm{},H_{m_i}^{(i)})`$ vérifie que :

$$A_{\mathrm{}}\mathrm{Gr}(U_i)=\{x\mathrm{Gr}(U_i)|\theta ^{}(x_1^{(i)}(\phi _x),\mathrm{},x_{m_i}^{(i)}(\phi _x);l)\}.$$

###### 3.2.5 Définition.

Si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-algébrique de $`\mathrm{Gr}(X)`$, on appelle carte semi-algébrique de la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ un ouvert affine $`U`$ de $`X`$, muni d’une immersion fermée dans un espace affine $`U𝐀_R^m`$, tels que :

$$A_{\mathrm{}}\mathrm{Gr}(U)=\{x\mathrm{Gr}(U)|\theta (x_1(\phi _x),\mathrm{},x_m(\phi _x);l)\},$$

où les $`x_i`$ forment un système de coordonnées de $`U`$ et $`\theta `$ une condition semi-algébrique. La donnée d’un recouvrement fini de $`X`$ par des cartes semi-algébriques de la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est un atlas semi-algébrique de la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$.

Il découle de ce qui précède que de tels atlas existent pour toute famille semi-algébrique de $`\mathrm{Gr}(X)`$. En outre, une famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ de $`\mathrm{Gr}(X)`$ est semi-algébrique si et seulement si elle possède un atlas semi-algébrique.

###### 3.2.6 Lemme.

Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Alors la donnée d’une carte semi-algébrique (resp. d’un atlas semi-algébrique) de $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ ne dépend pas des plongements.

###### Démonstration.

On est ramené au cas d’un ensemble semi-algébrique $`A`$ de $`\mathrm{Gr}(X)`$. Soit $`j_1:U𝐀_R^m`$ une carte semi-algébrique de $`A`$. Soit $`j_2:U𝐀_R^n`$ un second plongement de $`U`$ dans un espace affine. Soit $`h:𝐀_R^n𝐀_R^m`$ le $`R`$-morphisme de changement de coordonnées. Avec $`j_1`$, il existe, par définition, une condition semi-algébrique $`\theta `$ définissant $`A\mathrm{Gr}(U)`$. La condition semi-algébrique $`\theta h`$, définie comme dans la preuve de la proposition 3.2.3, fait de $`U`$ (muni de $`j_2`$) une carte semi-algébrique de $`A`$. ∎

###### 3.2.7 Proposition.

Soient $`X`$ et $`Y`$ deux $`R`$-variétés et $`g:YX`$ un $`R`$-morphisme de schémas. Si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-algébrique de $`\mathrm{Gr}(Y)`$, la famille $`(g(A_{\mathrm{}}))_{\mathrm{}𝐍^r}`$ est semi-algébrique dans $`\mathrm{Gr}(X)`$. En particulier, si $`A`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(Y)`$, l’ensemble $`g(A)`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$.

###### Démonstration.

Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. La propriété étant locale en $`X`$, on peut supposer que $`X`$ est affine. En outre, comme les conditions semi-algébriques sont stables par réunion finie, on peut supposer que $`Y`$ est carte semi-algébrique de la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$. Par définition,

$$g(A_{\mathrm{}})=\left\{y\mathrm{Gr}(X)\right|x\mathrm{Gr}(Y)\text{tel que}g(x)=y\text{et}xA_{\mathrm{}}\}.$$

Comme $`A_{\mathrm{}}`$ est semi-algébrique, il découle d’un théorème d’élimination des quantificateurs, dû à Pas (cf.  ou  théorème 2.1), que $`g(A_{\mathrm{}})`$ est semi-algébrique dans $`\mathrm{Gr}(X)`$ et que la famille $`(g(A_{\mathrm{}}))_{\mathrm{}𝐍^r}`$ est semi-algébrique. ∎

#### 3.2.8

Soit $`A`$ un ensemble semi-algébrique de $`\mathrm{Gr}(\widehat{X})`$. On dit qu’une fonction

$$\alpha :A\times 𝐙^n𝐙\{\mathrm{}\}$$

est simple si la famille de parties

$$\{x\mathrm{Gr}(\widehat{X})|\alpha (x,l_1,\mathrm{},l_n)=l_{n+1}\},$$

avec $`(l_1,\mathrm{},l_{n+1})𝐍^{n+1}`$, est une famille semi-algébrique de $`\mathrm{Gr}(X)`$.

### 3.3 Les ensembles mesurables et les ensembles semi-algébriques

###### 3.3.1 Proposition.

Soit $`X`$ une $`R`$-variété. Soit $`A\mathrm{Gr}(X)`$ un sous-ensemble semi-algébrique. Alors l’ensemble $`\pi _{n,X}(A)\mathrm{Gr}_n(X)`$ est constructible.

###### Démonstration.

Soient $`n𝐍`$ et $`A`$ un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$. Par définition de la constructibilité, on peut supposer que $`X`$ est affine et est une carte semi-algébrique de $`A`$. Il existe donc un entier $`m𝐍`$ et une immersion fermée $`\mathrm{Gr}(X)\mathrm{Gr}(𝐀_R^m)`$. Comme

$$\pi _{n,X}(A)=\pi _{n,𝐀_R^m}(A)\mathrm{Gr}(X),$$

on peut supposer en outre que $`X=𝐀_R^m`$. L’exemple 3.3.2 assure que l’ensemble $`B:=\pi _{n,X}^1\left(\pi _{n,X}(A)\right)`$ est semi-algébrique puisque $`A`$ l’est.

Si $`Fk`$ est une extension de corps, et si $`x\left(F[t]/(t^{n+1})\right)^m`$, avec pour $`1im`$,

$$x_i=\underset{j=1}{\overset{n}{}}a_j^{(i)}t^j,$$

$`a_j^{(i)}F`$; on note $`s(x)`$ le $`m`$-uplet de $`F[[t]]^m`$ définie par les coordonnées :

$$\left(s(x)_i\right):=\underset{j=1}{\overset{n}{}}a_j^{(i)}t^j.$$

Il est clair que $`x\pi _{n,X}(A)`$ si et seulement si $`s(x)B`$. On est donc ramené à étudier l’ensemble des éléments de $`B`$ de la forme $`s(x)`$ ci-dessus. Or l’ensemble $`B`$ s’exprime comme une combinaison booléenne (a priori infinie) de cylindres (cf. exemple 3.2.1). Le résultat découle alors du fait que si $`yB`$ de la forme $`s(x)`$, ces réunions sont à support fini et d’un théorème de Schappacher , qui implique que, pour tout sous-$`R`$-schéma fermé $`Z`$ de $`X`$ :

$$\pi _{n,X}\left(\mathrm{Gr}(Z)\right)=\theta _n^N(\mathrm{Gr}_N(Z))),$$

pour un entier $`N`$ suffisamment grand. ∎

###### 3.3.2 Exemples.

* Si $`A`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$, alors l’ensemble :

$$\pi _{n,X}^1\left(\pi _{n,X}(A)\right)$$

est semi-algébrique dans $`\mathrm{Gr}(X)`$. En effet, supposons que $`X`$ est une carte semi-algébrique de $`A`$. Il découle de l’égalité :

$$B:=\pi _{n,X}^1\left(\pi _{n,X}(A)\right)=\{y\mathrm{Gr}(X)xA,yxmodulo[t^{n+1}]\},$$

et du théorème d’élimination des quantificateurs 2.1 de , que $`B`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$.
* Si $`ZX`$ est un sous-$`R`$-schéma fermé de $`X`$, alors la famille :

$$\left(\mathrm{mult}_Z^1(n)\right)_{n𝐍}$$

est une famille semi-algébrique de $`\mathrm{Gr}(X)`$. En effet, supposons que $`X`$ est une carte semi-algébrique pour cette famille. Soit $`(z_i)_{1is}`$ une présentation de l’idéal $`IR[y_1,\mathrm{}y_N]`$ définissant $`Z`$ dans $`X`$. La famille $`\left(\pi _{n,X}^1(\mathrm{Gr}_n(X))\right)_{n𝐍}`$ est alors définissable par la condition semi-algébrique :

$$\theta (x_1,\mathrm{},x_s;n):=\{\begin{array}{c}f_i(x_1,\mathrm{},x_s)=x_i,1is\hfill \\ L(y)=y\hfill \\ \mathrm{ord}_tf_iL(n),1is\hfill \end{array},$$

et les sections régulières $`z_i`$ de $`X`$, pour $`1is`$. L’assertion découle alors de la relation :

$$\mathrm{mult}_Z^1(n)=\pi _{n1,X}^1(\mathrm{Gr}_{n1}(Z))\backslash \pi _{n,X}^1(\mathrm{Gr}_n(Z))$$

et des propriétés de stabilité par intersection et passage au complémentaire.

###### 3.3.3 Exemple.

La fonction $`x\mathrm{mult}_Z(x)`$, où $`ZX`$ est un sous-$`R`$-schéma fermé de $`X`$, est simple : ceci est une simple retraduction de l’exemple 3.3.2/2 ci-dessus.

#### 3.3.4

Soit $`A`$ un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$. On dit que $`A`$ est un ensemble faiblement stable de rang $`n𝐍`$ si $`A`$ est la réunion de fibres du $`k`$-morphisme $`\pi _{n,X}:\mathrm{Gr}(X)\mathrm{Gr}_n(X)`$. On dit que $`A`$ est faiblement stable s’il existe $`n𝐍`$ tel que $`A`$ soit faiblement stable de rang $`n`$.

###### 3.3.5 Lemme.

Les ensembles faiblement stables forment un anneau booléen, que l’on note $`𝐁_X^{fs}`$. En outre, si $`A`$ est un ensemble faiblement stable de rang $`n`$, alors $`A`$ est un $`n`$-cylindre.

#### 3.3.6

Supposons que $`X`$ est purement de dimension relative $`d`$. Soit $`A`$ un ensemble semi-algébrique. On dit que $`A`$ est stable de rang $`n𝐍`$ si $`A`$ est faiblement stable au rang $`n`$ et si l’application évidente $`\pi _{m+1,\widehat{X}}(\mathrm{Gr}(X))\pi _{m,\widehat{X}}(\mathrm{Gr}(X))`$ est une fibration localement triviale au-dessus de $`\pi _{m,\widehat{X}}(A)`$ de fibre $`𝐀_k^d`$ pour tout $`mn`$ (cf. définition 4.2.1 de ). On dit que $`A`$ est stable s’il existe $`n𝐍`$ tel que $`A`$ est stable de rang $`n`$. Il découle des définitions et du lemme 3.3.5 que tout ensemble stable est un cylindre stable. On note $`𝐁_X^s`$ l’ensemble des parties semi-algébriques stables.

###### 3.3.7 Lemme.

Si $`A𝐁_X`$ est un ensemble semi-algébrique de $`\mathrm{Gr}(X)`$, alors il existe un ensemble de mesure nulle $`M\mathrm{Gr}(X)`$ de $`\mathrm{Gr}(X)`$ et une famille semi-algébrique $`(A_i)_{i𝐍}`$ de $`\mathrm{Gr}(X)`$, avec $`A_iA`$, tels que :

1. les $`A_i`$ et $`MA`$ forment une partition de $`A`$;
2. les $`A_i`$ sont des ensembles semi-algébriques stables de rang $`n_i`$;
3. $`lim_{i+\mathrm{}}(\mathrm{dim}(\pi _{n_i,\widehat{X}}(A_i))(n_i+1)d)=\mathrm{}`$.

###### Démonstration.

On peut supposer que $`X`$ est une carte semi-algébrique de $`A`$ et est irréductible. Soit $`f_i`$, pour $`1is`$, les polynômes non nuls à partir desquels $`A`$ est défini. Soit $`g`$ une section régulière de $`X`$ s’annulant sur le lieu singulier de $`X`$, i.e. $`X_{\mathrm{sing}}V(g)X`$. En particulier que $`\widehat{X}_{\mathrm{sing}}V(g)\widehat{X}`$. Soit $`F:=g\times _if_i`$. Notons $`S:=V(F)X`$. Pour $`i𝐍`$, soit

$$A_i:=\{xA|\mathrm{ord}_tF(x)=i\}.$$

Par définition, $`A_iA`$ est un ensemble semi-algébrique comme intersection de deux ensembles semi-algébriques (cf. exemple 3.3.2/2). Soient $`y\pi _{i,X}^1(A_i)`$ et $`yk^{}[[t]]^N`$, pour $`k^{}k`$, la série formelle obtenue par adjonction. Il découle d’un développement de Taylor que, pour tout $`uk^{}[[t]]`$,

$$Q(y+t^{i+1}u)=Q(y)+t^{i+1}(\mathrm{}),$$

pour tout polynôme $`Q`$ à coefficients dans $`R`$. Cette remarque entraîne en particulier que $`A_i`$ est faiblement stable. En outre, $`A_i\mathrm{Gr}(X)\backslash \mathrm{Gr}(S)\mathrm{Gr}(X)\backslash \mathrm{Gr}(X_{\mathrm{sing}})`$. Par suite, $`A_i`$ est contenu, par quasi-compacité de la topologie constructible (cf. lemme 4.3.7 de ), dans un nombre fini d’ensembles $`\mathrm{Gr}^{(n(i))}(X)`$. Comme la suite de ces ensembles est croissante, il existe $`n_0(i)𝐍`$ tel que $`A_i\mathrm{Gr}^{(n_0(i))}(X)`$. Par conséquent, $`A_i`$ est stable. Le point 3 découle alors du fait que la suite

$$(\mathrm{dim}(\pi _{i,\widehat{X}}((\mathrm{ord}_tF)^1(i)))(i+1)d)_{i𝐍}$$

tend vers $`\mathrm{}`$ par le lemme 4.4.2 de , puisque $`S`$ est de codimension 1. ∎

###### 3.3.8 Proposition.

Tout ensemble semi-algébrique de $`\mathrm{Gr}(X)`$ est mesurable, i.e. $`𝐁_X𝐃_{\widehat{X}}`$. En particulier, si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-algébrique de $`\mathrm{Gr}(X)`$ et si $`\alpha :A𝐍^r𝐙\{\mathrm{}\}`$ est une fonction simple, alors, pour tout $`\mathrm{}𝐍^r`$, l’application $`\alpha (.,\mathrm{}):A𝐙\{\mathrm{}\}`$ est mesurable sur $`A`$.

###### Démonstration.

La seconde assertion découle de la première et des définitions. Le premier point est, quant à lui, est une conséquence du lemme 3.3.7 ci-dessus qui permet de décomposer tout ensemble semi-algébrique $`A`$ sous la forme :

$$A=(MA)\left(_iA_i\right),$$

et du th or me 6.3.5 de , puisque l’assertion 3.3.7/3 assure que la suite $`(\mu (A_i)_i`$ tend vers 0. ∎

###### 3.3.9 Proposition.

Si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est une famille semi-alg brique de $`\mathrm{Gr}(X)`$, alors il existe une famille semi-algébrique $`(A_{\mathrm{},i})_{(\mathrm{},i)𝐍^{r+1}}`$ d’ensembles stables tels que, pour tout $`\mathrm{}𝐍^r`$,

$$\mu _X(A_{\mathrm{}})=\underset{i𝐍}{}\mu _X(A_{\mathrm{},i})\widehat{_k}.$$

En particulier, si $`\alpha :\mathrm{Gr}(X)\times 𝐍^r𝐙`$ est une fonction simple (cf. §3.2.8), il existe une famille semi-algébrique $`(A_{\mathrm{},i})_{(\mathrm{},i)𝐍^{r+1}\times 𝐍}`$ d’ensembles stables telle que :

1. $`\mu _X\left(\alpha (.,\mathrm{}_1,\mathrm{},\mathrm{}_r)^1(\mathrm{}_{r+1})\right)=_{i𝐍}\mu _X(A_{\mathrm{},i}),\mathrm{}𝐍^{r+1}`$.
2. $`\alpha (.,\mathrm{}_1,\mathrm{},\mathrm{}_r)`$ est constante sur $`A_{\mathrm{},i}`$ pour tout $`i𝐍`$ et $`\mathrm{}𝐍^{r+1}`$.

###### Démonstration.

La seconde assertion se déduit de la première en considérant la famille de $`\mathrm{Gr}(X)`$, semi-algébrique par hypothèse,

$$A_{\mathrm{}}:=\left\{x\mathrm{Gr}(X)\right|\alpha (x,\mathrm{}_1,\mathrm{},\mathrm{}_r)=\mathrm{}_{r+1}\}.$$

Pour démontrer le premier point, on peut supposer que $`X`$ est une carte affine de $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$. On considère alors la famille $`(A_{\mathrm{},i})_{\mathrm{}𝐍^r}`$ définie par :

$$A_{\mathrm{},i}=A_{\mathrm{}}A_i^{(\mathrm{})},$$

où, pour chaque $`\mathrm{}𝐍^r`$, la famille semi-algébrique $`(A_i^{(\mathrm{})})_{i𝐍}`$ est la famille du lemme 3.3.7 construite pour $`A_{\mathrm{}}`$. Il découle de la construction des $`A_i^{\mathrm{}}`$, que la famille $`(A_{\mathrm{},i})`$ est définie par une condition semi-algébrique. Le résultat en découle par stabilité de la semi-algébricité par intersection finie. ∎

Les résultats précédents se résument par le diagramme commutatif suivant :

$$\overline{)\text{}}$$

###### 3.3.10 Remarque.

En général, ces notions sont différentes, i.e. tous les cylindres (resp. ensembles mesurables) ne sont pas des ensembles faiblement stables (resp. ensembles mesurables).

### 3.4 Les ensembles de Presburger et les fonctions de Presburger

On appelle ensemble de Presburger de $`𝐙^r`$ un ensemble défini dans $`𝐙^r`$ par une combinaison booléenne de conditions de la forme :

$`(P1)L(\mathrm{}_1,\mathrm{},\mathrm{}_r)0`$

$`(P2)L(\mathrm{}_1,\mathrm{},\mathrm{}_r)0modulod`$,

pour $`L(x_1,\mathrm{},x_r)𝐙[x_1,\mathrm{},x_r]`$ et $`d𝐍`$. Autrement dit, un ensemble de Presburger est défini par une condition semi-algébrique avec $`m=0`$.

###### 3.4.1 Exemple.

Soit $`P𝐙^r`$ un ensemble de Presburger défini par la condition semi-algébrique $`\theta (\mathrm{}_1,\mathrm{}\mathrm{}_r)`$. Si $`pr_1:𝐙^r𝐙^{r1}`$ désigne la première projection, il découle d’un théorème d’élimination des quantificateurs, dû à Presburger (cf.  ou /(2.1)), que l’ensemble $`pr_1(P)`$ est encore un ensemble de Presburger.

Une fonction $`\alpha :𝐙^r𝐙`$ est appelée fonction de Presburger si son graphe est un ensemble de Presburger de $`𝐙^{r+1}`$.

###### 3.4.2 Exemple.

Une application de la forme $`\beta :𝐍^r𝐍`$ qui à $`\mathrm{}𝐍^r`$ associe l’entier $`_{i=1}^rb_i\mathrm{}_i+b_{r+1}`$, avec $`b_j𝐍`$, est une fonction de Presburger.

## 4 Rationalité des séries de Poincaré motiviques

On suppose dans cette partie que $`R=k[[t]]`$ et que le corps $`k`$ est de caractéristique 0. Soit $`X`$ une $`R`$-variété plate, purement de dimension relative $`d`$. Nous allons montrer, principalement, un résultat conjecturé par Du Sautoy et Loeser (cf. ).

### 4.1 Les familles semi-algébriques bornées

La notion de famille semi-algébrique bornée va jouer un rôle essentiel dans les démonstrations de la proposition 4.3.3 et du théorème 4.3.8.

###### 4.1.1 Définition.

* Un ensemble $`A\mathrm{Gr}(𝐀_R^N)`$ est fortement borné s’il est définissable par une condition semi-algébrique $`\theta `$ et s’il existe $`M𝐍`$ tel que :

$$0\mathrm{ord}_tf_i(x)M,$$

pour tout $`xA`$ et tout $`iI`$, où les $`f_ik[[t]][y_1,\mathrm{},y_N]`$, pour $`iI`$, définissent la condition $`\theta `$.
* Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. On dit que la famille est bornée s’il existe un recouvrement fini de $`X`$ par des ouverts affines $`U_i`$ et si, pour $`iI`$, $`A_{\mathrm{}}\mathrm{Gr}(U_i)`$ est définissable par une condition semi-algébrique $`\theta `$ et des sections régulières $`(h_j^{(i)})_{jJ_i}`$ de $`U_i`$ vérifiant que, via le plongement $`U_i𝐀_R^{|J_i|}`$ défini par les $`h_j^{(i)}`$, l’ensemble $`A_{\mathrm{}}\mathrm{Gr}(U_i)`$ est fortement borné, pour tout $`\mathrm{}𝐍^r`$. Autrement dit, si les polynômes $`f_j^{(i)}`$, pour $`j\mathrm{\Gamma }`$, définissent $`\theta `$, cette dernière condition signifie que, pour tout $`\mathrm{}𝐍^r`$, il existe $`M_{\mathrm{}}𝐍`$ tel que :

$$0\mathrm{ord}_tf_j^{(i)}(h_1^{(i)}(x),\mathrm{},h_{|J_i|}^{(i)}(x))M_{\mathrm{}},$$

pour tout $`xA_{\mathrm{}}\mathrm{Gr}(U_i)`$ et tout $`j\mathrm{\Gamma }`$.

###### 4.1.2 Lemme.

Soit $`Y`$ une $`R`$-variété et $`g:YX`$ un $`R`$-morphisme de schémas. Soit $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Alors, si $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est bornée, la famille $`\left(g^1(A_{\mathrm{}})\right)_{\mathrm{}𝐍^r}`$ est bornée.

###### Démonstration.

La première assertion découle de la proposition 3.2.3 et du fait que, si :

$$yA_{\mathrm{}},\mathrm{ord}_th_j^{(i)}(y)M\mathrm{ord}_th_j^{(i)}g(x)M,xg^1(A_{\mathrm{}}).$$

###### 4.1.3 Lemme.

Une famille $`\left(A_{\mathrm{}}\right)_{\mathrm{}𝐍^r}`$ semi-algébrique de $`\mathrm{Gr}(X)`$ est bornée si et seulement si elle possède un atlas semi-algébrique $`(U_i)_{iI}`$ tel que, pour tout $`iI`$, l’ensemble $`A_l\mathrm{Gr}(U_i)`$ est fortement borné via un système de coordonnées sur $`U_i`$, pour tout $`\mathrm{}𝐍^r`$. En particulier, cette propriété est indépendante du choix d’un tel système.

###### Démonstration.

La condition est clairement suffisante. Montrons qu’elle est nécessaire. Soit $`(U_i)_{iI}`$ un recouvrement fini de $`X`$ par des ouverts affines $`U_i𝐀_R^{n_i}`$, vus comme sous-$`R`$-schémas fermés d’un espace affine de dimension $`n_i`$. Pour alléger les notations, on peut supposer que $`X𝐀_R^n`$ est égal à l’un de ces $`U_i`$. On peut supposer alors que la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ est définissable par $`m`$ sections régulières $`h_j`$, pour $`1jm`$, et une condition semi-algébrique $`\theta `$. Soient $`x_1,\mathrm{},x_n`$ un système de coordonnées de $`X`$ et, pour tout $`1jm`$, $`H_j`$ le polynôme tel que $`h_j=H_j(x_1,\mathrm{},x_n)`$. Comme précèdemment, on peut alors définir la famille $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ également par la donnée d’une condition semi-algébrique $`\theta ^{}`$ et le système de coordonnées $`x_1,\mathrm{},x_n`$ (cf. 3.2.4). Cette donnée résout le problème. La dernière assertion sur l’indépendance du choix du système de coordonnées découle du lemme 4.1.2 appliqué à un morphisme de changement de coordonnées. ∎

La proposition suivante prouve l’existence de présentations bornées pour certaines familles semi-algébriques.

###### 4.1.4 Proposition.

Soient $`X𝐀_R^N`$ une $`R`$-variété affine et $`(A_{\mathrm{}})_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Supposons que, pour tout $`\mathrm{}𝐍^r`$, les $`A_{\mathrm{}}`$ sont faiblement stables. Alors cette famille peut s’écrire comme une combinaison booléenne de familles semi-algébriques bornées de $`\mathrm{Gr}(X)`$.

###### Démonstration.

Cette preuve est essentiellement une retraduction de la d monstration du lemme 2.8 de , que nous explicitons pour des commodit s de lecture. On peut supposer que $`X`$ est une carte semi-algébrique de la famille $`\left(A_{\mathrm{}}\right)_{\mathrm{}𝐍^r}`$. Soient $`f_1,\mathrm{},f_s`$ les polynômes intervenant dans la condition semi-algébrique décrivant la famille des $`A_{\mathrm{}}`$.

Supposons que pour $`i=\mathrm{1,2},\mathrm{},es`$, les fonctions $`\mathrm{ord}_tf_i`$ ne sont pas bornées sur $`A_\nu `$, pour un certain $`\nu 𝐍^r`$, et que les autres fonctions $`\mathrm{ord}_tf_{e+1},\mathrm{},\mathrm{ord}_tf_s`$ sont bornées sur chaque $`A_{\mathrm{}}`$ par une fonction $`\alpha (\mathrm{})`$. Nous allons raisonner par récurrence sur l’entier $`e`$. On peut supposer que $`A_{\mathrm{}}`$ est un ensemble faiblement stable de rang $`\alpha (\mathrm{})`$. Supposons que $`\alpha (\mathrm{})`$ est désormais le plus petit entier satisfaisant les deux conditions ci-dessus. Il découle alors des définitions et du théorème d’élimination des quantificateurs 2.1 de  que l’application $`\alpha :𝐍^r𝐍`$ est une fonction de Presburger. Un théorème de Schappacher (cf. ), utilisé sous la forme du théorème 4.3.8 de , assure qu’il existe une fonction de Presburger $`\beta :𝐍^r𝐍`$, telle que, $`\beta (\mathrm{})\alpha (\mathrm{})`$ pour tout $`\mathrm{}𝐍^r`$, et telle que si $`x\mathrm{Gr}(X)`$ et si :

$`f_1(x)f_2(x)\mathrm{}f_e(x)0modulot^{\beta (\mathrm{})+1},`$ (4.1.1)
alors il existe $`x^{}\mathrm{Gr}(X)`$ tel que $`xx^{}modulot^{\alpha (\mathrm{})+1}`$ et

$`f_1(x^{})=f_2(x^{})=\mathrm{}=f_e(x^{})=0.`$ (4.1.2)
Notons que l’ensemble semi-algébrique $`A_{\mathrm{}}`$ est la réunion des ensembles faiblement stables de $`\mathrm{Gr}(X)`$ suivants :

$$A_{\mathrm{}\mathrm{,1}}:=A_{\mathrm{}}\left\{x\mathrm{Gr}(X)\right|\mathrm{ord}_tf_1(x)\beta (\mathrm{})\}$$

$$\mathrm{}$$

$$A_{\mathrm{},e}:=A_{\mathrm{}}\left\{x\mathrm{Gr}(X)\right|\mathrm{ord}_tf_e(x)\beta (\mathrm{})\}$$

et

$$B_{\mathrm{}}:=A_{\mathrm{}}\left\{x\mathrm{Gr}(X)\right|x\text{ est solution de }\text{4.1.1}\}.$$

Remarquons que, grâce à l’hypothèse de récurrence, les familles $`(A_{\mathrm{},i})_{(\mathrm{},i)}`$ sont des combinaisons booléennes de familles semi-algébriques bornées. Il ne nous reste plus qu’à prouver la validité de l’assertion pour la famille $`(B_{\mathrm{}})_{\mathrm{}𝐍^r}`$.

Considérons alors la famille $`(A_{\mathrm{}}^{})_{\mathrm{}𝐍^r}`$ définie à partir de $`(A_{\mathrm{}})_{\mathrm{}}`$ en remplaçant

$$f_1,f_2,\mathrm{},f_e$$

par 0 et en ajoutant les conditions $`\mathrm{ord}_tf_j(x)\alpha (\mathrm{})`$ pour $`j=e+1,\mathrm{},r`$. Il est clair que cette famille est semi-algébrique et bornée et que, pour tout $`\mathrm{}𝐍^r`$, l’ensemble $`A_{\mathrm{}}^{}`$ est faiblement stable de rang $`\alpha (\mathrm{})`$.

Si $`x\mathrm{Gr}(X)`$ satisfait 4.1.1, alors il existe $`x^{}\mathrm{Gr}(X)`$ vérifiant $`xx^{}modulot^{\alpha (\mathrm{})+1}`$ et 4.1.2. Il en résulte que $`xA_{\mathrm{}}`$ si et seulement si $`x^{}A_{\mathrm{}}`$, puisque $`A_{\mathrm{}}`$ est faiblement stable de rang $`\alpha (\mathrm{})`$. Ceci est équivalent, par 4.1.2, à $`x^{}A_l^{}`$; et cette dernière condition est vérifiée si et seulement si $`xA_{\mathrm{}}^{}`$, puisque, pour tout $`\mathrm{}𝐍^r`$, l’ensemble $`A_{\mathrm{}}^{}`$ et encore faiblement stable de rang $`\alpha (\mathrm{})`$. On a donc :

$$B_{\mathrm{}}=A_l^{}\left\{x\mathrm{Gr}(X)\right|x\text{ est solution de }\text{4.1.1}\}$$

ou, ce qui revient au même,

$$B_{\mathrm{}}=A_l^{}\backslash \underset{i=1}{\overset{e}{}}\left\{x\mathrm{Gr}(X)\right|\mathrm{ord}_tf_i(x)\beta (\mathrm{})\}.$$

L’assertion en découle puisque les familles $`(A_{\mathrm{}}^{})`$ et $`(\left\{x\mathrm{Gr}(X)\right|\mathrm{ord}_tf_i(x)\beta (\mathrm{})\})`$ sont bornées. ∎

### 4.2 Un lemme de fibration pour les familles semi-algébriques bornées

Soient $`X`$ une $`R`$-variété affine, lisse, purement de dimension relative $`d`$ et $`\left(A_{\mathrm{}}\right)_{\mathrm{}𝐍^r}`$ une famille semi-algébrique de $`\mathrm{Gr}(X)`$ vérifiant les propriétés suivantes :

* $`X`$ est une carte affine de cette famille;
* elle est définissable par une condition semi-algébrique $`\theta `$ et un système de coordonnées locales $`x_1,\mathrm{},x_d`$, i.e. les $`d`$ sections régulières induisent un $`R`$-morphisme de schémas étale $`X𝐀_R^d`$;
* si $`\theta (x_1,\mathrm{},x_d;\mathrm{}_1,\mathrm{},\mathrm{}_r)`$ est défini à partir de $`s`$ polynômes $`f_jR[x_1,\mathrm{},x_d]`$, $`1js`$, alors il existe des entiers naturels $`a_{\nu j}`$ vérifiants :

$$f_j(x_1,\mathrm{},x_d)=x_1^{a_1j}\mathrm{}x_d^{a_dj},$$

pour $`1js`$;
* les $`tf_j`$ sont encore des mônomes en les $`x_j`$;
* pour tout $`1jd_0`$, la fonction $`\mathrm{ord}_tx_j`$ est bornée sur $`A_{\mathrm{}}`$ pour chaque $`\mathrm{}𝐍^r`$.

Supposons en outre que $`d_0d`$ est le plus petit entier tel que tous les $`f_j`$ et les $`tf_j`$ s’expriment en fonction de $`d_0`$ coordonnées, que nous supposons, quitte à réordonner, être égales à $`x_1,\mathrm{},x_{d_0}`$. Pour simplifier, supposons que $`d=d_0`$. La combinaison booléenne des conditions du type $`(SAL3)`$ de $`\theta `$ définit un ensemble constructible de $`𝐆_{m,k}^{d_0}`$, que l’on note $`C𝐆_{m,k}^{d_0}`$. Comme dans le paragraphe §3, on note $`D_j`$ l’hypersurface de $`X`$ :

$$D_j=V\left(f_j(x_1,\mathrm{},x_{d_0})\right)X.$$

###### 4.2.1 Proposition.

Sous les hypothèses ci-dessus, il existe une famille finie $`(𝖢_𝗊)_{qQ}`$ d’éléments de $`_k`$, une fonction de Presburger $`\alpha :𝐙^{d_0}𝐙`$ et, pour tout $`qQ`$, un ensemble de Presburger $`P_q`$ tels que, pour tout $`\mathrm{}𝐍^r`$,

$$\mu _𝒳(A_{\mathrm{}})=\underset{qQ}{}[𝖢_𝗊]\underset{n𝐍^{d_0},nP_q(n,\mathrm{})}{}𝐋^{\alpha (n)}.$$

###### Démonstration.

Soit $`Q`$ l’ensemble des parties de l’ensemble $`\{1,\mathrm{},d_0\}`$. Soit $`\alpha :𝐙^{d_0}𝐙`$ l’application qui à $`n𝐙^{d_0}`$ associe l’entier $`d+_{i=1}^{d_0}n_i`$. Cette application est de Presburger par définition. Si $`JQ`$, on pose dans $`_k`$ :

$$𝖢_J:=[𝖣_J^{}\times _{𝐆_{m,k}^{d_0|J|}}C].$$

La condition $`\theta ^{}(n_1,\mathrm{},n_{d_0},\mathrm{}_1,\mathrm{},\mathrm{}_r)`$ définie par,

$$x\theta ,n_i=\mathrm{ord}_tx_i(\phi _x)1id_0,$$

est une condition semi-algébrique grâce au théorème d’élimination des quantificateurs de Pas (cf. théorème de Pas 2.1 de ). Cette condition définit donc un ensemble de Presburger de $`𝐙^{r+|J|}`$. Si $`J`$ est le support de $`n`$, on le note $`P_J(n,\mathrm{})`$.

La section régulière au-dessus de $`X`$ $`x_i`$ définit un $`R`$-morphisme que l’on note encore $`x_i:X𝐀_R^1`$. Pour $`n𝐍^{d_0}`$, on peut alors définir une application :

$$ac_n:_{i=1}^{d_0}\mathrm{ord}_tx_i^1(n_i)𝐆_{m,k}^{d_0},$$

qui consiste à associer à $`x\mathrm{Gr}(X)`$ le $`d_0`$-uplet, dont la $`i`$-ème coordonnée est le premier coefficient non nul de $`x_i(\phi _x)`$, vu comme élément de $`\kappa (x)[[t]]`$. Si $`J`$ est le support de $`n`$, posons

$$𝒲_n:=\pi _{0,X}^1(𝖣_J^{})ac_n^1(C).$$

Il est clair que cet ensemble est un $`(|n|:=_{i=1}^{d_0}n_i)`$-cylindre de $`\mathrm{Gr}(X)`$. Le choix des $`x_i`$ permet d’identifier $`\mathrm{Gr}_{|n|}(𝒳)`$ et $`𝐀_k^{(|n|+1)d}\times _{𝐀_k^d}X_0`$. Le $`k`$-morphisme de schémas $`\theta _0^n:\mathrm{Gr}_{|n|}(X)\mathrm{Gr}_0(X)`$ induit une application :

$$\psi _n:\pi _{|n|,X}(𝒲_n)𝖣_J^{}\times _{𝐆_{m,k}^{d_0|J|}}C.$$

Comme les $`f_j`$ sont des monômes en les $`x_i`$, il est facile de voir, comme dans la preuve du lemme 5.3.2 que, pour tout $`x(𝖣_J^{}\times _{𝐆_{m,k}^{d_0|J|}}C)(\kappa (x))`$, les fibres de cette application sont isomorphes à $`𝐀_{\kappa (x)}^{|n|(d1)}`$. Il découle donc du théorème 4.2.3 de  que cette application est une fibration localement triviale. En particulier, on a dans $`_k`$ la relation :

$$[\pi _{|n|,X}(𝒲_n)]=𝖢_J\times 𝐋^{|n|(d1)}.$$

Il nous reste à calculer le volume $`\mu _X(A_{\mathrm{}})`$. Par définition,

$$A_{\mathrm{}}=\underset{qQ}{}\underset{m𝐍^{|J|},P_q(m,\mathrm{})}{}𝒲_n.$$

Par additivité de la mesure et avec les notations du début,

$$\mu _X(A_{\mathrm{}})=\underset{qQ}{}𝖢_q\underset{m𝐍^{|J|},P_q(m,\mathrm{})}{}𝐋^{\alpha (m)}.$$

### 4.3 L’énoncé des résultats

Le résulat le plus général de ce paragraphe est le théorème 4.3.8. Il a été proposé par Du Sautoy et Loeser. Commençons par rappeler un résultat démontré par Denef et Loeser :

###### 4.3.1 Lemme.

Soit $`P`$ un ensemble de Presburger de $`𝐙^m`$ et $`\phi _i:𝐙^m𝐍`$, pour $`1im`$, des fonctions de Presburger. Supposons que les fibres de l’application $`\phi :P𝐍^r`$ définie par $`i(\phi _1(i),\mathrm{},\phi _r(i))`$ sont finies. Alors la série $`f(X):=_{iP}X^{\phi (i)}`$, avec $`X=(X_1,\mathrm{},X_r)`$, appartient au sous-anneau de $`𝐙[[X]]`$ engendré par $`𝐙[X]`$ et les séries $`(1X^c)^1`$, avec $`c𝐍^r\backslash \{0\}`$.

###### Démonstration.

C’est le lemme 5.2 de . ∎

Cet énoncé va permettre de démontrer la proposition suivante :

###### 4.3.2 Proposition.

Soit $`X`$ une $`R`$-variété plate, purement de dimension relative $`d`$. Soit $`A_n`$, $`n𝐙^r`$, une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Soit $`\alpha :\mathrm{Gr}(X)\times 𝐙𝐍`$ une fonction simple. Supposons que $`A_n\mathrm{Gr}(X_{\mathrm{sing}})=\mathrm{}`$ et que, pour tout $`n𝐍^r`$, les ensembles $`A_n(\alpha (.,n)^1(m))`$ sont stables quel que soit $`m𝐍`$. Alors la série de $`\overline{_k}[[T]]`$

$`{\displaystyle \underset{n𝐍^r}{}}{\displaystyle _{A_n}}𝐋^{\alpha (.,n)}𝑑\mu _XT^n,`$ (4.3.3)
en la variable $`T=(T_1,\mathrm{},T_r)`$, appartient au sous-anneau de $`\overline{_k}[[T]]`$ engendré par $`\overline{_k}[T]`$, par les séries $`(\mathrm{𝟏}𝐋^aT^b)^1`$ et $`(𝐋^i\mathrm{𝟏})^1`$, avec $`a𝐍`$ et $`b𝐍^r\backslash \{0\}`$ et $`i𝐍`$.

###### Démonstration.

Si $`n𝐍^r`$ et $`m𝐍`$, on pose :

$$A_{n,m}:=\left\{xA_n\right|\alpha (x,n)=m\}.$$

Par définition de l’intégrale,

$`{\displaystyle \underset{n𝐍^r}{}}\left({\displaystyle _{A_n}}𝐋^{\alpha (.,n)}𝑑\mu _X\right)T^n={\displaystyle \underset{n𝐍^r}{}}\left({\displaystyle \underset{m𝐍}{}}\mu _X(A_{n,m})𝐋^m\right)T^n.`$ (4.3.4)
Comme, pour tout $`n𝐍^r`$, l’application $`\alpha (.,n)`$ est à valeurs dans $`𝐍`$, remarquons que :

$$A_n\underset{m𝐍}{}A_{n,m},$$

pour tout $`n𝐍^r`$. En particulier, comme $`A_n`$ est faiblement stable, on peut supposer, par quasi-compacité de la topologie constructible (cf. lemme 4.3.10 de ), que $`A_n`$ est recouvert par un nombre fini de $`A_{n,m}`$. Ceci justifie que la série (à support fini!) :

$$\underset{m𝐍}{}\mu _X(A_{n,m})𝐋^m,$$

converge dans $`\widehat{_k}`$ (et même dans $`\overline{_k}`$).

Le théorème de changement de variables appliqué à une résolution de Néron plongée de $`(X,X_{\mathrm{sing}})`$ permet de se ramener au cas où $`XR`$ est lisse. L’additivité de la mesure $`\mu _X`$ (cf. lemme 7.0.7 ) permet de supposer que $`X`$ est une $`R`$-variété affine. En outre, grâce au lemme 4.1.4, les relations d’additivité et la stabilité de la propriété d’être borné par intersection finie permettent de supposer que la famille semi-algébrique de $`\mathrm{Gr}(X)`$ :

$$\left(A_{n,m}\right)_{(n,m)𝐍^r\times 𝐍}$$

est bornée. Enfin, toujours par additivité de la mesure et grâce au lemme 4.1.3, on peut se ramener au cas où $`X`$ est une carte semi-algébrique pour la famille des $`A_{n,m}`$.

Si $`F`$ est le produit de tous les polynômes $`f_i`$, $`1im`$, qui interviennent dans la description des conditions du type $`(SAL1)`$, $`(SAL2)`$ et $`(SAL3)`$ définissant la famille $`(A_{m,n})_{(n,m)}`$, on peut considérer $`h:YX`$ une résolution de Néron plongée de $`(X,V(tF))`$. Le théorème de changement de variables donne alors la formule :

$$\mu _X(A_{n,m})=\underset{e𝐍}{}\mu _Y\left(h^1(A_{n,m})\mathrm{ord}_t(\mathrm{Jac})_h^1(e)\right)𝐋^e.$$

Comme précédemment, on peut supposer, puisque la topologie constructible est quasi-compacte, que cette somme est à support fini, donc convergente dans $`\overline{_k}`$. Par construction, il existe un recouvrement fini de $`Y`$ par des ouverts affines $`(V_i)_{iI}`$ et, pour tout $`iI`$, $`d`$ sections $`z_1,\mathrm{},z_d`$ sur $`V_i`$, induisant un $`R`$-morphisme étale de schémas $`V_i𝐀_R^d`$, et telles que, pour tout $`1jm`$, $`f_j`$ s’exprime comme un monôme en les $`z_1,\mathrm{},z_d`$. En outre, on peut supposer que, sur chaque $`V_i`$, la famille semi-algébrique des $`h^1(A_{n,m})`$ est définissable par une condition semi-algébrique $`\theta `$ et les $`z_j`$ et, qu’ainsi définie, cette famille est bornée, puisque celle des $`A_{n,m}`$ l’est. Par ailleurs, comme $`X`$ est lisse sur $`R`$, la famille semi-algébrique de $`\mathrm{Gr}(Y)`$,

$$\left(\mathrm{ord}_t(\mathrm{Jac})_h^1(e)\right)_{e𝐍}$$

est définissable sur chaque $`V_i`$ par une section régulière $`g(z_1,\mathrm{},z_d)=z_1^{b_1}\mathrm{}z_d^{b_d}`$, avec $`b_j0`$. En particulier, cette famille est bornée. Supposons que $`g`$ et les $`f_j`$ sont des monômes en $`z_1,\mathrm{},z_{d_0}`$ et que l’entier $`d_0d`$ est le plus petit entier qui vérifie cette condition. On peut supposer, par additivité de la mesure $`\mu _Y`$, que $`Y`$ est égal à l’un des $`V_i`$.

Il découle de l’étude menée au §4.2 et de la proposition 4.2.1 qu’il existe une famille finie d’éléments $`(𝖢_q)_{qQ}`$ et un ensemble de Presburger $`P`$ de $`𝐙^{r+1+d_0}`$ tel que, pour tout $`n𝐍^r`$ et tout $`m𝐍`$,

$`\mu _X(A_{n,m})={\displaystyle \underset{qQ}{}}𝖢_q{\displaystyle \underset{P(\mathrm{},n,m)}{}}𝐋^{d_{i=1}^{d_0}\mathrm{}_i}𝐋^{\beta (\mathrm{})},`$ (4.3.5)
L’application $`\beta `$ est la forme linéaire à coefficients dans $`𝐍`$, qui, à $`\mathrm{}𝐍^{d_0}`$, associe l’entier naturel $`_{i=1}^{d_0}b_i\mathrm{}_i`$. Les égalités de 4.3.4 et 4.3.5 entrainent donc que la série :

$$\underset{n𝐍^r}{}_{A_n}𝐋^{\alpha (.,n)}𝑑\mu _{\widehat{X}}T^n$$

est une $`_k`$-combinaison linéaire de séries formelles de la forme $`f(𝐋^1,T_1,\mathrm{},T_r)`$, avec $`f(U,X_1,\mathrm{},X_r)𝐙[[U,X_1,\mathrm{},X_r]]`$ de la forme de celle du lemme ci-dessus. ∎

Les hypothèses de de la proposition 4.3.2 permettent en réalité d’affiner l’énoncé en :

###### 4.3.3 Théorème.

Soit $`X`$ une $`R`$-variété plate, purement de dimension relative $`d`$. Soit $`A_n`$, $`n𝐙^r`$, une famille semi-algébrique de $`\mathrm{Gr}(X)`$. Soit $`\alpha :\mathrm{Gr}(X)\times 𝐙𝐍`$ une fonction simple. Supposons que $`A_n\mathrm{Gr}(X_{\mathrm{sing}})=\mathrm{}`$ et que, pour tout $`n𝐍^r`$, les ensembles $`A_n(\alpha (.,n)^1(m))`$ sont stables quel que soit $`m𝐍`$. Alors la série de $`_k[[T]]`$

$`{\displaystyle \underset{n𝐍^r}{}}{\displaystyle _{A_n}}𝐋^{\alpha (.,n)}𝑑\mu _XT^n,`$ (4.3.6)
en la variable $`T=(T_1,\mathrm{},T_r)`$, appartient au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$, par les séries $`(\mathrm{𝟏}𝐋^aT^b)^1`$ et $`(𝐋^i\mathrm{𝟏})^1`$, avec $`a𝐍`$ et $`b𝐍^r\backslash \{0\}`$ et $`i𝐍`$.

###### Démonstration.

Commençons par donner un sens à l’énoncé de ce théorème. En effet, a priori,

$$\mu _X(A_n)\overline{_k}.$$

Toutefois, si $`A`$ est un $`\nu `$-cylindre contenu dans $`\mathrm{Gr}(X)\backslash \mathrm{Gr}(X_{\mathrm{sing}})`$, il découle des définitions (cf. ) que :

$$\mu _X(A)=\iota (\mu _{0,X}(A)),$$

$`\iota :_k\widehat{_k}`$ est le morphisme d’anneaux canonique et $`\mu _{0,X}`$ l’application additive sur $`𝐂_{0,\widehat{X}}`$ définie par :

$$\mu _{0,X}(A)=\left[\pi _{\nu ,X}(A)\right]𝐋^{(\nu +1)d}.$$

En identifiant, $`\mu _X`$ et $`\mu _{0,X}`$, on peut donc supposer que :

$$\mu _X(A_n)_k.$$

Passons à la démonstration proprement dite. Remarquons que si $`h:YX`$ est une résolution de Néron plongée de $`(X,Z)`$, $`Z`$ une sous-$`R`$-variété fermée de $`X`$ contenant $`X_{\mathrm{sing}}`$, la condition, vérifiée par $`h`$, que :

$$h^1(Z)\mathrm{ord}_t(\mathrm{Jac})_h^1(\mathrm{})$$

entraîne en particulier que, pour tout cylindre $`A\mathrm{Gr}(X)\backslash \mathrm{Gr}(Z)`$, il existe un nombre fini d’entiers naturels $`eI`$ et un entier naturel $`e^{}`$ tels que :

$$h^1(A)\left(\underset{eI}{}\mathrm{ord}_t(\mathrm{Jac})_h^1(e)\right)h^1(\mathrm{Gr}^e^{}(X)).$$

Il découle alors de la première remarque ci-dessus et du lemme 8.1.3 de  que :

$$\mu _X(h^1(A))_k.$$

Cette dernière remarque permet d’interpréter le lemme 8.1.3 de  comme un théorème de changement de variables dans $`_k`$.

La preuve du théorème 4.3.3 devient alors une simple réadaptation de la démonstration de la proposition 4.3.2 (cf. §4.3) en substituant, à l’usage du théorème de changement de variable “ classique ”, celui du lemme 8.1.3 de . ∎

###### 4.3.4 Corollaire.

Si $`k`$ est un corps de caractéristique 0 et $`X`$ une $`k[[t]]`$-variété plate, purement de dimension relative $`d`$. Alors

$$\mu _X(\mathrm{Gr}(X))\overline{_k}\left[\left(\frac{𝐋\mathrm{𝟏}}{𝐋^i\mathrm{𝟏}}\right)_{i1}\right].$$

###### Démonstration.

Soit $`h:YX`$ une résolution de Néron plongée de $`X`$. Le théorème de changement de variables assure alors que :

$$\mu _X(\mathrm{Gr}(X))=_{\mathrm{Gr}(Y)}𝐋^{\mathrm{ord}_t(\mathrm{Jac})}𝑑\mu _Y:=𝐋^d\underset{n𝐍}{}\mu _Y(\mathrm{ord}_t(\mathrm{Jac})^1(n))𝐋^{nd}.$$

On applique la proposition 4.3.2 ci-dessus à la famille :

$$A_n:=\left(\mathrm{ord}_t(\mathrm{Jac})^1(n)\right)_{n𝐍}$$

et à la série :

$$V(T):=\underset{n𝐍}{}T^n_{A_n}𝐋^0𝑑\mu _Y.$$

Le résultat en découle du fait que, grâce à la première égalité ci-dessus, $`V(𝐋^1)=\mu _X(\mathrm{Gr}(X))`$.

###### 4.3.5 Corollaire.

Soit $`Y`$ une $`R`$-variété. Soit $`A`$ un ensemble semi-algébrique de $`\mathrm{Gr}(Y)`$. Alors la série :

$`P_A(T):={\displaystyle \underset{n=0}{\overset{+\mathrm{}}{}}}[\pi _{n,\widehat{Y}}(A)]T^n_k[[T]],`$ (4.3.7)
appartient au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$, les séries $`(\mathrm{𝟏}𝐋^aT^b)^1`$ et $`(𝐋^i\mathrm{𝟏})^1`$, avec $`a𝐍`$ et $`b𝐍\backslash \{0\}`$ et $`i𝐍`$.

###### Démonstration.

On peut supposer que $`Y`$ est une sous-$`R`$-variété d’une variété $`X`$, lisse, connexe, de dimension $`d`$ et de fibre spéciale réduite. Par définition,

$$_{\pi _{n,X}^1(\pi _{n,Y}(A))}𝐋^0𝑑\mu _X=[\pi _{n,Y}(A)]𝐋^{(n+1)d}.$$

La série $`𝐋^d_{n=0}[\pi _{n,X}(A)](𝐋^dT)^n`$ appartient (cf. lemme 4.3.6 ci-dessous et théorème 4.3.3) au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$ et les séries $`(\mathrm{𝟏}𝐋^aT^b)^1`$, avec $`a𝐍`$ et $`b𝐍\backslash \{0\}`$. ∎

Le lemme ci-dessous est une généralisation de l’exemple 3.3.2/1 :

###### 4.3.6 Lemme.

Soit $`X`$ une $`R`$-variété lisse. Soient $`YX`$ une sous-$`R`$-variété localement fermée de $`X`$ et $`A\mathrm{Gr}(\widehat{Y})`$ un ensemble semi-algébrique de $`\mathrm{Gr}(\widehat{Y})`$. Alors la famille :

$$\left(\pi _{n,\widehat{X}}^1\left(\pi _{n,\widehat{Y}}(A)\right)\right)_{n𝐍}$$

est une famille semi-algébrique d’ensembles stables de $`\mathrm{Gr}(X)`$.

###### Démonstration.

La stabilité des ensembles

$$B_n:=\pi _{n,\widehat{X}}^1\left(\pi _{n,\widehat{Y}}(A)\right)$$

découle de la lissité de $`X`$. Il existe $`UY`$ un ouvert affine de $`X`$ tel que $`UY`$ est une carte semi-algébrique de $`A`$ et tel que $`YUU`$ est une immersion fermée. On peut donc supposer que $`X𝐀_R^N`$ est affine, que $`Y`$ est une carte affine de $`A`$ et que $`Y`$ est une sous-$`R`$-variété fermée de $`X`$. Soit $`\theta `$ la condition semi-algébrique définissanr la $`A`$. Considérons $`\theta ^{}`$ la condition semi-algébrique obtenue en ajoutant à $`\theta `$ les conditions :

$$\mathrm{ord}_tf_j(x_j,y_j)L(n),$$

avec $`f_j(x_j,y_j)=x_jy_j`$, pour $`1jN`$, et $`L(x)=x+1`$, et :

$$\mathrm{ord}_tg_i=\mathrm{},$$

où les $`g_i`$, pour $`1im`$, sont une présentation de sections régulières de $`X`$ définissant $`Y`$ comme sous-variété fermée. Le théorème d’élimination des quantificateurs 2.1 de  implique, comme pour l’exemple 3.3.2/1, que la famille des $`B_n`$ est une semi-algébrique, définissable à partir de la condition $`\theta ^{}`$. ∎

###### 4.3.7 Corollaire.

Soit $`X`$ une $`R`$-variété. La série de Poincaré motivique associée à $`X`$,

$$P_X(T):=\underset{n𝐍}{}[\pi _{n,X}(\mathrm{Gr}(X))]T^n_k[[T]]$$

appartient au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$, les séries $`(\mathrm{𝟏}𝐋^aT^b)^1`$ et $`(𝐋^i\mathrm{𝟏})^1`$ , avec $`a𝐍`$ et $`b𝐍\backslash \{0\}`$ et $`i𝐍`$.

###### 4.3.8 Théorème.

Soit $`X`$ une $`R`$-variété plate, purement de dimension relative $`d`$. Soit $`A_n`$, $`n𝐙^r`$, une famille semi-algébrique de $`\mathrm{Gr}(X)`$ et soit $`\alpha :\mathrm{Gr}(X)\times 𝐙^r𝐍`$ une fonction simple. Alors, si, pour tout $`n𝐍^r`$, l’application $`\alpha (.,n):A_n𝐍`$ est exponentiellement intégrable, la série

$`{\displaystyle \underset{n𝐍^r}{}}{\displaystyle _{A_n}}𝐋^{\alpha (.,n)}𝑑\mu _XT^n,`$ (4.3.8)
en $`T=(T_1,\mathrm{},T_r)`$ appartient au sous-anneau de $`\widehat{_k}[[T]]`$ engendré par $`\overline{_k}[T]`$, par les séries $`(𝐋^i\mathrm{𝟏})^1`$ et $`(\mathrm{𝟏}𝐋^aT^b)^1`$, où $`i𝐍\backslash \{0\}`$, $`a𝐍`$ et $`b𝐍^r\backslash \{0\}`$.

###### Démonstration.

La démonstration de ce théorème est analogue à celle de la proposition 4.3.2. L’unique différence vient du fait qu’ici il n’est plus nécessaire de considérer des familles bornées. Le résultat découle donc du lemme 4.3 et de la proposition 4.2.1. ∎

## 5 La rationalité des fonctions Zêta d’Igusa motiviques

Nous supposons que $`R=k[[t]]`$, avec $`k`$ un corps de caractéristique 0.

### 5.1 Les diviseurs à croisements normaux

#### 5.1.1

Soit $`Y`$ un schéma. Soit $`DY`$ un diviseur de $`Y`$. On dit que $`D`$ est un diviseur à croisements normaux, si :

1. pour tout $`sD`$, l’anneau local $`𝒪_{Y,s}`$ est régulier;
2. pour tout $`sD`$, il existe un système régulier de paramètres en $`s`$, $`t_1,\mathrm{},t_d`$, tel qu’une équation de $`D`$, au voisinage de $`s`$, est $`t_1^{n_1}\mathrm{}t_d^{n_d}=0`$, avec $`n_i0`$ pour tout $`1id`$.

Si, en outre, les $`D_i`$, pour tout $`iI`$, d signent les composantes irr ductibles de $`D`$ et si les schémas $`D_i`$ sont réguliers, on dit que le diviseur $`D`$ est à croisements normaux stricts dans $`Y`$.

###### 5.1.2 Lemme.

Soit $`Y`$ une $`R`$-variété lisse. Soit $`DY`$ un diviseur à croisements normaux (resp. stricts) de $`Y`$. Si $`EY`$ est un diviseur de $`Y`$ contenu dans $`D`$, alors $`E`$ est croisements normaux (resp. stricts).

###### Démonstration.

L’assertion découle directement de la d finition 5.1.1. ∎

Si $`𝖹𝖸`$ est une sous-$`k`$-variété fermée de $`𝖸`$, on note $`(𝖹_j)_{1jr}`$ l’ensemble des composantes irréductibles de $`𝖹`$. Pour $`I\{1,\mathrm{},r\}`$, on note $`𝖹_I=_{iI}𝖹_i`$, si $`I\mathrm{}`$, et $`𝖸`$ sinon. On pose $`𝖹_I^{}:=𝖹_I\backslash _{i\{1,\mathrm{},r\}\backslash J}𝖹_i`$. En particulier, $`𝖹_{\mathrm{}}^{}=𝖸\backslash 𝖹`$. Il découle également de la définition que $`𝖸=_{I\{1,\mathrm{},r\}}𝖹_I^{}`$.

### 5.2 Les notations

Dans ce paragraphe, nous adoptons les notations et conventions suivantes :

* Si $`𝖹𝖸`$ est une sous-$`k`$-variété fermée de $`𝖸`$, on note $`(𝖹_j)_{1jr}`$ l’ensemble des composantes irréductibles de $`𝖹`$. Pour $`I\{1,\mathrm{},r\}`$, on note $`𝖹_I=_{iI}𝖹_i`$, si $`I\mathrm{}`$, et $`𝖸`$ sinon. On pose $`𝖹_I^{}:=𝖹_I\backslash _{i\{1,\mathrm{},r\}\backslash J}𝖹_i`$. En particulier, $`𝖹_{\mathrm{}}^{}=𝖸\backslash 𝖹`$. Il découle également de la définition que $`𝖸=_{I\{1,\mathrm{},r\}}𝖹_I^{}`$.
* Si $`Y`$ est une $`R`$-variété algébrique lisse et $`DY`$ un diviseur de $`Y`$, on note $`r`$ le nombre de composantes connexes de $`𝖸`$. On suppose que $`D`$ possède $`m`$ composantes irréductibles que l’on note $`D_i`$, pour $`1im`$. On pose $`I`$ l’ensemble des $`i`$ tels que $`D_i𝖸`$. Si $`xD_i`$, on note $`I_x`$ l’ensemble des $`i`$ tels que $`xD_{I_x}^{}`$.
* Si $`n𝐍^m`$, on note $`n_i`$ ses coordonnées, pour $`1im`$, et $`J`$ son support, i.e. l’ensemble des $`i`$ tels que $`n_i0`$. Si $`D`$ est un diviseur de $`Y`$, on dit que $`n`$ ne vérifie pas la propriété $`𝔓_D`$, ce que l’on note $`n𝔓_D`$, si

$$\{\begin{array}{c}r|I|1\text{ et si }iI\text{ tel que }n_i\{\mathrm{0,1}\}\text{;}\hfill \\ \text{ou}\hfill \\ r|I|1\text{ et si }i,jI\text{ tels que }n_i=n_j=1\text{;}\hfill \\ \text{ou}\hfill \\ |I|=r\text{ et si }iI,n_i1.\hfill \end{array}$$

Dans le cas contraire, on dit que $`n`$ vérifie la propriété $`𝔓_D`$, ce que l’on note $`n𝔓_D`$.
* nous ne nous intéressons qu’aux diviseurs $`D`$ tels que $`\widehat{D}\mathrm{}`$.

### 5.3 La fonction Zêta motivique associée à un diviseur à croisements normaux stricts d’une variété lisse

Soit $`Y`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soit $`DY`$ un diviseur à croisements normaux stricts, r duit. Supposons en outre que $`tD`$ est encore un diviseur croisements normaux stricts dans $`Y`$. La fonction Zêta (d’Igusa) motivique associée à $`D`$ est la série de $`_k[[T_1,\mathrm{},T_m]]`$ définie par :

$`Z_D(T):={\displaystyle \underset{n:=(n_1,\mathrm{},n_m)}{}}[\pi _{|n|,Y}\left(_{i=1}^m\mathrm{mult}_{D_i}^1(n_i)\right)]𝐋^{|n|d}T^n,`$ (5.3.9)
avec les notations $`T^n:=T_1^{n_1}\mathrm{}T_m^{n_m}`$ et $`|n|=_{i=1}^mn_i`$ pour tout $`n𝐍^m`$. Si $`x𝖣(k)`$, on associe au couple $`(D,x)`$ la fonction Zêta de support $`x`$ :

$$Z_{D,x}(T):=\underset{n:=(n_1,\mathrm{},n_m)}{}\left[\pi _{|n|,Y}\left(\left(_{i=1}^m\mathrm{mult}_{D_i}^1(n_i)\right)\pi _{0,Y}^1(x)\right)\right]𝐋^{|n|d}T^n.$$

Commençons par démontrer un lemme général qui interviendra dans les calculs des différents résultats ci-dessous :

###### 5.3.1 Lemme.

Soient $`A`$ un anneau commutatif et $`m`$ un entier naturel non nul. Si $`aA`$ est un élément inversible, alors la série :

$$S_a(T):=\underset{n(𝐍\backslash \{0\})^m}{}a^{|n|}T^n=\underset{i=1}{\overset{m}{}}\frac{a^1T_i}{1a^1T_i}A[[T_1,\mathrm{},T_m]].$$

###### Démonstration.

Il découle de la définition que :

$$S_a(T)=\underset{n_1>0,\mathrm{},n_m>0}{}\left(\underset{i=1}{\overset{m}{}}a^{n_i}T_i^{n_i}\right).$$

Par suite,

$$S_a(T)=\underset{i=1}{\overset{m}{}}\left(\underset{n_i>0}{}a^{n_i}T_i^{n_i}\right),$$

ou ce qui revient au même

$$S_a(T)=\underset{i=1}{\overset{m}{}}\left(\frac{1}{1a^1T_i}1\right),$$

soit :

$$S_a(T)=\underset{i=1}{\overset{m}{}}\frac{a^1T_i}{1a^1T_i},$$

###### 5.3.2 Lemme.

Soit $`n𝐍^m`$. Alors on a, dans $`_k`$, la relation

$$[\pi _{|n|,Y}\left(_{i=1}^m\mathrm{mult}_{D_i}^1(n_i)\right)]=[𝖣_J^{}]\times (𝐋\mathrm{𝟏})^{|J|}\times 𝐋^{|n|(d1)},$$

si $`n𝔓_D`$. Sinon,

$$[\pi _{|n|,Y}\left(_{i=1}^m\mathrm{mult}_{D_i}^1(n_i)\right)]=0.$$

###### Démonstration.

Soit $`n𝐍^m`$. Posons :

$$A_n:=_{i=1}^m\mathrm{mult}_{D_i}^1(n_i).$$

$``$ Supposons que $`|I|1`$. S’il existe $`iI`$ tel que $`n_i\{\mathrm{0,1}\}`$, il découle de la propriété 2.2.3/4 que :

$$\pi _{|n|,Y}(A_n)=\mathrm{}.$$

De même, comme $`YR`$ est supposée lisse, les $`𝖣_i`$, pour $`iI`$, sont deux à deux disjoints. En particulier, pour tout $`1ijq`$,

$$\mathrm{mult}_{D_i}^1(1)\mathrm{mult}_{D_i}^1(1)=\mathrm{}.$$

Enfin, comme $`\mathrm{mult}_𝖸(y)=1`$ pour tout $`y\mathrm{Gr}(Y)`$, il est clair que :

$$_{iI}^q\mathrm{mult}_{D_i}^1(0)=\mathrm{},$$

si $`|I|=r1`$. En outre, $`A_n`$ est vide si et seulement si l’une de ces conditions est vérifiée, puisque $`Y`$ est lisse sur $`R`$. Par suite, $`A_n=\mathrm{}`$ si et seulement si $`n𝔓_D`$.

$``$ Supposons désormais que $`n𝔓_D`$. Comme par hypothèse $`YR`$ est lisse, le $`k`$-morphisme de schémas canonique $`\theta _{0^n}:\mathrm{Gr}_{|n|}(𝒴)\mathrm{Gr}_0(𝒴)`$ induit une application surjective :

$$\pi _{|n|,𝒴}(A_n)\pi _{0,𝒴}(A_n).$$

Le théorème 4.2.3 de  assure qu’il nous suffit de prouver une propriété analogue sur les fibres de cette application pour démontrer le résultat. La question étant locale, on peut ramener l’étude au cas d’un $`R`$-schéma affine $`YR`$ lisse purement de dimension relative $`d`$, muni d’un $`R`$-morphisme de schémas étale $`Y𝐀_R^d`$ (ou, ce qui revient au même, d’un système de $`d`$ coordonnées locales $`x_1,\mathrm{},x_d`$ tel que $`D`$ soit défini par l’annulation d’un monôme en les $`x_i`$. Soit $`d_0`$ un entier naturel non nul, inférieur ou gal à $`d`$, et tel que l’équation de $`D`$ soit $`x_\mathrm{}_1\mathrm{}x_{\mathrm{}_{d_0}}`$. On peut supposer que $`J\{1,\mathrm{},d_0\}`$.

Si, $`xA_n`$, la fibre au-dessus de $`\pi _{0,Y}(x)`$ par la restriction du morphisme de transition $`\pi _{|n|,Y}(A_n)\pi _{0,Y}(A_n)`$ est isomorphe à $`𝐆_m^{|J|}\times 𝐋^{|n|d|n|}`$. En particulier :

$$[\pi _{|n|,Y}(A_n)]𝐋^{|n|d}=[𝖣_J^{}]\times (𝐋\mathrm{𝟏})^{|J|}\times 𝐋^{|n|}.$$

###### 5.3.3 Proposition.

Soit $`Y`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soit $`DY`$ un diviseur r duit de $`Y`$. Si $`D`$ et $`tD`$ sont à croisements normaux stricts, alors la fonction Zêta $`Z_D(T)`$ appartient au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$ et les éléments $`(\mathrm{𝟏}𝐋^1T^i)^1`$ avec $`i𝐍^m`$. Plus précisément :

$`\mathrm{}`$ si $`|I|=0`$ :

$$Z_D(T)=\underset{J\{1,\mathrm{},m\}}{}[𝖣_J^{}].\left(\underset{jJ}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_j}{\mathrm{𝟏}𝐋^1T_j}\right).$$

$`\mathrm{}`$ Si $`|I|1`$ et $`D𝖸`$ et $`𝖸D`$ :

$$Z_D(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}\underset{\mathrm{}I}{}\underset{J\{1,\mathrm{},m\}\backslash I}{}[𝖣_{J\{\mathrm{}\}}^{}]\left(\underset{jJ}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_j}{\mathrm{𝟏}𝐋^1T_j}\right)T_{\mathrm{}}$$

$$+\underset{J\{1,\mathrm{},m\}\backslash I}{}[𝖣_J^{}].\left(\underset{jJ}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_j}{\mathrm{𝟏}𝐋^1T_j}\right).$$

$`\mathrm{}`$ Si $`|I|=r`$ et $`m>|I|`$ :

$$Z_D(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}\underset{\mathrm{}I}{}\underset{J\{1,\mathrm{},m\}\backslash I}{}[𝖣_{J\{\mathrm{}\}}].\left(\underset{jJ}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_j}{\mathrm{𝟏}𝐋^1T_j}\right)T_{\mathrm{}}.$$

$`\mathrm{}`$ Si $`D=𝖸`$ :

$$Z_D(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}\underset{i=1}{\overset{r}{}}\left[𝖸_i\right]T_i.$$

###### Démonstration.

Quitte à réordonner les composantes irréductibles de $`D`$, on peut supposer qu’il existe un entier $`0qm`$ tel que les composantes $`D_iY`$ sont contenues dans $`𝖸`$ si et seulement si $`mq+1im`$.

$``$ Si $`D=𝖸`$, la formule découle directement du lemme 5.3.2.

$``$ Si $`q=0`$, il découle de la définition et du lemme 5.3.2 :

$$Z_D(T)=\underset{J\{1,\mathrm{},m\}}{}\underset{n(𝐍\backslash \{0\})^{|J|}}{}\left(_{iJ}\mathrm{mult}_{D_i}^1(n_i)\right)\left(_{jJ}\mathrm{mult}_{D_j}^1(0)\right).$$

Toujours grâce au lemme 5.3.2, on a plus précisément :

$$Z_D(T)=\underset{J\{1,\mathrm{},m\}}{}\left[D_J^{}\right](𝐋\mathrm{𝟏})^{|J|}\underset{n(𝐍\backslash \{0\})^{|J|}}{}𝐋^{|n|}T^n.$$

Le lemme 5.3.1 implique alors que :

$$Z_D(T)=\underset{J\{1,\mathrm{},m\}}{}\left[D_J^{}\right]\underset{jJ}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_j}{\mathrm{𝟏}𝐋^1T_j}.$$

$``$ Supposons que $`D𝖸`$. Le lemme 5.3.2 et l’additivité de $`[]`$ sur les constructibles assurent que :

$$Z_D(T)=\underset{\mathrm{}=mq+1}{\overset{m}{}}\underset{J\{1\mathrm{}mq\}}{}$$

$$\underset{n𝐍^{mq}}{}\left(\underset{iJ}{}\mathrm{mult}_{D_i}^1(n_i)\right)\left(\underset{jJ,j\{mq+1,\mathrm{},m\}\backslash \{\mathrm{}\}}{}\mathrm{mult}_{D_j}^1(0)\right)\mathrm{mult}_D_{\mathrm{}}^1(1)𝐋^{(|n|+1)d}T^nT_{\mathrm{}}$$

$$+$$

$$(1\delta _{q,r})\underset{J\{1,\mathrm{},mq\}}{}\underset{n𝐍^{mq}}{}\left(\underset{iJ}{}\mathrm{mult}_{D_i}^1(n_i)\right)\left(\underset{jJ,j\{mq+1,\mathrm{},m\}}{}\mathrm{mult}_{D_j}^1(0)\right)𝐋^{|n|}T^n,$$

$`\delta _{q,r}`$ vaut 1 si $`q=r`$, et 0 sinon. Les formules découlent alors du lemme 5.3.2 par les mêmes calculs que ceux du cas $`q=0`$. ∎

###### 5.3.4 Lemme.

Soient $`n𝐍^m`$ et $`x𝖣(k)`$, alors on a dans $`_k`$ la relation :

$$\left[\pi _{|n|,Y}\left((_{i=1}^m\mathrm{mult}_{D_i}^1(n_i))\pi _{0,Y}^1(x)\right)\right]=(𝐋\mathrm{𝟏})^{|I_x|}\times 𝐋^{|n|(d1)},$$

si $`n𝔓_D`$ et si $`J=I_x`$. Sinon,

$$\left[\pi _{|n|,Y}\left((_{i=1}^m\mathrm{mult}_{D_i}^1(n_i))\pi _{0,Y}^1(x)\right)\right]=0.$$

###### Démonstration.

Posons $`A_{n,x}:=(_{i=1}^m\mathrm{mult}_{D_i}^1(n_i))\pi _{0,Y}^1(x)`$. Comme par hypothèse $`YR`$ est lisse, le $`k`$-morphisme de schémas canonique $`\theta _{0^n}:\mathrm{Gr}_{|n|}(𝒴)\mathrm{Gr}_0(𝒴)`$ induit une application surjective :

$$\pi _{|n|,𝒴}(A_{n,x})\pi _{0,𝒴}(A_{n,x})=\{x\},$$

dont les fibres, si $`A_{n,x}\mathrm{}`$, sont isomorphes à $`𝐆_{m,\kappa (x)}^{|I_x|}\times _k𝐀_{\kappa (x)}^{|n|(d1)}`$. Le lemme découle donc du théorème 4.2.3 de .

###### 5.3.5 Proposition.

Soit $`Y`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soient $`DY`$ un diviseur r duit de $`Y`$ et $`x𝖣(k)`$. Si $`D`$ et $`tD`$ sont à croisements normaux stricts, alors la fonction Zêta $`Z_{D,x}(T)`$ appartient au sous-anneau de $`_k[[T]]`$ engendré par $`_k[T]`$ et les éléments $`(\mathrm{𝟏}𝐋^1T^i)^1`$ avec $`i𝐍^m`$. Plus précisément,

$``$ Si $`D𝖸`$ et si $`x`$ n’appartient à aucune composante de $`𝖸`$ contenue dans $`𝖣`$ :

$$Z_{D,x}(T)=\underset{iI_x}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_i}{\mathrm{𝟏}𝐋^1T_i}.$$

$``$ Si $`D𝖸`$ et si $`x`$ appartient à une composante $`𝖸_{\mathrm{}}`$ de $`𝖸`$ contenue dans $`𝖣`$ :

$$Z_{D,x}(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}T_{\mathrm{}}\underset{iI_x,i\mathrm{}}{}\frac{(𝐋\mathrm{𝟏})𝐋^1T_i}{\mathrm{𝟏}𝐋^1T_i}.$$

$``$ Si $`D=𝖸`$ :

$$Z_{D,x}(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}T_{\mathrm{}}.$$

###### Démonstration.

Soit $`x𝖣(k)`$. Posons $`I:=I_x`$. Par définition,

$$Z_{D,x}(T)=\underset{n𝐍^m}{}\left[\pi _{|n|,Y}\left((_{i=1}^m\mathrm{mult}_{D_i}^1(n_i))\pi _{0,Y}^1(x)\right)\right]𝐋^{|n|}T^n$$

Il découle du lemme 5.3.4 que :

$$Z_{D,x}(T)=\underset{n(𝐍\backslash \{0\})^{|I|}}{}\left[\pi _{|n|,Y}\left(\left(_{iI}\mathrm{mult}_{D_i}^1(n_i)\right)\left(_{iI}\mathrm{mult}_{D_i}^1(0)\right)\pi _{0,Y}^1(x)\right)\right]𝐋^{|n|}T^n.$$

Si $`x`$ n’appartient à aucune composante de $`D`$ contenue dans $`𝖸`$, toujours grâce au lemme 5.3.4,

$$Z_{D,x}(T)=\underset{n(𝐍\backslash \{0\})^{|I|}}{}(𝐋\mathrm{𝟏})^{|I|}𝐋^{|n|}T^n.$$

Sinon, il existe une unique composante de $`𝖸`$ contenue dans $`D`$ et contenant $`x`$ et donc :

$$Z_{D,x}(T)=\frac{𝐋\mathrm{𝟏}}{𝐋}T_{\mathrm{}}\underset{n(𝐍\backslash \{0\})^{|I|1}}{}(𝐋\mathrm{𝟏})^{|I|1}𝐋^{|n|}T^n.$$

Les formules découlent alors directement du lemme 5.3.1.

###### 5.3.6 Proposition.

Soit $`X`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soit $`EX`$ une sous-$`R`$-variété fermée de $`X`$, de codimension au moins 1, telle que $`tE`$ contient le lieu singulier de $`X`$. Alors l’intégrale :

$`{\displaystyle _{\mathrm{Gr}(X)}}𝐋^{\mathrm{mult}_E}𝑑\mu _X\widehat{_k}.`$ (5.3.10)
appartient au sous-anneau engendré par $`\overline{_k}`$ et les éléments $`(𝐋^a\mathrm{𝟏})^1`$ pour $`a𝐍\backslash \{0\}`$.

###### Démonstration.

La fonction $`x\mathrm{Gr}(X)\mathrm{mult}_E(x)`$ est exponentiellement intégrable car $`E`$ est de codimension au moins 1 dans $`X`$. Soit $`h:YX`$ une résolution de Néron plongée de $`(X,tE)`$. Le théorème de changement de variables 2.5.2 assure alors que :

$$I_E:=_{\mathrm{Gr}(X)}𝐋^{\mathrm{mult}_E}𝑑\mu _X=_{\mathrm{Gr}(Y)}𝐋^{\mathrm{mult}_{h^1(E)}\mathrm{ord}_t(\mathrm{Jac})_h}𝑑\mu _Y.$$

Comme $`X`$ est lisse, $`\mathrm{ord}_t(\mathrm{Jac})^1(\mathrm{})`$ est un diviseur de $`Y`$ contenu dans $`D:=h^1(E)`$ qui est un diviseur de $`Y`$ à croisements normaux stricts, par définition des résolutions de Néron plongées. Soient $`D_i`$, pour $`1im`$, les composantes irréductibles de $`D`$. Par additivité de la mesure $`\mu _Y`$ (cf. lemme 7.0.7 de ), on peut supposer que $`Y`$ est affine, que les $`a_i`$ sont les multiplicités de $`D_i`$ dans $`D`$ et $`b_i`$ celles de $`D_i`$ dans $`\mathrm{ord}_t(\mathrm{Jac})^1(\mathrm{})`$. On a donc :

$$I_E=\underset{n𝐍}{}\mu _Y\left(\mathrm{mult}_{h^1(E)}+\mathrm{ord}_t(\mathrm{Jac})_h\right)^1(n)𝐋^{(n+1)d}d\mu _Y.$$

Le lemme 2.5.1 assure que :

$$I_E=𝐋^d\underset{\mathrm{}𝐍^m}{}\left[\pi _{|\mathrm{}|,Y}\left(_{i=1}^m\mathrm{mult}_{D_i}(\mathrm{}_i)\right)\right]𝐋^{(_{i=1}^m(a_i+b_i)\mathrm{}_i)d}.$$

Or, par définition,

$$Z_{D_{\mathrm{red}}}(T):=\underset{n𝐍^m}{}\left[\pi _{|n|,Y}\left(_{i=1}^m\mathrm{mult}_{D_i}(n_i)\right)\right]𝐋^{|n|d}T^n.$$

Si l’on désigne par $`\iota :_k\overline{_k}`$ le morphisme d’anneaux canonique, on a la relation :

$$\iota \left(𝐋^dZ_{D_{\mathrm{red}}}(𝐋^{(a_1+b_11)d},𝐋^{(a_2+b_21)d},\mathrm{},𝐋^{(a_m+b_m1)d})\right)=I_E.$$

La proposition découle alors de l’assertion de la proposition 5.3.3. ∎

### 5.4 La fonction Zêta motivique associée à une famille de fonctions d’une variété lisse

Soit $`X`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soit $`f:=(f_1,\mathrm{},f_{\mathrm{}}):X𝐀_R^{\mathrm{}}`$ un $`R`$-morphisme de schémas. Notons $`E_i:=V(f_i)X`$ pour tout $`1i\mathrm{}`$. On définit alors la fonction Zêta associée à $`f`$ comme la série de $`_k[[T_1,\mathrm{},T_{\mathrm{}}]]`$ :

$`Z_f(T):={\displaystyle \underset{n𝐍^{\mathrm{}}}{}}\left[\pi _{|n|,X}\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)\right)\right]𝐋^{|n|d}T^n,`$ (5.4.11)
avec les notations précédentes. Soit $`E`$ le diviseur effectif principal de $`Y`$ défini par le produit des $`f_i`$, pour $`1i\mathrm{}`$. Si $`x𝖤(k)`$, la fonction Zêta de $`f`$ de support $`x`$ est la série :

$$Z_{f,x}(T):=\underset{n𝐍^{\mathrm{}}}{}\left[\pi _{|n|,X}\left(\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)\right)\pi _{0,X}^1(x)\right)\right]𝐋^{|n|d}T^n.$$

###### 5.4.1 Proposition.

Soit $`Y`$ une $`R`$-variété lisse, purement de dimension relative $`d`$. Soit $`f:=(f_1,\mathrm{},f_{\mathrm{}}):Y𝐀_R^{\mathrm{}}`$ un $`R`$-morphisme de schémas. Alors les fonctions Zêta $`Z_f(T)`$ et $`Z_{f,x}(T)`$ (avec $`x𝖤(k)`$) dans $`_k[[T_1,\mathrm{},T_{\mathrm{}}]]`$ appartiennent au sous-anneau engendré par $`_k[T_1,\mathrm{},T_{\mathrm{}}]`$ et les éléments $`(\mathrm{𝟏}𝐋^bT^a)^1`$ avec $`a𝐍^{\mathrm{}}`$ et $`b𝐍`$.

###### Démonstration.

Les preuves étant identiques, nous nous contentons du cas de $`Z_f(T)`$. Soit $`h:YX`$ une résolution de Néron plongée (cf. 2.6) de $`(X,tE)`$. La lissité de $`X`$ et le lemme 5.1.2 assurent que $`\mathrm{ord}(\mathrm{Jac})_h^1(\mathrm{})`$ est un diviseur à croisements normaux stricts contenu dans $`C:=h^1(E)`$. Soient $`C_i`$, pour $`1im`$, les composantes irréductibles de $`C`$. On note $`\nu _i1`$ la multiplicité de $`C_i`$ dans $`\mathrm{ord}(\mathrm{Jac})_h^1(\mathrm{})`$. De la même manière, $`D_j:=h^1(E_j)`$, pour $`1j\mathrm{}`$, est un diviseur à croisements normaux stricts de $`Y`$ et l’on désigne par $`a_{ij}`$ la multiplicité de $`C_i`$ dans $`D_j`$, pour tout $`i`$ et tout $`j`$. Commençons par remarquer que, pour tout $`1i\mathrm{}`$ et tout $`n𝐍^{\mathrm{}}`$, comme $`\mathrm{ord}(\mathrm{Jac})_h^1(\mathrm{})D`$,

$$_{i=1}^{\mathrm{}}\mathrm{mult}_{D_i}^1(n_i)=\underset{e𝐍}{}\left(\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{D_i}^1(n_i)\right)\mathrm{ord}_t(\mathrm{Jac})_h^1(e)\right),$$

et que cette réunion, par quasi-compacité de la topologie constructible, peut être supposée finie. Soit

$$A_{n,e}:=\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{D_i}^1(n_i)\right)\mathrm{ord}_t(\mathrm{Jac})_h^1(e).$$

Il découle du lemme 8.1.3 de , qui est une sorte de formule de changement de variables dans $`_k`$, de l’additivité de $`\left[\right]`$ sur les constructibles et du lemme 2.2.4 que :

$$\left[_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)\right]=\underset{e𝐍}{}\left[A_{n,e}\right]𝐋^e.$$

Soit alors $`Z(T,U)`$ la série formelle de $`_k[[T,U]]`$ définie par :

$$Z(T,U)=\underset{(n,e)𝐍^{\mathrm{}}\times 𝐍}{}\left[A_{n,e}\right]T^nU^e.$$

Il découle de cette définition que :

$$Z_f(T)=Z(T,𝐋^1).$$

Le lemme 2.5.1 assure que :

$$Z(T,U)=\underset{s𝐍^m}{}\left[_{i=1}^m\mathrm{mult}_{C_i}^1(s_i)\right]U^{_{i=1}^m(\nu _i1)}T_1^{_{i=1}^ma_{1i}s_i}\mathrm{}T_{\mathrm{}}^{_{i=1}^ma_\mathrm{}is_i}.$$

La relation :

$$Z(T,U)=Z_{C_{\mathrm{red}}}(U^{\nu _11}T_1^{a_{11}s_1}T_2^{a_{21}s_1}\mathrm{}T_{\mathrm{}}^{a_\mathrm{}1s_1},\mathrm{},U^{\nu _m1}T_1^{a_{1m}s_m}T_2^{a_{2m}s_m}\mathrm{}T_{\mathrm{}}^{a_\mathrm{}ms_m})$$

implique le résultat grâce à la proposition 5.3.3. ∎

###### 5.4.2 Remarque.

L’égalité

$$Z_f(T)=Z_{C_{\mathrm{red}}}(𝐋^{1\nu _1}T_j^{a_{j1}s_1},\mathrm{},𝐋^{1\nu _1}T_j^{a_{jm}s_m})$$

donne des formules explicites pour les fonctions Zêta, grâce à la proposition 5.3.3.

### 5.5 La fonction Zêta associée à une famille de fonctions d’une variété

Soit $`X`$ une $`R`$-variété plate, purement de dimension relative $`d`$. Soit $`f:=(f_1,\mathrm{},f_{\mathrm{}}):X𝐀_R^{\mathrm{}}`$ un $`R`$-morphisme de schémas. Notons $`E_i:=V(f_i)X`$ pour tout $`1i\mathrm{}`$. On définit alors la fonction Zêta associée à $`f`$ comme la série de $`_k[[T_1,\mathrm{},T_{\mathrm{}}]]`$ :

$`Z_f(T):={\displaystyle \underset{n𝐍^{\mathrm{}}}{}}\mu _X\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)\right)T^n,`$ (5.5.12)
avec les notations précédentes. Soit $`E`$ le diviseur effectif principal de $`X`$ défini par le produit des $`f_i`$, pour $`1i\mathrm{}`$. Si $`x𝖤(k)`$, la fonction Zêta de $`f`$ de support $`x`$ est la série :

$$Z_{f,x}(T):=\underset{n𝐍^{\mathrm{}}}{}\mu _X\left(\left(_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)\right)\pi _{0,X}^1(x)\right)T^n.$$

###### 5.5.1 Proposition.

Soit $`X`$ une $`R`$-variété plate, purement de dimension $`d+1`$. Soit $`f:=(f_1,\mathrm{},f_{\mathrm{}}):X𝐀_R^{\mathrm{}}`$ un $`R`$-morphisme de schémas. Soit $`E`$ le diviseur effectif principal de $`Y`$ défini par le produit des $`f_i`$, pour $`1i\mathrm{}`$. Alors les fonctions Zêta $`Z_f(T)`$ et $`Z_{f,x}(T)`$ (avec $`x𝖤(k)`$) de $`\widehat{_k}[[T_1,\mathrm{},T_{\mathrm{}}]]`$ appartiennent au sous-anneau engendré par $`\overline{_k}[T_1,\mathrm{},T_{\mathrm{}}]`$, les éléments $`(\mathrm{𝟏}𝐋^bT^a)^1`$ et $`(𝐋^i\mathrm{𝟏})^1`$, avec $`a0𝐍^{\mathrm{}}`$, $`b𝐍`$ et $`i𝐍\backslash \{0\}`$.

###### Démonstration.

L’exemple 3.3.2 assure que les familles $`(A_n)_{n𝐍^l}`$ et $`(B_n)_{n𝐍^{\mathrm{}}}`$, définies par $`A_n:=_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)`$ et $`B_n:=A_n\pi _{0,X}^1(x)`$, sont semi-algébriques. On conclut grâce aux théorèmes 4.3.8 et 4.3.3, en remarquant auparavant que :

$$\mu _X(A_n)=_{A_n}𝐋^0𝑑\mu _X$$

et

$$\mu _X(B_n)=_{B_n}𝐋^0𝑑\mu _X.$$

###### 5.5.2 Remarque.

Comme pour l’anneau $`_k`$, si $`S`$ est un schéma, on peut définir l’anneau $`_S`$ à partir de la catégorie des $`S`$-variétés. Si $`n\left(𝐍\backslash \{0\}\right)^{\mathrm{}}`$, on peut définir la classe de $`_{i=1}^{\mathrm{}}\mathrm{mult}_{E_i}^1(n_i)`$ dans l’anneau $`_{(𝐆_{m,k}\times _k𝖤)^{\mathrm{}}}:=_{𝐆_{m,𝖤}^{\mathrm{}}}`$. En particulier, on pourrait étudier des fonctions Zêta motiviques “ non triviales ” de $`_{𝐆_{m,𝖤}^{\mathrm{}}}`$. C’est, notamment, ce que fait Looijenga dans . La proposition 4.2 de loc. cit. est un analogue de notre lemme 5.3.2 et le morphisme canonique (d’oubli) :

$$_{𝐆_{m,𝖤}^{\mathrm{}}}_k$$

spécialise les fonctions Zêta de loc. cit. en nos fonctions Zêta (cf. corollaire 4.3 de loc. cit.). Il est important de noter que l’introduction des résolutions de Néron plongées donnent un sens aux hypothèses de la proposition 4.2.

Notons enfin, que dans le cas d’une variété singulière, l’analogue dans $`_{𝐆_{m,𝖤}^{\mathrm{}}}`$ de la proposition 5.5.1, demanderait de généraliser, à l’anneau $`_{𝐆_{m,𝖤}^{\mathrm{}}}`$, les théorèmes 4.3.8 et 4.3.3. Il ne nous semble pas qu’un tel énoncé soit démontré dans .