Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les points critiques d’une fonction scalaire (minima, points col et maxima) sont des caractéristiques importantes permettant de décrire de gros ensembles de données, comme par exemple les données topographiques. L’acquisition de ces données introduit souvent du bruit sur les valeurs. Un grand nombre de points critiques sont créés par le bruit, il est donc important de supprimer ces points critiques pour faire une bonne analyse de ces données. Le complexe de Morse-Smale est un objet mathématique qui est étudié dans le domaine de la Visualisation Scientifique car il permet de simplifier des fonctions scalaires tout en gardant les points critiques les plus importants de la fonction étudiée, ainsi que les liens entre ces points critiques. Nous proposons dans cette thèse une méthode permettant de construire une fonction qui correspond à un complexe de Morse-Smale d’une fonction définie sur R^2 après suppression de paires de points critiques dans celui-ci.Tout d’abord, nous proposons une méthode qui définit une surface interpolant des valeurs de fonction aux points d’une grille de façon monotone, c’est-à-dire en ne créant pas de point critique. Cette surface est composée d’un ensemble de patchs de Bézier triangulaires cubiques assemblés de telle sorte que la surface soit globalement C^1. Nous donnons des conditionssuffisantes sur les valeurs d fonction et les valeurs de dérivées partielles aux points de la grille afin que la surface soit croissante dans la direction (x+y). Il n’est pas évident de créer des valeurs de dérivées partielles en chaque point de la grille vérifiant ces conditions. C’est pourquoi nous introduisons deux algorithmes : le premier permet de modifier des valeurs de dérivées partielles données en entrée afin que celles-ci vérifient les conditions et le second calcule des valeurs de dérivées partielles à partir des valeurs de fonctions aux points de la grille.Ensuite, nous décrivons une méthode de reconstruction de champs scalaires à partir de complexes de Morse-Smale simplifiés. Pour cela, nous commençons par approximer les 1-cellules (les liens entre les points critiques dans le complexe de Morse-Smale, ceux-ci sont décrits par des polylignes) par des courbes composées de courbes de Bézier cubiques. Nous décrivons ensuite comment notre interpolation monotone de valeurs aux points d’une grille est utilisée pour construire des surfaces monotones interpolant les courbes construites précédemment. De plus, nous montrons que la fonction reconstruite contient tout les points critiques du complexe de Morse-Smale simplifié et n’en contient aucun autre. / Critical points of a scalar function (minima, saddle points and maxima) are important features to characterize large scalar datasets, like topographic data. But the acquisition of such datasets introduces noise in the values. Many critical points are caused by the noise, so there is a need to delete these extra critical points. The Morse-Smale complex is a mathematical object which is studied in the domain of Visualization because it allows to simplify scalar functions while keeping the most important critical points of the studied function and the links between them. We propose in this dissertation a method to construct a function which corresponds to a Morse-Smale complex defined on R^2 after the suppression of pairs of critical points.Firstly, we propose a method which defines a monotone surface (a surface without critical points).This surface interpolates function values at a grid points. Furthermore, it is composed of a set of triangular cubic Bézier patches which define a C^1 continuous surface. We give sufficient conditions on the function values at the grid points and on the partial derivatives at the grid points so that the surface is increasing in the (x+y) direction. It is not easy to compute partial derivatives values which respect these conditions. That’s why we introduce two algorithms : the first modifies the partial derivatives values on input such that they respect the conditions and the second computes these values from the function values at the grid points.Then, we describe a reconstruction method of scalar field from simplified Morse-Smale complexes. We begin by approximating the 1-cells of the complex (which are the links between the critical points, described by polylines) by curves composed of cubic Bézier curves. We then describe how our monotone interpolant of values at grid points is used to construct monotone surfaces which interpolate the curves we computed before. Furthermore, we show that the function we compute contains all the critical points of the simplified Morse-Smale complex and has no others.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Le cadre de cette étude est une variété fermée de dimension au moins six qui est munie d'une classe de cohomologie de De Rham non-nulle. L'objectif de la thèse est de créer des outils pour répondre au problème de savoir si deux 1-formes fermées non-singulières (sans zéro) dans la classe fixée sont toujours isotopes. La réponse générale à la question est non, et une obstruction de type K-théorique est attendue. Il est toujours possible de relier deux 1-formes fermées non singulières par un chemin qui reste dans la classe de cohomologie ; l'isotopie des extrêmes du chemin équivaut à déformer le chemin par une homotopie relative en un autre constitué de 1-formes non-singulières. On introduit deux sortes de pseudo-gradients pour chaque nombre L positif : ceux avec une liaison L-élémentaire et ceux que nous appelons L-transverses. Ils forment une classe de champs de vecteurs adaptés aux 1-formes qui permettent de faire une lecture algébrique associée au chemin. Cette lecture est analogue à celle qui est faite dans la théorie de Hatcher-Wagoner qui traitait le problème d'isotopie pour les fonctions à valeurs réelles sans point critique. On réussit à trouver un nombre L assez grand pour déformer un chemin de 1-formes à deux indices critiques en un autre chemin muni d'un équipement L-transverse qui est sous forme normale. Les zéros d'un tel chemin de 1-formes qui sont nés ensemble, s'éliminent ensemble et de plus le graphique de Cerf-Novikov associé se ferme : la lecture algébrique citée appartient à un certain K_2, ce qui est au point de départ de la définition d'une obstruction à l'isotopie des 1-formes fermées non-singulières.

L'obtention de ce mémoire a été rendue possible par le soutien financier du FRQNT et du CRSNG. / Ce mémoire est une étude détaillée de certains aspects de la théorie de Morse et des complexes de chaînes qui en découlent : le complexe de Morse, le complexe de Milnor et le complexe de Barraud-Cornea. À l’aide de différentes techniques de la topologie différentielle et de la théorie de Morse, dont les bases forment les premiers chapitres de ce texte, nous ferons la construction détaillée de ces trois complexes avant de démontrer leurs équivalences deux à deux. Ce mémoire synthétise et met en parallèle trois branches de la théorie de Morse en ne supposant que des connaissances du niveau d’un étudiant de début maîtrise. / In this thesis, we study aspects of Morse theory and the chain complexes that derive from it : the Morse complex, the Milnor complex and the Barraud-Cornea complex. Using different techniques from differential topology and Morse theory, which will be presented in the first chapters, we carefully build these complexes before proving their equivalence. This thesis synthesises and compares three points of view in Morse theory in a document accessible to beginning graduate students.