Les systèmes polynomiaux réels sont omniprésents dans de nombreux domaines des mathématiques pures et appliquées. A. Khovanskii a fourni une borne fewnomiale supérieure sur le nombre de solutions positives non-dégénérées d'un système polynomial réel de n équations à n variables qui ne dépend que du nombre de monômes apparaissant dans les équations. Cette dernière borne a été récemment améliorée par F. Bihan et F. Sottile, mais la borne résultante peut être encore améliorée, même dans certains cas simples.Le but de ce travail est d'aborder trois problèmes importants dans la théorie des Fewnomials. Considérons une famille de systèmes polynomiaux réels avec une structure donnée (par exemple, support ou le nombre de monômes). Un problème est de trouver de bonnes bornes supérieures pour leurs nombres de solutions réelles (ou positives). Un autre problème est de construire des systèmes dont le nombre de solutions réelles (ou positives) sont proches de la meilleure borne supérieure connue. Lorsqu'une borne supérieure optimale est bien connue, qu'est ce qu'on peut dire dans le cas où elle est atteinte?Dans cette thèse, nous affinons un résultat de M. Avendaño en démontrant que le nombre de points d'intersection réels d'une droite réelle avec une courbe réelle plane définie par un polynôme avec au plus t monômes est soit infini ou ne dépasse pas $6t -7$. En outre, on montre que notre borne est optimale pour t=3 en utilisant les dessins d'enfant réels de Grothendieck. Cela montre que le nombre maximal de points d'intersection réels d'une droite réelle avec une courbe trinomiale réelle plane est onze.Nous considérons ensuite le problème de l'estimation du nombre maximal de points d'intersection transverses positifs d'une courbe plane trinomiale et d'une courbe plane t-nomiale. T-Y Li, J.-M. Rojas et X. Wang ont montré que ce nombre est borné par 2^t - 2, et récemment P. Koiran, N. Portier et S. Tavenas ont trouvé la borne supérieure 2t^3/3 +5t. Nous fournissons la borne supérieure $ 3*2^(t-2) - 1 qui est optimale pour t = 3 et est la plus petite pour t=4,...,9. Ceci est réalisé en utilisant la notion de dessins d'enfant réels. De plus, nous étudions en détail le cas t = 3 et nous donnons une restriction sur les supports des systèmes atteignant la borne optimale cinq.Un circuit est un ensemble de n+ 2 points dans $mathbb{R}^n$ qui sont minimalement affinement dépendants. Il est connu qu'un système supporté sur un circuit a au plus n+1 solutions positives non dégénérées, et que cette borne est optimale. Nous utilisons les dessins d'enfant réels et le patchwork combinatoire de Viro pour donner une caractérisation complète des circuits supportant des systèmes polynomiaux avec le nombre maximal de solutions positives non dégénérées.Nous considérons des systèmes polynomiaux de deux équations à deux variables avec cinq monômes distincts au total. Ceci est l'un des cas les plus simples où la borne supérieure optimale sur le nombre de solutions positives non dégénérées n'est pas connue. F. Bihan et F. Sottile ont prouvé que cette borne optimale est majorée par quinze. D'autre part, les meilleurs exemples avaient seulement cinq solutions positives non dégénérées.Nous considérons des systèmes polynomiaux comme avant, mais défini sur le corps des séries de Puiseux réelles généralisées et localement convergentes. Les images par l'application de valuation des solutions d'un tel système sont des points d'intersection de deux courbes tropicales planes. En utilisant des intersections non transverses des courbes tropicales planes, on obtient une construction d'un système polynomial réel comme ci-dessus ayant sept solutions positives non dégénérées. / Real polynomial systems are ubiquitous in many areas of pure and applied mathematics. A. Khovanskii provided a fewnomial upper bound on the number of non-degenerate positive solutions of a real polynomial system of $n$ equations in n variables that depends only on the number of monomials appearing in the equations. The latter bound was recently improved by F. Bihan and F. Sottile, but the resulting bound still has room for improvement, even in some simple cases.The aim of this work is to tackle three main problems in Fewnomial theory. Consider a family of real polynomial systems with a given structure (for instance, supports or number of monomials). One problem is to find good upper bounds for their numbers of real (or positive) solutions. Another problem is to construct systems whose numbers of real (or positive) solutions are close to the best known upper bound. When a sharp upper bound is known, what can be said about reaching it?In this thesis, we refine a result by M. Avendaño by proving that the number of real intersection points of a real line with a real plane curve defined by a polynomial with at most t monomials is either infinite or does not exceed 6t -7. Furthermore, we prove that our bound is sharp for t=3 using Grothendieck's real dessins d'enfant. This shows that the maximal number of real intersection points of a real line with a real plane trinomial curve is eleven.We then consider the problem of estimating the maximal number of transversal positive intersection points of a trinomial plane curve and a t-nomial plane curve. T-Y Li, J.-M. Rojas and X. Wang showed that this number is bounded by 2^t-2, and recently P. Koiran, N. Portier and S. Tavenas proved the upper bound 2t^3/3 +5t. We provide the upper bound 3*2^{t-2} - 1 that is sharp for t=3 and is the tightest for t=4,...,9. This is achieved using the notion of real dessins d'enfant. Moreover, we study closely the case t=3 and give a restriction on the supports of systems reaching the sharp bound five.A circuit is a set of n+2 points in mathbb{R}^n that is minimally affinely dependent. It is known that a system supported on a circuit has at most n+1 non-degenerate positive solutions, and that this bound is sharp. We use real dessins d'enfant and Viro's combinatorial patchworking to give a full characterization of circuits supporting polynomial systems with the maximal number of non-degenerate positive solutions.We consider polynomial systems of two equations in two variables with a total of five distinct monomials. This is one of the simplest cases where the sharp upper bound on the number of non-degenerate positive solutions is not known. F. Bihan and F. Sottile proved that this sharp bound is not greater than fifteen. On the other hand, the best examples had only five non-degenerate positive solutions. We consider polynomial systems as before, but defined over the field of real generalized locally convergent Puiseux series. The images by the valuation map of the solutions of such a system are intersection points of two plane tropical curves. Using non-transversal intersections of plane tropical curves, we obtain a construction of a real polynomial system as above having seven non-degenerate positive solutions.

