Designed and built with care, filled with creative elements

Top

Definable types in ACVF.

ENS Salle W

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 […]

Lebesgue measure and integration theory on arbitrary real closed fields

Salle W ENS

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 […]

Théorie de Ramsey et dynamique topologique

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

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 […]

De la topologie aux corps finis: autour des conjectures de Weil

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

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.

Géométrie des grandes partitions non croisées aléatoires

DMA - Salle R3 45 rue d'Ulm, Paris, France

(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 […]

Approximations diophantiennes de constantes classiques

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

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.

Indépendance: tests et modèles pour comprendre la connectivité fonctionnelle en neuroscience

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

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 […]

Gravité de Liouville 2d

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

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 […]

Voisinages formels dans le schéma des arcs

ENS Salle W

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.

On the existential theory of equicharacteristic henselian valued fields

ENS Salle W

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 […]

Around the Canonical Base Property

ENS Salle W

The canonical base property (CBP) is a property of finite rank theories, which was introduced by Pillay and whose formulation was motivated by results of Campana in complex geometry. The main feature of such a property is that it provides a dichotomy for types of rank one, and in consequence one can reproduce Hrushovski's proof of Mordell-Lang for function fields in characteristic zero with considerable simplifications.In this talk, I will motivate (via Mordell-Lang) the statement of the CBP and describe some results around the CBP, in particular on definable groups.