3 papers
math.NT2026
Formalising the Bruhat-Tits Tree
Judith Ludwig, Christian Merten
In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting…
math.NT2024
Spectral theory and the Eigenvariety machine
Judith Ludwig
These are extended lecture notes for a mini course at the Spring School on Non-Archimedean Geometry and Eigenvarieties held at Heidelberg University in March 2023. The goal of the…
math.NT2024
Endoscopy on -eigenvarieties
Christian Johansson, Judith Ludwig
In this paper, we study p-adic endoscopy on eigenvarieties for over totally real fields, taking a geometric perspective. We show that non-automorphic members of end…