In this thesis we present a slight generalisation of the Pearl complex or relative quantum homology to some non monotone Lagrangian submanifolds. First we develop the theory for the so called almost monotone Lagrangian submanifolds, We apply it to uniruling problems as well as estimates for the relative Gromov width. In the second part we develop the theory for toric fiber in toric Fano manifolds, recovering previous computaional results of Floer homology . / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Connus des mécaniciens de la géométrie de Poisson, les algébroïdes de Lie transitifs sont ici étudiés du point de vue de leurs sections afin de développer un formalisme algébrique plus proche de celui développé par les théories de jauge. Ici, les algébroïdes de Lie transitifs s'apparentent à une généralisation des champs de vecteurs sur la variété de base. Ce mémoire de thèse a pour objet l'étude des connexions généralisées sur les algébroïdes de Lie transitifs et la construction de théories de jauge. Les connexions ordinaires sur les algébroïdes de Lie transitifs sont définies par des 1-formes de connexion de l'algébroïde de Lie à valeurs dans son noyau et vérifiant une contrainte de normalisation sur ce noyau. En relâchant cette contrainte, on construit l'espace des 1-formes de connexions généralisées qui se décomposent, à l'aide d'une connexion ordinaire de fond, comme la somme d'une connexion ordinaire et d'un paramètre purement algébrique définit sur le noyau. Dans l'esprit des théories Yang-Mills, une action invariante de jauge est définie comme la “norme” de la courbure associée à une connexion généralisée. De cette action, il découle un lagrangien composé des termes des théories de jauge de type Yang-Mills-Higgs : le terme cinétique associé aux champs de jauge et le terme de couplage minimal pour un champ tensoriel scalaire plongé dans un potentiel quartique. La réduction du groupe de symétrie de la théorie s'effectue par une redistribution des degrés de liberté dans l'espace fonctionnel des champs de la théorie. Il résulte de ces manipulations la définition d'une théorie de type Yang-Mills dont les bosons vecteurs sont des champs massifs. / Transitive Lie algebroids are usually studied from the point of view of the geometry of Poisson. Here, they are preferentially defined in terms of sections of fiber bundle in order to get close to the formalism of the gauge field theory. Then, transitive Lie algebroids can be seen as a generalization of vector fields on the base manifold. This PhD thesis is concerned with the study of generalized connections on transitive Lie algebroids and the construction of gauge theories. Ordinary connections on transitive Lie algebroids are defined as the subset of 1-forms on Lie algebroids with values in its kernel which fulfill a normalization constraint on this kernel. By relaxing this constraint, we build the space of generalized connection 1- forms. Using a background connection, we show that any generalized connections can be decomposed as the sum of an ordinary connection and a purely algebraic parameter defined on the kernel. As in Yang-Mills theories, we define a gauge invariant functional action as the “norm” of the curvature associated to a generalized connection. Then, the Lagrangian associated to this action forms a Yang-Mills-Higgs type model composed with the field strength associated to gauge fields and a minimal coupling with a tensorial scalar field embedded into a quartic potential. In the case of Atiyah Lie algebroids, the symmetry group of the theory can be reduced by using an appropriate rearrangement of the degrees of freedom in the functional space of fields. We thus obtain a Yang-Mills type theory describing massive vector bosons.

