arXiv subjects

David Loeffler

Publications and source records attributed to David Loeffler.

At least 19 recordsLinked to original sources

arXiv2026

A universal Euler system for GSp(4)

In our earlier work with Christopher Skinner (J. Eur. Math. Soc 24 (2022), no. 2; DOI 10.4171/JEMS/1124; Arxiv 1706.00201), we constructed Euler systems for the 4-dimensional spin Galois representations corresponding to automorphic forms for GSp(4). This construction depended on various arbitrary choices of local test data. In this paper, we use multiplicity-one results for smooth representations to determine how these Euler system classes depend on the choice of test data, showing that all of these classes lie in a 1-dimensional space and are explicit multiples (given by local zeta-integrals) of a "universal" class independent of the choice of test data.

math.NT↗

arXiv2026

On the Bloch-Kato conjecture for GSp(4)

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

math.NT↗

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗

arXiv2026

P-adic Asai L-functions for quadratic Hilbert eigenforms

We construct p-adic Asai L-functions for cuspidal automorphic representations of GL2 / F, where F is a real quadratic field in which p splits. Our method relies on higher Hida theory for Hilbert modular surfaces with Iwahori level at one prime above p.

math.NT↗

arXiv2025

Ultra-Kolyvagin systems and non-ordinary Selmer groups

We develop a machine for bounding Selmer groups of Galois representations via Euler systems in "non-ordinary" settings, using Pottharst's definition of Selmer groups via Robba-ring $(φ, Γ)$-modules. Our approach relies on Sweeting's interpretation of Kolyvagin derivative classes via non-principal ultrafilters. We apply these results to prove new cases of the cyclotomic Iwasawa main conjecture for non-ordinary Rankin--Selberg convolutions.

math.NT↗

arXiv2025

P-adic L-functions for GL(3)

Let $Π$ be a regular algebraic cuspidal automorphic representation (RACAR) of $\mathrm{GL}_3(\mathbb{A}_{\mathbb{Q}})$. When $Π$ is $p$-nearly-ordinary for the maximal standard parabolic with Levi $\mathrm{GL}_1 \times \mathrm{GL}_2$, we construct a $p$-adic $L$-function for $Π$. More precisely, we construct a (single) bounded measure $L_p(Π)$ on $\mathbb{Z}_p^\times$ attached to $Π$, and show it interpolates all the critical values $L(Π\timesη,-j)$ at $p$ in the left-half of the critical strip for $Π$ (for varying $η$ and $j$). This proves conjectures of Coates-Perrin-Riou and Panchishkin in this case. We also prove a corresponding result in the right half of the critical strip, assuming near-ordinarity for the other maximal standard parabolic. Our construction uses the theory of spherical varieties to build a "Betti Euler system", a norm-compatible system of classes in the Betti cohomology of a locally symmetric space for $\mathrm{GL}_3$. We work in arbitrary cohomological weight, allow arbitrary ramification at $p$ along the Levi factor of the standard parabolic, and make no self-duality assumption. We thus give the first constructions of $p$-adic $L$-functions for RACARs of $\mathrm{GL}_n(\mathbb{A}_{\mathbb{Q}})$ of 'general type' (i.e., those that do not arise as functorial lifts) for any $n > 2$.

math.NT↗

arXiv2025

P-adic Rankin-Selberg L-functions in universal deformation families and functional equations

We construct a $p$-adic Rankin-Selberg $L$-function associated to the product of two families of modular forms, where the first is an ordinary (Hida) family, and the second an arbitrary universal-deformation family (without any ordinarity condition at $p$). This gives a function on a 4-dimensional base space - strictly larger than the ordinary eigenvariety, which is 3-dimensional in this case. We prove our $p$-adic $L$-function interpolates all critical values of the Rankin-Selberg $L$-functions for the classical specialisations of our family, and derive a functional equation for our $p$-adic $L$-function.

math.NT↗

arXiv2025

Formalizing zeta and L-functions in Lean

The Riemann zeta function, and more generally the L-functions of Dirichlet characters, are among the central objects of study in number theory. We report on a project to formalize the theory of these objects in Lean's "Mathlib" library, including a proof of Dirichlet's theorem on primes in arithmetic progressions and a formal statement of the Riemann hypothesis

math.NT↗

arXiv2025

The Asai--Flach Euler system in $p$-adic families

We show that the Euler system for the Asai representation corresponding to a Hilbert modular eigenform over a real quadratic field, constructed by Lei, Loeffler and Zerbes (2018), can be interpolated $p$-adically as the Hilbert modular form varies in a Hida family. This work is used as an important input in recent work of Grossi, Loeffler and Zerbes (2025) on the proof of the Bloch--Kato conjecture in analytic rank zero for the Asai representation.

math.NT↗

arXiv2025

Poles of p-adic Asai L-functions and distinguished representations

We give a criterion in terms of p-adic Asai L-functions for a cuspidal automorphic representation of GL(2) over a real quadratic field to be a distinguished representation, providing a p-adic counterpart of a well-known theorem of Flicker for the complex Asai L-function.

