Imaginons qu'on ait besoin de calculer de manière approximative le minimum d'une fonction. Étant fixée une durée de calcul maximale, quelle qualité d'approximation peut-on espérer ? Nous répondrons à cette question sous l'hypothèse que la fonction est à gradient lipschitzien, d'abord dans le cas convexe puis dans le cas général.
La théorie de Krein-Rutman fournit la notion de valeur propre principale pour un opérateur dans un cadre abstrait. On rappellera la théorie classique à l'aide d'une approche basée sur la méthode du degré topologique, due à P. Rabinowitz. On présentera certaines extensions sous des hypothèses plus faibles sur l’opérateur, avec des applications à des problèmes elliptiques dans des domaines irréguliers.On montrera ensuite une approche différente qui donne l'existence de la valeur propre principale en se passant de l’hypothèse de compacité de l'opérateur. Ceci nous permettra de traiter des problèmes dans […]
14.00-14.45 Francois Dahmani (Grenoble), Relative hyperbolicity of free-by-cyclic groups, and conjugacy between automorphisms of free groups15.00-15.45 Tatiana Smirnova-Nagnibeda (Geneva), Various types of spectra and spectral measures on Schreier and Cayley graphs16.15-17.00 Urs Lang (ETH Zurich), Characterizations and asymptotic geometry of rank-n-hyperbolic spaces
(travail en commun avec Silvain Rideau-Kikuchi)Les imaginaires (c'est-à-dire les quotients définissables) dans la théorie ACVF des corpsalgébriquement clos non-trivialement valués sont classifiés par les sortes “géométriques”.Ceci est un résultat fondamental dû à Haskell, Hrushovski et Macpherson. En utilisantl'approche via la densité des types définissables/invariants, nous donnons une réductiondes imaginaires dans des corps valués henséliens, sous des hypothèses assez générales,aux sortes géométriques et à des imaginaires de RV avec des sortes pour certains espacesvectoriels de dimension finie sur le corps résiduel.
Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra () to obtain the following quantitative information: in order to prove the for polynomials of degree d, the Intermediate Value Theorem () is requested to hold for real polynomials of degree at most d^2. We also explain that the classical algebraic proof due to Laplace requires for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.
Determining all rational points on a curve of genus at least 2 can be difficult. Chabauty's method (1941) is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the jacobian, the closure of the Mordell-Weil group with the p-adic points of the curve. If the Mordell-Weil rank is less than the genus then this method has never failed. Minhyong Kim's non-abelian Chabauty programme aims to remove the condition on the rank. The simplest case, called quadratic Chabauty, was developed by Balakrishnan, Dogra, Mueller, […]
Si le terme modulation fait partie du langage courant, notamment en ce qui concerne les ondes radio (AM/FM), la théorie des modulations telle qu'initiée par le mathématicien britannique Whitham dans les années 1960-1970 recèle encore bien des questions ouvertes, malgré des avancées récentes. Il sera question dans cet exposé de modulations d'ondes modélisées par des équations aux dérivées partielles non-linéaires dispersives, dont des archétypes sont les équations de Korteweg-de Vries et de Schrödinger non-linéaire, omniprésentes en physique mathématique.
14.00-14.45 David Hume (Oxford), Three dichotomies for connected unimodular Lie groups15.00-15.45 Nikolay Bogachev (Skoltech & MIPT), Arithmetic hyperbolic reflection groups16.15-17.00 Daniel Woodhouse (Oxford), Action rigidity of free products of hyperbolic manifold groups
(avec Tom Scanlon)J'exposerai un résultat d'élimination des quantificateurs pour les corps henséliens de degré d'imperfection fini, relativement à la famille uniforme de tous les groupes RV_gamma = K^,imes/1+gamma m. Ce résultat permet alors de démontrer que toute extension dense séparable de corps henséliens de même degré d'imperfection fini est élémentaire. En particulier, l'extension F_p(t)^h leq F_p((t)) est élémentaire. Ce dernier énoncé précise un résultat d'Artin selon lequel elle est existentiellement close.
Le transport optimal permet de définir des distances sur l?RTMensemble des mesures de probabilité boréliennes sur un espace euclidien. On sait depuis les travaux de R.L. Dobrushin (1979) queces distances sont d?RTMune grande utilité dans le contexte de la mécanique classique de systèmesformés d?RTMun grand nombre de particules identiques. On montrera dans cet exposé commentdéformer ces distances de transport optimal en fonction de la constante de Planck comme petitparamètre pour obtenir des fonctionnelles rendant des services analogues dans le contextede la mécanique statistique quantique. Les notions de dynamique quantique et […]
Y-a-t-il une théorie des mesures de Keisler pour les théories simples? J'expliquerai quelques exemples, suggérés par Hrushovski, qui montrent que les mesures dans une théorie simple sont plus complexes que prévu. Ils sont basés sur des actions de groupes libres.Travail en commun avec plusieurs chercheurs.
Un réseau "unimodulaire pair" est un réseau L de l'espace euclidien R^n qui possède d'une part un domaine fondamental de volume 1, et d'autre part tel que x.x est un entier pair pour tout élément x de L. Le réseau E_8 (n=8) et le réseau de Leech (n=24) en sont des exemples particulièrement fameux. Les réseaux unimodulaires pairs interviennent dans des domaines variés des mathématiques : problèmes d'empilements de sphères, classification des formes quadratiques ``sur Z'', théorie des formes modulaires, invariants des variétés, classification des groupes simples finis sporadiques... et […]
