This paper constructs three-variable p-adic triple product L-functions for Hida families, establishes explicit interpolation formulas, and proves their factorization into anticyclotomic p-adic L-functions, advancing the understanding of special values and conjectures in number theory.
Contribution
It introduces a new construction of p-adic triple product L-functions for Hida families and proves their explicit interpolation and factorization properties.
Established factorization into anticyclotomic p-adic L-functions.
Abstract
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we give a new construction of the anticyclotomic p-adic L-functions for elliptic curves in the definite case via the diagonal cycle Euler system \'a la Darmon and Rotger and obtain a Greenberg-Stevens style proof of anticyclotomic exceptional zero conjecture for elliptic curves due to Bertolini and…
E∞(VQ†)=(−1)−2kQ1 if Q∈XRf;E∞(VQ†)=(−1)1−kQ1−kQ2−kQ3 if Q∈XRbal.
E∞(VQ†)=(−1)−2kQ1 if Q∈XRf;E∞(VQ†)=(−1)1−kQ1−kQ2−kQ3 if Q∈XRbal.
Ep(FQ,Ad)=αQ−2nQ⎩⎨⎧(1−αQ−2χQ(p)pkQ−1)(1−αQ−2χQ(p)pkQ−2)−1p(kQ−2)nQg(χQ,(p))χQ,(p)(−1) if nQ=0, if nQ=1,χQ,(p)=1(so kQ=2), if nQ>0,χQ,(p)=1.
Ep(FQ,Ad)=αQ−2nQ⎩⎨⎧(1−αQ−2χQ(p)pkQ−1)(1−αQ−2χQ(p)pkQ−2)−1p(kQ−2)nQg(χQ,(p))χQ,(p)(−1) if nQ=0, if nQ=1,χQ,(p)=1(so kQ=2), if nQ>0,χQ,(p)=1.
ΓVQ†(s):=⎩⎨⎧ΓC(s+2wQ+1)ΓC(s+1−kQ1∗)ΓC(s+kQ2∗)ΓC(s+kQ3∗)ΓC(s+2wQ+1)ΓC(s+kQ1∗)ΓC(s+kQ2∗)ΓC(s+kQ3∗) if Q∈XRf; if Q∈XRbal.
ΓVQ†(s):=⎩⎨⎧ΓC(s+2wQ+1)ΓC(s+1−kQ1∗)ΓC(s+kQ2∗)ΓC(s+kQ3∗)ΓC(s+2wQ+1)ΓC(s+kQ1∗)ΓC(s+kQ2∗)ΓC(s+kQ3∗) if Q∈XRf; if Q∈XRbal.
kQi∗=2kQ1+kQ2+kQ3−kQi,i=1,2,3.
kQi∗=2kQ1+kQ2+kQ3−kQi,i=1,2,3.
Σfgsc
Σfgsc
Σfg
Σexc=Σgh⊔Σfh⊔Σfg.
Σexc=Σgh⊔Σfh⊔Σfg.
gcd(N1,N2,N3) is square-free.
gcd(N1,N2,N3) is square-free.
(LFf(Q))2=
(LFf(Q))2=
(LFbal(Q))2=
(LFbal(Q))2=
Ep(Filbal+VQ†)={−pα1α2α3(1−α1α2α3)3pα3−2(1−α1α2α3)2(1−α2α3α1)2 if E2 and E3 are semi-stable at p, otherwise.
Ep(Filbal+VQ†)={−pα1α2α3(1−α1α2α3)3pα3−2(1−α1α2α3)2(1−α2α3α1)2 if E2 and E3 are semi-stable at p, otherwise.
ε(VQ†)=ε(WDp(VQ†))=−α1α2α3=−1,
ε(VQ†)=ε(WDp(VQ†))=−α1α2α3=−1,
LFf:= the first Fourier coefficient of ηf⋅1f˘TrN/N1(eHaux)∈R,
LFf:= the first Fourier coefficient of ηf⋅1f˘TrN/N1(eHaux)∈R,
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Full text
Hida families and p-adic triple product L-functions
Ming-Lun Hsieh
Institute of Mathematics, Academia Sinica
Taipei 10617, Taiwan and National Center for Theoretic Sciences
We construct the three-variable p-adic triple product L-functions attached to Hida families of elliptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino’s formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we obtain a construction of the square root of the anticyclotomic p-adic L-functions for elliptic curves in the definite case via the diagonal cycle Euler system à la Darmon and Rotger and obtain a Greenberg-Stevens style proof of anticyclotomic exceptional zero conjecture for elliptic curves due to Bertolini and Darmon.
2010 Mathematics Subject Classification:
11F67, 11F33
This work was partially supported by a MOST grant 103-2115-M-002-012-MY5.
The aim of this paper is to construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms in the unbalanced and balanced case with explicit interpolation formulae at all critical specializations. Let p be an odd prime. Let O be a valuation ring finite flat over Zp. Let I be a normal domain finite flat over the Iwasawa algebra Λ=O[[Γ]] of the topological group Γ=1+pZp. Let
[TABLE]
be the triplet of primitive Hida families of tame conductor (N1,N2,N3) and nebentypus (ψ1,ψ2,ψ3) with coefficients in I. Roughly speaking, we construct a three-variable Iwasawa function over the weight space of F interpolating the square root of the algebraic part of central values of the triple product L-function attached to FQ and prove explicit interpolation formulae at all critical specializations. We would like to emphasize that our formulae completely comply with the conjectural form described in [CPR89], [Coa89a] and [Coa89b] and is compatible with other known p-adic L-functions. For example, when g and h are primitive Hida families of CM forms by some imaginary quadratic field, we show that the unbalanced p-adic L-function is the product of theta elements à la Bertolini-Darmon. In order to state our result precisely, we need to introduce some notation from Hida theory for elliptic modular forms and technical items such as the modified Euler factors at p and the canonical periods of Hida families in the theory of p-adic L-functions.
1.1. Galois representations attached to Hida families
If F=∑n≥1a(n,F)qn∈I[[q]] is a primitive cuspidal Hida family of tame conductor NF, let ρF:GQ=Gal(Q/Q)→GL2(FracI) be the associated big Galois representation such that TrρF(Frobℓ)=a(ℓ,F) for primes ℓ∤NF, where Frobℓ is the geometric Frobenius at ℓ and let VF denote the natural realization of ρF inside the étale cohomology groups of modular curves. Thus, VF is a lattice in (FracI)2 with the continuous Galois action via ρF, and the Gal(Qp/Qp)-invariant subspace Fil0VF:=VFIp fixed by the inertia group Ip at p is free of rank one over I ([Oht00, Corollary, page 558])). We recall the specialization of VF at arithmetic points. A point Q∈SpecI(Qp) is called an arithmetic point of weight kQ and finite part ϵQ if Q∣Γ:Γ→Λ×⟶QQp× is given by Q(x)=xkQϵQ(x) for some integer kQ≥2 and a finite order character ϵQ:Γ→Qp×. Let XI+ be the set of arithmetic points of I. For each arithmetic point Q∈XI+, the specialization VFQ:=VF⊗I,QQp is the geometric p-adic Galois representation associated with the eigenform FQ of constructed by Shimura and Deligne.
1.2. Triple product L-functions
Let V=Vf⊗OVg⊗OVh be the triple product Galois representation of rank eight over R a finite extension of the three-variable Iwasawa algebra given by
[TABLE]
Let XR+⊂SpecR(Qp) be the weight space of arithmetic points of R given by
[TABLE]
For each arithmetic point Q=(Q1,Q2,Q3)∈XR+,
the specialization VQ=VfQ1⊗VgQ2⊗VhQ3 is a p-adic geometric Galois representation of pure weight wQ:=kQ1+kQ2+kQ3−3. Let ω:(Z/pZ)×→μp−1 be the Teichmüller character. We assume that
[TABLE]
Then (ev) implies that the determinant detV=X2εcyc, where εcyc is the p-adic cyclotomic character and X is a R-adic p-ramified Galois character with X(c)=(−1)a (c is the complex conjugation). Note that the specialization of X at Q can be written as the product XQ=χQεcyc−2wQ+1 with a finite order character χQ. We consider the critical twist
[TABLE]
Then V† is self-dual in the sense that (V†)∨(1)=V†. Next we briefly recall the complex L-function associated with the specialization VQ†. For each place ℓ, denote by WQℓ the Weil-Deligne group of Qℓ. To the geometric p-adic Galois representation VQ†, we can associate the Weil-Deligne representation WDℓ(VQ†) of WQℓ over Qp (See [Tat79, (4.2.1)] for ℓ=p and [Fon94, (4.2.3)] for ℓ=p). Fixing an isomorphism ιp:Qp≃C once and for all, we define the complex L-function of VQ† by the Euler product
[TABLE]
of the local L-factors Lℓ(VQ†,s) attached to
WDℓ(VQ†)⊗Qp,ιpC ([Del79, (1.2.2)], [Tay04, page 85]). On the other hand, we denote by πfQ1=⊗vπfQ1,v (resp. πgQ1,πhQ3) the irreducible unitary cuspidal automorphic representation of GL2(A) associated with fQ1 (resp. gQ2,hQ3) and let
[TABLE]
be the irreducible unitary automorphic representation of GL2(A)×GL2(A)×GL2(A).
Denote by L(s,ΠQ) the automorphic L-function defined by Garrett, Piateski-Shapiro and Rallis attached to the triple product ΠQ. The analytic theory of L(s,ΠQ) such as functional equations and analytic continuation has been explored extensively in the literature (cf. [PSR87]), and thanks to [Ram00, Theorem 4.4.1], we have
[TABLE]
Here ΓVQ†(s) is the archimedean L-factor of VQ† and is a finite product of four classical Γ-functions (see (1.4)). Moreover, there is a positive integer N(VQ†) and the root number ε(VQ†)∈{±1} such that the complete L-function Λ(VQ,s) satisfies the functional equation
[TABLE]
We thus have a good understanding of the complex analytic behavior of L(VQ†,s). On the arithmetic side, Deligne’s conjecture for the critical central value L(VQ†,0) has been proved in [HK91]. In this article, we shall investigate the p-adic analytic behavior of the algebraic part of L(VQ†,0) viewed as a function on the weight space XR+. It is natural to first consider the behavior of the root number ε(VQ†) of VQ† (or ΠQ) over the weight space. The global root number
[TABLE]
is defined as the product of local constants, where ε(?) is the local epsilon factor attached to a Weil-Deligne representation (cf. [Tat79, page 21]) with respect to the standard choice of a non-trivial additive character of Qp and measures on Qp in [Del79, 5.3]. For each arithmetic point Q∈XR+, we put
[TABLE]
It is known that there is a subset Σ− of prime factors of N1N2N3 such that Σ−=Σ−(Q) for all Q∈XR+.
For the archimedean root number, we partition the weight space XR+ into XRf⊔XRg⊔XRh⊔XRbal, where XRf is the unbalanced range dominated by f given by
[TABLE]
The union XRunb:=XRf⊔XRg⊔XRh is called the unbalanced range. Then we know that
[TABLE]
1.3. The modified Euler factors at p and ∞
Let GQp be the decomposition group at p. We consider the following rank four GQp-invariant subspaces of VQ:
[TABLE]
Let ∙∈{f,bal}. Define the filtrations Fil∙+V†:=Fil∙V⊗X−1⊂V†.
The pair (Fil∙+V†,XR∙)
satisfies the Panchishkin condition in [Gre94, page 217]) in the sense that for each arithmetic point Q∈XR∙, the Hodge-Tate numbers of Fil∙+VQ† are all positive, while the Hodge-Tate numbers of V†/Fil∙+VQ† are all non-positive.111The Hodge-Tate number of Qp(1) is one in our convention. Now we can define the modified p-Euler factor by
[TABLE]
We note that this modified p-Euler factor is precisely the ratio between the factor Lp(−1)(VQ†) in [Coa89b, page 109, (18)] and the local L-factor Lp(VQ†,0).
In the theory of p-adic L-functions, we also need the modified Euler factor E∞(VQ†) at the archimedean place observed by Deligne. It is defined to be the ratio between the factor L∞(−1)(VQ†) in [Coa89b, page 103 (4)] and the Gamma factor ΓVQ†(0) and is explicitly given by
[TABLE]
1.4. Hida’s canonical periods
To make our interpolation formula meaningful, we must give the precise definition of periods for the motive VQ†. We begin by recalling Hida’s canonical period of a I-adic primitive cuspidal Hida family F of tame conductor NF. Let mI be the maximal ideal of I. For a subset Σ of the support of NF, we consider the following
Hypothesis** (CR,Σ).**
The residual Galois representation ρˉF:=ρF(\mboxmodmI):GQ→GL2(Fˉp) is absolutely irreducible and p-distinguished. Moreover, ρˉF is ramified at every ℓ∈Σ with ℓ≡1(\mboxmodp).
When Σ=∅ is the empty set, we shall simply write (CR) for (CR,∅).
Recall that ρF is p-distinguished if the semi-simplication of the restriction of the residual Galois representation ρF(\mboxmodmI) to the decomposition at p is a sum of two characters χF+⊕χF− with χF+≡χF−(\mboxmodmI).
Suppose that F satisfies (CR). The local component of the universal cuspidal ordinary Hecke algebra corresponding to F is known to be Gorenstein by [MW86, Prop.2, §9] and [Wil95, Corollary 2, page 482], and with this Gorenstein property, Hida proved in [Hid88a, Theorem 0.1] that the congruence module for F is isomorphic to I/(ηF) for some non-zero element ηF∈I. Moreover, for any arithmetic point Q∈XI+, the specialization ηFQ=Q(ηF) generates the congruence ideal of FQ. We denote by FQ∘ the normalized newform of weight kQ, conductor NQ=NFpnQ with nebentypus χQ corresponding to FQ. There is a unique decomposition χQ=χQ′χQ,(p), where χQ′ and χQ,(p) are Dirichlet characters modulo NF and pnQ respectively. Let αQ=a(p,FQ). Define the modified Euler factor Ep(FQ,Ad) for adjoint motive of FQ by
[TABLE]
Here g(χQ,(p)) is the usual Gauss sum. Fixing a choice of the generator ηF and letting ∥FQ∘∥Γ0(NQ)2 be the usual Petersson norm of FQ∘, we define the canonical periodΩFQ of F at Q by
[TABLE]
By [Hid16, Corollary 6.24, Theorem 6.28], one can show that for each arithmetic point Q, up to a p-adic unit, the period ΩFQ is equal to the product of the plus/minus canonical period Ω(+;FQ∘)Ω(−;FQ∘) introduced in [Hid94, page 488].
1.5. Definitions of Γ-factors and an exceptional finite set Σexc
We recall the definition of Γ-factors of VQ† following the recipe in [Del79]:
[TABLE]
Here ΓC(s)=2(2π)−sΓ(s) and
[TABLE]
For each prime ℓ, let τQℓ2 be the unique unramified quadratic character of Qℓ×. Let (f,g,h)=(fQ1,gQ2,hQ3) be the specialization of F at Q and put
[TABLE]
Define Σfh and Σfg likewise. We introduce the finite set
[TABLE]
It is known that this set Σexc does not depend on any particular choice of the specializations of (f,g,h).
1.6. Statement of the main results
We impose the following technical assumption:
[TABLE]
Our first result is the construction of the unbalanced p-adic triple product L-functions:
Theorem A**.**
In addition to (ev) and (sf), we further suppose that
(1)
Σ−=∅,
2. (2)
f* satisfies (CR).*
Fix a generator ηf of the congruence ideal of f. There exists a unique element LFf∈R such that for every Q=(Q1,Q2,Q3)∈XRf in the unbalanced range dominated by f, we have
[TABLE]
This p-adic L-function LFf is unique up to a choice of generators of the congruence ideal of f, i.e. it is unique up to a unit in I, but the ratio LFf/ηf is a genuine p-adic L-function. By symmetry, we actually obtain from Theorem A two more p-adic L-functions LFg and LFh which interpolate central L-values at XRg and XRh respectively. These p-adic L-functions LFf,LFg and LFh are called unbalancedp-adic triple product L-functions as they interpolate a square root of the critical central L-values of the triple product L-function L(VQ†,s) for Q∈XRunb at the unbalanced range; from the interpolation formula, these p-adic L-functions are distinguished by the choices of the modified Euler factor at p and the complex periods. In the literature, the one-variable unbalanced p-adic triple product L-functions were first constructed by Harris and Tilouine in [HT01b] (when N1=N2=N3=1). Darmon and Rotger in [DR14] extended the method in [HT01b] to construct a three-variable power series interpolating the global trilinear period of a triplet of Hida families and proved the interpolation formulae at the balanced range, which is in connection with the p-adic Abel-Jacobi image of diagonal cycles in a triple product of modular curves. This is a p-adic analogue of the classical Gross-Zagier formula and has obtained very significant arithmetic application to certain equivariant BSD conjectures in [DR17]. On the other hand, it is well known that the relation of the interpolation at the unbalanced range to central L-values is suggested by the main identity of Harris and Kudla [HK91], or in general, Ichino’s formula [Ich08], but the interpolation formulae at the unbalanced range in the literature are not precise enough for more refined arithmetic applications such as the formulation of corresponding Iwasawa-Greenberg main conjecture. Therefore, Theorem A complements the literature by providing a precise relation of the values of p-adic triple product L-functions at all arithmetic points in the unbalanced range to central L-values of the complex triple product L-functions.
Our main motivation is to use Theorem A to prove the factorization of p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions. For example, if g and h are primitive Hida families of CM forms associated with some imaginary quadratic field, then LFf is a product of two square roots of anticyclotomic p-adic L-functions for modular forms constructed in [BD96] and [CH18b]; in contrast, if f and g are primitive Hida families of CM forms, then LFf is a product of two anticyclotomic p-adic L-functions in [BDP13] divided by some Katz p-adic L-function. The latter gives a strengthening of [DLR15, Theorem 3.9] and [Col16]. With this factorization, we can easily show that the square root of the anticyclotomic p-adic L-functions in the definite case can be recovered by the Euler system of generalized Kato classes [DR17] (See Remark 8.2) and provide a new proof of the anticyclotomic exceptional zero conjecture for elliptic curves. These factorizations of p-adic triple product L-functions are obtained via the direct comparison of the explicit interpolation formulae of p-adic L-functions at critical points. These examples are much simpler than the factorization formulae of Katz p-adic L-functions for imaginary quadratic fields and p-adic L-functions for the symmetric square of elliptic newforms, proved by Gross and Dasgupta respectively, where no critical interpolation is available. In a joint work with F. Castella [CH18a], we explore this Euler system construction of the square root of the anticyclotomic p-adic L-functions for elliptic curves and show the non-vanishing of the generalized Kato classes in the rank two case for elliptic curves of rank two.
Next we state our second result about the balanced p-adic triple product L-functions.
Theorem B**.**
Let N=lcm(N1,N2,N3) and N− be the square-free product of primes in Σ−. In addition to (ev) and (sf), we further suppose that p>3 and
(1)
#(Σ−)* is odd,*
2. (2)
f,g* and h satisfy (CR, Σ−),*
3. (3)
N=N+N−* with gcd(N+,N−)=1.*
Then there exists a unique element LFbal∈R satisfies the following interpolation property: for any arithmetic point Q∈XRbal, we have
[TABLE]
We must mention that the p-adic interpolation of global trilinear period integrals attached to a triplet of p-adic families of modular forms in the balanced range was first investigated by Greenberg and Seveso in a pioneering work [GS16]. Our construction is ostensibly different from theirs for their method heavily relies on the theory of Ash-Stevens while our approach is built on classical Hida theory developed in [Hid88b]. Indeed, their method treats more general setting, namely they do not restrict to the ordinary case, while our approach is more well-suited for the future investigation on the arithmetic of the balanced p-adic L-functions such as the μ-invariants and the Iwasawa-Greenberg main conjecture. The situation is more or less similar to the two different constructions of two-variable p-adic L-functions for Hida families given by Greenberg-Stevens and Mazur-Kitagawa. In any case, it is definitely very interesting to compare these two different approaches in the ordinary case.
Remark 1.1**.**
We discuss briefly the exceptional zero phenomenon for the balanced p-adic L-functions. By the Ramanujan conjecture, the modified p-Euler factor Ep(Filbal+VQ†) never vanishes unless either of fQ1,gQ2,hQ3 is special at p. For example, suppose that F=(f,g,h) is the triplet of primitive Hida families passing through the p-stabilized newforms (f1,f2,f3) attached to elliptic curves (E1,E2,E3) over Q at the weight two specialization Q. Let αi=a(p,fi) be the p-th Fourier coefficient of fi for i=1,2,3. Assume E1 is semi-stable at p (i.e. α1=±1). Then the formula of the modified p-Euler factor reads
[TABLE]
We thus conclude that LFbal posseses an exceptional zero at Q when either (i) E2 and E3 are semi-stable at p and α1α2α3=1 or (ii) E2 and E3 has good ordinary reduction at p and α2=α3α1. In the case (i), we even have the vanishing of the central value L(VQ†,0)=L(E1×E2×E3,2)=0 as the global root number
[TABLE]
so one might speculate about a p-adic Gross-Zaiger formula relating certain “second partial derivatives” of LFbal at Q to the p-adic Abel-Jacobi image of diagonal cycle in the Shimura curve XN+,pN− attached to the quaternion algebra ramified precisely at pN− as [BD07, Theorem 1]. We hope to come back to this question in the near future.
1.7. An outline of the proof
The construction of the unbalanced p-adic L-function is based on Hida’s p-adic Rankin-Selberg convolution (cf. [Hid93]). Denote by eS(N,χ,I)⊂I[[q]] the space of ordinary I-adic cusp forms with tame nebentypus χ and by T(N,χ,I) the universal ordinary cuspidal Hecke algebra. Decompose the tame nebentypus ψ1 of f into a product of Dirichlet characters ψ1,(p) and ψ1(p) modulo p and N1 respectively and let χ:=ψ1,(p)ψ1(p). Let f˘∈eS(N1,χ,I) be the primitive Hida family of f twisted by ψ1(p) and let 1f˘∈T(N1,χ,I)⊗IFracI be the idempotent corresponding to f˘. By the definition of congruence ideals, one can verify that ηf⋅1f˘ indeed belongs to T(N,χ,I). In §3.6 (3.8), we construct an auxiliary R-adic modular form eHaux∈eS(N,χ,I)⊗I,i1R⊂R[[q]], where i1:I→R is the homomorphism a↦a⊗1⊗1, and then the unbalanced p-adic L-function is defined to be
[TABLE]
where TrN/N1:eS(N,χ,I)→eS(N1,χ,I) is the usual trace map.
In the balanced case, Hida theory for definite quaternion algebras plays an important role. Let D be the definite quaternion algebra over Q of the absolute discriminant N−, and for each positive integer m, let Xm be the definite Shimura curve of level Γ1(pnN) associated with D as described in [LV11, §2.1]. These are curves of genus zero equipped with a natural finite covering map αm:Xm→Xm−1. We let Jm=PicXm⊗ZZp and let J∞:=limn→∞Jm be the inverse limit induced by αm. Then J∞ is a Λ-module with Hecke action, and its ordinary part J∞ord is equipped with the action of the Σ−-new quotient of the universal ordinay cuspidal Hecke algebra of level Γ1(Np∞). The I-module eSD(N,I):=HomΛ(J∞ord,I) is called the space of Hida families of definite quaternionic forms. Due to the lack of q-expansions, we do not have the notion of primitive Hida families on definite quaternion algebras. Nonetheless, using the idea of Pollack and Weston [PW11] and Hida theory, for a primitive Hida family F satisfying (CR, Σ−), it can be shown that there exists Hecke eigenform FD∈eSD(N,I), unique up to a unit in I, characterized by the following properties (i) FD shares the same Hecke eigenvalues with F; (ii) FD is non-zero modulo mI (Theorem 4.5). We shall call FD the primitive Jacquet-Langlands lift of F. Let Jmord:=Jmord⊗OJmord⊗OJmord and J∞ord=limm→∞Jmord. With the assumption (2) in Theorem B, we thus obtain the primitive Jacquet-Langlands lift FD=fD⊠gD⊠hD∈Hom(J∞ord,R). On the other hand, in Definition 4.6, we construct a collection of regularized diagonal cycles Δm† in Jmord which are compatible with respect to αm and thus get the big diagonal cycleΔ∞†:=limm→∞Δm†∈J∞ord. In order to achieve the optimal integrality of p-adic L-functions, we actually take a modification FD⋆∈Hom(J∞ord,R) of FD in Definition 4.8, and then define the balanced p-adic L-function
[TABLE]
to be the value of the modified FD⋆ at Δ∞†. This p-adic L-function ΘFD is an analogue of theta elements à la Bertolini and Darmon ([BD96]) in the triple product setting.
To obtain the interpolation formula in Theorem A and B, we first prove that the interpolation LFf(Q) at Q∈XRf (resp. Lf,Σ−(Q) at Q∈XRbal) is given by the global trilinear period integral of certain automorphic forms in the cuspidal automorphic representation ΠQ of GL2(AE) (resp. the automorphic representation ΠQD of (D⊗AE)× via the Jacquet-Langlands transfer), where E=Q⊕Q⊕Q is the split étale cubic Q-algebra (See Proposition 3.7 and 4.9). Thanks to Ichino’s formula in [Ich08], we can show that the square of this global trilinear period integral is a product of the central L-value L(1/2,ΠQ) and certain local zeta integrals Iv(ϕv⋆⊗ϕv⋆) (See §3.8.2 for definitions), which we shall call local Ichino integrals in the introduction. The proof of the interpolation formulae therefore boils down to the determination of the values of these local Ichino integrals. In the literature, local Ichino integrals were only computed for some special cases [II10], [NPS14] and [Hu17]. Local Ichino integrals at the real place are completely determined in a recent work [CC18], but the explicit calculation of local Ichino integrals at non-archimedean places in the generality we need is a highly laborious task and occupies a substantial part of this paper. The key ingredient in our computation is Proposition 5.1, a generalization of [MV10, Lemma 3.4.2] by removing several restrictive conditions therein, which reduces the calculation of local Ichino integrals to that of certain local Rankin-Selberg integrals in [GJ78, (1.1.3)]. With local theory of L-functions on GL(2)×GL(2) developed by Jacquet in [Jac72], we are able to work out the calculation of local Rankin-Selberg integrals under (sf) and certain minimal hypothesis (See Hypothesis 6.1). It turns out that the p-adic Ichino integral gives the modified p-Euler factor Ep(Fil∙+VQ†), while local Ichino integrals at ramified places ℓ only contributes p-adic units if ℓ∈Σexc or (1+ℓ−1)2 if ℓ∈Σexc. This minimal hypothesis, roughly speaking, requires F to be minimal in the sense that F has the minimal conductor among Dirichlet twists. By taking a suitable Dirichlet twist F′=(f⊗χ1,g⊗χ2,h⊗χ3) with χ1χ2χ3=1 which satisfies the minimal hypothesis, we obtain the desired p-adic L-functions
[TABLE]
The interpolation formulae is a direct consequence of the explicit evaluation of local Ichino integrals and the comparison between the canonical periods of F and its Dirichlet twist F′ established in §7.2. We conclude this paragraph by mentioning that the method of this paper has been extended by Isao Ishikawa in [Ish17] to construct p-adic twisted triple product L-functions attached a Hida family of Hilbert modular form over a real quadratic field and a Hida family of elliptic modular forms.
This paper is organized as follows. In §2, we recall basic definitions and facts about classical elliptic modular forms and automorphic forms on GL2(A). In §3, we give the construction of the unbalanced p-adic triple product L-functions LFf. The key items used in the construction of Haux, the test Λ-adic forms g⋆ and h⋆, are introduced in Definition 3.3. The main formula is derived in Corollary 3.13, where we show the interpolation of the square of LFf at the unbalanced range is the product of the central L-value of the triple product L-function and local Ichino integrals at the prime p and ramified primes. In §4, we consider the balanced case. We review Hida’s theory for definite quaterninoic forms in §4.4 and §4.5. In particular, we present a slightly explicit version of the control theorem in Theorem 4.2 and explain the notion of primitive Jacquet-Langlands lifts in Theorem 4.5. The construction of the big diagonal cycle Δ∞† and the balanced p-adic L-functions are given in §4.6 and §4.7. The relation between the interpolation of the square of our balanced p-adic L-functions and the product of the central L-value and local Ichino integrals is given in Corollary 4.13. In §5, we prepare the tools for the computation of local Ichino integrals and carry out the calculations at the p-adic place, and in §6, we elaborate the calculation of local Ichino integrals at ramified primes. In particular, we show in §6.6 that the local Ichino integrals at ramified places can be interpolated into a unit in the ring R of three-variable Iwasawa functions. In §7, we prove the main results (Theorem 7.1) and show that the canonical periods of a primitive Hida family and its Dirichlet twists are equal up to a unit in I by the method of level-raising. Finally, we prove the factorization of anticyclotomic p-adic L-functions and give applications in §8.
Acknowledgments*.*
Part of this work was done during the author’s multiple visits to Tohoku University supported by the program Advancing Strategic International Networks to Accelerate
the Circulation of Talented Researchers during 2015–2017. The author would like to thank Masataka Chida, Shinichi Kobayashi and Nobuo Tsuzuki for their hospitality during the period of this program. The author also thanks Shih-Yu Chen and Yao Cheng fo the very help discussions during the preparation of this article. Finally, the author is grateful to the referees for the suggestions and comments on the improvement of the manuscript.
Notation
The following notations will be used frequently throughout the paper. Let A be the ring of adeles of Q. If v is a place of Q, let Qv be the completion of Q with respect to v, and for a∈A×, let av∈Qv× be the v-component of a. Denote by ∣⋅∣v (or simply ∣⋅∣ if there is no fear of confusion) the absolute value on Qv normalized so that ∣⋅∣ is the usual absolute value on R if v=∞ and ∣ℓ∣ℓ=ℓ−1 if v=ℓ is finite. Let ∣⋅∣A be the absolute value on A× given by ∣a∣A=∏v∣av∣v. Let ζv(s) be the usual local zeta function of Qv. Namely,
[TABLE]
Define the global zeta function ζQ(s) of Q by ζQ(s)=∏vζv(s). In particular, ζQ(2)=π−1⋅ζ(2)=π/6.
For a prime ℓ, let vℓ:Qℓ×→C× be the valuation normalized so that vℓ(ℓ)=1. We shall regard Qℓ and Qℓ× as subgroups of A and A× in a natural way. To avoid possible confusion, denote ϖℓ=(ϖℓ,v)∈A× by the idele defined by ϖℓ,ℓ=ℓ and ϖℓ,v=1 if v=ℓ.
Let ψQ:A/Q→C× be the additive character with the archimedean component ψR(x)=exp(2π−1x) and let ψQℓ:Qℓ→C× be the local component of ψQ at ℓ.
If R is a commutative ring and G=GL2(R), we denote by ρ the right translation of G on the space of C-valued functions on G: ρ(g)f(g′)=f(g′g) and by 1:G→C the constant function 1(g)=1. For a function f:G→C and a character χ:R×→C×, let f⊗χ:G→C denote the function f⊗χ(g)=f(g)χ(detg).
Let GQ=Gal(Q/Q) be the absolute Galois group of Q and if χ:(Z/NZ)×→C× is Dirichlet character modulo N, denote by cℓ(χ)≤vℓ(N) the ℓ-exponent of the conductor of χ. We shall identify χ with the Galois character χ:GQ→C× via class field theory.
If ω:Q×\A×→Q× is a finite order Hecke character, we denote by ωℓ:Qℓ×→C× the local component of ω at ℓ. On the other hand, we write ω=ω(ℓ)ω(ℓ), where ω(ℓ) and ω(ℓ) are finite order Hecke characters of conductor ℓ-power and of prime-to-ℓ conductor respectively. With every Dirichlet character χ of conductor N, we can associate a Hecke character χA, called the adelization of χ, which is the unique finite order Hecke character χA:Q×\A×/R+(1+NZ)×→C× of conductor N such that χA(ϖℓ)=χ(ℓ)−1 for any prime ℓ∤N. We often identify Dirichlet characters with their adelization whenever no confusion arises. Then χℓ(ℓ)=χ(ℓ)−1 for ℓ∤N.
2. Classical modular forms and automorphic forms
In this section, we recall basic definitions and facts about classical elliptic modular forms and automorphic forms on GL2(A). The main purpose of this section is to set up the notation and introduce some Hecke operators on the space of automorphic forms which will be frequently used in the construction of p-adic L-functions.
2.1. Classical modular forms
Let C∞(H) be the space of C-valued smooth functions on the upper half complex plane H. Let k be any integer. Let γ=(acbd)∈GL2+(R) act on z∈H by γ(z)=cz+daz+b, and for f=f(z)∈C∞(H), define
[TABLE]
Recall that the Maass-Shimura differential operators δk and ε on C∞(H) are given by
[TABLE]
(cf. [Hid93, (1a, 1b) page 310]). Let N be a positive integer and χ:(Z/NZ)×→C× be a Dirichlet character modulo N. Let m be a non-negative integer. Denote by Nk[m](N,χ) the space of nearly holomorphic modular forms of weight k, level N and character χ, consisting of slowly increasing functions f∈C∞(H) such that εm+1f=0 and
[TABLE]
(cf. [Hid93, page 314]). Let Nk(N,χ)=⋃m=0∞Nk[m](N,χ).(cf. [Hid93, (1a), page 310])
By definition, Nk[0](N,χ)=Mk(N,χ) is the space of classical holomorphic modular forms of weight k, level N and character χ. Denote by Sk(N,χ) the space of holomorphic cusp forms in Mk(N,χ). Let δkm=δk+2m−2⋯δk+2δk. If f∈Nk(N,χ) is a nearly holomorphic modular form of weight k, then δkmf∈Nk+2m(N,χ) has weight k+2m ([Hid93, page 312]. For a positive integer d, define
[TABLE]
and recall that the classical Hecke operators Tℓ for primes ℓ∤N are given by
[TABLE]
We say f∈Nk(N,χ) is a Hecke eigenform if f is an eigenfunction of all the Hecke operators Tℓ for ℓ∤N and the operators Uℓ for ℓ∣N.
If f∈Mk(N,χ), let
[TABLE]
be the q-expansion (at the infinity cusp). If κ is a Dirichlet character modulo M, define f∣[κ]∈Mk(NM2,χκ2) the twist of f by κ to be the unique modular form with the q-expansion
[TABLE]
2.2. Automorphic forms on GL2(A)
Let N be a positive integer. Define open-compact subgroups of GL2(Z) by
[TABLE]
Let ω:Q×\A×→C× be a finite order Hecke character of level N. We extend ω to a character of U0(N) defined by ω((acbd))=∏ℓ∣Nωℓ(dℓ) for (acbd)∈U0(N), where ωℓ:Qℓ×→C× is the ℓ-component of ω. Denote by A(ω) the space of automorphic forms on GL2(A) with central character ω. For any integer k, let Ak(N,ω)⊂A(ω) be the space of automorphic forms on GL2(A) of weight k, level N and character ω. Namely, Ak(N,ω) consists of automorphic forms φ:GL2(A)→C such that
[TABLE]
Let Ak0(N,ω) be the space of cusp forms in Ak(N,ω).
Next we introduce important local Hecke operators on automorphic forms. At the archimedean place, let V±:Ak(N,ω)→Ak±2(N,ω) be the normalized weight raising/lowering operator in [JL70, page 165] given by
[TABLE]
The level-raising operator Vℓ:Ak(N,ω)→Ak(Nℓ,ω) at a finite prime ℓ by
[TABLE]
If d=∏ℓℓvℓ(d) is an positive integer, define Vd:Ak(N,ω)→Ak(Nd,χ) by
[TABLE]
Define the operator Uℓ on φ∈Ak(N,ω) by
[TABLE]
Note that UℓVℓφ=ℓφ and that if ℓ∣N, then Uℓ∈EndCAk(N,ω). For each prime ℓ∤N, let Tℓ∈EndCAk(N,ω) be the usual Hecke operator defined by
[TABLE]
We introduce the twisting operator θℓκ attached to a Dirichlet character κ of modulo ℓs for some s>0. Let ℓn be the conductor of κ. If n>0, define the Gauss sum g(κ) by
[TABLE]
For φ∈Ak(N,ω), we define θℓκφ:GL2(A)→C by
[TABLE]
2.3.
We briefly recall a well-known connection between modular forms and automorphic forms. With each nearly holomorphic modular form f∈Nk(N,χ), we associate a unique automorphic form Φ(f)∈Ak(N,χA−1) defined by the equation
[TABLE]
for α∈GL2(Q), g∞∈GL2+(R) and u∈U0(N) (cf. [Cas73, §3]). We call Φ(f) the adelic lift of f. Conversely, we can recover the form f from Φ(f) by
[TABLE]
The weight raising/lowering operators are the adelic avatar of the Maass-Shimura differential operators δkm and ε on the space of automorphic forms. A direct computation shows that the map Φ is equivariant for the Hecke action in the sense that
[TABLE]
for a positive integer d,
[TABLE]
and for a finite prime ℓ
[TABLE]
In particular, f is holomorphic if and only if V−Φ(f)=0. For f∈Mk(N,χ) and κ a Dirichlet character modulo a ℓ-power, one verifies that
[TABLE]
2.4. Preliminaries on irreducible representations of GL2(Qv)
2.4.1. Measures
We shall normalize the Haar measures on Qv and Qv× as follows. If v=∞, dx or dy denotes the usual Lebesgue measure on R and the measure d×y on R× is ∣y∣−1dy. If v=ℓ is a finite prime, denote by dx the Haar measure on Qℓ with vol(Zℓ,dx)=1 and by d×y the Haar measure on Qℓ× with vol(Zℓ×,d×y)=1. Define the compact subgroup Kv of GL2(Qv) by Kv=O(2,R) if v=∞ and Kv=GL2(Zv) if v is finite. Let dkv be the Haar measure on Kv so that vol(Kv,dkv)=1. Let dgv be the Haar measure on PGL2(Qv) given by dgv=∣yv∣−1dxvd×yvdkv for gv=(yv0xv1)kv with yv∈Qv×, xv∈Qv and kv∈Kv.
2.4.2. Representations
Denote by χ⊞υ the irreducible principal series representation of GL2(Qv) attached to two characters χ,υ:Qv×→C× such that χυ−1=∣⋅∣±. If v=∞ is the archimedean place and k≥1 is an integer, denote by D0(k) the discrete series of lowest weight k if k≥2 or the limit of discrete series if k=1 with central character sgnk (the k-the power of the sign function).
If v is finite, denote by St the Steinberg representation and by χSt the special representation St⊗χ∘det.
2.4.3. L-functions and ε-factors
For a character χ:Qv×→C×, let L(s,χ) be the complex L-function and ε(s,χ):=ε(s,χ,ψQv) be the ε-factor (cf. [Sch02, Section 1.1]). Define the γ-factor
[TABLE]
If π is an irreducible admissible generic representation of GL2(Qv), denote by L(s,π) the L-function and by ε(s,π):=ε(s,π,ψQv) the ε-factor defined in [JL70, Theorem 2.18]. Let π denote the contragradient representation of π. Denote by L(s,π,Ad) the adjoint L-function of π determined in [GJ78].
2.4.4. Conductors and new vectors
Let ℓ be a prime. Let (π,Vπ) be an irreducible admissible infinite dimensional representation of GL2(Qℓ), where Vπ a realization of π. For a non-negative integer n, let
[TABLE]
Let c(π) be the exponent of the conductor of π. By definition, c(π) is the smallest integer such that VπU1(ℓc(π)) the space of U1(ℓc(π))-fixed vectors is non-zero. Define the subspace Vπnew by
[TABLE]
Proposition 2.1** (Multiplicity one for new vectors).**
Every admissible irreducible infinite dimensional representation π of GL2(Qv) admits a realization of the Whittaker model W(π)=W(π,ψQv)associated with the additive character ψQv. Recall that W(π) is a subspace of smooth functions W:GL2(Qv)→C such that
•
W((10x1)g)=ψQv(x)W(g) for all x∈Qv,
•
if v=∞ is the archimedean place, there exists an integer M such that
[TABLE]
The group GL2(Qv) (or the Hecke algebra of GL2(Qv)) acts on W(π) via the right translation ρ. We introduce the (normalized) local Whittaker newformWπ in W(π) in the following cases. If v=∞ and π=D0(k), then the Whittaker local newform Wπ∈W(π) is defined by
[TABLE]
Here IR+(a) denotes the characteristic function of the set of positive real numbers.
If v=ℓ is a finite prime, then the local Whittaker newform Wπ is the unique function in W(π)new such that Wπ(1)=1.
2.5. Ordinary lines in irreducible representations of GL2(Qp)
Let p be a prime. Let (π,Vπ) be an irreducible admissible generic representation of GL2(Qp) with central character ω:Qp×→C×. Let N(Zp)={(10x1)∣x∈Zp}. Define the local Up-operator and the local level-raising operator Vp in EndC(VπN(Zp)) by
[TABLE]
For a Dirichlet character κ of conductor pn, we define the local twisting operator θpκ∈EndVπ by
[TABLE]
For a character χ:Qp×→C×, define the subspace Vπord(χ) by
[TABLE]
Proposition 2.2** (Multiplicity one for ordinary vectors).**
The space Vπord(χ) is non-zero if and only if π is either the principal series χ⊞χ−1ω or the special representation χ∣⋅∣−21St. In this case,
[TABLE]
Proof. .
Replacing π by π⊗χ−1∣⋅∣21, we may assume χ=∣⋅∣21. For each n, let
[TABLE]
Let Vπord=Vπord(∣⋅∣21). Let c(ω) be the exponent of the conductor of ω and c∗:=max{1,c(ω)}. Then it is easy to see that
[TABLE]
Suppose that π=∣⋅∣21⊞ω∣⋅∣−21 or the Steinberg representation St. We claim that Vπ[n][Up−1] is non-zero for some n. If ω is ramified or π is Steinberg, then c(π)≥c∗ and the new line Vπnew=V[c(π)][Up−1] is not zero. If ω is unramified, then π is sphercial, and it is well known that dimCVπ[1]=2 and the characteristic polynomial of Uℓ on Vπ[1] is given by (X−1)(X−ω(p)p), so Vπ[1][Uℓ−1] is non-zero.
Now suppose that Vπord=0. Then π must be a principal series or special representation since Up is a unipotent operator on Vπ[n] if π is supercuspidal. For any u∈U1(pm) with m≥1 and ξ∈Vπ, a straightforward calculation shows that
[TABLE]
It follows that if ξ∈Vπ[m+1][Up−1], then ξ∈Vπ[m][Up−1] whenever m≥c∗. This implies that Vπord=VπU1(pc∗)=0, and hence c∗≥c(π)≥c(ω). If c∗=c(ω)>0, then c(ω)=c(π), and it follows that Vπord=Vπnew is the new line in Vπ and π=μ⊞μ−1ω with unramified character μ. Since any new vector in μ⊞μ−1ω is an eigenvector of Up with the eigenvalue μ∣⋅∣−21, we thus conclude that π=∣⋅∣21⊞ω∣⋅∣−21. If c(ω)=0, then c∗=1 and Vπord=Vπ[1][Uℓ−1]. It follows that π is a unramified principal series or the Steinberg representation St. If π=St, then Vπord is the new line. If π is a unramified principal series, then the two dimensional vector space VπU1(p) has a basis ξ0∈Vπnew=VπGL2(Zp) and Vpξ0. Since UpVpξ0=pξ0, Up is not a scalar, and thus dimCVπord=dimCVπ[1][Up−1]=1.
∎
We shall call Vπord(χ)the ordinary line of π with respect to χ whenever it is non-zero.
Corollary 2.3**.**
If π is either the irreducible principal series χ⊞χ−1ω or the special representation χ∣⋅∣−21St, then the ordinary line W(π)ord(χ) in the Whittaker model is generated by the normalized ordinary Whittaker function Wπord characterized by
[TABLE]
Here IZp is the characteristic function of Zp.
Proof. .
The proof of Proposition 2.2 actually gives the recipe to construct the ordinary line. Indeed, let W=Wπ⊗χ−1 be the Whittaker local newform of π⊗χ−1. Define W†∈W(π⊗χ−1) as follows: W†=W if π⊗χ−1 is not spherical and W†=W−χ−2ω∣⋅∣21(p)ρ((p−1001))W if π⊗χ−1 is spherical. An elementary calculation shows that W†⊗χ belongs to Wπord(χ). By using the explicit formulas of Whittaker newforms ([Sch02, Section 2.4]), we find that W†⊗χ((y001))=χ∣⋅∣21(y)IZp(y) as desired.
∎
2.6. p-stabilized newforms
Let π be a cuspidal automorphic representation of GL2(A) and let A(π) be the π-isotypic part in the space of automorphic forms on GL2(A). For φ∈A(π), the Whittaker function of φ (with respect to the additive character ψQ:A/Q→C×) is given by
[TABLE]
where dx is the Haar measure with vol(A/Q,dx)=1. We have the Fourier expansion:
[TABLE]
(cf. [Bum97, Theorem 3.5.5]). Let f(q)=∑na(n,f)qn∈Sk(N,χ) be a normalized Hecke eigenform, we shall denote by πf=⊗v′πf,v the cuspidal automorphic representation of GL2(A) generated by the adelic lift
Φ(f) of f. Then πf is irreducible and unitary with the central character χ−1. If f is newform, then the conductor of πf is N, its adelic lift Φ(f) is the normalized new vector in A0(πf) and the Mellin transform
[TABLE]
is the automorphic L-function of πf. Here d×y is the product measure ∏vd×yv.
Definition 2.4** (p-stabilized newform).**
Let p be a prime and fix an isomorphism ιp:C≃Qp. We say that a normalized Hecke eigenform f∈Sk(Np,χ) is a (ordinary) p-stabilized newform (with respoect to ιp) if f is a new outside p and the eigenvalue of Up, i.e. the p-th Fourier coefficient ιp(a(p,f)), is a p-adic unit. The prime-to-p part of the conductor of f is called the tame conductor of f.
Remark 2.5**.**
Let f be a p-stabilized newform. By the multiplicity one for new and ordinary vectors, the Whittaker function of the adelic lift Φ(f) is a product of local Whittaker functions in W(πf,v). To be precise,
[TABLE]
Comparing the Fourier expansions of Φ(f) and f via (2.4), we find that
[TABLE]
By Corollary 2.3, Wπf,pord∈W(πf,p)ord(αf,p), where αf,p is the unramified character with αf,p(p)=a(p,f)p21−k.
2.7. The bilinear form
Let A0(ω) be the space of cusp forms in A(ω). Let ⟨,⟩ denote the GL2(A)-equivariant pairing between A0(ω) and A0(ω−1) defined by
[TABLE]
for φ∈A0(ω),φ′∈A0(ω−1), where dτg is the Tamagawa measure of PGL2(A). The following lemma is well-known (cf. [Wal85, page 217]), and we omit the proof.
Lemma 2.6**.**
For cusp forms φ∈Ak0(N,ω) and φ′∈A−k0(N,ω−1), we have
[TABLE]
Let π=⊗v′πv be an irreducible unitary cuspidal automorphic reprensentation on GL2(A) with central character ω. Denote by π the contragredient representation of π. By the multiplicity one theorem, the pairing ⟨,⟩ gives rise to the equality A(π)=A(π)⊗ω−1. For a place v of Q, define the non-degenerate GL2(Qv)-equivariant pairing ⟨,⟩ between W(πv) and W(πv) by
[TABLE]
for W∈W(πv) and W(πv). This integral converges absolutely as πv is unitarizable.
Proposition 2.7**.**
Let φ∈A(π) and φ′∈A(π). Suppose that Wφ=∏vWv and Wφ′=∏vWv′ such that Wv(1)=Wv′(1)=1 for all but finitely many v. Then we have
[TABLE]
Proof. .
This is [Wal85, Proposition 6]. Note that Wv=Wπv and Wv′=Wπv are the normalized local Whittaker newforms for all but finitely many v, and if πv is spherical, then
[TABLE]
so the right hand side of the equation in the proposition is indeed a finite product. ∎
We give the formula of the local pairing of ordinary Whittaker functions.
Lemma 2.8**.**
Let p be a prime. Suppose that πp is a principal series χ⊞υ or a special representation χ∣⋅∣−21St. Let Wπpord∈W(πp)ord(χ) be the normalized ordinary Whittaker function in Corollary 2.3. If n≥max{1,c(πp)}, then we have
[TABLE]
Here υ=χ−1ωp and γ(s,−) is the γ-factor defined in (2.9).
Proof. .
Let W=Wπpord and tn=(0−pnp−n0). We first note that if n≥max{1,cp(π)}, then W((y001)tn)=0 if y∈Zp. Then we have
[TABLE]
By the local functional equation for GL(2) (cf. [Bum97, Theorem 4.7.5]), the last integral equals
[TABLE]
Using the formula
[TABLE]
we see that
[TABLE]
Finally, we note that if π=χ∣⋅∣−21St, then υ=χ∣⋅∣−1 and γ(0,υχ−1)ζp(1)=−∣p∣−1ζp(2). This finishes the proof.
∎
2.8. Root numbers and Petersson norms
Let f∈Sk(N,χ) be a normalized cuspidal newform of weight k and conductor N. Put fc(z):=f(−z). Then it is a classical result that
[TABLE]
for some w(f)∈C× with the modulus ∣w(f)∣=1 (cf. [Miy06, Theorem 4.6.15]). This complex number w(f) is called the root number of f. By [Hid88c, page 38], we have
[TABLE]
Recall that the Petersson norm of f is defined by
[TABLE]
For each integer M, define the matrix τM=(τM,v)∈GL2(A) by
[TABLE]
Let π=πf be the cuspidal automorphic representation generated by Φ(f) with central character ω(=χA−1). Define the local norm of the normalized Whittaker newform Wπv by
3. The unbalanced p-adic triple product L-functions
3.1. Ordinary Λ-adic modular forms
Let p>2 be a prime and let O be the ring of integers of a finite extension of Qp. Let I be a normal domain finite flat over Λ=O[[1+pZp]]. A point Q∈SpecI(Qp), a ring homomorphism Q:I→Qp is said to be locally algebraic if Q∣1+pZp is a locally algebraic character in the sense that Q(z)=zkQϵQ(z) with kQ an integer and ϵQ(z)∈μp∞. We shall call kQ the weight of Q and ϵQ the finite part of Q. Let XI be the set of locally algebraic points Q∈SpecI(Qp) of weight kQ≥1. A point Q∈XI is called arithmetic if the weight kQ≥2 and let XI+ be the set of arithmetic points. Let ℘Q=KerQ be the prime ideal of I corresponding to Q and O(Q) be the image of I under Q.
Fix an isomorphism ιp:Cp≃C once and for all. Denote by ω:(Z/pZ)×→μp−1 the p-adic Teichmüller character. Let N be a positive integer prime to p and let χ:(Z/NpZ)×→O× be a Dirichlet character modulo Np. Denote by S(N,χ,I) the space of I-adic cusp forms of tame level N and (even) branch character χ, consisting of formal power series f(q)=∑n≥1a(n,f)qn∈I[[q]] with the following property: there exists an integer af such that for arithmetic points Q∈XI+ with kQ≥af, the specialization fQ(q) is the q-expansion of a cusp form fQ∈SkQ(Npe,χω2−kQϵQ). The character χ is called the branch character of f.
The space S(N,χ,I) is equipped with the action of the usual Hecke operators Tℓ for ℓ∤Np as in [Wil88, page 537] and the operators Uℓ for ℓ∣pN given by Uℓ(∑na(n,f)qn)=∑na(nℓ,f)qn. For a positive integer d prime to p, define Vd:S(N,χ,I)→S(Nd,χ,I) by Vd(∑na(n,f)qn)=d∑na(n,f)qdn. Recall that Hida’s ordinary projector e is defined by
[TABLE]
This ordinary projector e has a well-defined action on the space of classical modular forms preserving the cuspidal part as well as on the space S(N,χ,I) of I-adic cusp forms (cf. [Wil88, page 537 and Prop. 1.2.1]). The space eS(N,χ,I) is called the space of ordinary I-adic forms defined over I. A key result in Hida’s theory of ordinary I-adic cusp forms is that if f∈eS(N,χ,I), then for every arithmetic points Q∈XI, we have fQ∈eSkQ(Npe,χω2−kQϵQ).
We say f∈eS(N,χ,I) is a primitive Hida family if for every arithmetic points Q∈XI, fQ is a p-stabilized cuspidal newform of tame conductor N.
Let XIcls be the set of classical points (for f) given by
[TABLE]
Note that XIcls contains the set of arithmetic points XI+ but may be strictly larger than XI+ as we allow the possibility of weight one points.
3.2. Galois representation attached to Hida families
Let ⟨⋅⟩:Zp×→1+pZp be character defined by ⟨x⟩=xω−1(x) and write z↦[z]Λ for the inclusion of group-like elements 1+pZp→O[[1+pZp]]×=Λ×. For z∈Zp×, denote by ⟨z⟩I∈I× the image of [⟨z⟩]Λ in I under the structure morphism Λ→I. By definition, Q(⟨z⟩I)=Q(⟨z⟩) for Q∈XI. Let εcyc:GQ→Zp× be the p-adic cyclotomic character and let ⟨εcyc⟩I:GQ→I× be the character ⟨εcyc⟩I(σ)=⟨εcyc(σ)⟩I. For each Dirichlet character χ, we define χI:GQ→I× by χI:=σχ⟨εcyc⟩−2⟨εcyc⟩I, where σχ is the Galois character which sends the geometric Frobenious element Frobℓ at ℓ to χ(ℓ)−1.
If f∈eS(N,χ,I) is a primitive Hida family of tame conductor N, we let ρf:GQ→GL2(FracI) be the I-adic Galois representation attached to f characterized by
[TABLE]
Note that detρf=χI−1⋅εcyc−1. We have a complete knowledge of the description of the restriction of ρf to the local decomposition group GQℓ. For ℓ=p, according to [Wil88, Theorem 2.2.1],
[TABLE]
where αp:GQp→I× is the unramified character with αp(Frobp)=a(p,f).222Our representation ρf is the dual of ρF considered in [Wil88].
For ℓ=p, enlarging I if necessary, we have the following list of ρf∣GQℓ.
(1)
(Principal series) ρf∣GQℓ is reducible and isomorphic to
[TABLE]
with a unramified characters αℓ:GQℓ→I× and a finite order characters ξ,ξ′:GQℓ→Q× with ξξ′=χ−1ω−2.
2. (2)
(Special) ρf∣GQℓ is indecomposable and
[TABLE]
with a finite order character ξ:GQℓ→Q× such that ξ2=χ−1ω−2.
3. (3)
(Supercuspidal) ρf∣GQℓ is irreducible and ρf≃ρ0⊗⟨εcyc⟩I−1/2 with ρ0:GQℓ→GL2(Q) irreducible representation of finite image
We recall the rigidity of automorphic types for a primitive Hida family f in [FO12, Lemma 2.14]. Let ℓ=p be a prime. If for some arithmetic point Q the associated cuspidal automorphic representation πfQ,ℓ is principal series (resp. special, supercuspidal) of conductor ℓn, then for any arithmetic point Q′, πfQ′,ℓ is also principal series (resp. special, supercuspidal) of the same conductor ℓn. This is a consequence of the above description of ρf∣GQℓ, the Langlands correspondence and the Ramanujan conjecture for elliptic modular forms (only needed in the case (Special)).
In addition, if πfQ,ℓ is a discrete series at any arithmetic point Q∈XI+, then the Weil-Deligne representaion associated with the specialization of ρf⊗⟨εcyc⟩I1/2∣GQℓ at Q is independent of Q.
3.3. Hecke algebras and congruence numbers
If N is a positive integer and χ is a Dirichlet character modulo N, we let Tk(N,χ) be the O-subalgebra in EndCeSk(N,χ) generated over O by the Hecke operators Tℓ for ℓ∤Np and the operators Uℓ for ℓ∣Np. Suppose that N is prime top. Let Δ=(Z/NpZ)× and Δ be the group of Dirichlet characters modulo Np. Enlarging O if necessary, we assume that every χ∈Δ takes value in O×. We are going to consider the Hecke algebra T(N,I) acting on the space of ordinary Λ-adic cusp forms of tame level Γ1(N) defined by
[TABLE]
In addition to the action of Hecke operators, denote by σd the usual diamond operator for d∈Δ acting on S(N,I)ord by σd(f)χ∈Δ=(χ(d)f)χ∈Δ. Then the ordinary I-adic cuspidal Hecke algebra T(N,I) is defined to be the I-subalgebra of EndIS(N,I)ord generated over I by Tℓ for ℓ∣Np, Uℓ for ℓ∣Np and the diamond operators σd for d∈Δ. Let Q∈XI+ be an arithmetic point. Every t∈T(N,I) commutes with the specialization: (t⋅f)Q=t⋅fQ. For χ∈ΔNp, let ℘Q,χ be the ideal of T(N,I) generated by ℘Q and {σd−χ(d)}d∈Δ. A classical result [Hid88b, Theorem 3.4] in Hida theory asserts that
[TABLE]
Let f∈eS(N,χ,I) be a primitive Hida family of tame level N and character χ and let λf:T(N,I)→I be the corresponding homomorphism defined by λf(Tℓ)=a(ℓ,f) for ℓ∤Np, λf(Uℓ)=a(ℓ,f) for ℓ∣Np and λf(σd)=χ(d) for d∈Δ. Let mf be the maximal of T(N,I) containing Kerλf and let Tmf be the localization of T(N,I) at mf. It is the local ring of T(N,I) through which λf factors. Recall that the congruence ideal C(f) of the morphism λf:Tmf→I is defined by
[TABLE]
The Hecke algebra Tmf is a local finite flat Λ-algeba, and by the primitiveness of f, there is an algebra direct sum decomposition
[TABLE]
where B is some finite dimensional (FracI)-algebra ([Hid88b, Corollaty 3.7]). By definition we have
[TABLE]
Now we impose the following
Hypothesis** (CR).**
The residual Galois representation ρf of ρf is absolutely irreducible and p-distiniguished.
Under the above hypothesis, Tmf is Gorenstein by [Wil95, Corollay 2, page 482], and with this Gorenstein property of Tmf, Hida in [Hid88a] proved that the congruence ideal C(f) is generated by a non-zero element ηf∈I, called the congruence number for f. Let 1f∗ be the unique element in Tmf∩λ−1(FracI⊕{0}) such that λf(1f∗)=ηf. Then 1f:=ηf−11f∗ is the idempotent in Tmf⊗IFracI corresponding to the direct summand FracI of (3.1) and 1f does not depend on any choice of a generator of C(f). Moreover, for each arithmetic point Q, it is also shown by Hida that the specialization ηf(Q)∈O(Q) is the congruence number for fQ and
[TABLE]
is the idempotent with λf(1f)=1.
There is a unique decomposition χ=χ(p)χ(p) of Dirichlet characters, where χ(p) and χ(p) are Dirichlet characters modulo N and pr respectively. We call χ(p) the p-primary component of χ. Let χ=χ−1 be the complex conjugation of χ. Denote by
f˘∈eS(N,χ(p)χ(p),I) the primitive Hida family corresponding to the twist f∣[χ(p)](q)=∑(n,N)=1χ(p)(n)a(n,f)qn (cf. [Dim14, Lemma 6.1]). To be precise, the Fourier coefficients of f˘ are given by
[TABLE]
by [Miy06, Theorem 4.6.16]. For every arithmetic point Q∈X+, f˘Q is the p-stabilized newform attached to fQ∣[χ(p)]. Moreover, the Atkin-Lehner involution ηp′ introduced in [Miy06, (4.6.21), page 168]) induces an isomorphism ηp′:Sk(Npr,χω2−kQϵQ)≃Sk(Npr,χ(p)χ(p)ω2−kQϵQ) such that Tℓηp′=χ(p)(ℓ)ηp′Tℓ for ℓ∤N ([Miy06, (4.6.23)]). We thus obtain a Λ-algebra isomorphism [χ(p)]:Tmf≃Tmf˘ such that [χ(p)](Tℓ)=Tℓ⋅χ(p)(ℓ) for ℓ∤N and λf˘∘[χ(p)]=λf. It follows that
[TABLE]
3.4. The adjustment of levels for a triple of modular forms
For any positive integer M, let supp(M) denote the support of M, i.e. the set of prime factors of M. If f is a p-stabilized newform of tame conductor N1, let cℓ(f):=c(πf,ℓ) be the exponent of the ℓ-component of N1 for each prime ℓ=p and set
[TABLE]
To a triple (f,g,h) of p-stabilized newforms of tame conductors (N1,N2,N3), we are going to associate a set of auxiliary integers (df,dg,dh), which we call the adjustment of levels for (f,g,h). This adjustment of levels is crucial for the construction of our test Λ-adic modular forms (Definition 3.3 and Definition 4.8) in order to obtain the optimal value of the local zeta integrals in Ichino’s formula at bad places, and it is defined according to the choice of good local test vectors in the space of product of local representations of πf,ℓ×πg,ℓ×πh,ℓ (cf. §6.1) at bad primes ℓ=p. Inevitably, the definition is very ad-hoc and may seem to be artificial at the first sight. The readers are advised to skip the precise definition in this subsection at the first reading and come back until §6.1. To begin with, let Nfgh=gcd(N1,N2,N3) and N=lcm(N1,N2,N3). Put
[TABLE]
Let Σfgh=Σf0∩Σg0∩Σh0. We introduce several disjoint subsets of supp(N):
[TABLE]
Define Σfh(I),Σgh(I),Σg(IIa),Σg(IIb),Σgmax,…, in the same manner. We set
[TABLE]
Likewise we define dg(I),dg(II),dgmax,dh(I),dh(II) and dhmax. Finally, put
[TABLE]
By definition, we have
[TABLE]
3.5. Definitions of good test Λ-adic modular forms
Let O=OF for some finite extension F of Qp. Fixing a topological generator γ0 of 1+pZp, we let Λ=O[[1+pZp]]=O[[T]] with T=γ0−1. For i=1,2,3, let Ii be a normal domain finite flat over Λ and let ψi:(Z/pNiZ)×→O× be Dirichlet characters with ψi(−1)=1. Throughout this paper, we fix a triplet of primitive Hida families
[TABLE]
of tame conductors N=(N1,N2,N3) and branch characters ψ=(ψ1,ψ2,ψ3). We shall impose the following running hypotheses
[TABLE]
[TABLE]
Lemma 3.2**.**
Let (Q1,Q2,Q3)∈XI1cls×XI2cls×XI3cls and (f,g,h)=FQ=(fQ1,gQ2,hQ3) be the specialization of F at Q. The adjustment of levels df∙,dg∙ and dh∙ for ∙∈{(I),(II),max} are independent of the choice of any arithmetic point Q.
Proof. .
The lemma is clear from the rigidity of automorphic types, the description of the restriction of ρf∣GQℓ given in §3.2 and the Langlands correspondence for GL(2). ∎
Definition 3.3** (Test Λ-adic forms).**
Let N=lcm(N1,N2,N3). Put
[TABLE]
For each ℓ∈Σf,0(IIb) (resp. Σg,0(IIb),Σh,0(IIb)), we fix once and for all a root βℓ(f)∈I1× (resp. βℓ(g)∈I2×,βℓ(h)∈I3×) of the Hecke polynomial Hf,ℓ(X):=X2−a(ℓ,f)X+ψ1ω2(ℓ)ℓ−1⟨ℓ⟩I1 (resp. Hg,ℓ(X),Hh,ℓ(X)). With the above notation in the previous subsection, we define the pair (g⋆,h⋆) in eS(N,ψ2,I2)×eS(N,ψ3,I3) of the ordinary Λ-adic cusp forms by
[TABLE]
where nI=∏ℓ∈Iℓ, βI(?)=∏ℓ∈Iβℓ(?) for ?=f,g,h.
3.6. The construction of the p-adic L-function in the unblanced case
We let
[TABLE]
be a finite extension over the three variable Iwasawa algebra
[TABLE]
Define the multiplicative map Θ:Z(p)×→R× by
[TABLE]
Define the R-adic twisting operator ∣[Θ]:R[[q]]→R[[q]] by
[TABLE]
Here ψ1,(p) is the restriction of the branch character ψ1 of f to (Z/pZ)×. Define the power series H by
[TABLE]
Lemma 3.4**.**
The power series H belongs to S(N,ψ1,(p)ψ1(p),I1)⊗I1R.
Proof. .
The following proof is taken from Hida’s blue book [Hid93]. Put
[TABLE]
For Q∈XR0, put
[TABLE]
Here ϵ?1/2 is the unique square root of ϵ? taking value in 1+pZp. We verify that (h⋆∣[Θ])Q=hQ3∣[k0]∈SkQ3(N,ψ1,(p)2ψ1−1ψ2−1ϵQ1ϵQ2−1), and hence we find that for every Q∈XR0,
[TABLE]
We have R0=O[[T1,T2,Z]] with Z=(1+T1)−1(1+T2)(1+T3)−1. Let L0=FracR0 and L=FracR be a finite extension of L0. Let α1,⋯,αn be a basis of R over R0 and write H=∑j=1nH(j)αj with H(j)∈R0[[q]]. On the other hand, letting {αj∗}j=1,…,n be the dual basis of {αj}j=1,…,n with respect to the trace map Tr:L→L0, we have H(j)=Tr(Hαj∗). Let u=1+p. By (3.5), we can write H(j)=H(j)(T1,T2,Z)∈O[[T1,T2,Z]][[q]] so that
[TABLE]
for all but finite many positive integers k1,k2 with k1≥k2+2 and ζi∈μp∞ (i=1,2,3), where
Q=(Q1,Q2,Q3) are some arithmetic points of weights (k1,k2,k1−k2) and finite parts (ϵQ1,ϵQ2,ϵQ3), ϵQi(z) is the finite order character with ϵQi(u)=ζi.
To prove the lemma, it suffices to show that
[TABLE]
which in turn, by [Hid93, Lemma 1 in page 328], is equivalent to showing that H(j)(T1,T2,ζ−1)∈S⊗OO[ζ][[T2]] for every ζ∈μp∞. Now we repeat the arguments in [Hid93, page 226-227]. Let a be a positive integer such that gQ is a classical modular form for all Q∈XI with kQ=a. For m=1,2,…, we define the power series inductively
[TABLE]
Then (3.6) implies that H0(T1,ua−1)∈S⊗OO[ζ] and by induction, we find easily that Hm(T1,um+a−1)∈S⊗OO[ζ] for all m=0,1,…. On other hand, by construction we have
[TABLE]
It is clear that the right hand side is a convergent power series and belongs to S⊗OO[ζ][[T2]].
∎
Define the auxiliary R-adic form Haux by
[TABLE]
By the above Lemma 3.4, we have Haux∈S(N,ψ1,(p)ψ1(p),I1)⊗I1R. We can thus apply the ordinary projector e to Haux and obtain eHaux∈eS(N,ψ1,(p)ψ1(p),I1)⊗I1R an ordinary Λ-adic modular form with coefficients in R. With these preparations, we are ready to define the p-adic L-function following the construction in [Hid85, (4.6)]. Denote by TrN/N1:eS(N,ψ1,(p)ψ1(p),I1)→eS(N1,ψ1,(p)ψ1(p),I1) the usual trace map (cf. [Hid88c, page 14]).
Definition 3.5**.**
The unbalanced p-adic triple product L-function LFf is defined by
[TABLE]
3.7. Global trilinear period integrals
Define the weight space for the triple (f,g,h) in the f-dominated unbalanced range by
[TABLE]
In this subsection, we relate the value of Lpf(Q) at a point Q=(Q1,Q2,Q3)∈XRf to a global trilinear period integral of a test triple of modular forms. To this end, it is necessary to work in the framework of automorphic forms. Let (k1,k2,k3)=(kQ1,kQ2,kQ3) and let r be an integer greater than max{1,cp(ϵQ1),cp(ϵQ2),cp(ϵQ3)}. Recall that the specialization
[TABLE]
are p-stabilized cuspidal newforms with characters modulo Npr
[TABLE]
Let φf=Φ(f), φg=Φ(g) and φh=Φ(h) be the associated adelic lifts as in (2.3). Then
[TABLE]
and the central characters ωf,ωg,ωh are the adelizations
[TABLE]
Denote by (βℓ(f),βℓ(g),βℓ(h)) the specialization (βℓ(f)(Q1),βℓ(g)(Q2),βℓ(h)(Q3)). For each finite prime ℓ, define the polynomial Qf,ℓ∈O[X] by
Decompose ωf=ωf,(p)ωf(p), where ωf,(p) and ωf(p) are finite order Hecke characters of p-power conductor and prime-to-p conductor respectively. By definition, ωf,(p) is the adelization of the p-primary component χf,(p)−1 of χf−1.
Let f˘ be the primitive Hida family corresponding to the twist f∣[ψ1(p)] and put
[TABLE]
We introduce the modified p-Euler factor Ep(f,Ad) for the adjoint motive attached to the p-stabilized newform f. Let αf,p:Qp×→C× be the unramified character as in Remark 2.5. Let βf,p:=αf,p−1ωf,p. Hence the local component πf,p is either the principal series αf,p⊞βf,p or the special representation αf,p∣⋅∣−21St. Define the modified p-Euler factor Ep(f,Ad) by
[TABLE]
Define J∞ and tn∈GL2(A) for a positive integer n by
[TABLE]
Lemma 3.6**.**
Let notation be as above. For n≥max{c(πf,p),1}, we have
[TABLE]
Proof. .
Write π for πf the irreducible automorphic cuspidal representation on GL2(A) generated by φf=Φ(f) and let ω=ωf be the central character of π. Let φ′=ρ(J∞tn)φf∈A−kQ10(Npr,ω) and φ′′=φ˘f⊗ωf,(p)−1∈AkQ10(Npr,ω−1). Then φ′∈A(π) and φ′′∈A(π). Since φf and φ˘f are automorphic forms attached to p-stabilized cuspidal newforms f and f˘, and ωf,(p) is unramified outside p, according to Remark 2.5, the Whittaker functions Wφ′ and Wφ′′ have the factorizations
[TABLE]
where Wπpord∈Wπpord(αp) is the ordinary Whittaker functions attached to the character αp. On the other hand, let φ∘=Φ(f∘) be the normalized newform in A(π) and let φ∘∈A(π) be the complex conjugation of φ∘. Then ρ(J∞)φ∘ is the normalized newform in A(π).
Let α=αf,p, β=βf,p be the characters defined as above. Combining Proposition 2.7, Lemma 2.8 and the formula
[TABLE]
we find that
[TABLE]
From above equation together with the following equation ([II10, page 1403])
[TABLE]
we can directly deduce the lemma.
∎
We may regard F:=FQ=(f,g,h) as the modular form on H3 of weight (k1,k2,k3) given by F(z1,z2,z3)=f(z1)g(z2)h(z3). Let ωF be the central character of F∣H given by
[TABLE]
Let k be the Dirichlet character modulo pr defined by
[TABLE]
By definition, k2=χf,(p)2χf−1χg−1χh−1. Define the character ωF1/2 by
[TABLE]
Then ωF1/2 is a finite order Hecke character unramified outside p, and
[TABLE]
as the notation suggests. Let E=Q⊕Q⊕Q be the split cubic étale algebra over Q. Let
[TABLE]
Define the automorphic cusp form ϕF⋆ on GL2(AE) by
[TABLE]
Here θpk is the twisting operator as in (2.2). Put
[TABLE]
We shall relate the the valuation of our p-adic L-function Lp(Q) at Q to the global trilinear period I(ρ(tn)ϕF⋆) defined by
[TABLE]
Put
[TABLE]
Proposition 3.7**.**
For n≥r≥max{c(πf,p),c(πg,p),c(πh,p),1}, we have
[TABLE]
Proof. .
First of all, since f˘Q1 is a p-stabilized ordinary newform, by the multiplicity one for new and ordinary vectors together with (3.2), we have
[TABLE]
Taking the adelic lifts of both sides, we obtain that
[TABLE]
We set
[TABLE]
where δkQ3m is the Maass-Shimura differential operator. Since Θ(n)(Q)=k(n)nm for n∈Z(p)×, from [Hid93, equation (2), page 330], we deduce that
[TABLE]
where d=qdqd is Serre’s p-adic differential operator and Hol is the holomorphic projection as in [Hid93, (8a), page 314]. Using (2.5), (2.6) and (2.8), we see that
[TABLE]
Then H is a nearly holomorphic cusp form of weight kQ1 and φH∈Ak10(Npr,ωf−1ωf,(p)2) has a decomposition
[TABLE]
where Hol(φH) and {φj′}j=1,…,n are holomorphic automorphic forms. It follows that Hol(φH)=Φ(Hol(H)).
Let 1f∗∈Tord(N1pr,χf) be the specialization of 1f∗. As a consequence of strong multiplicity one theorem for modular forms, the idempotent 1f=ηf−11f∗∈Tord(N1pr,χf)⊗OFracO(Q1) is generated by the Hecke operators Tℓ for ℓ∤Np, so we see that 1f is the left adjoint of 1f˘Q1 for the pairing ⟨−⊗ωf,(p)−1,−⟩ by Lemma 2.6, and hence the right hand side of (3.16) equals
[TABLE]
Note that for any prime ℓ=p, ωf,(p)(ϖℓ)=χf,(p)(ℓ) is the specialization of ψ1,(p)(ℓ)⟨ℓ⟩I1 at Q1.
From the definition (3.8), (3.17) and Lemma 2.6, we find that the pairing in the right hand side of (3.18) equals
[TABLE]
On the other hand, it is straightforward to verify by Lemma 2.6 that
[TABLE]
(cf. [Hid85, (5.4)]), and together with (3.13), it follows that
[TABLE]
Combining the above equation with (3.16) and (3.18), we find that
[TABLE]
Now the lemma follows from the formula of the pairing in the left hand side given in Lemma 3.6.
∎
3.8. Ichino’s period integral formula for triple products
3.8.1. The setting
In this subsection, we apply Ichino’s formula to express I(ρ(tn)ϕF⋆) as a product of the central value of the triple product L-function attached to F and normalized local trilinear integrals. We retain the notation in the previous subsection. Let
[TABLE]
with central characters ω1=ωg−1ωh−1, ω2=ωg and ω3=ωh respectively. Let
[TABLE]
be an irreducible unitary cuspidal automorphic representation of GL2(AE) and let A(ΠQ)=A(π1)⊗A(π2)⊗A(π3) be the unique automorphic realization of ΠQ. For brevity of notation, we simply write Π for ΠQ. For each place v, let VΠv=Vπ1,v⊗Vπ2,v⊗Vπ3,v denote a realization of Πv, where Vπi,v is a realization of πi,v for i=1,2,3. Then we have the factorizations
[TABLE]
We let ϕF=φ1⊠φ2⊠φ3∈A(Π), where
[TABLE]
Then we have a factorization ϕF=⨂vϕv via the above isomorphism. Since φf,φg and φh are p-stabilized newforms and ωF1/2 is unramified outside p, we find that ϕv=φ1,v⊗φ2,v⊗φ3,v∈VΠvnew if v=p and ϕp=φ1,p⊗φ2,p⊗φ3,p∈VΠpord.
•
φi,v∈Vπi,vnew is a new vector if v=p,
•
φi,p∈Vπi,pord(χi,p) is an ordinary vector attached to the character χi,p:Qp×→C×, where
[TABLE]
(α?,p is the character attached to a p-stabilized newform ? defined in Remark 2.5).
For each finite prime ℓ, define the polynomial Q1,ℓ(X)∈O[X] by
[TABLE]
Set Q2,ℓ(X)=Qg,ℓ(X) and Q3,ℓ(X)=Qh,ℓ(X). Let df=∏ℓϖℓvℓ(df)∈Q×. We put
[TABLE]
We give the factorization of the automorphic form ϕF⋆ defined in (3.14). By definition,
[TABLE]
In view of (3.9), we find that that ϕF⋆=C1⋅⨂vϕv⋆, where
[TABLE]
Here θpk is the local twisting operator attached to k as in (2.12) and Vℓ is the level-raising operator as in (2.11). Note that ϕℓ⋆=ϕℓ is a new vector in VΠℓ for ℓ∤pN.
Next we consider the contragredient representation Π=π1⊗π2⊗π3. We put
[TABLE]
Define ϕF and ϕF⋆∈A(Π) by
[TABLE]
Recall that Ni is the tame conductor of πi. Take an isomorphism A(Π)≃⨂vVΠv with VΠv=Vπ1,v⊗Vπ2,v⊗Vπ3,v. We have a factorization ϕF=⨂vϕv, where ϕv=φ1,v⊗φ2,v⊗φ3,v,
[TABLE]
Moreover, ϕF⋆=⨂vϕv⋆, where
[TABLE]
Here Qi,ℓ(X)=Qi,ℓ(ωi−1(ϖℓ)X) for i=1,2,3.
3.8.2. Ichino’s formula
For N=(N1,N2,N3), we put
[TABLE]
Here τNi is the matrix defined as in (2.16).
For each place v of Q, we choose a GL2(E⊗Qv)-equivariant map bv:VΠv⊗VΠv→C such that bv(ϕv,ϕv)=1 for all but finitely many v. We introduce certain local zeta integrals that appear in our application of Ichino’s formula. For each place v, we define the local zeta integral
[TABLE]
Here dgv is the Haar measure as in §2.4.1. At the place p, we will consider the local integral
[TABLE]
Remark 3.8**.**
The integrals Iv(ϕv⋆⊗ϕv⋆) and Ipord(ϕp⋆⊗ϕp⋆,tn) do not depend on any choice of the realizations VΠv,VΠv, the pairing bv and the new or ordinary vector ϕv in virtue of the irreducibility of Πv and the multiplicity one for new vectors and ordinary vectors Proposition 2.2. This allows us to evaluate these local integrals by choosing favourable realizations of VΠv.
Definition 3.9**.**
Define the set
[TABLE]
From the rigidity of automorphic types in Remark 3.1, we can deduce that there is a subset Σ− of primes dividing N such that
[TABLE]
for any arithmetic point Q∈XRf.
Proposition 3.10**.**
Suppose that Σ−=∅. Then
[TABLE]
Proof. .
Note that
[TABLE]
Applying [Ich08, Theorem 1.1, Remark 1.3],
we obtain the proposition immediately in view of the decomposition of ϕF⋆ and ϕF⋆ into pure tensors. We remark that ω1,∞(−1)=(−1)k1 and the constant C in Remark 1.3 loc.cit. equals ζQ(2)−1 since the product measure ∏vdgv=ζQ(2)⋅dτg (cf. [II10, page 1403]).∎
Lemma 3.11**.**
We have the following equalities:
(1)
If q∤N is a finite prime, then Iq(ϕq⋆⊗ϕq⋆)=1;
2. (2)
I∞(ϕ∞⋆⊗ϕ∞⋆)=2k2+k3−k1+1.**
Proof. .
Part (1) is [Ich08, Lemma 2.2]. Note that ϕq⋆=ϕq is a new vector in VΠq for a finite prime q∤N. The formula of the archimedean zeta integral in part (2) is proved in [CC18]. For the reader’s convenience, we sketch the proof. For i=1,2,3, let Wki=Wπi,∞ be the Whittaker newform of the discrete series πi,∞=D0(ki) in (2.10). Define the matrix coefficient Φ∞:GL2(R)→C by
[TABLE]
(recall that m=2k1−k2−k3). Note that Φ is right SO(2)(R)-invariant, and a lengthy computation shows that
[TABLE]
By definition,
[TABLE]
where
[TABLE]
By a direct computation, we obtain
[TABLE]
where
[TABLE]
Applying the combinatorial identity [Orl87, Lemma 3] to Sj, we find that
[TABLE]
Substituting the above expression to the last line of (3.25), we find that
[TABLE]
Hence, part (2) follows from the above expression of I(Φ∞) and
[TABLE]
To distinguish the contributions from each term in the formula of LFf(Q), we introduce the normalized local zeta integrals. For each place v, define the local norm of Whittaker newforms for Πv by
[TABLE]
with Bπi,v the local norm of πi,v defined as in (2.17). To each positive integer n, we associate the local norm BΠpord[n] of ordinary Whittaker functions for Πp given by
[TABLE]
We define the normalized local zeta integrals
[TABLE]
Definition 3.12** (The canonical periods of Hida families).**
Define the canonical period ΩfQ of the specialization fQ at an arithmetic point Q by
[TABLE]
where fQ∘ is the normalized newform associated with fQ of conductor NQ and ηfQ is the specialization of ηf at Q and Ep(fQ,Ad) is the modified Euler factor in (3.10).
We summarize our computation in the following
Corollary 3.13**.**
Assume that Σ−=∅. For every Q=(Q1,Q2,Q3)∈XRf, we have the interpolation formula
[TABLE]
Proof. .
By Waldspurger’s Petersson inner product formula (Proposition 2.7) and the identities
[TABLE]
with ki=kQi, we find that
[TABLE]
Note that ωf,p(−1)=(−1)k1ψ1,(p)(−1). Combining Proposition 3.7, Proposition 3.10, Lemma 3.11 and the equality
[TABLE]
we get the corollary.
∎
4. The balanced p-adic triple product L-functions
4.1. Notation and conventions
Let D be the definite quaternion algebra over Q with discriminant N−. Let ν:D×→Q× be the reduced norm. For any commutative Q-algebra R, put
[TABLE]
If v is a place of Q, let Dv=D⊗QQv. For x∈D×(A), denote by xv∈Dv× the local component of x at v. We fix an isomorphism Ψ=∏q∤N−Ψq:D×(Q(N−))≃M2(Q(N−)) once and for all.
Let OD be the maximal order of D such that Ψq(OD⊗Zq)=M2(Zq) for all primes q∤∞N−. Let N+ be a positive integer prime to N− and let
[TABLE]
Denote by RN the Eichler order of level N+ in D with respect to Ψ. Put
[TABLE]
We shall frequently use the following notation in this section: let (acbd)∈GL2(Q(N−)) act on x∈D× by
[TABLE]
Let dτx be the Tamagawa measure on A×\D×(A) with the volume vol(A×D×\D×(A),dτx)=2. There exists a positive rational number vol(RN×) such that for any f∈L1(D×\D×(A)/D∞×RN×), we have
[TABLE]
where [x] means the double coset D×xRN× and ΓN,x:=(D×∩xRN×x−1)Q×/Q×. By Eichler’s mass formula, we have
[TABLE]
For a non-negative integer κ and a commutative ring A, let Lκ(A):=A[X,Y]deg=κ be the space of two variable polynomials of degree κ over A. Let ρκ:M2(A)→EndALk(A) be the morphism ρκ(g)P(X,Y)=P((X,Y)g). Let ⟨,⟩κ:Lκ(A)×Lκ(A)→A[κ!1] be the pairing defined by
[TABLE]
Let g↦g′ be the main involution of M2(A) given by
[TABLE]
It is well-known that
[TABLE]
4.2. p-adic modular forms on definite quaternion algebras
In the rest of this section, we shall freely identity Dirichelet characters χ with their adelizations χA when no confusion may arise. Let O⊂OCp be a finite flat extension of Zp containing all ϕ(N)-th roots of unity. For an O-algebra A and a A-valued (even) Hecke character χ:Q×\Q×→A× , we let Sκ+2D(N,χ,A) be the space of p-adic modular forms on D× of weight κ+2, level N and branch character χ, consisting of vector-valued functions f:D×→Lκ(A) such that
[TABLE]
Here up is the p-component of u and ρκ,p(up)=ρκ(Ψp(up)). For each integer d prime to pN−, define the level raising operator Vd:Sκ+2D(N,χ,A)→Sκ+2D(Nd,χ,A) by
[TABLE]
We recall the Hecke operators Tq and the operators Uq acting on f∈Sκ+2D(N,χ,A). For each prime q∣N−, let ϖDq∈Rq×with ν(ϖDq)=q. The Hecke operator Tq for q∤Np is given by
[TABLE]
and the operator Uq for q∣MN−p is given by
[TABLE]
Here ϖq=(ϖq,ℓ)∈Q(N−)× is the idele ϖq,q=q and ϖq,ℓ=1 for ℓ∤N−q. If A is p-adically complete, then the ordinary projector e=limn→∞Upn! converges to an idempotent in EndOSκ+2D(N,χ,A).
Inner products
Denote by εcyc:Q+\Q×→Zp× the p-adic cyclotomic character defined by εcyc(a)=∣a∣Aap. Assuming 6⋅κ!∈A×, we have a perfect pairing
[TABLE]
given by
[TABLE]
Let τND=(τN,qD)∈D× be the element with τN,qD=1 if q∤N and τN,qD=Ψq−1((0−N10)) for q∣N+. Define the Atkin-Lehner involution [τND]:Sκ+2D(N,χ,A)→Sκ+2D(N,χ−1,A) by
[TABLE]
We can define a new pairing ⟨,⟩N:Sκ+2D(N,χ,A)×Sκ+2D(N,χ,A)→A by
[TABLE]
It is well known that this new pairing is Hecke equivariant and perfect (cf. [Hid06, Lemma 3.5]).
4.3. Automorphic forms on definite quaternion algebras
Fixing ιp:Cp≃C once and for all, we choose an imbedding Ψ∞:D∞↪M2(C) such that Ψ∞(α)=ιp(Ψp(α)) for α∈D×. Define the unitarized representation
ρκu:D∞×→AutLκ(C) by ρκu(x)P=∣ν(g)∣Aκ/2ρκ(Ψ∞(g))P for P∈Lκ(C).
For a finite order Hecke character ω modulo N+, let Aκ+2D(N,ω) be the space of Lκ(C)-valued automorphic forms on D×(A) of weight κ+2, level N and character ω. In other words, Aκ+2D(N,ω) consists of functions φ:D×(A)→Lκ(C) such that
[TABLE]
Here xf denotes the finite part of x. To each p-adic modular form f∈Sκ+2D(N,χ,O), we associate the adelic lift Φ(f)∈Aκ+2D(N,χ−1) defined by
[TABLE]
Let AD(ω) be the space of (scalar-valued) automorphic forms on D×(A) with central character ω. For φ,φ′∈AD(ω), define
[TABLE]
Here dτx is the Tamagawa measure on A×\D×(A). For f∈Sκ+2D(N,ω−1,Cp) and u∈Lκ(Cp), let Φ(f)u∈AD(ω) be the automorphic form given by the matrix coefficient Φ(f)u(x):=⟨Φ(f)(x),u⟩κ. By (4.1) and Schur’s orthogonality relations, we have
[TABLE]
4.4. Hida theory for quaternionic modular forms
In this subsection, we recall Hida theory for modular forms on definite quaternion algebras following [Hid88b]. Suppose that p∤N. For each positive integer α, let Xα be the finite set
[TABLE]
and let O[Xα]=⨁x∈XαOx be the finitely generated O-module spanned by divisors of Xα. Recall that Λ=O[[1+pZp]]=O[[T]], where T=⟨1+p⟩Λ−1. For z∈1+pZp, let ⟨z⟩Λ act on O[Xα] by ⟨z⟩Λx:=x(z00z). Let Δ=(Z/pN+Z)×. For d∈Δ, the diamond operator σd acts on O[Xα] as follows: decomposing d=(d1,d2)∈(Z/pZ)××(Z/N+Z)× and choosing an idele d∈Z× such that the p-component dp=ω(d1)∈Zp× is the Teichmüller lifting of d1 and the prime-to-p component d(p)∈Z(p)× is a lifting of d2, we define σdx:=xd. Thus O[Xα] is a finitely generated Λ[Δ]-module. Moreover, O[Xα] is equipped with the usual Hecke operators Tq for q∤Np given by
[TABLE]
the operator Uq for q∣Np defined by
[TABLE]
The ordinary projector e=limnUpn! converges to an idempotent in EndΛ(O[Xα]).
We introduce the space of Λ-adic modular forms on definite quaternion algebras. Let X∞:=D×\D×/U1(Np∞), where
[TABLE]
We have a natural quotient map X∞→Xβ→Xα for β>α. Let Pα be the principal ideal of Λ generated by (1+T)pα−1.
Definition 4.1**.**
Denote by SD(N,Λ) the space of functions f:X∞→Λ such that
•
f(xz)=f(x)⟨z⟩2⟨z⟩Λ−1 for z∈1+pZp;
•
for any α sufficiently large, the function f(\mboxmodPα):X∞→Λ/Pα factors through Xα.
We call SD(N,Λ) the space of Λ-adic modular forms on D× of level N.
By definition, we have
[TABLE]
where ι2:Λ→Λ is the O-algebra homomorphism given by ι2(T)=(1+T)−2(1+p)2−1. Hence SD(N,Λ) is a compact Λ-module endowed with the natural Hecke action given by tf(x)=f(tx) for t=Tq,Uq and the action of diamond operators σd. In addition, the ordinary projector e=limnUpn! converges in EndΛSD(N,Λ). For a finite order Hecke character χ:Q×\Q×→O× modulo N+p, put
[TABLE]
Let I be a normal domain finite flat over Λ. We define SD(N,I)=SD(N,Λ)⊗ΛI and SD(N,χ,I)=SD(N,χ,Λ)⊗ΛI.
Theorem 4.2** (Control Theorem).**
Let Nχ:=∑d∈Δχ(d)σd∈O[Δ] and let Pχ be the ideal of Λ[Δ] generated by {χ(d)⋅σd−1}d∈Δ. Suppose that p>3. Then
(1)
SD(N,χ,I)* is a free I-module, and the norm map Nχ:eSD(N,I)/Pχ≃eSD(N,χ,I) is an isomorphism.*
2. (2)
For every arithmetic point Q∈XI+, we have a Hecke equivariant isomorphism
[TABLE]
where α=max{1,cp(ϵQ)} and fQ is the unique p-adic modular form such that
[TABLE]
Proof. .
This is a reformulation of Hida’s control theorems for definite quaternion algebra. We sketch proofs in [Hid88b] for the reader’s convenience. We may assume I=Λ and O=O(Q). Let Δp be the p-Sylow subgroup of Δ. We first show that eSD(N,Λ) is a free Λ[Δp]-module. For any abelian group A, let H0(Xα,A) be the space of A-valued functions on Xα. Let Vord(N):=limαlimβeH0(Xα,p−βO/O) be the discrete Λ-module V0ord(0;U1(N+)) defined in [Hid88b, Theorem 8.6]. Let Vord(N):=limαe⋅O[Xα] be the Pontryagin dual of Vord(N). In virtue of (4.6),
[TABLE]
so it suffices to show that Vord(N) is a free Λ[Δp]-module.
For any positive integer α and character ξ:(Z/N+pα)×→OK× of p-power order with value in some finite extension K of FracO, we define the OK-module
[TABLE]
Since any finite order element in D× has order only divisible by 2 or 3 and p>3, one verifies that the group D×∩xU1(Npα)x−1={1} for any x∈D× and that
[TABLE]
In particular, H0(Xα,ξ,K/OK) is p-divisible. Hence, the Λ[Δp]-freeness of Vord(N) follows from [Hid88b, Corollary 10.1] (and the proof therein). From the Λ[Δp]-freeness of eSD(N,Λ), we deduce that the map f↦Nχf induces an isomorphism
[TABLE]
This proves part (1). We proceed to prove part (2). By [Hid88b, Theorem 9.4], we see that
[TABLE]
The above isomorphism f↦fQ is given by the dual map to the one ι in [Hid88b, (8.10)], whose explicit description is given in [Hid88b, line 9-11, page 375]. This finishes the proof of part (2).∎
A perfect paring on the space of ordinary Λ-adic forms
For each positive integer α, put
[TABLE]
To each finite order character χ:Q×\Q×→O×, we associate a universal I-adic deformation defined by
[TABLE]
For f,f′∈eSD(N,χ,I), put
[TABLE]
One verifies that BN,α+1(f,f′)≡BN,α(f,f′)(\mboxmodPα).
Definition 4.3**.**
Let
[TABLE]
be the Hecke-equivariant I-bilinear pairing defined by
[TABLE]
For every Q∈XI+ with kQ=2, we have
[TABLE]
for any α≥max{1,cp(ϵQ)}. This in particular implies that the pairing BN is perfect.
Lemma 4.4**.**
For each arithmetic point Q in XI+ and integer α≥max{1,cp(ϵQ)}, we have
[TABLE]
Proof. .
To lighten the notation, we let κ=kQ−2 and let f=fQ,f′=fQ′∈eSkQD(Npα,χω−κϵQ,O(Q)). We first claim that the value ⟨Up−βf,f′⟩Npβ is independent of any integer β≥α. Choose a prime ℓ∤Np such that ℓ+1≡0(\mboxmodp) and ℓ is inert in Q(−1) and Q(−3). Then D×∩xRNℓpα×x−1={±1} for all x∈D×. Write χQ=χI(\mboxmodQ)=χω−κϵQεcycκ for brevity. For ℓ as above, (1+ℓ)⋅⟨Up−βf,f′⟩Npβ equals
[TABLE]
This verifies the claim. For x∈D×, we let f[0](x)=⟨f(x),Xκ⟩κ be the specialization of f(x) at Q. For any positive integer m, there exists a sufficiently larger β>m+vp(κ!) such that
[TABLE]
On the other hand, we have
[TABLE]
In the third equality, we have used the fact that ⟨Upnf(x),Xκ⟩=Upnf[0](x) for any n∈Z.
This proves the lemma.
∎
4.5. Hecke algebras and primitive Λ-adic forms
Let TD(N,I) be the sub-algebra of EndI(eSD(N,I)) generated by Tq, Uq and the diamond operators ⟨d⟩ over I and let TD(N,χ,I) be the holomorphic image of TD(N,I) in EndΛ(eSD(N,χ,I)). Thanks to the Jacquet-Langlands correspondence, there is a surjective I-algebra homomorphism JL:T(N,I)→TD(N,I) such that JL(Tq)=Tq for q∤Np, JL(Uq)=Uq for q∣N+p, JL(Uq)=(−1)Uq for q∣N− and JL(σd)=σd; moreover, for an ordinary Λ-adic newform f∈eS(N,χ,I) of tame conductor N with suppN−⊂Σf0, the corresponding homomorphism λf:T(N,I)→I factors through JL. We denote by λfD:TD(N,I)→TD(N,χ,I)→I the morphism such that λf=λfD∘JL. Put
[TABLE]
The multiplicity one theorem for GL(2) implies that
dimFracΛeSD(N,I)[λfD]⊗ΛFracΛ=1. Any non-zero element in eSD(N,I)[λfD] is called a Jacquet-Langlands lift of f, but we do not have a notion of normalized eigenforms for quaternionic modular forms due to the lack of the q-expansion. Nonetheless, we have the following
Theorem 4.5**.**
Suppose that f satisfies the Hypothesis (CR,supp(N−)) in §1.4. Then the I-module eSD(N,I)[λfD] is free of rank one. In this case, a generator fD of eSD(N,I)[λfD] is called the primitive Jacquet-Langlands lift of f. By definition, fD is unique up to a scalar in I×.
Proof. .
Let m be the maximal ideal of TD(N,I) containing KerλfD.
Under the Hypothesis (CR), we note that eSD(N,I)m is a free TD(N,I)m-module of rank one in virtue of [Wil95, Theorem, 2.1] and [Hel07, Corollary 8.11and Remark 8.12] and Hida’s control theorem (cf. [PW11, Proposition 6.4 and 6.5]). By Theorem 4.2 (1), we find that eSD(N,χ,I)m is also a free TD(N,χ,I)m-module of rank one which in turn implies that TD(N,χ,I)m is Gorenstein as eSD(N,χ,I)m is equipped with a Hecke-equivariant perfect pairing BN. It follows that eSD(N,I)m[λfD]=eSD(N,χ,I)m[λfD]≃TD(N,χ,I)m[λfD] is a free of rank one I-module.
∎
4.6. Regularized diagonal cycles and theta elements
Recall that E=Q⊕Q⊕Q is the totally split étale cubic algebra over Q. Let DE=D⊕D⊕D.
For each positive integer n, let
[TABLE]
be an open-compact subgroup of DE×. Define the finite set
[TABLE]
The set Xn is a zero dimensional analogue of the triple product of modular curves. Consider the finitely generated Zp-module Zp[Xn] equipped with the operator UE,p:=Up⊗Up⊗Up and the ordinary projector eE:=e⊗e⊗e. For each (x1,x2,x3)∈DE×, let [(x1,x2,x3)] denote the double coset DE×(x1,x2,x3)UE,1(Npn)Q×.
Definition 4.6** (Regularized diagonal cycles).**
Put τpn:=(0−pn10)∈GL2(Qp). Let Δn∈Zp[Xn] be the twisted diagonal cycle given by
[TABLE]
and define the regularized diagonal cycle Δn† by
[TABLE]
The following lemma allows us to define the Λ-adic diagonal cycle
[TABLE]
where the inverse limit is taken with respect to the natural homomorphism
Nn+1,n:Zp[Xn+1]→Zp[Xn].
Lemma 4.7** (Distribution property).**
For every n≥1,
[TABLE]
Proof. .
It is equivalent to showing that
[TABLE]
Let Sn:=(Zp/pnZp)×(Zp/pnZp)×. A direct computation shows that
[TABLE]
This proves the assertion.
∎
Following the notation in §3.6, we let
R=I1⊗OI2⊗OI3 be a finite extension of R0=O[[T1,T2,T3]]. For a triple of ordinary Λ-adic quaternionic forms
[TABLE]
we let F=f⊠g⊠h:DE×\DE×→R be the triple product given by
[TABLE]
Let χR∗:Q×\Q×→R× be the reciprocal of a square root of the character ψ1I1⊗ψ2I2⊗ψ3I3 defined by
[TABLE]
and set
[TABLE]
Then F∗ naturally induces a Zp[[T1,T2,T3]]-linear map
[TABLE]
The theta element ΘF attached to the triple product F is then defined by the evaluation of F∗ at the Λ-adic diagonal cycle. In other words,
[TABLE]
4.7. The construction of p-adic L-functions in the balanced case
We let F=(f,g,h) be the triple of primitive Hida families of tame conductor (N1,N2,N3) in §3.5. Recall that Σ− is the finite subset of prime factors of N=lcm(N1,N2,N3) in Definition 3.9. Let N−=∏ℓ∈Σ−ℓ. In the remainder of this section, we assume that
•
#(Σ−) is odd,
•
f, g and h satisfy the Hypothesis (CR, Σ−);
•
N− and N/N− are relatively prime.
Let D be the definite quaternion algebra over Q with the discriminant N− and let
[TABLE]
be the primitive Jacquet-Langlands lift of (f,g,h) constructed in Theorem 4.5.
Definition 4.8**.**
Let Ni+=Ni/N− for i=1,2,3 and let N+=lcm(N1+,N2+,N3+). Then N=N+N−. Define
[TABLE]
by
[TABLE]
Define the triple product FD⋆:DE×\DE×→R by
[TABLE]
Then FD⋆ is an eigenfunction of the operator UE,p with the eigenvalue αp(F):=a(p,f)a(p,g)a(p,h). We define the associated theta element ΘFD⋆ to be the p-adic L-functions attached to the triple (f,g,h) in the balanced range.
4.8. Global trilinear period integrals
4.8.1. The setting
In this subsection, we relate the evaluations of the p-adic L-function ΘFD⋆ at arithmetic points in the balanced range to certain global trilinear period integral on DA×. The set XRbal of arithmetic points in the balanced range, consisting of arithmetic points Q=(Q1,Q2,Q3)∈XI1+×XI2+×XI3+ such that
[TABLE]
Let Q=(Q1,Q2,Q3)∈XRbal. Put
[TABLE]
We keep the notation in §3.8. Thus F=(f,g,h) denotes the specialization FQ=(fQ1,gQ2,hQ3) of F at Q and ωF1/2 is the square root of the central character ωF=ωfωgωh defined in (3.13). Let Π=ΠQ be the automorphic representation of GL2(AE) defined by
[TABLE]
Let (fD,gD,hD)=(fQ1D,gQ2D,hQ3D) be the specializations in the sense of Theorem 4.2 (2). We have
[TABLE]
where
[TABLE]
Let φfD=Φ(fD), φgD=Φ(gD) and φhD=Φ(hD) be the associated adelic lifts as in (4.4). We have
[TABLE]
Let Q1,ℓ(X), Q2,ℓ(X) and Q3,ℓ(X) be the polynomials defined in (3.20) and put
[TABLE]
Note that
[TABLE]
Let Lκ(A):=Lκ1(A)⊗Lκ2(A)⊗Lκ3(A) for any commutative ring A and ρκ=ρκ1⊗ρκ2⊗ρκ3. Define ρκu and ρκ,p likewise.
For any Q-algebra R, let DE×(R):=D×(R)×D×(R)×D×(R) and let νEκ:DE×(R)→R× be the map νEκ(x1,x2,x3):=∏i=13ν(xi)κi. Define the vector-valued automorphic form
[TABLE]
Define Pκ∈Lκ(Z) by
[TABLE]
Then Pκ is a basis of the line Lκ(C) fixed by D∞× under the action of ρκu. Define the automorphic form
[TABLE]
where ⟨,⟩κ=⟨,⟩κ1⊗⟨,⟩κ2⊗⟨,⟩κ3. One verifies that
[TABLE]
4.8.2. The global trilinear period integrals
Let nQ=max{c(ϵQ1),c(ϵQ2),c(ϵQ3),1} and let n≥nQ be a positive integer. Let t˘n∈DE×(Qp) be the matrix given by
[TABLE]
We shall relate the interpolation to the global trilinear period integral
[TABLE]
Here dτx is the Tamagawa measure on A×\DA×.
Proposition 4.9**.**
For every n≥nQ, we have
[TABLE]
where αp(F)=a(p,f)a(p,g)a(p,h) and dFκ/2=dfκ1/2dgκ2/2dhκ3/2 defined in (3.15).
Proof. .
We begin with some notation. Let Q(FD⋆):DE×\DE×→OCp denote the value of FD⋆ at the point Q∈SpecR(Qp). Namely,
[TABLE]
Let (fD⋆,gD⋆,hD⋆)=(fQ1D⋆,gQ2D⋆,hQ3D⋆) denote the specialization of (fD⋆,gD⋆,hD⋆) as in Theorem 4.2 (2). Put
[TABLE]
By definition, we have
[TABLE]
Define the adelic lift FD⋆:DE×(A)→Lκ(C) of FD⋆ to be the function
[TABLE]
Then one verifies that
[TABLE]
Let mk be the p-adic valuation of (κ1+κ2+κ3)! and let m>mk be a positive integer. For a number A∈Cp, denote by A(\mboxmodpm) the residue class of A in Cp modulo pmOCp. By definition, for any sufficiently large integer s≫n+m+mk≥1,
[TABLE]
where
kh(z):=ωF−1/2ωh(z) for z∈Zp× and χQ∗ is the specialization of χR∗ at Q
for (x1,x2,x3)∈DE×, and using (4.11), we obtain
[TABLE]
Since kh=ωF−1/2ωh, we find that the right hand side of the equation (4.15) equals
[TABLE]
Since vol(RN×)=vol(RNpn×)(1+p−1)pn, the proposition can be deduced from the last equation directly by making change of variable.
∎
4.9. Ichino’s formula
We now apply Ichino’s formula to relate the global trilinear period I(ρ(t˘n)ϕFD⋆) to a product of central L-values of triple L-functions, the local zeta integrals Iq(ϕq⋆⊗ϕq⋆) defined in (3.23) at primes q=p and the following local zeta integral at p
[TABLE]
Here we recall that ϕp is any non-zero vector in the ordinary line Vπ1,pord(χ1,p)⊗Vπ2,pord(χ2,p)⊗Vπ3,pord(χ3,p) with characters χi,p defined in (3.19) and tn=(0−pnp−n0))∈Dp×↪DE×(Qp) for any integer n≥nQ. For each positive integer M, we shall use the notation M∈Q× to denote the idele with Mℓ=ℓvℓ(M) at each finite prime ℓ.
Proposition 4.10**.**
We have
[TABLE]
where
[TABLE]
Proof. .
We begin with the explanation of the representation theoretic factorization for the automorphic form ϕFD⋆. Let (πfD,πgD,πhD) be the image of (πf,πg,πh) under the Jacquet-Langlands correspondence and let
[TABLE]
Let ΠD=π1D⊠π2D⊠π3D be the Jacquet-Langlands transfer of Π and let A(ΠD) be the unique automorphic realization of ΠD. With the isomorphism Ψ:D(N−)×≃GL2(Q(N−)), we have a factorization
[TABLE]
Here (Π∞D,VΠ∞D)=(ρκu,Lκ(C)) and for finite prime ℓ∣N−, (ΠℓD,VΠℓD)=(μEℓ∘ν,CeμEℓ) is the one dimensional representation given by a unramified character μEℓ=(μ1,ℓ,μ2,ℓ,μ3,ℓ):Eℓ×→C× with a basis eμEℓ. Consider ϕFD=φ1D⊠φ2D⊠φ3D∈A(ΠD)⊗Lκ(C). Let Xκ:=X1κ1X2κ2X3κ3∈Lκ(C) and define ϕXκD∈A(ΠD) by
[TABLE]
Under the isomorphism (4.17), we have the factorization ϕXκD=⊗vϕvD, where
[TABLE]
as in §3.8.1. Recall that φi,ℓ∈Vπi,vnew for ℓ=p is a new vector and φi,p∈Vπi,pord(χi,p) is an ordinary vector. In view of the definition of ϕFD⋆ in (4.10), we obtain the factorization
ϕFD⋆=⊗vϕvD⋆, where
[TABLE]
Now consider the contragredient representation ΠD. Let φiD=φiD⊗ωi−1 and φiD⋆=φiD⋆⊗ωi−1 for i=1,2,3. Let Yκ=Yκ1Yκ2Yκ3∈Lκ(C). Define ϕYκD and ϕFD⋆∈A(ΠD) by
[TABLE]
for x∈DE×(A). Fixing an isomorphism
[TABLE]
we then have a similar description for the factorizations ϕYκD=⊗vϕvD and ϕFD⋆=⊗vϕvD⋆ likewise.
For v∈{∞}∪Σ−, let bv:VΠv×VΠv→C be a non-degenerate GL2(Ev)-equivariant pairing such that bv(ϕvD,ϕvD)=1 for all but finitely many v. For v∈{∞}∪Σ−, let bvD:VΠvD×VΠvD→C be a DE×(Qv)-equivariant pairing and define
[TABLE]
Here dxv is the Haar measure with vol(ODv×/Zv×,dxv)=1. In the notation of [Ich08, page 282], we have
[TABLE]
Therefore, according to [Ich08, Theorem 1.1, Remark 1.3], we obtain
[TABLE]
From (4.5) and (4.2), we find that ⟨ρ(τN+Dtn)ϕXκD,ϕYκD⟩ equals
[TABLE]
We now proceed to compute the local zeta integrals Iv(ϕvD⊗ϕvD) for v∈{∞}∪Σ−. Recall that the archimedean L-factors are given by
[TABLE]
so we have
[TABLE]
The last equality follows from Lemma 4.11 below. Now let q be a prime in Σ−. According to [Pra90], πi,q=μiSt for i=1,2,3 are unramified special representations with μ1μ2μ3(q)=1. Since
[TABLE]
we obtain
[TABLE]
Substituting (4.19) and the above computation of Iq(ϕqD⊗ϕqD) into Ichino’s formula, we obtain
[TABLE]
and the proposition follows.
∎
Lemma 4.11**.**
We have
[TABLE]
Proof. .
Let v1=X1κ1⊗Y2κ2⊗X3κ1∗Y3κ2∗ and v2=Y1κ1⊗X2κ2⊗X3κ2∗Y3κ1∗. Let du be the Haar measure on SU(2)(R) with the volume vol(SU(2)(R),du)=1. More precisely, du is given by
[TABLE]
for Φ∈L1(SU(2)(R)). Write ⟨,⟩=⟨,⟩κ for simplicity. Since Lκ(C)SU(2)(R)=C⋅Pκ, we see that
[TABLE]
By definition,
[TABLE]
Then
[TABLE]
Let r=2κ1+κ2+κ3=κ1∗+κ2∗+κ3∗. A direct computation shows that
Definition 4.12** (The Gross periods of Hida families).**
Suppose that F is a primitive I-adic Hida family which satisfies (CR, Σ−). Let FD be a primitive Jacquet-Langlands lift of F with the tame conductor NF=N−NF+. Put
[TABLE]
where BNF is the Hecke-equivariant perfect pairing defined in Definition 4.3. For each arithmetic point Q∈XI+, writing ηFQD for the specialization of ηF at Q, define the Gross’ period ΩFQD of FQ by
[TABLE]
where Ep(FQ,Ad) is the modified p-Euler factor in (3.10) and
[TABLE]
is the prime-to-Σ− part of the root number of FQ.333Here ΩFQD is called the Gross period for FQ as it first appeared in the Gross’ special value formula for modular forms over imaginary quadratic fields.
We will see from Remark 7.8 that the canonical period is an integral multiple of the Gross period in the sense that there exists a non-zero u∈I such that ΩFQD=u(Q)⋅ΩFQ for each arithmetic point Q.
Corollary 4.13**.**
For each Q=(Q1,Q2,Q3)∈XRbal in the balanced range, we have the interpolation formula
[TABLE]
where IΠQ,pbal is the normalized p-adic zeta integrals given by
[TABLE]
with BΠpord[n] defined in (3.27), and IΠQ,q⋆ are the local zeta integrals at q defined in (3.29).
Proof. .
To simplify our notation, we let f1=f, f2=g and f3=h. For a finite prime q, we put BΠF,q=∏i=13Bπfi,q. By definition, we have BΠF,q=ωF,q1/2(Nf+)BΠq if q=p and BΠF,q=1 if q∤pN. At the place p, from Lemma 2.8 and the definition of Ep(fi,Ad) in (3.10), we see that
[TABLE]
Let fi∘ be the associated newform of fi and ci=c(πfi,p). Write ∥fi∘∥2 for the Petersson norm ∥fi∘∥Γ0(Nfi∘)2. From the above equation and the Petersson norm formula (2.18), we find that
[TABLE]
In the last equality, we have used Lemma 4.4 and the fact that for q∈Σ−,
[TABLE]
Substituting the above equation and the definition of IΠq∗ in (3.29) to Proposition 4.10, we deduce from Proposition 4.9 that
[TABLE]
Therefore, we obtain the corollary by noting that
[TABLE]
and that for q∈Σ−,
[TABLE]
This finishes the proof.
∎
5. The calculation of local zeta integrals (I)
5.1. Notation and conventions
Let q be a finite prime. Let G=GL2(Qq) and Z=Qq× be the center of G. Denote by B the group of the upper triangular matrices of G and by N the unipotent radical of B. Let π be an irreducible unitary generic admissible representation of G. Define a real number λ(π) by
[TABLE]
Recall that W(π)=W(π,ψQq) is the Whittaker model of π with respect to ψQq. It is well known that for any W∈W(π) and ϵ>0, there exists a Φϵ∈S(Qq) with
[TABLE]
For characters χ,υ:Qq×→C×, let B(χ,υ) denote the induced representation given by
[TABLE]
Let K=GL2(Zq). We let ⟨,⟩:B(χ,υ)×B(χ−1,υ−1)→C be the G-invariant perfect pairing given by
[TABLE]
where dk is the Haar measure with vol(K,dk)=1. If χυ−1=∣⋅∣−1, then we let B(χ,υ)0 be the unique irreducible sub-representation of B(χ,υ) and let B(υ,χ)0 be the unique irreducible quotient of B(υ,χ). It is well known that
B(χ,υ)0=B(χ,υ) and
B(υ,χ)0=B(υ,χ) unless χυ−1=∣⋅∣. The above pairing ⟨,⟩ induces a G-invariant perfect paring ⟨,⟩:B(χ,υ)0×B(χ−1,υ−1)0→C.
Intertwining operator
Define the normalized intertwining operator M∗(υ,χ,s):B(υ∣⋅∣s,χ∣⋅∣−s)→B(χ∣⋅∣−s,υ∣⋅∣s) by
[TABLE]
Here γ(s,−) is the γ-factor as in (2.9), and the integral in the right hand side is convergent absolutely for Res sufficiently large and has analytic continuation to all s∈C (cf. [Bum97, Proposition 4.5.7]). Let δ:G→R+ be the function given by δ((a0bd)k)=ad−1 for k∈K. If χυ−1=∣⋅∣−1, then M∗(υ,χ,s)∣s=0 factors through B(υ,χ)0, and hence we have a well-defined map M∗(υ,χ):B(υ,χ)0→B(χ,υ)0 given by
[TABLE]
An integration formula
The following integration formula will be used frequently in our computation. For F∈L1(ZN\G),
5.2. Local trilinear integrals and Rankin-Selberg integrals
Let π1,π2 and π3 be irreducible unitary generic admissible representation of G with central characters ω1,ω2 and ω3. Suppose that ω1ω2ω3=1 and that π3 is a constituent (an irreducible subquotient) of B(χ3,υ3). Assume further that the following condition holds for (π1,π2;π3):
[TABLE]
Put
[TABLE]
For (W1,W2,f3)∈W(π1)×W(π2)×B(χ3,υ3), define the local Rankin-Selberg integrals by
[TABLE]
The above integrals converge absolutely under the assumption (Hb).
For W1∈W(π1), W2∈W(π2) and f3∈B(χ3−1,υ3−1),
define the local trilinear integral by
[TABLE]
The following result is a generalization of [MV10, Lemma 3.4.2]. We provide a different and more elementary proof and replace the assumption on the temperedness with a much weaker hypothesis (Hb).
Proposition 5.1**.**
With the assumption (Hb) for (π1,π2;π3), we have
[TABLE]
Proof. .
Denote by Ψ:ZN→C× the character ω2⊠ψQq. Let ⟨⟨,⟩⟩:L2(ZN\G,Ψ)⊗L2(ZN\G,Ψ−1)→C be the G-equivariant bilinear pairing given by
[TABLE]
Let λ1=λ(π1), λ2=λ(π2) and λ3=∣λ(π3)∣. By (Hb) and symmetry, we may assume λ1+λ3<1/2. Put
[TABLE]
Then one verifies that
[TABLE]
and hence, it is equivalent to showing that
[TABLE]
Put
[TABLE]
First we claim that if y1,y2∈Qq×, then
[TABLE]
To see the claim, we note that if ∣x∣≤1 or ∣x∣≤∣y∣, then
[TABLE]
and if ∣x∣>1 and ∣x∣>∣y∣, then
[TABLE]
By the Cartan decomposition, we find (y2−1y10y2−1x1)∈ZKn
if and only if ∣x∣≤max{∣y1∣,∣y2∣} and q−n≤y2−1y1≤qn or
∣x∣>max{∣y1∣,∣y2∣} and q−n≤x−2y1y2≤1, and this proves the claim.
Now we proceed to prove the equation (5.4). Let IKn be the characteristic function of ZKn and set
[TABLE]
By a formal computation, we find that
[TABLE]
To justify the above computation, it suffices to show that the integral
[TABLE]
is absolutely convergent, where F1′=ρ(k1)F1, F2′=ρ(k2)F2, W3′=ρ(k1)W3 and W4′=ρ(k2)W4. From(5.1) and (5.5), we deduce that for any ϵ>0 there exist constants Cϵ and M such that
[TABLE]
For (g,h)∈G×G, we put
[TABLE]
Then we have
[TABLE]
where r=⌊2vp(y1y2)⌋. Therefore, there exists a positive integer m0 such that if vp(y1y2)<2n−m0, then
[TABLE]
On the other hand, if vp(y1y1)≥2n−m0, then we have
Denote by L(s,π1⊗π2) the local L-factor and by ε(s,π1⊗π2):=ε(s,π1⊗π2,ψQq) the ε-factors attached to π1×π2 defined in [GJ78]. Define the γ-factor
[TABLE]
The following corollary is the core of our calculations of local zeta integrals Iv(ϕv⋆⊗ϕv⋆) at the non-archimedean places.
Corollary 5.2**.**
Suppose that (π1,π2;π3) satisfies (Hb) and that χ3υ3−1=∣⋅∣. If W1=W1⊗ω1−1, W2=W2⊗ω2−1 and f3=M∗(χ3,υ3)f3⊗ω3−1, then
[TABLE]
Proof. .
This is an immediate consequence of the local functional equation of GL(2)×GL(2) in[Jac72]. With the notation of [Jac72, page 12], we may assume that
[TABLE]
is the Godement section attached to a Bruhat-Schwartz function Φ on Qq2. Since χ3υ3−1=∣⋅∣, one verifies that
[TABLE]
where Φ is the Fourier transform of Φ defined in [Jac72, Theorem 14.2 (3)]. Under the hypothesis (Hb), we have
[TABLE]
where Ψ(s,W1,W2,Φ) and Φ(s,W1,W2,Φ) are defined in [Jac72, (14.5) and (14.6)].
Therefore, from [Jac72, Theorem 14.8] we can deduce that
[TABLE]
5.3. The calculation of the p-adic zeta integrals
5.3.1. Preliminaries
We follow the notation in §3.7. Let (f,g,h)=(fQ1,gQ2,hQ3) be the specialization of the triple of Hida families at a classical point Q=(Q1,Q2,Q3)∈XRcls:=XI1cls×XI2cls×XI3cls. Let π1=πf,p⊗ωF,p−1/2, π2=πg,p and π3=πh,p of the central characters ω1=ωg,p−1ωh,p−1, ω2=ωg,p and ω3=ωh,p respectively. Let ΠQ,p:=π1×π2×π3. For i=1,2,3, since πi,p contains a non-zero ordinary vector, by Proposition 2.2πi must be a constituent of the induced representation B(υi,χi) with Vπiord(χi)={0}. In view of the discussion in Remark 2.5, we have χ1=αf,pωF,p−1/2, χ2=αg,p and χ3=αh,p with α?,p unramified characters defined there, and the ordinary assumption implies that χiυi−1=∣⋅∣−1. Recall that if we let ξi∈Vπiord(χi) and ξi∈Vπiord(υi−1) be nonzero ordinary vectors for i=1,2,3, then
[TABLE]
Put
[TABLE]
We introduce the normalized ordinary section in the induced representations and compute its local pairing.
Lemma 5.3**.**
Let π be a constituent of the induced representation B(υ,χ) of GL2(Qp) with the central character ω. Suppose that χυ−1=∣⋅∣−1. Let ford∈B(υ,χ) be the unique section such that (i) ford is supported in BwN(Zp) (ii) ford(g)=1 for all g∈wN(Zp). Then
[TABLE]
We call ford the normalized ordinary section. Moreover, put
[TABLE]
For n≥max{1,c(πp)}, we have
[TABLE]
In particular, if Word is the normalized ordinary Whittaker function in Corollary 2.3, then
[TABLE]
Proof. .
It is straightforward to verify that ford∈Bord(υ,χ)ord(χ) is an Up-eigenfunction with eigenvalue χ∣⋅∣−21. By the integration formula [MV10, (3.2) page 207], ⟨ρ(tn)ford,ford⟩ equals
[TABLE]
The ratio of local pairings of ordinary Whittaker functions and ordinary sections is computed by the above and Lemma 2.8.
∎
5.3.2. The unbalanced case
Suppose that Q is in the unbalanced range XRf. We apply Corollary 5.2 to calculate the normalized p-adic zeta integral IΠQ,punb in (3.28).
Proposition 5.4** (p-adic zeta integral in the unbalanced case).**
Put
[TABLE]
Then
[TABLE]
Proof. .
We write Πp=ΠQ,p for brevity. It is equivalent to proving that
[TABLE]
for n≥max{c(π1),c(π2),c(π3),1}, where Ipord(ϕp⋆⊗ϕp⋆,tn) is the local zeta integral defined in (3.24). We first treat the case where either (i) π1 is principal series or (ii) π2 or π3 is discrete series. Then it is known that (π2,π3;π1) satisfies (Hb) since each πi is a local component of a cuspidal automorphic representation of GL2(A). Consider the realizations
[TABLE]
of Πp and the contragredient representation Πp.
For i=1,2,3, let Wiord=Wπiord∈Word(πi)(χi) be the normalized ordinary Whittaker functions such that Wπiord((y001))=χi∣⋅∣21(y)IZp(y) in Corollary 2.3; let fiord∈B(υi,χi)ord(χi) be the normalized ordinary section in Lemma 5.3 and fiord:=M∗(υi,χi)fiord⊗ωi−1∈B(υi−1,χi−1)0ord(υi−1). First consider the case where π1 is the principal series χ1⊞υ1. Let (f1ord)0 be the homomorphic image of f1ord in B(υ1,χ1)0. In view of (3.21), we may take
[TABLE]
where k is the Dirichlet character defined in (3.12) and θpk is the twisting operator in (2.12). According to the definition (3.24) and Corollary 5.2, we find that
[TABLE]
where
[TABLE]
Note that the adelization kA=ω˘f−1ωF1/2; hence
[TABLE]
and a simple calculation shows that θpkW3ord((a001))=υ1−1(a)IZp×(a). We proceed to calculate the local Rankin-Selberg integral
[TABLE]
We thus obtain
[TABLE]
Substituting (5.7) and (5.11) to (5.10) and noting that
Now we treat the remaining case, i.e. π1=χ1∣⋅∣−21St is special, and π2 and π3 are principal series. Thus (π1,π3;π2) satisfies (Hb). Consider the realizations
We calculate the local Rankin-Selberg integral in the right hand side
[TABLE]
Substituting the above equation and (5.7) into (5.12) and using the formulae of the local L-factor and ε-factor of π1⊗π3⊗υ2 in [GJ78, Proposition 1.4 (1.4.2)], we find that L(1/2,Πp)⋅Ip(ϕp⋆⊗ϕp⋆) equals
Replacing ϕp⋆⊗ϕp⋆ with ϕp⊗ϕp in (3.24), we define the improved p-adic zeta integral
[TABLE]
If π1 is principal series, then υ1χ2χ3=∣⋅∣−21, and
[TABLE]
if π1 is special and υ1χ2χ3=∣⋅∣−21, then
[TABLE]
These equations will be used later for the interpolation formula of improved p-adic L-functions. It can be obtained by the same computation in the above proposition. We omit the details.
5.3.3. The balanced case
Now suppose that Q is in the balanced range XRbal. We shall compute the normalized p-adic zeta integral IΠpbal in (4.21). Put
[TABLE]
for n≥max{c(π1),c(π2),c(π3),1}. Observe that if L:π1⊗π2⊗π3→C is any GL2(Qp)-invariant trilinear form, then
[TABLE]
Thus we may assume that
[TABLE]
Proposition 5.6** (p-adic zeta integral in the balanced case).**
We write Πp=ΠQ,p as before. By definition, this is equivalent to proving
[TABLE]
where Ipord(ϕp⊗ϕp,t˘n) is the local zeta integral in (4.16). The assumption (Hb*′*) implies that (π1,π2;π3) satisfies (Hb), so we consider the realizations
[TABLE]
Let Wiord=Wπiord and Wiord=Wiord⊗ωi−1 be the normalized ordinary Whittaker functions for i=1,2. Let f3ord be the normalized ordinary section in B(υ3,χ3)ord(χ3) in Lemma 5.3 and let f3ord:=M∗(υ3,χ3)f3ord⊗ω3−1.
Letting (f3ord)0 be the holomorphic image of f3ord in B(υ3,χ3)0 as before, we may take
[TABLE]
From the definition (4.16), Corollary 5.2 and (5.7), we deduce that
[TABLE]
where
[TABLE]
The local Rankin-Selberg integral Ψ(ρ(un)W1ord,W2ord,ρ(tn)f3ord) equals
[TABLE]
so we find that
[TABLE]
Substituting the above equation to (5.13), we obtain the desired formula.
∎
Remark 5.7**.**
Keep the notation in §1.3. For ∙∈{f,bal}, we put UQ:=WDp(Fil∙+VQ†)⊗Qp,ιpC be the Weil-Deligne representation of WQp associated with Fil∙+VQ† by Fontaine [Fon94, (4.2.3)]. It is not difficult to show that
[TABLE]
and hence
[TABLE]
For example, if ∙=bal and πi=χi∣⋅∣−21St are special for i=1,2,3, then dimUQN=0=3, where N is the monodromy operator, and one verifies that L(s−21,UQ)=L(s,χ1χ2χ3)L(s,χ1χ2υ3)2, L(s+21,UQ∨)=L(s,υ1υ2χ3)3 and ε(UQ)=lims→0L(21−s,χ1−1χ2−1χ3−1)/L(s+21,χ1χ2υ3)=−χ1χ2χ3∣⋅∣−1/2(p).
6. The calculation of local zeta integrals (II)
6.1. Setting
We continue to let F=(f,g,h) be the specialization of F=(f,g,h) at a classical point Q=(Q1,Q2,Q3). In this section, we assume the following minimal hypothesis for the unitary automorphic representations (πf,πg,πh) attached to (f,g,h)
Hypothesis 6.1**.**
For each prime q∣N, there exists a rearrangement {f1,f2,f3} of {f,g,h} such that
(1)
cq(πf1)≤min{cq(πf2),cq(πf3)},
2. (2)
the local components πf1,q and πf3,q are minimal,
3. (3)
either πf3,q is a principal series or πf2,q and πf3,q are both discrete series.
Recall that an irreducible admissible representation π of GL2(Qq) is minimal if the conductor c(π) is minimal among the twists π⊗χ for all characters χ:Qq×→C×.
Remark 6.2**.**
Note that if the above hypothesis holds for (f,g,h), then it also holds for specializations of (f,g,h) at any classical point by Remark 3.1. Moreover, we observe that one can always find Dirichlet characters χ1, χ2 and χ3 modulo some M with M2∣N such that χ1χ2χ3=1 and (πf⊗χ1,πg⊗χ2,πh⊗χ3) satisfies Hypothesis 6.1.
As before, we let π1=πf,q⊗ωF,q−1/2, π2=πg,q and π3=πh,q; let Πq=ΠQ,q=π1×π2×π3. Let q be a prime factor of N. Suppose that
[TABLE]
The purpose of this section is to evaluate the local zeta integral defined in (3.23)
[TABLE]
under Hypothesis 6.1. For i=1,2,3, let ci=c(πi) be the exponent of the conductors. Note that ωF,q1/2 is unramified, so under Hypothesis 6.1 and the condition (sf),
we may assume by symmetry that
[TABLE]
and that {π1,π2,π3} satisfies one of the following conditions:
•
Case (Ia): π3=χ3⊞υ3 is a principal series with χ3 unramified character of Qq×.
•
Case (Ib): π1,π2 and π3 are discrete series.
•
Case (IIa): π1 is a principal series; π2 and π3 are discrete series with L(s,π2⊗π3)=1.
•
Case (IIb): π1 is a principal series; π2 and π3 are discrete series with L(s,π2⊗π3)=1.
For i=1,2,3, let ξi∈Vπinew and ξi∈πi(τci)Vπinew be new vectors. Set
[TABLE]
We recall the following choices of local test vectors ϕq⋆∈VΠq and ϕq⋆∈VΠq in (3.21) and (3.22) according to the polynomials Qi,q(X) for i=1,2,3 in (3.20). Put
[TABLE]
•
Case (Ia) and (Ib):
[TABLE]
•
Case (IIa): Let r=⌈2c∗⌉. Then
[TABLE]
•
Case (IIb):
If c1=0, then let υ1:Qq×→C× be the unramified character with υ1(q)=βq(f)∣q∣2k1−1, where βq(f) is the specialization of βq(f) at Q1 in Definition 3.3 and we have
[TABLE]
If c1>0, then
[TABLE]
In what follows, we let Wi=Wπi∈W(πi)new be the normalized Whittaker newforms and let Wi=Wπi⊗ωi−1 for i=1,2,3. For a non-negative integer n, put
[TABLE]
6.2. The ramified case (Ia)
In the case (Ia), π3=χ3⊞υ3 is a principle series with c(χ3)=0.
Proposition 6.3**.**
In case (Ia), we have
[TABLE]
Proof. .
In this case, c3=c(ω3)=c(ω1ω2)≤c2, so c∗=c2. We use the realizations
[TABLE]
Let f3∈B(χ3,υ3)new be the new section normalized so that f3(1)=1 and f3=M∗(χ3,υ3)f3⊗ω3−1. Let
υ3 is unramified and L(s,π2)=L(s,χ2) for some unramified character χ2,
(c)
υ3 is unramified and L(s,π2)=1.
Subcase (a): In this case, f3∈B(χ3,υ3) is given by
[TABLE]
by [Sch02, Prop. 2.1.2]. We have W2((y001))=IZq×(y) if L(s,π2)=1 and W2((y001))=χ2∣⋅∣21(y)IZq(y) if L(s,π2)=L(s,χ2) for some unramified character χ2. In any case, the integral Ψ(W1,W2,f3⋆) equals
[TABLE]
Note that π1 and π2 can not be both unramified special representations as c(π1)≤1 and υ3 is ramified. A standard calculation together with the recipe of local L-factors for GL(2)×GL(2) in [GJ78, Proposition 1.4] shows that
[TABLE]
We obtain
[TABLE]
and hence
[TABLE]
Substituting the above equation and the formula Lemma 6.4 below to (6.1), we obtain the expression of Iq(ϕq⋆⊗ϕq⋆) as claimed in this subcase.
Subcase (b) and (c): Next we consider the case υ3 is unramified, so π1 and π3 are spherical (c1=c3=0). Note that in Subcase (b) where L(s,π2)=L(s,χ2) for χ2 an unramified character, we must have π2=χ2∣⋅∣−21St is an unramified special representation. Define the function F:ZN\G/K0(qc2)→C by
[TABLE]
We have
[TABLE]
where
[TABLE]
Using the identity
[TABLE]
and the formula
[TABLE]
we find that
[TABLE]
On the other hand, it is easy to see that
[TABLE]
It remains to calculate Jn in subcase (c). We have
[TABLE]
where
[TABLE]
By Lemma 6.5 below, we find that Jn=0 unless n=c2−1 and
[TABLE]
Combining the above calculations, in either subcase (b) or subcase (c), we obtain
[TABLE]
This shows that
[TABLE]
The above equation with Lemma 6.4 below and (6.1) yield that
[TABLE]
This completes the proof.
∎
Lemma 6.4**.**
Let π be a constituent of B(χ,υ) of central character ω. Suppose that χ is unramified. Let c=c(π) be the exponent of the conductor. Let Wπ be the new vector in W(π)new with Wπ(1)=1 and Wπ=Wπ⊗ω−1. Let f∈B(υ,χ) and f=M∗(χ,υ)f⊗ω−1.
(1)
Suppose that π is a principal series and f∈B(χ,υ)new is the new section with f(1)=1. Then
[TABLE]
2. (2)
Suppose that π is an unramified special representation with χυ−1=∣⋅∣−1, i.e. π=υ∣⋅∣−21St. Let f be the section in B(χ,υ)U0(q) with f(w)=1. Then
[TABLE]
Proof. .
We first consider the case π is a principal series. Suppose that c=0. Then we have
[TABLE]
and hence
[TABLE]
Suppose that c>0. Then υ is ramified and f is supported in BU0(qc) (cf. [Sch02, Proposition 2.1.2]), and hence ⟨ρ(τc)f,f⟩=⟨f,ρ(τc−1)f⟩ equals
[TABLE]
In addition, ⟨ρ(τc)Wπ,Wπ⟩=ε(1/2,π)ζq(1), so we obtain that
[TABLE]
Now we consider the case π is an unramified special representation. Then c=1 and we may assume f(w)=1, i.e. f is supported in BwU0(q). An elementary computation shows that
[TABLE]
Then ⟨ρ(τ1)f,f⟩ equals
[TABLE]
Combined with the formulas
[TABLE]
the lemma in this case follows.
∎
Lemma 6.5**.**
Let π is an irreducible admissible generic representation of GL2(Qq) and let Wπ∈W(π)new be the normalized Whittaker newform with Wπ(1)=1. Let χ:Qq×→C× with χ(q)=1. Suppose that L(s,π)=L(s,π⊗χ)=1. Put
[TABLE]
If χ=1, then An(m)(χ)=0 unless m=c(π)−c(π⊗χ) and n=c(π)−c(χ); in this case
[TABLE]
If χ=1 is the trivial character, then An(m)(1)=0 unless m=0 and n≥c(π)−1; in this case,
[TABLE]
Proof. .
Let An(m)=An(m)(χ) and c=c(π). Let φn(a):=Wπ((a001)(1qn01)) for a∈Qq×. Then φn belongs to the Krillov model K(π) of π with respect to ψQq. Since L(s,π)=1, φ:=IZq× is a new vector in K(π) and K(π) (cf. [Sch02, §2.4]). Then π((0−qc10))φ(a)ω−1(a)=α⋅φ(a) for some α∈C×. By the functional equation, we have
[TABLE]
where
[TABLE]
By the relation
[TABLE]
we find that α=ε(1/2,π) and
[TABLE]
Let t=∣q∣s. From the above equation, we deduce that
[TABLE]
Since L(s,π)=L(s,π⊗χ)=1, we have
[TABLE]
Comparing the coefficients of tm, if χ=1, we find that An(m)=0 only when c−n=c(χ), and m=c−c(π⊗χ). In this case
[TABLE]
If χ=1, and An(m)=0 unless m=0, and
[TABLE]
This completes the proof.
∎
6.3. The case (Ib)
In this case π1=χ1∣⋅∣−21St is an unramified special representation, and π2 and π3 are discrete series with the local root number ε(1/2,Πq)=1. We first remark that if L(s,π2⊗π3)=1, then by the minimality of π3 combined with [GJ78, Proposition (1.2)], this implies that π3=π2⊗σ for some unramified character σ of Qq× and π2 is also minimal. Hence, in view of [Pra90, Proposition 8.5] π2 and π3 must be unramified special in case (Ib) if L(s,π2⊗π3)=1.
Proposition 6.6**.**
In case (Ib),
(1)
if L(s,π2⊗π3)=1, then we have
[TABLE]
2. (2)
if L(s,π2⊗π3)=1, then c1=c2=c3=1 and
[TABLE]
Proof. .
Now we suppose that π1=χ1∣⋅∣−21St is unramified special. Let υ1=χ1∣⋅∣−1. We use the realizations
[TABLE]
Here B(υ1,χ1)0 is the unique irreducible quotient space of B(υ1,χ1) and B(υ1−1,χ1−1)0 is the unique irreducible sub-representation of B(υ1−1,χ1−1) as in §5.1.
Let f1∈B(υ1,χ1)U0(q) be the unique function supported in BwN(Zq) with f1(1)=1. Then the holomorphic image f10 of f1 in Vπ1=B(υ1,χ1)0 is a new vector. Let f1=M∗(υ1,χ1)f⊗ω1−1. We may assume that c2≥c3 (so c∗=c2). Let W3⋆=ρ((qc3−c2001))W3 and W3⋆=W3⋆⊗ω3−1. Then
In what follows, if L(s,π2⊗π3)=1, then we write π2=χ2∣⋅∣−21St and π3=χ3∣⋅∣−21St with χ2,χ3 unramified. Using the integration formula (5.3), we find that Ψ(W2,W3⋆,f1) equals
[TABLE]
If L(s,π2⊗π3)=1, then one verifies easily that γ(1/2,π2⊗π3⊗υ1)=ε(1/2,π2⊗π3⊗υ1) and L(s,Πq)=1, so we obtain the claimed expression of Iq(ϕq⋆⊗ϕq⋆) in this case by substituting the above equation into (6.2).
Suppose that L(s,π2⊗π3)=1. Then c1=c2=c3=1 and ε(1/2,πi)=−χi∣⋅∣−21(q) for i=1,2,3. Hence, W3⋆=W3 and
[TABLE]
On the other hand, by [Pra90, Proposition 8.6], ε(1/2,Πq)=1 implies that
[TABLE]
By [GJ78, Proposition 1.4], ε(1/2,π2⊗π3⊗υ1)=∣q∣−1 and
[TABLE]
and a simple computation of the Langlands parameter for Πq shows
[TABLE]
We thus obtain
[TABLE]
The desired formula of Iq(ϕq⋆⊗ϕq⋆)=Iq(ϕq⊗ϕq) in this case can be deduced immediately by combining (6.2) with the above formulae of Ψ(W2,W3⋆,f1) and the γ-factor.
∎
Remark 6.7**.**
In the case where L(s,π2⊗π3)=1, i.e. πi are special unramified, the integral Iq(ϕq⋆⊗ϕq⋆) was computed in [II10, page 1405-1406], from which we have Iq(ϕq⋆⊗ϕq⋆)=2∣q∣(1+∣q∣). Our computation agrees with the result therein (note that BΠq=ζq(2)3ζq(1)−3).
6.4. The ramified case (IIa)
In this case, π2,π3 are discrete series and L(s,π2⊗π3)=1. As we have remarked in the previous subsection, π3≃π2⊗σ for some unramified character σ of Qq× and π1 must be spherical. Let τQq2 be the quadratic character associated with the unramified quadratic field extension Qq2 of Qq. We say a discrete series π is of type 1 if π≃π⊗τQq2 and is of type 2 if π≃π⊗τQq2.
The following lemma for minimal supercuspidal representations should be well-known to experts. We include a proof here for the reader’s convenience.
Lemma 6.8**.**
Let π be a minimal supercuspidal representation with central character ω.
(1)
Let χ be a charatcer of Qq×. Then we have the following conductor formula
[TABLE]
Here recall that c(?) denotes the exponent of the conductor of ?.
2. (2)
If π is of type 1, then c(π) is even and L(s,π⊗π)=ζq(2s).
If π is of type 2, then c(π) is odd and L(s,π⊗π)=ζq(s).
Proof. .
Let c=c(π)≥2. To prove the first assertion, we begin with an immediate consequence of [JL70, Proposition 2.11 (i)]. Let χ0=χ∣Zq× and ω0=ω∣Zq×. If χ0ω0=1, then there exists a character σ such that
[TABLE]
and if χ0=1,ω0−1, then either of the following condition holds:
(i)
σ∣Zq×=1,χ0 and
[TABLE]
2. (ii)
σ∣Zq×=1, c(χ)=c(π⊗χ)−c(χω) and c(χω)−c≥−1;
3. (iii)
σ∣Zq×=χ0, c(χ)=c(π)−c(χω) and c(χω)−c(π⊗χ)≥−1.
To see it, we set ρ=χ0−1ω0−1, ν=ω0−1, m=c(χω), p=m−c(π⊗χ) and n=m−c(π) in the equality proved in [JL70, Proposition 2.11 (i)], from which we see immediately that the equality shows the existence of desired σ by noting that Cn(ρ−1ω−1)=0 if and only if n=c(π⊗ρ). Note that (6.3) implies that
[TABLE]
by the minimality of π. In particular, c(ω)≤c/2. Suppose that c(χ)>c/2. Then c(χω)=c(χ) and σ satisfies either (i) or (ii). In case (ii), we have c(π⊗χ)=2c(χ). In case (i), c(σ)=c−c(χ)<c/2, and hence we also have c(π⊗χ)=c(χ)+c(σχ−1)=2c(χ). Now we suppose that c(χ)≤c/2. If χ0=ω0−1, then c(π⊗χ)=c(π)=c, so we may assume χ0=ω0−1. It suffices to show c(π⊗χ)≤c. Note that c(χω)≤c/2. In case (iii), c(π⊗χ)≤c(χω)+1≤c, and in the case (ii), c(π⊗χ)=c(χ)+c(χω)≤c. We consider case (i). We have c(σ)=c−c(χω)≥c/2. If c(σ)>c/2, then
[TABLE]
If c(σ)=c/2, then we also have c(π⊗χ)≤c/2+c/2=c. This finishes the proof of the first assertion.
We proceed to show the second assertion. This is [Hid90, Proposition 6.1]. We give a more elementary proof. The local L-factor of L(s,π⊗π) is given in [GJ78, Corollary (1.3)]. To see the parity of the conductor, we note that π≃π⊗τQq2 if and only if ε(s,π⊗χ)=ε(s,π⊗χτQq2) for all character χ:Qq×→C× as π is supercuspidal. Since τQq2 is unramified, this is equivalent to saying (−1)c(π⊗χ)=1 for all χ. It follows from part (1) that π is of type 1 if and only if c(π) is even.
∎
Proposition 6.9**.**
Let r=⌈2c(π2)⌉. We have
[TABLE]
Proof. .
After an unramified twist, we may assume that π1=χ1⊞υ1 with χ1=∣⋅∣s−21 and υ1=∣⋅∣21−s for some s∈C and π3=π2. Let π=π2 be a minimal discrete series. We use the realizations as in (6.5). Let f1 be the normalized new vector in B(∣⋅∣s−21,∣⋅∣21−s) and let f1⋆=ρ((q−r001))f1. As in the previous cases, by Corollary 5.2 we obtain
[TABLE]
Define the function W:ZN\G→C by
[TABLE]
We compute Ψ(W2,W3,f1⋆) in the following two subcases.
Subcase (a): πi=χi∣⋅∣−21St are unramified special for i=2,3. Then π2 is of type 2 and r=1. We have
[TABLE]
where
[TABLE]
By a direct calculation, we find that
[TABLE]
Note that ω2ω3=χ22χ32∣⋅∣−2=1. Hence
[TABLE]
Subcase (b): π2 and π3 are supercuspidal. In this case,
by Lemma 6.8 (2), and Aπ2,n(m)(χ)Aπ3,n(m)(χ−1)=0 otherwise.
If χ=1, then
[TABLE]
if c−n=1. Therefore, if n<r, then
[TABLE]
If r≤n<c−1, then
[TABLE]
If n=c−1, then
[TABLE]
If n≥c, then J≥c=∣q∣c. Combining the above equations, we find that Ψ(W2,W3,f1⋆) equals
[TABLE]
On the other hand, when π2 and π3 are supercuspidal, it is easy to see that
[TABLE]
We thus conclude that in either subcase (a) or subcase (b),
[TABLE]
Substituting the above equation and Lemma 6.4 into (6.4), we obtain
[TABLE]
by noting that L(s,Πq)=L(s,π2⊗π3⊗χ1)L(s,π2⊗π3⊗υ1). This finishes the proof.
∎
6.5. The ramified case (IIb)
Finally, we consider the case where π2 and π3 are discrete series, π3 is minimal and L(s,π2⊗π3)=1. It is also assumed that π1=χ1⊞υ1 is a principal series with c(χ1)=0 and c(υ1)≤1.
Proposition 6.10**.**
Let c∗=max{c2,c3}. We have
[TABLE]
Proof. .
In this case, we use the realizations
[TABLE]
Let f1∈B(χ1,υ1)new be the new vector with f1(1)=1. Define the section f1⋆∈B(χ1,υ1)U0(qc∗) by
[TABLE]
and f1⋆=ρ((q1−c∗001))f1 if c1=1. Then f1⋆ is the section supported in the BU0(qc∗) with f1⋆(1)=χ1∣⋅∣21(qc1−c∗)L(1,χ1υ1−1)−1. Let f1=M∗(χ1,υ1)f1⊗ω1−1. Then we have
[TABLE]
A direct computation shows that
[TABLE]
The last equality follows from the fact that either L(s,π2)=1 or L(s,π3)=1 in case (IIb). By Corollary 5.2, the above equation and Lemma 6.4 (1), we obtain
[TABLE]
The lemma follows.
∎
6.6. The p-adic interpolation of normalized local zeta integrals IΠQ,q∗
In this subsection, we compute the normalized local zeta integrals IΠQ,q∗=IΠq∗ in (3.29) and show these integrals can be p-adically interpolated by an Iwasawa function in Q∈XR+. We begin with recalling some facts. If F∈I[[q]] is a primitive Hida family of tame conductor N and Q∈XI+ is a classical point, as in the introduction we denote by VFQ the associated p-adic Galois representation, and for each prime ℓ, let WDℓ(VFQ) be the representation of the Weil-Deligne group WQℓ′ attached to VFQ. Let ℓ=p be a prime. On the automorphic side, denote by RecQℓ the local Langlands reciprocity map from the set of isomorphism classes of irreducible representations of GLn(Qℓ) to the set of isomorphism classes of n-dimensional representations of Weil-Deligne group WQℓ′ over Qp ([HT01a]). Then
[TABLE]
We recall the following standard fact for the p-adic interpolation of local constants in Hida families.
Lemma 6.11**.**
There exists εℓ(F)∈I× such that
[TABLE]
for every classical point Q∈XI+. Moreover, if G∈I[[q]] is another primitive Hida family, then there exists ε(F⊗G)∈(I⊗OI)× such that
[TABLE]
for every classical points (Q1,Q2)∈XI+×XI+.
Proof. .
This is a simple consequence of the description of ρF∣GQℓ together with the rigidity of automorphic types of Hida families in §3.2. We can actually make explicit the construction of εℓ(F) as follows. Let Q∈XI+ be any arithmetic point. If πFQ,ℓ is a principal series, then
ρF,ℓ⊗⟨εcyc⟩I1/2∣GQℓ≃αF,ℓξ1εcyc1/2⊕αF,ℓ−1ξ2εcyc1/2 is reducible with ξ1,ξ2:GQℓ→Q× finite order characters and αF,ℓ:GQℓ→I× unramified, and it is not difficult to see that
[TABLE]
where n1=c(ξ1) and n2=c(ξ2). If πF,Q is special, then ρF,ℓ∣GQℓ⊗⟨εcyc⟩I1/2 is a non-split extension of ξ by ξεcyc for a finite order character ξ:GQℓ→Q×, and letting n′=c(ξ), we have
[TABLE]
If πFQ,ℓ is supercuspidal, then ρF,ℓ∣GQℓ=ρ0⊗⟨εcyc⟩I−1/2 for some irreducible representation ρ0:GQℓ→GL2(Q) of finite image and of conductor ℓn′′, and we have
[TABLE]
The case ρF⊗ρG can be treated in the same manner by the formulae of ϵ-factors in [GJ78]. We omit the details.
∎
We recall that the finite set Σexc in (1.5) is given by
[TABLE]
Proposition 6.12**.**
With Hypothesis 6.1, for each q∣N with q∈Σ−, there exists a unique element fF,q∈R×, which we call the fudge factor at q such that
[TABLE]
for all Q∈XR+.
Proof. .
We shall express IΠq∗ in terms of epsilon factors of Galois representation under the setting in §6.1. As before, let (f,g,h)=(fQ1,gQ2,hQ3) be a triplet of p-stabilized newforms of weights (k1,k2,k3). Let χF:GQ→R× be the unique character such that χF−2=(detρf⊗detρg⊗detρh)εcyc−1. Then χF is unramified at q. If χF is the specialization of χF at Q, then
[TABLE]
As before, c2=cq(πg), c3=cq(πh) and c∗=max{c2,c3}. Write ∣⋅∣ for ∣⋅∣q. Recall that
[TABLE]
Here dFκ=dfκ1dgκ2dhκ3 is a product of the adjustment of levels defined in §3.4. Let Frobq be the geometric Frobenius element in the Weil group WQq.
Case (Ia) and (Ib): Suppose we are in the situation of either §6.2 or §6.3. Then we have vq(df)=0, vq(dg)=c∗−c2 and vq(dh)=c∗−c3. Thus
[TABLE]
In Case (Ia) with c3=0, by Proposition 6.3 we obtain
[TABLE]
Hence, we find that fF,q=detρgdetρh(Frobqc∗)∣q∣−2c2⋅ε(g)2. Consider Case (Ia) with c3>0 (c∗=c2). Let αq∗(h):WQq→I× be the unramified character sending Frobq to a(q,h) and let αq(h)=a(q,h):=χ3∣⋅∣21−k3(q). By local Langlands correspondence for GL(2),
Case (IIb): In the setting of §6.5, we have vq(df)=c∗−c1 and vq(dg)=vq(dh)=0. Then
[TABLE]
If c1>0, we set αq(f):=a(q,f). If c1=0, then set αq(f):=a(q,f)−βq(f), where β(q,f) is a root of the Hecke polynomial of f at q fixed in Definition 3.3. Define αf,q∗:WQq→I1× to be the unramified character with αf,q∗(Frobq)=αq(f). By definition, RecQq(χ1ωF1/2∣⋅∣21−kQ1)=αf,q∗ the specialization of αf,q∗ at Q1.
From Proposition 6.10, we obtain the following expression of IΠq⋆:
[TABLE]
In either case, it is easy to see by Lemma 6.11 that
[TABLE]
where c′ is the exponent of the conductor of πf,q×πg,q.
This completes the proof in all cases.
∎
7. The interpolation formulae
7.1. Proof of the main results
We complete the proofs of the main results in this section. We retain the notation in the introduction. For Q=(Q1,Q2,Q3), recall that ωFQ1/2=ωa−2wQ−3ϵQ11/2ϵQ21/2ϵQ31/2 and that
[TABLE]
In terms of L-functions attached to Galois representations in the introduction, we have
[TABLE]
where ΓVQ†(s)=L(s+21,ΠQ,∞) is the Γ-factor of VQ† in (1.4). The set Σ− in Definition 3.9 is given by
[TABLE]
Theorem 7.1**.**
Suppose that p is an odd prime and that (ev) and (sf) hold. After we enlarge the coefficient ring O to some finite unramified extension over O, the following statements hold.
(1)
If Σ−=∅ and f satisfies the Hypothesis (CR), then there exists an element LFf∈R such that for every Q=(Q1,Q2,Q3)∈XRf in the unbalanced range dominated by f, we have
[TABLE]
where ΩfQ1 is the canonical period attached to the p-stabilized form fQ1 as in Definition 3.12.
2. (2)
If p>3, #Σ− is odd, f,g and h all satisfy Hypothesis (CR,Σ−), and N− and N/N− are relatively prime, then there exists a unique element LFbal∈R such that for any arithmetic point Q∈Xbal in the balanced range, we have
[TABLE]
where ΩfQ1D,ΩgQ1D and ΩhQ3D are the Gross periods in Definition 4.12
Proof. .
By the observation in Remark 6.2, there exists Drichlete characters χ=(χ1,χ2,χ3) modulo M with M2∣N such that
•
χ1χ2χ3=1;
•
the triple F′ of primitive Hida families attached to the Dirichlet twists (f∣[χ1],g∣[χ2],h∣[χ3]) given by
Enlarging O if necessary, we may choose a square root fF′∈R× of the fudge factor fF′:=∏q∣N/N−fF′,q defined in Proposition 6.12. On the other hand, by Proposition 7.5 and Proposition 7.7 in the next subsection, there exist u1∈I1× and u2∈R× such that for all arithmetic points Q∈XR+, we have the equalities
[TABLE]
Now we define
[TABLE]
Then we can verify directly that LFf (resp. LFbal) enjoys the desired interpolation formulae by Corollary 3.13 (resp. Corollary 4.13) combined with Proposition 6.12, the p-adic computation Proposition 5.4 (resp. Proposition 5.6) and Remark 5.7.
∎
Remark 7.2**.**
The reason for the appearance of the extra fudge factor ∏ℓ∈Σexc(1+ℓ−1)2 is not clear to the author, but a similar factor H0 appeared in p-adic L-functions for adjoint representations [Hid88a, Corollary 7.12].
7.2. The comparison between the canonical periods of Hida families with twists
Let f∈eS(N,ψ,I) be a primitive Hida family of the tame conductor N and of the brach character ψ. We assume that f satisfies (CR). Let q=p be a prime. We further suppose that f is minimal at q, i.e. for some arithmetic point Q∈XI+, the unitary cuspidal automorphic representation π:=πfQ of GL2(A) associated with the specialization fQ is minimal at q. Note that this definition does not depend on the choice of arithmetic points by the rigidity of automorphic types for Hida families. Let χ be a Dirichlet character modulo a power of q and let f♯ be the primitive Hida family corresponding to the twist f∣[χ] and let N♯ be the tame conductor of f♯. The aim of this subsection is to use the method of level-raising to show the two periods ΩfQ and ΩfQ♯ defined in Definition 3.12 are equal up to a unit in I. We will also prove the same result for the Gross periods of the primitive Jacquet-Langlands lifts fD and the twist f♯D.
Remark 7.3**.**
We recall some generalities on congruence ideals following the discussion in [Hid88a, page 363-366]. Let R be a domain. Let T be a finite reduced R-algebra with a R-algebra homomorphism λ:T→R. For any T-module M, we denote
[TABLE]
Then
[TABLE]
Let H be a free T-module of rank d. Suppose that T is Gorenstein, i.e. T≃HomR(T,R) as T-modules and that we have a perfect pairing ⟨,⟩:H×H→R such that ⟨tx,y⟩=⟨x,ty⟩ for t∈T. Then T[λ] is free R-module of rank one and hence H[λ] is free R-module of rank d with a basis {e1,…,ed}. We have
[TABLE]
Let ψ(q) be the q-primary component of ψ. If χ=1 or ψ(q)−1, then N♯=N and the Atkin-Lehner involution ηq at q ([Miy06, page 168]) induces the isomorphism eS(N,I)mf♯≃eS(N,I)mf, so we find that C(f♯)=C(f).
Lemma 7.4**.**
Suppose that χ=1,ψ(q)−1. Then C(f♯)=C(f)⋅Eq(f), where
[TABLE]
(recall that ψI is the I-adic character ψ⟨εcyc⟩−2⟨εcyc⟩I).
Proof. .
We shall follow the notation in §3.3. Let T♯:=T(N♯,I) and let m♯ be the maximal ideal of T♯ containing the operator Uq, {Tq−a(q,f)}q∤Npq and {Uq−a(q,f)}q∣Np,q=q. Since χ=1,ψ(q)−1, we have a(q,f♯)=0, and the twisting morphism ∣[χ−1] induces an isomorphism
[TABLE]
as T♯-modules. Let r0=2 if q∤N, r0=1 if q∣N and πq is not supercuspidal and r0=0 if πq is supercuspidal. For brevity, we put
[TABLE]
According to the possible list of tame conductors of newforms in eS(Nqr,I)m♯ [DT94, page 436], all newforms in eS(Nqr,I)m♯ have tame conductor dividing Nqr0. It follows hat Uq=0 on S(Nqr0) and that
[TABLE]
Here recall that Vq(∑anqn)=q∑anqqn.
Combined with the relation UqVq=q, the above facts implies that
[TABLE]
and hence
[TABLE]
We are going to apply the discussion in Remark 7.3 to compare the congruence ideals. For each positive integer M not divisible by p, put
[TABLE]
Let {,}M:Hp(M)×Hp(M)→Λ denote the Hecke-equivariant perfect pairing defined in [Oht95, Definition (4.1.17)]. Let Hp(M)m:=(Hp(M)⊗ΛI)m. By [Wil95, Corollary 1 and 2, page 482], Hp(M)m is a free T(M,I)m-module of rank two and T(M,I)m is Gorenstein under the Hypothesis (CR). Let H=Hp(N)m and H♯=Hp(Nqr0)m♯. Suppose that we have an injective I-linear map iq:H→H♯ such that
(i)
iq(H[λf])⊂H♯[λf♯];
(ii)
the I-submodule iq(H) is a direct summand of H♯.
Let iq∗ be the adjoint map of i. Recall that i∗:H♯→H is the unique map such that {iq(x),y}Nqr0={x,iq∗(y)}N. We have
[TABLE]
We proceed to construct the map iq and compute the composition iqiq∗. Let λ=λf. For an integer d relatively prime to Np, Sd denotes the Hecke operator [ΓN(d00d)ΓN]. Then we have Sd=σd⟨d⟩I⟨d⟩−2∈T, where σd is the diamond operator.
Case q∤N (r0=2): Define iq:H→H♯ by
[TABLE]
Then one verifies directly that Uqiq=0, which implies (i). The property (ii) is a consequence of Ihara’s lemma [Rib84, Theorem 4.1]. A direct computation shows that
[TABLE]
and hence iq∗iq∣H[λ] is a scalar given by
[TABLE]
Note that λ(Sq)=ψI(q).
Case q∣N (r0=1): Define iq:H→H♯ by
[TABLE]
A direct computation shows that the adjoint map iq∗ is given by
[TABLE]
and that
[TABLE]
Let s=vq(N) and τqs:=(0−qs10)∈GL2(Qq). It is easy to see that
[TABLE]
The restriction of [ΓNΓNq]Vq to H[λ] is given by
[TABLE]
We thus find that
[TABLE]
The assertion follows from (7.2) and the above computation of iq∗iq∣H[λ].
∎
Proposition 7.5**.**
There exists a unit u∈I× such that for any arithmetic point Q, we have
[TABLE]
Proof. .
Let fQ∘ and fQ♯∘ be the newforms corresponding to fQ and fQ♯ of conductors Npn and N♯pn respectively. If χ=ψ(q)−1, then N=N♯ and fQ♯∘ is the image of fQ∘ acted by the Atkin-Lehner involution at q, from which we can deduce the assertion easily if χ=1 or ψ(q)−1. Suppose that χ=1,ψ(q)−1. From (2.18), we see that
[TABLE]
A direct computation shows that if q∤N, then the right hand side equals
[TABLE]
and if q∣N, then it is equal to
[TABLE]
In any case, it is clear that there exists a unit u′∈I× such that
[TABLE]
for all arithmetic points Q. Therefore, the assertion follows from Definition 3.12, Lemma 7.4 and the fact that Ep(fQ,Ad)=Ep(fQ♯,Ad).
∎
The definite case
Now we consider the Gross periods of definite quaternionic Hida families. Assume that f satisfies Hypothesis (CR,Σ−). Let fD∈eSD(N,ψ,I) be the primitive Jacquet-Langlands lift of f. Let qc be the conductor of χ. Let Pχ be the element in the group ring O[GL2(Qq)] defined as follows: Pχ=1 if χ=1, Pχ=(0−N10) if χ=ψ(q)−1, and
[TABLE]
if χ=1,ψ(q)−1, where g(χ−1) is the Gauss sum of χ−1. Put
[TABLE]
for x∈D× and ν(x) the reduced norm of x.
Lemma 7.6**.**
The quaternionic form fD∣[χ] is a primitive Jacquet-Langlands lift of f♯. In other words, fD∣[χ]∈eSD(N♯,ψχ2,I)[λf♯D] is a generator over I.
Proof. .
First we claim that fD∣[χ]∈eSD(N♯,ψχ2,I)[λf♯D]. This is clear if χ=1 or ψ(q)−1. If χ=1,ψ(q)−1, then λf♯(Uq)=0, and it is not difficult to show that Uq(fD∣[χ])=0 by a direct computation. This shows the claim.
To see that fD∣[χ] is primitive, it suffices to show that fD∣[χ] is non-vanishing modulo the maximal ideal mI of I. Let fˉ:=fD⊗χ∘ν(\mboxmodmI)∈S2D(N♯pt,ψχ2,Fˉp) for some positive integer t. Define two operators on S2D(N♯pt,ψχ2,Fˉp) by
[TABLE]
Then
[TABLE]
Suppose that fD∣[χ](\mboxmodmI)=0. Then we deduce from the above equation that either
[TABLE]
In any case, this implies that fˉ=0 by Ihara’s lemma for definite quaternion algebras [CH18b, Lemma 5.5] and hence fD(\mboxmodmI)=0, which is a contradiction.
∎
Proposition 7.7**.**
Let f♯D be a primitive Jacquet-Langlands lift of f♯. There exists u∈I× such that for every arithmetic point Q∈XI+, we have
[TABLE]
Proof. .
Let f′:=fD∣[χ]. Then f♯D=v⋅f′ for some v∈I× by Lemma 7.6. Let f=Up−nfQD be the LkQ−2(Cp)-valued p-adic modular form obtained by Theorem 4.2 (2). Taking a nonzero vector u∈LkQ−2(Cp), we let φ=Φ(f)u=⟨Φ(f),u⟩kQ−2 be the matrix coefficient of the vector-valued automorphic forms associated with f and u as in (4.4) and let φχ:=Pχφ⊗χ∘ν. Choosing v with ⟨u,v⟩kQ−2=1, define φ′=Φ(f)v and φχ′ likewise. By Lemma 4.4 and (4.5), we have
[TABLE]
where
[TABLE]
It is easy to see that
[TABLE]
On the other hand,
[TABLE]
If χ=1 or ψ(q)−1, S1=S2=1. Suppose that χ=1,ψ(q)−1. Then PχWπq((a001))=IZq×(a)χq−1(a), so we have PχWπq⊗χq=Wπq⊗χq, and hence
[TABLE]
From the above computations of S1 and S2, we see that
[TABLE]
and the lemma follows.
∎
Remark 7.8**.**
If f satisfies (CR,Σ−), then ηfD indeed generates the congruence ideal associated with the homomorphism λf:TD(N,ψ,I)→I. This strengthens [CH18b, Prop. 6.1] by replacing (CR+) there with a weaker hypothesis (CR, Σ−) here. Note that TD(N,ψ,I) is isomorphic to the N−-new quotient of T(N,ψ,I). In particular, this implies that the congruence ideal (ηfD) contains (ηf) and (ηfD)=(ηf) if the residual Galois representation ρf(\mboxmodmI) is ramified at all ℓ∈Σ−. This implies Hida’s canonical period of f is an integral multiple of the Gross period of f.
8. Applications to anticyclotomic p-adic L-functions
8.1. Primitive Hida families of CM forms
In this section, we show that when g and h are primitive Hida families of CM forms, then the unbalanced p-adic triple product L-function specializes to a product of theta elements á la Bertolini and Darmon in [BD96]. As a consequence, the anticyclotomic exceptional zero conjecture can be deduced from the theorem of Greenberg and Stevens. Let K be an imaginary quadratic field over Q of the absolute discriminant DK. Suppose that pOK=pp, where p is the prime induced by the fixed embedding Q↪C≃Qp. Let K∞ be the Zp2-extension of K and let Γ∞=Gal(K∞/K) be the Galois group. Let Kp∞ be the p-ramified Zp-extension in K∞ and Γp∞=Gal(Kp∞/K) be the Galois group. Let c be an ideal of OK coprime to p. For each ideal a prime to pc, define σa∈Gal(K(cp∞)/K) be the image of a under the geometrically normalized Artin map sending a prime ideal q to the geometric Frobenius Frobq. For each place w of K, we let Artw:Kw×→GKab denote the restriction of the Artin map to Kw×. Then Artp induces an embedding Λ→O[[Γp∞]] given by [z]↦Artp(z)∣Kp∞. Let Ipw:=Artp(1+pZp)∣Kp∞⊂Γp∞. Let pb:=[Γp∞:Ipw]. Note that b=0 if the class number hK of K is prime to p. Fixing a topological generator γp of Γp∞ such that γppb=Artp(1+p)∣Kp∞, let l:Gal(K∞/K)→Zp be the logarithm defined by the equation
[TABLE]
For each variable S, let ΨS:Γ∞→O[[S]]× be the universal character defined by
[TABLE]
Enlarge the coefficient ring O so that O contains an algebraic integer v∈Z× such that vpb=1+p. For any finite order character ψ:GK→O× of tame conductor c, we define
[TABLE]
Let V:GQ→GKab be the transfer map and put ψ+=ψ∘V. Then θψ(S) is a primitive Hida families in eS(C,ψ+τK/Qω−1,O[[S]]), where C=#(OK/c)DK and τK/Q is the quadratic character associated with K/Q.
8.2. Anticyclotomic p-adic L-functions for modular forms
Let N be a positive integer relatively prime to p. Let f∈S2r(Np,1) be a p-stabilized newform of weight 2r≥2, tame conductor N and trivial nebentypus and let χ be a ring class character of K with the conductor cOK. We recall the anticyclotomic p-adic L-functions associated with (f,χ) in the definite setting. Decompose N=N+N−, where N+ (resp. N− ) is a product of primes split (resp. non-split) in K. Suppose that
•
(Np,cDK)=1,
•
N− is a square-free product of an odd number of primes,
•
the residual Galois representation ρˉf,p satisfies (CR, suppN−).
Let f∘ be the normalized newform of conductor N∘=Npnp corresponding to f. Enlarging O so that it contains all Fourier coefficients of f, let T:=T2r(N∘,1) be the Hecke algebra of level Γ0(N∘) and let λf∘:T→O be the homomorphism induced by f∘. Denote by TN− be the N−-new quotient of the T. Then λf∘ factors through TN−, and we denote by λf∘,N− the resulting morphism. Let ηf∘∈O (resp. ηf∘,N−) be the congruence number corresponding to λf∘ (resp. λf∘,N−). It is clear that ηf∘,N− is a divisor of the congruence number ηf∘ of f∘.
Let K∞− be the anticyclotomic Zp-extension of K. Let c be the complex conjugation. We define the logarithm l:Γ∞→Zp by l(σ):=l(σ1−c∣Kp∞). Then the map l factors through the Galois group Γ∞−:=Gal(K∞−/K) and induces an isomorphism l:Γ∞−≃Zp as Kp∞ and the cyclotomic Zp-extension K∞+ are linearly disjoint. Let γ− be the generator of Γ− such that l(γ−)=1. If ζ∈μp∞ is a p-power root of unity, denote by ϵζ:Γ∞−→μp∞ the character defined by ϵζ(γ−)=ζ. Fixing a factorization N+OK=NN, by [BD96], [CH18b, Thm. A] and [Hun17, Thm. A], there exists a unique Iwasawa function Θf/K,χ(W)∈O[[W]] such that for each primitive pn-th root of unity ζ,
[TABLE]
where
–
αp(f)∈O× is the p-th Fourier coefficient of f,
–
L(f∘/K⊗χϵζ,s) is the Rankin-Selberg L-function of f∘ and the CM form θψϵζ attached to χϵζ,
–
[TABLE]
–
Ωf∘,N− is the Gross period of f∘ defined by
[TABLE]
–
uK=#(OK×)/2 and εp(f∘)∈{±1} is the local root number of f∘ at p.
When χ=1 is the trivial character, we write Lf for Lf,1.
8.3. Factorization of p-adic triple product L-functions
Let f∈eS(N,ωk−2,I) be the primitve Hida family passing through f at some arithmetic point Q1 of weight kQ1=2r and trivial finite part ϵQ1=1. Let ℓ∤Np be a rational prime split in K and let χ be a ring class character of conductor ℓmOK for some m>0. Suppose that χ=ξ1−c for some ray class character ξ modulo ℓmOK. Consider the primitive Hida families of CM forms
[TABLE]
with C=DKℓ2m. Let F=(f,g,h) be the triple of primitive Hida families and let LFf∈R=I[[S1,S2]] be the associated unbalanced p-adic L-function in Theorem 7.1 with a=−r in (ev).
Proposition 8.1**.**
Set
[TABLE]
Then we have
[TABLE]
where w=w(W2,W3) is a unit in O[[S1,S2]] given by
[TABLE]
Proof. .
For i=2,3, taking ζi primitive pni-th roots of unity with ni>0, we let
Q2=ζ2ζ3v−1 and Q3=ζ2ζ3−1v−1, so gQ2 and hQ3 are CM forms of weight one. Let Ti=v−1(1+Si)−1, i=2,3 and let
[TABLE]
be a square root of detVgdetVh. There is a decomposition of Galois representations
[TABLE]
Following the notation in the introduction with Q=(Q1,Q2,Q3), we thus have
[TABLE]
where ϵi=ϵζi:Γ∞−→μp∞ is the finite order character with ϵi(γ−)=ζi, i=2,3. Now we explicate the items that appear in the formula of LFf(Q) in Theorem 7.1:
•
The L-values
[TABLE]
•
By definition, ϵ2 and ϵ3 are of conductors pn2OK and pn3OK, so the modified Euler factor at p is given by
[TABLE]
•
Ωf=(−2−1)2r+1∥f∘∥Γ0(N∘)2⋅ηf∘−1 and Σexc=∅.
Comparing with the interpolation formula of Θf in (8.1), we find that
[TABLE]
for all non-trivial p-power roots of unity ζ2,ζ3, and hence the proposition follows.
∎
Remark 8.2** (An Euler system construction for Θf/K).**
This square root Θf/K of the anticyclotomic p-adic L-function in the definite setting is constructed by using Gross points in definite quaternion algebras, and a priori there is no obvious Euler system construction. Below we explain how Θf/K can be actually recovered by the Euler system of generalized Kato classes à la Darmon and Rotger. Suppose that the weight kQ1=2. In [DR17], Darmon and Rotger introduce a one-variable generalized Kato classes κ(f,gh)∈H1(Q,Vf⊗Vg⊗O[[S]]Vh) and prove that the image of κ(f,gh) under the Coleman map over the anticyclotomic Zp-extension, which we denote by Col, is given by the one-variable unbalanced p-adic L-function LFf(Q1,vS−1,vS−1) ([DR17, Theorem 5.3]). On the other hand, in virtue of Proposition 8.1 combined with a result of Vatsal on the non-vanishing of central L-values with anticyclotoic twist, we conclude that when χ is sufficiently ramified,
[TABLE]
In a work joint with F. Castella [CH18a], we will make use of the explicit version of the above equation to prove first cases of a conjecture of Darmon-Rotger on the non-vanishing of generalized Kato classes.
8.4. An improved p-adic L-function
Let
[TABLE]
In this subsection, we introduce a two-variable improved p-adic L-function LF∗∈R/(Z) attached to F=(f,g,h) a triple of primitive Hida families as in §3.5. To lighten the notation, we let αp(?):=a(p,?) be the Up-eigenvalues of Hida families ?∈{f,g,h}. Then we have the following
Proposition 8.3**.**
Suppose that ψ1−1ω1+a is unramified at p. Then
there exists an improved p-adic L-function LF∗∈R/(Z) such that
[TABLE]
Moreover, for Q=(Q1,Q2,Q3)∈XRf with Z(Q)=0, we have
[TABLE]
where
[TABLE]
where UQ′=(Fil0VfQ1)∨⊗Fil0VgQ2⊗Fil0VhQ3⊗ψ1−1ωa+1.
Proof. .
Let G:=g⋆⋅h⋆(\mboxmodZ). Then the argument in Lemma 3.4 shows that
[TABLE]
so we can define Gaux as Haux in (3.8), replacing H by G and define LF∗ by
[TABLE]
In what follows, we shall keep the notation in §3.8. For each Q=(Q1,Q2,Q3)∈XRf with R(Q)=0, i.e. kQ1=kQ2+kQ3 and ϵQ1=ϵQ2ϵQ3, let F=(f,g,h)=(fQ1,gQ2,hQ3). Applying the proof of Proposition 3.7 to the improved p-adic L-function LF∗, we obtain
[TABLE]
where ϕF⋆,∗:=ρ(J∞)φf⋆⊠φg⋆⊠φh⋆, and
I(ρ(tn)ϕF⋆,∗) is the global trilinear period integral
[TABLE]
Letting α1=ωF,p−1/2(p)a(p,f)p1−2kQ1, α2=a(p,g)p1−2kQ2 and α3=a(p,h)p1−2kQ3, one verifies that
[TABLE]
and that
[TABLE]
for n sufficiently large. From the above equation, (8.2) and Proposition 3.7, we can deduce that
[TABLE]
Now as in Theorem 7.1, we apply the above construction to a suitable Dirichlet twist F′ of F so that F′ satisfies the minimal hypothesis and define LF∗:=LF′∗⋅ψ1,(p)(−1)(−1)IF′−1. Then LF∗ clearly does the job.
To see the interpolation formula, applying the proof of Corollary 3.13 and Theorem 7.1 to Lf∗, we can show that
[TABLE]
where IΠQ,p∗ is the improved p-adic zeta integral defined in Remark 5.5. Then the interpolation formula follows from the expression of IΠQ,p∗ given in Remark 5.5.
∎
8.5. An alternative proof of anticyclotomic exceptional zero conjecture
We return to the setting in §8.2 and §8.3. Suppose that f=f∘ is the newform attached to an elliptic curve E/Q of conductor Np with split multiplicative reduction at p. For a ring class character χ, put
[TABLE]
Then we know Lp(f/K,0)=0. Write phK=ϖOK with ϖ∈K× and let logϖ/ϖ:Cp×→Cp be the p-adic logarithm such that logϖ/ϖ(ϖ/ϖ)=0. We provide a Greenberg-Stevens style proof of the anityclotomic exceptional zero conjecture for elliptic curves that was proved in [BD99].
Theorem 8.4** (Bertolini and Darmon).**
Let qE be the Tate period of E. Then we have
[TABLE]
Proof. .
By [CH18b, Theorem D], we can choose a ring class character χ of ℓ-power conductor with ℓ∤Np split in K such that Lp(f/K⊗χ2,0)=0. Let f=f(T)∈Zp[[T]][[q]] be the primitive Hida family passing through f at the weight two specialization T=u2−1 with u:=1+p.
Let F=(f(T),θχ(S2),θχ−1(S3)) be the triple of Hida families and let LFf=LFf(T,S2,S3) be the unbalanced p-adic L-function attached to F in Theorem 7.1. Fixing a lift LF∗∈R of
LF∗(\mboxmodZ), we define analytic functions on Zp3:
[TABLE]
for (k1,k2,k3)∈Zp3. Let af(k1)=αp(f)(uk1−1),
[TABLE]
It is clear that
[TABLE]
By Proposition 8.3, there exists H(T1,S1,S2)∈R and H(k1,k2,k3)=H(uk1−1,vk2−1,vk3−1) such that
[TABLE]
(the nebentypus ψ1=1, ψ2=ψ3=ω−1 and a=−1). We may assume L(f/K,1)=0, so the root numbers of f and its quadratic twist f⊗τK/Q are +1. This in turns implies that the root numbers of f and f⊗τK/Q are −1, and hence the one-variable Iwasawa function Lp(k1,1,1) vanishes identically. Taking the derivative with respect to k1 on the both sides of (8.3), we find that
[TABLE]
This implies that
[TABLE]
By an elementary calculation and a theorem of Greenberg-Stevens [GS93, Theorem 3.18],
for some nowhere vanishing analytic function v(k2,k3). Letting v=v(1,1)=0, we find that
[TABLE]
On the other hand, the interpolation formula in Proposition 8.3 shows that
[TABLE]
Combining the above two equations, we obtain
[TABLE]
and the theorem follows.
∎
Bibliography65
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[BD 96] M. Bertolini and H. Darmon, Heegner points on Mumford-Tate curves , Invent. Math. 126 (1996), no. 3, 413–456.
2[BD 99] Massimo Bertolini and Henri Darmon, p 𝑝 p -adic periods, p 𝑝 p -adic L 𝐿 L -functions, and the p 𝑝 p -adic uniformization of Shimura curves , Duke Math. J. 98 (1999), no. 2, 305–334.
3[BD 07] by same author, Hida families and rational points on elliptic curves , Invent. Math. 168 (2007), no. 2, 371–431. MR 2289868
4[BDP 13] M. Bertolini, H. Darmon, and K. Prasanna, Generalized Heegner cycles and p 𝑝 p -adic Rankin L 𝐿 L -series , Duke Math. J. 162 (2013), no. 6, 1033–1148.
5[Bum 97] D. Bump, Automorphic forms and representations , Cambridge Studies in Advanced Mathematics, vol. 55, Cambridge University Press, Cambridge, 1997.
6[Cas 73] W. Casselman, On some results of Atkin and Lehner , Math. Ann. 201 (1973), 301–314.
7[CC 18] S.-Y. Chen and Yao Cheng, On Deligne’s conjecture for central values of certain automorphic L 𝐿 {L} -functions on GL ( 3 ) × GL ( 2 ) GL 3 GL 2 {\rm GL}(3)\times{\rm GL}(2) , ar Xiv:1806.09767.
8[CH 18a] Francesc Castella and Ming-Lun Hsieh, On the non-vanishing of generalized Kato classes for elliptic curves of rank two , ar Xiv:1809.09066.