Dans cette thèse nous étudions le problème de Cauchy en relativité générale. Motivés par la conjecture de censure cosmique faible formulée par Penrose, nous analysons le problème aux données initiales pour les équations d'Einstein dans le vide en faible régularité. Nous démontrons les deux résultats suivants. o Premièrement, nous nous intéressons aux équations de contrainte pour les données initiales et mettons en place une procédure de prolongement. Plus précisément, étant donné des données initiales pour les équations d'Einstein sur la boule unité dans R3, nous les prolongeons de manière continue en des données globales, asymptotiquement plates sur R3. Les équations de contrainte forment un système couplé d'équations non-lineaires sous-determinées géométriques. La preuve de notre procédure de prolongement repose sur un schéma iteratif où nous séparons ce système en deux problèmes de prolongement decouplés et solubles. Enfin, le résultat de prolongement pour les équations de contrainte est obtenu par un argument de point fixe. o Deuxièment, nous prouvons une version localisée du théorème de courbure L2 de Klainerman-Rodnianski-Szeftel. Nous montrons que, étant données des données initiales pour les équations d'Einstein sur une variété compacte avec bord, le temps d'existence de la solution des équations d'Einstein dans le domaine de dépendance de ces données initiales ne dépend que de normes de basse régularité des données initiales. En particulier, notre résultat est un critère localisé de continuité pour les équations d'Einstein. Notre preuve utilise un argument de localisation où, tout d'abord, nous généralisons la théorie de Cheeger-Gromov de convergence pour les variétés Riemanniennes à notre cas de régularité faible, et ensuite nous appliquons la procédure de prolongement pour les équations de contrainte mentionnée ci-dessus avec un argument de changement d’échelle. / In this thesis we study the Cauchy problem of general relativity. Motivated by the weak cosmic censorship conjecture formulated by Penrose, we analyse the initial value problem for the Einstein vacuum equations in low regularity. We prove the following two results. First, we consider the constraint equations of the initial data and demonstrate an extension procedure. More precisely, given small initial data for the Einstein equations on the unit ball in R3, we continuosly extend it to global, asymptotically flat initial data on R3. The constraint equations for the Einstein vacuum equations are a coupled system of non-linear under-determined geometric elliptic equations. The proof of our extension procedure is based on an iterative scheme where we split this system into two decoupled, solvable extension problems. The extension result for the constraint equations follows then by a fix point argument. Second, we prove a localised version of the bounded L2-curvature theorem by Klainerman-Rodnianski-Szeftel. We show that given low regularity initial data to the Einstein equations on a compact manifold with boundary, the time of existence of the solution to the Einstein equations in the domain of dependence of the initial data depends only on low regularity geometric data. In particular, this result is a localised continuation criterion for the Einstein vacuum equations. Our proof uses a localisation argument where we first generalise the known Cheeger-Gromov convergence theory for Riemannian manifolds to our low regularity setting, and then apply the above extension procedure for the constraint equations with a scaling argument.

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

Les objects d'étude principaux de la thèse "Flots géométriques kähleriens et presque-kähleriens" sont des généralisations du flot de Calabi et du flot hermitienne de Yang--Mills. <p> Le flot de Calabi $partial_t omega = -i delbar del S(omega) =- i delbar del Lambda_omega <p> ho(omega) $ tente de déformer une forme initiale kählerienne vers une forme kählerienne $omega_c$ de courbure scalaire constante caractérisée par $S(omega_c) = Lambda_{omega_c} <p> ho(omega_c) = underline{S}$ dans la même classe de cohomologie. La généralisation étudiée est le flot de Calabi twisté qui remplace la forme de Kähler--Ricci $ho$ par $ho + alpha(t)$, où le emph{twist} $alpha(t)$ est une famille de $2$-formes qui converge vers $alpha_infty$. Le but de ce flot est de trouver des métriques kähleriennes $omega_{tc}$ de courbure scalaire twistées constantes caractérisées par $Lambda_{omega_{tc}} (ho(omega_{tc}) +alpha_infty) = underline{S} + underline{alpha}_infty$. L'existence et la convergence de ce flot sont établies sur des surfaces de Riemann à condition que le twist soit défini négatif et reste dans une classe de cohomologie fixe. <p>Si $E$ est un fibré véctoriel holomorphe sur une varieté kählerienne $(X,omega)$, une métrique de Hermite--Einstein $h_{he}$ est caractérisée par la condition $Lambda_omega i F_{he} = lambda id_E$. Le flot hermitien de Yang--Mills donné par $h^{-1}partial_t h =- [Lambda_omega iF_{h} - lambda id_E]$ tente de déformer une métrique hermitienne initiale vers une métrique Hermite--Einstein. La version classique du flot fixe la forme kählerienne $omega$. Le cas où $omega$ varie dans sa classe de cohomologie et converge vers $omega_infty$ est considéré dans la thèse. Il est démontré que le flot existe pour tout $t$ sur des surfaces de Riemann et converge vers une métrique Hermite--Einstein (par rapport à $omega_infty$) si le fibré $E$ est stable. <p> Les généralisations du flot de Calabi et du flot hermitien de Yang--Mills ne sont pas arbitraires, mais apparaissent naturellement comme une approximation du flot de Calabi sur des fibrés adiabatiques. Si $Z,X$ sont des variétés complexes compactes, $pi colon Z \ / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

