Les fonctions analytiques généralisées sont définies par des séries convergentes de monômes àcoeffcients réels et exposants réels positifs. Nous étudions l'extension de la géométrie analytiqueréelle associée à ces algèbres de fonctions. Nous introduisons pour cela la notion de variétéanalytique réelle généralisée. Il s'agit de variétés topologiques à bord munies de la structure dufaisceau des fonctions analytiques réelles généralisées. Notre résultat principal est un théorèmede monomialisation locale de ces fonctions. / Generalized power series extend the notion of formal power series by considering exponents ofeach variable ranging in a well ordered set of positive real numbers. Generalized analytic functionsare defined locally by the sum of convergent generalized power series with real coe cients. Weprove a local monomialization result for these functions: they can be transformed into a monomialvia a locally finite collection of finite sequences of local blowingsup. For a convenient frameworkwhere this result can be established, we introduce the notion of generalized analytic manifoldand the correct definition of blowing-up in this category.

Le théorème d'uniformisation locale est un résultat important en théorie des singularités. Connu en caractéristique nulle, il reste ouvert en caractéristique positive. Dans cette thèse, nous donnons une version simultanée de ce théorème en caractéristique nulle. On considère R un anneau local régulier muni d'une valuation centrée en son idéal maximal. Nous démontrons l'uniformisation locale par monomialisation simultanée des éléments de R. La preuve apportée ici est nouvelle et riche de trois choses : tout d'abord, nous monomialisons tous les éléments avec la même suite d'éclatements. De plus, cette suite est explicite et nous connaissons les coordonnées pas à pas. Pour finir, nous ne faisons aucune supposition sur le rang de la valuation. Afin de faire cela, nous utilisons une théorie intimement liée à la théorie des valuations : celle des éléments clefs, une généralisation des polynômes clefs, qui est détaillée dans le deuxième chapitre du manuscrit. On y donne une nouvelle définition des polynômes clefs et on étudie leur rapport précis avec les polynômes clefs de MacLane et Vaquié. Enfin, le dernier chapitre est dédié à un cadre plus général : celui des anneaux locaux d'équicaractéristique nulle quasi-excellents intègres. Dans ce cas, la théorie des éléments clefs, bien que nécessaire, n'est plus suffisante. Il nous faudra utiliser l'idéal premier implicite H d'un tel anneau R et montrer que l'on peut réduire l'étude à la régularisation du quotient du complété de R par H. / The local uniformization theorem is an important result in theory of singularities. Known in characteristic zero, it is an open problem in positive characteristic. In this thesis, we give a simultaneous version of this theorem in zero characteristic. We consider a regular local ring R with a valuation centered in its maximal ideal. We prove the local uniformization theorem by monomializing simultaneously the elements of R. The proof given is new and rich in three respects : first, we monomialize every element with the same sequence of blow-ups. Furthermore, this sequence is explicit and we know the coordinates at each step. In addition, the construction is independent of any hypothesis on the rank of the valuation. To this end, we use a theory intimately linked to that of valuations based on the notion of key elements, a generalization of key polynomials, which is explained in detail in the second chapter of this manuscript. We give a new definition of key polynomials and we study their precise relation with key polynomials of Mac Lane and Vaquié. The last chapter is devoted to the more general framework of local quasi-excellent domains of equicharacteristic zero. In this case, although still necessary, the theory of key elements is no longer sufficient. We need to use the implicit prime ideal H of such a ring R and show that the problem can be reduced to the desingularisation of the quotient of the completion of R by H.

Cette thèse traite de l'uniformisation, en caractéristique p>0, d'une valuation rationnelle, dans les cas particuliers où cette valuation est centrée en une singularité définie localement par des hypersurfaces d'équations :<br /><br />- soit z^p+f(x,y)=0, avec f non puissance p-ième et ord f>p,<br /><br />- soit z^p+e(x,y)z+f(x,y)=0, avec ord(ez+f)>p (cas d'Artin-Schreier).<br /><br />Historiquement c'est dans ces cas particuliers que s'est trouvé concentrée la difficulté de résoudre les surfaces en caractéristique positive.<br /><br />Les nouveautés ici consistent en une majoration du nombre minimum<br />d'éclatements de points fermés nécessaires pour uniformiser, et en une<br />description ``d'en bas'' de l'évolution du polygone de Newton ainsi que des<br />paramètres choisis pour les éclatés successifs le long de la valuation. <br /><br />Dans la première partie de la thèse, on revient sur l'obtention de la forme<br />normale de Giraud pour f dans l'anneau O_X(X), où X schéma régulier de<br />dimension deux et de caractéristique p. Le point de départ est une<br />décomposition polynomiale de f en les curvettes associées à la valuation. On<br />prévoit ensuite via une puissance p-ième d'en bas, le comportement du<br />polygone de Newton de f moins cette puissance p-ième, et on majore le nombre<br />minimum d'équerres du graphe dual de la valuation nécessaires à ce qu'il devienne droit de hauteur au plus 1, et minimal, cas correspondant à la forme normale.<br /><br /><br />Dans la deuxième partie de la thèse on utilise cette étude pour les cas particuliers ci-dessus mentionnés, on donne un algorithme permettant de prévoir les translations à faire à la sortie des équerres pour avoir un polygone de Newton minimal. On quantifie combien d'équerres sont suffisantes pour obtenir une singularité quasi-ordinaire.

La résolution de singularités des courbes sur C est connue depuis longtemps et possède de nombreuses preuves. L'une d'entre elles consiste à utiliser le théorème de Newton-Puiseux pour obtenir l'uniformisation locale d'une valuation centrée sur l'anneau de départ. Ce théorème fournit une série de Puiseux permettant de paramétrer les branches de la courbe ainsi qu'un ensemble de polynômes décrivant complètement la valuation. Dans cette thèse, nous généralisons cette méthode à l'aide des polynômes-clés indexés sur un ensemble bien ordonné qui deviennent, après éclatements, des coordonnées. Notre premier résultat fournit une généralisation effective du théorème de Newton-Puiseux pour une valuation de rang 1, centrée sur un anneau local régulier et complet, ainsi que des résultats de dépendance intégrale sur les séries tronquées. Dans un second temps, nous montrons qu'il n'y a pas de polynômes-clés limites en caractéristique nulle et proposons une méthode pour obtenir l'uniformisation locale des schémas quasi-excellents. Cette méthode consiste à désingulariser l'idéal premier implicite, engendré par un polynôme, en monomialisant les polynômes-clés. Enfin, en caractéristique positive ou mixte, nous montrons que, pour obtenir l'uniformisation locale, il suffit, sous certaines conditions, de monomialiser le premier polynôme-clé limite.