We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\unicode[STIX]{x1D6E4}$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra.
From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q}_{p})$, and formulate the central conjecture: the motivic $\mathbf{Q}$-lattice inside these Galois cohomology groups preserves $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q})$.
We study the generalized Fermat equation $x^{2}+y^{3}=z^{p}$, to be solved in coprime integers, where $p\geqslant 7$ is prime. Modularity and level-lowering techniques reduce the problem to the determination of the sets of rational points satisfying certain 2-adic and 3-adic conditions on a finite set of twists of the modular curve $X(p)$. We develop new local criteria to decide if two elliptic curves with certain types of potentially good reduction at 2 and 3 can have symplectically or anti-symplectically isomorphic $p$-torsion modules. Using these criteria we produce the minimal list of twists of $X(p)$ that have to be considered, based on local information at 2 and 3; this list depends on $p\hspace{0.2em}{\rm mod}\hspace{0.2em}24$. We solve the equation completely when $p=11$, which previously was the smallest unresolved $p$. One new ingredient is the use of the ‘Selmer group Chabauty’ method introduced by the third author, applied in an elliptic curve Chabauty context, to determine relevant points on $X_{0}(11)$ defined over certain number fields of degree 12. This result is conditional on the generalized Riemann hypothesis, which is needed to show correctness of the computation of the class groups of five specific number fields of degree 36. We also give some partial results for the case $p=13$. The source code for the various computations is supplied as supplementary material with the online version of this article.
A question of Griffiths–Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for a class of algebraic surfaces known as Atiyah–Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the ‘geometric’ monodromy, valued in the mapping class group of the fiber.
Fix an odd prime p. Let $\mathcal{D}_n$ denote a non-abelian extension of a number field K such that $K\cap\mathbb{Q}(\mu_{p^{\infty}})=\mathbb{Q}, $ and whose Galois group has the form $ \text{Gal}\big(\mathcal{D}_n/K\big)\cong \big(\mathbb{Z}/p^{n'}\mathbb{Z}\big)^{\oplus g}\rtimes \big(\mathbb{Z}/p^n\mathbb{Z}\big)^{\times}\ $ where g > 0 and $0 \lt n'\leq n$. Given a modular Galois representation $\overline{\rho}:G_{\mathbb{Q}}\rightarrow \text{GL}_2(\mathbb{F})$ which is p-ordinary and also p-distinguished, we shall write $\mathcal{H}(\overline{\rho})$ for the associated Hida family. Using Greenberg’s notion of Selmer atoms, we prove an exact formula for the algebraic λ-invariant
\begin{equation}
\lambda^{\text{alg}}_{\mathcal{D}_n}(f) \;=\; \text{the number of zeroes of }
\text{char}_{\Lambda}\big(\text{Sel}_{\mathcal{D}_n^{\text{cy}}}\big(f\big)^{\wedge}\big)
\end{equation}
at all $f\in\mathcal{H}(\overline{\rho})$, under the assumption $\mu^{\text{alg}}_{K(\mu_p)}(f_0)=0$ for at least one form f0. We can then easily deduce that $\lambda^{\text{alg}}_{\mathcal{D}_n}(f)$ is constant along branches of $\mathcal{H}(\overline{\rho})$, generalising a theorem of Emerton, Pollack and Weston for $\lambda^{\text{alg}}_{\mathbb{Q}(\mu_{p})}(f)$.
For example, if $\mathcal{D}_{\infty}=\bigcup_{n\geq 1}\mathcal{D}_n$ has the structure of a p-adic Lie extension then our formulae include the cases where: either (i) $\mathcal{D}_{\infty}/K$ is a g-fold false Tate tower, or (ii) $\text{Gal}\big(\mathcal{D}_{\infty}/K(\mu_p)\big)$ has dimension ≤ 3 and is a pro-p-group.
Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\unicode[STIX]{x1D6FC}\in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak{p}$ of $K$ such that the reduction $(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{p})$ is well-defined and has order coprime to $\ell$. This set admits a natural density. By refining the method of Jones and Rouse [Galois theory of iterated endomorphisms, Proc. Lond. Math. Soc. (3)100(3) (2010), 763–794. Appendix A by Jeffrey D. Achter], we can express the density as an $\ell$-adic integral without requiring any assumption. We also prove that the density is always a rational number whose denominator (up to powers of $\ell$) is uniformly bounded in a very strong sense. For elliptic curves, we describe a strategy for computing the density which covers every possible case.
Let $F$ be a non-archimedean local field of residual characteristic $p$, $\ell \neq p$ be a prime number, and $\text{W}_{F}$ the Weil group of $F$. We classify equivalence classes of $\text{W}_{F}$-semisimple Deligne $\ell$-modular representations of $\text{W}_{F}$ in terms of irreducible $\ell$-modular representations of $\text{W}_{F}$, and extend constructions of Artin–Deligne local constants to this setting. Finally, we define a variant of the $\ell$-modular local Langlands correspondence which satisfies a preservation of local constants statement for pairs of generic representations.
We study genuine local Hecke algebras of the Iwahori type of the double cover of $\operatorname{SL}_{2}(\mathbb{Q}_{p})$ and translate the generators and relations to classical operators on the space $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$, $M$ odd and square-free. In [9] Manickam, Ramakrishnan, and Vasudevan defined the new space of $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$ that maps Hecke isomorphically onto the space of newforms of $S_{2k}(\unicode[STIX]{x1D6E4}_{0}(2M))$. We characterize this newspace as a common $-1$-eigenspace of a certain pair of conjugate operators that come from local Hecke algebras. We use the classical Hecke operators and relations that we obtain to give a new proof of the results in [9] and to prove our characterization result.
J.-C. Yoccoz proposed a natural extension of Selberg’s eigenvalue conjecture to moduli spaces of abelian differentials. We prove an approximation to this conjecture. This gives a qualitative generalization of Selberg’s $\frac{3}{16}$ theorem to moduli spaces of abelian differentials on surfaces of genus ${\geqslant}2$.
A classical construction of Katz gives a purely algebraic construction of Eisenstein–Kronecker series using the Gauß–Manin connection on the universal elliptic curve. This approach gives a systematic way to study algebraic and $p$-adic properties of real-analytic Eisenstein series. In the first part of this paper we provide an alternative algebraic construction of Eisenstein–Kronecker series via the Poincaré bundle. Building on this, we give in the second part a new conceptional construction of Katz’ two-variable $p$-adic Eisenstein measure through $p$-adic theta functions of the Poincaré bundle.
Let $d_{3}(n)$ be the divisor function of order three. Let $g$ be a Hecke–Maass form for $\unicode[STIX]{x1D6E4}$ with $\unicode[STIX]{x1D6E5}g=(1/4+t^{2})g$. Suppose that $\unicode[STIX]{x1D706}_{g}(n)$ is the $n$th Hecke eigenvalue of $g$. Using the Voronoi summation formula for $\unicode[STIX]{x1D706}_{g}(n)$ and the Kuznetsov trace formula, we estimate a shifted convolution sum of $d_{3}(n)$ and $\unicode[STIX]{x1D706}_{g}(n)$ and show that
This corrects and improves the result of the author [‘Shifted convolution sum of $d_{3}$ and the Fourier coefficients of Hecke–Maass forms’, Bull. Aust. Math. Soc.92 (2015), 195–204].
Let $F$ be a totally real field and let $p$ be an odd prime which is totally split in $F$. We define and study one-dimensional ‘partial’ eigenvarieties interpolating Hilbert modular forms over $F$ with weight varying only at a single place $v$ above $p$. For these eigenvarieties, we show that methods developed by Liu, Wan and Xiao apply and deduce that, over a boundary annulus in weight space of sufficiently small radius, the partial eigenvarieties decompose as a disjoint union of components which are finite over weight space. We apply this result to prove the parity version of the Bloch–Kato conjecture for finite slope Hilbert modular forms with trivial central character (with a technical assumption if $[F:\mathbb{Q}]$ is odd), by reducing to the case of parallel weight $2$. As another consequence of our results on partial eigenvarieties, we show, still under the assumption that $p$ is totally split in $F$, that the ‘full’ (dimension $1+[F:\mathbb{Q}]$) cuspidal Hilbert modular eigenvariety has the property that many (all, if $[F:\mathbb{Q}]$ is even) irreducible components contain a classical point with noncritical slopes and parallel weight $2$ (with some character at $p$ whose conductor can be explicitly bounded), or any other algebraic weight.
In this paper we construct indefinite theta series for lattices of arbitrary signature $(p,q)$ as ‘incomplete’ theta integrals, that is, by integrating the theta forms constructed by the second author with J. Millson over certain singular $q$-chains in the associated symmetric space $D$. These chains typically do not descend to homology classes in arithmetic quotients of $D$, and consequently the theta integrals do not give rise to holomorphic modular forms, but rather to the non-holomorphic completions of certain mock modular forms. In this way we provide a general geometric framework for the indefinite theta series constructed by Zwegers and more recently by Alexandrov, Banerjee, Manschot, and Pioline, Nazaroglu, and Raum. In particular, the coefficients of the mock modular forms are identified with intersection numbers.
We develop a general procedure to study the combinatorial structure of Arthur packets for $p$-adic quasisplit $\mathit{Sp}(N)$ and $O(N)$ following the works of Mœglin. This will allow us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.
Given a property of representations satisfying a basic stability condition, Ramakrishna developed a variant of Mazur’s Galois deformation theory for representations with that property. We introduce an axiomatic definition of pseudorepresentations with such a property. Among other things, we show that pseudorepresentations with a property enjoy a good deformation theory, generalizing Ramakrishna’s theory to pseudorepresentations.
which was originally conjectured by Long and later proved by Swisher. This confirms a conjecture of the second author [‘A $q$-analogue of the (L.2) supercongruence of Van Hamme’, J. Math. Anal. Appl.466 (2018), 749–761].
In this article we construct a p-adic three-dimensional eigenvariety for the group $U$(2,1)($E$), where $E$ is a quadratic imaginary field and $p$ is inert in $E$. The eigenvariety parametrizes Hecke eigensystems on the space of overconvergent, locally analytic, cuspidal Picard modular forms of finite slope. The method generalized the one developed in Andreatta, Iovita and Stevens [$p$-adic families of Siegel modular cuspforms Ann. of Math. (2) 181, (2015), 623–697] by interpolating the coherent automorphic sheaves when the ordinary locus is empty. As an application of this construction, we reprove a particular case of the Bloch–Kato conjecture for some Galois characters of $E$, extending the results of Bellaiche and Chenevier to the case of a positive sign.
We prove that the complete $L$-function associated to any cuspidal automorphic representation of $\operatorname{GL}_{2}(\mathbb{A}_{\mathbb{Q}})$ has infinitely many simple zeros.
Let $p$ be a prime, let $K$ be a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, and let $G_{K}$ be the Galois group. Let $\unicode[STIX]{x1D70B}$ be a fixed uniformizer of $K$, let $K_{\infty }$ be the extension by adjoining to $K$ a system of compatible $p^{n}$th roots of $\unicode[STIX]{x1D70B}$ for all $n$, and let $L$ be the Galois closure of $K_{\infty }$. Using these field extensions, Caruso constructs the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules, which classify $p$-adic Galois representations of $G_{K}$. In this paper, we study locally analytic vectors in some period rings with respect to the $p$-adic Lie group $\operatorname{Gal}(L/K)$, in the spirit of the work by Berger and Colmez. Using these locally analytic vectors, and using the classical overconvergent $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules, we can establish the overconvergence property of the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules.
We study $\text{Sp}_{2n}(F)$-distinction for representations of the quasi-split unitary group $U_{2n}(E/F)$ in $2n$ variables with respect to a quadratic extension $E/F$ of $p$-adic fields. A conjecture of Dijols and Prasad predicts that no tempered representation is distinguished. We verify this for a large family of representations in terms of the Mœglin–Tadić classification of the discrete series. We further study distinction for some families of non-tempered representations. In particular, we exhibit $L$-packets with no distinguished members that transfer under base change to $\text{Sp}_{2n}(E)$-distinguished representations of $\text{GL}_{2n}(E)$.