L’objectif de cette thèse est d’étudier divers concepts de positivité en géométrie kählerienne. En particulier,pour une variété kählerienne compacte de dimension n, nous étudions la positivité des classes transcendantes de type (1,1) et (n-1, n-1) - ces classes comprennent donc en particulier les classesde diviseurs et les classes de courbes. / The goal of this thesis is to study various positivity concepts in Kähler geometry. In particular, for a compact Kähler manifold of dimension n, we study the positivity of transcendental (1,1) and (n-1, n-1) classes. These objects include the divisor classes and curve classes over smooth complex projective varieties.

La classification des groupes simples finies achevée en 2004 par Aschbacher et Smith au terme de décennies de travaux par des centaines de mathématiciens livre 18 familles infinies et 26 groupes appelés sporadiques. Ces derniers sont dotés de propriétés singulières. Dans ma thèse de doctorat, nous étudions le groupe sporadique de O'Nan -- usuellement dénoté O'N -- d'un point de vue géométrique, dans la lignée des travaux des Professeurs Buekenhout, Dehon et Leemans.<p><p>Nous abordons essentiellement quatre facettes de la géométrie de O'N. Tout d'abord, nous produisons la classification complète des géométries Buekenhout--Cara--Dehon--Leemans (BCDL) de O'N, une tâche commencée par Leemans en 2010. Les géomé-tries BCDL sont caractérisées par des axiomes inspirés de la Théorie des Immeubles de Jacques Tits. La majorité des groupes simples finis sont caractérisés par un immeuble et un diagramme. Parmi les exceptions se trouvent les groupes sporadiques. Une géométrie BCDL est plus générale qu'un immeuble, mais s'en rapproche.<p><p>Ensuite, nous étudions une géométrie pour le groupe d'automorphismes de O'N construite à partir de paires d'involutions commutantes. Les involutions jouent un rôle majeur dans la théorie des groupes simples finis. Ces travaux sont inspirés de la construction d'une tour de géométries pour les groupes de Fischer construite à partir de paires d'involutions commutantes due à Buekenhout.<p><p>Nous poursuivons en étudiant les polytopes abstraits réguliers sur lesquels O'N agit. Nous produisons la classification des polytopes de rang maximum, à savoir 4.<p><p>Enfin, nous étudions O'N sous le spectre des cartes régulières. Tout polyèdre abstrait régulier est une carte régulière, mais la réciproque n'est pas vraie. Nous donnons un algorithme permettant d'énumérer par type les cartes régulières pour un groupe fini donné. Ceci nous permet de borner le nombre de polyèdres abstraits réguliers sur lesquels O'N agit.<p><p>Nous produisons également les treillis de sous-groupes de O'N et de son groupe d'automorphismes. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Let (E,h) be a holomorphic, Hermitian vector bundle over a polarized manifold. We provide a canonical quantisation of the Laplacian operator acting on sections of the bundle of Hermitian endomorphisms of E. If E is simple we obtain an approximation of the eigenvalues and eigenspaces of the Laplacian. In the case when the bundle E is the trivial line bundle, we quantise solutions to the heat equation on the manifold. Furthermore we show that geometric quantisation can be seen as the differential of a natural map between two Riemannian manifolds. Motivated by this fact we compute its next order approximation, namely its Hessian. / Option Mathématique du Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Cette thèse est dédiée à l’étude de la géométrie sous-riemannienne en dimension infinie, et à ses applications à l’analyse des déformations par difféomorphismes. La première partie du manuscrit est un résumé détaillé des travaux effectués. La seconde compile les articles rédigés pendant ces trois dernières années. On étend d’abord à la dimension infinie le cadre de la géométrie sous-riemannienne classique, en établissant notamment des conditions assurant l’existence d’un flot géodésique. Puis, on applique ces résultats aux structures sous-riemanniennes fortes et invariantes à droite sur le groupe des difféomorphismes d’une variété. On définit ensuite rigoureusement les espaces de formes, notion jusqu’alors assez vague dans la littérature. Il s’agit de variétés de Banach sur lesquelles un groupe de difféomorphismes a une action satisfaisant certaines propriétés. On construit alors diverses structures sous-riemanniennes sur ces espaces de formes grâce à cette action. Enfin, on ajoute des contraintes aux déformations possibles et on formule les problèmes d’analyse de formes dans un cadre relevant de la théorie du contrôle optimal en dimension infinie. On démontre un principe du maximum de type Pontryagin adapté à ce contexte, permettant d’établir les équations géodésiques contraintes. Des algorithmes pour la recherche de déformations optimales sont ensuite développés et appuyés par des simulations numériques dans le chapitre 7. Ils unifient et étendent des méthodes précédemment établies pour l’analyse de formes dans le domaine de l’image. / This manuscript is dedicated to the study of infinite dimensional sub-Riemannian geometry and its applications to shape analysis using dieomorphic deformations. The first part is a detailed summary of our work, while the second part combines the articles we wrote during the last three years. We first extend the framework of sub- Riemannian geometry to infinite dimensions, establishing conditions that ensure the existence of a Hamiltonian geodesic flow. We then apply these results to strong right- invariant sub-Riemannian structures on the group of diffeomorphisms of a manifold. We then define rigorously the abstract concept shape spaces. A shape space is a Banach manifold on which the group of diffeomorphisms of a manifold acts in a way that satisfy certain properties. We then define several sub-Riemannian structures on these shape spaces using this action, and study these. Finally, we add constraints to the possible deformations, and formulate shape analysis problems in an infinite dimensional control theoritic framework. We prove a Pontryagin maximum principle adapted to this context, establishing the constrained geodesic equations. Algorithms for fin- ding optimal deformations are then developped, supported by numerical simulations. These algorithms extend and unify previously established methods in shape analysis.

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

