Cet exposé est une introduction élémentaire aux espaces de Finsler qui constituent la généralisation la plus naturelle de la géométrie riemannienne. Après une présentation des principales propriétés de la géométrie de Finsler, nous verrons à travers quelques exemples comment celle-ci apparaît dans diverses situations
Hypergroups are objects like groups but with addition taking possibly many values. Likewise, hyperrings and hyperfields are objects similar to rings and fields, but with multivalued addition. Hyperfields provide a convenient tool in axiomatizing the algebraic theory of quadratic forms and in this talk we shall focus on three such applications. Firstly, we shall show how Witt equivalence of fields can be conveniently expressed in the language of hyperfields and will present some recent results on Witt equivalence of function fields over global and local fields. Secondly, we shall show how orderings of higher level can be defined for hyperrings and hyperfields, and, consequently, how they can be used to provide an axiomatic framework to study forms of higher order. Finally, we shall define the category of, so called, presentable fields and define their Witt rings, thus providing yet another machinery to study quadratic forms over fields. The results presented in this talk were obtained jointly with Murray Marshall and Krzysztof Worytkiewicz.
En 1933 Derrick Lehmer propose une méthode pour trouver de grands nombres premiers dans des suites récurrentes linéaires ayant comme ingrédients principaux des polynômes à coefficients entiers de très petite mesure de Mahler. Le problème de Lehmer est de trouver de tels polynômes de mesure < 1.1762. Ce nombre, dit nombre de Lehmer, est resté la plus petite valeur connue. La Conjecture de Lehmer stipule qu'il n'en existe pas de mesure arbitrairement proche de un. On présentera les fonctions analytiques (déterminants de Fredholm généralisés, fonctions zêta dynamiques) du système dynamique de numération de Rényi-Parry en base entier algébrique variable (beta-shift), pour montrer comment certaines propriétés de ces fonctions donnent des points d'attaque de cette Conjecture, et la fracturabilité des polynômes minimaux de ces bases. On fera le lien avec l'algorithme de Schur développé par Dufresnoy, Pisot, Amara, Bertin, pour les plus petits nombres de Pisot. On évoquera le problème des valeurs d'adhérence (Deninger, Rodriguez-Villegas) de l'ensemble de mesures de Mahler de nombres algbériques dans ce contexte.
Le but de l'exposé sera de présenter une preuve alternative de la stabilité asymptotique d'équilibres spatialement homogènes pour des perturbations localisées d'équations de Vlasov posées dans l'espace entier. La preuve originale due à Bedrossian-Mouhot-Masmoudi, est inspirée de la preuve du Landau damping pour des solutions périodiques et utilise les propriétés dispersives du transport libre en Fourier. On présentera une approche basée sur la méthode des caractéristiques et une étude des propriétés dispersives du linéarisé dans l'espace physique. (collaboration avec D. Han-Kwan (Polytechnique) et T. Nguyen (Penn-State))
Dans un article de 1996, van den Dries et Miller conjecturent que la structure R_{an, x^R} obtenue par adjonction des puissances réelles aux sous-analytiques (globaux) est maximale parmi les réduites polynomialement bornées de la structure R_{an, exp} obtenue en ajoutant l'exponentielle (non restreinte) aux sous-analytiques. On montre un analogue polynomialement borné de cette conjecture. Plus précisément, étant donné L un sous corps de R et S une structure polynomialement bornée, la structure S_{x^L} (obtenue en ajoutant à S les puissances réelles avec exposant dans L) est maximale parmi les réduites de S_{x^R} (obtenue en ajoutant toutes les puissances réelles à S) ayant L comme corps d'exposants. Autrement dit, si X est un ensemble que l'on peut définir à l'aide de S et de puissances réelles, seules les puissances qui se redéfinissent depuis S et X sont nécessaires pour définir X; les autres exposants, cachés dans la définition de X, peuvent s'éviter. On déduit le corollaire suivant qui répond, au niveau des fonctions d'une variable, à une généralisation de la conjecture de van den Dries et Miller: si f:R->R est définissable dans S_{exp} et si S_{f} est polynomialement bornée de corps d'exposants L, alors f est en fait définissable dans S_{x^L}. (Travail commun avec G. Jones)
Nicolas BESSET, IF, Grenoble Jean François BOUGRON, IF, Grenoble Dorin BUCUR, LAMA, Chambéry Emmanuelle CREPEAU, LJK, Grenoble Rita JUODAGALVYTE, LaMuse, Saint-Etienne Florian PATOUT, LAMA, Chambéry Arnaud MUNCH, LMPB, Clermont-Ferrand, Tran Duc Minh PHAN, LMBP, Clermont-Ferrand Laure SAINT-RAYMOND, UMPA, ENS-Lyon Filippo SANTAMBROGIO, ICJ, Lyon Simon SANTOSO, LJK, Grenoble Raphael WINTER, UMPA, ENS Lyon
The talk is concerned with geometric optimization problems related to the Neumann eigenvalue problem for the Laplace-Beltrami operator on bounded subdomains of a Riemannian manifold. More precisely, we analyze locally extremal domains for the first nontrivial eigenvalue with respect to volume preserving domain perturbations, and we show that corresponding notions of criticality arise in the form of overdetermined boundary value problems. Our results rely on an extension of Zanger's shape derivative formula which covers the case where the first nonzero Neumann eigenvalue is not simple. In the second part of the talk, we focus on product manifolds with euclidean factors, and we classify the subdomains where the associated overdetermined boundary value problem has a solution. This is joint work with Moustapha Fall (AIMS Senegal).
I will discuss joint work with Harry Schmidt in which we give an effective version of a result of Bertrand, Masser, Pillay and Zannier on families of multiplicative extensions of an elliptic curve. In certain cases we obtain extra uniformity. The methods involve pfaffian functions. In particular, previous work with Schmidt on pfaffian definitions of elliptic functions plays a key role.
L'exposé se fera en deux temps. Dans la première partie (accessible à tous les membres de l'équipe), je présenterai le lambda-mu-calcul (pur et typé) de Parigot ainsi que ses propriétés et ses défauts. J'introduirai ensuite le lambda-mu-mu'-calcul (version De Groote) et je vous présenterai ses multiples propriétés de normalisation (sans rentrer dans les détails techniques). Dans la deuxième partie, je reprendrai quelques résultats techniques pour présenter les méthodes que nous avons utilisées pour les démontrer.
Dans cet exposé nous nous intéresserons aux effets régularisants de l’équation de Kolmogorov sur l’espace de Wasserstein. Telle équation décrit la dynamique du semi-groupe généré par la solution d’une équation différentielle stochastique de type McKean-Vlasov (i.e. dont la dynamique dépend de la loi). Nous verrons comment de tels effets permettent de retrouver des résultats d’unicité faible et forte ainsi que des phénomènes de propagation du chaos pour des équations à coefficients peu réguliers.
We propose a new mathematical and computational tool for infering the geometry of shapes known only through approximations like triangulated or digital surfaces. Its originality is to decouple the positionof the shape boundary from its normal vector field. To do so, we extend a classical tool of geometric measure theory, the normal cycle, so that it takes as input not only a surface but also a normal vector field. We formalize it as a current in the Grassmannian Gr(2;R3). By choosing then adequate differential forms, we define geometric measures like area, mean and Gaussian curvatures. We then show the stability of these measures when both position and normal input data are approximations of the underlying continuous shape. As a byproduct, our tool is able to correctly estimate curvatures over polyhedral approximations of shapes, even when their natural normal are not correct (e.g. the Schwarz lantern, digital surfaces), as long as an external convergent normal vector field is provided. Finally, the accuracy, convergence and stability under noise perturbation is evaluated experimentally onto digital surfaces.
The μ-calculus with atoms, or nominal μ-calculus, is a temporal logic for reasoning about transition systems that operate on data atoms coming from an infinite domain and comparable only for equality. It is, however, not expressive enough to define some properties that are of interest from the perspective of system verification. To rectify this, we extend the calculus with tests for atom freshness with respect to the global history of transitions. Since global histories can grow arbitrarily large, it is not clear whether model checking for the extended calculus is decidable. We prove that it is, by showing that one can restrict attention only to locally relevant parts of the history.
In this talk, I will first recall a few standard results on predator-prey systems with or without Allee effect on the prey. Then I will present a brake-driven gene drive reversal model (spatialized population genetics) and show the link with the first part. Thanks to this link, a co-extinction result will be rigorously established and a co-invasion result will be partially proved, partially illustrated numerically. This is an interdisciplinary joint work with Vincent Calvez and Florence Débarre.
The theory of fewnomials seeks quantitative bounds on polynomial systems in terms of the number of nonzero monomials occurring in the system. These bounds can be of different nature. The first focus of the fewnomial theory was to find bounds for the number of real solutions of multivariate sparse systems. Nevertheless, one can also ask for bounds on the maximal multiplicity of a complex solution to a sparse polynomial system. In this work, we study bivariate systems defined by two curves. We consider a mixed model in which one curve has a bounded number of monomials, while the other has a bounded degree. We show that the intersection multiplicity of any isolated solution of such system is polynomially bounded by these two parameters, provided that the solution has nonzero coordinates. This is similar to the real case, since an analogous bound is known for the number of real solutions of these types of systems. We also discuss the connections between sparse polynomials and algebraic complexity theory. This is joint work with Pascal Koiran.
L'exposé se fera en deux temps. Dans la première partie (accessible à tous les membres de l'équipe), je présenterai le lambda-mu-calcul (pure et typé) de Parigot ainsi que ses propriétés et ses défauts. J'introduirai ensuite le lambda-mu-mu'-calcul (version De Groote) et je vous présenterai ses multiples propriétés de normalisation (sans rentrer dans les détails techniques). Dans la deuxième partie, je reprendrai quelques résultats techniques pour présenter les méthodes que nous avons utilisées pour les démontrer.
On introduit de nouveaux groupes de Kähler, compactifiant les groupes modulaires et sur lesquels les systèmes locaux de TQFT se prolongent. Ceci permet notamment de montrer que les surfaces algébriques introduites il y a 20 ans par Bogomolov-Katzarkov pour fournir des contre-exemples à la conjecture de Shafarevich de convexité holomorphe vérifient cet énoncé sauf dans des cas résiduels. Travail en cours avec Louis Funar
En 2005-2007 Burdzy, Caffarelli et Lin, Van den Berg ont conjecturé, dans des contextes différents, que la somme (ou le maximum) des valeurs propres fondamentales du Laplacien-Dirichlet associées à des cellules disjointes d'un domaine planaire est asymptotiquement minimale pour une structure en nid d'abeilles, quand le nombre de cellules devient très grand. Je vais discuter l'histoire de cette conjecture en détaillant les arguments de Fejes Toth et Hales sur le problème du nid d'abeilles classique, et je vais démontrer la conjecture (du maximum) pour les valeurs propres du Laplacien-Robin. Les résultats présentés ont été obtenus avec I. Fragala, B. Velichkov et G. Verzini.
La géométrie Lipschitz est une branche de la théorie des singularités qui étudie les données métriques d'un germe d'espace analytique complexe et l'invariance de celles-ci à homéomorphisme bi-Lipschitz près. Après en avoir introduit les bases, je vais parler d'une nouvelle approche de l'étude de ces invariants, et en particulier des taux de croissance Lipschitz internes, basée sur la combinatoire d'un espace de valuations (l'entrelacs non archimédien - à la Berkovich - de la singularité). Je vais décrire précisément la structure métrique interne d'un germe de surface singulière complexe en montrant que ses taux de croissance déterminent et sont déterminés par des données géométriques globales : la topologie du germe, ses sections hyperplanes et ses courbes polaires génériques. Ceci est un travail en commun avec André Belotto et Anne Pichon.