Antoine Chambert-Loir

Professeur, université Paris Cité (ex université de Paris, ex université Paris-Diderot, ex Paris 7)
UFR de mathématiques
Institut de mathématiques de Jussieu—Paris Rive Gauche (équipe de topologie et géométrie algébriques)
Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris
Courriel : antoine.chambert-loir @ math.univ-paris-diderot.fr
Mastodon : antoinechambertloir@mathstodon.xyz
Bureau : 7035 (localisation, plan général)
ORCID iD icon

orcid.org/0000-0001-8485-7711

Blog – Enseignement – Recherche – Divers

Je suis membre de l'Association for Human Mathematics qui considère que les outils d'IA sont une menace pour l'équilibre de la communauté mathématique.

J'ai signé le manifeste affirmant mon objection de conscience face au déploiement des technologies d’IA générative (IAg).

→ Freedom Math Dance

This is a blog about math (mainly), computer tricks (sometimes) and jazz music. Have fun and don't hesitate to post comments!

April 13, 2026: On the theorem of Gelfand–Mazur [PDF]
February 18, 2026: Joyal's proof of Cayley's formula for the enumeration of trees [PDF]
February 13, 2026: Associated prime ideals and regular elements in polynomial rings [PDF]
November 30, 2025: The determinant of transvections (an update)
November 6, 2025: The determinant of transvections
September 6, 2025: The two adjunctions of the preimage [PDF]
July 14th, 2025: The Krull dimension of the semiring of natural numbers is equal to 2
July 2nd, 2025: Autoformalization of mathematical theorems? No shit!
April 25, 2025: Yet another proof of the Weierstrass approximation theorem
April 25, 2025: Yet another proof of the inequality between the arithmetic and the geometric means
March 29, 2025: A simple proof of a theorem of Kronecker

Blog – Recherche – Enseignement – Divers

Année 2026-2027

Théorie de l'information, cours et travaux dirigés, master MIC, 1^re année
Logique, cours, master, 1^re année
Introduction à la géométrie algébrique (avec Mathilde Herblot), cours et travaux dirigés, master enseignants, 2^e année
Préparation à l'agrégation externe de mathématiques, préparation à l'oral
Qu'est-ce qu'un nombre ? (avec Olivier Beraud Martin). Licence METIS, 1^re année.

→ Cours des années antérieures

Blog – Enseignement – Recherche – Divers

→ Liste de toutes mes publications

→ Prépublications : arXiv (atom), HAL

Livres / Books

Théorie de l'information — Trois théorèmes de Claude Shannon, Collection Nano, Calvage & Mounet, 2022 (224 p.) — ISBN:978-2-493230-00-3
Livre d'introduction à la théorie de l'information: entropie, codage, échantillonage.
Information Theory: Three Theorems by Claude Shannon, UNITEXT 144, Springer, Cham, 2023 (xii + 209 p.) — doi:10.1007/978-3-031-21561-2, ISBN:978-3-031-21560-5
English Translation of the above book: Introductory book on information theory: entropy, coding, sampling.
Θεωρία πληροφορίας Τρία θεωρήματα του Claude Shannon, Ευρυαλοσ - Απολλων, 2023 (216~σ.) — ISBN:978-9-607-10410-6
Ελληνική μετάφραση του παραπάνω βιβλίου: Εισαγωγικό βιβλίο στη θεωρία της πληροφορίας: εντροπία, κωδικοποίηση, δειγματοληψία.

(Mostly) Commutative Algebra - Book cover

(Mostly) commutative algebra, Universitext, 2021 (xv + 466 p.) — doi:10.1007/978-3-030-61595-6, ISBN:978-3-030-61595-6
This is a book on commutative algebra, that makes a bridge between the undergraduate and graduate levels.

(avec Johannes Nicaise et Julien Sebag) Motivic integration, Progress in Mathematics, volume 325, Birkhäuser, 2018 (prix Ferran Sunyer i Balaguer 2017) (doi:10.1007/978-1-4939-7887-8)
A research monograph about the motivic integration of Kontsevich, Denef–Loeser, Sebag, from its foundations to its applications.

→ Errata

Articles récents / Recent papers

