Olivier Benoist (École Normale Supérieure de Paris)

Le 17ème problème de Hilbert, résolu en 1927 par Artin, affirme que tout polynôme réel qui ne prend que des valeurs positives est une somme de carrés. La positivité des sommes de carrés est donc la seule source d’inégalités polynomiales ! Je présenterai l’histoire de cette question, des développements récents, et des problèmes ouverts d’énoncés élémentaires.

Emmanuel Kowalski (ETH, Zurich)

Les objets arithmétiques d’apparence les plus simples, par exemple les
nombres entiers, ou des sommes finies de racines de l’unité, semblent
souvent avoir un comportement imprévisible, mais qui obéit
statistiquement à des règles précises. L’exposé présentera différents
exemples de tels phénomènes ainsi que des applications récentes.

Marie Theret (Université Paris Nanterre)

Considérons le graphe de sommets les points de Z^d muni des arêtes reliant les sommets à distance euclidienne 1. Le modèle de percolation de premier passage sur Z^d consiste à associer aux arêtes de ce graphe une famille de variables aléatoires indépendantes et de même loi, à valeurs positives. La variable associée à une arête représente le temps nécessaire pour traverser l’arête, ce qui permet de modéliser des phénomènes de propagation (propagation d’une information dans un réseau social, d’une maladie au sein d’une population, de l’eau à l’intérieur d’une roche poreuse). Nous présenterons une propriété qui joue un rôle central dans l’étude de ce modèle : la sous-additivité.

Vincent Borrelli (Université de Lyon)

Au milieu des années 50, John Nash énonce un théorème de “plongements isométriques” dont les conséquences sont déconcertantes. Il implique en effet que l’on peut réaliser un tore plat dans l’espace ambiant c’est-à-dire identifier les bords opposés d’une feuille de papier sans créer le moindre pli ni la moindre intersection. Il implique également l’existence d’une application qui envoie la sphère unité à l’intérieur d’une boule de rayon arbitrairement petit tout en préservant les longueurs des courbes tracées à sa surface. Ces objets, appelés tore plat 3D et sphère réduite, sont restés longtemps mystérieux jusqu’à ce qu’une théorie inventée par Mikhail Gromov, l’intégration convexe, ouvre la voie à leur construction explicite et à leur visualisation. Dans cet exposé, nous nous intéresserons à cette construction ainsi qu’à la structure géométrique en “fractale lisse” qu’elle a révélée.

Joerg Seiler (Turin)

There are many examples of calculi/algebras of pseudodifferential operators that have been designed to analyze different sorts of elliptic partial differential operators, in particular to characterize their Fredholm property and regularity properties of solutions of associated pde’s in suitable function spaces, using a parametrix construction within the algebra. This ranges from  pseudodifferential operators on smooth closed manifolds (where ellipticity of an operator is characterized by the invertibility of its homogeneous principal symbol) to operator algebras for singular manifolds like manifolds with conical points, edges, and corners (where ellipticity is characterized by a hierarchy of principal symbols associated with the stratification of the manifold). Also boundary value problems can be treated in such a way. L. Boutet de Monvel developed a calculus for smooth manifolds with boundary which allows to treat classical boundary conditions like Dirichlet or Neumann conditions. Ellipticity in this calculus corresponds to the classical Shapiro-Lopatinskij ellipticity. This calculus has been extended by Schulze to also cover so-called global projection conditions, for example spectral boundary conditions for Dirac operators.

It will be discussed how parts of Schulze’s construction can be obtained in a general framework of  so-called operators of Toeplitz type associated with a given algebra of pseudodifferential operators and that a corresponding approach also applies to complexes of operators. Fredholm property in this context means finite dimension of all associated cohomology spaces. For smooth manifolds with boundary it turns out that every complex of differential operators, which is fibre-wise exact on the level of homogeneous principal symbols, can be complemented with boundary conditions (i.e., a complex-isomorphism to a complex of operators on the boundary) in such a way that the resulting mapping cone is a Fredholm complex. There is a topological obstruction which decides whether these boundary conditions can be chosen from the usual Boutet de Monvel calculus or when they must involve global projection conditions. This extends and makes precise results due to A. Dynin. Parts of this talk are joint work with B.-W. Schulze.

Sébastien Gouëzel

Les assistants de preuve sont des outils informatiques qui permettent de formaliser et vérifier tous les détails d’une preuve. Alors qu’ils sont développés et utilisés depuis longtemps par des informaticiens (notamment pour prouver qu’un programme fait bien ce qu’il attend de lui), leur adoption par des mathématiciens est beaucoup plus récente. Je décrirai à travers mon expérience personnelle ce que ces outils permettent déjà de faire, notamment pour des résultats niveau recherche, mais aussi les difficultés que pose leur utilisation pour un mathématicien. Et j’espère aussi dissiper quelques fantasmes !

François Baccelli (ENS Paris)

Résumé :

L’exposé portera sur les dynamiques déterministes sur des graphes aléatoires infinis. Une telle dynamique peut être vue comme un ensemble de règles de navigation sur les noeuds du graphe, qui sont des fonctions de la seule géométrie locale du graphe enraciné. Nous nous concentrerons sur des graphes aléatoires qui sont unimodulaires (vérifient les équations de transport de masse) et sur les règles de navigation qui sont covariantes (invariantes par isomorphismes de graphes enracinés).

Nous donnerons une classification de ces dynamiques basée sur les propriétés de leurs variétés stables. Cette classification est fondée sur l’identification d’une famille d’arbres aléatoires critiques dont les propriétés fondamentales seront présentées.

Ces notions seront illustrées par des exemples issus de la théorie des processus ponctuels, des processus de branchement, de la théorie des graphes aléatoires infinis et de celle des processus aléatoires.

Travail en collaboration avec M.-O. Haji-Mirsadeghi et A. Khezeli.

Jean-Yves Chemin (Université Pierre et Marie Curie)

Résumé:  Dans le cas des groupes commutatifs, l’espace des fréquences, c’est-à-dire l’espace de la variable de Fourier est l’ensemble des caractères, ou l ‘une de ses paramétrisations. Dans le cas familier de l’analyse sur $mathbf{R}^n$, il s’agit de l’ensemble des formes linéaires sur $mathbf{R}^n$. Rien de tel dans le cadre des groupes non commutatifs où l’on doit utiliser les représentations. Après avoir rappeler les points essentiels de cette théorie,  nous expliquerons les problèmes qu’elle pose et définirons la transformation de Fourier comme fonction sur un espace métrique complet  singulier  explicite.

Texte de l’auteur

James Maynard (University of Oxford)

James Maynard est un théoricien des nombres, professeur à l’université d’Oxford. Il s’est fait connaître en donnant une nouvelle preuve du théorème de Zhang concernant l’infinité des paires de nombres premiers séparés d’une quantité bornée.

En 2016, il a résolu une conjecture d’Erdös sur les grands écarts entre nombres premiers. C’est la conjecture résolue pour laquelle Erdös avait offert le prix le plus élevé.

Abstract: One of the oldest problems about prime numbers is asking how many primes there are of a given size in an arithmetic progression. Dirichlet’s famous theorem shows that there are large primes in the progression unless there is an obvious reason why not, but more refined questions lead quickly to statements equivalent to versions of the Riemann Hypothesis, which unfortunately remains unsolved.

Chengbo Zhu (National University of Singapore)