Les espace-temps conformément plats de dimension supérieure ou égal à 3 sont des variétés localement modelées l'espace-temps d'Einstein où il agit la composante connexe de l'identité du groupe des difféomorfismes conformes.Un espace-temps M est globalement hyperbolique s'il admet une hypersurface S de type espace qui est rencontrée une et une seule fois par toute courbe causale de M. L'hypersurface S est alors dite hypersurface de Cauchy de M.L'ensemble des espace-temps globalement hyperboliques conformément plats, identifiés à difféomorphisme conforme près, est naturellement muni d'une relation d'ordre partielle: on dit que N étends M s'il existe un plongement conforme de M dans N tel que l'image de toute hypersurface de Cauchy de M est une hypersurface de Cauchy de N. Les éléments maximaux par rapport à cette relation d'ordre sont appelés espace-temps maximaux.Le premier résultat qu'on a prouvé est l'existence et unicité de l'extension maximale pour un espace-temps conformément plat globalement hyperbolique donné. Ce résultat généralise un théorème de Choquet-Bruhat et Geroch relatif aux espace-temps solutions des équation d'Einstein.L'unicité de l'extension maximale permet de prouver le résultat suivant:Théorème:En dimension supérieur ou égal à 3, l'espace d'Einstein est le seul espace-temps conformément plat maximal simplement connexe admettant une hypersurface de Cauchy compacte.Si l'hypersurface de Cauchy S du revêtement universel d'un espace-temps M est compacte on obtient donc que M est un quotient fini de l'espace d'Einstein. La structure des géodésiques de l'espace d'Einstein et l'unicité de l'extension maximale permettent de prouver :Théorème:Soit M un espace-temps conformément plat maximal de dimension supérieur ou égal à 3, qui contient deux géodésiques lumières distinctes, librement homotopes et ayant les mêmes extrémités. Alors M est un quotient fini de l'espace d'Einstein.Dans le cas où l'hypersurface S' du revêtement universel M' de M est non compacte on montre chaque point p de M' est déterminé par le compact de S 'constitué par l'intersection de son passé causal ou de son futur causal avec l'hypersurface S', suivant que p appartient au passé ou au futur de S'. Onappelle ce compact l'ombre de p sur S'. L'espace-temps M' s'identifie donc à un sous-ensemble des compacts de S'.Ce point de vue permet d'avoir une compréhension plus profonde de la maximalité d'un espace-temps. En fait on a différentes notions de maximalité :un espace-temps pourrait être maximal parmi les espace-temps conformément plats mais avoir un majorant qui n'est pas conformément plat, i.e. il pourrait exister un plongement conforme dans un espace-temps globalement hyperbolique qui ne soit pas conformément plat.Grâce à la notion d'ombre, on prouve que la structure causale induite sur la frontière de Penrose du revêtement universel d'un espace-temps conformément plat permet de caractériser les espace-temps maximaux parmi tous les espace-temps globalement hyperboliques, on obtient:Théorème:Tout espace-temps globalement hyperbolique conformément plat M qui est maximal parmi les espace-temps globalement hyperbolique conformément plats est aussi maximal parmi tous les espace-temps globalement hyperboliques.On conclut avec une discussion détaillée sur la maximalité des espaces-temps globalement hyperboliques maximaux parmi les espace-temps à courbure constante, suivant le signe de la courbure: lorsque la courbure est négative ou nulle, l'espace-temps est maximal aussi parmi tous les espace-temps globalement hyperboliques, mais cela n'est jamais vrai lorsque la courbure est strictement positive / As a consequence of the Lorentzian version of Liouville’s Theorem, everyconformally flat space-time of dimension 3 is a (Ein1,n,O0(2, n + 1))-manifold. The Einstein’s space-time Ein1,n is the space Sn × S1 with theconformal class of the metric d2−dt2, where d2 and dt2 are the canonicalRiemannian metrics of Sn and R. The group O0(2, n+1) is the group of theconformal diffeomorphisms of Ein1,n whose action preserve the orientationand the time-orientation of Ein1,n. A space-time M is globally hyperbolicif it contains a spacelike hypersurface which intersects every inextensiblecausal curve of M exactly in one point. As a consequence M is not compact.The hypersurface is called a Cauchy hypersurface of M. Geroch’s Theorem([?]) say that if M is globally hyperbolic, then M is homeomorphic to×R. There is a naturally defined partial order on the set of globally hyperbolicspace-times (up to conformal diffeomorphism) : M M0 if does existsa conformal embedding f : M ,! M0 which sends Cauchy hypersurfaces ofM to Cauchy hypersurfaces of M0 (f is called a Cauchy-embedding ). Wecall C-maximal space-times the maximal elements for this partial order onthe set of globally hyperbolic space-times. We can restrict the partial orderto the subset of conformally flat space-times : in this case we call themaximal elements C0-maximal space-times. The first result of the thesis isa generalization of a Theorem proved by Choquet-Bruhat and Geroch in[?] : let M be a globally hyperbolic conformally flat space-time. Then thereis a globally hyperbolic conformally flat C0-maximal space-time N and aCauchy-embedding f : M ,! N. The space-time N is unique up to conformaldiffeomorphisms.The uniqueness of the C0-maximal extension imply that every globally hyperbolicconformally flat simply connected C0-maximal space-time (of dimension3) with a compact Cauchy hypersurface is conformally diffeomorphicto gEin1,n.In the second part of the thesis we study the injectivity of the developingmap of a globally hyperbolic conformally flat space-time M looking at theshape of its the causal boundary.We say that two points p, q are conjugatedin a space-time M if there are two different lightlike geodesics and whichstart at p and meet at q, such that and don’t intersect between p and q.The most remarkable result of this part is : let M a globally hyperbolicconformally flat C0-maximal space-time. If fM has two conjugated pointsthen fM ' gEin1,n. In particular M is a finite quotient of gEin1,n.As a consequence of this result we obtain that the developing map of Mrestricted to the chronological past and future of every point is injective.In the last part of the thesis we give an abstract construction of the Cmaximalextension for a given conformally flat globally hyperbolic spacetime.The idea is that a globally hyperbolic space-time is completely determinedby one of his Cauchy hypersurfaces. This result helps to understandhow to relate the different notions of maximality. In particular we provethat every conformally flat globally hyperbolic space-time M which is C0-maximal is also C-maximal.

