Béranger Seguin
Since September 2023, I am a postdoc in the Arbeitsgruppe Computeralgebra und Zahlentheorie at the University of Paderborn, Germany.
I specialize in arithmetic geometry and number theory, and especially around questions of arithmetic statistics. You can learn more about my research on the dedicated page. Additionally, I have interest in writing formalized proofs.
In July 2023, I obtained a PhD in mathematics from the Université de Lille, supervised by Pierre Dèbes and Ariane Mézard. That work focuses around the geometry and arithmetic of connected components of Hurwitz spaces. You can read the manuscript or see the slides for the defense.
news
| Mar 16, 2026 | New preprint! This one is about a quantitative “local-global principle” for the number of p-extensions of rational function fields in characteristic p, in nilpotency class ≤ 2, ordered by largest upper ramification break. The paper vastly simplifies our previous proof, making the argument more stand-alone, and avoiding the exclusion of the prime 2. I am quite happy about the outcome, as I now understand why the result holds much better. Working on generalizations is of course my next goal… |
|---|---|
| Feb 22, 2026 | Vous pouvez m’écouter parler de la théorie d’Artin—Schreier (ou, si l’entrée vous suffit, résoudre les équations du second degré en caractéristique 2) sur la chaîne YouTube de Philippe Caldero ! |
| Jan 31, 2026 | Vous pouvez m’écouter parler de cohomologie des groupes, d’extensions, et de relèvement de morphismes sur la chaîne YouTube de Philippe Caldero ! |
| Dec 05, 2025 | I have formalized (see here) some of the main results of Flimsy Spaces in Lean 4. Pour les francophones, vous trouverez aussi une petite présentation vidéo d’une des preuves de l’article. |