Une fonction zêta motivique pour l'étude des singularités réelles

A motivic zeta function to study real singularities

• Auteur / Autrice : Jean-Baptiste Campesato
• Direction : Adam Parusiński
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance le 11/12/2015
• Etablissement(s) : Nice
• Ecole(s) doctorale(s) : École doctorale Sciences fondamentales et appliquées (Nice ; 2000-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire J.-A. Dieudonné (Nice) - Laboratoire Jean Alexandre Dieudonné
• Jury : Examinateurs / Examinatrices : Adam Parusiński, Georges Comte, Goulwen Fichou, Krzysztof Kurdyka, François Loeser, Michel Merle
• Jury : Rapporteurs / Rapporteuses : Georges Comte, Goulwen Fichou, Satoshi Koike
• DOI : 10.70675/a885754azd21ez4104zb8a9za8e79dde3f12

Mots clés

Mots clés contrôlés

Variétés de Nash

Singularités (mathématiques)

Fonctions zêta

Mots clés libres

Équivalence blow-Nash

Applications analytiques par arcs

Ensembles symétriques par arcs

Singularités réelles

Intégration motivique

Fonctions Nash

Fonctions zêta

Blow-Nash equivalence

Arc-analytic maps

Arc-symmetric sets

Real singularities

Motivic integration

Nash functions

Zeta functions

Résumé

Nous nous intéressons à l'étude des singularités réelles à l'aide d'arguments provenant de l'intégration motivique. Une telle démarche a été initiée par S. Koike et A. Parusiński puis poursuivie par G. Fichou. Afin de donner une classification des singularités réelles, T.-C. Kuo a défini la notion d'équivalence blow-analytique. Il s'agit d'une relation d'équivalence pour les germes analytiques réels n'admettant pas de module continu pour les singularités isolées. Cette notion est étroitement liée à la notion d'applications analytiques par arcs définie par K. Kurdyka. Il est donc naturel d'adapter des arguments provenant de l'intégration motivique pour l'étude de l'équivalence blow-analytique. La difficulté réside désormais dans le fait de trouver des méthodes permettant de montrer que deux germes sont équivalents et de construire des invariants permettant de distinguer deux germes qui ne sont pas dans la même classe. Nous travaillons avec une variante plus algébrique de cette notion, l'équivalence blow-Nash introduite par G. Fichou. La première partie de la thèse consiste en un théorème d'inversion donnant des conditions pour que l'inverse d'un homéomorphisme blow-Nash soit encore blow-Nash. L'intérêt d'un tel énoncé est que de telles applications apparaissent dans la définition de l'équivalence blow-Nash. La seconde partie est consacrée à l'étude d'une nouvelle fonction zêta motivique. Il s'agit d'associer à un germe analytique une série formelle. Cette fonction zêta motivique généralise les fonctions zêta de Koike-Parusiński et de Fichou et admet une formule de convolution. Il s'agit d'un invariant pour l'équivalence blow-Nash.

The main purpose of this thesis is to study real singularities using arguments from motivic integration as initiated by S. Koike and A. Parusiński and then continued by G. Fichou. In order to classify real singularities, T.-C. Kuo introduced the blow-analytic equivalence which is an equivalence relation on real analytic germs without moduli for isolated singularities. This notion is closely related to the notion of arc-analytic maps introduced by K. Kurdyka, thus it is natural to adapt arguments from motivic integration to the study of the relation. The difficulty lies in finding efficient ways to prove that two germs are equivalent and in constructing invariants that distinguish germs which are not in the same class. We focus on the blow-Nash equivalence, a more algebraic notion which was introduced by G. Fichou. The first part of this thesis consists in an inverse theorem for blow-Nash maps. Under certain assumptions, this ensures that the inverse of a homeomorphism which is blow-Nash is also blow-Nash. Such maps are involved in the definition of the blow-Nash equivalence. In the second part, we associate a power series to an analytic germ, called the zeta function of the germ. This construction generalizes the zeta functions of Koike-Parusiński and Fichou. Furthermore, it admits a convolution formula while being an invariant for the blow-Nash equivalence.