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
This is a blog about math (mainly), computer tricks (sometimes) and jazz music. Have fun and don't hesitate to post comments!
- 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
- January 11, 2025
- On numbers and unicorns
- September 13, 2024
- The combinatorial Nullstellensatz
- August 12, 2024
- Combinatorics of partitions
- July 20, 2024
- Number theory and finite automata
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 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
[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
- Bourbaki, nouvelles archives, nouvelles approches, 26-30 janvier 2026, CIRM, Luminy
- 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).
- 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]
- Alexandre Grothendieck, un génie singulier, conférence grand public à la librairie—restaurant “L'arbre vagabond”, Le Chambon-sur-Lignon, 30 juin 2024. [PDF] [HTML] [MarkDown]
- Rationality and potential, MPS Conference on Arithmetic Geometry, Group Actions and Rationality Problems, Simons Foundation, 29–31 May 2024. [PDF]
- De Galois à Iwasawa, en passant par Jordan, Colloquium de l'institut de mathématiques de Bordeaux, 16 mai 2024
- Lean for the curious mathematician/Lean pour mathématiciens,
États de la Recherche SMF,
25–29 Mars, 2024. CIRM, Luminy (France)
- Naissance et croissance d'un texte de Bourbaki. L'exemple de la Topologia Bourbachica. Journée d'ouverture du projet ANR Banana, 25 janvier 2024. [PDF]
- Simplicité, Des mathématiques, ÉNS, 22 novembre 2023
- Simplicité des groupes — une expérience incomplète de formalisation, Séminaire formath, IRIF, Université Paris Cité, 13 novembre 2023 [PDF]
- Invariants birationnels en présence de formes-volume, SAGA, Université Paris-Saclay, 7 novembre 2023
- What do we expect of a proof? --- The example of the simplicity of the alternating group., Quinzième colloque français de philosophie des mathématiques, 18—20 octobre 2023.
Universités Paris 1 Panthéon–Sorbonne et Paris–Cité.
[PDF]
- Machine-Checked Mathematics, 10-14 July 2023, Lorentz Center@Oort (Leiden, Netherlands)
-
Simplicity — Group actions and proof formalization,
Mini symposium on the occasion of the inaugural lecture
of Pr. Dr. Assia Mahboubi at VU Amsterdam, 26 april 2023.
[Slides]
-
Simplicité --- compte rendu d'expérience en formalisation de preuves,
Colloquium mathématique de Caen, 25 novembre 2022.
[Vignettes]
- Les conjectures de Weil : origines, approches, généralisations,
Séminaire Bourbaki du vendredi, vendredi 18 novembre 2022.
[PDF]
- Intégration p-adique, intégration motivique, invariants birationnels et théorie des représentations, exposé au séminaire Groupes et représentations, 11 mars 2022.
- La conjecture de Mordell : origines, approches, généralisations, Séminaire Betty B., 1er octobre 2021. [arXiv:2110.00515]
- Tame topology in number theory and geometry, 10th swiss-french workshop in Algebraic Geometry, 20–24 septembre 2021, Charmey (Suisse). Notes (état instable)
- École d'été du GDR JC2A, 23—27 août 2021, Université de Paris
- Festival d'astronomie de Fleurance, 6—13 août 2021, Fleurance (Gers, France). 1) « Comment les mathématiciens sont-ils si sûrs d'eux ? », Marathon des scicnces ; 2) « Aventures humaines en mathématiques », Conférences de la nuit ; 3) « 1, 2, 3 ; A, B, C… », Fil noir ; 4) « Formes modulaires et théorème de Fermat », Fil noir ; 5) Sur le banc du temps qui passe
- Diophantine equations : from geometry to algebra… to geometry, Mathematical Summer in Paris 2021, 5–7 July 2021. [Video] [Slides] [Problems].
- From complex function theory to non-archimedean spaces — a number theoretical thread, Number theory web seminar, June 2nd, 2021
- Discerner un peu d'ordre dans un très grand désordre, Séminaire de l'Irem, 12 mai 2021. [Vidéo]
- Combinatoire et géométrie algébrique, Réga, 16 décembre 2020
- Differential forms and currents on Berkovich spaces, Valuation theory seminar,
Decidability, definability and computability in number theory, MSRI,
December 2, 2020. [Vidéo] [PDF]
- →Plus d'exposés / More talks
Cours 2025-2026
- Préparation à l'agrégation externe de mathématiques,
cours, préparation à l'écrit et l'oral, coordination
- Logique,
cours, master, 1re année
- Qu'est-ce qu'un nombre ? (avec Olivier Martin). Licence METIS, 1re année.
-
Géométrie o-minimale, logique, arithmétique, géométrie.. Master maths fondamentales, 2e année, second semestre.
Antoine Chambert-Loir—
Dernière mise à jour :