Cette thèse a pour objet la classification -- à isotopie près -- des fonctions rationnelles réel-étales de $\P^1_(\R)=\P^1$. Une fonction rationnelle réelle est une fraction de deux polynômes à coefficients réels, ou, de manière équivalente, un morphisme de $\P^1$ dans lui-même. Une telle fonction est dite réel-étale si elle n'a pas de ramification au-dessus des points réels. Comme nous le verrons plus bas, ces fonctions sont intéressantes à cause de leur lien avec les $M$-surfaces. Notre étude fait aussi le pendant de l'article [EG02] de A. Eremenko et A. Gabrielov dans lequel ils résolvent une conjecture de B. et M. Shapiro en dimension $1$. Pour cela, ils Ètudient les fonctions rationnelles sur $\P^1$ dont tous les points de ramification sont réels. Si on regardait les fonctions rationnelles réel-étales à homotopie près, on pourrait passer par des fonctions rationnelles ramifiées au-dessus des points réels. Cette classification est trop grossière. C'est pourquoi nous étudions plutôt les fonctions rationnelles réel-étales à isotopie près. Deux fonctions rationnelles réel-étales sont (\em isotopes) si l'on peut passer de l'une à l'autre par déformation continue dans l'ensemble des fonctions rationnelles réel-étales de mÍme degré. Pour définir de façon précise cette notion d'isotopie, une première partie de ma thèse développe la théorie des familles continues de surfaces de Klein. Pour cela, j'utilise le point de vue des espaces localement annelés. Ils permettent entre autre une définition plus naturelle des morphismes de surfaces de Klein que celle de la théorie classique. D'autre part, ils facilitent le travail en famille. Lors de cette étude, je démontre aussi un Théorème d'Existence de Riemann pour ces familles. Les principaux objets qui interviennent dans la classification sont les (\em arbres signés) associés à une fonction rationnelle réel-étale. Topologiquement, un endomorphisme de $\P^1$ est un revêtement ramifié du disque fermé par lui-même. Une fonction rationnelle $f$ sur $\P^1$ est réel-étale si et seulement si l'image réciproque $f^(-1)\bigl(\P^1(\R)\bigr)$ des points réels est la réunion disjointe de cercles topologiques dans $\C$. Ces cercles sont les arêtes de l'arbre. Les sommets de l'arbre sont les composantes connexes de $f^(-1)\bigl(\P^1\setminus\P^1(\R)\bigr)$. Un sommet $s$ est l'extrémité d'une arÍte $e$ si le cercle topologique $e$ est inclus dans l'adhérence de $s$ dans $\P^1$. De plus, l'arbre est pondéré : à chaque arête $e$ est associé le degré topologique de $f$ restreint à $e$. Une orientation sur $\P^1$ induit une orientation sur ses points réels. On ajoute alors au pied de l'arbre de $f$ un signe $"+"$ ou $"-"$ selon que $f$ préserve ou inverse respectivement l'orientation sur $\P^1(\R)$. Ceci donne l'(\em arbre signé) de $f$. Réciproquement, on montre que tout arbre signé peut être associé à une fonction rationnelle réel-étale.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00008289 |
| Date | 16 December 2004 |
| Creators | Lahaye-Hitier, Mathilde |
| Publisher | Université Rennes 1 |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0017 seconds