We propose a conjecture that the Galois representation attached to every Hilbert modular form is noncritical and prove it under certain conditions. Under the same condition we prove Chida, Mok and Park’s conjecture that Fontaine-Mazur L-invariant and Teitelbaum-type L-invariant coincide with each other.

The article focuses on the evaluation of convolution sums $${W_k}(n): = \mathop \sum \nolimits_{_{m < {n \over k}}} \sigma (m)\sigma (n - km)$$ involving the sum of divisor function $$\sigma (n)$$ for k =21, 33, and 35. In this article, our aim is to obtain certain Eisenstein series of level 21 and use them to evaluate the convolution sums for level 21. We also make use of the existing Eisenstein series identities for level 33 and 35 in evaluating the convolution sums for level 33 and 35. Most of the convolution sums were evaluated using the theory of modular forms, whereas we have devised a technique which is free from the theory of modular forms. As an application, we determine a formula for the number of representations of a positive integer n by the octonary quadratic form $$(x_1^2 + {x_1}{x_2} + ax_2^2 + x_3^2 + {x_3}{x_4} + ax_4^2) + b(x_5^2 + {x_5}{x_6} + ax_6^2 + x_7^2 + {x_7}{x_8} + ax_8^2)$$, for (a, b)=(1, 7), (1, 11), (2, 3), and (2, 5).

We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.

We prove a local–global compatibility result in the mod $p$ Langlands program for $\mathrm {GL}_2(\mathbf {Q}_{p^f})$. Namely, given a global residual representation $\bar {r}$ appearing in the mod $p$ cohomology of a Shimura curve that is sufficiently generic at $p$ and satisfies a Taylor–Wiles hypothesis, we prove that the diagram occurring in the corresponding Hecke eigenspace of mod $p$ completed cohomology is determined by the restrictions of $\bar {r}$ to decomposition groups at $p$. If these restrictions are moreover semisimple, we show that the $(\varphi ,\Gamma )$-modules attached to this diagram by Breuil give, under Fontaine's equivalence, the tensor inductions of the duals of the restrictions of $\bar {r}$ to decomposition groups at $p$.

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm {GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm {GL}(2)$ and $\mathrm {GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm {GL}(4, \mathbb R)$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula.

The aim of this corrigendum is to correct an error in Corollary 10.7 to Theorem 10.6, one of the main results in the paper ‘On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields’. This makes necessary a thorough investigation of the conditions under which a Cartan-type automorphism exists on $G_1=\mathrm {Res}_{\mathbb {C}/\mathbb {R}}G_0$, where $G_0$ is a connected semisimple algebraic group defined over $\mathbb {R}$.

The Zagier L-series encode data of real quadratic fields. We study the average size of these L-series, and prove asymptotic expansions and omega results for the expansion. We then show how the error term in the asymptotic expansion can be used to obtain error terms in the prime geodesic theorem.

In this note, we will apply the results of Gross–Zagier, Gross–Kohnen–Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.

Let $\pi $ be an automorphic irreducible cuspidal representation of $\mathrm{GL}_{m}$ over $\mathbb {Q}$. Denoted by $\lambda _{\pi }(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi )$ associated with $\pi $. Let $\pi _{1}$ be an automorphic irreducible cuspidal representation of $\mathrm{SL}(2,\mathbb {Z})$. Denoted by $\lambda _{\pi _{1}\times \pi _{1}}(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi _{1}\times \pi _{1})$ associated with $\pi _{1}\times \pi _{1}$. In this paper, we study the cancellations of $\lambda _{\pi }(n)$ and $\lambda _{\pi _{1}\times \pi _{1}}(n)$ over Beatty sequences.

We consider the problem of defining an action of Hecke operators on the coherent cohomology of certain integral models of Shimura varieties. We formulate a general conjecture describing which Hecke operators should act integrally and solve the conjecture in certain cases. As a consequence, we obtain p-adic estimates of Satake parameters of certain nonregular self-dual automorphic representations of $\mathrm {GL}_n$.

For a unitary unramified genuine principal series representation of a covering group, we study the associated R-group. We prove a formula relating the R-group to the dimension of the Whittaker space for the irreducible constituents of such a principal series representation. Moreover, for certain saturated covers of a semisimple simply connected group, we also propose a simpler conjectural formula for such dimensions. This latter conjectural formula is verified in several cases, including covers of the symplectic groups.

We prove that if F is a nonzero (possibly noncuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many nonzero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. Further, as an application of a variant of our result and complementing the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor L-function of a holomorphic cuspidal Siegel eigenform of degree $3$ and level $1$.

We construct a $(\mathfrak {gl}_2, B(\mathbb {Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb {P}^1$, landing in the compactly supported completed $\mathbb {C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest-weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb {P}^1, \mathcal {O}(-k))$, and on classical forms, the pairing factors through this quotient, giving a geometric description of ‘half’ of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $\mathbb {P}^1$. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan, but the perspective here is different, and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology.

Eigenfunctions of the Fourier transform with prescribed zeros played a major role in the proof that the E8 and the Leech lattice give the best sphere packings in respective dimensions 8 and 24 by Cohn, Kumar, Miller, Radchenko and Viazovska. The functions used for a linear programming argument were constructed as Laplace transforms of certain modular and quasimodular forms. Similar constructions were used by Cohn and Gonçalves to find a function satisfying an optimal uncertainty principle in dimension 12. This paper gives a unified view on these constructions and develops the machinery to find the underlying forms in all dimensions divisible by 4. Furthermore, the positivity of the Fourier coefficients of the quasimodular forms occurring in this context is discussed.

We use the endoscopic classification of automorphic representations of even-dimensional unitary groups to construct level-raising congruences.

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarised holomorphic symplectic varieties with dominant and generically finite period map stabilises to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarised symplectic varieties. In particular, we determine the exact transition point in the Beauville–Donagi and Debarre–Voisin cases, where the Borcherds $\Phi _{12}$ form plays a crucial role.

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.

We prove a conjecture of Maulik, Pandharipande and Thomas expressing the Gromov–Witten invariants of K3 surfaces for divisibility 2 curve classes in all genera in terms of weakly holomorphic quasi-modular forms of level 2. Then we establish the holomorphic anomaly equation in divisibility 2 in all genera. Our approach involves a refined boundary induction, relying on the top tautological group of the moduli space of smooth curves, together with a degeneration formula for the reduced virtual fundamental class with imprimitive curve classes. We use double ramification relations with target variety as a new tool to prove the initial condition. The relationship between the holomorphic anomaly equation for higher divisibility and the conjectural multiple cover formula of Oberdieck and Pandharipande is discussed in detail and illustrated with several examples.

A key ingredient in the Taylor–Wiles proof of Fermat’s last theorem is the classical Ihara lemma, which is used to raise the modularity property between some congruent Galois representations. In their work on Sato and Tate, Clozel, Harris and Taylor proposed a generalisation of the Ihara lemma in higher dimension for some similitude groups. The main aim of this paper is to prove some new instances of this generalised Ihara lemma by considering some particular non-pseudo-Eisenstein maximal ideals of unramified Hecke algebras. As a consequence, we prove a level-raising statement.

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor’s proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin’s work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.