Romyar Sharifi has constructed a map $\varpi _M$ from the first homology of the modular curve $X_1(M)$ to the K-group $K_2(\operatorname {\mathrm {\mathbf {Z}}}[\zeta _M+\zeta _M^{-1}, \frac {1}{M}]) \otimes \operatorname {\mathrm {\mathbf {Z}}}[1/2]$ , where $\zeta _M$ is a primitive Mth root of unity. Sharifi conjectured that $\varpi _M$ is annihilated by a certain Eisenstein ideal. Fukaya and Kato proved this conjecture after tensoring with $\operatorname {\mathrm {\mathbf {Z}}}_p$ for a prime $p\geq 5$ dividing M. More recently, Sharifi and Venkatesh proved the conjecture for Hecke operators away from M. In this note, we prove two main results. First, we give a relation between $\varpi _M$ and $\varpi _{M'}$ when $M' \mid M$ . Our method relies on the techniques developed by Sharifi and Venkatesh. We then use this result in combination with results of Fukaya and Kato in order to get the Eisenstein property of $\varpi _M$ for Hecke operators of index dividing M.

In this paper, we prove the algebraicity of some L-values attached to quaternionic modular forms. We follow the rather well-established path of the doubling method. Our main contribution is that we include the case where the corresponding symmetric space is of non-tube type. We make various aspects very explicit, such as the doubling embedding, coset decomposition, and the definition of algebraicity of modular forms via CM-points.

In this paper, we prove one divisibility of the Iwasawa–Greenberg main conjecture for the Rankin–Selberg product of a weight two cusp form and an ordinary complex multiplication form of higher weight, using congruences between Klingen Eisenstein series and cusp forms on $\mathrm {GU}(3,1)$, generalizing an earlier result of the third-named author to allow nonordinary cusp forms. The main result is a key input in the third-named author’s proof of Kobayashi’s $\pm $-main conjecture for supersingular elliptic curves. The new ingredient here is developing a semiordinary Hida theory along an appropriate smaller weight space and a study of the semiordinary Eisenstein family.

For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$ , the limit of $u_n/v_n$ as $n\to \infty $ , when it exists, is called the Apéry limit. We give a construction that realises certain quotients of L-values of elliptic curves as Apéry limits.

Let F be a Siegel cusp form of degree $2$ , even weight $k \ge 2$ , and odd square-free level N. We undertake a detailed study of the analytic properties of Fourier coefficients $a(F,S)$ of F at fundamental matrices S (i.e., with $-4\det (S)$ equal to a fundamental discriminant). We prove that as S varies along the equivalence classes of fundamental matrices with $\det (S) \asymp X$ , the sequence $a(F,S)$ has at least $X^{1-\varepsilon }$ sign changes and takes at least $X^{1-\varepsilon }$ ‘large values’. Furthermore, assuming the generalized Riemann hypothesis as well as the refined Gan–Gross–Prasad conjecture, we prove the bound $\lvert a(F,S)\rvert \ll _{F, \varepsilon } \frac {\det (S)^{\frac {k}2 - \frac {1}{2}}}{ \left (\log \lvert \det (S)\rvert \right )^{\frac 18 - \varepsilon }}$ for fundamental matrices S.

Following Ryan and Tornaría, we prove that moduli of congruences of Hecke eigenvalues, between Saito–Kurokawa lifts and non-lifts (certain Siegel modular forms of genus 2), occur (squared) in denominators of central spinor L-values (divided by twists) for the non-lifts. This is conditional on Böcherer’s conjecture and its analogues and is viewed in the context of recent work of Furusawa, Morimoto and others. It requires a congruence of Fourier coefficients, which follows from a uniqueness assumption or can be proved in examples. We explain these factors in denominators via a close examination of the Bloch–Kato conjecture.

The main aim of this article is to show that normalised standard intertwining operator between induced representations of p-adic groups, at a very specific point of evaluation, has an arithmetic origin. This result has applications to Eisenstein cohomology and the special values of automorphic L-functions.

La formule des traces relative de Jacquet–Rallis (pour les groupes unitaires ou les groupes linéaires généraux) est une identité entre des périodes des représentations automorphes et des distributions géométriques. Selon Jacquet et Rallis, une comparaison de ces deux formules des traces relatives devrait aboutir à une démonstration des conjectures de Gan–Gross–Prasad et Ichino–Ikeda pour les groupes unitaires. Les termes géométriques des groupes unitaires ou des groupes linéaires sont indexés par les points rationnels d'un espace quotient commun. Nous établissons que ces termes géométriques peuvent être vus comme des fonctionnelles sur des espaces d'intégrales orbitales semi-simples régulières locales. En outre, nous montrons que point par point ces distributions sont en fait égales, via l'identification des espaces d'intégrales orbitales locales donnée par le transfert et le lemme fondamental (essentiellement connus dans cette situation). Cela donne leur comparaison et cela clôt la partie géométrique du programme de Jacquet–Rallis. Notre résultat principal est donc un analogue de la stabilisation de la partie géométrique de la formule des traces due à Langlands, Kottwitz et Arthur.

Lapid and Mao formulated a conjecture on an explicit formula of Whittaker–Fourier coefficients of automorphic forms on quasi-split reductive groups and metaplectic groups as an analogue of the Ichino–Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this article, we study the even unitary-group case. Indeed, we prove this local identity over p-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prove a refined formal degree conjecture over p-adic fields and get an explicit formula of Whittaker–Fourier coefficients under certain assumptions.

The principal aim of this article is to attach and study $p$-adic $L$-functions to cohomological cuspidal automorphic representations $\Pi$ of $\operatorname {GL}_{2n}$ over a totally real field $F$ admitting a Shalika model. We use a modular symbol approach, along the global lines of the work of Ash and Ginzburg, but our results are more definitive because we draw heavily upon the methods used in the recent and separate works of all three authors. By construction, our $p$-adic $L$-functions are distributions on the Galois group of the maximal abelian extension of $F$ unramified outside $p\infty$. Moreover, we work under a weaker Panchishkine-type condition on $\Pi _p$ rather than the full ordinariness condition. Finally, we prove the so-called Manin relations between the $p$-adic $L$-functions at all critical points. This has the striking consequence that, given a unitary $\Pi$ whose standard $L$-function admits at least two critical points, and given a prime $p$ such that $\Pi _p$ is ordinary, the central critical value $L(\frac {1}{2}, \Pi \otimes \chi )$ is non-zero for all except finitely many Dirichlet characters $\chi$ of $p$-power conductor.

We improve upon the local bound in the depth aspect for sup-norms of newforms on $D^\times$, where $D$ is an indefinite quaternion division algebra over ${\mathbb {Q}}$. Our sup-norm bound implies a depth-aspect subconvexity bound for $L(1/2, f \times \theta _\chi )$, where $f$ is a (varying) newform on $D^\times$ of level $p^n$, and $\theta _\chi$ is an (essentially fixed) automorphic form on $\textrm {GL}_2$ obtained as the theta lift of a Hecke character $\chi$ on a quadratic field. For the proof, we augment the amplification method with a novel filtration argument and a recent counting result proved by the second-named author to reduce to showing strong quantitative decay of matrix coefficients of local newvectors along compact subsets, which we establish via $p$-adic stationary phase analysis. Furthermore, we prove a general upper bound in the level aspect for sup-norms of automorphic forms belonging to any family whose associated matrix coefficients have such a decay property.

It has been well established that congruences between automorphic forms have far-reaching applications in arithmetic. In this paper, we construct congruences for Siegel–Hilbert modular forms defined over a totally real field of class number 1. As an application of this general congruence, we produce congruences between paramodular Saito–Kurokawa lifts and non-lifted Siegel modular forms. These congruences are used to produce evidence for the Bloch–Kato conjecture for elliptic newforms of square-free level and odd functional equation.

We define variants of PEL type of the Shimura varieties that appear in the context of the arithmetic Gan–Gross–Prasad (AGGP) conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.

Let f and g be two cuspidal modular forms and let ${\mathcal {F}}$ be a Coleman family passing through f, defined over an open affinoid subdomain V of weight space $\mathcal {W}$ . Using ideas of Pottharst, under certain hypotheses on f and $g,$ we construct a coherent sheaf over $V \times \mathcal {W}$ that interpolates the Bloch–Kato Selmer group of the Rankin–Selberg convolution of two modular forms in the critical range (i.e, the range where the p-adic L-function $L_p$ interpolates critical values of the global L-function). We show that the support of this sheaf is contained in the vanishing locus of $L_p$ .

We introduce a new family of real-analytic modular forms on the upper-half plane. They are arguably the simplest class of ‘mixed’ versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q,\overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first nontrivial functions in this class are real-analytic Eisenstein series.

Waldspurger’s formula gives an identity between the norm of a torus period and an $L$-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding $L$-functions agree, (the norms of) these periods—which occur on different quaternion algebras—are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.

We construct the $p$-adic standard $L$-functions for ordinary families of Hecke eigensystems of the symplectic group $\operatorname{Sp}(2n)_{/\mathbb{Q}}$ using the doubling method. We explain a clear and simple strategy of choosing the local sections for the Siegel Eisenstein series on the doubling group $\operatorname{Sp}(4n)_{/\mathbb{Q}}$, which guarantees the nonvanishing of local zeta integrals and allows us to $p$-adically interpolate the restrictions of the Siegel Eisenstein series to $\operatorname{Sp}(2n)_{/\mathbb{Q}}\times \operatorname{Sp}(2n)_{/\mathbb{Q}}$.

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct $p$-adic $L$-functions for non-critical slope rational modular forms, the theory has been extended to construct $p$-adic $L$-functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors, respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope subspace. We then show that if one takes the modular symbol attached to a small slope cuspidal eigenform, then one can construct a ray class distribution from the corresponding overconvergent symbol, which moreover interpolates critical values of the $L$-function of the eigenform. We prove that this distribution is independent of the choices made in its construction. We define the $p$-adic $L$-function of the eigenform to be this distribution.

We construct an Euler system—a compatible family of global cohomology classes—for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is nontrivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations.