3 papers
math.NT2025
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.AG2018
A quotient of the Lubin-Tate tower II
Christian Johansson, Judith Ludwig, David Hansen
In this article we construct the quotient M_1/P(K) of the infinite-level Lubin-Tate space M_1 by the parabolic subgroup P(K) of GL(n,K) of block form (n-1,1) as a perfectoid space,…
math.NT2016
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…