Les codes linéaires correcteurs d'erreurs sont des outils mathématiques utilisés dans l'industrie numérique pour corriger les erreurs de transmission. À un code est naturellement associé un élément de Z, appelé polynôme des poids. À une forme quadratique entière est associée sa fonction thêta, fonction spéciale définie sur le demi-plan de Poincaré. Si la forme quadratique est unimodulaire et paire, sa fonction thêta est une forme modulaire. Après avoir présenté les codes et leurs polynômes (il s'agit de mathématiques relativement récentes mais élémentaires), puis les formes quadratiques et leurs fonctions thêta (il […]
Une théorie est NIP si et seulement si certains espaces de types sont des `compacts de Rosenthal' : des objets étudiés en topologie et théorie descriptive des ensembles. Grâce à cette observation, on peut appliquer des résultats de topologie générale pour obtenir de nouveaux (et d'anciens) théorèmes sur les théories NIP. Je parlerai en particulier de conséquences concernant les types invariants.
Motivés par des questions topologiques, nous présentons plusieurs problèmes sur les intersections singulières de sous-groupes algébriques et de sous-variétés dans les tores multiplicatifs. Ces questions sont étroitement liées aux conjectures de Zilber-Pink. L'heuristique sous-jacente est que, dans ces conjectures, la singularité des intersections peut compenser une décrémentation de la codimension des sous-groupes considérés.Il s'agit d'un travail en commun avec J. Marché.
(Work in progress, together with Yimu Yin)One tool to describe singularities of (e.g. algebraic or analytic) subsets X of R^n or C^n are stratifications: a partition of X into finitely many ?Roestrata?R such that any two points x, y in X within the same stratum have the ?Roesame type of neighbourhood?R. The most classical stratifications are Whitney stratifications, which classify neighbourhoods up to homeomorphism. The strongest known stratifications are Mostowski's bi-Lipschitz stratifications, which classify neighbourhoods up to a bi-Lipschitz map. I will present a new way of obtaining such bi-Lipschitz […]