4 papers · 1 filter
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…
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…
Real quadratic singular moduli and -adic families of modular forms
Paulina Fust, Judith Ludwig, Alice Pozzi +2
The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no…
On endoscopic p-adic automorphic forms for SL(2)
Judith Ludwig
We show the existence of some non-classical cohomological p-adic automorphic eigenforms for SL(2) using endoscopy and the geometry of eigenvarieties. These forms seem to account fo…