In this paper, we study the torsion subgroup of $J_0(N)$ over the field generated by those points in the cuspidal group, where $N$ is an odd positive integer. We prove that, considered as Hecke modules, this group and the cuspidal subgroup are both supported at the maximal Eisenstein ideals.
Let $\mathcal{C}_N$ be the cuspidal subgroup of the Jacobian $J_0(N)$ for a square-free integer $N>6$. For any Eisenstein maximal ideal $\mathfrak{m}$ of the Hecke ring of level $N$, we show that $\mathcal{C}_N[\mathfrak{m}]\neq 0$. To prove this, we calculate the index of an Eisenstein ideal $\mathcal{I}$ contained in $\mathfrak{m}$ by computing the order of a cuspidal divisor annihilated by $\mathcal{I}$.
Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $Γ_0(N)$, and its rational Eisenstein primes of $\mathbb{T}(N)$ containing $\ell$, defined in Section 3. If $\mathfrak{m}$ is such a rational Eisenstein prime, then we prove that $\mathfrak{m}$ is of the form $(\ell, ~\mathcal{I}^D_{M, N})$, where the ideal $\mathcal{I}^D_{M, N}$ of $\mathbb{T}(N)$ is also defined in Section 3. Furthermore, we prove that $\mathcal{C}(N)[\mathfrak{m}] \neq 0$, where $\mathcal{C}(N)$ is the …
Let $\mathbb{E}$ be a quadratic extension of a number field $\mathbb{F}$. Let $E(g, s)$ be an Eisenstein series on $GL_2(\mathbb{E})$, and let $F$ be a cuspidal automorphic form on $GL_2(\mathbb{F})$. We will consider in this paper the following automorphic integral: $$\int_{Z_{A}GL_{2}(\mathbb{F})\backslash GL_{2}(\mathbb{A}_{\mathbb{F}})} F(g)E(g,s) dg.$$ This is in some sense the complementary case to the well-known Rankin-Selberg integral and the triple product formula. We will approach this integral by Waldspurger's formula. We will discuss when the integral is automatically zero, and oth…
Let $G$ be an infinite-dimensional representation-theoretic Kac--Moody group associated to a nonsingular symmetrizable generalized Cartan matrix. We consider Eisenstein series on $G$ induced from unramified cusp forms on finite-dimensional Levi subgroups of maximal parabolic subgroups. Under a natural condition on maximal parabolic subgroups, we prove that the cuspidal Eisenstein series are entire on the full complex plane.
Cuspidal subgroups associated with non-rational Eisenstein maximal ideals
Indian Institute of Science Education and Research Pune(印度科学教育研究所浦那分校);Indian Institute of Technology Hyderabad(印度理工学院海德拉巴分校);Indian Institute of Technology Madras(印度理工学院马德拉斯分校);Institut für Mathematik, Universität Heidelberg(海德堡大学数学研究所)
Let $k > 3$ be an integer and $p$ a prime with $p > 2k-2$. Let $f$ be a newform of weight $2k-2$ and level 1 so that $f$ is ordinary at $p$ and $\barρ_{f}$ is irreducible. Under some additional hypotheses we prove that $ord_{p}(L_{alg}(k,f)) \leq ord_{p}(# S)$ where $S$ is the Pontryagin dual of the Selmer group associated to $ρ_{f} \otimes ε^{1-k}$ with $ε$ the $p$-adic cyclotomic character. We accomplish this by first constructing a congruence between the Saito-Kurokawa lift of $f$ and a non-CAP Siegel cusp form. Once this congruence is established, we use Galois representations to obtain th…
In this paper, we prove the entirety of loop group Eisenstein series induced from cusp forms on the underlying finite dimensional group, by demonstrating their absolute convergence on the full complex plane. This is quite in contrast to the finite-dimensional setting, where such series only converge absolutely in a right half plane (and have poles elsewhere coming from $L$-functions in their constant terms). Our result is the $\Q$-analog of a theorem of A. Braverman and D. Kazhdan from the function field setting, who previously showed the analogous Eisenstein series are finite sums.
We derive a precise relation of poles of Eisenstein series associated to the cuspidal datum $χ\otimesσ$ and the lowest occurrence of theta lifts of a cuspidal automorphic representation $σ$ of a unitary group, where $χ$ is a conjugate self-dual character. A key ingredient of the proof is the computation of period integrals of truncated Eisenstein series.
Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing $q(q-1)$, the $\ell$-primary part of this group coincides with that of the cuspidal divisor class group. We further determine the structure of the $\ell$-primary part of the cuspidal divisor class group for any prime $\ell$ not dividing $q-1$.
The automorphic cohomology of a connected reductive algebraic group defined over Q decomposes as a direct algebraic sum of cuspidal and Eisenstein cohomology. In the present paper we construct regular Eisenstein cohomology classes for congruence subgroups of a rational form G of Q-rank 2 of SO(n,2).
In this paper, we will study the arithmetic of the Eisenstein part of the modular Jacobians. In the first section, we introduce some general preliminaries of the arithmetic theory of modular curves that we will need later. In the second section, we give an example of modular abelian varieties due to Gross and study its properties in some details. In the third section, we define Eisenstein quotients of the modular Jacobians in general and give a criterion of the non-triviality of Heegner points on such Eisenstein quotients. The last two sections return to the concrete examples when the level of…
For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on a…
In this article, we compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series over the unitary group $\mathrm{U}(m+1, n+1)$ with a cuspidal automorphic form over $\mathrm{U}(m+1, n)$, and show that it is related to certain special Rankin-Selberg $L$-values. We $p$-adically interpolate these Gan-Gross-Prasad period integrals as the Klingen Eisenstein series and the cuspidal automorphic form vary in Hida families. As a byproduct, we obtain a $p$-adic $L$-function of Rankin-Selberg type over $\mathrm{U}(m,n) \times \mathrm{U}(m+1, n)$. The ultimate motivation is to show the $p$-pr…
Consider a subgroup of finite index of modular group. We give an analytic criterion for a cuspidal divisor to be torsion in the Jacobian of the corresponding modular curve. By BelyI theorem, such a criterion would apply to any curve over a number field. Our main tool is the explicit description, in terms of modular symbols, of what we call Eisenstein cycles. The latter are representations of relative homology classes over which integration of any holomorphic differential forms vanishes. Our approach relies in an essential way on the specific case , where we can consider convenient generalized …
For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
We study the Eisenstein ideal of Drinfeld modular curves of small levels, and the relation of the Eisenstein ideal to the cuspidal divisor group and the component groups of Jacobians of Drinfeld modular curves. We prove that the characteristic of the function field is an Eisenstein prime number when the level is an arbitrary non square-free ideal of $\mathbb{F}_q[T]$ not equal to a square of a prime.
We present a general conjecture on congruences between Hecke eigenvalues of parabolically induced and cuspidal automorphic representations of split reductive groups, modulo divisors of critical values of certain $L$-functions. We examine the consequences in several special cases, and use the Bloch-Kato conjecture to further motivate a belief in the congruences.
In 1995, Ehud de Shalit proved an analogue of a conjecture of Mazur--Tate for the modular Jacobian $J_0(p)$. His main result was valid away from the Eisenstein primes. We complete the work of de Shalit by including the Eisenstein primes, and give some applications such as an elementary combinatorial identity involving discrete logarithms of difference of supersingular $j$-invariants. An important tool is our recent work on the so called "generalized cuspidal $1$-motive".
We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.
We give constraints on the existence of $(χ,b)$-factors in the global $A$-parameter of a genuine cuspidal automorphic representation $σ$ of a metaplectic group in terms of the invariant, lowest occurrence index, of theta lifts to odd orthogonal groups. We also give a refined result that relates the invariant, first occurrence index, to non-vanishing of period integrals of residues of Eisenstein series associated to the cuspidal datum $χ\otimesσ$. This complements our previous results for symplectic groups.
For any positive integer $N$, we prove that the rational torsion subgroup of $J_0(N)$ agrees with its rational cuspidal subgroups up to a factor of $6N\prod_{p\mid N}(p^2-1)$. Moreover, for modular Jacobians of the form $J_0(DC)$ with $D$ a positive square-free integer and $C$ any positive divisor of $D$, we prove that the $ψ$-part of the torsion subgroup of $J_0(DC)$ agrees with the $ψ$-part of its cuspidal subgroup up to a factor of $6D\prod_{p\mid D}(p^2-1)$, where $ψ$ is any quadratic character of conductor dividing $C$.
We propose a conjectural explicit isogeny from the Jacobians of hyperelliptic Drinfeld modular curves to the Jacobians of hyperelliptic modular curves of $\mathcal{D}$-elliptic sheaves. The kernel of the isogeny is a subgroup of the cuspidal divisor group constructed by examining the canonical maps from the cuspidal divisor group into the component groups.
In this paper, we introduce a new family of period integrals attached to irreducible cuspidal automorphic representations $σ$ of symplectic groups $\mathrm{Sp}_{2n}(\mathbb{A})$, which detects the right-most pole of the $L$-function $L(s,σ\timesχ)$ for some character $χ$ of $F^\times\backslash\mathbb{A}^\times$ of order at most $2$, and hence the occurrence of a simple global Arthur parameter $(χ,b)$ in the global Arthur parameter $ψ$ attached to $σ$. We also give a characterisation of first occurrences of theta correspondence by (regularised) period integrals of residues of certain Eisenstein…
In this article, we set up a strategy to prove one divisibility towards the main Iwasawa conjecture for the Selmer groups attached to the twisted adjoint modular Galois representations associated to Hida families. This conjecture asserts the equality of the p-adic L-function interpoling the critical values of the symmetric square of the modular forms in these families and the characteristic ideal of the associated Selmer group. The idea is to introduce a third characteristic ideal containing informations on the congruences between cuspidal Siegel modular forms of genus 2 and the Klingen type E…
We define and study the space of mixed modular symbols for a given finite index subgroup $Γ$ of $SL_2(\mathbf{Z})$. This is an extension of the usual space of modular symbols, which in some cases carries more information about Eisenstein series. We make use of mixed modular symbols to construct some $1$-motives related to the generalized Jacobian of modular curves. In the case $Γ= Γ_0(p)$ for some prime $p$, we relate our construction to the work of Ehud de Shalit on $p$-adic periods of $X_0(p)$.
We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the $p$-adic Hecke algebra for $Γ_0(N)$, and show that it is a local complete intersection and isomorphic to a pseudodeformation ring. We also show that in certain cases, the Eisenstein ideal is not principal and that the cuspidal quotient of the Hecke algebra is not Gorenstein. As a corollary, we prove that "multiplicity one" fails for the modular Jacobian in these…
Mazur's fundamental work on Eisenstein ideals of prime level has a variety of arithmetic applications. In this article, we generalize some of his work to square-free level. More specifically, we attempt to compute the index of an Eisenstein ideal and the dimension of the m-torsion of the modular Jacobian variety, where m is an Eisenstein maximal ideal. In many cases, the dimension of the m-torsion is 2, in other words, a multiplicity one theorem holds.
We extend the usual notion of Petersson inner product on the space of cuspidal Jacobi forms to include non-cuspidal forms as well. This is done by examining carefully the relation between certain "growth-killing" invariant differential operators on $\mathbf H_2$ and those on $\mathbf{H}_1 \times \mathbf{C}$ (here $\mathbf H_n$ denotes the Siegel upper half space of degree $n$). As applications, we can understand better the growth of Petersson norms of Fourier Jacobi coefficients of Klingen Eisenstein series, which in turn has applications to finer issues about representation numbers of quadrat…
We prove congruences between cuspidal newforms and Eisenstein series of prime level, which generalize Ramanujan's congruence. Such congruences were recently found by Billerey and Menares, and we refine them by specifying the Atkin-Lehner eigenvalue of the newform involved. We show that similar refinements hold for the level raising congruences between cuspidal newforms of different levels, due to Ribet and Diamond. The proof relies on studying the new subspace and the Eisenstein subspace of the space of period polynomials for the congruence subgroup $Γ_0(N)$, and on a version of Ihara's lemma.
We work out instances of a general conjecture on congruences between Hecke eigenvalues of induced and cuspidal automorphic representations of a reductive group, modulo divisors of certain critical L-values, in the case that the group is a split orthogonal group. We provide some numerical evidence in the case that the group is SO(4,3) and the L-function is the spinor L-function of a genus 2, vector-valued, Siegel cusp form. We also consider the case that the group is SO(4,4) and the L-function is a triple product L-function.
Let $π$ traverse a sequence of cuspidal automorphic representations of GL(2) with large prime level, unramified central character and bounded infinity type. For G either of the groups GL(1) or PGL(2), let H(G) denote the assertion that subconvexity holds for G-twists of the adjoint $L$-function of $π$, with polynomial dependence upon the conductor of the twist. We show that H(GL(1)) implies H(PGL(2)). In geometric terms, H(PGL(2)) corresponds roughly to an instance of arithmetic quantum unique ergodicity with a power savings in the error term, H(GL(1)) to the special case in which the relevant…
We partially generalize the results of Kudla and Rallis on the poles of degenerate, Siegel-parabolic Eisenstein series to residual-data Eisenstein series. In particular, for $a,b$ integers greater than 1, we show that poles of the Eisenstein series induced from the Speh representation $Δ(τ,b)$ on the Levi $\mathrm{GL}_{ab}$ of $\mathrm{Sp}_{2ab}$ are located in the "segment" of half integers $X_{b}$ between a "right endpoint" and its negative, inclusive of endpoints. The right endpoint is $\pm b/2$, or $(b-1)/2$, depending on the analytic properties of the automorphic $L$-functions attached to…
We calculate a $\mathrm{G}_2$-period of a Fourier coefficient of a cuspidal Eisenstein series on the split simply-connected group $\mathrm{E}_6$, and relate this period to the Ginzburg-Rallis period of cusp forms on $\mathrm{GL}_6$. This gives us a relation between the Ginzburg-Rallis period and the central value of the exterior cube L-function of $\mathrm{GL}_6$
We study the arithmetic of Eisenstein cohomology classes (in the sense of G. Harder) for symmetric spaces associated to GL_2 over imaginary quadratic fields. We prove in many cases a lower bound on their denominator in terms of a special L-value of a Hecke character providing evidence for a conjecture of Harder that the denominator is given by this L-value. We also prove under some additional assumptions that the restriction of the classes to the boundary of the Borel-Serre compactification of the spaces is integral. Such classes are interesting for their use in congruences with cuspidal class…
We prove that the cuspidal eigencurve $C_{\mathrm{cusp}}$ is étale over the weight space at any classical weight $1$ Eisenstein point $f$ and meets two Eisenstein components of the eigencurve $C$ transversally at $f$. Further, we prove that the local ring of $C$ at $f$ is Cohen--Macaulay but not Gorenstein and compute the Fourier coefficients of a basis of overconvergent weight $1$ modular forms lying in the same generalised eigenspace as $f$. In addition, we prove an $R=T$ theorem for the local ring at $f$ of the closed subspace of $C$ given by the union of $C_{\mathrm{cusp}}$ and one Eisenst…
The paper investigates a significant part of the automorphic, in fact of the so-called Eisenstein cohomology of split odd orthogonal groups over Q. The main result provides a description of residual and regular Eisenstein cohomology classes for maximal parabolic Q-subgroups in case of generic cohomological cuspidal automorphic representations of their Levi subgroups. That is, such identifying necessary conditions on these latter representations as well as on the complex parameters in order for the associated Eisenstein series to possibly yield non-trivial classes in the automorphic cohomology.
Theta representations appear globally as the residues of Eisenstein series on covers of groups; their unramified local constituents may be characterized as subquotients of certain principal series. A cuspidal theta representation is one which is equal to the local twisted theta representation at almost all places. Cuspidal theta representations are known to exist but only for covers of $GL_j$, $j\leq 3$. In this paper we establish necessary conditions for the existence of cuspidal theta representations on the $r$-fold metaplectic cover of the general linear group of arbitrary rank.
Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight $k$ and level $Γ_0(\ell)$ at the maximal Eisenstein ideal containing $p$. We give a necessary and sufficient condition for the $\mathbb{Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for …
We give a general identity relating Eisenstein series on general linear groups. We do it by constructing an Eisenstein series, attached to a maximal parabolic subgroup and a pair of representations, one cuspidal and the other a character, and express it in terms of a degenerate Eisenstein series. In the local fields analogue, we prove the convergence in a half plane of the local integrals, and their meromorphic continuation. In addition, we find that the unramified calculation gives the Godement-Jacquet zeta function. This realizes and generalizes the construction proposed by Ginzburg and Soud…
We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic of modular curves points and dispenses us of the need for equations of modular curves and for q-expansion computations. The resulting algorithm compares very favourably to the complex-analytic method.
Let $F$ be a cuspidal eigenform of even weight and trivial nebentypus, let $p$ be a prime not dividing the level of $F$, and let $ρ_F$ be the $p$-adic Galois representation attached to $F$. Assume that the $L$-function attached to the symmetric cube of $ρ_F$ vanishes to odd order at its central point. Then under some mild hypotheses, and conditional on certain consequences of Arthur's conjectures, we construct a nontrivial element in the Bloch--Kato Selmer group of an appropriate twist of the symmetric cube of $ρ_F$, in accordance with the Bloch--Kato conjectures. Our technique is based on the…
In this article, we determine the structure of the $p$-primary subgroup of the cuspidal rational torsion subgroup of the Jacobian $J_1(p^n)$ of the modular curve $X_1(p^n)$ for a regular prime $p$.
Let $\frak{p}$ and $\frak{q}$ be two distinct prime ideals of $\mathbb{F}_q[T]$. We use the Eisenstein ideal of the Hecke algebra of the Drinfeld modular curve $X_0(\frak{p}\frak{q})$ to compare the rational torsion subgroup of the Jacobian $J_0(\frak{p}\frak{q})$ with its subgroup generated by the cuspidal divisors, and to produce explicit examples of Jacquet-Langlands isogenies. Our results are stronger than what is currently known about the analogues of these problems over $\mathbb{Q}$.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $χ$ modulo $C$, we prove that the $χ$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the $χ$-part of its cuspidal subgroup, away from those primes of bad reduction or where possible congruences between oldforms and newforms occur.
For any elliptic curve $E$ over $k\subset \Bbb R$ with $E({\Bbb C})={\Bbb C}^\times/q^{\Bbb Z}$, $q=e^{2πiz}, \Im(z)>0$, we study the $q$-average $D_{0,q}$, defined on $E({\Bbb C})$, of the function $D_0(z) = \Im(z/(1-z))$. Let $Ω^+(E)$ denote the real period of $E$. We show that there is a rational function $R \in {\Bbb Q}(X_1(N))$ such that for any non-cuspidal real point $s\in X_1(N)$ (which defines an elliptic curve $E(s)$ over $\Bbb R$ together with a point $P(s)$ of order $N$), $πD_{0,q}(P(s))$ equals $Ω^+(E(s))R(s)$. In particular, if $s$ is $\Bbb Q$-rational point of $X_1(N)$, a rare o…
Let $p$ be a prime greater than 3. Consider the modular curve $X_0(3p)$ over $\mathbb{Q}$ and its Jacobian variety $J_0(3p)$ over $\mathbb{Q}$. Let $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ be the group of rational torsion points on $J_0(3p)$ and the cuspidal group of $J_0(3p)$, respectively. We prove that the $3$-primary subgroups of $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ coincide unless $p\equiv 1 \pmod 9$ and $3^{\frac{p-1}{3}} \equiv 1 \!\pmod {p}$.
The cohomology $H^*(Γ, E) $ of a torsion-free arithmetic subgroup $Γ$ of the special linear $\mathbb{Q}$-group $\mathsf{G} = SL_n$ may be interpreted in terms of the automorphic spectrum of $Γ$. Within this framework, there is a decomposition of the cohomology into the cuspidal cohomology and the Eisenstein cohomology. The latter space is decomposed according to the classes $\{\mathsf{P}\}$ of associate proper parabolic $\mathbb{Q}$-subgroups of $\mathsf{G}$. Each summand $H^*_{\mathrm{\{P\}}}(Γ, E)$ is built up by Eisenstein series (or residues of such) attached to cuspidal automorphic forms …