(avec María-Inés de Frutos-Fernández) « Formalizing Polynomial Laws and the Universal Divided Power Algebra ». 15th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '26), 2026, Rennes, France. p. 75–87. [arXiv:2512.05750] [DOI:10.1145/3779031.3779108] [PDF]
(avec Antoine Ducros) Formes différentielles réelles et courants sur les espaces de Berkovich, [PDF] [arXiv:1204.6277.
« Les assistants de preuve ou la vérité mathématique », La Recherche 582, juillet-septembre 2025 [Journal]
(avec María-Inés de Frutos-Fernández) « A formalization of divided powers in Lean ». LIPIcs 352, 16th International Conference on Interactive Theorem Proving (2025, Reykjavik, Iceland), 2025. [arXiv:2507.05327] [PDF] [DOI:10.4230/LIPIcs.ITP.2025.4]
« La logique continue des corps globalement valués ». Séminaire Bourbaki (2024-25), exposé 1042. Astérisque 462, p. 453-494, 2026. [DOI] [arXiv:2506.20120] [PDF]
Balade newtonienne entre analyse et arithmétique, Journées X-UPS 2023, 20—21 avril 2023. [Mersenne] [PDF] [arXiv:2312.03380] [10.5802/xups.2023-01]
(avec Camille Noûs) Potentiel et rationalité [PDF] [arXiv:2305.17210]
Un experimento de demostración formal de un teorema de nivel intermedio en álgebra, La Gaceta de la RSME, Vol. 26 (2023), Núm. 3, Págs. 535–553. [PDF].
English version: Formalizing the proof of an intermediate-level algebra theorem—An experiment [PDF] [arXiv:2303.12404]
(with Maxim Kontsevich and Yuri Tschinkel) Burnside rings and volume forms with logarithmic poles, Pure and applied mathematics Quarterly 22 (2), 2026, p. 521–554. [DOI] [PDF] [arXiv:2301.02899]
→ Tous les articles / All papers

Exposés et conférences (plus ou moins) récents / Recent (and not so recent) talks or conferences

Faire des mathématiques formalisées ?, École Thématique XIII 2026, Mathématiques et philosophie contemporaines, Saint Ferréol, 22–26 juin 2026. (fichier Lean que l'on peut charger dans le compilateur en ligne)
“What is a mathematical library?”, Formalization and Architecture of Mathematics, Paris-Chicago Conferences in the Philosophy of Logic and Mathematics, 4-5 June 2026, University of Chicago Paris Center, Paris. [PDF]
« Retour d’expériences en mathématiques formalisées », Séminaire Réflexions, 20 mars 2026, Institut Élie Cartan de Lorraine, Nancy. [PDF]
« Alexandre Grothendieck, Itinéraire singulier d'un mathématicien incomparable », 5 mars 2026, Cercle Paul Ricœur, Lorient. [PDF]
« La topologie, si elle n'est générale, doit-elle être algébrique ou combinatoire ? », Bourbaki, nouvelles archives, nouvelles approches, 26-30 janvier 2026, CIRM, Luminy. [PDF]
(with María-Inés de Frutos Fernández) Formalizing polynomial laws and the universal divided power algebra, Certified Programs and Proofs (CPP) 2026, 12-13 janvier 2026, Rennes, France. [PDF] [Slides]
Potentiel et rationalité, Séminaire de théorie des nombres de l'IMJ-PRG, 1^er décembre 2025, Paris. [Vignettes]
Histoire des mathématiques, Philosophie des mathématiques, et mathématiques: quelles interactions?, 24–28 novembre 2025, CIRM, Luminy
Mechanization and Mathematical Research, 15-19 septembre 2025, Lorentz Center, Leiden
2025 Workshop on Lean, Simons Foundation (organized with Alex Kontorovich and Heather Macbeth).
- Doing elementary number theory in Lean (two talks). [PDF] [video, 1/2] [video, 2/2]
- A crash course on type theory. [PDF] [video]
- Simple groups. [PDF] [video]
La logique continue des corps globalement valués, Séminaire Bourbaki, 14 juin 2025
Sur la formalisation des puissances divisées, Colloque Formalisation des mathématiques et types dépendants, Collège de France, 2 juin 2025. [PDF] [YouTube]
Continuité des intégrales-fibre en géométrie analytique non archimédienne, Séminaire Géométrie et théorie des modèles, 16 mai 2025
Intersection theory and heights: a birational perspective, Arithmetic, Algebraic and Analytics Dynamics, 20-24 janvier 2025, CIRM, Luminy. [video]
Rationality and potential, Séminaire différentiel, Université de Versailles Saint-Quentin-en-Yvelines, 12 novembre 2024. [PDF]
→Plus d'exposés / More talks

→Étudiants / Students

→Exposés et travaux de diffusion

Blog – Recherche – Enseignement – Divers

Une compilation de fils musicaux sur les réseaux sociaux Twitter puis Mastodon.
Voulez-vous savoir pourquoi les universités françaises étaient en grève en 2009 ?
Une année à Princeton, blog familial, essentiellement non professionnel.
Erdős project. Mon nombre d'Erdős est 4 : ACL — Loeser — Christol — Rauzy — Erdős. Bizarrement, MathSciNet fournit un autre chemin pour le retour : Erdős — Chung — S-T Yau — ACL.

Antoine Chambert-Loir— Dernière mise à jour :