En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.
Apprentissage par invariants en grande dimension : de l’image ou de la musique à la chimie quantique
Huawei-IHÉS Workshop on Mathematical Sciences
Tuesday, May 5th 2015
Huawei-IHÉS Workshop on Mathematical Sciences
Tuesday, May 5th 2015
Huawei-IHÉS Workshop on Mathematical Sciences
Tuesday, May 5th 2015
Huawei-IHÉS Workshop on Mathematical Sciences
Tuesday, May 5th 2015
Huawei-IHÉS Workshop on Mathematical Sciences
Tuesday, May 5th 2015
"J'ai décidé de ne pas diffuser la partie 1 de cet exposé III, sur les catégories triangulées de Voevodsky, car, après de simples rappels sur ces catégories, elle proposait une question très mal posée, comme Ofer Gabber et d'autres auditeurs du cours me l'ont immédiatement et heureusement fait observer. Une version corrigée de cette partie, c'est-à-dire de la question posée, se trouvera dans les notes écrites du cours, telles qu'elles seront prochainement disponibles sur mon site et comme prépublication de l'IHES.
La vidéo est donc limitée à la partie 2 de cet exposé, à la recherche de "topos motiviques", qui est cependant la partie plus importante.
Laurent Lafforgue "
Il s'agit d'exposer un travail (http://arxiv.org/abs/1506.06113) cosigné avec Luca Barbieri-Viale et Olivia Caramello et essentiellement réalisé par cette dernière à partir d'une question initiale posée par le premier.
Le cours aura pour but d'expliquer une nouvelle construction, basée sur la logique catégorique, de la catégorie abélienne Q-linéaire de motifs mixtes que Nori a associée à tout foncteur cohomologique ou homologique à valeurs dans les Q-espaces vectoriels de dimension finie.
Cette nouvelle construction garde un sens pour les espaces vectoriels de dimension infinie, si bien qu'elle permet d'associer une catégorie Q-linéaire de motifs mixtes à tout foncteur (co)homologue à coefficients de caractéristique 0, donc non seulement à l'homologie de Betti (comme Nori lui-même avait fait) mais aussi, par exemple, aux cohomologies l-adiques, p-adique ou motivique.
Le caractère très constructif de la définition permet de montrer que les catégories abéliennes de motifs mixtes associées à différents foncteurs (co)homologiques sont équivalentes si et seulement si une famille bien précise (de nature logique) de propriétés explicites est vérifiée identiquement par ces foncteurs. Le double problème de l'existence d'une théorie cohomologique universelle et de l'équivalence entre les informations renfermées dans les différents foncteurs cohomologiques classiques est donc réduit à la vérification que ces propriétés explicites sont communes à ces foncteurs.
Le cours s'attachera en particulier à rendre familiers un langage et quelques résultats de logique catégorique qui ne sont généralement pas connus des géomètres algébristes.
Il s'agit d'exposer un travail (http://arxiv.org/abs/1506.06113) cosigné avec Luca Barbieri-Viale et Olivia Caramello et essentiellement réalisé par cette dernière à partir d'une question initiale posée par le premier.
Le cours aura pour but d'expliquer une nouvelle construction, basée sur la logique catégorique, de la catégorie abélienne Q-linéaire de motifs mixtes que Nori a associée à tout foncteur cohomologique ou homologique à valeurs dans les Q-espaces vectoriels de dimension finie.
Cette nouvelle construction garde un sens pour les espaces vectoriels de dimension infinie, si bien qu'elle permet d'associer une catégorie Q-linéaire de motifs mixtes à tout foncteur (co)homologue à coefficients de caractéristique 0, donc non seulement à l'homologie de Betti (comme Nori lui-même avait fait) mais aussi, par exemple, aux cohomologies l-adiques, p-adique ou motivique.
Le caractère très constructif de la définition permet de montrer que les catégories abéliennes de motifs mixtes associées à différents foncteurs (co)homologiques sont équivalentes si et seulement si une famille bien précise (de nature logique) de propriétés explicites est vérifiée identiquement par ces foncteurs. Le double problème de l'existence d'une théorie cohomologique universelle et de l'équivalence entre les informations renfermées dans les différents foncteurs cohomologiques classiques est donc réduit à la vérification que ces propriétés explicites sont communes à ces foncteurs.
Le cours s'attachera en particulier à rendre familiers un langage et quelques résultats de logique catégorique qui ne sont généralement pas connus des géomètres algébristes.
Ajoutée le 3 déc. 2015 A la fin des années 90, les liens entre transport optimal, entropie et courbure de Ricci étaient mis au jour (Jordan-Kinderlehrer-Otto, Otto-Villani); quelques années plus tard, ce liens étaient exploités pour démarrer l'étude systématique du "point de vue synthétique" de la courbure de Ricci (Lott-Sturm-Villani), un domaine en progression constante depuis lors. La résolution récente de plusieurs questions ouvertes majeures suggère que le moment est venu de faire un bilan; c'est l'objectif de ce cours. On y trouvera notamment une nouvelle preuve du théorème d'isopérimétrie de Lévy-Gromov (Cavalletti-Mondino).
A la fin des années 90, les liens entre transport optimal, entropie et courbure de Ricci étaient mis au jour (Jordan-Kinderlehrer-Otto, Otto-Villani); quelques années plus tard, ce liens étaient exploités pour démarrer l'étude systématique du "point de vue synthétique" de la courbure de Ricci (Lott-Sturm-Villani), un domaine en progression constante depuis lors. La résolution récente de plusieurs questions ouvertes majeures suggère que le moment est venu de faire un bilan; c'est l'objectif de ce cours. On y trouvera notamment une nouvelle preuve du théorème d'isopérimétrie de Lévy-Gromov (Cavalletti-Mondino).
A la fin des années 90, les liens entre transport optimal, entropie et courbure de Ricci étaient mis au jour (Jordan-Kinderlehrer-Otto, Otto-Villani); quelques années plus tard, ce liens étaient exploités pour démarrer l'étude systématique du "point de vue synthétique" de la courbure de Ricci (Lott-Sturm-Villani), un domaine en progression constante depuis lors. La résolution récente de plusieurs questions ouvertes majeures suggère que le moment est venu de faire un bilan; c'est l'objectif de ce cours. On y trouvera notamment une nouvelle preuve du théorème d'isopérimétrie de Lévy-Gromov (Cavalletti-Mondino).
A la fin des années 90, les liens entre transport optimal, entropie et courbure de Ricci étaient mis au jour (Jordan-Kinderlehrer-Otto, Otto-Villani); quelques années plus tard, ce liens étaient exploités pour démarrer l'étude systématique du "point de vue synthétique" de la courbure de Ricci (Lott-Sturm-Villani), un domaine en progression constante depuis lors. La résolution récente de plusieurs questions ouvertes majeures suggère que le moment est venu de faire un bilan; c'est l'objectif de ce cours. On y trouvera notamment une nouvelle preuve du théorème d'isopérimétrie de Lévy-Gromov (Cavalletti-Mondino).
Il s'agit d'exposer un travail (http://arxiv.org/abs/1506.06113) cosigné avec Luca Barbieri-Viale et Olivia Caramello et essentiellement réalisé par cette dernière à partir d'une question initiale posée par le premier.
Le cours aura pour but d'expliquer une nouvelle construction, basée sur la logique catégorique, de la catégorie abélienne Q-linéaire de motifs mixtes que Nori a associée à tout foncteur cohomologique ou homologique à valeurs dans les Q-espaces vectoriels de dimension finie.
Cette nouvelle construction garde un sens pour les espaces vectoriels de dimension infinie, si bien qu'elle permet d'associer une catégorie Q-linéaire de motifs mixtes à tout foncteur (co)homologue à coefficients de caractéristique 0, donc non seulement à l'homologie de Betti (comme Nori lui-même avait fait) mais aussi, par exemple, aux cohomologies l-adiques, p-adique ou motivique.
Le caractère très constructif de la définition permet de montrer que les catégories abéliennes de motifs mixtes associées à différents foncteurs (co)homologiques sont équivalentes si et seulement si une famille bien précise (de nature logique) de propriétés explicites est vérifiée identiquement par ces foncteurs. Le double problème de l'existence d'une théorie cohomologique universelle et de l'équivalence entre les informations renfermées dans les différents foncteurs cohomologiques classiques est donc réduit à la vérification que ces propriétés explicites sont communes à ces foncteurs.
Le cours s'attachera en particulier à rendre familiers un langage et quelques résultats de logique catégorique qui ne sont généralement pas connus des géomètres algébristes.
A la fin des années 90, les liens entre transport optimal, entropie et courbure de Ricci étaient mis au jour (Jordan-Kinderlehrer-Otto, Otto-Villani); quelques années plus tard, ce liens étaient exploités pour démarrer l'étude systématique du "point de vue synthétique" de la courbure de Ricci (Lott-Sturm-Villani), un domaine en progression constante depuis lors. La résolution récente de plusieurs questions ouvertes majeures suggère que le moment est venu de faire un bilan; c'est l'objectif de ce cours. On y trouvera notamment une nouvelle preuve du théorème d'isopérimétrie de Lévy-Gromov (Cavalletti-Mondino).
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities:
- Chapter markers and keywords to watch the parts of your choice in the video
- Videos enriched with abstracts, bibliographies, Mathematics Subject Classification
- Multi-criteria search by author, title, tags, mathematical area
Soit k un corps fini à q éléments. On s'intéresse aux Frobenius des variétés abéliennes sur k de dimension tendant vers l'infini. Chacune donne une mesure discrète sur le segment I=[−2q√,2q√]. On désire décrire les mesures sur I qui sont des limites de celles-là. On verra qu'une telle mesure se décompose en somme d'une partie discrète évidente et d'une partie continue non évidente (son support peut être, par exemple, un ensemble de Cantor). Ingrédients: la notion de capacité logarithmique et les résultats de R.M. Robinson sur les entiers algébriques totalement réels.
Recording during the thematic meeting: "Frobenius distributions on curves" the February 25, 2014 at the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities:
- Chapter markers and keywords to watch the parts of your choice in the video
- Videos enriched with abstracts, bibliographies, Mathematics Subject Classification
- Multi-criteria search by author, title, tags, mathematical area
The Galois groups of the title are those which are associated with elliptic curves over number fields; I shall explain the methods which were introduced in the 1960's in order to prove that they are large, and the questions about them which are still open fifty years later.
Recording during the thematic meeting: "Heights, modularity, transcendence " the May 12, 2014 at the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent