We prove uniform bounds for the Petersson norm of the cuspidal part of the theta series. This gives an improved asymptotic formula for the number of representations by a quadratic form. As an application, we show that every integer $n \neq 0,4,7 \,(\textrm{mod}\ 8)$ is represented as $n= x_1^2 + x_2^2 + x_3^3$ for integers $x_1,x_2,x_3$ such that the product $x_1x_2x_3$ has at most 72 prime divisors.

In this paper, we study lower-order terms of the one-level density of low-lying zeros of quadratic Hecke L-functions in the Gaussian field. Assuming the generalized Riemann hypothesis, our result is valid for even test functions whose Fourier transforms are supported in $(-2, 2)$. Moreover, we apply the ratios conjecture of L-functions to derive these lower-order terms as well. Up to the first lower-order term, we show that our results are consistent with each other when the Fourier transforms of the test functions are supported in $(-2, 2)$.

The formula of the title relates p-adic heights of Heegner points and derivatives of p-adic L-functions. It was originally proved by Perrin-Riou for p-ordinary elliptic curves over the rationals, under the assumption that p splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties.

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

In this note, we use Dedekind’s eta function to prove a congruence relation between the number of representations by binary quadratic forms of discriminant $-31$ and Fourier coefficients of a weight $16$ cusp form. Our result is analogous to the classical result concerning Ramanujan’s tau function and binary quadratic forms of discriminant $-23$.

In earlier work, the first named author generalized the construction of Darmon-style $\mathcal {L}$-invariants to cuspidal automorphic representations of semisimple groups of higher rank, which are cohomological with respect to the trivial coefficient system and Steinberg at a fixed prime. In this paper, assuming that the Archimedean component of the group has discrete series we show that these automorphic $\mathcal {L}$-invariants can be computed in terms of derivatives of Hecke eigenvalues in $p$-adic families. Our proof is novel even in the case of modular forms, which was established by Bertolini, Darmon and Iovita. The main new technical ingredient is the Koszul resolution of locally analytic principal series representations by Kohlhaase and Schraen. As an application of our results we settle a conjecture of Spieß: we show that automorphic $\mathcal {L}$-invariants of Hilbert modular forms of parallel weight $2$ are independent of the sign character used to define them. Moreover, we show that they are invariant under Jacquet–Langlands transfer and, in fact, equal to the Fontaine–Mazur $\mathcal {L}$-invariant of the associated Galois representation. Under mild assumptions, we also prove the equality of automorphic and Fontaine–Mazur $\mathcal {L}$-invariants for representations of definite unitary groups of arbitrary rank. Finally, we study the case of Bianchi modular forms to show how our methods, given precise results on eigenvarieties, can also work in the absence of discrete series representations.

We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge–Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proof, independent of the classical Jacquet–Langlands correspondence, that Galois representations can be attached to classical and $p$-adic quaternionic eigenforms.

Consider three normalized cuspidal eigenforms of weight $2$ and prime level p. Under the assumption that the global root number of the associated triple product L-function is $+1$, we prove that the complex Abel–Jacobi image of the modified diagonal cycle of Gross–Kudla–Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel–Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow–Heegner points associated with modified diagonal cycles on elliptic curves of prime conductor with split multiplicative reduction. The approach also works in the case of composite square-free level.

We explicate the combinatorial/geometric ingredients of Arthur’s proof of the convergence and polynomiality, in a truncation parameter, of his noninvariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur’s results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur’s work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence–Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii–Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.

In this work we generalise the main result of [1] to the family of hyperelliptic curves with potentially good reduction over a p-adic field which have genus $g=({p-1})/{2}$ and the largest possible image of inertia under the $\ell$-adic Galois representation associated to its Jacobian. We will prove that this Galois representation factors as the tensor product of an unramified character and an irreducible representation of a finite group, which can be either equal to the inertia image (in which case the representation is easily determined) or a $C_2$-extension of it. In this second case, there are two suitable representations and we will describe the Galois action explicitly in order to determine the correct one.

Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $c\phi _N(n)$ denote the number of N-colored generalized Frobenius partitions of n introduced by Andrews in 1984, and $P(n)$ denote the number of partitions of n. We prove

