4 citations · 6 across the 9 of their papers we have counts for
10 papers
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…
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…
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,…
A quotient of the Lubin-Tate tower
Judith Ludwig
In this article we show that the quotient of the Lubin-Tate space at infinite level by the Borel subgroup of upper triangular matrices in GL(2,Q_p) exists as a perfectoid space. As…
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…
L-Indistinguishability on Eigenvarieties
Judith Ludwig
In this article we construct examples of L-indistinguishable overconvergent eigenforms for an inner form of SL(2).
A p-adic Labesse-Langlands transfer
Judith Ludwig
We prove a p-adic Labesse-Langlands transfer from the group of units in a definite quaternion algebra to its subgroup of norm one elements. More precisely, given an eigenvariety fo…
p-adic functoriality for inner forms of unitary groups in three variables
Judith Ludwig
We prove p-adic functoriality for inner forms of unitary groups in three variables by establishing the existence of morphisms between eigenvarieties that extend the classical Langl…