L'objectif de cette thèse est l'étude du comportement cinématique des mécanismes bouclés de corps rigides. Le modèle mathématique d'un tel mécanisme est l'équation de fermeture f (q1,..., qm) = e où q1,...,qm sont des coordonnées articulaires et f est une fonction analytique à valeur dans un groupe de Lie. L'étude des propriétés cinématiques se ramène à celle de l'ensemble des configurations admissibles f-1 ( e ) qui est une sous-variété dans le cas régulier où f est une subimmersion. Par contre, l'étude est beaucoup plus difficile lorsque f possède des singularités. On utilise comme outil fondamental le formalisme de la géométrie différentielle des groupes de Lie pour le groupe des déplacements et la structure de Δ - module de son algèbre de Lie, ceci permet une écriture simple et condensée des équations de la cinématique et facilite leur traitement symbolique. Nous avons montré que l'analyse au deuxième ordre de l'équation de fermeture est suffisante pour les mécanismes 6R paradoxaux. Un algorithme d'évaluation du rang d'un ensemble de champs antisymétriques (équiprojectifs) est développé et est utilisé pour étudier les processus de génération des sous algèbres de Lie. Nous avons proposé également des méthodes de cinématique inverse pour des mécanismes spatiaux, ces méthodes permettent de résoudre l'équation de fermeture indépendamment d'un choix des coordonnées et d'obtenir des conditions nécessaires et suffisantes de résolution : notamment, la méthode simplifie considérablement la procédure de résolution pour les mécanismes 6R spatiaux.

L'objectif de cette thèse est l'étude du comportement dynamique des milieux curvilignes, en grands déplacements. Ce qui introduit une source de non linéarité géométrique qui se manifeste dans le terme d'inertie ainsi que dans le terme de rigidité. Le milieu curviligne considéré est modélisé par une suite continue de sections rigides liées par des milieux élastiques de masse nulle. On n'introduit aucune hypothèse simplificatrice dans la description des efforts intérieurs. Dans le modèle proposé, nous pouvons introduire une loi de comportement élastique non linéaire ce qui rajoute une deuxième source de non linéarité. On utilise ici comme outil fondamental le formalisme de la géométrie différentielle des groupes de Lie, ceci permet une écriture simple et condensée des équations de la dynamique et facilite leur traitement numérique. Les équations sont résolues par un algorithme numérique élaboré dans le même formalisme, ce qui évite l'utilisation "lourde" des paramètres de coordonnées. Enfin, les résultats obtenus sont appliqués à deux exemples concrets : le premier d'origine industrielle concerne le comportement du faisceau de câbles robotiques, le deuxième issu du Génie parasismique traite du comportement dynamique de grands bâtiments.

Dans cette thèse nous apportons deux contributions importantes par l'outil de l'abstraction mathématique : - La première contribution concerne la mécanique et plus précisément la modélisation dynamique des systèmes articulés. L'abstraction mathématique par la théorie des groupes et algèbres de Lie coordonnée avec un usage judicieux de la notion des nombres duaux permet d'élaborer un langage très commode où les modèles géométriques et dynamiques des systèmes mécaniques poly-articulés s'expriment sous une forme syntaxique relativement simple (malgré la complexité du système). De nouvelles méthodes pour la description des configurations des systèmes multicorps et un algorithme récurrent original (et très efficace) sont alors développés grâce à ce langage. - La seconde contribution concerne le domaine informatique en calcul formel. Elle est basée sur le typage algébrique, les techniques de réécriture et la génération automatique des codes (programmation assistée par ordinateur). Les problèmes soulevés nécessitent de nouvelles architectures de systèmes de calcul formel. Dans cet ordre d'idées, un prototype de système de calcul formel (SURVEYOR) basé sur la réécriture typée et une extension (MEDUSA MF77) du système Maple ont été réalisés. Un outil informatique pour la génération automatique des codes Fortran et Maple des schémas de calcul optimisés relatifs à notre formulation dynamique est développé à l'aide du système MEDUSA MF77. Plusieurs applications en calcul symbolique et en robotique sont, par ailleurs, présentées en annexes sous forme de réalisations informatiques des aspects théoriques traités.