$$ \begin{align*}c\phi_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n),\end{align*} $$

$C(z) := (q;q)^N_\infty \sum _{n=1}^{\infty } b(n) q^n$

$S_{(N-1)/2} (\Gamma _0(N),\chi _N)$

$c\phi _N(n)$

$P(n)$

We develop some asymptotics for a kernel function introduced by Kohnen and use them to estimate the number of normalised Hecke eigenforms in $S_k(\Gamma _0(1))$ whose L-values are simultaneously nonvanishing at a given pair of points each of which lies inside the critical strip.

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 $j_n$ be the modular function obtained by applying the nth Hecke operator on the classical j-invariant. For $n>m\ge 2$, we prove that between any two zeros of $j_m$ on the unit circle of the fundamental domain, there is a zero of $j_n$.

It is proved that if $\varphi \colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated B-module N whose flat dimension over A is at most $\operatorname {edim} A - \operatorname {edim} B$ is free over B and $\varphi $ is a special type of complete intersection. This result is motivated by a ‘patching method’ developed by Taylor and Wiles and a conjecture of de Smit, proved by the first author, dealing with the special case when N is flat over A.

Let $p_{\{3, 3\}}(n)$ denote the number of $3$-regular partitions in three colours. Da Silva and Sellers [‘Arithmetic properties of 3-regular partitions in three colours’, Bull. Aust. Math. Soc. 104(3) (2021), 415–423] conjectured four Ramanujan-like congruences modulo $5$ satisfied by $p_{\{3, 3\}}(n)$. We confirm these conjectural congruences using the theory of modular forms.

We study the limiting behavior of Maass forms on sequences of large-volume compact quotients of $\operatorname {SL}_d({\mathbb R})/\textrm {SO}(d)$, $d\ge 3$, whose spectral parameter stays in a fixed window. We prove a form of quantum ergodicity in this level aspect which extends results of Le Masson and Sahlsten to the higher rank case.

We establish the Bernstein-centre type of results for the category of mod p representations of $\operatorname {\mathrm {GL}}_2 (\mathbb {Q}_p)$. We treat all the remaining open cases, which occur when p is $2$ or $3$. Our arguments carry over for all primes p. This allows us to remove the restrictions on the residual representation at p in Lue Pan’s recent proof of the Fontaine–Mazur conjecture for Hodge–Tate representations of $\operatorname {\mathrm {Gal}}(\overline {\mathbb Q}/\mathbb {Q})$ with equal Hodge–Tate weights.

We establish sharp bounds for the second moment of symmetric-square L-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the L-function, our interval is smaller than previous known results. More specifically, for $\left \lvert t_j\right \rvert $ of size T, our interval is of size $T^{1/5}$, whereas the previous best was $T^{1/3}$, from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square L-function. More specifically, we get subconvexity at $s=1/2+it$ provided $\left \lvert t_j\right \rvert ^{6/7+\delta }\le \lvert t\rvert \le (2-\delta )\left \lvert t_j\right \rvert $ for any fixed $\delta>0$. Since $\lvert t\rvert $ can be taken significantly smaller than $\left \lvert t_j\right \rvert $, this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square L-function in the spectral aspect at $s=1/2$.

We study families of metrics on automorphic vector bundles associated with representations of the modular group. These metrics are defined using an Eisenstein series construction. We show that in certain cases, the residue of these Eisenstein metrics at their rightmost pole is a harmonic metric for the underlying representation of the modular group. The last section of the paper considers the case of a family of representations that are indecomposable but not irreducible. The analysis of the corresponding Eisenstein metrics, and the location of their rightmost pole, is an open question whose resolution depends on the asymptotics of matrix-valued Kloosterman sums.