Given a pair of models Kprec L of a first-order theory T, the pair is said to be stable if the following property holds: all types over K which are realized in L are definable. Marker and Steinhorn characterized stable pairs of models of o-minimal theories as pairs K prec L where K is Dedekind complete in L. In this talk we provide a characterization of stable pairs of algebraically closed valued fields K prec L. To get a flavor of the topic, different examples will be discussed and a […]
We establish for the category of semialgebraic sets and functions on arbitrary real closed fields a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry, valuation theory and the theory of ordered abelian groups. We set up the construction in such a way that it is uniquely determined by data that can be formulated completely in terms of the given real closed field. We apply our integration theory to questions on semialgebraic geometry and […]
Le théorème de Ramsey affirme que si on colorie toutes les parties de taille k d'un ensemble dénombrable en un nombre fini de couleurs il y aura toujours un ensemble infini dont toutes les parties de taille k ont la même couleur. Ce théorème a inspiré toute une série de résultats du même genre -- si on coupe un gros objet en un nombre fini de morceaux il y aura toujours une grosse partie où on trouve de la structure -- qui ont trouvé des applications dans plusieurs domaines des […]
NULL
Les conjectures de Weil, énoncées à la fin des années 1940, constituèrent l'une des motivations principales pour le travail de Grothendieck en géométrie algébrique dans les années 1950 et 1960. Ces conjectures relient des objets mathématiques vivant dans des mondes a priori très lointains: d'un côté, les nombres de solutions d'équations polynomiales dans les corps finis, et de l'autre, les invariants topologiques associés à certains objets géométriques (courbes, surfaces, variétés topologiques). Cet exposé visera à introduire les concepts en jeu et à expliquer la formulation des conjectures de Weil.
(en collaboration avec Igor Kortchemski)Une partition de l?RTMensemble des entiers de 1 à n peut sereprésenter dans le disque unité du plan complexe : les entiers sontplacés sur les racines n-ièmes de l?RTMunité et chaque ensemble de lapartition est représenté dans le disque par le polygone convexe dont lessommets sont ses éléments. La partition est dite non croisée si cespolygones ne s?RTMintersectent pas. Dans ce cas, on s?RTMintéresse à l?RTMensemblefermé du disque formé par la réunion des arêtes des polygones. Jeprésenterai des théorèmes limites pour de tels ensembles lorsque n […]
Il existe de nombreuses constructions explicites de suites de nombres rationnels qui convergent plus ou moins vite vers l'une ou l'autre des constantes classiques en mathématiques, telles que pi, exp(1), les valeurs de la fonctions zêta de Riemann aux entiers, la constante d'Euler ou les valeurs de la fonction Gamma d'Euler. Il s'avère beaucoup plus difficile de construire des suites d'approximations diophantiennes, c'est-à-dire des suites de nombres rationnels qui permettent de démontrer l'irrationalité de ces nombres. Je présenterai quelques méthodes permettant de le faire pour certains d'entre eux.
En neuroscience, une des questions fondamentales est de comprendre dans quelle mesure les neurones se comportent de manière indépendante ou non. En effet, dans cette dépendance et dans la forme de cette dépendance se cache potentiellement selon certains biologistes une partie du code neural, c'est-à-dire la manière dont sont encodés les stimulus extérieurs, la reconnaissance, etc. Je présenterai sur plusieurs exemples concrets quelles sont les méthodes statistiques possibles de détection/estimation de la dépendance et dans quelle mesure nous sommes proches de la notion biologique de connectivité fonctionnelle. Les modèles sous-jacents […]
La gravité de Liouville 2d est une théorie continue des surfaces aléatoires introduite par le physicien Polyakov en 1981. Cette théorie peut être vue comme l'analogue bidimensionnel de l'intégrale de chemin (unidimensionnelle) de Feynman introduite dans le cadre de la mécanique quantique. Récemment cette théorie a connu un développement important dans le cadre de la théorie des probabilités et j'essaierai d'expliquer dans cet exposé les enjeux associés: lien conjecturel entre cette théorie et les grandes cartes planaires (gravité discrète), lien entre la théorie et l'uniformisation classique des surfaces de Riemann […]
Je décrirai quelques investigations récentes autour du théorème deDrinfeld-Grinberg-Kahzdan sur le voisinage formel d'un arc nonsingulier. C'est un travail en commun avec Julien Sebag.
The first order theory of a henselian valued field of residue characteristic zero is well-understood through the celebrated Ax-Kochen-Ershov principle, which states that it is completely determined by the theory of the residue field and the theory of the value group. For henselian valued fields of positive residue characteristic, no such general principle is known. I will report on joint work with Will Anscombe in which we study (parts of) the theory of equicharacteristic henselian valued fields and prove an Ax-Kochen-Ershov principle for existential (and slightly more general) sentences. I […]