Au niveau des grandes architectures industrielles, il existe un besoin de plans CAO précis de l'existant. A l'heure actuelle, ces plans peuvent être construits à partir de la technologie de la photogrammétrie, technique lente et coûteuse basée sur la prise de photos de plusieurs points de vue des structures dans l'espace. Une technologie récente, la télémétrie laser, permet d'obtenir directement des images denses de points tridimensionnels scannés sur les surfaces des objets. Un logiciel permet ensuite de construire un modèle CAO plaqué au mieux sur les points de mesure. La difficulté principale de la construction du modèle CAO à partir des images télémétriques réside dans la faculté de segmenter les images de points en sous-ensembles correspondant chacun à une primitive géométrique unique (cylindre, tore, sphère, cône ou plan, principalement). Ce problème étant particulièrement difficile à résoudre, le logiciel actuel fait appel à l'opérateur qui effectue interactivement cette segmentation à l'écran. L'objectif de la thèse était d'explorer les possibilités d'automatisation de ce travail. Dans un premier temps, l'étude s'est limitée aux ensembles de tuyauteries, représentant la majeure partie des scènes observées. Ces ensembles peuvent être modélisés par les seules primitives de cylindres, tores et cônes. L'approche proposée consiste à segmenter les tuyauteries en utilisant les centres de courbure locaux des surfaces observées. Ces centres de courbure dessinent des lignes dans l'espace 3D, qu'il est facile de segmenter et à partir desquelles on peut remonter à l'image de départ. Pour calculer les centres de courbure, il a été nécessaire d'effectuer une étude théorique de l'algorithme de calcul de courbures principales sur des surfaces de points discrets dans l'espace, étude qui a mené à l'amélioration de l'algorithme par rapport à ce que l'on trouve dans la littérature, et notamment à la définition d'un critère d'optimalité en termes de bruit des résultats. Les algorithmes ont été testés sur de nombreuses images industrielles. L'étude de segmentation a été menée jusqu'à la reconstruction CAO automatique d'un bout de tuyauterie, validant ainsi l'approche proposée. L'objectif initial de la thèse de segmentation CAO automatique a donc été atteint. Ce travail a cependant ouvert plus de voies de recherches futures que n'en a fermées, en proposant des solutions intéressantes mais encore améliorables sur bien des points, et en incitant à poursuivre l'étude sur les surfaces planaires observées dans les images.

L'implantation actuelle des solveurs d'équations différentielles combine les deux méthodes de classification et de réduction d'ordre. La méthode de classification consiste à tester si l'équation à résoudre figure, modulo un renommage des variables, dans une liste d'équations que l'on sait résoudre. La méthode de réduction d'ordre, basée sur l'analyse des symétries de Lie, est réservée aux équations qui ne font pas partie de cette liste.<br /><br />En pratique, plusieurs difficultés apparaissent. Tout d'abord, le calcul des quadratures ainsi que l'intégration des systèmes d'EDP (même linéaires) n'est pas chose facile. De ce fait, il arrive souvent que le solveur se contente de retourner en sortie des résultats partiels, en particulier lorsque la dimension du (pseudo)groupe de symétries de l'équation à résoudre est petite. Enfonçons le clou : lorsque cette dimension est nulle, les solveurs, tel qu'il sont conçus actuellement, sont incapables d'intégrer ou même de réduire l'ordre de l'équation.<br /><br />Cette thèse s'inscrit donc dans l'effort d'amélioration des solveurs actuels. Nous allons présenter et montrer la faisabilité d'une architecture, totalement nouvelle, pour la conception d'un solveur d'équations différentielles basé sur la méthode d'équivalence de Cartan. Notre solveur utilise les invariants différentiels produits par la méthode de Cartan pour détecter l'existence d'une équation différentielle de la liste de Kamke, équivalente à l'équation que l'on veut résoudre et calculer le changement de variables qui réalise cette équivalence.<br /><br />Ceci dit, le calcul du changement de variables est une question qui peut être délicate. En général, il est solution d'un système d'EDP. Nous montrons que lorsque le pseudo-groupe des transformations autorisées est choisi tel que le pseudo-groupe de symétries de l'équation cible est discret, intuitivement, le changement de variables s'obtient sans intégrer d'équations différentielles uniquement en résolvant des équations algébriques.