Dans une lettre à Jean-Pierre Serre datée du 16 août 1964, Alexandre Grothendieck, en spéculant sur la possibilité d’une théorie des motifs, définissait un objet qu’on appelle aujourd’hui l’anneau de Grothendieck des variétés, qui a joué un rôle de plus en plus important en géométrie algébrique dans les trente dernières années. Cet anneau est engendré par les variétés algébriques (c’est-à-dire, des objets géométriques donnés par les lieux de zéros communs de systèmes polynomiaux), regardées à isomorphisme et découpage près. Après une introduction générale de l’anneau de Grothendieck des variétés et […]
La théorie des jeux est la théorie mathématique des interactions stratégiques. La notion d’équilibre de Nash y joue un rôle central, souvent utilisé comme outil prédictif dans de nombreux modèles économiques récents (par exemple, Jean Tirole, prix « Nobel » d’économie, utilise l’équilibre de Nash dans un article de 2023 sur la « moralité des marchés »).Cette théorie se caractérise par la diversité des outils mathématiques utilisés (logiques, topologiques, algébriques, probabilistes, etc.), et ses nombreuses interactions avec d’autres disciplines (psychologie, biologie, informatique, logique, économie, sciences sociales, sciences comportementales, etc.). Nous […]
Intuitivement, étant donnée une équation polynomiale à coefficients dans un corps K, on s'attend à ce qu'elle ait plus de chances d'avoir des solutions si elle fait intervenir un grand nombre de variables et si elle a un petit degré. Ce sont Artin et Lang qui, dans les années 50, ont formalisé cette idée. Je présenterai un certain nombre de résultats et de problèmes ouverts dans ce domaine où les questions ont tendance à être élémentaires à formuler mais difficiles à résoudre.
Si l’on considère un (grand) graphe dessiné sur la sphère, on obtient un espace métrique en munissant l’ensemble des sommets de la distance de graphe, la distance entre deux sommets étant le nombre minimal d’arêtes sur un chemin les reliant. Si l’on choisit le graphe au hasard, et si on fait tendre sa taille vers l’infini, on montre que l’espace métrique associé converge, en un sens que l’on précisera, vers un espace métrique aléatoire appelé la sphère brownienne. On donnera quelques idées de la preuve de ce résultat.
En mathématiques, la compacité est une propriété très forte : elle permet d'étudier un objet donné en examinant simplement des sous-objets de taille inférieure. On peut étudier de grands objets finis en examinant certains de leurs sous-ensembles plus petits, ou on peut essayer de comprendre un objet infini en examinant des morceaux finis. En poussant plus loin, on peut étudier des objets qui ne sont pas dénombrables à l'aide d'approximations dénombrables. Dans cet exposé, nous examinerons un exemple spécifique, les limites inverses supérieures, et comment, dans ce cas, un phénomène […]
Depuis plus d'un demi-siècle, les ordinateurs ont acquis le statut d'instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul est mise au service de l'experimentation, de la visualisation, de l'aide a la conjecture,... Mais aussi de la démonstration. Peut-on aller jusqu'à dire que les ordinateurs d'aujourd'hui font des mathématiques?
Comment changer la largeur d'une image en transformant le moins possible son contenu ? Ce problème, appelé retargeting dans la littérature scientifique, est crucial pour de nombreuses applications d'imagerie. Je présenterai l'algorithme dit de "seam carving", simple et élégant, et je montrerai comment il donne naissance à des questions mathématiques naturelles (pas encore résolues) en théorie de la percolation et en théorie de l'information. Une bonne partie de l'exposé sera consacré à illustrer la place parfois trompeuse des mathématiques dans l'ingénierie moderne, et dans les startups en particulier.
Un énoncé du premier ordre dans le langage de la théorie des groupes est un énoncé mathématique dont les variables désignent uniquement des éléments d'un groupe, et l'on dit que deux groupes sont élémentairement équivalents s'ils vérifient les mêmes énoncés du premier ordre. Je présenterai ces notions au moyen d'exemples simples puis m'intéresserai à une question posée par Tarski dans les années 40 au sujet du groupe libre de rang n (qui est, informellement, le plus gros groupe que l'on puisse fabriquer à partir de n éléments), connue comme le […]
Comment changer la largeur d'une image en transformant le moins possible son contenu ? Ce problème, appelé retargeting dans la littérature scientifique, est crucial pour de nombreuses applications d'imagerie. Je présenterai l'algorithme dit de "seam carving", simple et élégant, et je montrerai comment il donne naissance à des questions mathématiques naturelles (pas encore résolues) en théorie de la percolation et en théorie de l'information. Une bonne partie de l'exposé sera consacré à illustrer la place parfois trompeuse des mathématiques dans l'ingénierie moderne, et dans les startups en particulier.
Les dynamiques hyperboliques sont des modèles de dynamiques "chaotiques" en mathématiques, c'est-à-dire très sensibles aux conditions initiales. Elles apparaissent naturellement dans de nombreux contextes, notamment en géométrie riemannienne. Le but de cet exposé est de présenter quelques exemples de dynamiques hyperboliques "simples" sur le tore et les billards, de les illustrer numériquement, et d'expliquer la façon dont on les analyse mathématiquement à l'aide d'une notion-clé : les résonances de Ruelle.