math.NT↗

arXiv2025

$p$-adic Asai and twisted triple product $L$-functions for finite slope families

We define a two-variable $p$-adic Asai $L$-function for a finite-slope family of Hilbert modular forms over a real quadratic field (with one component of the weight, and the cyclotomic twist variable, varying independently); and a two-variable ``twisted triple product'' $L$-function, interpolating the central $L$-value of the tensor product of such a family with a family of elliptic modular forms. The former construction generalizes a construction due to Grossi, Zerbes and the second author for ordinary families; the latter is a counterpart of the twisted triple product $L$-function of arXiv:2401.13230, but differs in that it interpolates classical $L$-values in a different range of weights, in which the dominant weight comes from the Hilbert modular form. Our construction relies on a ``nearly-overconvergent'' version of higher Coleman theory for Hilbert modular surfaces.

math.NT↗

arXiv2025

On $p$-adic $L$-functions for $\text{GSp}_4 \times \text{GL}_2$

We use higher Coleman theory to construct a new $p$-adic $L$-function for $\text{GSp}_4 \times \text{GL}_2$. While previous works by the first author, Pilloni, Skinner and Zerbes had considered the $p$-adic variation of classes in the $H^2$ of Shimura varieties for $\text{GSp}_4$, in this note we explore the interpolation of classes in the $H^1$, which allows us to access to a different range of weights. Further, we show an interpolation property in terms of complex $L$-values using the algebraicity results established in previous work by the authors.

math.NT↗

arXiv2025

An Euler system for the adjoint of a modular form

We construct an Euler system for the adjoint Galois representation of a modular form, using motivic cohomology classes arising from Hilbert modular surfaces. We use this Euler system to give an upper bound for the Selmer group of the adjoint representation over the cyclotomic Zp-extension, which agrees with the predictions of the Iwasawa main conjecture up to powers of p.

math.NT↗

arXiv2025

Iwasawa theory for quadratic Hilbert modular forms

We study the Iwasawa main conjecture for quadratic Hilbert modular forms over the p-cyclotomic tower. Using an Euler system in the cohomology of Siegel modular varieties, we prove the "Kato divisibility" of the Iwasawa main conjecture under certain technical hypotheses. By comparing this result with the opposite divisibility due to Wan, we obtain the full Main Conjecture over the cyclotomic Zp-extension. As a consequence, we prove new cases of the Bloch--Kato conjecture for quadratic Hilbert modular forms, and of the equivariant Birch--Swinnerton-Dyer conjecture in analytic rank 0 for elliptic curves over real quadratic fields twisted by Dirichlet characters. As a "by-product" of the theory developed here, we also present new results on Iwasawa theory for Rankin--Selberg convolutions of modular forms, relaxing hypotheses of $p$-distinction or $p$-regularity assumed in previous works. This gives new cases of the equivariant BSD conjecture for elliptic curves over $\mathbf{Q}$ twisted by 2-dimensional odd Artin representations, giving finiteness of the $p$-part of the Tate--Shafarevich group for all but finitely many ordinary primes.

math.NT↗

arXiv2025

Asai-Flach classes and p-adic L-functions

We prove a formula for the Bloch-Kato logarithm of the bottom class in the Asai-Flach Euler system associated to a quadratic Hilbert modular form. We show that this can be expressed as a value, outside the interpolation range, of the p-adic Asai L-function constructed in the prequel paper arXiv:2307.07004.

math.NT↗

arXiv2025

Asai-Flach classes, p-adic L-functions and the Bloch-Kato conjecture for GO(4)

We prove the Bloch-Kato conjecture for critical values of Asai L-functions of p-ordinary Hilbert modular forms over quadratic fields (with p split); and one inclusion in the Iwasawa main conjecture for these L-functions (up to a power of p). Along the way, we also prove a version of the p-adic Eichler-Shimura comparison isomorphism for Hida families of Hilbert modular forms.

math.NT↗

arXiv2024

Spherical varieties and p-adic families of cohomology classes

We prove a "twist-compatibility" result for p-adic families of cohomology classes associated to symmetric spaces. This shows that a single family of classes (lying in a finitely-generated Iwasawa module) interpolates classical cohomology classes of many different weights, including twists by Grössencharacters of possibly non-trivial infinity-type. This subsumes and generalises a number of prior results relating to Euler systems and p-adic L-functions, and we conclude with some novel applications to Euler systems for GSp(4), GSp(4) x GL(2), and GSp(4) x GL(2) x GL(2).

math.NT↗

arXiv2024

Eisenstein degeneration of Euler systems

We discuss the theory of Coleman families interpolating critical-slope Eisenstein series. We apply it to study degeneration phenomena at the level of Euler systems. In particular, this allows us to prove relations between Kato elements, Beilinson--Flach classes and diagonal cycles, and also between Heegner cycles and elliptic units. We expect that this method could be extended to construct new instances of Euler systems.

math.NT↗