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 prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.
We generalize bounds of Liu–Wan–Xiao for slopes in eigencurves for definite unitary groups of rank $2$ to slopes in eigenvarieties for definite unitary groups of any rank. We show that for a definite unitary group of rank $n$, the Newton polygon of the characteristic power series of the $U_p$ Hecke operator has exact growth rate $x^{1+2/{n(n-1)}}$, times a constant proportional to the distance of the weight from the boundary of weight space. The proof goes through the classification of forms associated to principal series representations. We also give a consequence for the geometry of these eigenvarieties over the boundary of weight space.
Let K be a finite extension of the p-adic field ${\mathbb {Q}}_p$ of degree d, let ${{\mathbb {F}}\,\!{}}$ be a finite field of characteristic p and let ${\overline {{D}}}$ be an n-dimensional pseudocharacter in the sense of Chenevier of the absolute Galois group of K over the field ${{\mathbb {F}}\,\!{}}$. For the universal mod p pseudodeformation ring ${\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}}}}}$ of ${\overline {{D}}}$, we prove the following: The ring $\overline R_{{\overline {{D}}}}^{\mathrm {ps}}$ is equidimensional of dimension $dn^2+1$. Its reduced quotient ${\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}},{\operatorname {red}}}}}$ contains a dense open subset of regular points x whose associated pseudocharacter ${D}_x$ is absolutely irreducible and nonspecial in a certain technical sense that we shall define. Moreover, we will characterize in most cases when K does not contain a p-th root of unity the singular locus of ${\mathrm {Spec}}\ {\overline {R}{{\phantom {\overline {\overline m}}}}^{\operatorname {univ}}_{{{\overline {{D}}}}}}$. Similar results were proved by Chenevier for the generic fiber of the universal pseudodeformation ring ${R{{\phantom {\overline {m}}}}^{\operatorname {univ}}_{{{\overline {D}}}}}$ of ${\overline {{D}}}$.
We investigate Eisenstein congruences between the so-called Euler systems of Garrett–Rankin–Selberg type. This includes the cohomology classes of Beilinson–Kato, Beilinson–Flach, and diagonal cycles. The proofs crucially rely on different known versions of the Bloch–Kato conjecture, and are based on the study of the Perrin-Riou formalism and the comparison between the different p-adic L-functions.
We show that framed deformation rings of mod p representations of the absolute Galois group of a p-adic local field are complete intersections of expected dimension. We determine their irreducible components and show that they and their special fibres are normal and complete intersection. As an application, we prove density results of loci with prescribed p-adic Hodge theoretic properties.
We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher-rank simple Lie groups. Using Galois cohomology, we actually show that $\operatorname {SO}^0(n,2)$ for $n \ge 6$ and the exceptional groups $E_{6(-14)}$ and $E_{7(-25)}$ constitute the complete list of higher-rank Lie groups admitting such examples.
We study for each fixed integer $g \ge 2$, for all primes $\ell $ and p with $\ell \neq p$, finite regular directed graphs associated with the set of equivalence classes of $\ell $-marked principally polarized superspecial abelian varieties of dimension g in characteristic p, and show that the adjacency matrices have real eigenvalues with spectral gaps independent of p. This implies a rapid mixing property of natural random walks on the family of isogeny graphs beyond the elliptic curve case and suggests a potential construction of the Charles–Goren–Lauter-type cryptographic hash functions for abelian varieties. We give explicit lower bounds for the gaps in terms of the Kazhdan constant for the symplectic group when $g \ge 2$. As a byproduct, we also show that the finite regular directed graphs constructed by Jordan and Zaytman also has the same property.
This work characterizes the vanishing of the Fourier coefficients of all CM (Complex Multiplication) eta quotients. As consequences, we recover Serre’s characterization about that of $\eta(12z)^{2}$ and recent results of Chang on the pth coefficients of $\eta(4z)^{6}$ and $\eta(6z)^{4}$. Moreover, we generalize the results on the cases of weight 1 to the setting of binary quadratic forms.
In this paper, we prove uniform bounds for $\operatorname {GL}(3)\times \operatorname {GL}(2) \ L$-functions in the $\operatorname {GL}(2)$ spectral aspect and the t aspect by a delta method. More precisely, let $\phi $ be a Hecke–Maass cusp form for $\operatorname {SL}(3,\mathbb {Z})$ and f a Hecke–Maass cusp form for $\operatorname {SL}(2,\mathbb {Z})$ with the spectral parameter $t_f$. Then for $t\in \mathbb {R}$ and any $\varepsilon>0$, we have
We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.
We prove that the homology classes of closed geodesics associated to subgroups of narrow class groups of real quadratic fields concentrate around the Eisenstein line. This fits into the framework of Duke’s Theorem and can be seen as a real quadratic analogue of results of Michel and Liu–Masri–Young on supersingular reduction of CM-elliptic curves. We also study the level aspect, as well as a homological version of the sup norm problem. Finally, we present applications to group theory and modular forms
In this note, we revisit Ramanujan-type series for $\frac {1}{\pi }$ and show how they arise from genus zero subgroups of $\mathrm {SL}_{2}(\mathbb {R})$ that are commensurable with $\mathrm {SL}_{2}(\mathbb {Z})$. As illustrations, we reproduce a striking formula of Ramanujan for $\frac {1}{\pi }$ and a recent result of Cooper et al., as well as derive a new rational Ramanujan-type series for $\frac {1}{\pi }$. As a byproduct, we obtain a Clausen-type formula in some general sense and reproduce a Clausen-type quadratic transformation formula closely related to the aforementioned formula of Ramanujan.
A crucial ingredient in the theory of theta liftings of Kudla and Millson is the construction of a $q$-form $\varphi_{KM}$ on an orthogonal symmetric space, using Howe's differential operators. This form can be seen as a Thom form of a real oriented vector bundle. We show that the Kudla-Millson form can be recovered from a canonical construction of Mathai and Quillen. A similar result was obtaind by Garcia for signature $(2,q)$ in case the symmetric space is hermitian and we extend it to arbitrary signature.
We study the étale cohomology of Hilbert modular varieties, building on the methods introduced by Caraiani and Scholze for unitary Shimura varieties. We obtain the analogous vanishing theorem: in the ‘generic’ case, the cohomology with torsion coefficients is concentrated in the middle degree. We also probe the structure of the cohomology beyond the generic case, obtaining bounds on the range of degrees where cohomology with torsion coefficients can be non-zero. The proof is based on the geometric Jacquet–Langlands functoriality established by Tian and Xiao and avoids trace formula computations for the cohomology of Igusa varieties. As an application, we show that, when $p$ splits completely in the totally real field and under certain technical assumptions, the $p$-adic local Langlands correspondence for $\mathrm {GL}_2(\mathbb {Q}_p)$ occurs in the completed homology of Hilbert modular varieties.
Given a set $S=\{x^2+c_1,\dots,x^2+c_s\}$ defined over a field and an infinite sequence $\gamma$ of elements of S, one can associate an arboreal representation to $\gamma$, generalising the case of iterating a single polynomial. We study the probability that a random sequence $\gamma$ produces a “large-image” representation, meaning that infinitely many subquotients in the natural filtration are maximal. We prove that this probability is positive for most sets S defined over $\mathbb{Z}[t]$, and we conjecture a similar positive-probability result for suitable sets over $\mathbb{Q}$. As an application of large-image representations, we prove a density-zero result for the set of prime divisors of some associated quadratic sequences. We also consider the stronger condition of the representation being finite-index, and we classify all S possessing a particular kind of obstruction that generalises the post-critically finite case in single-polynomial iteration.
We prove that the Jacquet–Langlands correspondence for cohomological automorphic forms on quaternionic Shimura varieties is realized by a Hodge class. Conditional on Kottwitz’s conjecture for Shimura varieties attached to unitary similitude groups, we also show that the image of this Hodge class in $\ell $-adic cohomology is Galois invariant for all $\ell $.
Consider the family of automorphic L-functions associated with primitive cusp forms of level one, ordered by weight k. Assuming that k tends to infinity, we prove a new approximation formula for the cubic moment of shifted L-values over this family which relates it to the fourth moment of the Riemann zeta function. More precisely, the formula includes a conjectural main term, the fourth moment of the Riemann zeta function and error terms of size smaller than that predicted by the recipe conjectures.
The classical Mordell–Weil theorem implies that an abelian variety A over a number field K has only finitely many K-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\mathrm {cyc}}=K{\mathbb Q}^{\mathrm {ab}}$ by a result of Ribet. In this article, we consider the finiteness of torsion points of an abelian variety A over the infinite algebraic extension $K_B$ obtained by adjoining the coordinates of all torsion points of an abelian variety B. Assuming the Mumford–Tate conjecture, and up to a finite extension of the base field K, we give a necessary and sufficient condition for the finiteness of $A(K_B)_{\mathrm tors}$ in terms of Mumford–Tate groups. We give a complete answer when both abelian varieties have dimension at most 3, or when both have complex multiplication.
In recent years, mock theta functions in the modern sense have received great attention to seek examples of q-hypergeometric series and find their alternative representations. In this paper, we discover some new mock theta functions and express them in terms of Hecke-type double sums based on some basic hypergeometric series identities given by Z.G. Liu.