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

Recherche – Enseignement – Divers

Opposé à la réforme des retraites et à la loi française de programmation pluriannuelle de la recherche par solidarité avec tou.te.s les travailleur.se.s en lutte, je rejoins la mobilisation en cours dans l’enseignement supérieur et la recherche, ainsi que l’appel des travailleuses et travailleurs du numérique.

I am opposed to the French pension reform and the French pluri-annual programming Law for Research. As such and in solidarity with all workers struggling, I join join the ongoing mobilization in Higher Education and Research as well as the Digital Workers Call.

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

October 13, 2023: A combinatorial proof of the Newton identities
August 4, 2023: On soccer balls
July 6, 2023: Electrostatics and rationality of power series
February, 17th, 2023: Associated prime ideals
January, 1st, 2023: The Klein group, the centralizer of a permutation, and its relation with the alternating group
December, 11st, 2022: Multiplicative square roots
November, 1st, 2022: #Mathober 2022
September, 13th, 2022: Yet another post on simplicity
December, 21st, 2021: The very simple proof that the alternating group on 5 letters (or more) is simple
December, 13th, 2021: Not simple proofs of simplicity
April, 22nd, 2021: Growth of the Gaussian pivoting algorithm
April, 2nd, 2021: On the Hadamard-Lévy theorem, or is it Banach-Mazur?
March, 27th, 2021: The Fermat–Lévy constant
February, 24th, 2021: Transcendence properties of the Painlevé and Schwarzian differential equations

→Publications (arXiv)

Livres / Books

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 book below. Introductory book on information theory: entropy, coding, sampling.
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.
(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 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].
Version anglaise : 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]
Les conjectures de Weil : origines, approches, généralisations, Séminaire Bourbaki du vendredi, vendredi 18 novembre 2022. [PDF] [arXiv:2211.14254]
Recension de Récoltes et semailles, I, II. Réflexions et témoignage sur un passé de mathématicien, A. Grothendieck, Gallimard, coll. Tel, 2022. Gazette de la société mathématique de France n° 174, octobre 2022. [PDF]
À propos de deux exercices d’olympiades – Petite promenade en théorie des nombres, Quadrature, 123, 2022.
La conjecture de Mordell : origines, approches, généralisations, Séminaire Betty B. 2021/2022, 1^er octobre 2021. [arXiv:2110.00515] [PDF]
De la régularité dans le désordre, La Recherche, 563, novembre 2020–janvier 2021, lien vers le journal
Le théorème de réduction stable de Deligne et Mumford, Séminaire Betty B., 2018/2019, exposé 7, janvier 2019, arXiv:1904.0760
Arakelov geometry, heights, equidistribution, and the Bogomolov conjecture. In: Peyre E., Rémond G. (eds) Arakelov Geometry and Diophantine Applications. Lecture Notes in Mathematics, vol 2276. Springer, Cham, 2021. doi:10.1007/978-3-030-57559-5_8. arXiv:1905.05630
Quand la géométrie devient tropicale, Pour la Science, n°492, octobre 2018, p. 26–33. [PDF]
(avec Antoine Ducros) Formes différentielles réelles et courants sur les espaces de Berkovich, arXiv:1204.6277.
→Tous les articles / All papers

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

Lean for the curious mathematician/Lean pour mathématiciens, États de la Recherche SMF, 25–29 Mars, 2024. CIRM, Luminy (France)
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., 1^er 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 JC²A, 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

→Étudiants / Students

Recherche – Enseignement – Divers

Préparation à l'agrégation externe de mathématiques, cours, préparation à l'écrit et l'oral, coordination
Qu'est-ce qu'un nombre ? (avec Olivier Martin). Licence METIS, 1^re année. (Mercredi, 14h15–16h15, SG/1015)
Démonstrer avec un ordinateur, travaux pratiques (avec Riccardo Brasca). Licence, 1^re année. (Mardi, 13h30–15h30, SG/2006)
Cohomologie des faisceaux cohérents et applications. Master maths fondamentales, 2^e année, second semestre.

Lundi, 9h15–11h15, Halle aux farines, 379F
Jeudi, 9h–11h, Olympe de Gouges, 255

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