1: \documentclass[12pt,a4paper]{smfart}

2: 

3: 

4: \usepackage[all]{xy}

5: \usepackage[T1]{fontenc}

6: \usepackage[frenchb]{babel}

7: \usepackage{amsthm}

8: \usepackage{amsmath,amscd,amssymb,verbatim}

9: 

10: 

11: \usepackage{amsfonts}

12: \usepackage{amscd}

13: 

14: 

15: 

16: \textwidth=15cm

17: \oddsidemargin=5mm

18: \evensidemargin=5mm

19: \textheight=21.5cm

20: 

21: 

22: 

23: \swapnumbers

24: 

25: \def\limproj{\mathop{\oalign{$\mathrm{lim}$\cr

26: \hidewidth$\longleftarrow$\hidewidth\cr}}}

27: 

28: \def\limind{\mathop{\oalign{$\mathrm{lim}$\cr

29: \hidewidth$\longrightarrow$\hidewidth\cr}}}

30: 

31: 

32: \newdimen\sumdim

33: \def\diagram#1\enddiagram{\vcenter{\offinterlineskip

34: \def\tvi{\vrule height 10pt depth 10pt width 10pt}\def\tvi{}

35: \halign{&\tvi\kern 5pt\hfil$\displaystyle ##$\hfil\kern 5pt

36: \crcr#1\crcr}}}

37: \def\hfl[#1][#2][#3]#4#5{\kern -#1

38: \sumdim=#2\advance\sumdim by #1\advance\sumdim by #3

39: \smash{\mathop{\hbox to\sumdim{\rightarrowfill}}

40: \limits^{\scriptstyle#4}_{\scriptstyle#5}}

41: \kern-#3}

42: \def\vfl[#1][#2][#3]#4#5%

43: {\sumdim=#1 \advance\sumdim by #2 \advance\sumdim by #3

44: \setbox1=\hbox{$\left\downarrow\vbox to .5\sumdim{}\right.$}

45: \setbox1=\hbox{\llap{$\scriptstyle #4$}\box1

46: \rlap{$\scriptstyle #5$}}

47: \vcenter{\kern -#1\box1\kern -#3}}

48: \def\Hfl #1#2{\hfl[0mm][12mm][0mm]{#1}{#2}}

49: \def\Vfl #1#2{\vfl[0mm][12mm][0mm]{#1}{#2}}

50: 

51: 

52: 

53: 

54: \def\Der{{\textrm{Dér}}}

55: \def\Spm{\mathop{\mathrm{Spm}}}

56: \def\Spec{\mathop{\mathrm{Spec}}}

57: \def\Hom{{\mathrm{Hom}}}

58: \def\G{{\mathrm{Gr}}}

59: \def\Fitt{{\mathrm{Fitt}}}

60: \def\Spf{\mathop{\mathrm{Spf}}}

61: \def\dim{\mathop{\mathrm{dim}}}

62: \def\max{\mathop{\mathrm{max}}}

63: \def\det{\mathop{\mathrm{det}}}

64: \def\mod{\mathop{\mathrm{modulo}}}

65: \def\val{\mathop{\mathrm{val}}}

66: 

67: \def\Inf{\mathop{\mathrm{Inf}}}

68: \def\Sup{\mathop{\mathrm{Sup}}}

69: 

70: 

71: \def\ord{{\mathrm{ord}}}

72: 

73: 

74: \def\Proj{{\mathrm{Proj}}}

75: 

76: \author{Julien Sebag}

77: 

78: \address{École Normale Supérieure, Département de mathématiques et applications, 

79: 45 rue d'Ulm, 

80: 75230 Paris cedex 05, France 

81: (UMR 8553 du CNRS)}

82: \email{Julien.Sebag@ens.fr}

83: 

84: \title{Intégration motivique sur les schémas formels}

85: 

86: %-------------------------------------------

87: 

88: \begin{document}

89: 

90: \maketitle

91: 

92: \let\!=\mathcal

93: 

94: \newtheorem{thm}[subsubsection]{Th\'eor\`eme}

95: \newtheorem{lem}[subsubsection]{Lemme}

96: \newtheorem{prop}[subsubsection]{Proposition}

97: \newtheorem{cor}[subsubsection]{Corollaire}

98: \newtheorem{defi}[subsubsection]{D\'efinition}

99: \newtheorem{exe}[subsubsection]{Exemple}

100: \newtheorem{rap}[subsubsection]{Rappel}

101: \newtheorem{rem}[subsubsection]{Remarque}

102: \newtheorem{lemcle}[subsubsection]{Lemme clé}

103: 

104: \newtheorem{slem}[subsubsection]{Sous-lemme}

105: 

106: \newtheorem{nota}[subsubsection]{Notations}

107: \newtheorem{exes}[subsubsection]{Exemples}

108: 

109: \newdimen\sumdim

110: \def\diagram#1\enddiagram{\vcenter{\offinterlineskip

111: \def\tvi{\vrule height 10pt depth 10pt width 10pt}\def\tvi{}

112: \halign{&\tvi\kern 5pt\hfil$\displaystyle ##$\hfil\kern 5pt

113: \crcr#1\crcr}}}

114: \def\hfl[#1][#2][#3]#4#5{\kern -#1

115: \sumdim=#2\advance\sumdim by #1\advance\sumdim by #3

116: \smash{\mathop{\hbox to\sumdim{\rightarrowfill}}

117: \limits^{\scriptstyle#4}_{\scriptstyle#5}}

118: \kern-#3}

119: \def\vfl[#1][#2][#3]#4#5%

120: {\sumdim=#1 \advance\sumdim by #2 \advance\sumdim by #3

121: \setbox1=\hbox{$\left\downarrow\vbox to .5\sumdim{}\right.$}

122: \setbox1=\hbox{\llap{$\scriptstyle #4$}\box1

123: \rlap{$\scriptstyle #5$}}

124: \vcenter{\kern -#1\box1\kern -#3}}

125: \def\Hfl #1#2{\hfl[0mm][12mm][0mm]{#1}{#2}}

126: \def\Vfl #1#2{\vfl[0mm][12mm][0mm]{#1}{#2}}

127: 

128: 

129: 

130: 

131: %-------------------------------------------

132: %-------------------------------------------

133: 

134: 

135: \section{Introduction}

136: 

137: Dans leurs articles \cite{dl1} et \cite{dl2}, Denef et Loeser d\'eveloppent et étudient la th\'eorie de l'\textit{int\'egration motivique}, introduite par Kontsevich lors d'un s\'eminaire \`a Orsay (\textit{cf} \cite{K}). Cette nouvelle th\'eorie de l'int\'egration se r\'evèle \^etre un outil puissant dans l'étude de la g\'eom\'etrie birationnelle des variétés algébriques sur un corps $k$ de caractéristique 0. Rappelons rapidement les grandes étapes de la construction de ces intégrales et les idées sous-jacentes à quelques-uns des résultats obtenus par cette théorie. Si $X$ est une variété algébrique sur un corps $k$ de caractéristique 0, on lui associe, de manière fonctorielle, un pro-$k$-schéma, qui est encore un schéma (non de type fini en général), le \textit{schéma des arcs sur $X$}, noté $\!L(X)$. Sur ce pro-$k$-schéma, on définit une mesure $\mu_X$ à valeurs dans un anneau de motifs virtuels, que l'on note $\!M$. Cette mesure motivique est un analogue géométrique de la mesure $p$-adique sur les variétés différentielles $p$-adiques. Les intégrales définies à partir de cette mesure vérifient alors un théorème de changement de variables pour les $k$-morphismes de schémas $h:Y\rightarrow X$ propres et birationnels, qui permet de calculer les intégrales sur $\!L(X)$ en fonction d'intégrales sur $\!L(Y)$. C'est essentiellement par ce principe que l'on peut construire de nouveaux invariants algébriques (à valeurs dans cet anneau de motifs virtuels, ou plus exactement dans le séparé complété de cet anneau pour une filtration) et que l'on peut, par exemple, (re)-démontrer le théorème de Batyrev qui affirme que deux variétés de Calabi-Yau ont même nombre de Hodge et même structure de Hodge.

138: 

139: 

140: 

141: Dans cet article, nous généralisons cette théorie de l'intégration motivique aux sch\'emas formels \textit{sttf} sur le spectre formel d'un anneau de valuation discr\`ete complet $R$, de corps résiduel $k$ parfait. En particulier, le corps $k$ peut être de caractéristique positive. L'absence du morphisme d'inclusion $k\hookrightarrow R$, dans le cas où $R$ est un anneau d'inégale caractéristique, nous conduit à définir un analogue du schéma des arcs d'une variété $X$. Si $\!X$ est un $R$-schéma formel \textit{sttf}, le \textit{schéma de Greenberg} $\G(\!X)$ joue ce rôle. Il est important de noter que, dans le cas où $R=k[[t]]$, avec $k$ de caractéristique 0, et $\!X$ est le complété $\pi$-adique d'une variété algébrique sur $k$, les deux $k$-schémas $\G(\!X)$ et $\!{L}(X)$ sont canoniquement isomorphes. En outre, pour tout $R$-schéma formel \textit{sttf}, si $F$ est une extension parfaite de $k$, les $F$-points de $\G(\!X)$ s'interprètent naturellement comme des points de la fibre générique $X_K$ de $\!X$. Comme dans le cas du schéma des arcs, nous définissons une mesure $\mu_\!X$ à valeurs dans le même complété de cet anneau de motifs virtuels et l'anneau booléen des \textit{ensembles mesurables}, qui sont des ``approximations'' par certaines parties constructibles de $\G(\!X)$ élémentaires, que l'on appelle \textit{cylindres}. De manière analogue aux théories classiques d'intégration, les ensembles mesurables possèdent des propriétés de stabilité par image directe et inverse sous certains $R$-morphismes $h:\!Y\rightarrow \!X$, que l'on nomme \textit{tempérés}, et qui correspondent aux morphismes propres et birationnels du cas algébrique. Nous construisons l'intégrale motivique des fonctions intégrables. Parmi celles-ci, les fonctions \textit{exponentiellement intégrables} permettent d'exprimer, de manière naturelle, des phénomènes géométriques comme l'appartenance à un sous-$R$-schéma formel fermé, la lissité d'un $R$-morphisme de schémas formels $\ldots$ et jouent donc un rôle central dans cette théorie. Enfin, nous démontrons deux théorèmes de changement de variables du même type que celui énoncé dans \cite{dl1} ou \cite{dl2}.

142: 

143: Les principaux résultats de ce travail sont utilisés de manière fondamentale dans \cite{ls}, qui, en se pla\c{c}ant du point de vue rigide, déduit, des constructions et théorèmes de cet article, certaines applications en géométrie birationnelle des dégénérescences des variétés algébriques et rigides. En particulier, la théorie que l'on développe ici apparaît, au regard des résultats de \cite{ls}, comme une généralisation de l'intégration motivique usuelle et de l'intégration $p$-adique. Deux exemples le confirment. Soit $X_K$ la fibre générique d'un $R$-schéma formel $\!X$ \textit{sttf}.

144: 

145: \begin{enumerate}

146: 

147: \item Si $\omega$ est une forme jauge sur $X_K$, son intégrale converge déjà dans $\!M$. En outre, nous démontrons que sa classe dans $\!M/(\mathbf{L}-1)\!M$ ne dépend que de $X_K$ et non de la forme jauge choisie pour calculer cette intégrale. Cet élément de $\!M$, noté $\lambda(X_K)$, est égal à la classe de la fibre spéciale de tout  modèle de Néron faible de $X_K$. Il faut également remarquer que, quand $K$ est une extension finie de $\mathbf{Q}_p$, $\lambda(X_K)$ se spécialise en l'invariant de Serre \cite{s} évalué sur la variété analytique $p$-adique sous-jacente à $X_K$ (\textit{cf} corollaire 4.6.3 de \cite{ls}).

148: 

149: \item Si $X_K$ est l'espace analytique associé une variété de Calabi-Yau sur $K$, et si $X_K$ admet un $R$-modèle propre et lisse, l'intégrale calculée pour un générateur de $\Omega_{X_K}^d$ est égale à la classe de la fibre spéciale de ce modèle dans $\!M$. En particulier, les classes des fibres spéciales de deux tels modèles co\"\i ncident dans $\!M$, ce qui peut être interprété comme l'analogue du résultat de Batyrev pour les variétés de Calabi-Yau (\textit{cf} \cite{ba0}).

150: \end{enumerate}

151: 

152: 

153: Cet article est organisé de la manière suivante: le chapitre 2 rappelle les bases de la géométrie formelle. Le foncteur de Greenberg est construit et étudié au chapitre 3. Les chapitres 4, 5, et 6 développent, de manière assez complète, les notions et les propriétés de la mesure motivique, des cylindres et des ensembles mesurables. Le chapitre 7 est exclusivement consacré à la construction de l'intégrale motivique, à l'énoncé et à la démonstration des deux théorèmes de changement de variables.

154: 

155: 

156: 

157: 

158: Nous remercions Fran\c{c}ois Loeser de nous avoir proposé ce sujet et de l'aide qu'il nous a apport\'ee lors des discussions que nous avons eues ensemble. Nous souhaitons également remercier Antoine Chambert-Loir de son aide lors de la rédaction de cet article et de ses commentaires sur une première version de ce texte. Plus largement, nous les remercions pour l'attention qu'ils nous ont manifesté depuis quelques années déjà.

159: 

160: 

161: 

162: 

163: 

164: 

165: 

166: 

167: 

168: 

169: 

170: 

171: 

172: 

173: 

174: 

175: 

176: 

177: 

178: %------------------------------------------------

179: %------------------------------------------------

180: 

181: 

182: 

183: \section{Préliminaires}

184: 

185: 

186: %------------------------------------------------

187: %------------------------------------------------

188: 

189: 

190: 

191: 

192: 

193: 

194: 

195: 

196: %------------------------------------------

197: 

198: 

199: \subsection{Les notations.}

200: 

201: 

202: 

203: %-------------------------------------------

204: 

205: 

206: 

207: Dans cet article, l'anneau $R$ est un anneau de valuation discrète complet de corps résiduel $k$ et de corps des fractions $K$. Le corps $k$ est supposé parfait. On fixe $\pi$ une uniformisante de cet anneau. On note $R_n:=R/(\pi)^{n+1}$ pour tout $n\in\mathbf{N}$. On note $\mathbb{D}:=\Spf R$ le spectre formel de l'anneau $R$. L'espace topologique sous-jacent à cet espace localement annelé est constitué d'un unique point, qui s'identifie au point fermé du schéma $\Spec R$ (\textit{cf} \cite{ega} \S 10). On note $\mathbb{B}^{N}_R:=\Spf R\{x_1,\ldots,x_N\}$ l'espace affine formel de dimension $N$ sur $R$.

208: 

209: 

210: 

211: 

212: %---------------------------------------------------

213: 

214: 

215: \subsection{La description des anneaux de valuation discrète complets.}

216: \label{description de R}

217: 

218: %---------------------------------------------------

219: 

220: 

221: 

222: Tout élément $x\in R$ s'écrit de manière unique sous la forme:

223: 

224: \begin{enumerate}

225: 

226: \item $x=\sum_{i=0}^\infty a_i t^i$, avec $a_i\in k$ et $t:=\pi$ dans le cas d'égale caractéristique.

227: 

228: \item $x=\sum_{i=0}^\infty\tau(a_i^{p^{-i}})p^i$, avec $a_i\in k$, $\tau$ le morphisme de Teichm\"{u}ller et $p=\pi$ dans le cas d'inégale caractéristique, non-ramifié.

229: 

230: \item $x=\sum_{i=0}^\infty\tau(a_i^{p^{-q(i)}})p^{q(i)}\pi^{r(i)}$, avec $a_i\in k$, $\tau$ le morphisme de Teichm\"{u}ller et les entiers $q(i)$ et $r(i)$ donnés par la division euclidienne de $i$ par $e$, $i=q(i)e+r(i)$, avec $e$ l'indice de ramification, dans le cas d'inégale caractéristique ramifié.

231: 

232: \end{enumerate}

233: 

234: 

235: 

236: 

237: 

238: 

239: %--------------------------------------

240: 

241: 

242: \subsection{Les premières notions de Géométrie formelle.}

243: 

244: 

245: %-------------------------------------

246: 

247: 

248: 

249: 

250: \subsubsection{La définition des schémas formels}

251: 

252: 

253: 

254: 

255: Un $R$-schéma formel désignera toujours un $R$-schéma formel topologiquement de type fini, ce que l'on notera \textit{ttf}. Parfois l'hypothèse de séparation sera nécessaire et nos $R$-schémas formels \textit{ttf} seront séparés, ce que l'on notera \textit{sttf} (\textit{cf} \cite{ega} \S 10). On notera $\underline{Form}^{\mathrm{ttf}}_{/R}$ et $\underline{Form}^{\mathrm{sttf}}_{/R}$ les catégories correspondantes.

256: 

257: Un objet de $\underline{Form}^{\mathrm{ttf}}_{/R}$ est un espace localement annelé $(\!X,\!O_{\!X})$ en $R$-algèbres topologiques, qui induit la donnée, pour tout $n\geq 0$, d'un $R_n$-sch\'ema $X_n=(\!X,\!O_\!X\otimes_R R_n)$. Le $k$-schéma $X_0$ est appelé fibre spéciale du $R$-schéma formel $\!X$. En tant qu'espaces topologiques, $\!X$ et $X_0$ sont isomorphes et $\!O_\!X:=\limproj\!O_{X_n}$. On a $X_n=X_{n+1}\otimes_{R_{n+1}} R_n$ et $\!X$ est canoniquement isomorphe à la limite inductive des schémas $X_n$ dans la catégorie des espaces localement annelés. En outre, un tel objet est localement isomorphe à un $R$-schéma formel affine $\Spf A$, où $A$ est une $R$-algèbre $\pi$-adique, topologiquement isomorphe à un quotient de l'anneau des séries formelles restreintes $R\{T_1,\ldots,T_N\}$.

258: 

259: Si $\!X$ et $\!Y$ sont deux $R$-schémas formels \textit{ttf}, on note $\Hom_R(\!Y, \!X)$ l'ensemble des $R$-morphismes de schémas formels:

260: $$

261: \xymatrix{\!Y\ar[rr]\ar[dr]&&\!X\ar[dl]\\

262: &\mathbb{D}&}

263: $$

264: \textit{i.e.} l'ensemble des morphismes entre les $R$-espaces localement annelés sous-jacents. Autrement dit, $\underline{Form}^{\mathrm{ttf}}_{/R}$ est une sous-catégorie pleine de la catégorie des espaces localement annelés sur $R$. Localement de tels morphismes sont simplement des $R$-morphismes continus d'algèbres topologiques entre les anneaux des sections globales. On peut montrer (\textit{cf} proposition 10.6.9 de \cite{ega}) que l'application canonique $\Hom_R(\!Y,\!X)\rightarrow\limproj\Hom_{R_n}(Y_n,X_n)$ est une bijection.

265: 

266: 

267: \begin{rem}

268: Soit 

269: $$

270: h:\!Y=\Spf R\{x_1,\ldots,x_m\}/\!I\rightarrow\!X=\Spf R\{x_1,\ldots,x_n\}/\!J

271: $$ 

272: un $R$-morphisme de schémas formels. Dans ce cas, la donnée de $h$ est équivalente à celle d'un $R$-morphisme d'algèbres. En effet, la $R$-linéarité impose que le morphisme entre les anneaux des sections globales soit continu pour les topologies $\pi$-adiques considérées.

273: \end{rem}

274: 

275: 

276: 

277: 

278: 

279: 

280: 

281: La catégorie $\underline{Form}^{\mathrm{sttf}}_{/R}$ est simplement la sous-catégorie pleine de $\underline{Form}^{\mathrm{ttf}}_{/R}$, dont les objets sont séparés (\textit{cf} \cite{ega} \S 10). Un $R$-schéma formel \textit{sttf} $\!X$ est dit \textit{admissible} s'il est plat sur $R$ (ce qui est équivalent au fait que le faisceau $\!O_\!X$ soit sans $\pi$-torsion). On notera $\underline{Form}_{/R}^{\textrm{Adm}}$ cette catégorie, qui est une sous-catégorie pleine de $\underline{Form}^{\mathrm{sttf}}_{/R}$.

282: 

283: 

284: \begin{lem}

285: \label{neron=sttf}

286: Soit $\!X$ un $R$-schéma formel ttf et $j:\!U\hookrightarrow\!X$ une immersion ouverte. Alors, si $\!X$ est séparé et $\!U$ quasi-compact, le $R$-morphisme $j$ est rétro-compact, \textit{i.e.} pour tout ouvert affine $\!V$ de $\!X$, $\!V\cap \!U$ est quasi-compact. En particulier, le $R$-schéma formel $\!U$ est sttf.

287: \end{lem}

288: 

289: \begin{proof}

290: Soit $(\!U_i)$ un recouvrement ouvert fini de $\!U$ par des sous-$R$-schémas formels affines \textit{ttf}. Comme $\!U$ est ouvert et $\!X$ séparé, $\!U$ est également séparé. Le schéma formel $\!V\cap \!U$ est quasi-compact, comme réunion finie d'ouverts quasi-compacts.

291: \end{proof}

292: 

293: On dit qu'un $R$-schéma formel est \textit{réduit} si sa fibre spéciale est un schéma réduit. Si $\!X$ est un $R$-schéma formel, on notera $\!X_{\mathrm{red}}$ l'unique sous-schéma formel ferm\'e et réduit de $\!X$.

294: 

295: 

296: 

297: 

298: 

299: 

300: \subsubsection{La notion de fibre générique d'un schéma formel}

301: 

302: 

303: 

304: 

305: 

306: 

307: Soit $\!X$ un $R$-schéma formel \textit{ttf} et $\!Z\hookrightarrow\!X$ un sous-schéma fermé de $\!X$, défini par le sous-faisceau $\!A\subset\!O_\!X$. On appelle \textit{éclatement admissible sur $\!X$ de centre $\!Z$} la donnée d'un $R$-schéma formel $\!X'$ et d'un $R$-morphisme de schémas formels $\sigma:\!X'\rightarrow\!X$ vérifiant la propriété universelle suivante: si $\psi:\!Y\rightarrow\!X$ est un $R$-morphisme de schémas formels tel que $\!A.\!O_\!Y$ soit inversible sur $\!Y$, alors il existe un $R$-morphisme $\psi':\!Y\rightarrow\!X'$ tel que $\psi=\sigma\circ\psi'$. Si $\!X$ est \textit{sttf} (\textit{resp. admissible}),  le $R$-schéma formel $\!X'$ l'est aussi (\textit{cf} \cite{bl1}).

308: 

309: La localisation de la catégorie $\underline{Form}^{\mathrm{ttf}}_{/R}$ (\textit{resp.} $\underline{Form}^{\mathrm{sttf}}_{/R}$) par rapport aux éclatements admissibles est équivalente à la catégorie des $K$-espaces rigides de type fini et quasi-séparés (\textit{resp.} séparés) au sens de Kiehl, que l'on notera $\underline{Rig}^{\mathrm{qsqc}}_{/K}$ (resp. $\underline{Rig}^{\mathrm{sqc}}_{/K}$) (\textit{cf} \cite{r} et \cite{bl1}). On peut remarquer que la localisée de $\underline{Form}^{\mathrm{Adm}}_{/R}$ par rapport aux éclatements admissibles est équivalente à $\underline{Rig}^{\mathrm{sqc}}_{/K}$.

310: 

311: Par analogie avec le cas de schémas usuels, on appellera fibre générique l'image d'un $R$-schéma formel \textit{ttf} par le foncteur de localisation. Ce foncteur sera noté $\mathrm{rig}$ et si $\!X\in\underline{Form}^{\mathrm{ttf}}_{/R}$ on notera $\!X_{\mathrm{rig}}$ son image par le foncteur $\mathrm{rig}$ (ou parfois $X_K$). De même, si $f:\!Y\rightarrow\!X$ est un $R$-morphisme de schémas formels, on notera $f_{\mathrm{rig}}$ son image par le foncteur $\mathrm{rig}$.

312: 

313: 

314: 

315: 

316: \subsubsection{La notion de dimension d'un schéma formel}

317: \label{notion de lissite}

318: 

319: 

320: 

321: Soit $\!X$ un $R$-schéma formel. On appelle \textit{dimension} de $\!X$ l'entier $\dim \!X$ défini comme la dimension de la fibre spéciale $X_0$ de $\!X$. En particulier, si $\!X:=\Spf A$ est affine, on a la relation

322: $$

323: \dim \!X=\textrm{dim}_{\textrm{K}} A -1

324: $$

325: où $\dim_{\textrm{K}} A$ est la dimension de Krull de l'anneau $A$. 

326: 

327: 

328: Soit $X_K$ un $K$-espace rigide quasi-séparé et quasi-compact. On appelle \textit{dimension} de $X_K$ et l'on note $\dim X_K$ l'entier naturel défini comme la borne supérieure des entiers $\dim_{\mathrm{K}} \!O_{X_K,x}$ pour $x\in X_K$.

329: 

330: 

331: 

332: Le lemme suivant, démontré par Oesterlé dans \cite{o1} (\textit{cf} lemme 1 \S 3), permet de relier ces deux notions.

333: \begin{lem}

334: \label{theoreme de Osterle}

335: Soit $R$ un anneau de valuation discrète complet, $k$ son corps résiduel et $K$ son corps des fractions. Notons $A$ l'anneau $R\{T_1,\ldots,T_N\}$ des séries formelles restreintes à coefficients dans $R$, $A_K=A\otimes_R K=K\{T_1,\ldots,T_N\}$ et $A_0=A\otimes_R k=k[T_1,\ldots,T_N]$. Soit $I_K$ un idéal de $A_K$. Notons $I:=I_K\cap A$ et $I_0:=I\otimes_R k$. Supposons que l'anneau $A_K/I_K$ soit équidimensionnel, de dimension de Krull $d$. Alors l'anneau $A_0/{I_0}$ est équidimensionnel, de dimension de Krull $d$. On a $I_K=A_K$ si et seulement si ${I_0}=A_0$.

336: \end{lem}

337: 

338: \begin{lem}

339: Si $X_K=\Spm A$ est un $K$-espace rigide affino\"{i}de, la dimension de $X_K$ est égale à la dimension de Krull de $A$.

340: \end{lem}

341: 

342: \begin{proof}

343: Ce lemme résulte de la proposition 7.3/8 de \cite{bgr} qui assure que l'anneau $\!O_{X_K,x}$ et le localisé de $A$ en $x$, $A_x$, ont même dimension de Krull.

344: \end{proof}

345: 

346: 

347: \begin{cor}

348: Soit $\!X$ un $R$-schéma formel sttf de fibre générique $X_K$. Si $X_K$ est équidimensionnelle de dimension $d$, alors $X_0$ est équidimensionnel de dimension $d$.

349: \end{cor}

350: 

351: \begin{proof}

352: On peut supposer que $\!X$ est affine. Dans ce cas le corollaire découle du lemme \ref{theoreme de Osterle}.

353: \end{proof}

354: 

355: Un $R$-schéma formel \textit{sttf} est dit \textit{équidimensionnel} de dimension $d$ (ou \textit{de pure dimension $d$}) si sa fibre générique $X_K$ est équidimensionnelle de dimension $d$.

356: 

357: 

358: 

359: 

360: 

361: 

362: 

363: \subsubsection{La notion de lissité pour les schémas formels}

364: \label{lissite}

365: 

366: 

367: 

368: 

369: 

370: 

371: 

372: Un $R$-morphisme de schémas formels $f:\!Y\rightarrow\!X$ est \textit{lisse au point $y\in Y_0$} de dimension relative $d$ si:

373: 

374: \begin{enumerate}

375: 

376: \item $f$ est plat en $x$.

377: 

378: \item Le $k$-morphisme induit, $f_0:Y_0\rightarrow Y_0$, est lisse en $y$ de dimension relative $d$, au sens usuel.

379: 

380: \end{enumerate}

381: 

382: Il revient au même (\textit{cf} lemme 1.2 de \cite{bl1}) de demander que pour tout $n\in\mathbf{N}$, le morphisme induit $f_n:Y_n\rightarrow X_n$ soit lisse de dimension relative $d$. On dit qu'un morphisme est lisse s'il est lisse en tout point $x\in X_0$. 

383: 

384: Un $R$-schéma formel $\!X$ est dit lisse (en $x\in X_0$) si le morphisme structural $\!X\rightarrow\Spf R$ est lisse (en $x\in X_0$) au sens précédent.

385: 

386: 

387: 

388: 

389: Soit $\!X$ un $R$-schéma formel \textit{ttf} de dimension $d$. On note $\!X_{\mathrm{sing}}$ l'unique sous-$R$-schéma formel fermé réduit défini par le radical du $d$-ème idéal de Fitting de $\Omega_{\!X/R}^1$ (\textit{cf} \cite{bl2} \S 3). En particulier, un $R$-schéma formel \textit{ttf} plat est lisse en $x\in X_0$ (\textit{resp.} lisse) si et seulement si $x$ n'appartient pas à la fibre spéciale de $\!X_{\mathrm{sing}}$ (\textit{resp.} $\!X_{\mathrm{sing}}=\emptyset$).

390: 

391: \begin{lem}

392: \label{autre definition du lieu singulier}

393: Soit $\!X:=\Spf A\hookrightarrow\mathbb{B}^N_R$ un $R$-schéma formel affine admissible, avec $A:=R\{x_1,\ldots,x_N\}/\!I$. Si $f_1,\ldots,f_m\in \!I$ et $m\leq N$, soit $\Delta(f_1,\ldots,f_m)$ l'idéal de $R\{x_1,\ldots,x_N\}/\!I$ engendré par les $m\times m$-mineurs de la matrice jacobienne $(\partial f_j/\partial x_i)$. Soit $H_{A/R}$ le radical dans $A$ de l'idéal $\sum\Delta(f_1,\ldots,f_m)((f_1,\ldots,f_m):\!I)$, où la somme est prise sur l'ensemble des ensembles finis $(f_1,\ldots,f_m)\in\!I$. Alors $\!X$ est lisse en $x\in X_0$ si et seulement si $x$ n'appartient pas au sous-$R$-schéma formel fermé de $\!X$ défini par l'idéal $H_{A/R}$.

394: \end{lem}

395: 

396: 

397: \begin{proof}

398: Comme $\!X$ est plat, la lissité se lit sur la fibre spéciale $X_0$, ainsi que l'appartenance au sous-$R$-schéma formel fermé. Le lemme est donc une conséquence du théorème 4.1 de \cite{pop}.  

399: \end{proof}

400: 

401: 

402: On dira qu'un $R$-schéma formel $\!X$ \textit{ttf} est \textit{génériquement lisse} si sa fibre générique $X_K$ est lisse comme $K$-espace rigide, \textit{i.e.} vérifie un critère jacobien identique à celui vérifié par les schémas lisses (\textit{cf} \cite{bl3}).

403: 

404: 

405: 

406: 

407: %--------------------------------------------

408: %---------------------------------------------

409: 

410: 

411: \section{Foncteur de Greenberg et (pro)-schéma associé à un schéma formel}

412: 

413: 

414: 

415: %--------------------------------------------

416: %--------------------------------------------

417: 

418: 

419: 

420: 

421: %---------------------------------------

422: 

423: 

424: 

425: \subsection{La construction}

426: 

427: 

428: 

429: %----------------------------------------

430: 

431: 

432: 

433: 

434: Dans ce paragraphe, nous allons construire un foncteur

435: $$

436: \G:\underline{Form}^{\mathrm{sttf}}_{/R}\rightarrow\underline{ProSch}_{/k}

437: $$

438: de la catégorie des $R$-schémas formels \textit{sttf} dans la catégorie des pro-$k$-schémas.

439: 

440: 

441: Rappelons quelques résultats de \cite{g1} et \cite{blr} \S 9.6. Pour tout $n\geq 0$, considérons le foncteur $h^\ast_n$ qui à un $k$-schéma associe

442: 

443: \begin{enumerate}

444: 

445: \item le $k$-schéma $h_n^\ast(T):=T\times_k R_n$, en égale caractéristique.

446: 

447: 

448: \item l'espace localement annelé $h_n^\ast(T)$, dont l'espace topologique sous-jacent est $T$ et le faisceau structural est $\!Hom(T,\!R_n)$, où $\!R_n$ est le $k$-schéma en anneaux dont l'anneau des points rationnels est $R_n$ (\textit{cf} \cite{blr} et \cite{ls}), dans les cas d'inégale caractéristique. Dans le cas où $R=W(k)$, ce $k$-schéma $\!R_n$ est simplement le schéma en anneaux des vecteurs de Witt de longueur $n$.

449: 

450: \end{enumerate}

451: 

452: Soit $A$ une $k$-algèbre. On pose $L(A)=A$ si $R$ est un anneau d'égale caractéristique et $L(A)=W(A)$ si $R$ est un anneau d'inégale caractéristique.

453: 

454: En particulier, pour toute $k$-algèbre $A$,

455: $$

456: h_n^\ast(\Spec A)=:h_n^\ast(A)=\Spec(R_n\otimes_{L(k)} L(A)).

457: $$

458: 

459: Dans l'article \cite{g1}, Greenberg a montré que, pour tout $R_n$-schéma $X_n$ localement de type fini, le foncteur

460: $$

461: T\mapsto\Hom_R(h_n^\ast(T), X_n)

462: $$

463: de la catégorie des $k$-schémas dans celle des ensembles est représentable par un $k$-schéma $\G_n(X_n)$ qui est localement de type fini (\textit{i.e.} le foncteur $h^\ast_n$ admet un adjoint à droite que l'on note $\G_n$) et vérifie, pour toute $k$-algèbre $A$,

464: $$

465: \G_n(X_n)(A)\simeq X_n(R_n\otimes_{L(k)} L(A)).

466: $$

467: En particulier, si $A=k$, on a 

468: $$

469: \G_n(X_n)(k)\simeq X_n(R_n).

470: $$

471: 

472: Soit $\!X$ un $R$-schéma formel \textit{sttf}. Les morphismes canoniques $R_{n+1}\rightarrow R_n$, induisent alors, notamment par adjonction, pour tout $n\in\mathbf{N}$, des $k$-morphismes

473: $$

474: \theta_{n}^{n+1}:\G_{n+1}(X_{n+1})\rightarrow\G_n(X_n)

475: $$

476: qui font de la suite $(\G_n(X_n))_{n\in\mathbf{N}}$ un système projectif dans la catégorie des $k$-schémas de type fini et séparés (car, pour tout $n$, le $k$-schéma $X_n$ est séparé). Enfin, comme un recouvrement (fini) de $\!X$ par des ouverts formels affines induit un recouvrement des $\G_n(X_n)$ (\textit{cf} proposition \ref{recollement}/2), ces morphismes de transition sont affines et leur limite $\limproj\G_n(X_n)$ existe dans la catégorie des $k$-schémas. 

477: 

478: 

479: Soit $T$ un $k$-schéma. On définit $h^\ast(T)$ l'espace localement annelé, dont l'espace topologique sous-jacent est $T$ et le faisceau structural $\limproj\!Hom_k(T,\!R_n)$. Cet espace localement annelé appartient à la catégorie des espaces localement annelés sur $\mathbb{D}$.

480: 

481: 

482: \begin{lem}

483: \label{groth-Gr}

484: Pour tout $R$-schéma formel sttf $\!X$, l'application canonique

485: $$

486: \Hom_\mathbb{D}(h^\ast(T),\!X)\rightarrow\limproj\Hom_{R_n}(h^\ast_n(T),X_n)

487: $$

488: est une bijection.

489: \end{lem}

490: 

491: \begin{proof}

492: Découle des définitions.

493: \end{proof}

494: 

495: 

496: 

497: \begin{prop}

498: Soit $\!X$ un $R$-schéma formel sttf. Le foncteur

499: $$

500: T\mapsto\Hom_R(h^\ast(T),\!X)

501: $$

502: de la catégorie des $k$-schémas dans celle des ensembles est représentable par un $k$-schéma canoniquement isomorphe à $\limproj\G_n(X_n)$.

503: \end{prop}

504: 

505: \begin{proof}

506: Ceci découle de la propriété universelle des $\G_n(X_n)$ et du lemme \ref{groth-Gr}.

507: \end{proof}

508: 

509: 

510: On posera alors 

511: $$

512: \G_n(\!X):=(\G_n(X_n))_{\mathrm{red}}

513: $$ 

514: et 

515: $$

516: \G(\!X):=\limproj(\G_n(X_n)_{\mathrm{red}})\simeq(\limproj\G_n(X_n))_{\mathrm{red}}.

517: $$

518: On a donc construit un foncteur $\G$ de la catégorie des $R$-schémas formels \textit{sttf} dans la catégorie des pro-$k$-schémas, comme composé des foncteurs définis ci-dessus.

519: 

520: En particulier, pour toute extension $F$ de $k$, les applications canoniques

521: $$

522: \G_n(\!X)(F)\rightarrow\G_n(X_n)(F)

523: $$

524: et

525: $$

526: \G(\!X)(F)\rightarrow(\limproj\G_n(X_n))(F)

527: $$

528: sont des bijections.

529: 

530: Dans le cas d'égale caractéristique, $R\simeq k[[\pi]]$. Soit $X$ une variété algébrique sur $k$. On peut alors considérer pour tout $n\in\mathbf{N}$, le $R_n$-schéma $X\times_k R_n$. Il découle des définitions que $\G_n(X\times_k R_n)$ est isomorphe au $k$-schéma $\!L_n(X)$ considéré dans \cite{dl1}. On en déduit en particulier que $\!L(X)\simeq\G(X\hat\otimes_k R)$, où $X\hat\otimes_k R$ est simplement le complété $\pi$-adique de $X$.

531: 

532: \begin{exe}

533: Il découle des définitions que le $k$-schéma $\G_0(\!X)$ est canoniquement isomorphe à $(X_0)_{\mathrm{red}}$.

534: \end{exe}

535: 

536: 

537: 

538: 

539: %---------------------------------

540: 

541: 

542: \subsection{Les notations}

543: 

544: 

545: 

546: %---------------------------------

547: 

548: 

549: \begin{enumerate}

550: 

551: \item

552: 

553: Soit $A$ une $k$-algèbre. On pose $L(A)=A$ si $R$ est un anneau d'égale caractéristique et $L(A)=W(A)$ si $R$ est un anneau d'inégale caractéristique. On notera par $R_A$ l'anneau $R_A:=R\otimes_{L(k)}L(A)$. Si $F$ est un corps parfait contenant $k$, on notera $K_F$ le corps des fractions de $R_F$. On peut remarquer alors, que, comme $k$ est supposé parfait, l'extension $R\rightarrow R_F$ est d'indice de ramification 1 au sens de \cite{blr} \S 3.6. En particulier, on a une bijection canonique

554: $$

555: \G(\!X)(F)\simeq\!X(R_F).

556: $$

557: 

558: 

559: 

560: \item

561: 

562: Pour tout $n\in\mathbf{N}$, les morphismes canoniques seront toujours notés de la manière suivante:

563: 

564: $$

565: \xymatrix{\G(\!X)\ar[r]^{\pi_{n,\!X}}\ar[dr]_{\pi_{n-1,\!X}}& \G_n(\!X)\ar[d]^{\theta^n_{n-1}} \\

566: & \G_{n-1}(\!X).}

567: $$

568: Les morphismes $\pi_{n,\!X}$ (ou $\pi_n$) sont les morphismes de troncation. Les morphismes $\theta_n^{n-1}$ sont les morphismes de transition. 

569: 

570: \item

571: 

572: Soit $\!Y$ un $R$-schéma formel \textit{sttf}. Soit $h:\!Y\rightarrow\!X$ un $R$-morphisme de schémas formels. On notera encore $h$ le $k$-morphisme de schémas $\G(h)$, et on notera $h_n$ le $k$-morphisme $\G_n(h)$, pour tout $n\in\mathbf{N}$. Ces morphismes $h$ et $h_n$ rendent commutatif le diagramme suivant:

573: $$

574: \xymatrix{\G(\!Y)\ar[r]^{h}\ar[d]_{\pi_{n,\!Y}}&\G(\!X)\ar[d]^{\pi_{n,\!X}}\\

575: \G_n(\!Y)\ar[r]_{h_n}&\G_n(\!X)}

576: $$

577: 

578: \end{enumerate}

579: 

580: 

581: 

582: %---------------------------------

583: 

584: 

585: \subsection{Les propriétés et la définition par recollement}

586: 

587: 

588: %---------------------------------

589: 

590: 

591: 

592: 

593: 

594: \begin{prop}

595: 

596: \begin{enumerate}

597: \label{recollement}

598: 

599: \item Le foncteur $\G$ préserve les immersions ouvertes et fermées, les produits fibrés, et transforme $R$-schémas formels affines en $k$-schémas affines.

600: 

601: \item Soit $\!X$ un $R$-schéma formel sttf et soit $(\!O_i)_{i\in J}$ un recouvrement fini de $\!X$ par des sous-schémas formels ouverts affines. Il existe des isomorphismes canoniques $\G(\!O_i\cap\!O_j)\simeq\G(\!O_i)\cap\G(\!O_j)$ et le $k$-schéma $\G(\!X)$ est obtenu en recollant les $\G(\!O_i)$.

602: \end{enumerate}

603: \end{prop}

604: 

605: \begin{proof}

606: 

607: Les assertions \ref{recollement}/1 et \ref{recollement}/2 pour $\G$ se déduisent directement de celles pour $\G_n$. L'assertion \ref{recollement}/1 est démontrée dans \cite{g1}. Il nous suffit donc de prouver l'assertion \ref{recollement}/2 pour $\G_n$ et $n\in\mathbf{N}$. L'existence d'isomorphismes canoniques découle de la propriété universelle. L'assertion \ref{recollement}/2 s'ensuit.

608: \end{proof}

609: 

610: 

611: \begin{lem}

612: Soit $\!X$ un $R$-schéma formel sttf. Alors le $k$-morphisme canonique de schémas 

613: $$

614: \G(\!X_{\mathrm{red}})\hookrightarrow\G(\!X)

615: $$

616: est un isomorphisme.

617: \end{lem}

618: 

619: \begin{proof}

620: Soit $x\in\G(\!X)$. Par adjonction, il correspond, à un point géométrique au-dessus de $x$, un $\mathbb{D}$-morphisme de schémas formels $\varphi:\Spf R_{k'}\rightarrow\!X$, où $k'$ est une clôture algébrique de $\kappa(x)$, le corps résiduel de $x$ dans $\G(\!X)$. Comme $\Spf R_{k'}$ est réduit, le morphisme $\varphi$ se factorise par $\!X_{\mathrm{red}}$. En particulier, $x\in \G(\!X_{\mathrm{red}})$. Les deux $k$-schémas réduits de $\G(\!X)$ et $\G(\!X_{\mathrm{red}})$ ont donc le même espace topologique sous-jacent. L'assertion en découle.

621: \end{proof}

622: 

623: 

624: 

625: 

626: Rappelons la définition d'une algèbre de Tate analytiquement séparable (\textit{cf} \cite{sch}).

627: 

628: \begin{defi}

629: Soit $A$ une algèbre de Tate définie par un idéal 

630: $$

631: \mathfrak{a}\subset K\{X_1,\ldots,X_N\}.

632: $$

633: On dit que $A$ est analytiquement séparable si l'anneau

634: $$

635: \overline{K}\{X_1,\ldots,X_N\}/\mathfrak{a}\overline{K}\{X_1,\ldots,X_N\}

636: $$

637: est réduit, où $\overline{K}$ est le complété d'une clôture algébrique de $K$. Dire que $A$ n'est pas analytiquement séparable équivaut à dire que $K$ est de caractéristique $p>0$ et que $K^{1/p}\{X_1,\ldots,X_N\}/\mathfrak{a}K^{1/p}\{X_1,\ldots,X_N\}$ n'est pas réduit.

638: \end{defi}

639: 

640: 

641: 

642: 

643: 

644: \begin{prop}

645: \label{schappa}

646: Soit $\!X$ un $R$-schéma formel admissible et réduit de pure dimension $d$. Soit $\!X_{\mathrm{sing}}$ le sous-$R$-schéma formel fermé de $\!X$ défini en \S \ref{notion de lissite}. Soient $X_K$ la fibre générique de $\!X$ et $(\!X_{\mathrm{sing}})_K$ celle de $\!X_{\mathrm{sing}}$. Alors soit $(\!X_{\mathrm{sing}})_K$ est de codimension au moins 1 dans $X_K$; soit, pour tout ouvert affine $\!U\rightarrow\!X$ sttf, il existe un sous-$R$-schéma formel $\!Z_\!U\hookrightarrow\!U$ tel que:

647: 

648: \begin{enumerate}

649: 

650: \item la fibre générique $(\!Z_\!U)_K$ de $\!Z_\!U$ est de codimension au moins 1 dans $X_K$.

651: 

652: \item Le morphisme de $k$-schémas formels $\G(\!Z_\!U)\hookrightarrow\G(\!U)$ est fortement bijectif (\textit{cf} \S\ref{fi}).

653: 

654: 

655: \end{enumerate}

656: 

657: \end{prop}

658: 

659: 

660: 

661: \begin{proof}

662: La question étant locale en $\!X$, on peut supposer que $\!X:=\Spf A$ est affine défini dans $R\{X_1,\ldots,X_N\}$ par un idéal $\!I$. Soit $I_K:=\!I\times_R K$. On peut supposer que $\!X$ est irréductible. En particulier, ceci entra\^\i ne que l'idéal $I_K$ est premier.

663: 

664: \textit{Premier cas: supposons que $A_K:=A\otimes_R K$ est analytiquement séparable}. Dans l'article \cite{sch}, Schappacher a montré que le lieu singulier de $X_K$ est contenu srtictement dans $X_K$. En particulier, ceci implique que la dimension de $(\!X_{\mathrm{sing}})_K$ est strictement inférieure à $d$ (car $(\!X_{\mathrm{sing}})_K$ est un fermé de $X_K$ et $X_K$ est irréductible.

665: 

666: 

667: \textit{Deuxième cas: supposons que $A_K:=A\otimes_R K$ n'est pas analytiquement séparable}. Par un argument d'analyse ultramétrique utilisé par Schappacher dans \cite{sch}, l'hypothèse entra\^\i ne qu'il existe $g\in K\{X_1,\ldots,X_N\}$ vérifiant les propriétés suivantes: $g\not\in I_K$ et $g(\varphi)=0$ pour tout $\varphi\in\G(\!X)(k)$. Quitte à multiplier par une puissance de $\pi$, on peut supposer en outre que $g\in R\{X_1,\ldots,X_N\}$. Le sous-$R$-schéma formel fermé défini par l'idéal $\!I + g$ est une solution au problème.

668: 

669: \end{proof}

670: 

671: 

672: 

673: 

674: 

675: 

676: 

677: 

678: 

679: 

680: 

681: 

682: 

683: 

684: 

685: 

686: 

687: 

688: 

689: 

690: \begin{lem}

691: \label{morphisme etale}

692: Soit $h:\!Y\rightarrow\!X$ un $\mathbb{D}$-morphisme étale de schémas formels sttf et réduits. Alors le $k$-schéma $\G_n(\!Y)$ (resp. $\G(\!Y)$) est (canoniquement) isomorphe au $k$-schéma $\G_n(\!X)\times_{X_0} Y_0$ (resp. $\G(\!X)\times_{X_0} Y_0)$), pour tout $n\in\mathbf{N}$.

693: \end{lem}

694: 

695: \begin{proof}

696: Dans le cas où $\!X$ est le complété $\pi$-adique d'une variété sur $k$, cette preuve est également faite dans \cite{kv}. On peut supposer $\!X$ et $\!Y$ affines. Soit $S=\Spec A$ un $k$-schéma affine. La donnée d'un $k$-morphisme $S\rightarrow\G_n(\!X)\times_{X_0} Y_0$ équivaut à celle d'un diagramme commutatif de $k$-morphismes

697: $$

698: \xymatrix{S\ar[r]\ar[d]&\G_n(\!X)\ar[d]^{\theta_0^n}\\

699: Y_0\ar[r]^{h_0}&X_0}

700: $$

701: Par adjonction, celle-ci équivaut à la donnée du diagramme commutatif de $R_n$-morphismes

702: $$

703: \xymatrix{\Spec(L(A))\otimes_{L(k)}R_n)\ar[rr]& & X_n &\\

704: &Y_n\ar@{-->}[ur]^{h_n}&&X_0\ar[ul]\\

705: S=\Spec(L(A(S))\otimes_{L(k)}R_0)\ar[uu]^{u}\ar[rr]\ar@{-->}[ur]&  & Y_0\ar@{-->}[ul]\ar[ur]^{h_0}}

706: $$

707: Comme le $R_n$-morphisme $u$ est une immersion nilpotente et que le $R_n$-morphisme $h_n$ est étale (\textit{cf} \S\ref{lissite}), il existe un unique $R_n$-morphisme $v:\Spec(L(A(S))\otimes_{L(k)}R_n)\rightarrow Y_n$, qui complète le diagramme ci-dessus en un diagramme de $R_n$-morphismes, où tous les triangles sont commutatifs

708: $$

709: \xymatrix{\Spec(L(A(S))\otimes_{L(k)}R_n)\ar@{-->}[dr]_{v}\ar[rr]& & X_n &\\

710: &Y_n\ar[ur]^{h_n}&&X_0\ar[ul]\\

711: S\ar[uu]^{u}\ar[rr]\ar[ur]&  & Y_0\ar[ul]\ar[ur]^{h_0}}

712: $$

713: Par adjonction, on déduit l'existence d'un $k$-morphisme de schéma $v:S\rightarrow\G_n(\!Y)$. L'unicité de ce morphisme découle de la construction.

714: \end{proof}

715: 

716: 

717: 

718: 

719: 

720: 

721: 

722: 

723: 

724: %-----------------------------------------

725: 

726: 

727: 

728: 

729: \subsection{Le cas lisse}

730: 

731: 

732: 

733: 

734: %-----------------------------------------

735: 

736: 

737: 

738: 

739: 

740: 

741: 

742: 

743: \begin{exe}

744: Si $\!X=\mathbb{B}_R^d$, le $k$-schéma $\G_n(\!X)$ est $k$-isomorphe à $\mathbf{A}_k^{(n+1)d}$.

745: \end{exe}

746: 

747: 

748: \begin{lem}

749: \label{le cas lisse}

750: Soit $\!X$ un $R$-schéma formel sttf lisse sur $R$ de dimension $d$. Alors on a les propriétés suivantes:

751: \begin{enumerate}

752: 

753: \item pour tout $n\in\mathbf{N}$ et tout $m\geq n$, les $k$-morphismes $\pi_{n,\!X}$ et $\theta^m_n$ sont surjectifs.

754: 

755: \item Pour tout $n\in\mathbf{N}$, le $k$-morphisme $\theta_n^{n+1}$ est une fibration localement triviale pour la topologie de Zariski de fibre $\mathbf{A}^d_k$.

756: 

757: 

758: \end{enumerate}

759: \end{lem}

760: 

761: \begin{proof}

762: L'assertion \ref{le cas lisse}/1 est une conséquence de \ref{le cas lisse}/2. Comme $\!X$ est lisse, pour tout $x\in X_0$, il existe un sous-$R$-schéma formel affine $\!U\hookrightarrow\!X$, ouvert contenant $x$, et un $R$-morphisme de schémas formels étale $\!U\rightarrow\mathbb{B}_R^d$. Le lemme \ref{morphisme etale} et le fait que $\G_n(\mathbb{B}_R^d)=\mathbf{A}_k^{(n+1)d}$ assurent le résultat.

763: \end{proof}

764: 

765: 

766: 

767: 

768: 

769: 

770: 

771: 

772: 

773: 

774: 

775: 

776: 

777: 

778: %----------------------------------------------------

779: 

780: 

781: 

782: \subsection{L'interprétation des points géométriques}

783: \label{fi}

784: 

785: 

786: 

787: %---------------------------------------------------

788: 

789: 

790: 

791: 

792: Soit $x$ un point géométrique de $\G(\!X)$ et $\overline{x}$ un point géométrique au-dessus de $x$, \textit{i.e.} un $k$-morphisme de schémas $\Spec \kappa(x)^{\mathrm{alg}}\rightarrow \G(\!X)$ avec $\kappa(x)^{\mathrm{alg}}$ une clôture algébrique du corps résiduel $\kappa(x)\supset k$. Par adjonction, il lui correspond un unique $R$-morphisme de schémas formels $\underline{x}:\Spf R_{\kappa(x)^{\mathrm{alg}}}\rightarrow \!X$. Posons $k':=\kappa(x)^{\mathrm{alg}}$. Désignons par $K'$ le corps des fractions de l'anneau $R_{k'}$. Par extension des scalaires, les ensembles

793: $$

794: \Hom_\mathbb{D}(\Spf R_{k'},\!X)\rightarrow\Hom_{\Spf R_{k'}}(\Spf R_{k'},\!X\hat{\times}_\mathbb{D}\Spf R_{k'})

795: $$

796: s'identifient canoniquement. On peut donc associer à $\overline{x}$ un (unique) rig-point d'une extension de $\!X$. En particulier, si $\!X$ est affine, un point géométrique de $\G(\!X)$ s'identifie à un (unique) point de l'espace sous-jacent d'une extension de $X_K$ par un corps $K'$ (\textit{cf} lemme 3.4 de \cite{bl1}).

797: 

798: 

799: Soit $h:\!Y\rightarrow\!X$ un $\mathbb{D}$-morphisme de schémas formels \textit{sttf}. On dira que $h:\G(\!Y)\rightarrow\G(\!X)$ est \textit{injectif} si l'application d'ensembles sous-jacente est injective. On dit que $h$ est \textit{fortement injectif} si, pour tout corps $F$ parfait (et séparable) contenant $k$, l'application canonique

800: $$

801: \G(\!Y)(F)\rightarrow\G(\!X)(F)

802: $$

803: est injective. Si $h$ est fortement injectif, alors $h$ est injectif. Soient $x$ et $y$ deux points \textit{distincts} de $\G(\!Y)$, de corps résiduels $\kappa(x)$ et $\kappa(y)$ dans $\G(\!Y)$. Soit $F$ le corps parfait et séparable défini de la manière suivante

804: $$

805: F:=(\mathrm{Frac}(\kappa(x)^{\mathrm{alg}}\otimes_{k^{\mathrm{alg}}}\kappa(y)^{\mathrm{alg}}))^{\mathrm{alg}}

806: $$

807: où $\mathrm{Frac}(A)$ est le corps des fractions de $A$, si $A$ est un anneau intègre. Le corps $F$ contient les corps $\kappa(x)$ et $\kappa(y)$ (donc $k$). Soit $\varphi_x:\Spec (\kappa(x)^{\mathrm{alg}})\rightarrow\G(\!Y)$ (\textit{resp.} $\varphi_y:\Spec (\kappa(y)^{\mathrm{alg}})\rightarrow\G(\!Y)$) le $k$-morphisme correspondant à $x$ (\textit{resp.} à $y$). On a les diagrammes commutatifs suivants

808: $$

809: \xymatrix{&&\Spec F\ar[drr]^{p_2}\ar[dll]_{p_1}&&\\

810: \Spec (\kappa(x)^{\mathrm{alg}})\ar[rr]^{\varphi_x}\ar[drr]^{\varphi_1}&&\G(\!Y)\ar[d]^h&&\Spec (\kappa(y)^{\mathrm{alg}})\ar[ll]_{\varphi_y}\ar[dll]_{\varphi_2}\\

811: &&\G(\!X)&&}

812: $$

813: Par hypothèse et construction, les morphismes $\varphi_x\circ p_1$ et $\varphi_x\circ p_2$ sont distincts. L'hypothèse d'injectivité entraine alors que les morphismes $\varphi_1\circ p_1$ et $\varphi_2\circ p_2$ sont distincts. En particulier, leurs images, \textit{i.e.} les points $h(x)$ et $h(y)$ de $\G(\!X)$, sont également distincts.

814: 

815: 

816: De même, on dit que $h$ est \textit{surjectif} (\textit{bijectif}) si l'application d'ensembles sous-jacente est surjective (bijective). On dit que $h$ est \textit{fortement surjectif} (\textit{fortement bijectif}) si, pour tout corps $F$ parfait (et séparable) contenant $k$, l'application canonique

817: $$

818: \G(\!Y)(F)\rightarrow\G(\!X)(F)

819: $$

820: est surjective (bijective). Si $h$ est fortement surjectif (fortement bijectif), alors $h$ est surjectif (bijectif). En effet, soit $x\in\G(\!X)$. Soit $\tilde{x}\in\G(\!X)(F)$ un $F$-point géométrique de $\G(\!X)$ au-dessus de  $x$. Alors, par hypothèse, il existe un $F$-point $\tilde{y}$ de $\G(\!Y)$ qui est un antécédant de $\tilde{x}$ par $h$. En particulier, le point $\tilde{y}(F)$ de $\G(\!Y)$ est un antécédent de $x$ par $h$.

821: 

822: 

823: 

824: 

825: 

826: 

827: \begin{exe}

828: Soit $\!X$ un $R$-schéma formel \textit{sttf}, génériquement lisse. Il possède donc un modèle de Néron faible $\sigma:\!U\rightarrow\!X$ sttf (\textit{cf} \cite{bs}). Par définition, le $R$-morphisme $\sigma$ est fortement injectif et fortement surjectif.

829: \end{exe}

830: 

831: 

832: 

833: 

834: 

835: 

836: 

837: Pour toutes ces raisons, nous identifierons, dans la suite de l'article, toutes les fois où cela sera nécessaire, les notions de points de $\G(\!X)$ et de $F$-points de $\G(\!X)$, pour $F$ une extension parfaite de $k$. Ainsi, si $x\in\G(\!X)$, on notera $\varphi_x:\Spf R_{k'}\rightarrow\!X$ (ou plus simplement $\varphi$) le $\mathbb{D}$-morphisme correspondant à un point géométrique de $\G(\!X)$ au-dessus de $x$.

838: 

839: 

840: 

841: 

842: 

843: 

844: %---------------------------------------------------------

845: %---------------------------------------------------------

846: 

847: 

848: 

849: \section{Cylindres et leur mesure}

850: 

851: 

852: %---------------------------------------------------------

853: %---------------------------------------------------------

854: 

855: 

856: 

857: 

858: 

859: %--------------------------------------------

860: 

861: 

862: \subsection{Les anneaux de Grothendieck.}

863: 

864: %-------------------------------------------

865: 

866: 

867: 

868: 

869: Soit $k$ un corps. On note $\!M:=K_0(\underline{Var}_{/k})$ le groupe abélien engendré par les symboles $[S]$, pour $S$ une variété sur $k$ (\textit{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$. Il existe une structure naturelle d'anneau sur $\!M$, le produit étant induit par le produit fibré. La classe du point est l'élément neutre de cet anneau. On la notera $\mathbf{1}$. 

870: 

871: À tout ensemble constructible $C$ d'une variété $S$, on peut associer naturellement une classe $[C]$ dans $\!M$. Si $C$ et $C'$ sont deux ensembles constructibles d'une variété $S$, on a la relation $[C\cup C']=[C]+[C']-[C\cap C']$. 

872: 

873: On notera $\mathbf{L}$ la classe de $\mathbf{A}_k^1$ dans $\!M$, \textit{i.e.} $\mathbf{L}:=[\mathbf{A}_k^1]$. On désignera par $\!M_{\mathrm{loc}}:=\!M[\mathbf{L^1}]$ le localisé de $\!M$ par rapport au système multiplicatif $\{\mathbf{1},\mathbf{L}, \mathbf{L}^2,\ldots\}$.

874: 

875: 

876: 

877: 

878: Soit $F^m\!M_{\mathrm{loc}}$ le sous-groupe de $\!M_{\mathrm{loc}}$ engendré par les $[S]\mathbf{L}^{-i}$ tels que $\dim S-i\leq -m$, et $\widehat{\!M}$ le séparé, complété de $\!M_{\mathrm{loc}}$ suivant cette filtration. On notera $F^\bullet$ cette filtration. On note $\overline{\!M_{\mathrm{loc}}}$ l'image de $\!M_{\mathrm{loc}}$ dans $\widehat{\!M}$.

879: 

880: La filtration $F^\bullet$ définit une topologie métrisable sur $\widehat{\!M}$. On note

881: $$

882: \xymatrix{\parallel\hskip 1mm\parallel:\widehat{\!M}\ar[r]&\mathbf{R}_{\geq 0}}

883: $$

884: l'application  telle que

885: $$

886: \lVert{a}\rVert=

887: \begin{cases}

888: 2^{-n}& \text{si $a\in F^n\widehat{\!M}$ et $a\not\in F^{n+1}\widehat{\!M}$},\\

889: 0 & \text{$a=0$}. 

890: \end{cases}

891: $$

892: Cette application est la norme induite par cette filtration. Elle munit $\widehat{\!M}$ d'une structure d'anneau normé non archimédien.

893: 

894: 

895: 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$, \textit{i.e.} il existe des sous-$k$-variétés $(S_i)_{1\leq i\leq n}$ de $S$ telles que

896: $$

897: C=\sqcup_{1\leq i\leq n} S_i.

898: $$

899: On définit alors la \textit{dimension} de $C$ comme la borne supérieure des dimensions des $S_i$ pour $1\leq i\leq n$. Il est clair que cette définition est indépendante de la partition choisie.

900: 

901: 

902: 

903: 

904: 

905: 

906: 

907: %--------------------------------------------

908: 

909: 

910: \subsection{Les morphismes par morceaux}

911: 

912: 

913: %--------------------------------------------

914: 

915: 

916: 

917: 

918: 

919: 

920: 

921: \begin{defi}

922: Soient $X$ et $Y$ deux $k$-sch\'emas, $A$ (resp. $B$) une partie constructible de $X$ (resp. $Y$). On dit qu'une application $\pi:A\rightarrow B$ est un morphisme par morceaux s'il existe une partition finie de $A$ en sous-schémas localement fermés de $X$ telle que la restriction de $\pi$ à chacun de ces sous-schémas soit induite par un morphisme de $k$-schémas.

923: \end{defi}  

924: 

925: 

926: 

927: 

928: 

929: \begin{defi}

930: Avec les notations ci-dessus, on dit que l'application $\pi:A\rightarrow B$ est une fibration triviale par morceaux de fibre $F$, s'il existe une partition finie de $B$ par des sous-ensembles $S$ localement ferm\'es dans $Y$ tel que $\pi^{-1}(S)$ est localement ferm\'e dans $X$ et isomorphe, en tant que $k$-schéma, \`a $S\times_k F$, $\pi$ correspondant, par cet isomorphisme \`a la projection $S\times_k F\rightarrow S$.

931: \end{defi} 

932: 

933: 

934: \begin{defi}

935: Avec les m\^emes notations, on dit que l'application $\pi$ est une fibration triviale par morceaux sur $C$, avec $C$ un sous-ensemble constructible de $B$, si la restriction de $\pi$ \`a $\pi^{-1}(C)$, \textit{i.e.} $\pi_{\mid \pi^{-1}(C)}:\pi^{-1}(C)\rightarrow C$, est une fibration triviale par morceaux.

936: \end{defi}

937: 

938: 

939: \begin{rem}

940: Si $\pi:A\rightarrow B$ est une fibration triviale par morceaux de fibre $F$, les lois algébriques dans $\!M$ assurent que $[A]=[B].[F]$.

941: \end{rem}

942: 

943: 

944: 

945: 

946: 

947: 

948: %-------------------------------------------

949: 

950: 

951: \subsection{Les cylindres.}

952: 

953: 

954: %--------------------------------------------

955: 

956: 

957: 

958: 

959: Fixons un $R$-schéma formel \textit{sttf}.

960: 

961: 

962: 

963: 

964: 

965: \subsubsection{La définition et les premiers exemples.}

966: 

967: 

968: 

969: 

970: 

971: 

972: \begin{defi}

973: On dit qu'une partie $A$ de $\G(\!X)$ est un sous-ensemble cylindrique de rang $n$ de $\G(\!X)$ (ou plus simplement un cylindre de rang $n$ de $\G(\!X)$), si $A=\pi_{n,\!X}^{-1}(C)$, o\`u $C$ d\'esigne une partie constructible de $\G_n(\!X)$. On dit que $A$ est un cylindre si $A$ est un cylindre  d'un certain rang $n$.

974: \end{defi}

975: 

976: \begin{defi}\label{pro-cylindre}

977: On dit qu'une partie $A$ de $\G(\!X)$ est un pro-cylindre (resp. un ind-cylindre) si elle est intersection (resp. r\'eunion) d\'enombrable de cylindres. 

978: \end{defi}

979: 

980: \begin{lem}

981: Soit $A$ un cylindre de rang $n$ de $\G(\!X)$. Alors $A=\pi_{n,\!X}^{-1}(\pi_{n,\!X}(A))$.

982: \end{lem}

983: 

984: \begin{proof}

985: Évident, car $A:=\pi_{n,\!X}^{-1}(A_n)$ avec $A_n$ ensemble constructible de $\G_n(\!X)$.

986: \end{proof}

987: 

988: 

989: 

990: \begin{exes}

991: 

992: \begin{enumerate}

993: 

994: \item L'espace $\G(\!X)$ est un 0-cylindre, puisque $\pi_{0,\!X}^{-1}({(X_0)}_{\mathrm{red}})=\G(\!X)$.

995: 

996: \item Soit $\!U\hookrightarrow\!X$ un sous-$R$-sch\'ema formel ouvert de $\!X$ quasi-compact. Le $k$-sch\'ema $\G(\!U)\hookrightarrow\G(\!X)$ est un 0-cylindre de $\G(\!X)$ de rang 0. Plus pr\'ecis\'ement, on a l'\'egalit\'e:$$\G(\!U)=\pi_{0,\!X}^{-1}(\G_0(\!U)).$$ En effet, par d\'efinition on a que $\pi_{0,\!X}(\G(\!U))\subset \G_0(\!U)$. Soit $\varphi\in\pi_{0,\!X}^{-1}(\G_0(\!U))$. Ceci entra\^\i ne en particulier que l'image de $\varphi:\Spf R_{k'}\rightarrow \!X$ est contenue dans $\!U$. Soit $\!V$ un ouvert affine de $\!U$ (donc ouvert de $\!X$) contenant l'image topologique de $\varphi$. Le $R$-morphisme $\varphi$ se factorise par $\!V$ donc par $\!U$. 

997: 

998: 

999: \item Soit $\!Z\hookrightarrow\!X$ un sous-$R$-sch\'ema ferm\'e de $\!X$, muni du morphisme canonique. Alors $\G(\!Z)$ est un pro-cylindre. En effet, on a l'\'egalit\'e:$$\G(\!Z)=\cap_{n\in\mathbf{N}}\pi_{n,\!X}^{-1}(\G_n(\!Z)).$$

1000: \end{enumerate}

1001: 

1002: \end{exes}

1003: 

1004: 

1005: \subsubsection{Les propriétés essentielles.}

1006: 

1007: 

1008: 

1009: 

1010: \begin{prop}

1011: Tout cylindre est un sous-ensemble constructible de $\G(\!X)$. 

1012: \end{prop}

1013: 

1014: \begin{proof}

1015: Ce lemme découle du fait que l'image inverse d'un constructible est constructible (\textit{cf} \cite{ega} \S 7).

1016: \end{proof}

1017: 

1018: 

1019: \begin{lem}

1020: \label{tout cylindre de rang n est de rang m}

1021: Si $A$ est un cylindre de rang $n$, alors $A$ est aussi un cylindre de rang $m$, pour tout $m\geq n$.

1022: \end{lem}

1023: 

1024: \begin{proof}

1025: Ce lemme découle de la commutativité du diagramme suivant

1026: $$

1027: \xymatrix{\G(\!X)\ar[r]^{\pi_{m,\!X}}\ar[dr]_{\pi_{n,\!X}}&\G_m(\!X)\ar[d]^{\theta_n^m}\\

1028: &\G_n(\!X)}

1029: $$

1030: et du fait que l'image inverse d'un constructible est constructible (\textit{cf} \cite{ega} \S 7).

1031: \end{proof}

1032: 

1033: On note $\mathbf{C}_\!X$ l'ensemble des cylindres de $\G(\!X)$.

1034: 

1035: \begin{prop}

1036: \label{cylindres sont un anneau booleen}

1037: L'ensemble $\mathbf{C}_\!X$ des cylindres de $\G(\!X)$ est un anneau booléen. Autrement dit,

1038: 

1039: \begin{enumerate}

1040: 

1041: 

1042: \item les ensembles $\G(\!X)\in\mathbf{C}_\!X$ et $\emptyset\in\mathbf{C}_\!X$.

1043: 

1044: \item L'ensemble $\mathbf{C_\!X}$ est stable par intersection finie.

1045: 

1046: \item L'ensemble $\mathbf{C}_\!X$ est stable par r\'eunion finie.

1047: 

1048: \item L'ensemble $\mathbf{C_\!X}$ est stable par passage au compl\'ementaire.

1049: \end{enumerate}

1050: 

1051: 

1052: 

1053: \end{prop}

1054: 

1055: 

1056: 

1057: 

1058: \begin{proof}

1059: Grâce au lemme \ref{tout cylindre de rang n est de rang m}, on se ramène au cas de cylindres de même rang. Cette proposition découle alors du fait que les parties constructibles d'un ensemble vérifient ces propriétés et de la stabilité de ces propriétés pour l'image inverse (\textit{cf} \cite{ega} \S 7).

1060: \end{proof}

1061: 

1062: 

1063: 

1064: \begin{lem}

1065: \label{quasi-compacite de la topologie constructible}

1066: Soit $(A_i)_{i\in I}$ une famille d\'enombrable de cylindres de $\G(\!X)$. Si $A:=\cup\displaystyle_{i\in I} A_i$ est \'egalement un cylindre, alors il existe un sous-ensemble $J$ fini de $I$ tel que $A:=\cup\displaystyle_{i\in J} A_i$.

1067: \end{lem}

1068: 

1069: 

1070: 

1071: \begin{proof}

1072: En remarquant que $\G(\!X)$ est quasi-compact (obtenu par recollement d'un nombre fini d'affines), ce lemme est une conséquence de la quasi-compacité de la topologie constructible (\textit{cf} \cite{ega} \S 7).

1073: \end{proof}

1074: 

1075: 

1076: 

1077: 

1078: 

1079: Le résultat suivant, qui est une formulation du théorème de Schappacher \cite{sch}, est l'analogue du théorème de Greenberg \cite{g2} dans le cadre de la théorie des schémas formels. 

1080: 

1081: 

1082: \begin{thm}

1083: \label{theoreme de Greenberg}

1084: Soit $R$ un anneau de valuation discrète complet et $\!X$ un $R$-schéma formel sttf. Pour tout $n\geq 0$, il existe un entier $m_\!X(n)\geq n$, ne dépendant que de $\!X$, tel que, pour tout corps parfait $F$ contenant $k$, et tout $x\in \!X(R_F/(\pi)^{m_\!X(n)})$, l'image de $x$ dans $\!X(R_F/(\pi)^{n})$ peut être relevée en $\tilde{x}\in\!X(R_F)$. On appelle fonction de Greenberg du schéma formel $\!X$ l'application qui à $n\in\mathbf{N}$ associe le plus petit des entiers $m_\!X(n)$ définis ci-dessus. On notera $\gamma_\!X$ cette application.

1085: \end{thm}

1086: 

1087: 

1088: 

1089: 

1090: Ce théorème permet de démontrer le lemme suivant, qui joue un rôle crucial dans la définition de la mesure motivique pour les cylindres.

1091: 

1092: 

1093: 

1094: 

1095: 

1096: \begin{lem}

1097: \label{1}

1098: L'image $\pi_{n,\!X}(\G(\!X))$ de $\G(\!X)$ dans $\G_n(\!X)$ est un ensemble constructible de $\G_n(X_n)$. Plus généralement, si $A$ est un cylindre de rang $m$ de $G(\!X)$, alors $\pi_{n,\!X}(A)$ est un ensemble constructible de $\G_n(\!X)$, pour tout $n\geq 0$.

1099: \end{lem}

1100: 

1101: 

1102: 

1103: \begin{proof}

1104: Il nous suffit de démontrer la seconde assertion. Par définition, il existe un ensemble constructible $C_m$ de $\G_m(\!X)$ tel que $A=\pi_m^{-1}(C_m)$ (on omettra l'indice $\!X$ dans $\pi_{n,\!X}$). On peut supposer que $m=n$. Si $n\geq m$, $A=\pi_n^{-1}(({\theta_m^n})^{-1}(C_m))$. Si $m\geq n$, $\pi_n(A)=\theta_n^m(\pi_m(A_m))$; donc, par un théorème de Chevalley (\textit{cf} \cite{ega} \S 7), si $\pi_m(A)$ est constructible, $\pi_n(A)$ l'est aussi.

1105: 

1106: Supposons que $m=n$. Le théorème de Greenberg \ref{theoreme de Greenberg} assure que

1107: $$

1108: \pi_n(A)=\theta_n^{\gamma_\!X(n)}(({\theta_n^{\gamma_\!X(n)}})^{-1}(C_n)).

1109: $$

1110: Le théorème de Chevalley déjà cité (\textit{cf} \cite{ega} \S 7) permet alors de conclure.

1111: \end{proof}

1112: 

1113: 

1114: 

1115: 

1116: Les lemmes précédents permettent de borner la dimension des fibres des morphismes $\theta_n^m$.

1117: 

1118: 

1119: 

1120: \begin{lem}

1121: \label{dimension de la fibre}

1122: Soit $\!X$ un sch\'ema formel sttf sur $R$ dont la fibre générique $X_K$ est de dimension $d$. Alors:

1123: 

1124: \begin{enumerate}

1125: 

1126: \item pour tout $n\in\mathbf{N}$, $\dim\pi_{n,\!X}(\G(\!X))\leq(n+1)d$.

1127: 

1128: \item Pour tout $n,m\in\mathbf{N}$, tel que $m\geq n$, les fibres de $\pi_{m,\!X}(\G(\!X))\rightarrow\pi_{n,\!X}(\G(\!X))$ sont de dimension inf\'erieure \`a $(m-n)d$.

1129: \end{enumerate}

1130: 

1131: \end{lem}

1132: 

1133: 

1134: 

1135: \begin{proof}

1136: Supposons connue l'assertion \ref{dimension de la fibre}/2. Appliquons \ref{dimension de la fibre}/2 aux entiers $n\geq 0$ et $0$. On a $\pi_0(\G(\!X))\subset X_0$ et donc

1137: $$

1138: \dim \pi_n(\G(\!X))\leq nd +\dim \pi_0(\G(\!X))\leq (n+1)d.

1139: $$

1140: Pour montrer l'assertion \ref{dimension de la fibre}/2, il nous suffit de prouver que, pour tout $n\in\mathbf{N}$, la dimension de chaque fibre du morphisme $\pi_{n+1}(\G(\!X))\rightarrow\pi_n(\G(\!X))$ est inférieure ou égale à $d$. 

1141: 

1142: On peut supposer que $\!X$ est affine de la forme $\Spf R\{x_1,\ldots,x_N\}/(f_1,\ldots,f_m)$. Posons $f:=(f_1,\ldots,f_m)$. Soit $x\in\G(\!X)$. Soit $\tilde{\xi}\in\G(\!X)(\kappa(x)^{\mathrm{alg}})$ le $k$-morphisme qui correspond à un point géométrique au-dessus de $x$ et $\xi\in R^N$ le $N$-uplet de $R^N$ qui correspond à ce morphisme. On peut supposer que $k=\kappa(x)^{\mathrm{alg}}$ et que $\varphi\in R^N$. Soit $\!Y$ le $R$-schéma formel affine \textit{ttf} défini par le système de séries formelles restreintes $g(y)=f(\xi+\pi^{n+1}y)$, avec $y:=(y_1,\ldots,y_N)$ dans $\Spf R\{y\}$. Le $K$-morphisme d'algèbres topologiques qui à $x_i$ associe  $\xi_i + \pi^{n+1}y_i$ pour tout $1\leq i\leq N$ induit un isomorphisme d'espaces rigides entre $\!X_{\mathrm{rig}}$ et $\!Y_{\mathrm{rig}}$. En particulier, $\!Y_{\mathrm{rig}}$ est de dimension $d$. Il existe un $R$-modèle $\!Y'$ de $\!Y_{\mathrm{rig}}$ défini, dans $\mathbb{B}^N_R$, par le système d'équations $g(y)/\pi^{n+1}$. Tout point de la fibre est alors contenu dans la fibre spéciale $Y'_0$ de $\!Y'$. Le théorème 1 établi par Oesterlé dans \cite{o1} (\textit{cf} théorème \ref{theoreme de Osterle}) assure alors que la fibre est de dimension au plus $d$.

1143: \end{proof}

1144: 

1145: 

1146: 

1147: Signalons cette conséquence du lemme \ref{dimension de la fibre}.

1148: 

1149: 

1150: 

1151: \begin{lem}

1152: \label{nullite du lieu singulier}

1153: \label{3}

1154: Soit $\!X$ un $R$-sch\'ema formel sttf dont la fibre générique $X_K$ est de dimension $d$ et soit $\!S$ un sous-$R$-sch\'ema formel fermé, dont la fibre générique $S_K$ est de dimension strictement inf\'erieure \`a $d$. Soit $\gamma_\!S$ la fonction de Greenberg pour $\!S$. Alors pour tous $n,i,e\in\mathbf{N}$, tels que $n\geq i\geq \gamma_\!S(e)$, $\pi_{n,\!X}(\pi_{i,\!X}^{-1}\G_e(\!S))$ est de dimension inf\'erieure \`a $(n+1)d-e-1$. Autrement dit, pour tous $n\geq i\geq \gamma_\!S(e)$,

1155: $$

1156: [\pi_{n,\!X}(\pi_{i,\!X}^{-1}(\G_i(\!S)))].\mathbf{L}^{-(n+1)d}\in F^{e+1}\!M_{\mathrm{loc}}.

1157: $$

1158: \end{lem}

1159: 

1160: 

1161: 

1162: \begin{proof}

1163: On oubliera dans cette preuve les indices $\!X$ et $\!S$. On peut supposer que $i=\gamma(e)$. Par le lemme \ref{dimension de la fibre}/2 appliqué à la projection:

1164: $$

1165: \pi_n(\pi_{\gamma(e)}^{-1}(\G_{\gamma(e)}(\!S)))\rightarrow\pi_e(\pi_{\gamma(e)}^{-1}(\G_{\gamma(e)}(\!S)))

1166: $$

1167: on obtient l'inégalité:

1168: $$

1169: \dim \pi_n(\pi_{\gamma(e)}^{-1}(\G_{\gamma(e)}(\!S)))\leq (n-e)d + \dim \pi_e(\pi_{\gamma(e)}^{-1}(\G_{\gamma(e)}(\!S))).

1170: $$

1171: 

1172: Par ailleurs, par définition de la fonction de Greenberg, 

1173: $$

1174: \pi_e(\pi_{\gamma(e)}^{-1}(\G_{\gamma(e)}(\!S)))=\pi_e(\G(\!S)).

1175: $$

1176: Le lemme \ref{dimension de la fibre}/1, assure que $\dim \pi_e(\G(\!S)\leq (e+1)(d-1)$. Le résultat découle du fait que $(n-e)d+(e+1)(d-1)=(n+1)d-e-1$.

1177: 

1178: \end{proof}

1179: 

1180: 

1181: 

1182: \begin{cor}

1183: Soit $\!X$ un $R$-schéma formel admissible. Soit $B$ un cylindre de $\G(\!X)$ de rang $m$ tel qu'il existe un sous-$R$-schéma formel $\!Z$ de $\!X$, dont le $k$-schéma de Greenberg associé contient $B$. Alors, pour tous $n\geq i\geq \max(m,\gamma_\!S(e))$,

1184: $$

1185: [\pi_{n,\!X}(B)].\mathbf{L}^{-(n+1)d}\in F^{e+1}\!M_{\mathrm{loc}}.

1186: $$

1187: \end{cor}

1188: 

1189: \begin{rem}

1190: Soit $\!X$ un $R$-schéma formel admissible et réduit. Alors la proposition \ref{schappa}, le lemme \ref{3} et son corollaire vont entra\^\i ner que soit le volume du lieu singulier de $\!X$ est nul, soit le volume de $\G(\!X)$ est nul. Ce dernier cas étant sans grand intérêt, nous ne le traiterons pas explicitement dans les définitions et les preuves qui vont suivre, bien que celles-ci soient encore valides dans ce cas.

1191: \end{rem}

1192: 

1193: 

1194: 

1195: \begin{exe}

1196: Soit $e\in\mathbf{N}$. Un exemple important de cylindre est le sous-ensemble $\G^{(e)}(\!X)$ de $\G(\!X)$ défini de la manière suivante: on pose

1197: $$

1198: \G^{(e)}(\!X):=\G(\!X)\backslash(\pi_{e,\!X}^{-1}(\G_e(\!X_{\mathrm{sing}}))).

1199: $$

1200: Cette définition induit la décomposition ensembliste:

1201: $$

1202: \G(\!X)=(\bigcup_{e\in\mathbf{N}}\G^{(e)}(\!X))\sqcup \G(\!X_{\mathrm{sing}}).

1203: $$

1204: Soit $x\in\G(\!X)$. On pose $\varphi_x:\Spec \kappa(x)^p\rightarrow \G(\!X)$ le $k$-morphisme correspondant, avec $\kappa(x)^p$ une clôture parfaite du corps résiduel $\kappa(x)$ de $x$ dans $\G(\!X)$. Si $x\in\G^{(e)}(\!X)$, alors le $K$-morphisme $(\varphi_x)_{\mathrm{rig}}$ se factorise par le lieu lisse de la fibre générique $\!X_{\mathrm{rig}}$ de $\!X$ (cf \cite{bl3} \S 2 et 3) et le défaut de lissité de Néron de l'adjoint du morphisme $\varphi_x$ est inférieur ou égal à $e$ (cf \cite{bs} \S 3 et \cite{blr} \S 3.3 et lemme 3.3/2).

1205: 

1206: \end{exe}

1207: 

1208: 

1209: 

1210: 

1211: \subsubsection{La notion de cylindre stable.}

1212: 

1213: 

1214: 

1215: 

1216: 

1217: 

1218: 

1219: \begin{defi}

1220: On dit qu'un sous-ensemble $A$ de $\G(\!X)$ est un cylindre stable de rang $n$ si:

1221: 

1222: \begin{enumerate}

1223: 

1224: \item l'ensemble $A$ est un cylindre de rang $n$.

1225: 

1226: \item Pour tout $m\geq n$, la restriction du morphisme de transition $\pi_{m+1}(\G(\!X))\rightarrow\pi_{m}(\G(\!X))$ est une fibration triviale par morceaux de fibre $\mathbf{A}_k^d$ sur $\pi_m(A)$.

1227: \end{enumerate}

1228: \end{defi}

1229: 

1230: 

1231: 

1232: 

1233: 

1234: 

1235: Soit $\mathbf{C}_{0,\!X}$ la famille des sous-ensembles cylindriques de $\G(\!X)$ qui sont stables pour un certain rang $n$.

1236: 

1237: 

1238: \begin{prop}

1239: L'ensemble $\mathbf{C}_{0,\!X}$ des cylindres stables de $\G(\!X)$ est un idéal de $\mathbf{C_\!X}$. Autrement dit, il vérifie les propriétés suivantes:

1240: 

1241: \begin{enumerate}

1242: 

1243: \item l'ensemble $\mathbf{C}_{0,\!X}\subset \mathbf{C}_{\!X}$ et contient $\emptyset$.

1244: 

1245: \item Si $A,B\in\mathbf{C}_{0,\!X}$ sont deux cylindres stables disjoints, alors leur r\'eunion est un cylindre stable.

1246: 

1247: \item Si $A,B\in\mathbf{C}_{0,\!X}$ sont deux cylindres stables, alors leur r\'eunion est un cylindre stable.

1248: 

1249: \item Si $A\in\mathbf{C}_{0,\!X}$ et $B\in\mathbf{C}$, alors $A\cap B$ est un cylindre stable.

1250: \end{enumerate}

1251: 

1252: 

1253: 

1254: \end{prop}

1255: 

1256: 

1257: 

1258: \begin{proof}

1259: Ces propriétés découlent de la proposition \ref{cylindres sont un anneau booleen} et de la définition des cylindres stables.

1260: \end{proof}

1261: 

1262: \begin{exe}

1263: Le cylindre $\G^{(e)}(\!X)$ est stable (\textit{cf} lemme \ref{existence de la mesure}).

1264: \end{exe}

1265: 

1266: L'intérêt des cylindres stables est que l'on peut définir une mesure na\"{i}ve sur cet ensemble de la manière suivante.

1267: 

1268: \begin{prop}

1269: \begin{enumerate}

1270: \item Il existe un unique morphisme additif

1271: $$

1272: \mu_{0,\!X}:\mathbf{C}_{0,\!X}\longrightarrow \!M

1273: $$

1274: tel que $\mu_{0,\!X}(A)=[\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d}$, pour tout cylindre $A$ stable au rang $n$.

1275: 

1276: 

1277: 

1278: \item L'application $A\mapsto{\mu}_{0,\!X}(A)$ est $\sigma$-additive sur $A\in\mathbf{C}_{0,\!X}$.

1279: 

1280: \item Pour $A$ et $B$ dans $A\in\mathbf{C}_{0,\!X}$, $\lVert{\mu}_{0,\!X}(A\cup B)\lVert\leq \max(\lVert{\mu}_{0,\!X}(A)\rVert,\lVert{\mu}_{0,\!X}(B)\rVert)$. Si $A\subset B$, $\lVert{\mu}_{0,\!X}(A)\rVert\leq\lVert{\mu}_{0,\!X}(B)\rVert.$

1281: 

1282: \end{enumerate}

1283: \end{prop}

1284: 

1285: 

1286: 

1287: 

1288: 

1289: \begin{proof}

1290: 

1291: 

1292: Soit $A$ un cylindre stable de rang $n$ de $\G(\!X)$. Comme, par définition, l'application $\theta_n^m$ est sur $\pi_n(A)$ une fibration localement triviale par morceaux de fibre $\mathbf{A}^d_k$ pour tout $m\geq n$, on a dans ${\!M}_{\mathrm{loc}}$ la relation:

1293: $$

1294: [\pi_{m,\!X}(A)]=[\pi_{n,\!X}(A)]\mathbf{L}^{(m-n)d}.

1295: $$

1296: Cette relation permet de donner un sens à la définition, puisque $A$ est un cylindre stable également au rang $m\geq n$.

1297: 

1298: Soit $A:=\cup_{i\in\mathbf{N}} A_i$ un cylindre de $\G(\!X)$ stable au rang $n$, réunion de cylindres stables disjoints deux à deux. L'additivité de l'application $[\hskip 1mm]$ entra\^\i ne l'additivité de $\mu_{0,\!X}$. Pour la $\sigma$-additivité, on se ramène au cas de l'additivité grâce au lemme \ref{quasi-compacite de la topologie constructible}.

1299: \end{proof}

1300: 

1301: 

1302: 

1303: 

1304: 

1305: \subsubsection{La mesure pour les cylindres.}

1306: 

1307: 

1308: 

1309: 

1310: 

1311: 

1312: \begin{prop}

1313: \label{proprietes de la mesure}

1314: Soit $\!X$ un $R$-schéma formel admissible et réduit.

1315: \begin{enumerate}

1316: 

1317: \item Pour tout cylindre $A\in\mathbf{C}_\!X$, la limite

1318: $$

1319: \tilde{\mu}_\!X(A):=\lim_{e\rightarrow\infty}\mu_{0,\!X}(A\cap\G^{(e)}(\!X))

1320: $$

1321: existe dans $\widehat{\!M}$

1322: 

1323: \item Si $A\in\mathbf{C}_{0,\!X}$, alors $\tilde{\mu}_\!X(A)$ et $\mu_{0,\!X}(A)$ co\"{i}ncident dans $\!M_{\mathrm{loc}}$.

1324: 

1325: \item L'application $A\mapsto\tilde{\mu}_\!X(A)$ est $\sigma$-additive sur $A\in\mathbf{C}_\!X$.

1326: 

1327: \item Pour $A$ et $B$ dans $A\in\mathbf{C}_\!X$, $\lVert\tilde{\mu}_\!X(A\cup B)\rVert\leq \max(\lVert\tilde{\mu}_\!X(A)\rVert,\lVert\tilde{\mu}_\!X(B)\rVert)$. Si $A\subset B$, $\lVert\tilde{\mu}_\!X(A)\rVert\leq\lVert\tilde{\mu}_\!X(B)\rVert$.

1328: 

1329: \end{enumerate}

1330: \end{prop}

1331: 

1332: La preuve s'appuie sur le lemme clé suivant.

1333: 

1334: \begin{lem}

1335: \label{existence de la mesure}

1336: \label{2}

1337: 

1338: Soit $\!X$ un $R$-schéma formel admissible et réduit de pure dimension $d$. Il existe $c_\!X\in\mathbf{N}\backslash\lbrace 0\rbrace$ tel que, pour tout $e$ et tout $n\in\mathbf{N}$ avec $n\geq c_\!Xe$, on ait le r\'esultat suivant:

1339: 

1340: \begin{enumerate}

1341: 

1342: \item l'application: 

1343: $$

1344: \theta_n:\pi_{n+1,\!X}(\G(\!X))\rightarrow\pi_{n,\!X}(\G(\!X))

1345: $$ 

1346: est une fibration triviale par morceaux sur $\pi_{n,\!X}(\G^{(e)}(\!X))$ de fibre $\mathbf{A}_k^d$.

1347: 

1348: \item En particulier,

1349: $$

1350: \lbrack\pi_{n,\!X}(\G_e(\!X))\rbrack=\lbrack\pi_{c_\!Xe,\!X}(\G_e(\!X))\rbrack\mathbf{L}^{d(n-c_\!Xe)}.

1351: $$

1352: 

1353: \end{enumerate}

1354: 

1355: \end{lem}

1356: 

1357: \begin{proof}[Démonstration du lemme \ref{existence de la mesure}]

1358: 

1359: 

1360: Le point \ref{existence de la mesure}/2 est une conséquence directe de l'assertion \ref{existence de la mesure}/1. On peut supposer que $\!X$ est affine de la forme 

1361: $$

1362: \!X=\Spf R\{x_1,\ldots,x_N\}/\!I\hookrightarrow\mathbb{B}_R^N.

1363: $$ 

1364: Soit $\!J$ l'idéal de $R\{x_1,\ldots,x_N\}$ engendré par les produits $h\delta$, où $h$ appartient au conducteur de $\!I$ dans l'idéal de $R\{x_1,\ldots,x_N\}$ défini par $m\leq N$ générateurs $g_1,\ldots,g_m\in \!I$ et où $\delta$ est un mineur $m\times m$ de la matrice jacobienne $(\partial g_j/\partial x_i)_{1\leq j\leq m, 1\leq i\leq N}$. Le lieu singulier est alors défini par l'idéal $\sqrt{\!I+\!J}$ (\textit{ref} lemme \ref{autre definition du lieu singulier}). Soit $c_\!X$ le plus petit entier naturel tel que la puissance $c_\!X$-ème radical de l'idéal $\!I+\!J$ soit contenue dans l'idéal $\!I+\!J$. 

1365: 

1366: 

1367: 

1368: \textit{On peut supposer que $\!X\hookrightarrow\mathbb{B}_R^N$ est d'intersection complète}. En effet, soit $x$ un point de $\G(\!X)$. Soit $\varphi:\Spf R_{k'}\rightarrow\!X$ le $\mathbb{D}$-morphisme qui correspond à un point géométrique au-dessus de $x$. Supposons que $x\not\in \pi_{\!X,e}^{-1}(\G_e(\!X))$. Alors il existe $g\in \sqrt{\!I+\!J}$ tel que

1369: $$

1370: g(\varphi)\not\equiv 0 \ \ \mod \pi^{e+1}. \leqno (0)

1371: $$

1372: En particulier, la congruence $(0)$ entra\^\i ne l'existence d'un élément $u$ de l'idéal $\!J$ tel que

1373: $$

1374: u(\varphi)\not\equiv 0 \ \ \mod \pi^{c_\!Xe+1}.

1375: $$

1376: On peut supposer $u=h\delta$, où $h\in((g_1,\ldots,g_m):\!I)$ et $\delta$ est un mineur de la matrice jacobienne $(\partial g_j/\partial x_i)_{1\leq j\leq m, 1\leq i\leq N}$. On peut supposer que $m=N-d$. En effet, $\varphi_e\in R^N_e$ appartient à $\G_e(\!X_{\mathrm{sing}})$ si et seulement si $q(\varphi_e)=0$ dans $R_e$ pour tout $q\in\sqrt{\!I+\!J}R_e$. Ceci reste vrai, en particulier, pour les éléments $q$ de la forme $h\delta$ ci-dessus avec $m=N-d$.

1377: 

1378: Le cylindre $\G^{(e)}(\!X)$ peut donc être recouvert par un nombre fini de cylindres de $\G(\mathbb{B}^N_R)$ de la forme:

1379: $$

1380: A:=\{\varphi\in\G(\mathbb{B}^N_R)\mid \ \ (h\delta)(\varphi)\not\equiv 0 \mod \pi^{ce+1}\}.

1381: $$

1382: Il nous suffit donc de prouver que, pour tout $n\geq c_\!Xe$, l'application $\theta_n$ est une fibration triviale par morceaux de fibre $\mathbf{A}_k^d$ sur $\pi_{n,\!X}(\G(\!X)\cap A)$ ($\G(\!X)\cap A$ est un cylindre de $\G(\!X)$). Comme $h(\varphi)\not=0$ pour tout $\varphi\in A$,

1383: $$

1384: \G(\!X)\cap A=\G(\Spf R\{x_1,\ldots,x_N\}/(f_1,\ldots,f_{N-d}))\cap A.

1385: $$

1386: On peut donc supposer que $\!X\hookrightarrow\mathbb{B}_R^d$ est d'intersection complète, \textit{i.e.} l'idéal $\!I$ est engendré par $N-d$ éléments $(f_1,\ldots,f_{N-d})$. Notons $\Delta$ la matrice jacobienne $(\partial f_j/\partial x_i)_{1\leq j\leq N-d, 1\leq i\leq N}$.

1387: 

1388: 

1389: 

1390: 

1391: \textit{Montrons que la fibre de $\theta_n$ au-dessus d'un point quelconque $x$ de $\G(\!X)$ est $\kappa(x)$-isomorphe à $\mathbf{A}_{\kappa(x)}^d$}. Soit $x\in\G(\!X)$. Quitte à étendre les scalaires, on peut supposer que $k=\kappa(x)^{\mathrm{alg}}$. Soit alors $\varphi:\mathbb{D}\rightarrow \!X$ le $R$-morphisme correspondant au point $x$. Soit $e'\in\mathbf{N}$, $e'\leq c_\!Xe$. Posons

1392: $$

1393: A':=\{\varphi\in A\mid \ \ \ord_\pi\delta(\varphi)=e'\ \  \textrm{et}\ \  \ord_\pi\delta'(\varphi)\geq e'

1394: $$

1395: $$

1396: \textrm{pour tout mineur $(N-d)\times(N-d)$ $\delta'$ de $\Delta$}\}.

1397: $$

1398: L'ensemble $A'$ est un cylindre de $\G(\!X)$. Il nous suffit donc de prouver que l'application $\theta_n$ est une fibration par morceaux triviale sur $\pi_{n,\!X}(\G(\!X)\cap A')$. On peut supposer, quitte à réordonner les $x_i$, que le mineur $\delta$ se calcule à partir des $N-d$ premières colonnes de $\Delta$. L'ensemble $\theta_n^{-1}(x)$ est décrit par les équations en $y\in R^N$

1399: $$

1400: f_j(\varphi+\pi^{n+1}y)=\pi^{n+1}D_\varphi f_j.y+\pi^{2n+2}F_j(y)=0

1401: $$

1402: pour tout $1\geq j\geq N-d$, où $F_j\in R\{x_1,\ldots,x_N\}$. Soit $M$ la matrice adjointe de la sous-matrice de $\Delta$ définie par les $N-d$ premières colonnes. En particulier, cette matrice à coefficients dans $R\{x_1,\ldots,x_N\}$ vérifie

1403: $$

1404: M.\Delta=(\delta I_{N-d}, W)

1405: $$

1406: où $W$ est une $d\times N-d$ matrice satisfaisant à

1407: $$

1408: W(\varphi)\equiv 0\mod(\pi^{e'}).

1409: $$

1410: En effet, soit $\widetilde{\Delta(\varphi)}$ la sous-matrice $N-d\times N-d$ de $\Delta(\varphi)$ formée des $N-d$ premières colonnes, que l'on note $\Delta_i(\varphi)$ pour $1\leq i\leq N-d$. Soit $j$ un entier naturel tel que $1\leq j\leq d$. Soit $W_j(\varphi)$ la $j$-ème colonne de $W(\varphi)$ (\textit{i.e.} la $N-d+j$-ème colonne de $M(\varphi).\Delta(\varphi)$). Le système

1411: $$

1412: \widetilde{\Delta(\varphi)}.X=W_j(\varphi), \leqno (0')

1413: $$

1414: où $X=(X_i)_{1\leq i\leq N-d}\in R^{N-d}$ est un vecteur colonne, admet, pour tout $1\leq j\leq d$, une solution, qui se décrit explicitement gr\^ace à la règle de Cramer par

1415: $$

1416: X_i=\mathrm{det}(\Delta_1(\varphi),\ldots,\Delta_{i-1}(\varphi),W_j,\Delta_{i+1}(\varphi),\ldots,\Delta_{N-d}(\varphi))/\mathrm{det}\Delta(\varphi)

1417: $$

1418: (qui est un élément de $R$ puisque le mineur $N-d\times N-d$ de $\Delta(\varphi)$ formé des $N-d$ premières colonnes est de valuation minimale parmi les mineurs $N-d\times N-d$ de $\Delta(\varphi)$).

1419: 

1420: La fibre est alors décrite par le système suivant

1421: $$

1422: \pi^{-e'}M.\Delta(\varphi) +\pi^{n+1-e'}(\ldots)=0. \leqno (1)

1423: $$

1424: Le lemme de Hensel (\textit{cf} \cite{bourb} III \S 4-3) assure alors que la fibre de $\theta_n$ au-dessus de $x$ est simplement l'ensemble des $y_0\in k^N$ vérifiant les équations linéaires

1425: $$

1426: \pi^{-e'}M.\Delta(y_0)\equiv 0\mod(\pi).

1427: $$

1428: La fibre $\theta_n^{-1}(x)$ est donc naturellement munie d'une structure de $\kappa(x)$-espace vectoriel, de dimension $d$, exprimant les $N-d$ premières coordonnées en fonction de combinaisons linéaires des $d$-dernières, dont les coefficients sont paramétrés par les premières coordonnées de $\varphi$ (\textit{cf} \S \ref{description de R}).

1429: 

1430: 

1431: 

1432: \textit{Nous allons conclure cette preuve par un argument ``noethérien''}. Soit $S_i$ un sous-$k$-schéma localement fermé de $\G_n(\!X)$ contenu dans $\pi_n(\G(\!X)\cap A')$. Le diagramme commutatif suivant

1433: $$

1434: \xymatrix{\pi_{n+1}(\G(\!X)\cap A')\ar[r]^{\theta_n} & \pi_n(\G(\!X)\cap A')\\

1435: T_i:=\theta_n^{-1}(S_i)\ar[r]\ar@{^{(}->}[u] & S_i\ar@{^{(}->}[u]}

1436: $$

1437: assure qu'il nous suffit de démontrer qu'un $k$-morphisme $p:T\rightarrow S$ de schémas localement de type fini, dont les fibres vérifient la condition ci-dessus, est une fibration par morceaux triviale, \textit{i.e.} il existe une partition finie $(S_i)_i$ de $S$ en sous-$k$-schémas localement fermés telle que, pour tout $i$, le schéma $p^{-1}(S_i)$ est $k$-isomorphe à $S_i\times_k \mathbf{A}^d_k$. 

1438: 

1439: Le lemme \ref{existence ouvert} ci-dessous assure que, sous ces hypothèses, il existe un ouvert dense $U_0\hookrightarrow S$ de $S:=Z_0$ tel que $p^{-1}(U_0)$ soit $k$-isomorphe à $\mathbf{A}^d_k\times_k U_0$. Soit $Z_1$ le complémentaire de $U_0$ dans $S:=Z_0$. Nous pouvons alors appliquer à nouveau ce raisonnement au sous-$k$-schéma (localement fermé) $Z_1$ de $\G_n(\!X)$. En réitérant le procédé, on obtient une suite décroissante de fermés de $S$, $S:=Z_0\supset Z_1\supset\ldots$, qui, par noethérianité, stationne au rang $r$. La partition cherchée est alors donnée par les ouverts $U_i$ pour $0\leq i\leq r$.

1440: \end{proof}

1441: 

1442: \begin{lem}

1443: \label{existence ouvert}

1444: Soient $S$ et $T$ deux $k$-schémas de type fini et $p:T\rightarrow S$ un $k$-morphisme de schémas tel que, pour tout $x\in S$, le $\kappa(x)$-schéma $p^{-1}(x)$ est $\kappa(x)$-isomorphe à $\mathbf{A}^d_{\kappa(x)}$. Alors il existe un ouvert dense $U$ de $S$ tel que $p^{-1}(U)$ est $U$-isomorphe à $\mathbf{A}^d_U$.

1445: \end{lem} 

1446: 

1447: \begin{proof}

1448: La propriété étant locale sur la base, on peut supposer que $S:=\Spec A$, où $A$ est une $k$-algèbre de type fini. Soit $(S_i)_{i\in I}$, $I$ fini, l'ensemble des composantes irréductibles de $S$. Pour tout $i\in I$, soit $\eta_i$ le point générique de $S_i$. Soit $D(g_i)$ un ouvert affine de $S$ contenant $\eta_i$. L'ouvert de $S$, $D(g_i)\backslash (\cup_{j\not= i} S_j)$, contient $\eta_i$ et est contenu dans $S_i$. Quitte à restreindre encore $S$, on peut supposer en outre que $S$ est irréductible. Désignons par $\eta$ son point générique.

1449: 

1450: \textit{Commen\c{c}ons par prolonger le $\kappa(\eta)$-morphisme de schémas $p^{-1}(\eta)\rightarrow\mathbf{A}_{\kappa(\eta)}^d$ à un morphisme au-dessus de $U$, pour $U$ un ouvert affine de $S$ de la forme $D(g)$ avec $g\in A$}. La donnée d'un tel morphisme est équivalente à celle de $d$ sections globales de $p^{-1}(\eta)$. Soit $(T_i)_{i\in I}$ un recouvrement ouvert de $T$ par des ouverts affines $T_i=\Spec B_i$, où $B_i$ est une $k$-algèbre de type fini. Comme la donnée d'une section globale de $p^{-1}(\eta)$ est équivalente à celle de $|I|$ sections de $p^{-1}(\eta)$ au-dessus des $T_i\times_{k}\Spec \kappa(\eta)$ avec conditions de recollement, il nous suffit de prouver l'existence d'un tel morphisme pour $T$ affine. Soient $B$ la $k$-algèbre des sections globales de $T$ et $K$ le corps des fractions de $A$. Soit $(s_i)_{1\leq i\leq d}$ $d$ éléments de $B_K=B\otimes_A K$. Il existe alors $g\in A$ tel que $(s_i)_{1\leq i\leq d}\in B_g=B\otimes_{A}A_g$.

1451: 

1452: \textit{Prouvons que, quitte à restreindre $U$, le $U$-morphisme $p^{-1}(U)\rightarrow \mathbf{A}_U$ est encore une immersion fermée}. On peut supposer que $T=\Spec B$. Si le $K$-morphisme d'algèbres $K[X_1,\ldots,X_d]\rightarrow B_K$ est surjectif, il existe un élément $g'\in A$ tel que la restriction du $U$-morphisme $p^{-1}(U)\rightarrow \mathbf{A}_U$ à $T\times_k D(gg')$ soit déjà une immersion fermée, en appliquant le raisonnement précédent aux générateurs de $B$ comme $A$-algèbre de type fini. En particulier, ceci entraine que le $k$-schéma $T$ est affine. On note $T=\Spec B$, où $B$ est une $k$-algèbre de type fini.

1453: 

1454: \textit{Montrons que, quitte à restreindre $U$, le noyau du morphisme d'algèbres $A_{gg'}\rightarrow B\otimes_A A_{gg'}$ est nul}. On applique le raisonnement précédent aux générateurs du noyau, pour trouver un élément $g''\in A$ tel que la restriction de notre morphisme de schémas $T\times_k D(gg'g'')$ soit un isomorphisme.

1455: 

1456: \end{proof}

1457: 

1458: 

1459: 

1460: 

1461: \begin{proof}[Démonstration de la proposition \ref{proprietes de la mesure}]

1462: 

1463: Soit $A$ un cylindre de $\G(\!X)$ de rang $m$. Le lemme clé \ref{2} assure que pour tout $e\in\mathbf{N}$ l'ensemble $A\cap\G^{(e)}(\!X)$ est un cylindre stable de rang $\max(m, c_\!Xe)$. Il nous faut donc montrer que la suite $(\mu_{0,\!X}(A\cap\G^{(e)}(\!X)))_{e\in\mathbf{N}}$ converge dans $\widehat{\!M}$, \textit{i.e.} est de Cauchy dans $\widehat{\!M}$. Posons $A^{(e)}:=A\cap\G^{(e)}(\!X)$ et $A_{(e)}:=\G(\!X)\backslash (A\cap\G^{(e)}(\!X))=A\cap \pi_{e,\!X}^{-1}(\G_e(\!X_{\mathrm{sing}}))$. Soient $\varepsilon>0$ et $q=E(-log(\varepsilon)/log 2)+1$. On veut montrer qu'il existe $e_0\in\mathbf{N}$ tel que pour tous $e'\geq e\geq e_0$

1464: $$

1465: [\pi_{n,\!X}(A^{(e)}]\mathbf{L}^{-(n+1)d}-[\pi_{n,\!X}(A^{(e')}]\mathbf{L}^{-(n+1)d}\in F^{q+1}\widehat{\!M}.

1466: $$

1467: Par additivité de $[\hskip 1mm]$ sur les constructibles, on obtient, pour $n\geq\mathrm{max}(m,c_\!Xe,c_\!Xe')$:

1468: $$

1469: [\pi_{n,\!X}(A^{(e)})]\mathbf{L}^{-(n+1)d}=[\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d} -[\pi_{n,\!X}(A_{(e)})]\mathbf{L}^{-(n+1)d}.

1470: $$

1471: En particulier, ceci entra\^\i ne que

1472: $$

1473: [\pi_{n,\!X}(A^{(e)}]\mathbf{L}^{-(n+1)d}-[\pi_{n,\!X}(A^{(e')}]\mathbf{L}^{-(n+1)d}

1474: $$

1475: $$

1476: =([\pi_{n,\!X}(A^{(e)})\cap \pi_{n,\!X}(A_{(e)})]-[\pi_{n,\!X}(A^{(e')})\cap \pi_{n,\!X}(A_{(e')})])\mathbf{L}^{-(n+1)d}

1477: $$

1478: $$

1479: + ([\pi_{n,\!X}(A_{(e')})]-[\pi_{n,\!X}(A_{(e)})])\mathbf{L}^{-(n+1)d}.

1480: $$

1481: Si $e'\geq e\geq \gamma(q)$, où $\gamma$ désigne la fonction de Greenberg pour $\!X_{\mathrm{sing}}$, le lemme \ref{3} assure que 

1482: $$

1483: [\pi_{n,\!X}(A_{(e')})]\mathbf{L}^{-(n+1)d}\in F^{q+1}\widehat{\!M}

1484: $$

1485: et

1486: $$

1487: [\pi_{n,\!X}(A_{(e)})]\mathbf{L}^{-(n+1)d}\in F^{q+1}\widehat{\!M}

1488: $$

1489: Ceci implique que la suite $([\pi_{n,\!X}(A^{(e)})]\mathbf{L}^{-(n+1)d})_{e\in\mathbf{N}}$ est de Cauchy dans $\widehat{\!M}$.

1490: 

1491: 

1492: Les autres assertions sont vérifiées par $\mu_{0,\!X}$ et sont stables par passage à la limite.

1493: \end{proof}

1494: 

1495: 

1496: 

1497: \begin{lem}

1498: Soit $A$ un cylindre de $\G(\!X)$ de rang $m$. La suite 

1499: $$

1500: ([\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d})_{n\in\mathbf{N}}

1501: $$

1502: converge dans $\widehat{\!M}$ vers $\tilde{\mu}_\!X(A)$.

1503: \end{lem}

1504: 

1505: \begin{proof}

1506: Soit $e\geq 0$, posons $A^{(e)}:=A\backslash \pi_{e,\!X}^{-1}(\G_e(\!X_{\mathrm{sing}}))$. Soit $\gamma$ la fonction de Greenberg pour $\!X_{\mathrm{sing}}$. Le lemme \ref{3} assure que, pour tout $n\geq\mathrm{max}(\gamma(e),m,c_\!Xe)$,

1507: $$

1508: [\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d}-[\pi_{n,\!X}(A^{(\gamma(e))})]\mathbf{L}^{-(n+1)d}

1509: $$

1510: appartient à $F^{e+1}\!M_{\mathrm{loc}}$. Par définition, $A^{(e)}\subset \G^{(e)}(\!X)$. Il découle du lemme \ref{2} que $A^{(\gamma(e))}$ est stable de rang $\mathrm{max}(m,c_\!X\gamma(e))$. Par conséquent, pour tous $n$ et $n'\geq \mathrm{max}(m,c_\!X\gamma(e))$,

1511: $$

1512: [\pi_{n,\!X}(A^{(\gamma(e))})]\mathbf{L}^{-(n+1)d}=[\pi_{n',\!X}(A^{(\gamma(e))})]\mathbf{L}^{-(n'+1)d}.

1513: $$

1514: On en déduit que pour tous $n$ et $n'\geq \mathrm{max}(\gamma(e),m,c_\!Xe)$, $[\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d}-[\pi_{n',\!X}(A)]\mathbf{L}^{-(n'+1)d}

1515: $ appartient à $F^{e+1}\!M_{\mathrm{loc}}$. Ceci signifie que la suite 

1516: $$

1517: ([\pi_{n,\!X}(A)]\mathbf{L}^{-(n+1)d})_{n\in\mathbf{N}}

1518: $$

1519: est une suite de Cauchy et donc converge vers $\!L$ dans $\widehat{\!M}$. Comme, par définition, $\tilde{\mu}_\!X(A^{(\gamma(e))})=[\pi_{n,\!X}(A^{(\gamma(e))})]\mathbf{L}^{-(n+1)d}$ pour $n\geq \mathrm{max}(m,c_\!X\gamma(e))$, on en conclut que la suite de terme général $\tilde{\mu}_\!X(A^{(\gamma(e))})$ converge vers $\!L$ dans $\widehat{\!M}$. Comme, par définition, $(\tilde{\mu}_\!X(A^{(\gamma(e))}))$ converge vers $\tilde{\mu}_\!X(A)$, on en déduit que $\mu_\!X(A)=\!L$.

1520: \end{proof}

1521: 

1522: 

1523: 

1524: 

1525: 

1526: 

1527: %------------------------------------------------------

1528: %------------------------------------------------------

1529: 

1530: 

1531: 

1532: \section{Ensembles mesurables}

1533: 

1534: 

1535: 

1536: %-----------------------------------------------------

1537: %------------------------------------------------------

1538: 

1539: 

1540: 

1541: Supposons désormais que $\!X$ est un $R$-schéma formel admissible et réduit.

1542: 

1543: 

1544: 

1545: %--------------------------------------

1546: 

1547: 

1548: 

1549: \subsection{La définition.}

1550: 

1551: 

1552: 

1553: %--------------------------------------

1554: 

1555: 

1556: 

1557: 

1558: \begin{defi}

1559: Soit $A$ un sous-ensemble de $\G(\!X)$. On dit que $A$ est mesurable dans $\G(\!X)$ si, pour tout $\varepsilon>0$, il existe un ensemble $I(\varepsilon)$ au plus dénombrable et une famille de cylindres $(A_i(\varepsilon))_{i\in I\cup\{0\}}$ tels que

1560: \begin{enumerate}

1561: 

1562: \item  $A\triangle A_0(\varepsilon)\subset\displaystyle\bigcup_{i\in I}A_i(\varepsilon)$, où $\triangle$ désigne la différence symétrique. 

1563: 

1564: \item  $\lVert\mu(A_i(\varepsilon))\rVert< \varepsilon$, pour tout $i\in I$.

1565: \end{enumerate}

1566: Dans ce cas, on dit qu'une telle famille de cylindres $(A_i(\varepsilon))_{i\in I(\varepsilon)\cup\{0\}}$ est une $\varepsilon$-approximation cylindrique de $A$. Le cylindre $A_0(\varepsilon)$ est appelé la partie principale de l'approximation cylindrique $A_{I(\varepsilon)}$. On dit que $A$ est fortement mesurable si de plus on peut choisir $A_0(\varepsilon)\subset A$, pour tout $\varepsilon>0$. 

1567: \end{defi}

1568: 

1569: 

1570: 

1571: \begin{exes}

1572: \label{pro-cylindre=mesurable}

1573: 

1574: \begin{enumerate}

1575: \item  Tout cylindre $C$ de $\G(\!X)$ est mesurable (même fortement mesurable). En effet, si $\varepsilon>0$, la famille de cylindres $(C,\emptyset,\emptyset,\emptyset,\ldots)$ est une $\varepsilon$-approximation cylindrique de $C$.

1576: 

1577: \item Soit $\!Z\hookrightarrow\!X$ un sous-$R$-schéma formel fermé d'un $R$-schéma sttf lisse sur $R$ de pure dimension $d$. Alors $\G(\!Z)$ est un ensemble mesurable de $\G(\!X)$. En effet, si $\!Z$ ne contient aucune composante de $\!X$, le résultat est une conséquence du lemme clé \ref{3}. Sinon $\!Z$ s'écrit comme

1578: $$

1579: \!Z=(\sqcup_{i\in I} \!X_i)\sqcup(\tilde{\!Z})

1580: $$

1581: où les $\!X_i$ sont des composantes connexes de $\!X$ et $\tilde{\!Z}$ un sous-$R$-schéma formel fermé de $\!X$ de dimension au plus $d-1$. On a alors

1582: $$

1583: \G(\!Z)\triangle\sqcup(\sqcup_{i\in I}\G(\!X_i))\subset \pi_{n,\!X}^{-1}(\G_n(\tilde{Z}))

1584: $$

1585: pour tout $n\in\mathbf{N}$. En effet, soit $z\in\G(\!Z)$ tel que $z\not\in\sqcup_{i\in I} \!X_i$ et $\pi_{n,\!X}(z)\in\G_n(\!X_{i_0})$. Alors $\pi_{0,\!X}(z)\in\G_n(\!X_{i_0})$ et, comme $\!X_{i_0}$ est ouvert, le point $z$ appartient à $G_n(\!X_{i_0})$.Le résultat découle alors du lemme \ref{3}. Soient $\varepsilon>0$ et $q=E(-log(\varepsilon)/log(2))+1$. Pour tout $n\geq \gamma_\!Z(q)$, on a

1586: $$

1587: [\pi_{n,\!X}(\pi_{n,\!X}^{-1}(\G_n(\tilde{\!Z})))]\mathbf{L}^{-(n+1)d}\in F^{q+1}\widehat{\!M}.

1588: $$

1589: \end{enumerate}

1590: \end{exes}

1591: 

1592: 

1593: 

1594: 

1595: 

1596: On d\'esignera par $\mathbf{D}_\!X$ (\textit{resp.} $\mathbf{D}_\!X^{f}$) l'ensemble des ensembles mesurables (\textit{resp.} fortement mesurables) de $\G(\!X)$.

1597: 

1598: 

1599: 

1600: 

1601: 

1602: 

1603: 

1604: 

1605: 

1606: \begin{prop}

1607: \label{mesurables sont un anneau booleen}

1608: Les ensembles de parties $\mathbf{D}_\!X$ et $\mathbf{D}_\!X^{f}$  v\'erifient les propriétés suivantes:

1609: 

1610: \begin{enumerate}

1611: 

1612: \item $\mathbf{D}_\!X^{f}\subset\mathbf{D}_\!X$.

1613: 

1614: \item Les ensembles $\G(\!X)\in\mathbf{D}_\!X^f$ et $\emptyset\in\mathbf{D}_\!X^f$.

1615: 

1616: \item L'ensemble $\mathbf{D}_\!X$ (resp. $\mathbf{D}_\!X^f$) est stable par intersection finie.

1617: 

1618: \item L'ensemble $\mathbf{D}_\!X$ (resp. $\mathbf{D}_\!X^f$) est stable par r\'eunion finie.

1619: 

1620: \item L'ensemble $\mathbf{D}_\!X$ est stable par passage au compl\'ementaire.

1621: 

1622: \item Si $A$ et $B$ sont deux parties mesurables de $G(\!X)$, alors $A\backslash B$ est encore une partie mesurable de $\G(\!X)$.

1623: 

1624: \end{enumerate}

1625: En particulier, $\mathbf{D}_\!X$ est un anneau bool\'een.

1626: \end{prop}

1627: 

1628: 

1629: \begin{proof}

1630: 

1631: Les ensembles $\G(\!X)$ et $\emptyset$ sont des cylindres, donc des ensembles fortement mesurables. Soit $\varepsilon>0$. Soit $A^{(i)}$ pour $1\leq i\leq n$ une famille finie d'ensembles mesurables de $\G(\!X)$. Pour tout $1\leq i\leq n$, soit $(A_j^{(i)}(\varepsilon))_{j\in I_i\cup \{0\}}$ une $\varepsilon$-approximation cylindrique de $A^{(i)}$. La famille de cylindres définie par $A_0(\varepsilon):=\cup_{i=1}^{n} A^{(i)}_0(\varepsilon)$, et les $A^{(i)}_j(\varepsilon)$ pour tout $1\leq i\leq n$ et tout $j\in I_i$, est une $\varepsilon$-approximation cylindrique de $A:=\cup_{i=1}^{n} A^{(i)}$. De même, la famille de cylindres définie par $B_0(\varepsilon):=\cap_{i=1}^{n} A^{(i)}_0(\varepsilon)$, et les $A^{(i)}_j(\varepsilon)$ pour tout $1\leq i\leq n$ et tout $j\in I_i$, est une $\varepsilon$-approximation cylindrique de $B:=\cap_{i=1}^{n} A^{(i)}$. Le point 5 découle de l'égalité suivante

1632: $$

1633: A\triangle A_0(\varepsilon)=(\G(\!X)\backslash A)\triangle (\G(\!X)\backslash A_0(\varepsilon)).

1634: $$ 

1635: Le point 6 est une conséquence formelle des points 3 et 5 et la suite de cylindres définie par $C_0(\varepsilon):=A^{(1)}_0(\varepsilon)\backslash A^{(2)}_0(\varepsilon)$, les $A^{(1)}_j(\varepsilon)$ pour tout $j\in I_1$ et les $A^{(2)}_i(\varepsilon)$ pour tout $i\in I_2$ est une $\varepsilon$-approximation cylindrique de $C:=A^{(1)}\backslash A^{(2)}$.

1636: \end{proof}

1637: 

1638: 

1639: 

1640: 

1641: 

1642: 

1643: 

1644: 

1645: 

1646: %--------------------------------------

1647: 

1648: 

1649: 

1650: \subsection{La mesure motivique pour les ensembles mesurables.}

1651: 

1652: 

1653: 

1654: %--------------------------------------

1655: 

1656: 

1657: 

1658: 

1659: 

1660: 

1661: \begin{thm}

1662: \label{theoreme de Batyrev}

1663: Soit $\!X$ un $R$-schéma formel admissible et réduit.

1664: \begin{enumerate}

1665: 

1666: \item Pour tout ensemble mesurable $A\in\mathbf{D}_\!X$, la limite

1667: $$

1668: \mu_\!X(A):={\displaystyle{\lim_{\varepsilon\rightarrow 0}}}\hskip0.5mm\tilde{\mu}_\!X(A_0(\varepsilon))

1669: $$

1670: où $A_0(\varepsilon)$ désigne la partie principale d'une $\varepsilon$-approximation cylindrique, existe dans $\widehat{\!M}$. En outre, cette limite est ind\'ependante du choix des approximations cylindriques de $A$.

1671: 

1672: \item Si $A\in\mathbf{C}_{\!X}$, alors ${\mu}_\!X(A)$ et $\tilde{\mu}_\!X(A)$ co\"{i}ncident dans $\widehat{\!M}$.

1673: 

1674: \item L'application $A\mapsto{\mu}_\!X(A)$ est $\sigma$-additive sur $A\in\mathbf{D}_\!X$.

1675: 

1676: \item Pour $A$ et $B$ dans $A\in\mathbf{D}_\!X$, $\lVert{\mu}_\!X(A\cup B)\rVert\leq \max(\lVert{\mu}_\!X(A)\rVert,\lVert{\mu}_\!X(B)\rVert)$. Si $A\subset B$, $\lVert{\mu}_\!X(A)\rVert\leq\lVert{\mu}_\!X(B)\rVert$.

1677: 

1678: \end{enumerate}

1679: 

1680: \end{thm}

1681: 

1682: \begin{proof}

1683: On omettra l'indice $\!X$ dans la preuve. La preuve du point 1 est l'adaptation d'une preuve de Batyrev (\textit{cf} \cite{ba}), établie pour démontrer un résultat analogue. Soit $A$ un ensemble mesurable. Soient  $\varepsilon>0$ et $\varepsilon'>0$ deux nombres r\'eels. Soient $A_{I(\varepsilon)}$ et $A'_{I'(\varepsilon')}$ deux approximations cylindriques de $A$.

1684: 

1685: Par d\'efinition, on a la relation 

1686: $$

1687: A_0(\varepsilon)\triangle A'_0(\varepsilon')\subset\Bigl(\displaystyle\bigcup_{i\in I(\varepsilon)}A_i(\varepsilon)\Bigr)\cup\Bigl(\displaystyle\bigcup_{i\in I'(\varepsilon')}A'_i(\varepsilon')\Bigr).

1688: $$ 

1689: Comme $A_0(\varepsilon)\triangle A'_0(\varepsilon')$ est un cylindre, le lemme \ref{quasi-compacite de la topologie constructible} assure qu'il existe deux entiers $L(\varepsilon)$ et $L(\varepsilon')$ tels que 

1690: $$

1691: A_0(\varepsilon)\triangle A'_0(\varepsilon')\subset\Bigl(\displaystyle\bigcup_{i= 1}^{L(\varepsilon)}A_i(\varepsilon)\Bigr)\cup\Bigl(\displaystyle\bigcup_{i= 1}^{L(\varepsilon')}A'_i(\varepsilon')\Bigr).

1692: $$ 

1693: Les propri\'et\'es de la norme sur $\widehat{\!M}$ donnent la relation 

1694: $$

1695: \lVert\mu(A_0(\varepsilon)\triangle A'_0(\varepsilon'))\rVert\leq\mathrm{max}(\varepsilon,\varepsilon').

1696: $$ 

1697: En utilisant les inclusions 

1698: $$

1699: A_0(\varepsilon)\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon'))\subset A_0(\varepsilon')\triangle A'_0(\varepsilon')

1700: $$ 

1701: $$

1702: A'_0(\varepsilon')\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon'))\subset A_0(\varepsilon)\triangle A'_0(\varepsilon')

1703: $$ 

1704: on obtient les in\'egalit\'es 

1705: $$

1706: \lVert\mu(A_0(\varepsilon)\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon')))\rVert\leq\mathrm{max}(\varepsilon,\varepsilon')

1707: $$ 

1708: $$

1709: \lVert\mu(A'_0(\varepsilon)\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon')))\rvert\leq\mathrm{max}(\varepsilon,\varepsilon').

1710: $$ 

1711: En utilisant la proposition \ref{proprietes de la mesure} et les d\'ecompositions $A_0(\varepsilon)=(A_0(\varepsilon)\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon')))\sqcup (A_0(\varepsilon)\cap A'_0(\varepsilon'))$, $A'_0(\varepsilon)=(A'_0(\varepsilon)\backslash(A_0(\varepsilon)\cap A'_0(\varepsilon')))\sqcup (A_0(\varepsilon)\cap A'_0(\varepsilon'))$, on obtient 

1712: $$

1713: \lVert\mu(A_0(\varepsilon))-\mu(A'_0(\varepsilon'))\rVert\leq\mathrm{max}(\varepsilon,\varepsilon').

1714: $$ 

1715: Ce r\'esultat suffit pour montrer le th\'eor\`eme. En effet, si $A'_{I'(\varepsilon')}=A_{I(\varepsilon')}$, on vient de montrer que la famille $(A_{I(\varepsilon)})_{\varepsilon>0}$ est un filtre de Cauchy, donc converge dans $\widehat{\!M}$. En outre, soient $a$ et $a'$ les limites respectives des suites $(\mu(A_0(1/n))_{n\in\mathbf{N}}$ et $(\mu(A'_0(1/n))_{n\in\mathbf{N}}$. On a l'inégalité 

1716: $$

1717: \lVert a-a'\rVert\leq \lVert a-\mu(A_0(1/n))\rVert+\lVert \mu(A_0(1/n))-\mu(A'_0(1/m))\lVert+\lVert a'-\mu(A_0(1/m))\lVert.

1718: $$

1719: Il est alors clair que $a=a'$. Par cons\'equent, les deux limites co\"\i ncident. 

1720: 

1721: Soit $C$ un cylindre de $\G(\!X)$. Le point 2 découle du fait que, pour tout $\varepsilon>0$, on peut choisir une $\varepsilon$-approximation de $C$ de partie principale égale à $C$.

1722: 

1723: Les points 3 et 4 sont démontrés ci-dessous. Pour le point 3, \textit{cf} corollaire \ref{description des reunions de mesurables}/1. Soient $A$ et $B$ deux parties mesurables de $\G(\!X)$. Soit $\varepsilon>0$. Il existe une $\varepsilon$-approximation cylindrique de $A\cup B$ de partie principale $A_0(\varepsilon)\cup B_0(\varepsilon)$, où $A_0(\varepsilon)$ (\textit{resp.} $B_0(\varepsilon)$) est la partie principale d'une $\varepsilon$-approximation de $A$ (\textit{resp.} $B$). La première partie de 4 en découle. La dernière assertion de 4 est démontrée dans la preuve du lemme \ref{pt 4}.

1724: 

1725: 

1726: 

1727: 

1728: \end{proof}

1729: 

1730: 

1731: 

1732: %-------------------------------------------------------

1733: 

1734: 

1735: \subsection{Les propri\'et\'es g\'en\'erales}

1736: \label{proprietes de la mesure sur les mesurables}

1737: 

1738: 

1739: %---------------------------------------------------------

1740: 

1741: 

1742: 

1743: 

1744: 

1745: \subsubsection{Les propriétés des approximations cylindriques}

1746: 

1747: 

1748: 

1749: 

1750: \begin{lem}

1751: \label{approximation disjointe}

1752: Soient $A$ et $B$ deux ensembles mesurables disjoints, alors, pour tout $\varepsilon>0$, il existe une $\varepsilon$-approximation cylindrique $A_\ast(\varepsilon)$ (resp. $B_\ast(\varepsilon)$) de $A$ (resp. $B$) telle que $A_0(\varepsilon)\cap B_0(\varepsilon)=\emptyset$.

1753: \end{lem}

1754: 

1755: 

1756: 

1757: \begin{proof}

1758: Soit $\varepsilon>0$. Par définition, il existe une $\varepsilon$-approximation cylindrique $(A'_i(\varepsilon))_{i\in I\cup\{0\}}$ (resp. $(B'_i(\varepsilon))_{i\in J\cup\{0\}}$) de $A$ (resp. $B$). La suite de cylindres de $\G(\!X)$ définie par $A_0(\varepsilon):=A'_0(\varepsilon)\backslash B'_0(\varepsilon)$, par les $A_i(\varepsilon)$ pour tout $i\in I$ et par les $B'_j(\varepsilon)$ pour tout $j\in J$ (\textit{resp.} par $B'_j(\varepsilon)$ pour tout $j\in J\cup\{0\}$) est une $\varepsilon$-approximation cylindrique de $A$ (\textit{resp.} de $B$). Ces deux suites répondent à la question.

1759: \end{proof}

1760: 

1761: 

1762: 

1763: 

1764: \begin{cor}

1765: Soit $(A^{(i)})_{1\leq i\leq n}$ une famille finie de parties mesurables deux \`a deux disjointes, alors, pour tout $1\leq i\leq n$, pour tout $\varepsilon>0$, il existe une $\varepsilon$-approximation cylindrique $A_{I_i}^{(i)}$ de $A^{(i)}$, telle que si $i\not= j$, $A_0^{(i)}(\varepsilon)\cap A_0^{(j)}(\varepsilon)=\emptyset$.

1766: \end{cor}

1767: 

1768: 

1769: \begin{proof}

1770: Soit $\varepsilon>0$. L'assertion se prouve par récurrence sur $n$. Supposons que ce cardinal soit égal à $n+1$. Considérons $n+1$ parties mesurables de $\G(\!X)$ deux à deux disjointes. Par hypothèse de récurrence, on peut trouver, pour tout $1\leq i\leq n$, des $\varepsilon$-approximations cylindriques $A^{(i)}_{I_i}$ de $A^{(i)}$ de parties principales deux à deux disjointes. La proposition \ref{mesurables sont un anneau booleen}/4 assure qu'il existe une $\varepsilon$-approximation cylindrique de $\cup_{1\leq i\leq n} A^{(i)}$ de partie principale $\cup_{1\leq i\leq} A^{(i)}_0(\varepsilon)$. La preuve du lemme \ref{approximation disjointe} construit alors une $\varepsilon$-approximation cylindrique de $A^{(n+1)}$ de partie principale d'intersection vide avec $\cup_{1\leq i\leq} A^{(i)}_0(\varepsilon)$.

1771: \end{proof}

1772: 

1773: 

1774: 

1775: 

1776: \begin{lem}

1777: \label{approximation contenue}

1778: Si $A$ et $B$ sont deux ensembles mesurables tels que $A\subset B$, alors, pour tout $\varepsilon>0$, il existe une $\varepsilon$-approximation cylindrique $A_\ast$ (\textit{resp.} $B_\ast$) de $A$ (\textit{resp.} de $B$) telle que $A_0(\varepsilon)\subset B_0(\varepsilon)$. En particulier, si $B$ est fortement mesurable, on peut supposer que $A_0(\varepsilon)\subset B_0(\varepsilon)\subset B$.

1779: \end{lem}

1780: 

1781: 

1782: 

1783: 

1784: \begin{proof}

1785: Soit $\varepsilon>0$. Soit $A'_\ast(\varepsilon)$ (\textit{resp.} $B'_\ast(\varepsilon)$) une $\varepsilon$-approximation de $A$ (resp. $B$). La suite de cylindres $A_\ast(\varepsilon)$ (\textit{resp.} $B_\ast(\varepsilon)$) définie par $A_0(\varepsilon):=A'_0(\varepsilon)\cap B'_0(\varepsilon)$, par les $A'_j(\varepsilon)$ pour tout $j\not=0$ et les $B'_j(\varepsilon)$ pour tout $j\not=0$ (\textit{resp.} par les $B'_j(\varepsilon)$) est une $\varepsilon$-approximation cylindrique de $A$ (resp. $B$) vérifiant la propriété de l'énoncé.

1786: \end{proof}

1787: 

1788: 

1789: 

1790: 

1791: 

1792: 

1793: \subsubsection{Les propriétés de la mesure sur les ensembles mesurables.}

1794: 

1795: 

1796: 

1797: 

1798: 

1799: 

1800: \begin{lem}

1801: \label{pt 4}

1802: Si $A$ et $B$ sont deux ensembles mesurables de $\G(\!X)$ et si $A\subset B$, alors on a $\lVert\mu_\!X(A)\rVert\leq\lVert\mu_\!X(B)\rVert$. 

1803: \end{lem}

1804: 

1805: 

1806: 

1807: 

1808: \begin{proof}

1809: D'apr\`es le lemme \ref{approximation contenue}, on peut trouver une $\varepsilon$-approximation cylindrique de $A$ et une $\varepsilon$-approximation de $B$ telles que $A_0(\varepsilon)\subset B_0(\varepsilon)$. Le r\'esultat d\'ecoule alors du fait que $\lVert\mu_\!X(A_0(\varepsilon))\rVert\leq\lVert\mu_\!X(B_0(\varepsilon))\rVert$ et de la continuit\'e de la norme.

1810: \end{proof}

1811: 

1812: 

1813: 

1814: \begin{prop}

1815: \label{mesurable comme limite}

1816: Soit $(A^{(i)})_{i\in\mathbf{N}}$ une suite d'ensembles mesurables (resp. fortement mesurables) tels que la suite $(\mu_\!X(A^{(i)}))_{i\in\mathbf{N}}$ tende vers 0 dans $\widehat{\!M}$. Alors ${\cup_{i\in\mathbf{N}}}A^{(i)}$ est mesurable (resp. fortement mesurable).

1817: \end{prop}

1818: 

1819: 

1820: 

1821: \begin{proof}

1822: On posera $\mu$ pour $\mu_\!X$ dans cette preuve. Soit $\varepsilon>0$. Il s'agit de construire une $\varepsilon$-approximation cylindrique de $\cup_{i\in\mathbf{N}} A^{(i)}$. Pour tout $\varepsilon'>0$, pour tout $i\in\mathbf{N}$, soit $A^{(i)}_{I_i(\varepsilon')}$ une $\varepsilon'$-approximation cylindrique de $A^{(i)}$. On a montr\'e dans la preuve du th\'eor\`eme \ref{theoreme de Batyrev} que: 

1823: $$

1824: \lVert\mu(A_0^{(i)}(\varepsilon/2))-\mu(A_0^{(i)}(1/n))\rVert\leq \max(\varepsilon/2, 1/n).

1825: $$ 

1826: En particulier, ceci entraine que, pour tout $i\in\mathbf{N}$,

1827: $$

1828: \lVert\mu(A_0^{(i)}(\varepsilon/2))\rVert\leq \varepsilon/2 +\lVert\mu(A^{(i)})\rVert.

1829: $$

1830: Enfin, par hypoth\`ese, il existe $i_0\in\mathbf{N}$ tel que, pour tout $i> i_0$, $\lVert\mu(A^{(i)})\rVert<\varepsilon/2$. Donc 

1831: $$

1832: \lVert\mu(A_0^{(i)}(\varepsilon/2))\rVert<\varepsilon.

1833: $$ 

1834: La suite de cylindres définie par $B_0(\varepsilon):=\cup_{i=0}^{i_0}A^{(i)}_0(\varepsilon/2)$, par les $A_{j}^{(i)}(\varepsilon)$ pour $i\in\mathbf{N}$ et $j\in I_i$, et les $A^{(i+i_0+1)}_0(\varepsilon/2)$ pour tout $i\in\mathbf{N}$, est une $\varepsilon$-approximation cylindrique de $B:=\cup A^{(i)}$, grâce au choix de $i_0$.

1835: 

1836: 

1837: 

1838: 

1839: \end{proof}

1840: 

1841: 

1842: 

1843: 

1844: \begin{prop}

1845: \label{mesurable comme limite bis}

1846: Soit $A:=\cup_{i\in\mathbf{N}}A^{(i)}$ une r\'eunion d\'enombrable d'ensembles mesurables de $\G(\!X)$ deux \`a deux disjoints . Si on suppose que $A$ est un ensemble mesurable de $\G(\!X)$, alors $\mu_\!X(A)=\Sigma_{i\in \mathbf{N}} \mu_\!X(A^{(i)})$.

1847: \end{prop}

1848: 

1849: 

1850: \begin{proof}

1851: Pour tout $\delta>0$, $A_{I(\delta)}(\delta)$ désigne une $\delta$-approximation cylindrique de $A$ et $A^{(j)}_{I_j(\delta)}$ une $\delta$-approximation cylindrique de $A^{(j)}$ pour tout $j\in\mathbf{N}$.

1852: 

1853: Soit $1>\varepsilon>0$. Par définition de la mesure $\mu_\!X$, il existe $\varepsilon>\varepsilon'>0$ tel que $\lVert\mu_\!X(A)-\mu_\!X(A_0(\varepsilon'))\rVert<\varepsilon$. Comme $A\triangle A_0(\varepsilon')\subset\cup_{i\in I(\varepsilon')}A_i(\varepsilon')$, 

1854: $$

1855: A_0(\varepsilon')\subset (\cup_{j\in\mathbf{N}}A^{(j)})\cup(\cup_{i\in I(\varepsilon')} A_i(\varepsilon')).

1856: $$

1857: De même, comme $A^{(j)}\triangle A_0^{(j)}(\varepsilon')\subset\cup_{i\in I_j(\varepsilon')}A_i^{(j)}(\varepsilon')$,

1858: $$

1859: A_0(\varepsilon')\subset (\cup_{j\in\mathbf{N},i\in I_j(\varepsilon')\cup\{0\}}A_i^{(j)})\cup(\cup_{i\geq 1} A_i(\varepsilon')).

1860: $$

1861: Le lemme \ref{quasi-compacite de la topologie constructible} assure l'existence d'un entier $m(\varepsilon')\in\mathbf{N}$ tel que pour tout $n\geq m(\varepsilon')$

1862: $$

1863: A_0(\varepsilon')\subset (\cup_{j\leq n}A_0^{(j)})\cup(\cup_{i\in M} C_i)

1864: $$

1865: où $M$ est un ensemble fini et les $C_i$ sont des cylindres de $\G(\!X)$ tels que $\lVert\mu_\!X(C_i))\rVert<\varepsilon'$ pour tout $i\in M$. En remarquant que la suite de cylindres de $\G(\!X)$ définie par $B_0^{(j)}(\varepsilon'):=A_0^{(j)}(\varepsilon')\cap A_0(\varepsilon')$, par les $A_i(\varepsilon')$ pour tout $i\in I$ et les $A_i^{(j)}(\varepsilon')$ pour tout $i\in I_j$, est une $\varepsilon'$-approximation cylindrique de $A^{(j)}$ pour tout $j\in\mathbf{N}$, et que, pour tout $0\leq j\leq n$, l'on peut choisir les $A_0^{(j)}(\varepsilon')$ disjoints deux à deux, on a dans $\widehat{\!M}$ l'égalité:

1866: $$

1867: \mu_\!X(A_0(\varepsilon'))=\sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon'))+\sum_{i\in I}\mu_\!X(C'_i)

1868: $$

1869: où les cylindres $C'_i:=C_i\cap A_0(\varepsilon')$ de $\G(\!X)$ sont tels que  $\lVert\mu_\!X(C'_i))\rVert<\varepsilon'$. En particulier, ceci entra\^\i ne que pour tout $n\geq m(\varepsilon')$:

1870: $$

1871: \mu_\!X(A_0(\varepsilon'))-\sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon'))\in F^q\widehat{\!M}

1872: $$

1873: avec $q=E(-log(\varepsilon)/log 2)$ et donc, grâce au choix de $\varepsilon'$, que

1874: $$

1875: \mu_\!X(A)-\sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon'))\in F^q\widehat{\!M}.

1876: $$

1877: Par ailleurs, par définition de la mesure, il existe $\varepsilon'>\varepsilon''>0$ tel que

1878: $$

1879: \sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon''))-\sum_{j=0}^n\mu_\!X(A^{(j)})\in F^q\widehat{\!M}.

1880: $$

1881: 

1882: 

1883: 

1884: En outre, par un argument utilisé dans la preuve du théorème \ref{theoreme de Batyrev},

1885: $$

1886: \sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon'))-\sum_{j=0}^n\mu_\!X(B_0^{(j)}(\varepsilon''))\in F^q\widehat{\!M}.

1887: $$

1888: En additionnant ces trois dernières égalités, on obtient que pour tout $n\geq m(\varepsilon')$:

1889: $$

1890: \lVert\mu_\!X(A)-\sum_{j=0}^n\mu_\!X(A^{(j)})\lVert<\varepsilon.

1891: $$

1892: \end{proof}

1893: 

1894: 

1895: 

1896: 

1897: 

1898: 

1899: 

1900: \begin{cor}

1901: \label{reunion et intersection de mesurables}

1902: \label{description des reunions de mesurables}

1903: 

1904: \begin{enumerate}

1905: 

1906: \item  Soit $(A_i)_{i\in \mathbf{N}}$ une famille de mesurables deux \`a deux disjoints, alors leur r\'eunion $\cup_{i\in\mathbf{N}} A_i$ est mesurable si et seulement si la suite des volumes $(\mu_\!X(A_i))_{i\in\mathbf{N}}$ tend vers 0 quand $i$ tend vers l'infini. Dans ce cas, on a la relation:$$\mu_{\!X}(\cup_{n\in\mathbf{N}}A_n)=\sum_{n\in\mathbf{N}}\mu_\!X(A_n).$$

1907: 

1908: 

1909: 

1910: 

1911: \item Soit $A$ un sous-ensemble de $\G(\!X)$ tel qu'il existe une suite d'ensembles mesurables $(A_n)_{n\in\mathbf{N}}$ de $\G(\!X)$ vérifiant les conditions suivantes:

1912: \begin{enumerate}

1913: 

1914: \item pour tout $n\geq 0$, $A_{n+1}\subset A_n$.

1915: 

1916: \item $A=\cap_{n\in\mathbf{N}} A_n$.

1917: 

1918: \end{enumerate}

1919: 

1920: Alors $A$ est mesurable si et seulement si la suite $(\mu_\!X(A_n))_{n\in\mathbf{N}}$ converge dans $\widehat{\!M}$. Dans ce cas, on a 

1921: $$

1922: \mu_\!X(A)=\lim_{n\rightarrow+\infty}\mu_\!X(A_n).

1923: $$ 

1924: 

1925: 

1926: 

1927: \item Soit $B$ un ensemble mesurable de $\G(\!X)$ tel qu'il existe une suite d'ensembles mesurables $(B_n)_{n\in\mathbf{N}}$ de $\G(\!X)$ vérifiant les conditions suivantes:

1928: \begin{enumerate}

1929: 

1930: \item pour tout $n\geq 0$, $B_{n}\subset B_{n+1}$.

1931: 

1932: \item $B=\cup_{n\in\mathbf{N}} B_n$.

1933: 

1934: \end{enumerate}

1935: 

1936: Alors $B$ est mesurable si et seulement si la suite $(\mu_\!X(B_n))_{n\in\mathbf{N}}$ converge dans $\widehat{\!M}$. Dans ce cas, on a 

1937: $$

1938: \mu_\!X(B)=\lim_{n\rightarrow+\infty}\mu_\!X(B_n).

1939: $$ 

1940: 

1941: \end{enumerate}

1942: \end{cor}

1943: 

1944: 

1945: \begin{proof}

1946: Dans cette preuve, on omettra les indices $\!X$. Le point \textbf{1}. est une simple retraduction des propositions \ref{mesurable comme limite} et \ref{mesurable comme limite bis} et du fait que la topologie de $\widehat{\!M}$ est ultramétrique. \textbf{2}. Pour tout $n\in\mathbf{N}$, posons $C_n=A_n\backslash A_{n+1}$. Les $C_n$ sont alors des ensembles mesurables disjoints. Par ailleurs,

1947: $$

1948: \cup_{n\in\mathbf{N}} C_n=A_0\backslash(\cap_{m\geq 0} A_m).

1949: $$

1950: Cette égalité entraine en particulier que $A$ est mesurable si et seulement si la réunion $\cup_{n\in\mathbf{N}} C_n$ l'est. Or le point 1. implique que $

1951: \cup_{n\in\mathbf{N}} C_n$ est mesurable si et seulement si la suite $(\mu(C_n))$ tend vers 0 dans $\widehat{\!M}$. Par additivité de la mesure, on a l'égalité $\mu(C_n)=\mu(A_n)-\mu(A_{n+1})$. Comme la topologie de $\widehat{\!M}$ est ultramétrique, la suite $(\mu(C_n))$ tend vers 0 dans $\widehat{\!M}$ si et seulement si la suite $(\mu(A_n))$ est de Cauchy dans $\widehat{\!M}$. Enfin, comme $\widehat{\!M}$ est complet, $\cup_{n\in\mathbf{N}} C_n$ est mesurable si et seulement si la suite $(\mu(A_n))$ converge dans $\widehat{\!M}$. Dans ce cas, le lemme \ref{reunion et intersection de mesurables} assure que $\mu(A)=\lim \mu(A_n)$. \textbf{3}. Posons $C_0=B_0$, $C_n=B_n-B_{n-1}$, pour $n\geq 1$. Les $C_n$ appartiennent \`a $\mathbf{D}_\!X$ et sont disjoints deux \`a deux. En outre, comme $B_n=\sqcup_{i=1}^n B_i$ on a $B=\sqcup_{n\in\mathbf{N}} C_n$. L'assertion 1. assure que $B$ est mesurable si et seulement si la suite $(\mu(C_n))$ tend vers 0 dans $\widehat{\!M}$. Par additivité de la mesure, on a l'égalité $\mu(C_n)=\mu(B_n)-\mu(B_{n-1})$ pour $n\geq 1$. Comme la topologie de $\widehat{\!M}$ est ultramétrique, la suite $(\mu(C_n))$ tend vers 0 dans $\widehat{\!M}$ si et seulement si la suite $(\mu(A_n))$ est de Cauchy dans $\widehat{\!M}$. Enfin, comme $\widehat{\!M}$ est complet, $\cup_{n\in\mathbf{N}} C_n$ est mesurable si et seulement si la suite $(\mu(B_n))$ converge dans $\widehat{\!M}$. Dans ce cas, le lemme \ref{reunion et intersection de mesurables} assure que $\mu(B)=\lim \mu(B_n)$.

1952: \end{proof}

1953: 

1954: 

1955: 

1956: 

1957: 

1958: 

1959: 

1960: 

1961: 

1962: %-------------------------------------------------

1963: 

1964: 

1965: 

1966: 

1967: \subsection{Les ensembles de mesure nulle}

1968: \label{ensembles de mesure nulle}

1969: 

1970: 

1971: 

1972: 

1973: %-------------------------------------------------

1974: 

1975: 

1976: 

1977: 

1978: 

1979: 

1980: 

1981: Dans ce paragraphe, $\mathbf{D}$ désignera $\mathbf{D}_\!X$. Soit $\mathbf{D}^\ast$ la famille des  sous-ensembles $E\subset\G(\!X)$ pour lesquels il existe des ensembles mesurables $A$ et $B$ tels que $A\subset E\subset B$ et $\mu(B\backslash A)=0$. 

1982: 

1983: 

1984: \begin{lem}

1985: Les ensembles $\mathbf{D}$ et $\mathbf{D}^\ast$ sont égaux.

1986: \end{lem}

1987: 

1988: \begin{proof}

1989: L'inclusion $\mathbf{D}\subset\mathbf{D}^\ast$ est claire. Soit $E\in\mathbf{D}^\ast$. Il s'agit de montrer que pour tout $\varepsilon>0$ on peut trouver une $\varepsilon$-approximation cylindrique $E_{M(\varepsilon)}(\varepsilon)$ de $E$.

1990: 

1991: Soit $\varepsilon>0$. Par définition, il existe des ensembles mesurables $A\in\mathbf{D}$ et $B\in\mathbf{D}$ tels que $A\subset E\subset B$ et $\mu(B\backslash A)=0$. Il existe un entier $n_0\in\mathbf{N}$, une $1/n_0$-approximation cylindrique $A_I$ de $A$ et une $1/n_0$-approximation cylindrique $B_J$ de $B$ telles que 

1992: 

1993: \begin{enumerate}

1994: \item $1/n_0<\varepsilon$

1995: 

1996: \item  $\lVert\mu(A_i(1/n_0))\rVert<\varepsilon$ et $\lVert\mu(B_j(1/n_0))\rVert<\varepsilon$ pour tout $i\in I$ et tout $j\in J$.

1997: 

1998: \item $\lVert\mu(B_0(1/n_0)\backslash A_0(1/n_0))\rVert<\varepsilon$.

1999: 

2000: \end{enumerate}

2001: La suite de cylindres définie par $E_0(\varepsilon):=B_0(1/n_0)$, par $B_0(1/n_0)\backslash A_0(1/n_0)$, par les $A_i(1/n_0)$ pour tout $i\in I$ et les $B_i(1/n_0)$ pour tout $i\in J$ est une $\varepsilon$-approximation de $E$.

2002: 

2003: 

2004: \end{proof}

2005: 

2006: 

2007: \begin{lem}

2008: Soit $E\subset\G(\!X)$. Alors $E$ est mesurable de mesure nulle si et seulement si pour tout $\varepsilon>0$, il existe un ensemble au plus dénombrable $I$ et une suite de cylindres $(E_i(\varepsilon))_{i\in I}$ telle que $E\subset\cup_{i\in I} E_i(\varepsilon)$ et $\lVert\mu(E_i(\varepsilon))\rVert<\varepsilon$ pour tout $i\in I$.

2009: \end{lem}

2010: 

2011: \begin{proof}

2012: Cette condition est suffisante de manière évidente. Inversement, soit $E$ un ensemble mesurable de mesure nulle. Soit $\varepsilon>0$. Il s'agit de trouver une $\varepsilon$-approximation cylindrique $E_{I(\varepsilon)}$ de $E$ de partie principale vide.

2013: 

2014: Par construction de la mesure, il existe un entier $n_0\in\mathbf{N}$ et une $1/n_0$-approximation cylindrique $E'_{I}$ de $E$ tels que:

2015: 

2016: \begin{enumerate}

2017: \item $1/n_0<\varepsilon$.

2018: 

2019: \item $\lVert\mu(E'_0(1/n_0))\rVert<\varepsilon$.

2020: 

2021: \item $\lVert\mu(E'_i(1/n_0))\rVert<\varepsilon$ pour tout $i\in I$.

2022: 

2023: \end{enumerate}

2024: 

2025: La suite définie par $E_0(\varepsilon):=\emptyset$ et par les $E'_{i}(1/n_0)$ pour tout $i\in I\cup\{0\}$ est une $\varepsilon$-approximation cylindrique de $E$ vérifiant la propriété annoncée.

2026: \end{proof}

2027: 

2028: 

2029: 

2030: 

2031: 

2032: 

2033: 

2034: 

2035: 

2036: \begin{cor}

2037: Soit $A$ un sous-ensemble de $\G(\!X)$, tel que $A\subset C$, avec $C$ un ensemble mesurable de mesure nulle de $\G(\!X)$. Alors $A$ est un ensemble mesurable de mesure nulle. 

2038: \end{cor}

2039: 

2040: 

2041: \begin{proof}

2042: Par d\'efinition, il existe une suite de cylindres $(C_i(\varepsilon))_{i\in I}$ telle que $C\subset\cup_{i\in I} C_i(\varepsilon)$ et $\lVert\mu(C_i(\varepsilon))\rVert<\varepsilon$ pour tout $i\geq 1$. Posons $A_i(\varepsilon):=C_i(\varepsilon)$, pour tout $i\in I$. Comme $A\subset C$, $A\in\cup_{i\in I} A_i(\varepsilon)$.

2043: \end{proof}

2044: 

2045: 

2046: 

2047: 

2048: 

2049: 

2050: 

2051: %--------------------------------------------

2052: %--------------------------------------------

2053: 

2054: 

2055: 

2056: \section{Mesurabilité des images directes et inverses}

2057: 

2058: 

2059: %--------------------------------------------

2060: %--------------------------------------------

2061: 

2062: 

2063: Dans cette section, nous allons étudier le problème de la stabilité de la propriété de mesurabilité par image directe et inverse sous un morphisme $h$.

2064: 

2065: Soit $h:\!Y\rightarrow\!X$ un $\mathbb{D}$-morphisme de schémas formels {admissibles} et réduits, tous deux de {pure dimension $d$}.

2066: 

2067: 

2068: 

2069: 

2070: %--------------------------------------------

2071: 

2072: 

2073: \subsection{Le jacobien d'un morphisme}

2074: \label{Le jacobien d'un morphisme}

2075: 

2076: 

2077: %-------------------------------------------

2078: 

2079: 

2080: 

2081: 

2082: 

2083: \subsubsection{La multiplicité d'un point le long d'un sous-schéma formel fermé}

2084: 

2085: 

2086: 

2087: 

2088: 

2089: Soit $\!Z\hookrightarrow\!X$ un sous-$R$-sch\'ema formel ferm\'e de $\!X$, d\'efini par un $\!O_\!X$-faisceau d'id\'eaux $\!I_\!Z$. Soit $x\in\G(\!X)$. Soit $\varphi:\Spf R_{k'}\rightarrow \!X$ le $\mathbb{D}$-morphisme qui correspond à $x$. On dispose du morphisme canonique de $\!O_\!X$-modules:

2090: $$

2091: \varphi^{*}\!I_\!Z\rightarrow\!O_{R_{k'}}.

2092: $$

2093: L'image de ce morphisme est un $\!O_{R_{k'}}$-faisceaux d'id\'eaux de $\!O_{R_{k'}}$. Deux cas se pr\'esentent alors: soit cet id\'eal est nul, soit il existe un entier naturel $n\in\mathbf{N}$ tel que $\varphi^{*}\!I_\!Z.\!O_{R_{k'}}=\pi^n.\!O_{R_{k'}}$. 

2094: 

2095: On appelle \textit{multiplicité de $x$ le long de $\!Z$} l'entier d\'efini par la valuation du g\'en\'erateur de l'id\'eal $\varphi^{*}\!I_\!Z.\!O_{R_{k'}}$ de $R_{k'}$ si cet id\'eal est non nul, l'infini sinon. On d\'efinit alors l'application $\textrm{mult}_\!Z(x):\G(\!X)\rightarrow\mathbf{N}\cup\{\infty\}$ comme l'application qui \`a $x\in\G(\!X)$ associe la multiplicité de $x$ le long de $\!Z$.

2096: 

2097: 

2098: Soit $j:\!U\hookrightarrow\!X$ un sous-$R$-schéma formel ouvert, quasi-compact. Soit $x\in\G(\!X)$ tel que le $\mathbb{D}$-morphisme $\varphi$ correspondant rende commutatif le diagramme suivant

2099: $$

2100: \xymatrix{\Spf R_{k'}\ar[r]^{\varphi}\ar[d]_{\varphi_\!U}&\!X\\

2101: \!U\ar[ur]_j\\}

2102: $$

2103: Les deux faisceaux d'idéaux de $\!O_{R_{k'}}$, $\varphi_\!U^\ast\!I_{\!Z\cap\!U}.\!O_{R_{k'}}$ et $\varphi^\ast\!I_{\!Z}.\!O_{R_{k'}}$, sont égaux (par commutativité du diagramme). En particulier, on en déduit la formule:

2104: $$

2105: \textrm{mult}_\!Z(x)=\textrm{mult}_{\!Z\cap\!U}(x).

2106: $$ 

2107: 

2108: \begin{lem}

2109: Soit $\!Z\hookrightarrow\!X$ un sous-$R$-sch\'ema formel ferm\'e de $\!X$. On a les deux assertions suivantes:

2110: \begin{enumerate}

2111: 

2112: \item  Pour tout $n\in\mathbf{N}$, la fibre $\mathrm{mult}_\!Z^{-1}(n)$ est un ensemble cylindrique de $\G(\!X)$.

2113: 

2114: \item Pour la fibre de l'infini, on a l'\'egalit\'e:

2115: $$

2116: \mathrm{mult}_\!Z^{-1}(\infty)=\G(\!Z).

2117: $$ 

2118: \end{enumerate}

2119: \end{lem}

2120: 

2121: \begin{proof}

2122: On peut supposer que $\!X$ est un schéma formel affine. Si $\!X:=\Spf R\{x_1,\ldots,x_N\}/\!I$, notons $A:= R\{x_1,\ldots,x_N\}/\!I$. Le sous-schéma formel $\!Z$ est alors défini par la donnée d'un idéal $\!J$ de $A$. Dans ce contexte, l'idéal $\!I_\!Z.\!O_{R_{k'}}$ est simplement l'idéal de $R_{k'}$ engendré par les $g((\varphi_i)_{1\leq i\leq N})$ pour tout $g\in \!J$ et où le $N$-uplet de $R_{k'}^N$, $(\varphi_i)_{1\leq i\leq N}$, correspond au morphisme $\varphi$. \textbf{1}. Posons

2123: $$

2124: C_{\geq n}:=\pi_{\!Y,n}^{-1}(\G_n(\!Z)).

2125: $$

2126: On va montrer que

2127: $$

2128: C_{\geq n}=\{x\in\G(\!X)\mid\mathrm{mult}_\!Z(x)\geq n\}.

2129: $$

2130: Cette égalité découle alors directement des définitions. Comme $C_{\geq n}$ est un cylindre de $\G(\!X)$, la première assertion est une conséquence du fait que

2131: $$

2132: \{x\in\G(\!X)\mid \mathrm{mult}_\!Z(x)=n\}=C_{\geq n}\backslash C_{\geq n+1}.

2133: $$

2134: Le point \textbf{2}. se déduit de la description ci-dessus.

2135: \end{proof}

2136: 

2137: 

2138: 

2139: 

2140: 

2141: 

2142: \subsubsection{La d\'efinition}

2143: 

2144: 

2145: 

2146: 

2147: 

2148: 

2149: 

2150: 

2151: Soit $y$ un point de $\G(\!Y)\backslash\G(\!Y_{\mathrm{sing}})$ et $\varphi:\Spf R_{k'}\rightarrow \!Y$ le morphisme correspondant, avec $k'$ une clôture parfaite de $\kappa(y)$. On dispose de la suite exacte canonique:

2152: $$

2153: h^{*}\Omega_{\!X/R}^1\rightarrow\Omega_{\!Y/R}^1\rightarrow\Omega_{\!Y/\!X}^1\rightarrow 0

2154: $$ 

2155: 

2156: qui induit, en passant aux puissances ext\'erieures $d$-èmes, une nouvelle suite exacte:

2157: $$

2158: h^{*}\Omega_{\!X/R}^d\rightarrow\Omega_{\!Y/R}^d\rightarrow\Omega_{\!Y/\!X}^d\rightarrow 0.

2159: $$

2160: Par exactitude à droite du foncteur image inverse, on déduit une nouvelle suite exacte dans la catégorie des $\!O_{R_{k'}}$-Modules (équivalente à celle des $R_{k'}$-modules $\pi$-adiques, puisque $\Spf R_{k'}$ est affine):

2161: $$

2162: \varphi^{*}(h^{*}\Omega_{\!X/R}^d)\rightarrow\varphi^{*}\Omega_{\!Y/R}^d\rightarrow\varphi^{*}\Omega_{\!Y/\!X}^d\rightarrow 0.

2163: $$

2164: Le $R_{k'}$-morphisme $\varphi^{*}(h^{*}\Omega_{\!X/R}^d)\rightarrow\varphi^{*}\Omega_{\!Y/R}^d$ induit un morphisme:

2165: $$

2166: (\varphi^{*}(h^{*}\Omega_{\!X/R}^d))/(\mathrm{torsion})\rightarrow(\varphi^{*}\Omega_{\!Y/R}^d)/(\mathrm{torsion}).

2167: $$

2168: On définit alors l'\textit{ordre de l'idéal jacobien de $h$ en $y$}, noté $\ord_\pi(\mathrm{Jac})_h(y)$, de la manière suivante. Le choix de $\varphi$ entra\^\i ne que $L:=(h^{*}\Omega_{\!X/R}^d)/(\mathrm{torsion})$ est un $R_{k'}$-module libre de rang 1. On déduit du théorème de structure des modules de type fini sur les anneaux principaux, que l'image de $M:=(\varphi^{*}(h^{*}\Omega_{\!X/R}^d))/(\mathrm{torsion})$ dans $L$ est soit 0, soit $\pi^nL$, pour un certain $n\in\mathbf{N}$. On pose alors $\ord_\pi(\mathrm{Jac})_h(y)=\infty$ et $\ord_\pi(\mathrm{Jac})_h(y)=n$ respectivement.

2169: 

2170: 

2171: 

2172: 

2173: \begin{defi}

2174: On appelle ordre de l'idéal jacobien de $h$ l'application 

2175: $$

2176: \ord_\pi(\mathrm{Jac})_h:\G(\!Y)\backslash\G(\!Y_{\mathrm{sing}})\rightarrow\mathbf{N}\cup\{\infty\}

2177: $$ 

2178: qui à $y\in\G(\!Y)\backslash\G(\!Y_{\mathrm{sing}})$ associe l'entier $\ord_\pi(\mathrm{Jac})_h(y)$ défini ci-dessus.

2179: \end{defi}

2180: 

2181: 

2182: On appelle \textit{lieu sauvage de $h$} le sous-ensemble de $\G(\!Y)$ défini par

2183: $$

2184: \Sigma_h:=\G(\!Y_{\mathrm{sing}})\cup h^{-1}(\G(\!X_{\mathrm{sing}}))\cup\{y\in\G(\!Y)\mid \ord_\pi(\mathrm{Jac})_h(y)=\infty\}.

2185: $$

2186: On notera $\Pi_h$ l'ensemble $\{y\in\G(\!Y)\mid \ord_\pi(\mathrm{Jac})_h(y)=\infty\}$. Soit $B$ un sous-ensemble de $\G(\!Y)$. On dit que le morphisme $h$ est \textit{tempéré sur $B$} si $B\cap \Sigma_h$ est mesurable de mesure nulle. On dit que $h$ est \textit{tempéré} si $h$ est tempéré sur $\G(\!Y)$, \textit{i.e.} si le lieu sauvage de $h$ est de mesure nulle. 

2187: 

2188: Supposons que le $R$-schéma formel $\!Y$ est lisse. Soit $B$ un sous-ensemble de $\G(\!Y)$ contenu dans le complémentaire du lieu sauvage de $h$. L'ensemble $B$ est alors contenu dans l'ind-cylindre

2189: $$

2190: (\cup_{e\in\mathbf{N}}h^{-1}(\G^{(e)}(\!X))\cap(\cup_{e'\in\mathbf{N}}\{y\in\G(\!Y)\mid \ord_\pi(\mathrm{Jac})_h(y)=e'\}).

2191: $$

2192: Nous noterons $\Delta_{e,e'}$ l'ensemble $h^{-1}(\G^{(e)}(\!X))\cap\{y\in\G(\!Y)\mid \ord_\pi(\mathrm{Jac})_h(y)=e'\}$. En particulier, si $B$ est un cylindre, il est contenu dans la réunion d'un nombre fini de tels $\Delta_{e,e'}$.

2193: 

2194: 

2195: 

2196: 

2197: 

2198: 

2199: 

2200: 

2201: 

2202: 

2203: 

2204: 

2205: 

2206: \subsubsection{{Le cas lisse}.}

2207: 

2208: 

2209: 

2210: 

2211: 

2212: 

2213: Supposons en outre que le $R$-sch\'ema formel $\!Y$ est lisse sur $R$. Dans ce cas, l'application $\ord_\pi(\mathrm{Jac})_h$ est définie (grâce à un procédé général) par un $\!O_\!Y$-faisceau d'idéaux, ${\Fitt}_d(\Omega_{\!Y/\!X}^1)$.

2214: 

2215: Soit $y\in\G(\!Y)$ et $\varphi\in\!Y(R_{k'})$ le $R$-morphisme qui lui correspond. L'image du morphisme naturel:

2216: $$

2217: M:=(\varphi^\ast(h^\ast\Omega^1_{\!X/R}))/(\mathrm{torsion})\rightarrow L:=(\varphi^\ast\Omega^1_{\!X/R})

2218: $$ 

2219: 

2220: est un $\!O_{R_{k'}}$-Module, $M'$, libre de rang au plus $d$. La suite exacte canonique:

2221: $$

2222: 0\rightarrow M'\rightarrow L\rightarrow \varphi^\ast\Omega^1_{\!Y/\!X}\rightarrow 0

2223: $$

2224: est une présentation de $\varphi^\ast\Omega^1_{\!Y/\!X}$, puisque $\!Y$ est lisse. De cette suite, on déduit le morphisme:

2225: $$

2226: \wedge^d(M')\otimes_{\!O_{R_{k'}}}\wedge^d L^\vee\rightarrow\!O_{R_{k'}}

2227: $$

2228: dont l'image est le $d$-ème idéal de Fitting de $\varphi^\ast\Omega^1_{\!Y/\!X}$.

2229: 

2230: 

2231: 

2232: 

2233: \begin{lem}

2234: Si $\!Y$ est lisse, les applications $\ord_\pi(\mathrm{Jac})_h$ et $\mathrm{mult}_{\!Z_h}$ sont \'egales sur $\G(\!Y)$, où $\!Z_h\hookrightarrow\!X$ est le sous-$R$-schéma formel de $\!X$ défini par le $d$-ème idéal de Fitting de $\Omega^1_{\!Y/\!X}$.

2235: \end{lem}

2236: 

2237: 

2238: 

2239: 

2240: 

2241: 

2242: \begin{proof}

2243: Ceci découle directement des définitions des deux fonctions.

2244: \end{proof}

2245: 

2246: 

2247: 

2248: 

2249: 

2250: 

2251: \subsubsection{Une formule de composition.}

2252: 

2253: 

2254: 

2255: 

2256: 

2257: 

2258: \begin{lem}

2259: \label{formule de composition}

2260: Soient $h:\!Y\rightarrow\!X$ et $g:\!Z\rightarrow\!Y$ deux $R$-morphismes de $R$-sch\'emas formels admissibles et de pure dimension $d$. Soit $z\in\G(\!Z)$ tel que

2261: $$

2262: z\not\in(\G(\!Z_{\mathrm{sing}})\cup g^{-1}(\G(\!Y_{\mathrm{sing}}))\cup (h\circ g)^{-1}(\G(\!X_{\mathrm{sing}}))).

2263: $$

2264: On a alors l'égalité suivante:

2265: $$

2266: \ord_\pi(\mathrm{Jac})_{h\circ g}(z)=\ord_\pi(\mathrm{Jac})_h\circ g(z)+\ord_\pi(\mathrm{Jac})_g(z).

2267: $$

2268: \end{lem}

2269: 

2270: 

2271: 

2272: \begin{proof}

2273: Soit $\varphi\in\G(\!Z)(k')$ un $R$-morphisme correspondant à $z$. L'ordre de l'idéal jacobien de $h\circ g$ est donn\'e par le morphisme:

2274: $$

2275: (h\circ g)^{*}\Omega_{\!X/R}^d\rightarrow\Omega_{\!Z/R}^d.

2276: $$ 

2277: La fonction $\ord_\pi(\mathrm{Jac})_h$ est d\'ecrite par le morphisme: 

2278: $$

2279: h^{*}\Omega_{\!X/R}^d\rightarrow \Omega_{\!Y/R}^d.

2280: $$ 

2281: Enfin, l'ordre de l'idéal jacobien du morphisme $g$ est donn\'e par:

2282: $$

2283: g^{*}\Omega_{\!Y/R}^d\rightarrow \Omega_{\!Z/R}^d.

2284: $$ 

2285: Ces morphismes induisent deux $\!O_{R_{k'}}$-morphismes

2286: $$

2287: \varphi^{*}(h\circ g)^{*}\Omega_{\!X/R}^d\rightarrow\varphi^{*}\Omega_{\!Z/R}^d$$ 

2288: et 

2289: $$

2290: \xymatrix{(g\circ\varphi)^{\ast}(h^{\ast}\Omega_{\!X/R}^d)\ar[r]& (g\circ\varphi)^{\ast}\Omega_{\!Y/R}^d\ar[r]^{=}&\varphi^{\ast}(g^{\ast}\Omega_{\!Y/R}^d)\ar[r]& \varphi^{\ast}\Omega_{\!Z/R}^d}

2291: $$

2292: qui sont égaux. Ceci entraine en particulier que l'ordre de l'idéal jacobien de $h\circ g$ en $z$ est infini si et seulement si l'ordre de l'idéal jacobien de $h$ est infini en $g(z)$ ou si l'ordre du jacobien de $g$ est infini en $z$.

2293: 

2294: Supposons désormais que l'ordre de l'idéal jacobien de $h\circ g$ en $z$ est fini. Posons $L:=(g\circ\varphi)^{\ast}\Omega_{\!Y/R}^d/(\mathrm{torsion})$. L'image de $M:=(h\circ g \circ\varphi)^{\ast}\Omega_{\!X/R}^d/(\mathrm{torsion}$) dans $L$ est un $\!O_{R_{k'}}$-Module $M'$ libre de type fini. Il existe $n\in\mathbf{N}$ tel que $M'=\pi^n L$. De même l'image $L'$ de $L$ dans $K:=\varphi^{*}\Omega_{\!Z/R}^d/(\mathrm{torsion})$ est canoniquement isomorphe à $L'=\pi^m K$. L'égalité des deux morphismes précédents prouve la formule:

2295: $$

2296: \ord_\pi(\mathrm{Jac})_{h\circ g}(y)=m+n

2297: $$

2298: qui est l'égalité voulue.

2299: 

2300: 

2301: \end{proof}

2302: 

2303: 

2304: 

2305: 

2306: 

2307: 

2308: 

2309: 

2310: 

2311: 

2312: %-------------------------------------------------

2313: 

2314: 

2315: 

2316: 

2317: \subsection{La mesurabilit\'e de l'image directe}

2318: \label{mesurabilite et image directe}

2319: 

2320: 

2321: 

2322: 

2323: %-------------------------------------------------

2324: 

2325: 

2326: 

2327: 

2328: 

2329: 

2330: 

2331: Soit $B$ un ensemble mesurable de $\G(\!Y)$. Dans ce paragraphe, nous étudions le problème de la mesurabilité dans $\G(\!X)$ de l'image par $h$ de l'ensemble $B$.

2332: 

2333: 

2334: 

2335: 

2336: 

2337: 

2338: 

2339: \subsubsection{Le cas cylindrique}

2340: 

2341: 

2342: 

2343: 

2344: 

2345: 

2346: 

2347: 

2348: En général, l'image par $h$ d'un cylindre de $\G(\!Y)$ n'est pas un cylindre de $\G(\!X)$ (même si $\!Y$ est supposé lisse).

2349: 

2350: \begin{lem}

2351: \label{lemme de mesurabilite et image directe}

2352: Supposons que $\!Y$ est lisse. Si $B$ est un cylindre de $\G(\!Y)$, alors on a les propri\'et\'es suivantes:

2353: 

2354: \begin{enumerate}

2355: 

2356: \item il existe une suite de cylindres $(A_i)_{i\in\mathbf{N}}$ de $\G(\!X)$ telle que $h(B)\subset \cup_{i\in\mathbf{N}} A_i$ et $\lVert\mu_\!X(A_i)\rVert\leq\lVert\mu_\!Y(B)\rVert$, pout tout $i\in\mathbf{N}$.

2357: 

2358: \item Supposons que $h(B)\cap\G(\!X_{\mathrm{sing}})=\emptyset$, et que $B\cap\Pi_h=\emptyset$. Alors $h(B)$ est un cylindre.

2359: \end{enumerate}

2360: \end{lem} 

2361: 

2362: 

2363: \begin{proof}

2364: \textbf{1}. Supposons d'abord que $\lVert\mu_\!Y(B)\rVert=0$. Comme $B$ est un cylindre et que $\!Y$ est lisse, ceci entra\^\i ne que $B=\emptyset$ et que $h(B)=\emptyset$. Supposons désormais que $\lVert\mu_\!Y(B)\rVert\not=0$. Comme $\G(\!X_{\mathrm{sing}})$ est contenu dans un cylindre de volume aussi petit que l'on veut, on peut supposer que $h(B)\subset\G(\!X)\backslash\G(\!X_{\mathrm{sing}})$. Soit $e_0\in\mathbf{N}$ un entier. On a l'égalité ensembliste

2365: $$

2366: h(B)=\cup_{e\geq e_0}(\G^{(e)}(\!X)\cap h(B)).

2367: $$

2368: Posons $\G^{(e)}(\!X)\cap h(B)=:h^{(e)}(B)$ pour tout $e\geq e_0$. Soit $e\geq e_0$. Notons $k_B$ le rang du cylindre $B$. Pour $n\geq \max(k_B,e_0,c_\!Xe)$, l'ensemble

2369: $$

2370: A^{(e)}_n:=\pi_{n,\!X}^{-1}(\pi_{n,\!X}(h^{(e)}(B)))

2371: $$

2372: est un cylindre de $\G(\!X)$ par le théorème de Chevalley, de rang $n$ et contenant $h^{(e)}(B)$. En outre, $A^{(e)}_n$ est contenu dans $\G^{(e)}(\!X)$. Soit $n\geq \max(k_B,e_0,c_\!Xe)$, comme $A^{(e)}_n$ est stable au rang $n$, 

2373: $$

2374: \mu_\!X(A^{(e)})=[\pi_{n,\!X}(h^{(e)}(B))]\mathbf{L}^{-(n+1)d} \ \ \textrm{et} \ \ \lVert\mu_{\!X}(A^{(e)})\rVert\leq 2^{-(n+1)d+\dim\pi_{n,\!X}(B)}.

2375: $$

2376: Or  $\lVert\mu_\!Y(B)\rVert=2^{-(n+1)d+\dim\pi_{n,\!X}(B)}$.

2377: 

2378: \textbf{2}. Par le lemme \ref{quasi-compacite de la topologie constructible}, il existe un entier $e'$ tel que $B$ est contenu dans $h^{-1}(\G^{(e')}(\!X))$ et l'on peut supposer que $\ord_\pi(\mathrm{Jac})_h$ est borné sur $B$. L'assertion découle alors du lemme clé \ref{5}.

2379: \end{proof}

2380: 

2381: 

2382: \begin{cor}

2383: \label{bidouille}

2384: Supposons que $\!Y$ est lisse. Soient $B\subset\G(\!Y)$ et $A\subset\G(\!X)$ des ensembles fortement mesurables tels que $B\cap\Sigma_h=\emptyset$ et $h(B)=A$. Alors, pour tout $\varepsilon>0$, il existe une $\varepsilon$-approximation cylindrique $B_{J(\varepsilon)}$ de $B$ et une $\varepsilon$-approximation cylindrique $A_{I(\varepsilon)}$ de $A$ telles que $h(B_0(\varepsilon))=A_0(\varepsilon)$.

2385: \end{cor}

2386: 

2387: \begin{proof}

2388: Soit $B_J$ une $\varepsilon$-approximation cylindrique de $B$. Par hypothèse, $B=\cup_{e,e'\in\mathbf{N}} (B\cap \Delta_{e,e'})$ et $B_0(\varepsilon)=\cup_{e,e'\in\mathbf{N}} (B_0(\varepsilon)\cap \Delta_{e,e'})$. Posons $B_{e,e'}:= B\cap \Delta_{e,e'}$ et $B_i^{(e,e')}(\varepsilon):= B_i(\varepsilon)\cap \Delta_{e,e'}$, pour tout $i\in J\cup\{0\}$. Par le lemme \ref{5}, l'ensemble $h(B_0^{(e,e')}(\varepsilon))$ est un cylindre de $\G(\!X)$. En outre, le lemme \ref{quasi-compacite de la topologie constructible} assure qu'il existe $m\in\mathbf{N}$ tel que

2389: $$

2390: B_0(\varepsilon)=\cup_{1\leq i,j\leq m}B_0^{(e_i,e'_j)}(\varepsilon).

2391: $$

2392: L'égalité $B\triangle B_0(\varepsilon)\subset \cup_{i\geq 1}A_i$ entra\^\i ne que, pour tout $e$ et $e'\in\mathbf{N}$, $B_{e,e'}\triangle B_0^{(e,e')}(\varepsilon)\subset \cup_{i\geq 1}B_i^{(e,e')}$ et donc que $h(B_{e,e'})\triangle h(B_0^{(e,e')}(\varepsilon))\subset \cup_{i\geq 1}h(B_i^{(e,e')})$. Comme 

2393: $$

2394: \cup_{e,e'\in\mathbf{N}} h(B_0^{(e,e')}(\varepsilon))=\cup_{1\leq i,j\leq m}h(B_0^{(e_i,e'_j)}(\varepsilon)),

2395: $$ 

2396: l'ensemble $h(B_0(\varepsilon))$ est un cylindre de $\G(\!X)$. Le lemme \ref{lemme de mesurabilite et image directe}/1 assure la validité de l'assertion annoncée.

2397: \end{proof}

2398: 

2399: 

2400: 

2401: 

2402: 

2403: \subsubsection{Le cas général}

2404: 

2405: 

2406: 

2407: 

2408: 

2409: \begin{thm}

2410: \label{theoreme de image directe}

2411: Supposons que $\!Y$ est lisse et que $h$ est tempéré. Si $B\subset\G(\!Y)$ est mesurable (resp. fortement mesurable), alors $h(B)\subset \G(\!X)$ est mesurable (resp. fortement mesurable).

2412: \end{thm}

2413: 

2414: 

2415: 

2416: 

2417: \begin{proof}

2418: Soit $\varepsilon>0$. Posons $A:=h(B)$. On a

2419: $$

2420: B=(B\cap h^{-1}(\G(\!X_{\mathrm{sing}})))\sqcup(B\backslash h^{-1}(\G(\!X_{\mathrm{sing}}))).

2421: $$

2422: Comme $h$ est tempéré, on peut supposer que $B\cap\Sigma_h=\emptyset$. Soit $B_{I(\varepsilon)}$ (\textit{resp.} $\Sigma_{J(\varepsilon)}$) une $\varepsilon$-approximation cylindrique de $B$ (\textit{resp.} $\Sigma_h$). Comme $B\cap\Sigma_h=\emptyset$, on peut supposer que $B_0(\varepsilon)\cap \Sigma_0(\varepsilon)=\emptyset$. Comme l'ensemble $\Sigma_h$ est un pro-constructible de $\G(\!Y)$, la quasi-compacité de la topologie constructible entraine que

2423: $$

2424: \Sigma_h\subset(\Sigma_0(\varepsilon))\cup(\cup_{1\leq i\leq m}\Sigma_i(\varepsilon)),

2425: $$

2426: avec $m\in\mathbf{N}$. Comme la suite de cylindres de $\G(\!Y)$, définie par 

2427: $$

2428: B'_0(\varepsilon):=B_0(\varepsilon)\backslash (\cup_{1\leq i\leq m}\Sigma_i(\varepsilon)),

2429: $$

2430: par les $= \Sigma_i(\varepsilon)$ pour $1\leq i\leq m$ et les $B_i(\varepsilon)$ pour $i\in I(\varepsilon)$, est une $\varepsilon$-approximation cylindrique de $B$, on peut supposer que $B_{I(\varepsilon)}$ vérifie la condition $B_0(\varepsilon)\cap\Sigma_h=\emptyset$. Or

2431: $$

2432: h(B)\triangle h(B_0(\varepsilon))\subset \cup_{i\in I(\varepsilon)}h(B_i(\varepsilon)).

2433: $$

2434: et, si $B$ est fortement mesurable, $B_0(\varepsilon)\subset B$ et $h(B_0(\varepsilon))\subset A$. Le théorème est alors une conséquence directe du lemme \ref{lemme de mesurabilite et image directe}.

2435: \end{proof}

2436: 

2437: 

2438: 

2439: 

2440: %-----------------------------------------------

2441: 

2442: 

2443: 

2444: \subsection{La mesurabilit\'e de l'image inverse}

2445: \label{mesurabilite et image inverse}

2446: 

2447: 

2448: 

2449: 

2450: %------------------------------------------------

2451: 

2452: 

2453: 

2454: 

2455: 

2456: Soit $A$ une partie mesurable de $\G(\!X)$. Dans ce paragraphe, nous étudions le problème de la mesurabilité de l'image inverse $h^{-1}(A)$ par le morphisme $h$ de l'ensemble $A$.

2457: 

2458: 

2459: 

2460: 

2461: 

2462: \subsubsection{Le cas cylindrique.}

2463: 

2464: 

2465: 

2466: 

2467: Supposons que $A\in\mathbf{D_\!X}$ soit un sous-ensemble cylindrique de $\G(\!X)$.

2468: 

2469: \begin{lem}

2470: Soit $A$ un cylindre de $\G(\!X)$ de rang $n$. Alors $h^{-1}(A)$ est un cylindre de $\!Y$ de rang $n$.

2471: \end{lem}

2472: 

2473: \begin{proof}

2474: Cela d\'ecoule directement de la d\'efinition d'un cylindre et de la commutativit\'e du diagramme:

2475: $$

2476: \xymatrix{\G(\!Y)\ar[r]^{h}\ar[d]_{\pi_{n,\!Y}}&\G(\!X)\ar[d]^{\pi_{n,\!X}}\\

2477: \G_n(\!Y)\ar[r]_{h_n}&\G_n(\!X)}

2478: $$ 

2479: où $h_n$ désigne l'image par le foncteur $\G_n$ du $R_n$-morphisme de schémas $h_n:Y_n\rightarrow X_n$, induit par $h$. 

2480: \end{proof}

2481: 

2482: 

2483: 

2484: 

2485: 

2486: \subsubsection{Le cas injectif}

2487: \label{hiv pour tcvg}

2488: 

2489: 

2490: 

2491: 

2492: Supposons, dans ce paragraphe, que le $k$-morphisme de schémas $h:\G(\!Y)\rightarrow\G(\!X)$ est injectif et tempéré et que $\!Y$ est lisse.

2493: 

2494: 

2495: 

2496: \begin{exe}

2497: Soit $\!X$ un $R$-schéma formel admissible, dont la fibre générique $X_K$ est lisse. La théorie des modèles de Néron faibles (cf \cite{blr}, \cite{bs} et \cite{ls} \S 2.6) assure que l'on peut trouver un $R$-schéma formel admissible $\!U$, lisse sur $R$, (cf \ref{neron=sttf}) et un $\mathbb{D}$-morphisme de schémas formels $h:\!U\rightarrow\!X$ tels que $h:\G(\!U)\rightarrow\G(\!X)$ soit tempéré et fortement injectif (\textit{cf} \S\ref{fi}).

2498: \end{exe}

2499: 

2500: \begin{thm}

2501: \label{hiv pour tcvg 1}

2502: Sous les hypothèses ci-dessus, si $A$ est mesurable (resp. fortement mesurable) dans $\G(\!X)$, alors l'ensemble $B:=h^{-1}(A)$ est mesurable (resp. fortement mesurable) dans $\G(\!Y)$.

2503: \end{thm}

2504: 

2505: 

2506: \begin{proof}

2507: Soit $A_{I(\varepsilon)}$ une $\varepsilon$-approximation de $A$ telle que $A_0(\varepsilon)\subset A$. Comme 

2508: $$

2509: A=(A\cap\G(\!X_{\mathrm{sing}}))\sqcup(A\backslash\G(\!X_{\mathrm{sing}})),

2510: $$

2511: et comme $h$ est tempéré, on peut supposer que $A\cap\G(\!X_{\mathrm{sing}})=\emptyset$ et que $B\cap\Pi_h=\emptyset$. La définition de $A_{I(\varepsilon)}$ entraine que

2512: $$

2513: B\triangle h^{-1}(A_0(\varepsilon))\subset \cup_{i\in I(\varepsilon)}h^{-1}(A_i(\varepsilon)).

2514: $$

2515: Soit $1\geq\delta>0$. Par hypothèse, le lieu sauvage de $h$ est de mesure nulle. Il existe donc un cylindre $D(\delta)\supset \Sigma_h$ tel que:

2516: \begin{enumerate}

2517: 

2518: \item $\lVert D(\delta)\rVert<\delta$.

2519: 

2520: \item $\Sigma_h=\cap_\delta D(\delta)$.

2521: \end{enumerate}

2522: On a donc

2523: $$

2524: (B\backslash D(\delta))\triangle (h^{-1}(A_0(\varepsilon))\backslash D(\delta))\subset \cup_{i\in I(\varepsilon)}(h^{-1}(A_i(\varepsilon))\backslash D(\delta)).

2525: $$

2526: Par définition de $\Sigma_h$ et grâce au lemme \ref{quasi-compacite de la topologie constructible}, il existe un entier $m:=m(\delta)\geq 1$ tel que $\G(\!Y)\backslash D(\delta)\subset \cup_{1\leq i, j\leq m}\Delta_{e_i,e_j}$. La suite de cylindres de $\G(\!Y)$, définie par $(h^{-1}(A_i(\varepsilon))\backslash D(\delta))$, est une $(r(\delta)\times\varepsilon)$-approximation cylindrique de $B$, où $r(\delta):=\max(2^{e_j})$ est donné par le lemme clé \ref{5}. Pour tout $\delta>0$, $B\backslash D(\delta)$ est un ensemble mesurable de $\G(\!Y)$.

2527: 

2528: Il nous faut en déduire que $B$ lui-même est mesurable. On peut supposer que pour $0<\delta'<\delta\leq 1$, $D(\delta')\subset D(\delta)$. Le résultat précédent entra\^\i ne alors que $B\cap (D(\delta)\backslash D(\delta'))$ est mesurable. En outre, comme par hypothèse $\mu_\!Y(\Sigma_h)=0$, la famille $\mu_\!Y(D(\delta))$ tend vers 0. L'égalité

2529: $$

2530: (B\backslash D(1))\sqcup(\sqcup_{0<\delta'<\delta\leq 1}(B\cap D(\delta)\backslash D(\delta'))=B\backslash \Sigma_h=B

2531: $$

2532: permet de conclure (\textit{cf} proposition \ref{mesurable comme limite}).

2533: 

2534: \end{proof}

2535: 

2536: 

2537: 

2538: 

2539: 

2540: 

2541: 

2542: 

2543: 

2544: 

2545: 

2546: %--------------------------------------------------------

2547: %--------------------------------------------------------

2548: 

2549: 

2550: 

2551: \section{Intégrale motivique et théorèmes de changement de variables}

2552: \label{fonctions integrables}

2553: 

2554: 

2555: %--------------------------------------------------------

2556: %--------------------------------------------------------

2557: 

2558: 

2559: 

2560: 

2561: %-------------------------------------------------------

2562: 

2563: 

2564: 

2565: \subsection{La définition de l'intégrale}

2566: 

2567: 

2568: %-------------------------------------------------------

2569: 

2570: 

2571: 

2572: 

2573: 

2574: On supposera que tous les $R$-schémas formels sont admissibles et réduits.

2575: 

2576: \begin{defi}

2577: \label{definition de fonction mesurable}

2578: On dit qu'une application $\psi:\G(\!X)\rightarrow\widehat{\!M}$ est mesurable si les fibres de $\psi$ sont mesurables dans $\G(\!X)$ et si la somme $\sum_{a\in\widehat{\!M}}\mu_\!X(\psi^{-1}(a))\psi(a)$ est convergente, \textit{i.e.} si l'ensemble des $\mu_\!X(\psi^{-1}(a))$ non nuls pour ${a\in\widehat{\!M}}$ est au plus d\'enombrable et si $\sum\mu_\!X(\psi^{-1}(a_i))a_i$ converge dans $\widehat{\!M}$.

2579: \end{defi}

2580: 

2581: 

2582: 

2583: 

2584: \begin{defi}

2585: Si $\psi$ est une fonction int\'egrable sur $\G(\!X)$, on d\'efinit l'int\'egrale motivique de $\varphi$ par: 

2586: $$

2587: \int_{\G(\!X)}\psi d\mu_\!X:=\sum_{i\in \mathbf{N}}\mu_\!X(\psi^{-1}(a_i))a_i.

2588: $$

2589: Si $A$ est un ensemble mesurable de $\G(\!X)$ et $\psi:A\rightarrow\widehat{\!M}$ une application v\'erifiant les propri\'et\'es de la d\'efinition \ref{definition de fonction mesurable}, on d\'efinit de m\^eme l'int\'egrale de $\psi$ sur $A$ par:

2590: $$

2591: \int_{A}\psi d\mu_\!X:=\sum_{i\in \mathbf{N}}\mu_\!X(\psi^{-1}(a_i))a_i.

2592: $$

2593: \end{defi}

2594: 

2595: 

2596: 

2597: 

2598: \begin{defi}

2599: Pour tout ensemble mesurable $A$ et toute application $\alpha:A\rightarrow\mathbf{Z}\cup\lbrace\infty\rbrace$, on dit que $\alpha$ est exponentiellement int\'egrable si $\mathbf{L}^{-\alpha}$ est int\'egrable, \textit{i.e.} si les fibres finies de $\alpha$ sont mesurables et si la somme $\Sigma_{n\in\mathbf{Z}}\mu_\!X(\alpha^{-1}(n))\mathbf{L}^{-n}$ converge dans $\widehat{\!M}$, ce qui équivaut au fait que la suite $(\lVert\mu_\!X(\alpha^{-1}(n))\rVert/2^n)_{n\in\mathbf{N}}$ converge vers 0 dans $\widehat{\!M}$.

2600: \end{defi}

2601: 

2602: 

2603: 

2604: 

2605: 

2606: 

2607: 

2608: \begin{lem}

2609: Soient $A$ et $B$ deux parties mesurables de $\G(\!X)$ telles que $A\subset B$. Si $\psi:B\rightarrow\widehat{\!M}$ est une application int\'egrable, alors sa restriction \`a $A$, $\psi_{\mid A}:A\rightarrow \widehat{\!M}$ est int\'egrable sur $A$.

2610: \end{lem}

2611: 

2612: 

2613: 

2614: \begin{proof}

2615: On a la relation $\psi^{-1}(a)\cap A\subset \psi^{-1}(a)$ pour tout $a\in\widehat{\!M}$. En particulier, ceci entra\^\i ne que l'ensemble des $((\psi_{\mid A})^{-1}(a))_{a\in\widehat{\!M}}$ non nuls est au plus d\'enombrable. Comme $\widehat{\!M}$ est complet et ultram\'etrique, la s\'erie $\sum_{i\in\mathbf{N}}(\psi^{-1}(a_i)\cap A)a_i$ converge si et seulement si le terme g\'en\'eral tend vers 0. Soit $\varepsilon>0$, il existe $N\in\mathbf{N}$ tel que pour tout $n\geq N$,  $\lVert\mu(\psi^{-1}(a_n))\rVert<\varepsilon$. L'inclusion du d\'ebut entraine pour ces m\^emes indices, que $\lVert\mu((\psi_{\mid A})^{-1}(a_n))\rVert<\varepsilon$. D'o\`u le r\'esultat.

2616: 

2617: 

2618: \end{proof} 

2619: 

2620: 

2621: 

2622: \begin{lem}

2623: Soient $A$ et $B$ deux parties mesurables. Soit $\psi$ une application int\'egrable sur $A\cup B$, alors on a la relation:

2624: $$

2625: \int_{A\cup B} \psi d\mu_\!X=\int_A \psi d\mu_\!X +\int_B \psi d\mu_\!X -\int_{A\cap B} \psi d\mu_\!X.

2626: $$

2627: \end{lem}

2628: 

2629: 

2630: 

2631: \begin{proof}

2632: Par d\'efinition, on a:

2633: $$

2634: \int_{A\cup B} \psi d\mu_\!X=\sum_{i\in \mathbf{N}}\mu_\!X(\psi^{-1}(a_i))a_i.

2635: $$ 

2636: Le r\'esultat vient alors du fait que $\mu_\!X(\psi^{-1}(a_i))=\mu_\!X(\psi^{-1}(a_i)\cap A) +\mu_\!X(\psi^{-1}(a_i)\cap B)-\mu_\!X(\psi^{-1}(a_i)\cap (A\cap B))$. Autrement dit, $\mu_\!X(\psi^{-1}(a_i))=\mu_\!X((\psi_{\mid A})^{-1}(a_i)) +\mu_\!X((\psi_{\mid B})^{-1}(a_i))-\mu_\!X((\psi_{\mid A\cap B})^{-1}(a_i))$. Le lemme pr\'ec\'edent conclut.

2637: \end{proof}

2638: 

2639: 

2640: 

2641: \begin{lem}

2642: Soit $A$ un ensemble mesurable de $\G(\!X)$. Soit $B$ un ensemble de mesure nulle. Soit $\psi$ une application int\'egrable sur $A$. On a alors la relation:

2643: $$

2644: \int_A\psi d\mu=\int_{A\backslash B}\psi d\mu.

2645: $$

2646: \end{lem}

2647: 

2648: 

2649: 

2650: \begin{proof}

2651: La preuve ressemble \`a la pr\'ec\'edente. Il suffit de remarquer que $\mu(\psi^{-1}(a_i))=\mu(\psi^{-1}(a_i)\cap (A\cap B)) +\mu(\psi^{-1}(a_i)\cap (A\backslash B)$. Or $\psi^{-1}(a_i)\cap (A\cap B)$ est contenu dans $B$, donc de mesure nulle. Donc $\mu(\psi^{-1}(a_i))=\mu(\psi^{-1}(a_i)\cap (A\backslash B))$.

2652: \end{proof}

2653: 

2654: 

2655: 

2656: 

2657: 

2658: 

2659: %-------------------------------------------------------

2660: 

2661: 

2662: \subsection{Les th\'eor\`emes de changement de variables}

2663: 

2664: 

2665: %-------------------------------------------------------

2666: 

2667: 

2668: 

2669: 

2670: Soit $h:\!Y\rightarrow\!X$ un $R$-morphisme de schémas formels admissibles et réduits, tous deux de pure dimension $d$.

2671: 

2672: 

2673: 

2674: 

2675: \begin{lem}

2676: \label{4}

2677: Supposons que $\!Y$ est lisse.  Alors pour tout $n\geq \mathrm{max}(e,c_\!Xe')$, pour tout $z\in \Delta_{e,e'}$ et tout $x\in\G(\!X)$, tel que $\pi_{n,\!X}(h(z))=\pi_{n,\!X}(x)$, il existe $y\in\G(\!Y)$ tel que $h(y)=x$ et $\pi_{n-e,\!Y}(z)=\pi_{n-e,\!Y}(y)$.

2678: \end{lem}

2679: 

2680: \begin{proof}

2681: Soit $z\in\G(\!Y)$ tel que $\varphi_z\in \Delta_{e,e'}(k')$  et $x\in\G(\!X)$. Quitte à étendre les scalaires, on peut supposer que $\varphi_z:\mathbb{D}\rightarrow \!Y$ et qu'à $x$ correspond un $R$-morphisme $\varphi_x:\mathbb{D}\rightarrow\!X$. La question étant locale en $\!Y$, on peut supposer que $\!Y$ est affine et comme $\!Y$ est supposé lisse, on peut supposer qu'il existe un $R$-morphisme étale $\!Y\rightarrow\mathbb{B}^d_R$. On peut supposer que $\!Y=\mathbb{B}^d_R$. En effet, le lemme \ref{morphisme etale} assure qu'au-dessus de tout point la fibre du $k$-morphisme de schémas $\G(\!Y)\rightarrow (Y_0)_{\textrm{red}}$ est isomorphe à $\G(\mathbb{B}^d_R)$. Par ailleurs, la question est locale en $\!X$, on peut donc supposer que $\!X$ est affine.

2682: 

2683: 

2684: \textit{Premier cas}: supposons que $\!X=\mathbb{B}^d_R$. Il nous suffit de prouver que pour tout $v\in R^d$, il existe $u\in R^d$ vérifiant l'équation

2685: $$

2686: h(\varphi_z+\pi^{n+1-e}u)=h(\varphi_z)+\pi^{n+1}v.\leqno (1)

2687: $$

2688: Ce système est alors équivalent à

2689: $$

2690: \pi^{-e}\!J_h(\varphi_z).u+\pi(\ldots)=v \leqno (2)

2691: $$

2692: où $\!J_h$ désigne la matrice jacobienne de $h$. Soit $M$ la matrice adjointe de $\!J_h$. On est ramené à résoudre le système

2693: $$

2694: \pi^{-e}M(\varphi_z)\!J_h(\varphi_z).u+\pi(\ldots)=M(\varphi_z)v. \leqno (3)

2695: $$

2696: Par définition de la fonction $\ord_\pi(\mathrm{Jac})_h$, comme $\!Y$ et $\!X$ sont lisses de même dimension, le déterminant de $\!J_h(\varphi_z)$ est de valuation exactement $e$. Par conséquent, la réduction modulo $\pi$ du système $(3)$ précédent est linéaire sur le corps $k$, de déterminant non nul. Il admet donc une solution par le lemme de Hensel (\textit{cf} \cite{bourb} III \S 4-3).

2697: 

2698: 

2699: 

2700: 

2701: \textit{Deuxième cas}: $\!X=\Spf R\{x_1,\ldots,x_N\}/\!I$. Notons $\tilde{h}$ le $R$-morphisme composé

2702: $$

2703: \xymatrix{\mathbb{B}^d_R\ar[r]_h\ar@/^2pc/[rr]^{\tilde{h}}&\!X\ar@{^{(}->}[r]_{j}&\mathbb{B}^N_R}

2704: $$

2705: où $j$ est le morphisme d'immersion. 

2706: 

2707: La question étant locale en $\!X$, on peut supposer, comme dans la preuve du lemme \ref{2}, que $\!X$ est d'intersection complète, \textit{i.e.} qu'il existe $N-d$ éléments $(f_i)_{1\leq i\leq N-d}$ de $\!I$ qui l'engendrent. Soit $\Delta$ la matrice $(\partial f_j/\partial x_i)_{1\leq i\leq N, 1\leq j\leq N-d}$. Quitte à réordonner les $x_i$, on peut supposer qu'il existe un entier $e''\leq c_\!Xe'$ tel que la valuation du mineur $(N-d)\times(N-d)$, calculé à partir des $N-d$ premières colonnes et évalué en $\tilde{h}(\varphi_z)$, est exactement $e''$ et les valuations des autres mineurs $(N-d)\times(N-d)$ sont supérieures ou égales à $e''$.

2708: 

2709: 

2710: 

2711: Pour prouver l'assertion dans ce cas, il nous suffit de montrer que pour tout $v\in R^N$ tel que $f_j(h(\varphi_z) + \pi^{n+1}v)=0$, pour tout $1\leq j\leq N-d$, il existe $u\in R^d$ tel que

2712: $$

2713: h(\varphi_z+\pi^{n+1-e}u)=h(\varphi_z)+\pi^{n+1}v. \leqno{(1')}

2714: $$

2715: Soit $v\in R^N$. On peut se ramener au cas où $\!X=\mathbb{B}_R^d$. En effet, le $\mathbb{D}$-morphisme

2716: \bigskip

2717: $$

2718: \xymatrix{\mathbb{B}_R^d\ar[r]^{\tilde{h}}\ar@/^2pc/[rr]&\mathbb{B}_R^N\ar[r]&\mathbb{B}^{N-d}_R}

2719: $$

2720: défini par

2721: $$

2722: \xymatrix{f_i(h_1(x_1,\ldots,x_d),\ldots,h_N(x_1,\ldots,x_d))&f_i(z_1,\ldots,z_N)\ar@{|->}[l]&y_i\ar@{|->}[l]}

2723: $$

2724: est constant d'image 0 (par définition de $\!X$). En particulier, ceci entra\^\i ne que le produit des matrices jacobiennes $\Delta(\tilde{h}(\varphi_z)).\!J_h(\varphi_z)$ est nul. Ceci implique que les colonnes de la matrice $\!J_h(\varphi_z)$ appartiennent au noyau de la matrice $\Delta(\tilde{h}(\varphi_z))$, \textit{i.e.} les coordonnées de chacune de ces colonnes sont solutions du système

2725: $$

2726: \pi^{-e''}M'(\tilde{h}(\varphi_z)).\Delta(\tilde{h}(\varphi_z))w=0 \leqno (2')

2727: $$

2728: où $M'$ est la matrice $N-d\times N-d$ définie comme la matrice adjointe de la sous-matrice $N-d\times N-d$ de $\Delta$ formée des $N-d$ premières colonnes et $w\in R^N$. Par hypothèse, les équations définissant le noyau de $\Delta(\tilde{h}(\varphi_z))$ expriment donc les $N-d$ premières coordonnées de $w$ en fonction des $d$ dernières. Le lemme de Hensel (\textit{cf} \cite{bourb} III \S 4-3) assure que $w\in R^N$ est solution du système $(2')$ si et seulement si le vecteur $\overline{w}\in k^N$, induit par $w\in R^N$ par réduction modulo $\pi$, est solution du système $(2')$ réduit modulo $\pi$. En particulier, comme pour tout $1\leq j\leq N-d$, $f_j(h(\varphi_z) + \pi^{n+1}v)=0$, $v$ est solution du système $(2')$. Le système $(1')$ étant équivalent à

2729: $$

2730: \pi^{-e}\!J_h(\varphi_z).u+\pi(\ldots)=v, \leqno (3')

2731: $$

2732: il suffit de résoudre

2733: $$

2734: \pi^{-e}\widetilde{\!J_h}(\varphi_z).\left(\begin{array}{c}

2735: u_{N-d+1} \\ 

2736: u_{N-d+2} \\ 

2737: \vdots\\ 

2738: u_N

2739: \end{array}\right) +\pi(\ldots)=\left(\begin{array}{c}

2740: v_{N-d+1} \\ 

2741: v_{N-d+2} \\ 

2742: \vdots\\ 

2743: v_N

2744: \end{array}\right)

2745: $$

2746: où $\widetilde{\!J_h}$ est la sous-matrice de ${\!J_h}$ formée des $d$ dernières lignes. Soient $x_{N-d+1},\ldots,x_{N}$  les $d$ dernières coordonnées parmi $x_1,\ldots,x_N$. Ces coordonnées définissent un $\mathbb{D}$-morphisme de schémas formels

2747: $$

2748: p:\!X\rightarrow\mathbb{B}_R^d.

2749: $$

2750: Par construction, la matrice jacobienne du morphisme $p\circ h$ n'est autre que la matrice $\widetilde{\!J_h}$. En outre, les hypothèses assurent que l'image de la base $(h\circ\varphi_z)^\ast dx_{i_{N-d+1}},\ldots,(h\circ\varphi_z)^\ast dx_{i_{N}}$ par le morphisme

2751: $$

2752: (h\circ\varphi_z)^\ast p^\ast\Omega^1_{\mathbb{B}_R^d/\mathbb{D}}\rightarrow (h\circ\varphi_z)^\ast\Omega^1_{\!X/\mathbb{D}}/(\mathrm{torsion})

2753: $$

2754: définit une base de $(h\circ\varphi_z)^\ast\Omega^1_{\!X/\mathbb{D}}/(\textrm{torsion})$. Autrement dit, $\ord_\pi(\mathrm{Jac})_p(h(\varphi_z))=0$. La formule de composition \ref{formule de composition} implique que $\ord_\pi(\mathrm{Jac})_{p\circ h}(\varphi_z)=e$. On est donc ramené au premier cas en considérant le $\mathbb{D}$-morphisme $p\circ h:\mathbb{B}_R^d\rightarrow \mathbb{B}_R^d$.

2755: \end{proof}

2756: 

2757: 

2758: 

2759: 

2760: 

2761: 

2762: 

2763: 

2764: 

2765: \begin{lem}

2766: \label{5}

2767: Supposons que $\!Y$ est lisse. Soient $B\subset\G(\!Y)$ un cylindre et $A=h(B)$. Supposons que $\ord_{\pi}(\mathrm{Jac})_h(\varphi)$ est constant de valeur $e<\infty$ pour tout $\varphi\in B$, et $A\subset\G^{(e')}(\!X)$, avec $e'\in\mathbf{N}$. Alors $A$ est un cylindre. De plus, si la restriction de $h$ \`a $B$ est injective, alors, pour $n\in\mathbf{N}$ suffisamment grand, on a: 

2768: 

2769: \begin{enumerate}

2770: 

2771: \item Si $\varphi$ et $\varphi'$ appartiennent \`a $B$ et $\pi_{n,\!X}(h(\varphi))=\pi_{n,\!X}(h(\varphi'))$, alors $\pi_{n-e,\!Y}(\varphi)=\pi_{n-e,\!Y}(\varphi')$.

2772: 

2773: \item Le morphisme $h_n:\pi_{n,\!Y}(B)\rightarrow\pi_{n,\!X}(A)$ induit par $h$ est une fibration triviale par morceaux de fibre $\mathbf{A}_k^e$.

2774: \end{enumerate}

2775: \end{lem}

2776: 

2777: \begin{proof}

2778: Prouvons tout d'abord que $A:=h(B)$ est un cylindre. Par hypothèse, $B$ est contenu dans $\Delta_{e,e'}$. Soit $n\in\mathbf{N}$ tel que $B$ soit un cylindre de rang $n-e$ (en particulier, $n\geq 2e$ et $n\geq 2e+c_\!Xe'$). Soit $x\in\pi_{n,\!X}^{-1}(\pi_{n,\!X}(A))$. Il existe donc $b\in B$ tel que

2779: $$

2780: \pi_{n,\!X}(x)=\pi_{n,\!X}(h(b)).

2781: $$

2782: Le lemme \ref{4} assure alors qu'il existe $y\in\G(\!Y)$ tel que

2783: \begin{enumerate}

2784: 

2785: \item[(\textit{a})] $h(y)=x$.

2786: 

2787: \item[(\textit{b})] $\pi_{n-e,\!Y}(b)=\pi_{n-e,\!Y}(y)$.

2788: \end{enumerate}

2789: Comme $B$ est un cylindre de rang $n-e$, la condition 2 entraine que $y\in B$. La condition 1 assure que $x\in A$. On a donc montré que $A=\pi_{n,\!X}^{-1}(\pi_{n,\!X}(A))$. Par ailleurs, la relation $\pi_{n,\!X}(A)=h_n(\pi_{n,\!Y}(B))$, donc est constructible d'après un théorème déjà cité (\textit{cf} \cite{ega} \S 7). Ceci implique que l'ensemble $A$ est un cylindre. Prouvons l'assertion \ref{5}/1. Soit $n\in\mathbf{N}$ tel que $B$ soit un cylindre de rang $n-e$. Soient $\varphi$ et $\varphi'$ deux points de $B\subset\Delta_{e,e'}$ tels que $\pi_{n,\!X}(h(\varphi))=\pi_{n,\!X}(h(\varphi'))$. Le lemme \ref{4}, appliqué à $\varphi'$ et $\varphi$, assure l'existence de $y\in B$ tel que $y=\varphi'$ (par injectivité de $h$) et $\pi_{n-e,\!Y}(\varphi)=\pi_{n-e,\!Y}(y)=\pi_{n-e,\!Y}(y)$. Passons à l'assertion \ref{5}/2. Il nous suffit de démontrer le résultat pour le cylindre $\Delta_{e,e'}$. La question étant locale en $\!X$ et $\!Y$, on peut supposer que $\!X$ et $\!Y$ sont affines. Supposons que $\!X$ est défini dans $\mathbb{B}_R^N$ par l'idéal $\!I$, engendré par $m$ éléments $(f_i)_{1\leq i\leq m}$. Comme le cylindre $h(\Delta_{e,e'})$ est contenu dans $\G^{(e')}(\!X)$, on peut supposer (\textit{cf} lemme \ref{2}) qu'il est recouvert par un nombre fini de cylindres $C$, vérifiant la propriété

2790: $$

2791: \G(\!X)\cap C=\G(R\{X_1,\ldots,X_N\}/(f_{i_1},\ldots,f_{i_{N-d}}))\cap C

2792: $$

2793: On peut donc supposer que $\!X\hookrightarrow\mathbb{B}_R^N$ est d'intersection complète. Soit $\Delta$ la matrice jacobienne $(\partial f_j/\partial X_i)_{1\leq i\leq N,1\leq j\leq N-d}$. Quitte à restreindre $C$ et éventuellement à réordonner les $X_i$, on peut supposer que, pour tout $x\in C$, le mineur $N-d\times N-d$ de $\Delta(x)$ formé des $N-d$ premières colonnes de $\Delta(x)$ est de valuation $e''\leq c_\!Xe$ et que les autres mineurs $N-d\times N-d$ de cette matrice sont de valuation supérieure  (\textit{cf} lemme \ref{2}). Il nous suffit donc de prouver le résultat pour $\Delta_{e,e'}\cap h^{-1}(C)$. Soit $x\in \Delta_{e,e'}\cap h^{-1}(C)$. Soit $\varphi:\Spf R_{k'}\rightarrow\!X$ le $\mathbb{D}$-morphisme de schémas formels correspondant à $x$. Supposons $n\geq 2e$ et $n\geq e+c_\!Xe'$. Quitte à étendre les scalaires, on peut supposer que $k=\kappa(x)^{\mathrm{alg}}$. Nous allons procéder comme dans la preuve du lemme \ref{2}.

2794: 

2795: \textit{Commen\c{c}ons par étudier la fibre de $h_n$ au-dessus de $\pi_{n,\!X}(x)$}. Comme $\!Y$ est supposé lisse, on peut supposer qu'il existe un $\mathbb{D}$-morphisme étale de schémas formels $\!Y\rightarrow\mathbb{B}^d_R$ et, gr\^ace au lemme \ref{morphisme etale} que $\!Y=\mathbb{B}^d_R$ (\textit{cf} preuve du lemme \ref{4}). Par ailleurs l'assertion 1 et l'étude faite dans la preuve du lemme \ref{4} assurent que l'on peut également supposer que $\!X=\mathbb{B}^d_R$. Dans ce cas, cet ensemble peut se décrire comme

2796: $$

2797: \{\varphi + \pi^{n+1-e}u\mod \pi^{n+1} \mid (\!J_h(\varphi).u)\equiv 0\mod \pi^{e}\}.

2798: $$

2799: Comme $\!J_h(\varphi)$ est équivalente à une matrice diagonale, dont les termes diagonaux sont $\pi^{e_1},\ldots,\pi^{e_d}$ avec $\sum e_j=e$, cette description implique que la fibre de $h_n$ au-dessus de $\pi_{n,\!X}(h(\varphi))$ est $k$-isomorphe à $\mathbf{A}^{e}_k$.

2800: 

2801: On conclut alors par \textit{l'argument ``noethérien''} de la preuve du lemme \ref{2}.

2802: \end{proof}

2803: 

2804: 

2805: 

2806: 

2807: 

2808: 

2809: 

2810: \begin{thm}

2811: \label{tcv}

2812: Soient $\!X$ et $\!Y$ deux $R$-schémas formels admissibles et réduits. Supposons que $\!Y$ est lisse. Soient $A$ et $B$ des ensembles fortement mesurables de $\G(\!X)$ et $\G(\!Y)$ respectivement. Supposons que $h$ induit une bijection entre $B$ et $A$ et que $h$ est tempéré sur $B$. Alors, pour toute application exponentiellement int\'egrable $\alpha:A\rightarrow\mathbf{Z}\cup\{\infty\}$, l'application $B\rightarrow\mathbf{Z}\cup\{\infty\}$ qui \`a $y$ associe $\alpha(h(y))+\ord_\pi(\mathrm{Jac})(y)$ est exponentiellement int\'egrable et on a la formule:

2813: $$

2814: \int_A\mathbf{L}^{-\alpha}d\mu=\int_B\mathbf{L}^{-\alpha\circ h-\ord_\pi(\mathrm{Jac})_h}d\mu.

2815: $$

2816: \end{thm}

2817: 

2818: 

2819: 

2820: 

2821: \begin{proof}

2822: Soit $\varepsilon>0$. Soit $A_I$ (\textit{resp.} $B_J$) une $\varepsilon$-approximation cylindrique de $A$ (\textit{resp.} $B$). Comme $h$ est tempéré sur $B$, on peut supposer que $B\cap\Sigma_h=\emptyset$. Prouvons tout d'abord que l'application $\beta:=\alpha\circ h+\ord_\pi(\mathrm{Jac})_h$ est mesurable sur $B$. Soit $n\in\mathbf{Z}$. Soit $F^{(n)}_L$ une $\varepsilon$-approximation cylindrique de $\alpha^{-1}(n)\subset A$. On va montrer que $(\alpha\circ h)^{-1}(n)$ est un ensemble mesurable de $\G(\!Y)$. On peut supposer que $F^{(n)}_0(\varepsilon)\subset A_0(\varepsilon)\subset A$ (\textit{cf} lemme \ref{approximation contenue}). On a l'égalité

2823: $$

2824: h^{-1}(\alpha^{-1}(n))\triangle h^{-1}(F^{(n)}_0(\varepsilon))\subset \cup_{i\in L} h^{-1}(F^{(n)}_i(\varepsilon)).

2825: $$

2826: Grâce au corollaire \ref{bidouille}, on peut supposer que $h^{-1}(A_0(\varepsilon))= B_0(\varepsilon)$. En particulier, cette remarque entra\^\i ne que

2827: $$

2828: h^{-1}(\alpha^{-1}(n))\triangle h^{-1}(F^{(n)}_0(\varepsilon))\subset (\cup_{j\in J} B_i(\varepsilon))\cup(\cup_{i\in L}h^{-1}(F^{(n)}_i(\varepsilon))\cap B_0(\varepsilon)).

2829: $$

2830: En effet, par hypothèse, on a 

2831: $$

2832: h^{-1}(\alpha^{-1}(n))\backslash B_0(\varepsilon)\subset B\cap B_0(\varepsilon),

2833: $$

2834: $$

2835: (h^{-1}(\alpha^{-1}(n))\backslash h^{-1}(F^{(n)}_0(\varepsilon)))\cap B_0(\varepsilon)\subset \cup_{i\in L}h^{-1}(F^{(n)}_i(\varepsilon))\cap B_0(\varepsilon),

2836: $$

2837: et, comme $h^{-1}(F^{(n)}_0(\varepsilon))\subset B_0(\varepsilon)$,

2838: $$

2839: h^{-1}(F^{(n)}_0(\varepsilon))\backslash h^{-1}(\alpha^{-1}(n))\subset \cup_{i\in L}h^{-1}(F^{(n)}_i(\varepsilon))\cap B_0(\varepsilon).

2840: $$

2841: Le lemme \ref{5}/2 assure alors que $(\alpha\circ h)^{-1}(n)$ est mesurable. On a 

2842: $$

2843: \beta^{-1}(n)=\sqcup_{e\in\mathbf{N}} ((\alpha\circ h)^{-1}(n-e)\cap\ord_\pi(\mathrm{Jac})_h^{-1}(e)).

2844: $$

2845: La suite $(\mu_\!Y(\ord_\pi(\mathrm{Jac})_h^{-1}(e))_{e\in\mathbf{N}}$ tend vers 0. En effet, la suite $(\mu_\!Y(\pi_{e,\!Y}^{-1}(\G_e(\!Z_h))))_{e\in\mathbf{N}}$ tend vers $\mu_\!Y(\G(\!Z_h))$ (\textit{cf} proposition \ref{description des reunions de mesurables}/2); d'où la convergence vers 0 de la suite de terme général $\mu_\!Y(\ord_\pi(\mathrm{Jac})_h^{-1}(e))$. Le lemme \ref{mesurable comme limite} assure alors que l'application $\alpha\circ h +\ord_\pi(\mathrm{Jac})_h$ est mesurable sur $B$.

2846: 

2847: Il s'agit de montrer maintenant que l'intégrale converge et qu'on a bien la formule annoncée. Le lemme \ref{quasi-compacite de la topologie constructible} assure qu'il existe un entier $m\in\mathbf{N}$ tel que

2848: $$

2849: B_0(\varepsilon)\subset (\cup_{0\leq e'\leq m}h^{-1}(\G^{(e')}(\!X)))\cap(\cup_{0\leq e\leq m}\{y\in\G(\!Y)\mid\ord_\pi(\mathrm{Jac})_h(y)=e\}),

2850: $$ 

2851: Par additivit\'e de la mesure, il nous suffit de montrer le r\'esultat pour $B_0(\varepsilon)\subset\Delta_{e,e'}$ pour un entier $e\in\mathbf{N}$ et un entier $e'\in\mathbf{N}$. Soit $\varepsilon>0$. Soit $n\in\mathbf{Z}$. Notons $G_M^{(n-e)}$ une $\varepsilon$-approximation cylindrique de l'ensemble $(\alpha\circ h)^{-1}(n-e)$, qui est  mesurable dans $\G(\!X)$, telle que $G_0^{(n-e)}(\varepsilon)\subset B_0(\varepsilon)$. Il existe une $\varepsilon$-approximation cylindrique $F_L^{(n-e)}$ de $\alpha^{-1}(n-e)$ telle que $F_0^{(n-e)}(\varepsilon)=h(G_0^{(n-e)}(\varepsilon))$. Le lemme \ref{5} assure alors que:

2852: $$

2853: [\pi_{k,\!Y}( G_0^{(n-e)}(\varepsilon))]\mathbf{L}^{-n}=[\pi_{k,\!X}(F_0^{(n-e)}(\varepsilon))]\mathbf{L}^{-n+e}.

2854: $$

2855: La formule annoncée en découle.

2856: \end{proof}

2857: 

2858: 

2859: 

2860: 

2861: 

2862: 

2863: 

2864: Grâce à la théorie des modèles de Néron faibles, on peut généraliser ce théorème au cas où seul la fibre générique de $\!Y$ est supposée lisse.

2865: 

2866: 

2867: 

2868: 

2869: 

2870: 

2871: 

2872: 

2873: \begin{cor}

2874: \label{tcvg}

2875: Soient $\!X$ et $\!Y$ deux $R$-schémas formels admissibles et réduits. Supposons que $\!Y$ soit génériquement lisse. Soient $B$ et $A$ des ensembles fortement mesurables de $\G(\!Y)$ et $\G(\!X)$ respectivement, tels que $h$ induit une bijection de $B$ sur $A$. Supposons en outre que le morphisme $h$ soit tempéré sur $B$. Soit $\alpha: A\rightarrow \mathbf{Z}\cup\{\infty\}$ une application exponentiellement int\'egrable. Alors l'application qui \`a $y\in B$ associe $\alpha\circ h(y)+\ord_\pi(\mathrm{Jac})_h(y)$ est exponentiellement int\'egrable et l'on a l'\'egalit\'e dans $\widehat{\!M}$:

2876: $$

2877: \int_A\mathbf{L}^{-\alpha}d\mu_\!X=\int_B\mathbf{L}^{-(\alpha\circ h+\ord_\pi(\mathrm{Jac})_h)}d\mu_\!Y.

2878: $$

2879: \end{cor}

2880: 

2881: 

2882: 

2883: 

2884: 

2885: 

2886: 

2887: \begin{proof}

2888: On peut supposer comme dans la preuve de \ref{tcv} que $B\cap \Delta_h=\emptyset$ et que $A\cap\G(\!X_{\mathrm{sing}})=\emptyset$. La théorie des modèles de Néron (\textit{cf} \cite{blr}, \cite{bs}, \cite{ls} \S 2.6) assure qu'il existe un ouvert $\!U$ quasi-compact d'un $R$-mod\`ele de la fibre g\'en\'erique de $\!Y$, not\'ee $Y_K$, lisse sur $R$, et un morphisme $g:\!U\rightarrow \!Y$ tel que $g$ induit une bijection entre les points de $\G(\!U)$ et ceux de $\G(\!Y)$. On a alors un diagramme commutatif:

2889: $$

2890: \xymatrix{\!U\ar[d]_{g}\ar@{-->}[dr]^{f}&\\

2891: \!Y\ar[r]_{h}&\!X}

2892: $$

2893: Le morphisme $g$ induit une bijection entre $g^{-1}(B)$ et $B$ et \ref{hiv pour tcvg} assure que $g^{-1}(B)=f^{-1}(A)$ est fortement mesurable. Comme $g$ est tempéré, on peut supposer que $g^{-1}(B)(=f^{-1}(A))\cap \Sigma_g=\emptyset$. Il en résulte tout d'abord que 

2894: $$

2895: f^{-1}(A)\cap g^{-1}(h^{-1}(\G(\!X_{\mathrm{sing}})))=\emptyset.

2896: $$ 

2897: Par ailleurs, la formule de composition (\textit{cf} lemme \ref{formule de composition}) assure alors que $f^{-1}(A)\cap \Pi_f=\emptyset$. On a donc $f^{-1}(A)\cap \Sigma_f=\emptyset$ (en particulier, $f$ est tempéré sur $f^{-1}(A)$).

2898: 

2899: 

2900: Supposons maintenant que l'application $\alpha\circ h +\ord_\pi(\mathrm{Jac})_h$ est exponentiellement int\'egrable sur $B$. Le th\'eor\`eme \ref{tcv} implique alors les \'egalit\'es dans $\widehat{\!M}$:

2901: $$

2902: \int_A\mathbf{L}^{-\alpha}d\mu_\!X=\int_{f^{-1}(A)}\mathbf{L}^{-\alpha\circ h\circ g-\ord_\pi(\mathrm{Jac})_{h\circ g}}d\mu_\!U

2903: $$ 

2904: et 

2905: $$

2906: \int_B\mathbf{L}^{-\alpha\circ h-\ord_\pi(\mathrm{Jac})_h}d\mu_\!Y=\int_{g^{-1}(B)}\mathbf{L}^{-\alpha\circ h\circ g-\ord_\pi(\mathrm{Jac})_h\circ g-\ord_\pi(\mathrm{Jac})_g}d\mu_\!U.

2907: $$ 

2908: La formule découle alors du lemme \ref{formule de composition}. Il faut prouver que l'application $\alpha\circ h +\ord_\pi(\mathrm{Jac})_h$ est exponentiellement intégrable sur $B$. Soit $F_n=(\alpha\circ h +\ord_\pi(\mathrm{Jac})_h)^{-1}(n)$. On remarque que 

2909: $$

2910: F_n=g(\sqcup_{e\in\mathbf{N}}(\alpha\circ h\circ g)^{-1}(n-e)\cap(\ord_\pi(\mathrm{Jac})_h\circ g)^{-1}(e)).

2911: $$

2912: Or la formule de composition \ref{formule de composition} assure que

2913: $$

2914: (\ord_\pi(\mathrm{Jac})_h\circ g)^{-1}(e)=\sqcup_{\mathrm{finie}}((\ord_\pi(\mathrm{Jac})_f)^{-1}(e-e')\cap(\ord_\pi(\mathrm{Jac})_g)^{-1}(e')).

2915: $$

2916: La mesurabilité de $F_n$ se déduit alors de la mesurabilité de $\alpha$ et du théorème \ref{theoreme de image directe}, comme dans la preuve de \ref{tcv}. La convergence de l'intégrale découle alors du lemme \ref{5}, comme dans la preuve du théorème \ref{tcv}.

2917: \end{proof}

2918: 

2919: 

2920: \bibliographystyle{amsplain}

2921: \begin{thebibliography}{SGA}

2922: 

2923: \bibitem{ba0}

2924: V. Batyrev,

2925: \textit{Birational {C}alabi-{Y}au $n$-folds have equal {B}etti

2926: numbers},

2927: New trends in algebraic geometry (Warwick, 1996),  

2928: London Math. Soc. Lecture Note Ser., 264, 

2929: Cambridge Univ. Press, 

2930: (1999) 1--11.

2931: 

2932: 

2933: 

2934: 

2935: \bibitem{ba}

2936: V. Batyrev,

2937: \textit{Stringy Hodge numbers of varieties with Gorenstein canonical

2938: singularities}, Proc. Taniguchi

2939: Symposium

2940: 1997, ``Integrable Systems and Algebraic Geometry, Kobe/Kyoto'',

2941: World Scientific, (1998) 1--32.

2942: 

2943: 

2944: 

2945: \bibitem{bgr}

2946: S. Bosch, U. G{\"u}ntzer, R. Remmert, 

2947: \textit{Non-{A}rchimedean analysis},

2948: Grundlehren Math. Wiss. \textbf{261}, Springer-Verlag, Berlin (1984).

2949: 

2950: 

2951: 

2952: \bibitem{bl1}

2953: S. Bosch, W. L{\"u}tkebohmert,

2954: \textit{Formal and rigid geometry. {I}. {R}igid spaces},

2955: {Math. Ann.}

2956: \textbf{295}

2957: (1993),

2958: 291--317.

2959: 

2960: 

2961: \bibitem{bl2}

2962: S. Bosch, W. L{\"u}tkebohmert,

2963: \textit{Formal and rigid geometry. {II}.  {F}lattening techniques},

2964: {Math. Ann.}

2965: \textbf{296}

2966: (1993),

2967: 403--429.

2968: 

2969: \bibitem{bl3}

2970: S. Bosch, W. L{\"u}tkebohmert, M. Raynaud,

2971: \textit{Formal and rigid geometry. {III}. {T}he relative maximum

2972: principle},

2973: {Math. Ann.}

2974: \textbf{302},

2975: (1995),

2976: {1--29}.

2977: 

2978: \bibitem{blr}

2979: S. Bosch, W. L{\"u}tkebohmert, M. Raynaud,

2980: \textit{N\'{e}ron Models},

2981: Ergeb. Math. Grenzgeb. (3) \textbf{21}, Springer-Verlag, Berlin

2982: (1990).

2983: 

2984: 

2985: %\bibitem{bl4}

2986: %S. Bosch, W. L{\"u}tkebohmert, M. Raynaud,

2987: %\textit{Formal and rigid geometry. {IV}.

2988: %{T}he reduced fibre theorem},

2989: %{Invent. Math.}

2990: %\textbf{119}

2991: %(1995),

2992: %{361--398}.

2993: 

2994: 

2995: \bibitem{bs}

2996: S. Bosch, K. Schl{\"o}ter,

2997: \textit{N\'eron models in the setting of formal and rigid geometry},

2998: {Math. Ann.}

2999: \textbf{301}

3000: (1995),

3001: {339--362}.

3002: 

3003: \bibitem{bourb}

3004: N. Bourbaki,

3005: \textit{Algèbre commutative}, Chapitres 1 à 4,

3006: Masson, Paris

3007: (1985).

3008: 

3009: 

3010: 

3011: 

3012: 

3013: 

3014: 

3015: 

3016: \bibitem{dl1}J. Denef, F. Loeser,

3017: \textit{Germs of arcs on singular algebraic varieties

3018: and motivic integration},

3019: Invent. Math.

3020: \textbf{135}

3021: (1999),

3022: 201--232.

3023: 

3024: \bibitem{dl2}

3025: J. Denef, F. Loeser,

3026: \textit{Motivic

3027: integration,

3028: quotient singularities

3029: and the McKay correspondence}, à paraître dans Compositio Math.

3030: 

3031: 

3032: 

3033: \bibitem{ega}J. Dieudonné, A. Grothendieck,

3034: \textit{Eléments de Géométrie Algébrique I},

3035: Grundlehren Math. Wiss. \textbf{166}, Springer-Verlag, Berlin 1971.

3036: 

3037: 

3038: \bibitem{g1}M. J. Greenberg,

3039: \textit{Schemata over local rings},

3040: Ann. of Math.

3041: \textbf{73}

3042: (1961), 

3043: {624--648}.

3044: 

3045: 

3046: 

3047: \bibitem{g2}M. J. Greenberg,

3048: \textit{Rational points in {H}enselian discrete valuation rings},

3049: Inst. Hautes \'Etudes Sci. Publ. Math.

3050: \textbf{31}

3051: (1966),

3052: {59--64}.

3053: 

3054: \bibitem{kv}

3055: M. Kapranov, E. Vasserot

3056: \textit{Vertex algebras and the formal loop space}, AG/0107143.

3057: 

3058: 

3059: 

3060: 

3061: \bibitem{K}

3062: M. Kontsevich, Lecture at Orsay (December 7, 1995).

3063:  

3064: \bibitem{ls}

3065: F. Loeser, J. Sebag,

3066: \textit{Motivic integration on smooth rigid varieties and invariants of degenerations}, AG/0107134.

3067: 

3068: \bibitem{lo}

3069: E. Looijenga,

3070: \textit{Motivic measures}, in Séminaire Bourbaki, exposé 874, Mars 2000.

3071: 

3072: \bibitem{lut} 

3073: W. L{\"u}tkebohmert, 

3074: \textit{Formal-algebraic and rigid-analytic geometry},

3075: {Math. Ann.}

3076: \textbf{286}

3077: (1990),

3078: 341--371.

3079: 

3080: \bibitem{nash}

3081: J.F. Nash Jr.,

3082: \textit{Arc structure of singularities},

3083: Duke Math. Journ.

3084: \textbf{81}

3085: (1995), 

3086: 31--38.

3087: 

3088: \bibitem{o1}

3089: J. Oesterl{\'e},

3090: \textit{R\'eduction modulo $p\sp{n}$\ des sous-ensembles analytiques

3091: ferm\'es de ${\bf {Z}}\sp{{N}}\sb{p}$},

3092: {Invent. Math.}

3093: \textbf{66}

3094: (1982),

3095: {325--341}.

3096: 

3097: 

3098: \bibitem{r}M. Raynaud,

3099: \textit{G\'eom\'etrie analytique rigide d'apr\`es {T}ate,

3100: {K}iehl,\dots },

3101: {Table Ronde d'Analyse non archim\'edienne (Paris, 1972)},

3102: Bull. Soc. Math. France, M\'em. 

3103: \textbf{39--40}

3104: (1974),

3105: 319--327.

3106: 

3107: 

3108: 

3109: 

3110: \bibitem{sch}N. Schappacher,

3111: \textit{Some remarks on a theorem of {M}. {J}. {G}reenberg},

3112: Proceedings of the Queen's Number Theory Conference,

3113: Queen's Papers in Pure and Appl. Math.

3114: \textbf{54},

3115: (1980),

3116: 101--113.

3117: 

3118: \bibitem{s}J.-P. Serre,

3119: \textit{Classification des vari\'et\'es analytiques $p$-adiques

3120: compactes},

3121: {Topology} \textbf{3} (1965), 409--412.

3122: 

3123: \bibitem{pop}R. G. Swan,

3124: \textit{Néron-Popescu desingularization},

3125: Algebra and geometry (Taipei, 1995), 135--192,

3126: Lect. algebra Geom.,2,

3127: Internat. Press, Cambridge, MA, 1998.

3128: 

3129: 

3130: \end{thebibliography}

3131: 

3132: 

3133: 

3134: 

3135: 

3136: 

3137: 

3138: 

3139: 

3140: 

3141: 

3142: 

3143: 

3144: 

3145: 

3146: 

3147: 

3148: 

3149: 

3150: \end{document}

3151: 

3152: