other
small notes
- 2024: Introduction to nilpotent Artin-Schreier theory
- 2024: Introduction to algebraic patching
- 2024: Extension de morphismes
- 2024: It’s hard to do better than rigidity: unpublished note
- 2023: Covers and rigidity in inverse Galois theory
- 2023: Wikipedia article on Hurwitz spaces
- 2022: A categorical view on splitting phenomena
- 2022: Proof of a small algebraic lemma
- 2020: Un plongement \(\mathcal{C} \to \mathcal{D}\) induit un plongement \(\mathrm{Psh}(\mathcal{C}) \to \mathrm{Psh}(\mathcal{D})\) par extension de Yoneda
- 2019: Lifting morphisms with the power of choice
- 2019: Solution à un problème d’arithmétique croisé dans un journal grand public (L’Essentiel, numéro du 24/07/2019, p. 12) ; voir aussi une correction plus élégante par Phil Caldero
- 2018: Investigations sur la taille minimale des superpermutations. Je n’ai pas battu la meilleure borne connue, lisez plutôt ceci, ceci ou cela.
J’ai aussi quelques bricoles qui traînent sur le site du Département de Mathématiques Inapplicables.
written as a student
- 2019: Introduction au domaine de recherche : les représentations galoisiennes
- 2019: Les déformations des représentations galoisiennes : mémoire de master, encadré par X. Caruso (révisé en 2024)
- 2018: Filtration-preserving isomorphisms between absolute Galois groups of \(p\)-adic fields are geometric : rapport de stage de M1, autour de cet article de S. Mochizuki, encadré par T. Szamuely
- 2017: Réarrangement en optimisation de forme : mémoire de license, écrit avec Y. D. Lu, encadré par V. Bonnaillie-Noël
- 2017: Problème du mot, algorithme de Buchberger et bases de Gröbner : petit texte écrit dans le cadre du cours d’Algèbre 1 d’A. Mézard (il s’agit de ma contribution, extraite d’un travail de groupe)
Rare photo de moi en train de lire SGA (photo prise dans les Vosges par Garance)
teaching material
- 2020: Cours aux Ernest - Théorie de la démonstration
paramathematical
- 2024: TeX2Unicode — A script that turns (pseudo-)LaTeX code into text, suitable for mails or tweets
- 2021: Seven Trees in One — A mathematical game inspired by Andreas Blass’s article
- 2020: The Quest To Beat Fermat — A short video in the style of “Summoning Salt”, about the proof of Fermat’s Last Theorem
- 2020: Les catégories modèles — paroles d’une chanson-présentation chantée sur Zoom devant le DMA pendant le confinement
misc
- Check out my microtonal tunes! (More to come)
- Video version of a strange dream I had (2022)
- LaTeX version of two hard-to-find papers by Fontaine and Wintenberger (Le « corps des normes » de certaines extensions algébriques de corps locaux and Extensions algébriques et corps des normes des extensions APF des corps locaux) (2023)
- Archives