THE SHAPES OF LEVEL CURVES OF REAL POLYNOMIALS NEAR STRICT LOCAL MINIMA
LES FORMES DES LIGNES DE NIVEAU DES POLYNÔMES RÉELS PRÈS D’UN MINIMUM LOCAL STRICT
Résumé
We consider a real bivariate polynomial function vanishing at the origin and exhibiting a strict local minimum at this point. We work in a neighbourhood of the origin in which the non-zero level curves of this function are smooth Jordan curves. Whenever the origin is a Morse critical point, the sufficiently small levels become boundaries of convex disks. Otherwise, these level curves may fail to be convex, as was shown by Coste.
The aim of the present thesis is twofold. Firstly, to construct examples of non-Morse strict local minima whose sufficiently small level curves are far from being convex. And secondly, to study a combinatorial object measuring this non-convexity, namely the Poincaré-Reeb tree of the restriction of the first coordinate to the region bounded by a given level curve. These planar trees are rooted and their vertices roughly speaking correspond to points on the curve with vertical tangent lines.
The main objective of our study is to characterise all possible topological types of Poincaré-Reeb trees. To this end, we construct a family of examples realising a large class of such trees. As a preliminary step, we restrict our attention to the univariate case, using a tool inspired by Ghys’ work. One of our main results gives a new and constructive proof of the existence of Morse polynomials whose associated permutation (the so-called “Arnold’s snake”) is separable.
Nous considérons une fonction polynomiale de deux variables réelles qui s’annule à l’origine et qui a un minimum local strict en ce point. Nous nous plaçons dans un voisinage de l’origine dans lequel les lignes de niveau non nulles de cette fonction sont des courbes de Jordan lisses. Chaque fois que l’origine est un point critique de Morse, les niveaux suffisamment petits deviennent des bords de disques convexes. Si l’origine n’est pas de Morse, ces courbes de niveau peuvent ne pas être convexes, comme l’a montré Coste.
Le but de cette thèse est double. Tout d'abord, nous nous intéressons à la construction d’exemples de minimums locaux stricts et non-Morse dont les lignes de niveau suffisamment petites sont loin d’être convexes. Et deuxièmement, nous étudions un objet combinatoire mesurant cette non-convexité : l’arbre de Poincaré-Reeb de la restriction de la première coordonnée à la région délimitée par une ligne de niveau donnée. Ces arbres planaires sont enracinés et leurs sommets correspondent en gros aux points de la courbe où les tangentes sont verticales.
L’objectif principal de notre étude est de caractériser tous les types topologiques possibles d’arbres de Poincaré-Reeb. À cette fin, nous construisons une famille d’exemples réalisant une grande classe de tels arbres. Dans un premier temps, nous concentrons notre attention sur le cas des polynômes d’une variable, en utilisant un outil inspiré du travail de Ghys. L’un de nos résultats principaux donne une preuve nouvelle et constructive de l’existence de polynômes de Morse dont la permutation associée (appelée «le serpent d’Arnold») est séparable.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...