Colloque - Formalisation des mathématiques et types dépendants - Antoine Chambert-Loir : Sur la formalisation des puissances divisées

Épisode de Informatique et sciences numériques (2024-2025) - Thierry Coquand par Collège de France · 2 juin 2025 · 45 min

Collège de France

Thierry Coquand

Informatique et sciences numériques (2024-2025)

Année 2024-2025

Colloque - Formalisation des mathématiques et types dépendants - Antoine Chambert-Loir : Sur la formalisation des puissances divisées

Antoine Chambert-Loir

Professeur, université Paris Cité

Résumé

Je ferai le point sur un travail de formalisation de la théorie des puissances divisées que je mène avec María-Inés de Frutos Fernández. Découvert par Cartan dans un contexte de topologie algébrique, cet outil algébrique a été développé dans les années 60 par Roby et est au cœur de la construction de la cohomologie cristalline. J'évoquerai en particulier la construction des puissances divisées sur l'idéal d'augmentation de l'algèbre à puissances divisées.

Antoine Chambert-Loir

Les travaux de recherche d'Antoine Chambert-Loir s'inscrivent le plus souvent en géométrie diophantienne (question de Manin sur les points de hauteur bornée) et en géométrie non archimédienne (construction d'une théorie de formes différentielles et courants réels). Depuis 2021, il s'intéresse à la formalisation mathématique, en concentrant son attention sur des résultats peu spectaculaires au premier abord, comme la théorie des actions de groupes ou celle des puissances divisées.

Autres épisodes de « Informatique et sciences numériques (2024-2025) - Thierry Coquand »

À propos du podcast

Informatique et sciences numériques (2024-2025) Thierry Coquand Année 2024-2025 Chaire annuelle Présentation de la chaire Créée en partenariat avec Inria, la chaire annuelle Informatique et sciences numériques marque une volonté commune de faire valoir l'importance de cette discipline scientifique…

Informatique et sciences numériques (2024-2025) - Thierry Coquand

Épisodes similaires

2026-04 V2 PINS.mp4 – Lille.Pod
Episode #16 Jordan Marion - L'école d'astrologie – Pour l’Amour du Ciel
E116 - Why You Understand French but Can't Speak It – Intermediate French Podcast - Ta vie en français
La guillotine : un progrès social ? # Révolution française 🇫🇷 DELF A2 / B1 - French intermediate level - Compréhension orale – Escargot - News & Culture in Simple French
André Malraux – La base
(133) L’amour ne suffit pas ! Comment bien se disputer en couple (avec Sandy Kaufmann) – J'ai peur, donc j'y vais

Tous les épisodes de Informatique et sciences numériques (2024-2025) - Thierry Coquand · Plus de podcasts Éducation