30 citations · 135 across the 18 of their papers we have counts for
20 papers
Un experimento de demostración formal de un teorema de nivel intermedio en álgebra (Formalizing the proof of an intermediate-level algebra theorem -- An experiment)
Antoine Chambert-Loir
Proof assistants are computer softwares that allow us to write mathematical proofs so as to assess their correctness. In November 2021, I started the project of checking the simpli…
Burnside rings and volume forms with logarithmic poles
Antoine Chambert-Loir, Maxim Kontsevich, Yuri Tschinkel
We develop a theory of Burnside rings in the context of birational equivalences of algebraic varieties equipped with logarithmic volume forms. We introduce a residue homomorphism a…
Arakelov geometry, heights, equidistribution, and the Bogomolov conjecture
Antoine Chambert-Loir
This is an introduction to the topics of the title, from the 2017 Grenoble Summer school on Arakelov geometry and arithmetic applications. We review Arithmetic intersection numbers…
A non-archimedean Ax-Lindemann theorem
Antoine Chambert-Loir, François Loeser
We prove a statement of Ax-Lindemann type for the uniformization of products of Mumford curves whose associated fundamental groups are non-abelian Schottky subgroups of $\mathop{\r…
Motivic height zeta functions
Antoine Chambert-Loir, François Loeser
Let be a projective smooth connected curve over an algebraically closed field of characteristic zero, let be its field of functions, let be a dense open subset of …
Diophantine Geometry and Analytic Spaces
Antoine Chambert-Loir
This text is the write-up of a talk at the Bellairs Workshop in Number Theory on Tropical and Non-Archimedean Geometry that took place at the Bellairs Research Institute, Barbados,…