Soit f : U -> R une fonction analytique, dont le graphe est sous-analytique global.
Dans "Control of radii of convergence and extension of subanalytic functions" (Proc. Amer. Math. Soc. 132 (2004)), E. Bierstone prouve que si U est ouvert alors $Sigma$, l’ensemble des points adhérents à U en lesquel f se prolonge en une fonction analytique, est un ensemble sous-analytique global et qu’on peut prolonger f dans un voisinage sous-analytique (global) de $overline{U} $.
Ce résultat se prouve, à l’aide du théorème d’uniformisation d’Hironaka, en utilisant l’idée de Malgrange d’étude des points graphiques: on parvient à prolonger les relation formelles obtenues en les points réguliers de l’uniformisation et même à controler les rayons de convergence de ces séries, en utilisant les résultats d’A. Mouze "Sur la composition de séries formelles à croissance contrôlée. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 1 (2002), no. 1.".
Un ensemble semi-algébrique ou sous-analytique admet une métrique par chemin qui est importante pour les applications (par exemple en robotique), mais néanmoins peu comprise. Je donnerai des résultats locaux concernant cette métrique. Notamment, j’introduirai trois espaces tangents en un point d’un ensemble sous-analytique. Le premier est l’espace tangent de Gromov-Hausdorff, le deuxième l’espace tangent par blow-ups et le troisième, le cône géodésique. Le théorème principal (obtenu avec A. Lytchak) est que ces trois espaces sont naturellement isométriques.
Les variétés bihamiltoniennes de dimension paire, i.e. munies d’un couple de tenseurs de Poisson compatibles dont le premier est de rang maximum, fournissent un cadre adapté à une caractérisation géométrique de systèmes hamiltoniens intégrables.
On généralise ici cette situation et l’on se place sur des variétés de dimensions finies quelconques sur lesquelles le premier tenseur de Poisson présente des singularités de rang et où le second a un espace caractéristique contenu dans l’espace caractéristique du premier (cadre des variétés bihamiltoniennes emboîtées).
On étudie alors certaines propriétés géométriques de telles variétés en fonction du spectre de l’opérateur de récursion lié aux deux structures.
Nous prouvons que si on se fixe un entier n, la structure o-minimale engendrée par les sous-analytiques globaux d’arité n définit strictement moins d’ensembles que la structure de tous les ensembles sous-analytiques globaux. Pour se faire, nous prouvons que les fonctions analytiques restreintes de n-1 variables suffisent à décrire les ensembles sous-analytiques globaux d’arité n. Puis utilisant des argument de dénombrement et de troncation de séries formelles (semble-t-il assez généraux), nous prouvons qu’elles ne suffisent pas pour décrire certaines fonctions sous-analytiques de n variables. Ce résultat prouve, qu’en général, il faut s’attendre à une certaine transcendance de la famille des ensembles définissables d’arité n+1 par rapport à la famille des ensembles définissables d’arité n.
Le théorème de Hardt assure qu’une famille semi-algébrique d’ensembles sur un corps réel clos est semi-algébriquement topologiquement triviale au dessus des éléments d’une partition. Il s’agit là de démontrer que l’on peut construire une isotopie semi-algébrique réalisant une trivialisation (générique) bilipschitz.
On va donner une étude locale des singularités isolées d’une fonction analytique complexe définie sur un espace analytique complexe réduit équidimentionel.
On construira un polyèdre (évanescent) sur la fibre régulière ("de la fibration de Milnor") et une application de cette fibre sur la fibre singulière qui envoie le polyèdre sur le point singulier et qui est un homéomorphisme en dehors de ce polyèdre.
Un polynome P(z) a coefficients reels en 1 variable est hyperbolique si toutes ses racines sont reelles. Considerons une famille P(x,z) de polynomes hyperboliques en z avec coefficents analytiques en parametre x.
Si x est 1 parametre (cad. xin R) alors on sait d’apres Rellich 1937 (voir aussi Kato) qu’on peut choisir les racines de P analytiques en x.Mais lorsque x est a un multiparametre (cad. xin R^n, n>1) c’est ne plus vrai.
Łojasiewicz a conjecture en 1998 qu’on peut choisir les racines de P de facons lipschitzienns. Avec L. Paunescu (Sydney) nous avons trouve recement une preuve de la conjecture. On obtient comme corollaire un resultat celebre de Lidskii que la fonction spectrale sur l’espace de matrices symmetriques est lipschitzienne. Si le temps permets j’ai parlerai d’une generalization d’un autre resultat de Rellich (1937) selon lequel on peut diagonaliser analytiquement une famille analytique de matrices symetriques lorsque la famille depend d’un parametre. Il semble que dans le cas a plusieurs parametres il n’y avait pas de progres depuis (voir Kato "Perturbation theory for linear Operators"). J’expliquerai comment on peut le faire en effet dans les cas de multiparametre.
On va donner une étude locale des singularités isolées d’une fonction analytique complexe définie sur un espace analytique complexe réduit équidimentionel.
On construira un polyèdre (évanescent) sur la fibre régulière ("de la fibration de Milnor") et une application de cette fibre sur la fibre singulière qui envoie le polyèdre sur le point singulier et qui est un homéomorphisme en dehors de ce polyèdre.