L'objet principal de cette thèse est de généraliser un certain nombre de résultats bien connus de la géométrie algébrique au cas kählerien non nécessairement projectif. On généralise d'abord le théorème d'annulation de Nadel au cas kählerien arbitraire. On obtient aussi un cas particulier du théorème d'annulation de Kawamata-Viehweg pour les variétés qui admettent une fibration vers un tore dont la fibre générique est projective. En utilisant ce résultat, on étudie le problème de déformation pour les variétés kählériennes compactes sous une hypothèse portant sur leurs fibrés canoniques. On étudie enfin les variétés à fibré anticonique nef. On montre que si le fibré anticanonique est nef, alors le fibré tangent est à pentes semi-positif relative à la filtration de Harder-Narasimhan pour la polarization $\omega_X ^{n-1}$. Comme application, on donne une preuve simple de la surjectivité de l'application d'Albanese, et on étudie aussi la trivialité locale de l'application d'Albanese.

Cette thèse étudie l'utilisation de certains invariants asymptotiques en géométrie conforme et géométrie CR.La première partie est consacrée à la géométrie conforme. Nous calculons les premiers termes du développement asymptotique de la fonction de Green des opérateurs GJMS au voisinage de la diagonale, pour un facteur conforme normal au sens de Lee et Parker. Nous montrons que le terme constant de ce développement est covariant sous un changement de facteur conforme normal. Nous le rattachons à un invariant à l'infini de type masse ADM d'une métrique non compacte obtenue par projection stéréographique.La deuxième partie est consacrée à la géométrie CR. Nous calculons les premiers termes du développement asymptotique de la fonction de Green de l'opérateur de Yamabe CR au voisinage de sa singularité,dans le cas CR sphérique, et en dimension 3 dans une carte CR-normale au sens de Jerison et Lee, lorsque la constante de Yamabe-CR est strictement positive. Nous montrons la covariance pseudo-conforme du terme constant sous les changements de cartes respectivement CR-sphériques et CR-normales.La troisième partie donne une explication formelle à une annulation algébrique sur laquelle repose la définition de plusieurs invariants à l'infini de type masse ADM, qui n'avait pu jusqu'à présent qu'être constatée par un calcul direct. / In this thesis we study the use of some asymptotic invariants in conformal and CR geometry.The first chapter is devoted to conformal geometry. We compute an asymptotic expansion ofthe Green function of GJMS operators near the diagonal, for a normal conformal factorin the sense of Lee and Parker. We show that the constant term in this expansion is covariant through achange of normal conformal factor. We relate it to an invariant at infinity of the type of the ADM massof a non-compact metric obtained by some kind of stereographic projection.In the second chapter we study CR geometry. We compute the first terms of the asymptotic expansion of the Greenfunction of the Yamabe-CR operator near its singularity, when the Yamabe-CR constant is positive, in the CR-sphericalcase, and in dimension 3 in a CR-normal chart in the sense of Jerison and Lee.We show the pseudo-conformal covariance of the constant term in this asymptotic expansion through a change of spherical chart andof CR-normal chart respectively.In the third chapter we give a formal explanation to an algebraic cancellationon which the defintion of some invariants at infinity such as the ADM mass relies.

