Skip to Main content Skip to Navigation

Familles de surfaces de Klein et fonctions rationnelles réel-étales

Abstract : The main topic of this thesis is the classification -- up to isotopy -- of real-etale rational functions of $\P^1_(\R)=\P^1$. A real rational function is a fraction of two polynomes with real coefficients, or, equivalently, an endomorphism of $\P^1$. We say that such a function is real-etale if it is unramified over the real points of $\P^1$. As we will see later, these functions are interesting because of their link with $M$-surfaces. Our study is in relation with the article [EG02] of A. Eremenko and A. Gabrielov. They solve there a B. and M. Shapiro conjecture in dimension $1$. Therefore, they study the rational functions of $\P^1$ with only real ramification points. Looking at the real-etale rational functions up to homotopy, we may pass through rational functions that have ramification over real points. This is too rough a classification. That's why we rather study the real-etale rational functions up to isotopy. Two such functions are (\em isotope) if it is possible to pass from one to the other by continuous deformations in the set of real-etale rational functions with same degree. To give a more precise definition of the notion of isotopy, a first part of the thesis develops the theory of continuous families of Klein surfaces. Therefore, I take the view point of locally ringed spaces. In particular, it allows a more natural definition of morphisms of Klein surfaces than the one given in the classical theory. Moreover, it makes the work with families easier. In this study, I also prove a Riemann Existence Theorem for this families. The main objects of the classification are the (\em signed trees) associated to a real-etale rational function. Topologically, an endomorphism of $\P^1$ is a ramified covering of the disc. A rational function $f$ on $\P^1$ is real-etale if and only if the inverse image $f^(-1)\bigl(\P^1(\R)\bigr)$ of the set of real points is a disjoint union of topological circles in $\C$. This circles are the vertices of the tree. The vertices are the connected components of $f^(-1)\bigl(\P^1\setminus\P^1(\R)\bigr)$. An edge $e$ is the extremity of a vertex $v$ if the topological circle $e$ is included in the closure of $v$ in $\P^1$. Moreover, to each edge $e$ is associated a weight which correspond to the degree of the restriction of $f$ to $e$. An orientation on $\P^1$ induces an orientation on its set of real points. We then add at the foot of the weighted tree of $f$ a $"+"$ or $"-"$ sign depending on whether $f$ respects or inverses respectively the orientation on $\P^1(\R)$. This way, we get the (\em signed tree) of $f$. Conversely, to each signed tree may be associated a real-etale rational function.
Document type :
Complete list of metadatas

Cited literature [36 references]  Display  Hide  Download
Contributor : Marie-Annick Guillemer <>
Submitted on : Monday, January 31, 2005 - 5:01:10 PM
Last modification on : Thursday, January 7, 2021 - 4:23:02 PM
Long-term archiving on: : Friday, April 2, 2010 - 9:46:20 PM


  • HAL Id : tel-00008289, version 1


Mathilde Lahaye-Hitier. Familles de surfaces de Klein et fonctions rationnelles réel-étales. Mathématiques [math]. Université Rennes 1, 2004. Français. ⟨tel-00008289⟩



Record views


Files downloads