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.org/0000-0001-8485-7711

Recherche – Enseignement – Divers

→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!

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

→Publications (arXiv)

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, 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. [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, à paraître. [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

• « 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

Recherche – Enseignement – Divers

Cours 2025-2026

• Préparation à l'agrégation externe de mathématiques, cours, préparation à l'écrit et l'oral, coordination
• Logique, cours, master, 1^re année
• Qu'est-ce qu'un nombre ? (avec Olivier Martin). Licence METIS, 1^re année.
• Géométrie o-minimale, logique, arithmétique, géométrie, Master maths fondamentales, 2^e année, second semestre.

→Cours des années antérieures

→Exposés et travaux de diffusion

Recherche – Enseignement – Divers

• 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 :