Une mosaïque de Poisson-Voronoï est une partition aléatoire de l'espace euclidien en polyèdres, appelés cellules, obtenue à partir d'un ensemble aléatoire discret de points appelés germes. A chaque germe correspond une cellule, qui est l'ensemble des points de l'espace qui sont plus proches de ce germes que des autres germes. Ces modèles sont souvent utilisées dans divers domaines tels que la biologie, les télécommunications, l'astronomie, etc. Les caractéristiques de ces mosaïques et des cellules associées ont été largement étudiées dans l'espace euclidien mais les travaux sur les mosaïques de Voronoï dans un cadre non-euclidien sont rares.Dans cette thèse, on étend la définition de mosaïque de Voronoï à une variétériemannienne de dimension finie et on s'intéresse aux caractéristiques des cellules associées. Plus précisément, on mesure dans un premier temps l'influence que peut avoir la géométrie locale de la variété, c'est-à-dire les courbures sur les caractéristiques moyennes d'une cellule, comme son volume ou son nombre de sommets, en calculant des développements asymptotiques des ces caractéristiques moyennes à grande intensité. Dans un deuxième temps, on s'interroge sur la possibilité de retrouver la géométrie locale de la variété à partir des caractéristiques combinatoires de la mosaïque sur la variété. En particulier, on établit desthéorèmes limites, quand l'intensité du processus des germes tend vers l'infini, pour le nombre de sommets de la mosaïque dans une fenêtre, ce qui permet de construire un estimateur de la courbure et d'en donner quelques propriétés.Les principaux résultats de cette thèse reposent sur la combinaison de méthodesprobabilistes et de techniques issues de la géométrie différentielle. / A Poisson-Voronoi tessellation is a random partition of the Euclidean space intopolytopes, called cells, obtained from a discrete set of points called germs. To each germ corresponds a cell which is the set of the points of the space which are closer to this germ than to the other germs. These models are often used in several domains such as biology, telecommunication, astronomy, etc. The caracteristics of these tessellations and cells have been widely studied in the Euclidean space but only a few works concerns non-Euclidean Voronoi tessellation. In this thesis, we extend the definition of Poisson-Voronoi tessellation to a Riemannian manifold with finite dimension and we study the caracteristics of the associated cells. More precisely, we first measure the influence of the local geometry of the manifold, namely the curvatures, on the caracteristics of the cells, e.g. the mean volume or the mean number of vertices. Second, we aim to recover the local geometry of the manifold from the combinatorial properties of the tessellation on the manifolds. In particular, we establish limit theorems for the number of vertices of the tessellation, when the intensity of the process of the germs tends to infinity. This leads to the construction of an estimator of the curvature of the manifold and makes it possible to derive some properties of it. The main results of this thesis relies on the combination of stochastic methods and techniques from the differential geometry theory.