Arxiv:2002.11858V2 [Math.NT]

arXiv:2002.11858v2 [math.NT] 13 Jul 2021 h litcmdlrfr fwih w bandb h takin the by obtained two derivative weight first the of of form projection modular elliptic the ege ons npriua,if particular, In points. Heegner fteodnr rjcino h ignlrestriction diagonal the of projection ordinary the of field family around xrse ntrso h rdc fseilvle fthe of values special of product the of terms in expressed n the and hsc)adteRsac nttt o ahmtclScien University. Mathematical Kyoto for in located Institute Center Research Usage/Research Mat the Uni on City Center and Osaka Usage/Research Physics) by Joint supported (MEXT partially Institute Res is matical Scientific work for This Grant-in-Aid 19H01778. JSPS by supported partially F f hoe () httecoefficient the that C(2)] Theorem ru fara udai field quadratic real a of group fwih w on two weight of se a atal upre yaMS rn 108-2628-M-00 grant MOST a by supported partially was Hsieh 2010 Date ntewr DV1,t ahodcharacter odd each to [DPV21], work the In nrdcdi Dr1 n [DD06]. and [Dar01] in introduced F uy1,2021. 14, July : E ahmtc ujc Classification. Subject Mathematics Abstract. osdraparticular a consider yDro n h cyclotomic the and Darmon by eiaieo this of derivative fthe of sascae iha litccurve elliptic an with associated is aibetitdtil product triple twisted variable field quadratic real soitdwt nodcharacter odd an with associated hi osrcint nld h yltmcvral n t and product variable triple cyclotomic twisted the two-variable include to construction their nelpi newform elliptic an n netgt h oncinbtenteseta decomp spectral the between connection the investigate and k p ETITO FESNTI EISAND SERIES EISENSTEIN OF RESTRICTION k ( ai oaihso tr-ege onso rs-tr un Gross-Stark or points Stark-Heegner of logarithms -adic p 1 = ) (1 p φ , ai oaih faSakHenrpitof point Stark-Heegner a of logarithm -adic n the and ) IGLNHIHADSUSK YAMANA SHUNSUKE AND HSIEH MING-LUN fHletEsnti eison series Hilbert-Eisenstein of narcn oko amn oz n ok h authors the Vonk, and Pozzi Darmon, of work recent a In Γ TR-EGE POINTS STARK-HEEGNER 0 ( p p -adic F p ) f ai oaihso rs-tr nt n Stark- and units Gross-Stark of logarithms -adic p nteseta eopsto of decomposition spectral the in fweight of n opt h rtdrvtv facranone- certain a of derivative first the compute and ai aiyo ibr-iesenseries Hilbert-Eisenstein of family -adic L 1. sre ln h egtdrcini product a is direction weight the along -series F Introduction h uhr soit one-variable a associate authors the , dk d p 2 p p -adic G -adic λ on φ sietin inert is k f ′ 1 16,11F33. 11F67, ftenro da ls ru fa of group class ideal narrow the of ( p E Γ φ -adic fec omlzdHceeigenform Hecke normalized each of L 0 L ) over ( sre tahdto attached -series | fnto for -function p k ) =1 nti ae,w generalize we paper, this In . L Q hni spoe n[DPV21, in proved is it then , sre.Mroe,when Moreover, -series. epoeta h first the that prove we , F Γ φ 0 ftenro da class ideal narrow the of E ( n let and ac C 8020ad(B) and 18K03210 (C) earch p e,a nentoa Joint International an ces, E over ) eaisadTheoretical and hematics est dacdMathe- Advanced versity . vrara quadratic real a over G -0-Y.Ymn is Yamana 1-009-MY4. F E u bana obtain hus k k ( introduced L G G φ (1 fnto for -function 1 ′ ) E 1 ′ φ , ( ( k φ of φ ) (1 ) ) ordinary g and ord φ , ord E f ) k ( t over its p osition a be can denote ) p (1 -adic φ , f ) 2 MING-LUNHSIEHANDSHUNSUKEYAMANA

The purpose of this paper is to provide some partial generalizations of this work to the two-variable setting by introducing the cyclotomic variable. To begin with, we let F be a real quadratic field with different d over Q. Let x x denote the non-trivial automorphism of F and let N : F Q, N(x)= xx7→be the norm map. Let ∆ be the discriminant of F/Q. Let→Cl+( ) be F OF the narrow ideal class group of F . Let φ : Cl+( ) Q× be an odd narrow OF → ideal class character, i.e. φ((δ)) = 1 for any δ F with δ = δ. Let L(s, φ) be the Hecke L-function attached− to φ. Fix∈ an O odd rational− prime p unramified in F . For x Z , let ω(x) be the Teichmüller lift of x (mod p) ∈ p× and let x := xω 1(x) 1+ pZ . Let X := x C x 1 be the h i − ∈ p { ∈ p | | |p ≤ } p-adic closed unit disk and let A(X ) be the ring of rigid analytic functions on X . Fix an embedding ιp : Q ֒ Cp throughout. For each ideal m ⊳ F coprime to p, define σ (m) A(X→ X ) by O φ ∈ × − s−2 k s 1 σ (m)(k,s)= φ(a) N(a) 2 N(ma− ) 2 . φ h i a⊳ , a m OXF | cl 2 Let X := k Z≥ k 2 (mod 2(p 1)) be the set of classical points X ∈ + | ≡ − in . Let h = #Cl ( F ). Fix a set tλ λ=1,...,h of representatives of the O + { } narrow ideal class group Cl ( F ) with (tλ,p F ) = 1. For each classical cl O O point k X , the classical Hilbert-Eisenstein series E k (1, φ) on SL2( F ) ∈ 2 O k of parallel weight 2 is determined by the normalized Fourier coefficients 1 c(m, E k (1, φ)) = σφ(m)(k, 2), cλ(0, E k (1, φ)) = 4− L(1 k/2, φ). 2 2 − Let IF be the set of integral ideals of F . Assume that n IF and p are coprime. Let (n) be the space of two-variable p-adic families∈ of Hilbert modular formsM of tame level n, which consists of functions I A (X X ), m c(m,f), F → × 7→ Cl+( ) A (X X ), a c (a,f) OF → × 7→ 0 such that the specialization f(k,s)= c(m,f)(k,s) is the set of normalized Fourier coefficients of a p-adic Hilbert{ modular form} of parallel weight k on Γ0(pn) for (k,s) in a p-adically dense subset U Zp Zp (cf. [Wil88, p ⊂ × p.535-536]). Define E{ } : I A(X X ) by the data φ F → × p c(m, E{ })= σ (m) if (m,p ) = 1, φ φ OF p c(m, Eφ{ }) = 0 otherwise, p c0(a, Eφ{ }) = 0 By definition, for (k,s) X cl X cl with k 2s, we have ∈ × ≥ p s−2 s−2 p 2 2 Eφ{ }(k,s)= ∆F θ E{k+4} −2s (1, φ), h i · 2 RESTRICTION OF HILBERT-EISENSTEIN SERIES 3

p where Ek{ }(1, φ) is the p-depletion of Ek(1, φ) and θ is Serre’s differential β β p operator θ( β aβq ) = β NF/Q(β)aβq . Therefore, E{φ }(k,s) is a p-adic p Hilbert modular form of parallel weight k for all (k,s) Z2, and E{ } P P ∈ p φ ∈ ( F ). For each prime ideal q, define Uq : (n) (nq) by c(m, Uqf) := cM(mqO,f). Let N be a positive integer such thatM p →∤ N Mand (Splt) N = NN, (N, N) = 1. OF Define E (N) by φ ∈ M − − 1 2s 2 k p E := (1 φ(q)− N(q) 2 U ) E{ } φ − h i q · φ q N Y| and the diagonal restriction G A(X X )JqK of E by φ ∈ × φ n Gφ := c(βd, Eφ) q , − n>0 β d 1,Tr(β)=n X ∈ + X 1 1 where d+− is the additive semigroup of totally positive elements in d− . By definition Gφ(k,s) is the q-expansion of a p-adic elliptic modular form p on Γ0(pN) of weight k obtained from the diagonal restriction of E{φ }(k,s) for (k,s) X cl X cl with k 2s. Let U be an appropriate neighborhood around 2 ∈ X . Let× Sord(N) be≥ the space of ordinary A(U )-adic elliptic cusp forms on ∈Γ (Np), consisting of q-expansion f = c(n, f)qn A(U )JqK 0 n>0 ∈ whose weight k specialization f k is a p-ordinary cusp form of weight k on Γ (pN) for k X cl. By Hida theory Sord(N) is aP free A(U )-module of finite 0 ∈ rank. It can be shown that the image eGφ under Hida’s ordinary projector e ord actually belongs to S (N) U A(U X ), where A(U ) is regarded as a ⊗A( ) × subring of A(U X ) via the pull-back of the first projection U X U . × × → We can thus decompose b

eG = E f f + (old forms), E f A(U X ), φ L φ, · L φ, ∈ × Xf where f runs over the set of primitive Hida families of tame conductor N. We shall call E f A(U X ) the twisted triple product p-adic L-function L φ, ∈ × attached to the p-adic Hilbert-Eisenstein series Eφ and a primitive Hida family f. The arithmetic significance of this p-adic L-function stems from its connection with the Stark-Heegner points of elliptic curves. Let E be an elliptic curve over Q of conductor pN. Assume that p is inert in F . In [Dar01], Dar- mon introduced Stark-Heegner points of elliptic curves over real quadratic fields. These are local points in E(Fp) but conjectured to be rational over ray class fields of F . The rationality of Stark-Heegner points has been one of the major open problems in algebraic number theory. Now let f A(U )JqK be a primitive Hida family of tame level N such that the weight two∈ specialization f := f 2 is the elliptic newform associated with E. In the special case 4 MING-LUNHSIEHANDSHUNSUKEYAMANA

N = 1, [DPV21, Theorem C(2)] implies that that E f (2, 1) = 0 and the L φ, ﬁrst derivative of E f (k, 1) at k = 2 is essentially a product of the p-adic L φ, logarithm log P of the twisted Stark-Heegner point P E(F ) Q(φ) E φ φ ∈ p ⊗ introduced in [Dar01, (182)] and the central value L(E, 1) of the Hasse-Weil L-function of E. As pointed out in [DPV21, Remark 3], this connection has potential of providing a geometric approach to Stark-Heegner points via the K-theory of Hilbert modular surfaces. The main result of this paper (The- orem 7.4) is to oﬀer the following generalization of [DPV21, Theorem C(2)] to include the cyclotomic variable and the case N > 1.

Theorem A. Suppose that p is inert in F and the conductor N satisﬁes (Splt). Then E f (2,s) = 0 and L φ,

2 α(E) s−1 ∂ Eφ,f 1 m 2 1 E 2 L (2,s +1) = (1 + φ(N)− wN ) logE Pφ Lp(E,s) ∆F , ∂k 2 · cf h i where w 1 is the sign of the Fricke involution at N acting on f, • N ∈ {± } Lp(E,s) is the Mazur-Tate-Teitelbaum p-adic L-function for E, • c Z>0 is the congruence number for f, m Q is the Manin • f ∈ E ∈ × constant for E and 2α(E) = [H (E(C), Z) : H (E(C), Z)+ H (E(C), Z) ]. 1 1 ⊕ 1 − Our main motivation for this two-variable generalization is that we have the non-vanishing of the p-adic L-function Lp(E,s) thanks to Rohrlich’s theorem [Roh84], so we can still compute logE Pφ from the twisted triple product p-adic L-function even when the central value L(E, 1) vanishes.

Remark 1.1. Note that the deﬁnition of Stark-Heegner points P for odd φ in • φ [Dar01] depends on a choice of the purely imaginary period ΩE−. In 1 the above theorem, we require (√ 1) Ω− to be positive. − − E The Eisenstein contribution in the spectral decomposition in Part • (2) of [DPV21, Theorem C] is connected with the p-adic logarithms of Gross-Stark units over F , while in our two-variable setting, eGφ is a p-adic family of cusp forms, so we do not get any information for Gross-Stark units. Theorem A only applies to real quadratic ﬁelds F possessing a totally • positive fundamental unit due to the existence of odd characters of the narrow ideal class group of F .

We briefly outline the proof. Let p(f/F, φ, k) be the (odd) square-root p- adic L-function associated with the primitiveL Hida family f and the character φ constructed in [BD09, Definition 3.4] with w = 1 and let Lp(f,k,s) be ∞ − the Mazur-Kitagawa two-variable p-adic L-function so that Lp(f, 2,s) is the cyclotomic p-adic L-function for f 2. The main point of the proof is to prove RESTRICTION OF HILBERT-EISENSTEIN SERIES 5 the following factorization formula of E f : L φ, s−k+1 (1.1) C∗(k) E f (k,s + 1) = 4 ∆ 2 (f/F, φ, k) L (f,k,s), ·L φ, h F i ·Lp · p where C∗(k) is a meromorphic function on X holomorphic at all classi- cl cal points k X with C∗(2) = 1. By construction, the square root ∈ φ p-adic L-function p(f/F, φ, k) interpolates the toric period integrals B . L f k Thus we get E f (2,s)= (f/F, φ, 2) = 0 by a classical theorem of Saito L φ, Lp and Tunnell. Moreover, from the formula [BD09, Corollary 2.6], it is not difficult to deduce that the first derivative of p(f/F, φ, k) at k = 2 is 1 1 L 2 (1 + wN φ(N)− ) logE Pφ, and hence we obtain Theorem A from (1.1).

The factorization formula (1.1), proved in Theorem 7.3, is established by the inspection of the explicit interpolation formulae on both sides. In particular, the interpolation formula of E f (k,s) (Proposition 5.8) is the L φ, most technical part of this paper. Roughly speaking, for (k,s) X cl X cl ∈ × with k 2s, Hida’s p-adic Rankin-Selberg method shows that Eφ,f (k,s) is interpolated≥ by the inner product between the diagonal restrictionL of a nearly holomorphic Hilbert-Eisenstein series Eφ(k,s) and f k. Therefore, a result of Keaton and Pitale [KP19, Proposition 2.3] tells us that Eφ,f (k,s) is a product of L (i) the toric period integral Bφ of f over F twisted by φ (see (4.2)), f k k (ii) the special value L(f k,s) of the L-function for f k;

(iii) local zeta integrals Z (s,BWv ) for every place of Q in (4.4). D It is known that items (i) and (ii) are basically interpolated by (f/K, φ, k) Lp and Lp(f,k,s), so our main task is to evaluate explicitly these local zeta integrals in item (iii). These calculations occupy the main body of Section 4. From the explicit interpolation formulae of these p-adic L-functions, we can deduce that the ratio C between (f/F, φ, k) L (f,k,s) and ∗ Lp · p Eφ,f (k,s + 1) is independent of s, and hence C∗ is a meromorphic func- Ltion in k only. Finally, by a standard argument using Rohrlich’s result on the non-vanishing of the cyclotomic p-adic L-functions for elliptic modular cl forms, we can conclude that C∗(k) is holomorphic at all k X and C∗(2) is essentially the congruence number. ∈ This paper is organized as follows. After preparing the basic notation for modular forms and automorphic forms in Section 2, we give the construction of Hilbert-Eisenstein series and compute the Fourier coeﬃcients in Section 3. In Section 4, we compute the inner product between the diagonal restriction of Hilbert-Eisenstein series and a p-stabilized newform. The main local calculations are carried out in Proposition 4.4 for the split case, Proposition 4.5 for the non-split, and Proposition 4.6 for the p-adic case. In Section 5, we use p-adic Rankin-Selberg method to construct the p-adic L-function Eφ,f and obtain the interpolation formula in Proposition 5.8 by combiningL the local calculations in Section 4. In order to make the comparison between p-adic 6 MING-LUNHSIEHANDSHUNSUKEYAMANA

L-functions easier, the interpolation formulae shall be presented in terms of automorphic L-functions in this paper. In Section 6, we review the theory of Λ-adic modular symbols in [Kit94] and the construction of the square root p-adic L-function p(f/F, φ, k). Our treatment for modular symbols is semi- adelic, which allowsL simple descriptions of Hecke actions and are amenable to the calculations from the automorphic side. The connection with Greenberg- Stevens’ approach [GS93] is explained in §6.4. In Proposition 6.8, we give the complete interpolation formula for p(f/F, φ, k), including the evalua- tion at ﬁnite order characters of p-powerL conductors. Finally, we deduce the factorization formula and the derivative formula for E f in Section 7. L φ, Acknowledgements. We thank the referees for careful reading and helpful suggestions on the improvement of the earlier version of the paper. This paper was written during the ﬁrst author’s visit to Osaka City University and RIMS in January 2020. He is grateful for their hospitality.

2. Classical modular forms and automorphic forms In this section, we recall basic deﬁnitions and standard facts about classical elliptic modular forms and automorphic forms on GL2(A), following the notation in [Hsi21, §2] which we reproduce here for the reader’s convenience. 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. Notation. We denote by Z, Q, R, C, A, R+ the ring of rational integers, the field of rational, real, complex numbers, the ring of adeles of Q and the group of strictly positive real numbers. Let µn(F ) denote the group of nth roots of unity in a field F . For a rational prime ℓ we denote by Zℓ, Q and ord : Q Z the ring of ℓ-adic integers, the field of ℓ-adic numbers ℓ ℓ ℓ → and the additive valuation normalized so that ordℓ(ℓ) = 1. Put Z = ℓ Zℓ. Define the idele ̟ = (̟ ) A by ̟ = ℓ and ̟ = 1 if v = ℓ. ℓ ℓ,v ∈ × ℓ,ℓ ℓ,v 6 Let F be a number field. We denote its integer ring by .b WeQ write OF TF/Q and NF/Q for the trace and norm from F to Q. For each place v of F we denote by F the completion of F with respect to v. Let A = A Q F v F ⊗ be the adele ring of F . Given t A×, we write t F for its v-component. ∈ F v ∈ v× We shall regard Fv (resp. Fv×) as a subgroup of AF (resp. AF×) in a natural way. Let αFv = Fv be the normalized absolute value on Fv. If v = q is | | 1 finite, then ̟q Fq = qq− , where ̟q is a generator of the prime ideal of the integral ring| | of F and q denotes the cardinality of the residue field of Oq q q q. Define the complete Dedekind zeta function by ζF (s)= v ζFv (s), where O s/2 s s 1 ζR(s)= π Γ , and if v = q is finite, then ζ (s) = (1 q ) . When − 2 Fq Q− q− − F = Q, we will write αv = v and ζv(s)= ζQv (s). Let ψ : A/Q C× be | | → 2π√ 1x the additive character whose archimedean component is ψ (x) = e − and whose local component at ℓ is denoted by ψ : Q C ∞. We define the ℓ ℓ → × RESTRICTION OF HILBERT-EISENSTEIN SERIES 7 additive character ψ = ψ : A /F C by setting ψ := ψ Tr . F v Fv F → × F ◦ F/Q Let (Am)= (F m) denote the space of Schwartz functions on Am. S F ⊗v′ S v Q F For any set X we denote by IX the characteristic function of X. If R is a commutative ring and G = GL2(R), we define homomorphisms t : R× G and n : R G by → → a 0 1 x t(a)= , n(x)= . 0 1 0 1

The identity matrix in G is denoted by 12. Denote by ρ the right translation of G on the space of C-valued functions on G, i.e., ρ(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)ω(det g).→ The subgroup⊗ B(R) →(resp. N(R)) of GL (R) ⊗ 2 consists of upper triangular (resp. upper triangular unipotent) matrices.

2.2. Characters. If F is a number ﬁeld and χ : F A× Q× is a Hecke ×\ F → character of A×, we denote by χ : F C the local component of F v v× → × χ at a place v of F . When ω is a Hecke character of A×, we denote by ω := ω N : F A× C the base change of ω. F ◦ F/Q ×\ F → × If v is non-archimedean and λ : Fv× C× is a character, let c(λ) be the exponent of the conductor of λ. →

2.3. Automorphic forms on GL2(A). Fix a positive integer N. Deﬁne open compact subgroups of GL2(Z) by

b U0(N)= g GL2(Z) g ∗ ∗ (mod NZ) , ∈ ≡ 0 ∗

b b U1(N)= g U0(N) g ∗ ∗ (mod NZ) . ∈ ≡ 0 1

b Let ω : Q× A× C× be a ﬁnite order Hecke character of level N. We \ → a b extend ω to a character of U (N) deﬁned by ω = ω (d ) 0 c d ℓ N ℓ ℓ | a b Q for U (N). For any integer k the space (N,ω) of automorphic c d ∈ 0 Ak forms on GL2(A) of weight k, level N and character ω consists of automorphic forms ϕ : GL (A) C such that 2 → cos θ sin θ ϕ(zγgκ u )=ω(z)ϕ(g)e√ 1kθω(u ), κ = θ f − f θ sin θ cos θ − for z A , γ GL (Q), θ R and u U (N). Let 0(N,ω) be the space ∈ × ∈ 2 ∈ f ∈ 0 Ak of cusp forms in (N,ω). Ak 8 MING-LUNHSIEHANDSHUNSUKEYAMANA

Next we introduce important local Hecke operators on automorphic forms. At the archimedean place, let V : k(N,ω) k 2(N,ω) be the normalized weight raising/lowering operator± A in [JL70,→A page± 165] given by 1 1 0 0 1 V = 1 √ 1 Lie(GL2(R)) R C. ± ( 8π) 0 1 ⊗ ± 1 0 ⊗ − ∈ ⊗ − − Define the operator U acting on ϕ (N,ω) by ℓ ∈Ak ̟ x U ϕ = ρ ℓ ϕ, ℓ 0 1 x Zℓ/ℓZℓ ∈X and the level-raising operator Vℓ : k(N,ω) k(Nℓ,ω) at a finite prime ℓ by A →A 1 Vℓϕ(g) := ρ(t(̟ℓ− ))ϕ. Note that U V ϕ = ℓϕ and that if ℓ N, then U EndC (N,ω). For each ℓ ℓ | ℓ ∈ Ak prime ℓ ∤ N, let T EndC (N,ω) be the usual Hecke operator defined by ℓ ∈ Ak Tℓ = Uℓ + ωℓ(ℓ)Vℓ. Define the GL (A)-equivariant pairing , : 0 (N,ω) (N,ω 1) C 2 h i A k ⊗Ak − → by − τ ϕ, ϕ′ = ϕ(g)ϕ′(g)d g, × h i A GL2(Q) GL2(A) Z \ where dτ g is the Tamagawa measure of PGL (A). Note that T ϕ, ϕ = 2 h ℓ ′i ϕ, T ϕ for ℓ ∤ N. h ℓ ′i 2.4. Classical modular forms. We recall a semi-adelic description of classical modular forms. Let C∞(H) be the space of C-valued smooth functions on the half complex plane H := z C Im(z) > 0 . The group + { ∈ | } GL2(R) := g GL2(R) det g > 0 acts on H and the automorphy factor is given{ by ∈ | } az + b γ(z)= , J(γ, z)= cz + d cz + d a b for γ = GL (R)+ and z H. c d ∈ 2 ∈ Let k be any integer. The Maass-Shimura differential operators δk and ε on C∞(H) are defined by

1 ∂ k 1 2 ∂ δk = + , ε = y 2π√ 1 ∂z 2√ 1y −2π√ 1 ∂z − − − (cf. [Hid93, (1a, 1b) page 310]), where y = Im(z) is the imaginary part of z. Let χ be a Dirichlet character of level N. For a non-negative integer m let [m](N,χ) denote the space of nearly holomorphic modular forms of weight Nk k, level N and character χ. In other words [m](N,χ) consists of smooth Nk slowly increasing functions f : H GL (Q) C such that × 2 → b RESTRICTION OF HILBERT-EISENSTEIN SERIES 9

f(γz,γg u) = (det γ) 1J(γ, z)kf(z, g )χ 1(u) for any γ GL (Q)+ • f − f − ∈ 2 and u U0(N); εm+1f∈(z, g ) = 0 • f [m] (cf. [Hid93, page 314]). Let (N,χ)= ∞ (N,χ) (cf. [Hid93, (1a), Nk m=0 Nk page 310]). By deﬁnition [0](N,χ) coincides with the space (N,χ) k S k of classical holomorphic modularN forms of weight k, level N andM character m χ. Denote by k(N,χ) the space of cusp forms in k(N,χ). Let δk = S m M δk+2m 2 δk+2δk. If f k(N,χ), then δk f k+2m(N,χ) ([Hid93, page 312]).− · · · Given a positive∈ Ninteger d, we deﬁne ∈ N

d 1 − d j V f(z, g )= f(dz, g ); U f(z, g )= f z, g . d f f d f f 0 1 Xj=0 The classical Hecke operators Tℓ for primes ℓ ∤ N are given by 1 k 2 Tℓf = Uℓf + χℓ(ℓ− )ℓ − Vℓf.

We say that f k(N,χ) is a Hecke eigenform if f is an eigenfunction of all the Hecke operators∈ N T for ℓ ∤ N and the operators U for ℓ N. ℓ ℓ |

2.5. To every nearly holomorphic modular form f k(N,χ) we associate a unique automorphic form Φ(f) (N,χ 1) deﬁned∈N by the formula ∈Ak − k 1 Φ k 2 − (2.1) (f)(g) := f(g (√ 1), gf )J(g , √ 1)− (det g ) det g A ∞ − ∞ − ∞ | | for g = g gf GL2(R) GL2(Q) (cf. [Cas73, §3]). Conversely, we can recover the form∞f from∈ Φ(f) by

b k k/2 y x 1 2 (2.2) f(x + √ 1y, g )= y− Φ(f) g det g − . − f 0 1 f | f |A We call Φ(f) the adelic lift of f. The weight raising/lowering operators are the adelic avatar of the dif- m ferential operators δk and ε on the space of automorphic forms. A direct computation shows that the map Φ from the space of modular forms to the space of automorphic forms is equivariant for the Hecke action in the sense that Φ m mΦ Φ Φ (2.3) (δk f)= V+ (f), (εf)= V (f), − and for a ﬁnite prime ℓ

k/2 1 k/2 1 Φ(Tℓf)= ℓ − TℓΦ(f), Φ(Uℓf)= ℓ − UℓΦ(f). In particular, f is holomorphic if and only if V Φ(f) = 0. −

2.6. Preliminaries on irreducible representations of GL2(Qv). 10 MING-LUNHSIEHANDSHUNSUKEYAMANA

2.6.1. Measures. We shall normalize the Haar measures on Fv and Fv× as follows. Let dxv be the self-dual Haar measures of Fv with respect to ψFv . Put d x = ζ (1) dxv . If F = Q, then da denote the usual Lebesgue × v Fv xv | |Fv ∞ measure on R and daℓ be the Haar measure on Qℓ with vol(Zℓ, daℓ) = 1. The Tamagawa measure of AF is dx = v dxv while the Tamagawa measure 1 of A× is deﬁned by d x = c− dx , where c denotes the residue of F × F v Qv× F ζF (s) at s = 1. Deﬁne the compact subgroup K = Kv of GL2(A) by Q v K = SO(2, R) and Kℓ = GL2(Zℓ). Let duv be the Haar measure on ∞ Q Kv so that vol(Kv, duv) = 1. Let dgv be the Haar measure on PGL2(Qv) τ 1 av xv given by d g = a − dx d a du for g = u with a Q , v | v|v v × v v v 0 1 v v ∈ v× xv Qv and uv Kv. The Tamagawa measure on PGL2(A) is given by τ ∈ 1 ∈ τ d g = ζQ(2)− v d gv. Q 2.6.2. Representations of GL2(Qv). Denote by ̺⊞υ the irreducible principal series representation of GL (Q ) attached to two characters ̺, υ : Q C 2 v v× → × such that ̺υ 1 = α 1. If v = is the archimedean place and k 1 is an − 6 v± ∞ ≥ integer, denote by 0(k) the discrete series of lowest weight k if k 2 or the limit of discrete seriesD if k = 1 with central character sgnk (the k≥-th power x R of the sign character sgn(x)= x ∞ of ×). | |

2.6.3. Whittaker models and the normalized Whittaker newforms. Every irreducible admissible inﬁnite dimensional representation π of GL2(Qv) admits a Whittaker model (π)= (π, ψv) with respect to ψv. Recall that (π) is a subspace of smoothW functionsW W : GL (Q ) C such that W 2 v → W (n(x)g)= ψv(x)W (g) for all x Qv, • if v = is archimedean, then there∈ exists an integer M such that • ∞ W (t(a)) = O( a M ) as a . | |∞ | |∞ →∞

The group GL2(Qv) (or the Hecke algebra of GL2(Qv)) acts on (π) via the right translation ρ. We introduce the (normalized) local WhittakerW newform Wπ in (π) in the following way: if v = and π = 0(k), then Wπ (π) is deﬁnedW by ∞ D ∈W

k/2 y x y k √ 1kθ (2.4) Wπ z κθ = IR+ (y) sgn(z) ψ (x)e − 0 1 · e2πy · ∞ for y, z R× and x,θ R. Here one should not confuse the representation π in the∈ left hand side∈ of the equation and the real number π in the right hand side. If v is ﬁnite, then W is the unique function in (π)new such that π W Wπ(12) = 1. The explicit formula for Wπ(t(a)) is well-known (See [Sch02, page 21] or [Sah16, Section 2.2] for example). RESTRICTION OF HILBERT-EISENSTEIN SERIES 11

2.6.4. L-factors and ε-factors. Given a Qv×, we deﬁne an additive charac- a a ∈ ter ψv on Qv by ψv(x) = ψv(ax) for x Qv. We associate to a character ∈ a ̺ : Qv× C× the L-factor L(s, ̺) and the ε-factor ε(s, ̺, ψv) (cf. [Sch02, Section→ 1.1]). The gamma factor L(1 s, ̺ 1) γ(s, ̺, ψa)= ε(s, ̺, ψa) − − v v L(s, ̺) is obtained as the proportionality constant of the functional equation

a s 1 1 s (2.5) γ(s, ̺, ψ ) ϕ(a)̺(a) a d×a = ϕ(a)̺(a)− a − d×a v × | |v × | |v ZQv ZQv for ϕ (Q ), where ∈ S v b

ϕ(y)= ϕ(xv)ψv(yxv)dxv ZQv is the Fourier transformb with respect to ψv. When a = 1, we write

ε(s, ̺)= ε(s, ̺, ψv), γ(s, ̺)= γ(s, ̺, ψv). When v = ℓ is a ﬁnite prime, we denote the exponent of the conductor of ̺ by c(̺). Recall that a 1 c(̺)s (2.6) ε(s, ̺, ψ )= ̺(a) a − ε(0, ̺)ℓ− . v | |v Let π be an irreducible admissible representation of GL2(Qv) with central character ω. Denote by L(s,π) and ε(s,π) = ε(s,π, ψv) its L-factor and ε-factor relative to ψv deﬁned in [JL70, Theorem 2.18]. We write π∨ for the contragredient representation of π. The gamma factor L(1 s,π ) γ(s,π)= ε(s,π) − ∨ L(s,π) is obtained as the proportionality constant of the functional equation

1 s 1 1 s γ s + ,π W (t(a)g) a d×a = W (t(a)J − g)ω(a)− a − d×a 2 × | |v × 1 | |v ZQv ZQv for every W (π). ∈W 2.7. p-stabilized newforms. Let π be an irreducible cuspidal automorphic representation of GL2(A). The Whittaker function of ϕ π with respect to the additive character ψ is given by ∈

W (g)= ϕ(n(x)g)ψ( x)dx ϕ − ZA/Q for g GL (A), where dx is the Haar measure with vol(A/Q, dx) = 1. We ∈ 2 have the Fourier expansion:

ϕ(g)= Wϕ(t(β)g) β Q× X∈ 12 MING-LUNHSIEHANDSHUNSUKEYAMANA

n (cf. [Bum98, Theorem 3.5.5]). Let f = n a(n,f)q k(N,χ) be a Φ ∈ S normalized Hecke eigenform whose adelic lift (f) generates π = v′ πv of 1 P ⊗ GL2(A), having central character χ− . If f is a newform, then the conductor of π is N, the adelic lift Φ(f) is the normalized new vector in π and the Mellin transform Φ s 1 (f)(t(y)) y A d×y = L s + ,π × × | | 2 ZA /Q is the automorphic L-function of π. Here y = y and d y is the | |A v | v|v × product measure d×yv. v Q Definition 2.1 (Qp-stabilized newform). Let p be a prime and fix an isomorphism ιp : C Qp. We say that a normalized Hecke eigenform f = n ≃ ∞ a(n,f)q (Np,χ) is an ordinary p-stabilized newform with re- n=1 ∈ Sk spect to ιp if f is new outside p and the eigenvalue of Up, i.e. the p-th P 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. The Whittaker function of Φ(f) is a product of local Whittaker functions in (πv, ψv) by the multiplicity one for new and ordinary vectors. To be precise,W we have ord WΦ(f)(g)= Wπp (gp) Wπv (gv) v=p Y6 for g = (gv) GL2(A). Here Wπv is the normalized Whittaker newform of ord∈ πv and Wπp is the ordinary Whittaker function characterized by ord 1 W (t(a)) = ̺ (a) a 2 IZ (a) for a Q×, πp f | | · p ∈ p where ̺f : Qp× C× is the unramified character with ̺f (p) = a(p,f) (1 k)/2 → · p − (See [Hsi21, Corollary 2.3, Remark 2.5]).

3. The construction of Hilbert-Eisenstein series 3.1. Eisenstein series. We recall the construction of Eisenstein series described in [Jac72, §19]. Let F be a real quadratic field with integer ring . OF We denote the set of real places of F by ΣR = σ ,σ , the different of F { 1 2} by d, the discriminant of F by ∆F and the unique non-trivial automorphism of F by x x¯. For each finite prime q of F we write for the integer ring 7→ Oq of Fq. Let (µ,ν) be a pair of unitary Hecke characters of AF×. For each place v we write B(µv,νv,s) for the space of smooth functions fv : GL2(Fv) C which satisfy → s+ 1 a b a 2 fv g = µv(a)νv(d) fv(g) 0 d d Fv for a, d F and b F . Recall that (F 2) denotes the space of Schwartz ∈ v× ∈ v S v functions on F 2. We associate to Φ (F 2) the Godement section f v v ∈ S v µv,νv,Φv,s ∈ RESTRICTION OF HILBERT-EISENSTEIN SERIES 13

B(µv,νv,s) by

fµv,νv,Φv,s(gv) 1 s+ 2 1 2s+1 = µv(det gv) det gv Φv((0,tv)gv)(µvν− )(tv) tv d×tv. | |Fv × v | |Fv ZFv Let Φ = Φ (A2 ). Deﬁne a function f : GL (A ) C by ⊗v v ∈ S F µ,ν,Φ,s 2 F → fµ,ν,Φ,s(g)= v fµv,νv,Φv,s(gv). The series

Q EA(g,fµ,ν,Φ,s)= fµ,ν,Φ,s(γg)

γ B(F ) GL2(F ) ∈ X\ converges absolutely for Re(s) 0 and has meromorphic continuation to s C. It admits the Fourier expansion≫ ∈ (3.1) EA(g,fµ,ν,Φ,s)= fµ,ν,Φ,s(g)+ fν,µ,Φb, s(g)+ W (t(β)g,fµ,ν,Φ,s), − β F × X∈ where Φ := Φ is the symplectic Fourier transform deﬁned by ⊗v v Φ (x,y)= Φ (z, u)ψ (zy ux)dzdu. b b v v Fv 2 − ZZFv

We tentatively writeb fv,s = fµv,νv,Φv,s. There exists an open compact subgroup of F such that for any open compact subgroup containing U v U ′ U

fv,s(J1n(xv)gv)ψF ( xv)dxv = fv,s(J1n(xv)gv)ψF ( xv)dxv, v − ′ v − ZU ZU 0 1 where J = . We deﬁne the regularized integral by 1 1− 0 st W (g ,f )= f (J n(x )g )ψ ( x )dx v µv,νv,Φv,s v,s 1 v v Fv − v v ZFv := f (J n(x )g )ψ ( x )dx . v,s 1 v v Fv − v v ZU Then W (g,f )= W (g ,f ) for g = (g ) GL (A ). µ,ν,Φ,s v v v,s v ∈ 2 F 3.2. The EisensteinQ series Ek(µ,ν). Let N and C be positive integers such that N∆F and C are coprime. We assume that (Spl) every prime factor of NC splits in F . Then there are ideals N and c of such that OF (3.2) N = NN, (N, N) = 1 C = cc, (c, c) = 1. OF OF k Fix a positive integer k. Assume that νσi µσi = sgn for i = 1, 2. We recall a construction of a certain classical Eisenstein series Ek(µ,ν) of parallel weight k, level Γ1(NC) and central character µν, following [Jac72]. We impose the following hypotheses for (µ,ν): Hypothesis 3.1. 14 MING-LUNHSIEHANDSHUNSUKEYAMANA

µ is unramified outside p, • the prime-to-p part of the conductor of ν has a decomposition cc • ′ with c c . ⊂ ′ Definition 3.2. Let k 2 be an integer. The quintuple ≥ := (µ,ν,k, N, c) D is called an Eisenstein datum of weight k. The Fourier transform of φ (F ) is defined by ∈ S v

φ(x) := φ(y)ψFv (yx)dy, ZFv b where the Haar measure dy is so chosen that φ(x) = φ( x). When q is a − finite prime, we associate to a character χ : Fq× C a function φχ (Fq) b→ ∈ S by φχ(x)= I × (x)χ(x). We associate to theb Bruhat-Schwartz function Oq D 2 Φ = Φ ,v (AF ) D D ∈ S v O defined as follows: k k π(x2+y2) Φ ,v(x,y) = 2− (x + √ 1y) e− if v ΣR, • D − ∈ Φ ,v(x,y)= φ −1 (x)φ −1 (y) if v p, • D µv νv | Φ ,v(x,y)= INc v (x)φνv (y) if v Nc, • D O | Φ (x,y)= I (x)φb−1 (y) if v c, ,v v νv • D O | 1 2 −1 −1 Φ ,v(x,y)= Id v (x)Id v (y) ∆F v if v ∤ pNc. • D O b O · | | These particular choices of Bruhat-Schwartz functions are inspired by [CH20, Definition 4.1] used in the construction of primitive p-adic Rankin-Selberg

L-functions. We deﬁne the associated Godement section by f ,s = fµ,ν,ΦD,s D and f ,s,v = fµv,νv,ΦD ,s. D ,v

Remark 3.3. If v ΣR, then f ,s,v is the unique function in B(µv,νv,s) such that ∈ D

√ 1kθ k k (s+ k+1 ) k + 1 f ,s,v(κθ)= e − 2− (√ 1) π− 2 Γ s + D · − 2 (see the proof of Lemma 3.6). If v = q is a ﬁnite place, then for any integer M, let (M) be the open-compact subgroup of GL ( ) given by U1 2 Oq q q 1(M)=GL2( q) O O , U O ∩ M q 1+ M q O O r and f ,s,q B(µq,νq,s) is invariant by 1(p NC) under the right translation D ∈ U for some suﬃciently large r. RESTRICTION OF HILBERT-EISENSTEIN SERIES 15

ΣR Deﬁnition 3.4. Deﬁne the classical Eisenstein series Ek±(µ,ν) : H C by →

k y x 2 2 E±(µ,ν)(x + y√ 1) :=y− 2 EA , f ,s (x R , y R+). k − − 0 1 D s= k 1 ∈ ∈ 2 ± r Then Ek±(µ,ν) is a Hilbert modular form of parallel weight k, level p NC 1 1 and character µ− ν− . By deﬁnition

− Φ(Ek±(µ,ν) H)(g) = EA((g, g),f ,s) s= k 1 | D | ± 2 for g GL (A), where Φ is the adelic lift defined in (2.2). ∈ 2 Proposition 3.5. For every non-negative integer t, we have t − Φ(δkEk±(µ,ν)) = EA(f t,s) s= k 1 , D | ± 2 where = (µ,ν,k + 2t, N, c) is an Eisenstein datum of weight k + 2t. Dt Proof. Recall the differential operator V+ defined in §2.3. Proposition 3.5 t follows from (2.3) in view of the relation V+f ,s, = f t,s, (see [JL70, Lemma 5.6 (iii)]). D ∞ D ∞ 3.3. Fourier coefficients of Eisenstein series. Lemma 3.6. For a R , we have ∈ × k 2πa − − 2 W (t(a),f ,s, ) s= k 1 =W (t(a),f ,s, ) s= 1 k = a e− IR+ (a). D ∞ | 2 D ∞ | 2 ·

Proof. By definition, W (t(a),f ,s, ) equals D ∞ k s+ 1 k k πt2(x2+a2) k 2s+1 2− µα 2 (a) t (a + √ 1x) e− sgn(t) t ψ ( x)d×tdx × − | | ∞ − ZR ZR s+ 1 k k + 1 (s+ k+1 ) =µα 2 (a) ( 2√ 1)− Γ s + π− 2 · − − · 2 − (s+ k+1 ) (s k 1 ) (x + √ 1a)− 2 (x √ 1a)− − 2 ψ ( x)dx. × − − − ∞ − ZR By Cauchy’s integral formula we find that 2π√ 1x k k e− − W (t(a),f ) k−1 =µα 2 (a) ( 2π√ 1) Γ(k) dx ,s, s= − k D ∞ | 2 · − − · R (x + √ 1a) Z − k 2πa =µ(a) a 2 e− IR (a), · · + and that k 1 2π√ 1x 1 k k 1 (x √ 1a) − e− − − 2 √ W (t(a),f ,s, ) s= 1 k =µα − (a)( 2 1)− π− − − dx D ∞ | 2 − − R x + √ 1a Z − k 2πa =µ(a) a 2 e− IR (a). · · + Since µ is a quadratic character, the lemma follows. Let q = ̟ 1 = ♯( /q) denote the cardinality of the residue field. q | q|− OF 16 MING-LUNHSIEHANDSHUNSUKEYAMANA

Lemma 3.7. Let v = q be a prime ideal of . Let a F . Put OF ∈ q× 1 1 χ = µ− ν , γ = χ (̟ ), q = ̟ − = ♯( /q), m = ord (a). q q q q q q q | q| OF q Then W (t(a),f ,s,q) equals D m+ordq(d) s+ 1 2s j (q ∤ pNc) µ (a) a 2 (γ q ) , q | | q q Xj=0 m ordq(N) m ordq(N) − − s+ 1 2s j 1 2s j (q N) µ (a) a 2 (γ q ) q− (γ q ) , | q | | q q − q q q j=0 j= 1 X X− 1 s+ 2 1 (q c) µq(a) a ε( 2s,χq)− I q (a), | | | · − · O 1 s+ 2 (q c) µq(a) a I q (a), | | | O (q = p p) I × (a). | Op Proof. Fix a local uniformizer ̟q q of the prime ideal q. Note that if Φ=Φ Φ (F 2), then ∈ O 1 ⊗ 2 ∈ S q (3.3) 0 1 a x s+ 1 1 2s+1 f ,s,q − = µq(a) a 2 Φ1(ta)Φ2(tx)(µqνq− )(t) t d×t D 1 0 0 1 | | × | | ZFq and hence

s+ 1 1 1 2s W (t(a),f ,s,q)= µq(a) a 2 Φ1(ta)Φ2( t− )(µqνq− )(t) t d×t. D | | × − | | ZFq

−1 −1 b If q ∤ pNc, then Φ ,q = Id q Id q , and hence D O ⊗ O s+ 1 1 2s 2 −1 W (t(a),f ,s,q)=µq(a) a Id q (t− a)I q ( t)χq(t) t − d×t D | | × O O − | | ZFq m+ordq(d) s+ 1 j 2sj =µ (a) a 2 χ (̟ )q . q | | q q q Xj=0 If q Nc, then µ is unramiﬁed by assumption. It is easy to verify that | q

1 − I q (x) qq− Iq 1 q (x) if q N, O − O | φνq (x)=  1 1 ε(1,νq− )νq(x− )I −c(νq) × (x) if q c.  ̟q q | b O One can readily prove the case q N. If c is divisible by q, then  | 1 1 s 2 1 1 2s µq(a)− a − − W (t(a),f ,s,q)= IC q (at)φνq ( t− )(µqνq− )(t) t d×t | | D × O − | | ZFq 1 b c(νq) 2sc(νq) = ε(1,νq− )νq( 1)µq ̟q qq− I −c(νq) (a). C̟ q − q O RESTRICTION OF HILBERT-EISENSTEIN SERIES 17

c(νq) Note that C q = ̟q− q for q c by our assumption on the conductor of ν and that O O | 1 c(νq) 2sc(νq) 1 1 ε(1,ν− )ν ( 1)µ ̟ q− = ν ( 1)ε(1 + 2s,χ− )= ε( 2s,χ )− q q − q q q q − q − q by (2.6). If q c, then W (t(a),f ,s,q) equals | D 1 1 s+ 2 − 1 1 2s s+ 2 µq(a) a I q (at)φ 1 (t− )(µqνq− )(t) t d×t = µq(a) a I q (a). | | × O νq | | | | O ZFq Finally, if v = p p, then we find that W (t(a),f ,s,p) equals | D s+ 1 1 1 2s µp(a) a 2 φ −1 (at)φ −1 (t− )(µpνp− )(t) t d×t = I × (a) | | × µp νp | | p ZFp O by a similar calculation. For each non-zero element β F we define the polynomials and ∈ × Pβ,q in Z [X, X 1] by Qχ,q (qq) − ordq(βd) j j qq− X if q ∤ pNc,  j=0 β,q(X)= −1 −1 ordPq(βN ) ordq(βN ) (3.4) P  j j (j+1) j  qq− X qq− X if q N, j=0 − j= 1 | −  P 1 1 c(χq) P (X)= ε(0,χ )− (q X− ) . Qχ,q  q · q Let β F . We write β > 0 if σ (β) > 0 for i = 1, 2. ∈ i Corollary 3.8. We have the following Fourier expansion around the infinity cusp:

2π√ 1(τ1σ1(β)+τ2σ2(β)) E±(µ,ν)(τ ,τ )= σ±(µ,ν,k) e − , k 1 2 β · 0<β d−1, (p,β)=1 ∈ X where + 1 k k σ (µ,ν,k)=µ− (β) (γ q ) −1 (q ), β p Pβ,q q · q Qµ ν,q q q∤cp q (c,β) Y |Y k 1 1 2 k 2 k σ−(µ,ν,k) =N (β) − µ− (β) (γ q − ) −1 (q − ). β F/Q · p Pβ,q q · q Qµ ν,q q q∤cp q (c,β) Y |Y Proof. Note that if Φ = φ φ (F 2), then Φ(x,y) = φ ( x)φ (y). 1 ⊗ 2 ∈ S v 2 − 1 Since Φ ,p(0,y) = 0 and Φ ,p(0,y) = φ −1 (0)φ −1 (y) = 0 for a prime p D D νp µp lying above the distinguished prime p, we see that b b b b b (3.5) f (g)= f b (g) = 0 for g B(F ). ,s,p νp,µp,ΦD , s p D ,p − ∈ This in particular implies that y x y x f ,s = f b = 0. D 0 1 νp,µp,ΦD,p, s 0 1 − 18 MING-LUNHSIEHANDSHUNSUKEYAMANA

In view of (3.1) and Lemma 3.6, we ﬁnd that k 2 − σβ±(µ,ν,k) = N(β) W (t(β),f ,s,q) s= k 1 . D | 2 q< ± Y∞ 1 1 The assertion follows from Lemma 3.7 by noting that µq− νq(̟q)= µν− (q) if q is the prime induced by v.

4. Restriction of Eisenstein series In this section, we study a certain global zeta integral of Z (s, ϕ) introduced in §4.2. This zeta integral naturally appears in the spectralD decomposition of the restriction of the Eisenstein series Ek±(µ,ν), and the main result (Theorem 4.8), which will be used in the explicit interpolation formula of our twisted triple product p-adic L-functions, shows that this integral is essentially a product of the toric period integral in (4.2) and an automorphic L-function for GL2. 4.1. Optimal embeddings. Let F be a real quadratic field whose discrim- D′ √∆ inant is denoted by ∆ . Define θ F by θ = − F , where D = ∆ or F ∈ 2 ′ F ∆F according to whether ∆ is odd or even. Then = Z + Zθ, and if q 2 F OF is ramified in F , then θ is a local uniformizer of . Denote by x x the Oq 7→ unique non-trivial automorphism of Gal(F/Q). Put δ := θ θ = ∆ . − F We choose an embedding σ1 : F ֒ Rpsuch that σ1(δ) > 0. Define an algebraic group T over Q by T (R)→ = (F R) for any commutative field ⊗ × R of characteristic zero. We view T as a maximal torus of GL2 via the embedding Ψ: F ֒ M (Q) defined by → 2 T (θ) N (θ) Ψ(θ)= F/Q − F/Q . 1 0 Put 1 1 θ 1 θ θ − η := − δ− = GL (F ). 1 θ 1 1 ∈ 2 − It is important to note that for t F ∈ t¯ 0 (4.1) ηΨ(t)η 1 = . − 0 t Let N and C be positive integers such that

C and N∆F are coprime; • Every prime factor of NC is split in F . • Fix decompositions N = NN and C = cc once and for all. Fix a prime OF F ideal p of lying above p. O OF (C) (Cpn) Deﬁnition 4.1. We deﬁne special elements ς, ς and ς in GL2(A) as follows: RESTRICTION OF HILBERT-EISENSTEIN SERIES 19

At the archimedean place, put • σ2(θ) σ1(θ) ς = GL2(R). ∞ 1 1 ∈ For each rational prime q we fix a prime ideal q of F above q and • define ς GL (Q ) by O q ∈ 2 q θ θ 1 ς = δ− GL (F )=GL (Q ) if q = qq is split, q 1 1 ∈ 2 q 2 q ςq =1 otherwise. Put • (C) C 1 ς = − GL2(Qq); q 0 1 ∈ pn 1 − GL2(Fp) if p = pp is split in F  0 1 ! ∈ ς(n) = p  0 1  Q  n GL2( p) if p is inert in F . p 0! ∈  − Finally, we define  (C) (C) (Cpn) (C) (n) ς = ςv, ς := ς ςq ; ς := ς ςp . v q C Y Y| Let C = Z + C F be the order of F of conductor C. It is not difficult to verifyO immediatelyO that the inclusion map Ψ : F ֒ M (Q) is an optimal → 2 embedding of into the Eichler order R := M (Q) ς(C)M (Z)(ς(C)) 1 OC N 2 ∩ 2 − of level N. In other words, 1 b Ψ− (R ) F = . N ∩ OC 4.2. A result of Keaton and Pitale. Let π π be an irreducible ≃ ⊗v′ v cuspidal automorphic representation of GL2(A) generated by a cusp form 0 Φ(f) (N,ω). Let µ and ν be unitary Hecke characters of A× such ∈ A2k F that µ has p-power conductor and such that the restriction of µν to A× is ω. Define the Hecke character χ : F A× C by ×\ F → × χ(x) := µ(x)ν(¯x). Given ϕ π, we define the global zeta integral by ∈ 1 τ Z (s, ϕ)= EA(g,f ,s)ϕ(g)ω(det g)− d g, D × D A GL2(Q) GL2(A) Z \ where f ,s is the section defined in Definition 3.2 associated with the datum = (µ,ν,k,D N, c). This integral converges absolutely for all s away from the D poles of EA(g,f ,s) and defines a meromorphic function in s. D We define the Tamagawa measures d×x of AF× and d×a of A× as in §2.6.1, and define the Tamagawa measure dt of T (A) as the quotient measure of 20 MING-LUNHSIEHANDSHUNSUKEYAMANA

τ d×x and d×a. Let dg denote the quotient measure of d g and dt. Given ϕ π, we deﬁne the toric period integral by ∈ χ 1 (4.2) B (g)= ϕ(Ψ(t)g)χ(t)− dt. ϕ × A×F × A Z \ F Theorem 4.2 (Keaton and Pitale). Let ϕ π. Then ∈ χ Z (s, ϕ)= Bϕ(g)dg. D T (A) GL2(A) Z \ Proof. This is nothing but Proposition 2.3 of [KP19].

n r 1 4.3. Global setting. Now we let f = n∞=1 a(n,f)q 2k(Np ,ω− ) be 0 ∈ S a p-stabilized newform and ϕ = Φ(f) 2k(N,ω) be the automorphic form associated with f in (2.1). For each∈A primeP factor q of C we choose a root α (f) of the Hecke polynomial X2 a(q,f)X + ω 1(q)q2k 1. Let f˘ be the q − − − unique form in (NCpr,ω 1)[f] such that a(1, f˘) = 1 and U f˘ = α (f)f˘. S2k − q q Let ϕ˘ = Φ(f˘) be the adelic lift of f˘. We impose the following assumptions: 1 ω has a square root ω 2 ; • µ and ω are unramified outside p; • 1 1 1 C is the conductor of χω− 2 (ω 2 := ω 2 N). • OF F F ◦ Note that these assumptions imply that the C is the prime-to-p part of OF the conductor of ν. Define the matrices and tn for each integer n in J∞ GL2(A) by n 1 0 0 p− (4.3) = − GL2(R), tn = n GL2(Qp). J∞ 0 1 ∈ p 0 ∈ − 4.4. Local zeta integrals. For each place v of Q we set f ,s,v(gv) = D v v f ,s,v(gv) for gv = (gv)v v v v GL2(Fv). Assume that ϕ has the D | ∈ factorizable| Whittaker function W (g)=| W (g ) for g = (g ) GL (A). Q ϕ Q v v v v ∈ 2 We associate to each Whittaker function Wv (πv, ψv) a Bessel function B : GL (Q ) C by Q ∈W Wv 2 v → 1 1 B (g )= W (ς− Ψ(t )g )χ (t )− dt Wv v × × v v v v v v v Q F Z v \ v unless v = p is inert in F . Here dtv is the quotient measure of d×xv and d×av (see §2.6.1). This integral is absolutely convergent (see the proof of Proposition 4.4). If v = p is inert in F , then we will explicitly choose a 1 Whittaker function W (πp∨, ψp− ) in the proof of Proposition 4.6 so 1 ∈ W that ρ(t)W = χp(t)− W . Recall the standard GL2(Qp)-invariant pairing f 1 , : (πp, ψp) (πp∨, ψp− ) C defined by h i W f ×W f → W1,W2 = W1(t(ap))W2(t(ap)) d×ap. h i × ZQp RESTRICTION OF HILBERT-EISENSTEIN SERIES 21

Deﬁne the Bessel function BWp : GL2(Qp) C by BWp (g) := ρ(g)Wp, W . The integral → h i f 1 (4.4) Z (s,BWv )= f ,s,v(ηgv)ωv(det gv)− BWv (gv)dgv D D T (Qv ) GL2(Qv ) Z \ τ makes sense by (4.1), where dgv is the quotient measure of d gv and dtv.

4.5. Convergence. In this and next subsections we fix a place v of Q and suppress the subscript v from the notation. Thus F = F Q , ψ = ψ , = , µ = µ , ν = ν , ⊗ v v | · | | · |v v v 2 π = πv,Φ = v vΦ ,v (F ),.... D ⊗ | D ∈ S Lemma 4.3. The integral defining Z (s,BW ) is absolutely convergent for Re s 0. D ≫ Proof. Put T = T (Q ). For W (π) we have q q ∈W 1 Z (s,BW )= f ,s,q(ηg)ω(det g)− BW (g)dg D D Tq GL2(Qq ) Z \ 1 1 1 = f ,s,q(ηg)ω(det h)− W (ςq− tg)χ(t)− dtdh D × Tq GL2(Qq ) Q Tq Z \ Z q \ 1 1 = f ,s,q(ηtg)ω(det(tg))− W (ςq− tg)dtdg × D Tq GL2(Qq ) Q Tq Z \ Z q \ by definition. We combine the iterated integral to obtain

1 1 τ Z (s,BW )= f ,s,q(ηg)ω(det g)− W (ςq− g)d g. D D ZPGL2(Qq ) 1 First assume that v = q = qq¯ is split in F . Since ηςq = δ− and ης¯ q = 0 1 δ 1 , we get − 1 0

1 0 1 τ Z (s,BW )= f ,s,q(g)ω(det g)− f ,s,q g W (g)d g D D D 1 0 ZPGL2(Qq ) 1 1 0 τ (4.5) = f ,s,q(g)ω(det g)− Wq g W (g)d g, D 0 1 N(Qq ) PGL2(Qq ) Z \ − where Wq(g) := W (g,f ,s,q). This is nothing but the local Rankin-Selberg D integral for GL2 GL2, which is absolutely convergent for Re s 0. Next assume that× v = q remains prime in F . It suﬃces to show≥ that the integral 1 (4.6) f ,s,q(ηn(x)t(a))ψ(x)dx W (t(a))d×a × ω(a) a D · ZQq ZQq | | 22 MING-LUNHSIEHANDSHUNSUKEYAMANA converges absolutely in view of the Iwasawa decomposition. Since η = 1 θ δ 1 − , the inner integral is − 1 θ − 1 1 s+ 2 1 δ− a F µ(δ− a)| | ω(a) a | | 1 2s+1 1 θ a x (µν− )(t) t F Φ (0,t) − ψ(x)d×tdx. × × | | 1 θ 0 1 ZQq ZF − Put ξ := µν 1α2s+1. Let Φ=Φ Φ . We may assume that Φ (x) 1 − F 1 ⊗ 2 | 1 | ≤ and Φ (xc)=Φ (x) for x F and c ×. Since the integral 2 2 ∈ ∈ OF dx ξ(t)Φ1( at)Φ2(t(θ x)) d×tdx ξ(t)Φ2(tθ x) d×t × | − − | ≤ × | − | t ZQq ZQq ZQq ZQq | | converges for Re s 0, the double integral (4.6) is absolutely convergent for Re s 0. ≫ ≫

4.6. Local calculations. We compute the local zeta integrals Z (s,BWv ) D occurring in the factorization of the global integral Z (s, ρ( tn)ϕ ˘f ). Put D J∞ ν+ := ν × . Recall the normalized Whittaker newform Wπ (π, ψ) (see |Qv ∈ W §2.6.3). For each prime factor v = q of C, if we write π = ̺q ⊞ υq with 1−2k ̺q(q)= αq(f)q 2 , then

1 1 W˘ := W υ (q) q 2 π(t(q− ))W . π π − q | | π Then W˘ π is characterized uniquely by the conditions: W˘ π(12) = 1 and 1 ˘ 2 ˘ ord UqWπ = ̺q(q) q − Wπ. In the case v = p, we denote by Wπ an ordinary | | 1 k vector of eigenvalue a(p,f)p − . By our assumptions,

µ and ν+ are unramiﬁed outside p; • 1 χω− 2 is only ramiﬁed at primes dividing C. • F Proposition 4.4. Let v = p be a place of Q which is split in F . We have 6 If v = is the archimedean place, then Bρ( ∞)Wπ (ς ) = 0, and • ∞ J ∞ 6 √ k Z (s,Bρ( ∞)Wπ ) = 4( 4 1)− νσ1 ( 1)ΓC(2s + k) Bρ( ∞)Wπ (ς ). D J − − − · J ∞ If v = q and NC are coprime, then • 1 1 Z (s,BWπ )= L 2s + ,π ν+− BWπ (ςq). D 2 ⊗ If v = q is a prime factor of N, then B (ς ) = 0 and • Wπ q 6 ζq(2) NC Q 1 | | q 1 Z (s,BWπ )= L 2s + ,π ν+− BWπ (ςq). D ζ (1) · 2 ⊗ q RESTRICTION OF HILBERT-EISENSTEIN SERIES 23

(C) When v = q is a prime factor of C, then B ˘ (ς ςq ) = 0 and • Wπ q 6 1 ζq(2) NC Q 1 ε 0,χ− | | q 1 q (C) Z (s,BWπ )= L 2s + ,π ν+− B ˘ (ςqςq ). D ζ (1) 2 ⊗ ζ (1) · Wπ q q

Proof. We first treat the archimedean case. Let W = ρ( )Wπ∞ . By J∞ definition, BW (ς n(x)) equals ∞ 1 1 Wπ∞ (t(a)n(x) )µσ2 (a)− νσ1 (a)− d×a × J∞ ZR ∞ 2πa(1+x√ 1) k =(µ ν )( 1) e− − a d×a σ2 σ1 − Z0 k k =(µ ν )( 1)(2π)− (1 + x√ 1)− Γ(k) σ2 σ1 − − by (2.4), where we have shifted the contour of integration. By the Iwa- sawa decomposition GL2(R)= B(R)K and Remark 3.3, the local integral ∞ Z (s,BW ) equals D 0 1 f ,s,σ1 (n(x))f ,s,σ2 n(x) BW (ς n(x)) dx D D 1 0 ∞ ZR k+1 2 Γ(k) k k Γ s + 2 = 4− ( 1) (2π√ 1)k · − π2s+k+1 − k x √ 1 dx µ ( 1)(1 + x2) (s+1/2) − − σ2 − k × R − √1+ x2 (x √ 1) Z − − Γ(k) (2s+k) k = 2(2π)− Γ(2s + k) 4( 4)− µσ ( 1). (2π√ 1)k · · − 2 − − Let v = q = qq be a finite split prime. Then

1 1 1 1 1 (4.7) B (ς )= L ,π χ− = L ,π µ− ν− . Wπ q 2 ⊗ ¯q 2 ⊗ ¯q q If q and Nc are coprime, then

1 1 1 1 1 1 Z (s,BWπ )= L 2s + ,πq νq− ν¯q− L ,πq µ¯−q νq− D 2 ⊗ 2 ⊗ by (4.5). The unramiﬁed case follows from (4.7). Suppose that v = q divides NC. Then µq,µ¯q are unramiﬁed, the conductors of νq and ν¯q are CZq, and

1 s+ 2 µ¯q(a) a IZq (a) if q C, Wq(t(a)) = | | | (WΠ¯q if q ∤ C. s ⊞ s Here WΠ¯q is the spherical vector for Π¯q = µ¯qα ν¯qα− . Put

U0(NCZq)= ∗ ∗ GL2(Zq) c NCZq . c ∈ ∈ ∗

24 MING-LUNHSIEHANDSHUNSUKEYAMANA

We claim that f ,s,q is supported in B(Qq)U0(NCZq). Indeed, if f ,s,q(g) = D D 6 a b 0 for g = GL2(Qq), then Φ ,q((0,t)g) = 0 for some t Qq×. c d ∈ D 6 ∈ According to the recipe in Deﬁnition 3.2, we ﬁnd that (tc, td) NCZq Zq×, 1 ∈ ⊕ and hence cd− NCZq. Since f ,s,q(12) = 1, we see that ∈ D

Z (s,BWπ ) D 1 s+ 1 =[GL2(Zq) : U0(NCZq)] (µqω− )(a) a 2 Wq(t(a))Wπ(t(a))d×a × | | ZQq ζq(2) NC 1 1 1 1 1 = | |L 2s + ,π ν− L ,π µ− ν− . ζ (1) 2 ⊗ + 2 ⊗ ¯q q q The case of a prime factor q of N follows from (4.7). Finally, we assume that C is divisible by q. We have

(C) C 1 1 B ˘ (ς ς )= W˘ π t(a) − χ− (a)d×a Wπ q q × 0 1 q ZQq 1 1 1 = C 2 ̺q(C) a 2 χ− ̺q(a)Φ(a)d×a | | × | | q ZQq 1 in view of W˘ (t(a)) = ̺ (a) a 2 IZ (a), where Φ(a) = ψ ( a)I −1 (a). π q | | q q C Zq The integral above equals − 1 1 1 − 1 1 γ ,χ− ̺ a 2 Φ(a)(χq̺− )(a)d×a 2 q q × | | q ZQq 1 vol(C− Zq, da) b Z = 1 1 vol(1 + C q, d×a) ε 2 ,χq− ̺q ζ (1) ζ (1) = q = q 1 1 1 1 ε 2 ,χ−q ̺q ε 0,χ− ̺ (C) C 2 q q | | by the local functional equation (2.5) forGL1. In the ﬁnal stage we utilized (2.6). Proposition 4.5. If v = q remains a prime in F and does not divide pNC, then

s 1 1 1 − − 2 1 Z (s,BWπ )= µ(δ)− δ L 2s + ,πq ν+− BWπ (12). D | |F 2 ⊗ 0 Proof. By assumption π and χ are both unramiﬁed. Thus Wπ = W is the normalized spherical Whittaker function, and so by the Iwasawa decomposition GL2(Qq)= B(Qq) GL2(Zq), we have

0 Z (s,BW 0 )= G(a) W (t(a)) d×a, D × · ZQq RESTRICTION OF HILBERT-EISENSTEIN SERIES 25 where 1 G(a) := f ,s,q(ηn(x)t(a))ψ(x)dx. ω(a) a D | | ZQq 1 2 1 1 θ 0 −1 −1 Recall that Φ ,q = δ F Iδ q δ q and η = δ− − . Put Φ = D | | O ⊕ O 1 θ 1 2s+1 − I q q and ξ := µν− αF . The computation in the proof of Lemma 4.3 showsO ⊕O that a s µ(δ) δ s G(a)= | |F ξ(qm)Φ0( aqm,qm(θ x))ψ(x)dx. | |F ν(a) − − Qq m Z Z X∈ If F/Qq is unramiﬁed, then BW 0 (12) = 1 and s 2s a F ∞ m m a G(a)= | | I F (aq )ξ(q ) ψ(x)dx = | | IZq (a). ν(a) O −m ν(a) m=0 q Zq X Z It follows that 2s a 0 1 1 Z (s,BW 0 )= | | IZq (a)W (t(a)) d×a = L 2s + ,π ν+− . D × ν(a) 2 ⊗ ZQq Next we consider the case where q is ramiﬁed in F . Then θ is a uniformizer. We see that 0 1 0 1 1 B 0 (1 )= W (1 ) ∆ 2 + W (Ψ(θ))χ− (θ) ∆ 2 W 2 2 · | F | | F | 1 from the decomposition F = Q × Q ×θ and vol( ×, dt )= ∆ 2 . × q×OF ⊔ q×OF OF q | F | Writing π = ̺ ⊞ υ, α = ̺(q) and β = υ(q), we get

1 1 1 2 1 1 δ − B 0 (1 )=1+ χ(θ)− (α + β) q 2 =1+(µν)(θ− ) q 2 (α + β) | |F W 2 | | | | s by the Iwasawa decomposition of Ψ(θ). On the other hand, µ(δ) δ F G(a) equals | | a s | |F ξ(θ2m)Φ0(aθ2m,θ2m(θ x)) ν(a) − ZQq m Z X∈ 2m 1 0 2m 1 2m 1 + ξ(θ − )Φ (aθ − ,θ − (θ x)) ψ(x)dx − 1 2s 1 =ν(a)− a IZq (a)+ ξ(θ)IZq (a)+ ξ(θ− ) q IqZq (a) . | | | | · Since 1 m 2s+ 2 ∞ 0 q 0 2ms m q 1 2s+ 1 W q− ν(q)− = | | α + β αβν(q)− q 2 , 0 1 ν(q) − | | m=1 X we conclude that

Since (µν) × = ω, the second factor equals |Qq 1 2s+1 1 1 1 2s+ 1 1 + (µν− )(θ) q + (µν)(θ− ) q 2 α + β (ν− ω)(q) q 2 | | | | − | | 1 1 1 2 =1+(µν)(θ− ) q 2 (α + β)= B 0 (1 ) δ − , | | W 2 | |F which finishes the proof of the ramified case. Proposition 4.6. In the p-adic case, if π = ̺ ⊞ υ with ̺ unramified and (n) υ( 1) = 1, then for n 0, we have B ord (ςp ) = 0 and − ≫ Wπ 6 (n) BW ord (ςp ) 1 ζp(2) π 1 n n 2 Z (s,Bρ(t )W ord )= (ω− ̺)(p ) p . D n π 1 1 ζ (1) γ 2s + 2 , ̺ν+− | | Fp Proof. We first assume that p = pp is split. Then F = Q Q and p ⊕ p Φp =Φp Φp, where Φv = φ −1 φ −1 with v = p or p. From (4.5) ⊗ µv ⊗ νv f ,s,p(g) 1 0 ord τ Z (s,Bρ(t )W ord )= b D Wp g Wπ (gtn)d g. D n π 0 1 N(Qp) PGL2(Qp) ω(det g) Z \ − 0 1 Put u(x)= . Using the integration formula 1 −x − − τ ζp(2) 1 h(g)d g = h(n(y)t(a)J1n(x)) a − dyd×adx ζ (1) × | | ZPGL2(Qp) p ZQp ZQp ZQp for an integrable function h on PGL (Q ), we see that Z (s,B ord ) 2 p ρ(tn)Wπ equals D

ζp(2) 1 s 1 (ω− µp)(a) a − 2 f ,s,p(J1n(x))Wp(t(a)u(x)) ζ (1) × | | D p ZQp ZQp n ord ap 0 1 0 Wπ n 2n dxd×a. × 0 p− p x 1 − Since f ,s,p(J1n(x)) = φ −1 (x) by (3.3), if n 0, then Z (s,Bρ(t )W ord ) D νp ≫ D n π ζp(2) equals n times ζp(1)ω(p ) b 1 1 s 2 ord 2n (ω− µp)(a) a − φ −1 (x)Wp(t(a)u(x))Wπ (t(ap )) dxd×a. × | | νp ZQp ZQp b Since the function a φ −1 (x)Wp(t(a)u(x)) has a bounded support uni- 7→ νp formly with respect to x, if n 0, then the integral is equal to ̺(p2n) pn times b ≫ | |

1 s (ω− µp)(a) a φ −1 (x)Wp(t(a)u(x))̺(a)Ip−2n Z (a)dxd×a × | | νp p ZQp ZQp 1 s b = (υ− µp)(a) a φ −1 (x)Wp(t(a)u(x)) dxd×a. × | | νp ZQp ZQp b RESTRICTION OF HILBERT-EISENSTEIN SERIES 27

s s Put Πp = µpα ⊞ νpα− . We use the local functional equation for GL2 (see §2.6.4) to see that the last integral equals the ratio of

1 s 1 1 (µp− υ)(a) a − φ −1 (x)Wp(t(a)J − u(x))µpνp(a− )d×adx × | | νp 1 ZQp ZQp divided by b

1 1 1 1 1 1 γ s + ,µ υ− Π = γ 2s + , ̺ν− γ , ̺χ− . 2 p ⊗ p 2 + 2 p Since 1 ω = ̺υ = µpνpµpνp, t(a)J − u(x)= n( ax)t( a), Wp(t(a)) = I × (a) 1 − − Zp by Lemma 3.7, this integral equals

1 s (̺− νp)(a) a − Wp(t( a)) φ −1 (x)ψ( ax)dxd×a × | | − νp − ZQp ZQp 1 s b = ̺(a)− a − I × (a)Wp(t( a))d×a = 1. × | | Zp − ZQp On the other hand, we see by (2.5) that n (n) ord p 1 1 B ord (ς )= W t(a) − χp(a)− d×a Wπ p × π 0 1 ZQp n n 1/2 n 1 = ̺(ap ) ap ψ( a)IZp (ap )χp(a)− d×a × | | − ZQp vol(p nZ , da) n n 1/2 − p nZ =̺(p ) p 1 1 vol(1 + p p, d×a) | | γ 2 , ̺χp−

n n 1/2 ζp(1) =̺(p ) p 1 1 . | | γ 2 , ̺χp− Now we consider the case where p is inert in F and π is a principal series. Using the decomposition GL (Q )=Ψ(F ) B(Q ), we have 2 p × · p Z (s,Bρ(t )W ord ) D n π 1 = f ,s,p(ηt(a)n(x))ω(a)− BW ord (t(a)n(x)tn) a d×adx. × D π | | ZQp ZQp We proceed to compute

f ,s,p(ηt(a)n(x)) D 1 1 θ a ax =(µν)(δ− )f ,s,p − D 1 θ 0 1 − 1 1 s+ 2 1 2s+1 =ν(δ− )µ(a) a F Φ ,p( ta, t(θ xa))(µν− )(t) t F d×t | | × D − − | | ZF s 1 1 − − 2 1 1 2s+1 =ν(δ− )ν(a) a F Φ ,p( t, a− tθ xt)(µν− )(t) t F d×t. | | × D − − | | ZF 28 MING-LUNHSIEHANDSHUNSUKEYAMANA

Since Φ ,p = φµ−1 φν−1 , we ﬁnd that D ⊗ 1 1 s 2 1 f ,s,p(ηt(a)nb(x)) = µ( 1)ν(aδ− ) a − − φν−1 (a− θ x). D − | |F − 1 In particular, the function x φ −1 (a θ x) has a bounded support with 7→ ν − b respect to a. Hence for n 0 − ≫ν b µ( 1)ν(δ)Z (s,Bρ(t )W ord ) − D n π 2s 1 1 = ν(a) a − φν−1 (a− θ x)ω(a)− B ord (t(a)tn)d×adx × | | − Wπ ZQp ZQp 1 2s b 1 = ν(a)− a Φ2(a)ω(a)B ord (t(a− )tn)d×a, × | | Wπ ZQp where Φ (a) (Q ) is deﬁned by 2 ∈ S p

Φ2(a) := φν−1 (x + aθ)dx. ZQp Observe that if Φ (a) = 0, then b 2 6 1 n 1 1 2n ω(a)B ord (t(a− )t )= ω(p )− B ord (J − t(ap )) Wπ n Wπ 1 1 n 1 2n 2n 2 = ω(p )− ̺(ap ) ap (W ), Z where f 1 2n 1 (W )= ̺(t) t 2 IZ (atp )W (t(t)J1)d×t = ̺(t) t 2 W (t(t)J1)d×t Z × | | p × | | ZQp ZQp forfn f 0. Thus we ﬁnd thatfµ( 1)ν(δ)Z (s,Bρ(t )W ord ) isf equal to ≫ν,W − D n π 1 2 n n 1 2s+ 1 (ω− ̺ )(p ) p (W ) (ν− ̺)(a) a 2 Φ2(a)d×a. | |Z × | | ZQp The last integral equals f 1 1 1 − 1 1 2s γ 2s + , ̺ν− (ν̺− )(a) a 2 − Φ2(a)d×a 2 + × | | ZQp by (2.5), where b

Φ2(a)= φν−1 (x + yθ)ψ(ay)dxdy ZQp ZQp b b 1 1 = φ −1 (z)ψ (aδ− z)dz = φ −1 ( aδ− ). ν F ν − ZF We conclude that b 1 1 1 − 1 2 n n Z (s,Bρ(t )W ord )= γ 2s + , ̺ν+− (ω− ̺ )(p ) p ω( 1) (W ). D n π 2 | | − ·Z On the other hand, for n 0, ≫ f (n) n n 1 B ord (ς )= ̺(p ) p 2 (W ). Wπ p | | Z f RESTRICTION OF HILBERT-EISENSTEIN SERIES 29

The following lemma will complete our proof. Lemma 4.7. (W ) = 0. Z 6 1 1 2 1 Proof. Let ξ := χ− υF . If ξ is unramified, then so is ξ × = ω− υ = ̺− υ, f |Qp which implies that both π and χ are unramified, so that W is the spherical Whittaker function, and f (W )= L(1,π∨ ̺) = 0. Z ⊗ 6 1 − 2 Suppose that ξ is a ramifiedf character. Since χωF is assumed to be unram- 1 1 1 ified, we find that c(ξ × )= c(̺− υ)= c(ω) > 0. Let f υ− ⊞ ̺− be the |Qp ∈ unique section such that 1 e a b 1 1 a 2 1 f Ψ(t) = υ(a)− ̺(d)− χ− (t) 0 d d for a, d Qp×, be Qp and t F ×. Then we can choose W (g) := W (g, f), ∈ ∈ ∈ and W (t(a)J1) equals st st f e 1 0 1 1 1 0 ff − ψ( x)dx = ̺(a)− a 2 f − ψ( ax)dx. x a − | | x 1 − ZQp − ZQp − Sincee e 1 0 N(xθ 1) 1 − = − − ∗ Ψ(xθ 1), x 1 0 1 − − we find that st 1 1 ξ(xθ 1) W (t(a)J )= ̺(a) a 2 ψ( ax)dx. 1 − − 1/2 | | Qp xθ 1 − Z | − |F f ξ(xθ 1) − Put ΦN (x) := −1/2 Ip N Z (x). We have seen that xθ 1 p | − |F 1 ̺(a) a − 2 W (t(a)J1) = lim ΦN (a). | | N →∞ Take an integer B > c(ω). Thenf we have b N ΦN (a)= ΦB(a)+ Ij j=XB+1 for N >B, where b b ξ(xθ 1) Ij = − ψ( ax)dx. −j × 1/2 p Zp xθ 1 − Z | − |F a Note that Ij = 0 unless j = ordp(a)+ c(ω). Recall an additive character ψ defined by ψa(x)= ψ(ax). Then

1 1 a 1 1 1 1 I = ξ(θ)ε , ̺υ− , ψ− = ξ(θ)(̺υ− )( a) a − ε , ̺υ− ordp(a)+c(ω) −2 − | | −2 30 MING-LUNHSIEHANDSHUNSUKEYAMANA by (2.6). Since ̺υ 1 is ramiﬁed, we see that (W ) is equal to − Z 1 1 1 1 ΦB(a)+ ξ(θ)(̺υ− )( a) a − ε , ̺υ−f I B+1−c(ω) (a) a d×a − | | −2 p Zp | | ZQp =ΦB(0)ζbp(1) = 0. 6

4.7. The explicit pull-back formula. Now we are ready to give the explicit formula of Z (s, ρ( tn)ϕf ). The notation is as in §4.3. Let τF be the quadratic DirichletD characterJ∞ associated to the extension F/Q.

Theorem 4.8. Let λ be a Hecke character of A× of p-power conductor and × φ be a ﬁnite order Hecke character of AF× with φ A = 1 and conductor 1 | C . Put χ = ω 2 φ and OF F 1 2 1 1 = (ω λ , φ− λ− , k, N, c). D F F F For n 0, we have ≫ 1 Z (s, ρ( tn)ϕf ) p 1 1 1 1 − D J∞ = L{ } 2s + ,π ν− γ 2s + , ̺ ν− χ (Cpn) 2 ⊗ + 2 p +,p Bρ( ∞)ϕ ˘ (ς ) J f 1 1 n n ζp(2) L(1,τF )f framfC (ω ̺ )(p ) p 2 ∞ , p− p Qp × | | ζFp (1) · ζQ(2)[SL2(Z):Γ0(NC)] where f , fram and fC are local fudge factors given by ∞ k f := 4( 4√ 1)− (λ φσ1 )( 1), ∞ − − ∞ − 1 1 2 1 s 2 fram := ωq λq(∆− ) ∆F − − , F | |Qq q ∆ Y| F 1 1 ε(0, φ− ) 2 1 q fC := ωq (C− ) . ζq(1) q C Y| χ Proof. There exists a nonzero constant c such that Bϕ(g) = c v BWv (gv) for ϕ π with Wϕ(g) = v Wv(gv) by the uniqueness and the existence of the Waldspurger∈ models. Put Q Q ⋆ ⋆ ⋆ ord ϕ = ρ( tn)ϕ ˘f , W = ρ( )Wπ∞ , Wp = ρ(tn)Wπp . J∞ ∞ J∞ The Whittaker function of ϕ⋆ is given by ⋆ ⋆ ⋆ ˘ Wϕ (g)= W (g ) Wp (gp) Wπq (gq) Wπℓ (gℓ). ∞ ∞ · · q C ℓ∤pC Y| Y It follows that χ (Cpn) (n) (C) B (ς )= cB ⋆ (ς ) B ord (ς ) B (ς ς ) W (ς ). ρ( ∞)ϕ ˘ W∞ Wπ p W˘ π q q πℓ ℓ J f ∞ · p · q q C ℓ∤pC Y| Y RESTRICTION OF HILBERT-EISENSTEIN SERIES 31

On the other hand, Theorem 4.2 gives

L(1,τF ) ⋆ ⋆ Z (s, ρ( tn)ϕf )= c Z (s,BW∞ ) Z (s,BWp ) Z (s,BWπq ). D J∞ ζQ(2) · D · D D q=p Y6 1 2 Theorem 4.8 now follows from Propositions 4.4, 4.5 and 4.6 with µ = ωF λF , 1 1 1 2 ν = φ− λF− and χ = ωF φ. 5. The construction of p-adic twisted triple product L-functions 5.1. Notation. Define the p-adic cyclotomic character by 1 εcyc : Q× A× Zp×, εcyc(a)= a A a− ap. \ → | | ∞ Let ω : Q× A× µp 1(Cp) be the Teichmüller character. Fix embeddings \ → − ι : Q ֒ C and ιp : Q ֒ Cp once and for all. The set of embeddings ∞ → → ΣR = σ1,σ2 from F to R is identified with Gal(F/Q) via ι . { } ∞ Let = L for some finite extension L of Qp containing ιp(F ). Let Λ= JO1+ pZO K and write [ ]:1+ pZ Λ for the inclusion of group-like O p · p → × elements. Let u =1+ p. For a variable X, let X : Zp× ZpJXK× be the character defined by h·i →

logp a (5.1) a := (1 + X) logp u . h iX Write N = N : F Q for the norm map. If a is a fractional ideal of F F/Q → coprime to p, put a = N(a) . If I is a finite extension of Λ, a point h iX h iX Q Spec I(Cp) is called a locally algebraic point of weight k and finite part ∈ [ ] Q ǫ if the map Q :1+ pZ · Λ Q× is given by Q(x) = xkǫ(x) for |Λ p −→ × −→ p some integer k 1 and a finite order character ǫ :1+ pZ µ ∞ (Q ). For ≥ p → p p a locally algebraic point Q we denote by kQ the weight of Q and ǫQ the finite + part of Q. Let XI be the set of locally algebraic points Q in Spec I(Cp) with + kQ 1. A locally algebraic point Q XI is called arithmetic if kQ 2. For ≥ + ∈ ≥ every arithmetic point Q XI , we shall view the finite part ǫQ as a Hecke ∈ 1 1 character of A× via ǫQ(a) := ι ιp− (ǫQ(εcyc(a)ω− (a))). If A and B are two ∞ complete -modules, we write A B for A B for simplicity. O ⊗ ⊗O 5.2. Preliminaries on Hida theory for modular forms. Let I be a b b normal domain finite flat over Λ. Let N be a positive integer prime to p and let χ : (Z/NpZ)× × be a Dirichlet character modulo Np. De- note by M(N,χ, I) the→ space O of I-adic modular forms of tame level N and (even) branch character χ, consisting of formal power series f(q) = n n 1 a(n, f)q IJqK with the following property: there exists an in- ≥ ∈ + teger af such that for every point Q XI with kQ 0 (mod 2) and P ∈ n ≡ kQ af , the specialization f Q(q) = n 1 Q(a(n, f))q is the q-expansion ≥ ≥ of a cusp form f (Npr,χω2 kQ ǫ ) for some r > 0. We call f Q ∈ MkQ P− Q Q 32 MING-LUNHSIEHANDSHUNSUKEYAMANA the specialization of f at Q. For a positive integer d prime to p, define n dn Vd : M(N,χ, I) M(Nd, χ, I) by Vd( n a(n, f)q ) = d n a(n, f)q . Let S(N,χ, I) M→(N,χ, I) be the space of I-adic cusp forms, consisting of ⊂ P P elements f M(N,χ, I) such that f Q is a cusp form for a Zariski dense ∈+ subset Q XI . The space∈ M(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 n n | given by Uℓ( n a(n, f)q ) = n a(nℓ, f)q . Recall that Hida’s ordinary projector e defined by P P e := lim Un!. n p →∞ is a convergent operator on the space of classical modular forms preserv- ing the cuspidal part as well as on the spaces M(N,χ, I) and S(N,χ, I) (cf. [Wil88, page 537 and Proposition 1.2.1]). The space eS(N,χ, I) consists of ordinary I-adic forms defined over I. A key result in Hida’s theory of ordinary I-adic cusp forms says that if f eS(N,χ, I), then f ∈ Q ∈ e (Npe,χω2 kQ ǫ ) for every arithmetic point Q X+. We call f SkQ − Q ∈ I ∈ eS(N,χ, I) a primitive Hida family if f Q is a p-stabilized newform of tame + conductor N for every arithmetic point Q XI . For a divisor M N, let T(N, M) ∈End eS(N,χ, I) be the I-algebra generated by Hecke operators| T ⊂and U . A classical result in { q}q∤Np { q}q Mp Hida theory for modular forms asserts that T(N, I)| is free of finite rank over I. Let f eS(N,χ, I) be a primitive Hida family. Then f induces the I- ∈ algebra homomorphism λf : T(N, I) I with λf (T ) = a(q, f) for q ∤ Np → q and λf (U ) = a(q, f) for q Np. We denote by mf the maximal ideal of q | T(N, I) containing Ker λf and by Tmf the localization of T(N, I) at mf . It is the local ring of T(N, I) through which λf factors. It is well-known that there is an algebra direct sum decomposition

λf : T I Frac I Frac I B, t λf (t) = (λf (t), λB(t)), mf ⊗ ≃ ⊕ 7→ B wheree is a ﬁnite dimensional (Frac I)-algebrae ([Hid88c, Corollary 3.7]). Remark 5.1. Recall that the congruence ideal C(f) of f is deﬁned by

C(f) := λf (AnnT (Ker λf )) I. mf ⊂

By definition, C(f) 1f T(N, I) and C(f) is the annihilator of the congru- · ⊂ ence module of λf (see [Hid88b, Definition 6.1]). For each arithmetic point + Q XI , let ℘Q = ker Q. By the control theorem for the Hecke algebras and the∈ congruence modules (cf. [Hid88b, (0.4b), (5.8a)]), we find that Q(C(f)) is the congruence ideal for λf : T(N, I)/℘ I/℘ . In particular, this Q Q → Q implies Q(C(f)) = 0 and hence 1f belongs to the localization T(N, I) at 6 ℘Q ℘Q. This fact will be used to deduce the finiteness of our p-adic L-function in Definition 5.5 at arithmetic points. RESTRICTION OF HILBERT-EISENSTEIN SERIES 33

5.3. A two-variable p-adic family of Hilbert-Eisenstein series. We shall make the identification Λ Λ= JX, T K, X = ([u] 1) 1, T = 1 ([u] 1). ⊗ O − ⊗ ⊗ − Let (χ ,χ ) be a pair of finite order Hecke characters of A× of level p and 1 2 F OF pC . Web assume that (χ ,χ ) satisfies Hypothesis 3.1 and χ χ is totally OF 1 2 1 2 even. A Hecke character χ of AF× will be viewed as an ideal class character by 1 χ(q) := χ(̟q)− for any prime ideal q away from the conductor of χ. Define the Λ Λ-adic q-expansion by ⊗ − β d 1 b E(χ1,χ2)(X, T ) := β(χ1,χ2)q Λ ΛJq + K, − A ∈ ⊗ β d 1,(p,(β))=1 ∈ + X b where (χ ,χ ) Λ Λ is defined by Aβ 1 2 ∈ ⊗ 1 1 1 1 2 (χ ,χ )= (β) (β) − χ− ((β)) (χ χ− (q) q − q ) Aβ 1 2 h biX h iT 1 Pβ,q 1 2 h iX h iT Yq∤cp 1 2 − χ χ 1,q( q X− q T ), × Q 1 2 h i h i q (c,β) |Y where β,q and −1 are polynomials defined in (3.4). If R is an F - χ1χ2 ,q P Q − O d 1 algebra, the theta operator θσ End(RJq + K) for σ Gal(F/Q) is defined by ∈ ∈ β β θσ( aβq )= σ(β)aβ q . Xβ Xβ For Q X , let ξ be the finite order Hecke character of A× given by ∈ Λ Q F k ξ := ǫ ω− Q N. Q Q ◦ + + Proposition 5.2. For every (Q, P ) XΛ XΛ with kQ kP , we have the interpolation ∈ × ≤ k k + 1 1 θ Q P E (χ ξ− ξ , χ ξ− ) if 2k > k , − 2kP kQ 1 Q P 2 P P Q E(χ1,χ2)(Q, P )= −  kQ 1 1 1 θ − Ek− 2k +2(χ1ξQ− ξP , χ2ξP− ) if 2kP kQ,  Q− P ≤ β β where θ = θσ1 θσ2 is the theta operator θ( β aβq )= β N(β)aβq . 1 1 Proof. Let µ = χ ξ− ξ and ν = χ ξ− .P Put k = 2kP k . For an integer 1 Q P 2 P P − Q n prime to p, we have k k 1 1 k (χ ,χ )(Q, P ) =N(β) Q− P µ− ((β)) (µν− (q)q ) Aβ 1 2 Pβ,q q Yq∤cp k − 1 1 χ 1χ ,q(χ1− χ2µν− (q)qq ). × Q 1 2 q (c,β) |Y 34 MING-LUNHSIEHANDSHUNSUKEYAMANA

1 1 Since χ1− χ2µν− is unramiﬁed outside p, one veriﬁes that

− 1 1 − χ 1χ ,q(χ1− χ2µν− (q)X)= µ 1ν,q(X). Q 1 2 Q By Corollary 3.8, we ﬁnd that

kQ kP + N(β) − σβ (µ,ν, k) if k > 0, β(χ1,χ2)(Q, P )= 1 k+k · 1 A N(β) P σ−(µ,ν, 2 k) if k 0. ( − − · β − ≤ The proposition follows immediately. 5.4. The construction of the twisted triple p-adic L-function. For any F -algebra R, define the diagonal restriction map by O − d 1 β n resF/Q : RJq + K RJqK, aβq aβ q . → − 7→ − β d 1 n>0 β d 1 X∈ + X X∈ + TrF/Q(β)=n For an even integer a and a finite order Hecke character j 2 (5.2) φ : F × AF×/ C× × such that φσ( 1) = ( 1) for σ ΣR, \ O → O − − − ∈ [a] d 1 we define the two-variable q-expansion E (X, T ) Λ ΛJq + K by b φ ∈ ⊗ a−j [a] a E (X, T )= E(ω 2 , ω− 2 φ)(1 + X)1/2 1, (1 + T )1/2 1). φ F F − b − We define G[a](X, T ) Λ ΛJqK as the diagonal restriction φ ∈ ⊗ G[a](X, T ) := res E[a](X, T ) . φ b F/Q φ We regard Λ as a subring of Λ Λ via x x 1. Let ⊗ 7→ ⊗ ++ + + XI := Q XI kQ 0 (mod 2) XI . ∈ b| ≡ ⊂ Lemma 5.3. The q-expansion G[a] belongs to M(NC, ωj 2, Λ) (Λ Λ). φ − ⊗Λ ⊗ Proof. Let Z = (1+ T )(1 + X) 1 1 and write − − b b G(X,Z)= G[a](X, (1 + X)(1 + Z) 1). φ − If ζ µ ∞ (C) is a p-power root of unity, let α : A× C be the Hecke ∈ p ζ F → × character αζ (a) = N(a) X X=ζ 1. By Proposition 5.2, for any point Q ++ h i | − ∈ XI , we have + j 2 G(Q,ζ 1) = E (µQ,ζ,νQ,ζ ) H k (CN, ω − ξQ), − kQ/2 | ∈ M Q a−j a 1 2 − 2 1 − 2 where µQ,ζ = ωF αζ and νQ,ζ = ωF αζ− ξQ . This shows that j 2 G(X,ζ 1) M(NC, ω − , Λ) [ζ] − ∈ ⊗O O for every ζ µ ∞ (C ). We see that ∈ p p j 2 j 2 G M(NC, ω − , Λ) JZK = M(NC, ω − , Λ) (Λ Λ) ∈ ⊗O ⊗Λ ⊗ by [Hid93, Lemma 1 in page 328]. b b b RESTRICTION OF HILBERT-EISENSTEIN SERIES 35

In view of the above lemma, we can apply the ordinary projector e 1 to ⊗ G[a] and obtain an Λ-adic ordinary modular form eG[a] := (e 1)G[a] with φ φ ⊗ φ coefficients in Λ Λ. ⊗ Lemma 5.4. We have eG[a] eS(N, ωj 2, Λ) (Λ Λ). b φ ∈ − ⊗ ⊗ ++ Proof. Notation is as the above Lemma 5.3. For (Q,ζ) X µ ∞ (C) b b ∈ I × p as above, let µ = µ and ν = ν . Then G(Q,ζ 1) is the diagonal Q,ζ Q,ζ − restriction of the holomorphic Eisenstein series E+ (µ,ν). The adelic lift kQ/2 + of E (µ,ν) is given by EA(g,f ,s) k /2−1 with = (µ,ν,kQ/2, N, c). kQ/2 Q D |s= 2 D By (3.1), the constant term function of EA(g,f ,s) is given by fµ,ν,ΦD,s + D f b , and by (3.5) its values at g GL (A ) all vanish whenever g is µ,ν,ΦD,s ∈ 2 F p upper triangular. The lemma now follows from [HY20, Lemma 6.7]. Definition 5.5. Let f eS(N, ωj 2, I) be a primitive Hida family. The ∈ − p-adic twisted triple product L-series E[a] f is defined by L φ , G[a] I I E[a] f := the first Fourier coefficient of 1f (e φ ) ( Λ) I Frac . L φ , ∈ ⊗ ⊗ + [a] X By Remark 5.1, E f (Q, P ) is finite at every arithmetic pointb Q I and L φ , ∈ P Spec Λ(C ). ∈ p [a] Remark 5.6. If we replace the Eisenstein series Eφ by a Hida family of Hilbert cusp forms over F , then the above construction yields the twisted triple product p-adic L-functions constructed in [Ish17] and [BCF20]. 5.5. The interpolation formula. The weight space of critical points is defined by Xcrit := (Q, P ) X+ X+ k k , k k 0 (mod 2) . ∈ I × Λ | Q ≥ P Q ≡ P ≡ The purpose of this subsection is to give the precise formula of E[a] f (Q, P ). L φ , We begin with some notation. For an arithmetic point Q, denote by f Q◦ n the normalized newform of weight kQ and conductor NQ = Np Q corre- 2 sponding to f Q. Let f ◦ be the usual Petersson norm of f ◦ and k QkΓ0(NQ) Q let (f , Ad) C be the modified p-Euler factor for the adjoint motive Ep Q ∈ × associated with f Q defined in [Hsi21, (3.10)]. Define the modified period

kQ+1 2 Per†(f ) := ( 2√ 1) f ◦ p(f , Ad) C×. Q − − k QkΓ0(NQ) ·E Q ∈ Let ̺f : Q C be the unique unramified character with Q,p p× → × − 1 kQ a f 2 (5.3) ̺f Q,p(p)= (p, Q)p . j 2 Definition 5.7 (The test vector). Let eS(NC, ω − , I)[f] be the subspace of j 2 eS(NC, ω − , I) consisting of ordinary I-adic forms h such that th = λf (t)h 36 MING-LUNHSIEHANDSHUNSUKEYAMANA for all t T(NC,N). For each prime factor q of C, let αq(f), βq(f) be the roots∈ of the q-th Hecke polynomial { } 2 1 j H (x, f) := x a(q, f)x + q− ω (q) q . q − h iX We fix a choice of roots αq(f) q C . Enlarging the coefficient ring if { } | O necessary, we can assume α (f) I. Let f˘ be the unique Hida family in q ∈ eS(NC, ωj 2, I)[f] such that a(1, f˘) = 1 and U f˘ = α (f)f˘ for q C. − q q |

The following interpolation formula asserts that E[a] f essentially inter- L φ , χQ (Cpn) polates the values of the toric period integral B˘ (ς ) deﬁned in (4.2) at f Q n the special element ς(Cp ) in Deﬁnition 4.1.

1 1 Proposition 5.8. Let f(X, T ) := ∆ C − 2 ∆ 2 (Λ Λ) . For every h F iX h F iT ∈ ⊗ × (Q, P ) Xcrit, we have ∈ kQ b 2 ( 2)( Cδ√ 1) L(1,τF ) χQ (Cpn) [a] (Q, P )= − − − B (ς ) E ,f f˘ L φ q C ζq(1) · Q | k +1 L p k Q ,π ωa kP ǫ Q k 1 { } P 2 f Q − P ( √ 1) P − − ⊗ × − − Per†(f Q) 1 kQ + 1 − ζp(1) f(Q, P )c1 ωa kP γ kP , ̺f Q,p p− ǫP,p · 1 , × − 2 n n 2 ζF (2)ρp(p ) p p | |Qp − 1 kQ 2 where χ := φ ǫ− 2 ω 2 N and c is the constant Q · Q ◦ F/Q 1 − a−j j a j 2 2 c = 4( 1) 2 ω−p (C)ωp (∆ ) ε(0, φ ) Z× . 1 − F q ∈ (p) q c Y| ωa kP Here γ(s,µ) is the gamma factor of the character µ = ̺f Q,p p− ǫP,p.

Proof. We ﬁrst note that since the specialization f Q at Q is a p-stabilized newform of tame conductor N, by the multiplicity one for new and ordinary vectors, we have [a] (5.4) 1 Tr (e(G (Q, P ))) = [a] (Q, P ) f . f Q Nc/N φ E f Q L φ , · We put 1 k −j 1 − 1 Q a kP 2 − 2 2 2 2 ω = ǫQ ω and λ = ǫP ω .

kQ kP Put k1 = 2 and k2 = 2 . By Proposition 5.2, we have

1 k k + 2 1 θ 1 2 E (ω λ , λ− φ) if 2k > k , [a] − 2k2 k1 F F F 2 1 Eφ (Q, P )= − 1  k k 1 2 1 θ 2 1 E− (ω λ , λ− φ) if 2k k . − − k1 2k2+2 F F F 2 1  − ≤  RESTRICTION OF HILBERT-EISENSTEIN SERIES 37

Applying the argument in the proof of [Hid88a, Lemma 6.5(iv)], it is not diﬃcult to see that for a Hilbert modular form h over F of weight (k1, k2) and non-negative integers a, b,

e Hol (δa δb h) ) = e (θa θb h) , k1,σ1 k2,σ2 |H σ1 σ2 |H where δa δb is the Maass-Shimura diﬀerential operator and Hol is the k1,σ1 k2,σ2 holomorphic projection as in [Hid93, (8a), page 314]. It follows that

[a] [a] (5.5) eG (Q, P )= e(E (Q, P ) )= eHol(E† ), φ φ |H |H where

1 k1 k2 + 2 1 δ − E (ω λ , λ− φ) if 2k > k 2k2 k1 2k2 k1 F F F 2 1 (5.6) E† := − − 1  k2 k1 1 2 1 δ − − E− (ω λ , λ− φ) if 2k k . k1 2k2+2 k1 2k2+2 F F F 2 1  − − ≤ m m m r j k where δ = δ δ . Let f := f k (Np ,ǫQω − Q ) and let k k,σ1 k,σ2 Q ∈ S Q 0 r 1 k j ϕ = Φ(f ) (Np ,ω), ω = ǫ− ω Q− . f Q ∈AkQ Q

Let n be a suﬃciently large positive integer. Let and tn GL2(A) be the 0 J∞n ∈ n matrices introduced in (4.3). Let [ , ] : (Np ,ω) k (Np ,ω) C − − AkQ ×A Q → be the pairing deﬁned by

1 ϕ1, ϕ2 := ρ( tn)ϕ1 ω− , ϕ2 , h J∞ ⊗ i where , is the pairing deﬁned in §2.3. Pairing with the form ϕf on the adelic liftsh i on both sides of (5.4), we obtain that ⊗

[a] (Q, P ) ϕ , ϕ = ϕ , 1 Tr eΦ(Hol(E )) , E f f f f f Q CN/N † H L φ , · | n 1 where 1f (T(N, I)/℘ ) C End e (Np ,ω ) is the specialization Q ∈ Q ⊗ ⊂ SkQ − of 1f at Q. Since the Hecke operators T and U , the holomorphic { q}q∤Np p projection Hol and the trace map TrCN/N are self-adjoint operators with respect to the pairing [ , ] (cf. the proof of [Hsi21, Proposition 3.7]), we thus obtain − −

[a] H E f (Q, P ) ϕf , ϕf = [U0(CN) : U0(N)] ϕf ,Φ(E† ) . L φ , · · | On the other hand, according to (5.6) and Proposition 3.5, we have

Φ(E )= E (g,f ) 2k −k −1 , g GL (A), † H A ,s s= 2 1 2 | D | 2 ∈ where is the Eisenstein datum D 1 2 1 1 kQ = (ω λ , φ− λ− , , c, N). D F F F 2 38 MING-LUNHSIEHANDSHUNSUKEYAMANA

Therefore we see that

[f](Q, P ) ϕ , ϕ LE · f f 1 =[Γ (CN):Γ (N)] ρ( t )ϕ , E ( ,f ) ω 2k −k −1 0 0 n f A ,s − s= 2 1 · h J∞ − D ⊗ i| 2 − − =[Γ0(CN):Γ0(N)] Z (s, ρ( tn)ϕf ) s= 2k2 k1 1 . · D J∞ | 2 By [Hsi21, Lemma 3.6], we have

1 ϕf , ϕf = ρ( tn)ϕf ω− , ϕf h J∞ ⊗ i 1 ω 1α2 (pn) pn ζ (2) ζQ(2)− k 1 p− f Qp p = ( 2√ 1)− Q− Per†(f) | | . [SL2(Z):Γ0(N)] · − − · · ζp(1) Then we have the interpolation formula

[a] (Q, P )= Z (s, ρ( t )ϕ ) k −k /2−1 E ,f n f P Q L φ D J∞ |s= 2 k +1 ζQ(2)[SL (Z):Γ (CN)]( 2√ 1) Q ζ (1) 2 0 − − p 1 2 n n × Per†(f ) · ωp− ̺ (p ) p ζp(2) Q f | |Qp for any suﬃciently large positive n. From the above equation and the formula of Z (s, ρ( tn)ϕf ) in Theorem 4.8 with the fudge factors given by D J∞ −j+a−k k /2 P f = 4( 4√ 1)− Q ( 1) 2 , ∞ − − − k −k − 1 P Q kQ 1 1 a j kQ 2 2 2 2 f = ωp λ (∆ )∆ δ 2 = ∆ − (Q) ∆ 2 (P ) ωp (∆ ) δ 2 , ram p F F h F iX h F i · F · j 1 ε(0, φq) 1 ε(0, φq) kQ 2 − 2 − 2 2 fC = ωp (C) = C X (Q) ωp (C) C , ζq(1) h i · ζq(1) · q c q c Y| Y| we get the desired interpolation formula by noting that

f kQ (Q, P )c1 kQ 1 kP f framfC = ( √ 1Cδ) 2 ( 2√ 1)− − (√ 1)− . ∞ q C ζq(1) · − − · − − − | Q

6. p-adic L-functions attached to modular forms and real quadratic fields In [BD09], the authors construct square root p-adic L-functions associated with Hida families and real quadratic ﬁelds, interpolating the toric period integrals of elliptic cusp forms over real quadratic ﬁelds. The purpose of this section is to give a mild improvement of this construction and more general interpolation formulae. RESTRICTION OF HILBERT-EISENSTEIN SERIES 39

6.1. Preliminaries on modular symbols. We review the theory of classical modular symbols in the semi-adelic language. Let P := P1(Q) and D := Div0 P GL (Q). For each r P we denote by r its image 0 × 2 ∈ { } in the divisor group of P. Let γ GL2(Q) and u GL2(Q) act on D = ( r s , g ) Db by ∈ ∈ { } − { } f ∈ 0 b γDu := ( γ r γ s , γg u). { · } − { · } f For a ring R, let Ln(R) be the space of two-variable homogeneous polynomials of degree n with coeﬃcients in R. For P = P (X,Y ) Ln(R) and g GL (R), deﬁne ∈ ∈ 2 a b P (X,Y )= P (aX + bY, cX + dY ). c d

Let Ln∗ (R) = Hom R(Ln(R),R). Moreover, if R is a Zp-algebra, let GL2(Z) acts on L (R) by (ρ (u)ξ)(P ) = ξ(P u ). For an integer N and a Hecke n∗ n | p character χ modulo N valued in R, we denote by k(N, χ, R) the spaceb of p-adic modular symbols of weight k, level N andMS character χ, consisting of maps ξ : D0 Lk∗ 2(R) such that → − 1 1 ξ(γDu)= χ− (u) ρk 2(up− )ξ(D) · − + for γ GL2 (Q) and u U1(N). This space is known to be a finitely generated∈ R-module equipped∈ with the Hecke action. The Hecke operators T for q ∤ Np act on (N, χ, R) by the formula q MSk 1 0 q b (6.1) T ξ(D)= ξ D + ξ D . q 0 q 0 1 b Zq/qZq ∈ X Define the operator U for q N and q = p by the formula q | 6 q b (6.2) U ξ(D)= ξ D for q N. q 0 1 | b Zq/qZq ∈ X and the operator Up by p a p a Upξ(D)= ρk 2 ξ D . − 0 1 0 1 a Zp/pZp ∈ X n! The ordinary projector e := lim U is a convergent operator on k(N, χ, R). n p →∞ MS Choosing any element γ GL2(Q) with det γ < 0, we define an involution [c] on ξ (N,χ,A) ∈by ∈ MSk [c]ξ(D) := ξ(γ D). · This definition does not depend on the choice of such γ. We define

+ 1 + [c] 1 [c] ξ := ξ; ξ− := − ξ. 2 2 40 MING-LUNHSIEHANDSHUNSUKEYAMANA

6.2. Modular symbols associated with modular forms. To each classical cusp form f = f(z, g ) (N,χ), we associate a classical modular f ∈ Sk symbol ηf : D0 Lk∗ 2(C) deﬁned by → − s η ( r s , g )(P ) := f(z, g )P (z, 1)dz. f { } − { } f f Zr It is easy to see that for α GL+(Q) and u U (N), ∈ 2 ∈ 0 1 ηf (αDu)= ρk 2(α)ηf (D)χ− (u). −

The involution [c] acts on the classical modular symbol ηf by [c]ηf (D) = ρk 2(γ)ηf (γD), where γ GL2(Q) is any element with det γ < 0. By − ∈ definition, [c]η (D)= η (D), f − fρ 1 0 where fρ(z, g ) = f z, − g . On the other hand, the associated f − 0 1 f p-adic modular symbol ξ (N,χ, C ) is defined by f ∈ MSk p 1 (6.3) ξ (D)(P )= ι (η (D)(P g− )) for D = (d, g ) D . f p f | p f ∈ 0 If f is a U -eigenform with eigenvalue α Z , then ξ is also an eigenvector p ∈ p× f of Up with eigenvalue α. Following the discussion in [Kit94, p.95], for each D D we define the p-adic measure µ (D)(x) on Z by the rule ∈ 0 f p n n p a k 2 0 µf (D)(x)= α− ξf D (Y − ) for n Z≥ . n 0 1 ∈ Za+p Zp

Lemma 6.1. For any P Lk 2(Zp), ∈ − n n n p a p a P (x, 1)µf (D)(x)= α− ξf D P . n 0 1 0 1 Za+p Zp

Proof. This is [Kit94, Lemma 4.6]. We paraphrase the computation there in our semi-adelic formulation. Note that ξf has bounded denominators in A the sense that p ξf k(N,χ, Zp) for some A 0. Let 0 j k 2 be an integer. For· every∈ MSm > A + n, we have ≫ ≤ ≤ − pn a pn a α nξ D XjY k 2 j − f 0 1 − − 0 1 pm−n−1 pm a + pnc pm a + pnc =α m ξ D XjY k 2 j − f 0 1 − − 0 1 c=0 X m n m n j p a + p c k 2 m A α− (a + p c) ξ D (Y − ) (mod p − Z ). ≡ f 0 1 p c X RESTRICTION OF HILBERT-EISENSTEIN SERIES 41

Therefore, we ﬁnd that

j x µf (D)(x) n Za+p Zp pm−n−1 pm a + pnc = α m (a + pnc)jξ D (Y k 2) − f 0 1 − m c=0 X→∞ X pn a pn a =α nξ D XjY k 2 j . − f 0 1 − − 0 1

This shows the lemma.

6.3. Hida theory for modular symbols. We review the I-adic symbols developed in [Kit94] in the semi-adelic formulation. Let I be a normal and ﬁnite domain over Λ = JXK with X = [u] 1 and let N be a positive integer coprime to p. PutO − a b U (Np∞)= u U (N) u = , a Z×, b Z . 1 ∈ 1 p 0 1 ∈ p ∈ p

For each non-negative integer n, let ℘(n) be the principal ideal of I generated n by (u 2(1+X) 1)p 1. Define the Λ-adic Hecke character α : Q A − − − X ×\ × → Λ× by 2 α (z)= ε (z) ε (z) − , X h cyc iX h cyc i logp εcyc(z) where ε (z) = (1+ X) logp u is defined in (5.1). h cyc iX Definition 6.2. Define the space of I-adic modular symbols of tame level N by (N, I) := lim lim (Npm, α , I/℘(n)). MS MS2 X ←−n −→m In other words, (N, I) consists of functions Ξ : D0 I such that MS + → Ξ(γDu)=Ξ(D) for γ GL2 (Q) and u U1(Np∞); • 1 ∈ ∈ Ξ(Dz)= αX (z− ) Ξ(D) for z Q×; • Ξ is continuous in the· sense that∈ for any n, there exists r for which • n the function Ξ : D I/℘(n) factorsb through D /U (Nprn ). 0 → 0 1 The space (N, I) is an I-module equipped with the action of Hecke operators T MS and U as in (6.1) and (6.2), while the U -operator { q}q∤Np { q}q N p is defined by | p a U Ξ(D)= Ξ D . p 0 1 a Zp/pZp ∈ X For (d, pN) = 1 we define the level-raising operator V : (N, I) (Nd, I) d MS → MS 42 MING-LUNHSIEHANDSHUNSUKEYAMANA by

1 1 d− 0 (6.4) V Ξ(D)= d− Ξ D . d · 0 1 n! The ordinary projector e = lim U exists in EndI (N, I). The space n p MS e (N, I) consists of the ordinary→∞ I-adic modular symbols. We remark thatMSe (N, I) is nothing but MSord(I) = Hom (UM ord( ), I) deﬁned MS Λ O in [Kit94, §5.5]. The involution [c] on (N, I) is deﬁned by [c]Ξ(D) := Ξ(γD) for any γ GL (Q) with det γ

Theorem 6.3. The space e (N, I) is free of finite rank over I. MS We recall the I-adic measure associated with ordinary I-adic modular symbols. Let (Z , I) be the space of continuous I-valued functions on Z C p p and (Zp, I) := HomI( (Zp, I), I) be the space of I-adic measures on Zp. To eachD ordinary I-adic modularC symbol Ξ e (N, I), we associate a unique linear map D µ (D)(x) in Hom(D , ∈(ZMS, I)) such that 7→ Ξ 0 D p pm 1 − m m p a (6.5) P (x)µΞ(D)(x) := lim P (a)U− Ξ D I m p 0 1 ∈ Zp →∞ a=0 Z X for D D0 and P (Zp, I). It is straightforward to verify that the right hand∈ side is a p∈-adically C convergent Riemann sum valued in I. For a b P (Z , I) and u U (p) with u = , define ∈C p ∈ 0 p c d ax + b P u(x)= P α (cx + d). | cx + d X Lemma 6.4. Let P (Z , I). ∈C p (1) For m Z 0, ∈ ≥ pm 0 m − P (x)µΞ(D)(x)= P (p x)µU mΞ D (x). m p 0 1 Zp Zp ZZp (2) For u U (pN), we have ∈ 0 1 P (x)µ (Du)(x)= P u− (x)µ (D)(x). Ξ | Ξ ZZp ZZp Proof. The verification of part (1) is straightforward by (6.5). To see Part 1 0 a b (2), it suffices to show the equation for u of the form and . p c 1 0 d RESTRICTION OF HILBERT-EISENSTEIN SERIES 43

1 0 Let u = with c pZ . By deﬁnition, the left hand side equals p c 1 ∈ p pm 1 − m m 1 0 p a lim P (a)U− Ξ D m p c 1 0 1 →∞ a=0 X pm 1 − m 1 1 m p a(1 + ac)− (1 + ac)− 0 = lim P (a)U− Ξ D . m p 0 1 cpm 1+ ac →∞ a=0 X 1 Making change of variable a = z(1 cz)− , we ﬁnd that the last Riemann sum equals −

pm 1 − m 1 m p z 1 lim P (z(1 cz)− )U− Ξ D αX (1 cz)− m p 0 1 →∞ − − Xz=0 1 0 = P (x)µ (D)(x). c 1 Ξ ZZp −

a b The case for u = is similar. We omit the details. p 0 d + For an arithmetic point Q in XI , we denote by ℘Q the kernel of the specialization Q : I C . Put (Q) = I/℘ and r = max 1, c (ǫ ) . → p O Q Q { p Q } Here cp(ǫQ) is the exponent of the p-conductor of ǫQ. For any (Q)-algebra A, we put O ord r 2 k (A) := e (Np Q , ω − Q ǫ , A). MSQ MSkQ Q The following theorem is an integral version of the control theorem for I- adic modular symbols proved in [GS93, Theorem 5.13]. The result must be well-known to experts, but since we could not locate an exact statement in the literature, we provide some details for the sake of completeness. Theorem 6.5 (Control Theorem). For each arithmetic point Q, there is a Hecke-equivariant specialization isomorphism sp : e (N, I)/℘ ord( (Q)), Q MS Q ≃ MSQ O Ξ (mod ℘ ) sp (Ξ) := Ξ , Q 7→ Q Q where ΞQ is the p-adic modular symbol of weight kQ deﬁned by

ΞQ(D)(P )= Q P (x, 1)µΞ(D)(x) , P (X,Y ) Lk 2( (Q)). ∈ Q− O ZZp We call ΞQ the specialization of Ξ at Q.

Proof. First we note that ΞQ is a p-adic modular symbol of weight kQ and 2 k character ω − Q ǫQ by Lemma 6.4. It is straightforward to verify that the map sp is Hecke-equivariant, so Ξ belongs to ord( (Q)). We proceed Q Q MSQ O 44 MING-LUNHSIEHANDSHUNSUKEYAMANA to show spQ is an isomorphism. Let n = kQ 2, = (Q) and χQ = n n − O O αX (mod ℘Q)= εcycω− ǫQ. We have e (N, I)/℘ = lim lim e (Npr,χ , /pt). MS Q MS2 Q O ←−t −→r For any Z -module R, define ι : L (R) R, ι (ℓ) = ℓ(Y n). By [Kit94, p n n∗ → n Corollary 5.2], ιn induces a Hecke-equivariant isomorphism r n t t ι : e (Np ,ǫ ω− , /p ) e (Np,χ , /p ) n MSkQ Q O ≃ MS2 Q O for r t. Note that ι (Ξ (D))=Ξ (D)(Y n)= Q(Ξ(D)). We deduce that ≥ n Q Q spQ is indeed given by the isomorphism e (N, I)/℘ = lim lim e (Npr,χ , /pt) MS Q MS2 Q O ←−t −→r −1 ιn r n t r n lim lim e (Np ,ǫ ω− , /p )= e (Np Q ,ǫ ω− , ), ≃ MSkQ Q O MSkQ Q O ←−t −→r where the last equality is the base change property [Hid88b, Lemma 1.8 and Corollary 2.2] for ordinary p-adic modular symbols. 6.4. The distribution-valued modular symbols of Greenberg and Stevens. Let L be the set of primitive elements in Z Z , i.e. elements 0′ p × p in Zp Zp which are not divisible by p. We recall the connection of Λ- adic modular× symbols and modular symbols with valued in the space (L ) D 0′ of p-adic measures on L0′ described in [GS93, §5]. For each k Cp with ∈ k k p 1, let Qk Spec Λ(Cp) be the unique point with Qk([u]) = u | | ≤ F ∈ and let k be the set of homogeneous functions of degree k on L0′ , i.e. k continuous functions h : L0′ Zp such that h(ax, ay) = a h(x,y) for all a Z . Then to each Ξ e→ (N, Λ), we can associate ah modulari symbol ∈ p× ∈ MS µGS Hom (D , (L )) characterized by the property that we have Ξ ∈ U0(N) 0 D 0′ h(x,y)µGS(D)(x,y)= Q h(x, 1)µ (D)(x) ; × Ξ k Ξ Zp Z Zp Z × p Z GS 0 1 h(x,y)µ (D)(x,y)= Qk h(1, py)µ −1 D (y) × Ξ Up Ξ p 0 Z pZp Zp − Z p × Z − for any k Zp and h Fk 2. By a similar computation in Lemma 6.4, one ∈ ∈ − verifies that the map µGS is U (N)-invariant, namely for any u U (N) Ξ 0 ∈ 0 1 GS GS (6.6) h u− (x,y)µΞ (D)(x,y)= h(x,y)µΞ (Du)(x,y). L′ | L′ Z 0 Z 0 6.5. The Mazur-Kitagawa two variable p-adic L-functions. Let f ∈ eS(N, 1, I) be a primitive Hida family of tame conductor N and let λf : T(N, I) I be the corresponding homomorphism. For any integer C prime to N, let→e (NC, I) [f] be the space of I-adic ordinary modular symbols MS ± Ξ e (NC, I) such that t Ξ= λf (t)Ξ for all t T(NC,N). The space ∈ MS ± · ∈ e (N, I) [f] I Frac I has rank one over Frac I as f is primitive of tame MS ± ⊗ RESTRICTION OF HILBERT-EISENSTEIN SERIES 45 conductor N. For an arithmetic point Q, the space ord( (Q)) [f ] is MSQ O ± Q free of rank one over (Q). On the other hand, Shimura in [Shi77] proved ordO that 0 = ξ± (Cp)±[f Q]. Therefore, having fixed a basis β± of 6 f Q ∈ MSQ f Q ord ( (Q)), we can define the period Ωf± Cp× associated with the MSQ O Q ∈ p-stabilized newform f Q by

ξ± =Ω± β± . f Q f Q f Q Definition 6.6 (p-adic error terms). Let Ξ e (N, I)[f]. We define the ∈ MS plus/minus error terms Er±(Ξ ) C by the equation Q ∈ p Er±(ΞQ) ΞQ± = ξf± . Ω± · Q f Q To Ξ e (N, I)[f] and a finite order Hecke character χ with χ( 1) = ( 1)i, Kitagawa∈ MS in [Kit94, Theorem 1.1] associates the two-variable −p-adic L−-function L (Ξ,χ) I Λ satisfying the interpolation property: for every p ∈ ⊗ pair of arithmetic points (Q, P ) X+ X+ with k k , ∈ I × Λ Q ≥ P b p kQ+1 kP i L{ }(kP ,πf χω− ǫP ) L (Ξ( 1) ,χ)(Q, P ) =( √ 1)kP 1 − 2 Q ⊗ p − − ( 1)i − − · Ω − f Q 1 − i kQ + 1 kP ( 1) (6.7) γ k , ̺f χ ω− ǫ Er − (Ξ ), × P − 2 Q,p ⊗ p p P,p Q The L-functions associated with modular forms are related to the automorphic L-functions in the following way: k + 1 Q 1 kP L k ,πf χ = 2(2π) − Γ(k 1) L(k 1, f χ). P − 2 Q ⊗ P − · P − Q ⊗ 6.6. The square root p-adic L-function associated with a Hida family and a real quadratic field. We review the construction of the square roots of p-adic L-functions attached to Hida families and real quadratic fields in [BD09]. Let F+ be the group of totally positive elements in F and let + Cl ( ) := F F / × denote the narrow ring class group of conductor C. OC +\ × OC For t F ×, write [t] = F+t C× for the class represented by t. Let ǫC be a ∈ b b O generator of the unit group F+ C×. Let PΨ(X,Y ) = (X θY )(X θY ) b b ∩ O − − and δ = θ θ = √∆F . Define ϑX : Zp× Λ× by − b → 1 1 ϑ (x)= x 2 x − . X h iX h i 2 So ϑ = α × . Let φ be a finite order Hecke character of A× as in (5.2). X X Zp F | + b Equivalently, φ F × is an even/odd character of Cl ( C ), depending on the | j j O sign of φ (δ) = ( 1) 2 or the parity of . ∞ − 2 46 MING-LUNHSIEHANDSHUNSUKEYAMANA

Deﬁnition 6.7. Let Ξ e (NC, I)±[f]. For D D0, we deﬁne Ξ(D) I as follows: if p is split∈ inMSF , put ∈ L ∈

Ξ(D)= ϑX (x)µΞ(D)(x) I; L × ∈ ZZp if p is inert in F , put

(D)= ϑ (P (x, 1))µ (D)(x) LΞ X Ψ Ξ ZZp 1 0 1 + α− ϑ (P (1, px))µ D (x). f X Ψ − Ξ p 0 ZZp − Fixing any base point r P, we define the (square root) p-adic L-function ∈ Ξ±/F φ I for f/F by L ⊗ ∈ (C) ± ± Ξ /F φ := φ(t)ϑX (εcyc(N(t))) Ξ ( r Ψ(ǫC )r , Ψ(t)ςf ). L ⊗ ·L { } − { } [t] Cl+( ) ∈ XOC Note that the above definition does not depend on the choice of r and does not depend on the representatives [t] in Cl+( ). OC 6.7. The interpolation formulae. For an elliptic modular form f (Npr,ω 1) ∈ Sk − × and a finite order Hecke character χ of AF× with χ A = ω, writing ϕf := Φ(f) for the adelic lift of f, recall that in (4.2) we have| introduced the toric period integral given by

Bχ(g) := Bχ (g)= ϕ (Ψ(t)g)χ(t)dt. f ϕf × f A×F × A Z \ F Let f˘ eS(NC, 1, I)[f ] be the test vector in Definition 5.7. Then f˘ can be expressed∈ as f˘(q)= (1 β (f)V ) f, − q q · q C Y| where βq(f) is the fixed choice of roots of the Hecke polynomial Hq(x, f) of f at q. Let Ξ e (N, I)[f] and define ∈ MS Ξ˘ := (1 β (f)V ) Ξ e (NC, I)[f], − q q · ∈ MS q C Y| where Vd is the level-raising operator defined in (6.4). The next result shows ˘ that Ξ˘/F φ interpolates p-adically the toric period associated with f Q for L ⊗ Q X++. ∈ I RESTRICTION OF HILBERT-EISENSTEIN SERIES 47

1 k −2 ++ Q − 2 2 Proposition 6.8. For Q XI we set χQ := φ ǫQ ω NF/Q. Let j ∈ · ◦ = φ (δ) = ( 1) 2 . We have ± ∞ − χ n kQ B Q (ς(Cp )) 2 ˘ ( 2)( Cδ√ 1) L(1,τF ) f Q Ξ˘±/F φ(Q)= − − − Er±(ΞQ) L ⊗ q C ζq(1) · Ωf± · | Q Qζp(1) × kQ n n 2 ζFp (1)α p Q f Q | | p

(Cpn) for any sufficiently large n max cp(χQ), 1 , where ς GL2(A) is ≥ { } a f ∈ U the special element defined in Definition 4.1 and αf Q = (p, Q) is the p- eigenvalue of f Q. ˘ Proof. For simplicity, we write f = f Q and ϕ = Φ(f) and put

− 1 1 kQ 2 2 − 2 2 k = kQ, ω = ǫQ ω .

1 − 2 Then χQ = φωF . The first step is to work on the right hand side of the χQ (cpn) assertion, expressing the toric period integral Bf (ς ) as a finite sum of y 0 the values of the classical modular symbol η in §6.2. Let m(y)= f± 0 y 1 − for y R . For t F , define the partial period by ∈ × ∈ × b (Cpn) L[t](ϕ) := ϕ(ς m(y)Ψ(tu)ςf )χQ(u)d×y. Z ∞ R+/ǫ × × Z C [u] b / b ∈OXC OCpn

χQ (Cpn) Then we see that the toric period B˘ (ς ) equals f Q

(Cpn) ζFp (1) ϕ(Ψ(t)ς )χ (t)dt = vol( ×) χ (t)L (ϕ), × Q C n Q [t] A×F × A O p ζp(1) Z \ F [t] Cl+( ) ∈ XOC where vol( ×) is the volume of the image of × in Q F with respect to OC OC ×\ × the quotient measure dt/d×t explicitly given by ∞ b b b b 1 1 vol( ×)− = ∆ L(1,τ )#(Z/CZ)× = L(1,τ )δC (1 q− ). OC F F F − q C p Y| b By a direct computation, if z = ς m(y) √ 1= ς y2√ 1, then ∞ · − ∞ · − 2 1 J(ς m(y), √ 1)− = PΨ(z, 1) ( √ 1∆F )− , ∞ − · − − 48 MING-LUNHSIEHANDSHUNSUKEYAMANA

2 and dz = (2δ√ 1) J(ς m(y), √ 1)− d×y. It follows that − · ∞ − − 2−k k−2 k 2 1 n 2 L (ϕ) = (2√ 1)− ( √ 1∆ ) 2 δ 2 Cp N(t) [t] − − − F | |Qb Ψ(ǫC )r (Cpn) k−2 2 χQ(u) f(z, Ψ(tu)ςf )PΨ(z, 1) dz × r b× b · Z [u] / n ∈OXC OCp k−2 n k−2 2 (Cp ) 2 = ℓ1 N(t) A χQ(u)ηf ( r Ψ(ǫC )r , Ψ(tu)ςf )(PΨ ), · | | b× b× { } − { } [u] / ∈OXC OCpn where r can be chosen to be any point in P and − 2−k k 2 1 n 2 ℓ1 := (2√ 1)− ( Cδ√ 1) 2 p . − − − | |Qp For t F , we set ∈ × D := ( r Ψ(ǫ )r , Ψ(t)ς(C)) D . b t { } − { C } f ∈ 0 Putting

1 1 1 ζFp (1) ℓ2 := δ− L(1,τF )− C− ζq(1) n , · p ζp(1) q C Y| we have

χQ (Cpn) B˘ (ς )= ℓ2 χQ(t)L[t](ϕ) f Q [t] Cl+( ) ∈ XOC k−2 k−2 2 (n) 2 = ℓ1ℓ2 χQ(t) N(t) A χQ(u)ηf (Dtuςp )(PΨ ). + | | b× b× [t] Cl ( C ) [u] / ∈ XO ∈OXC OCpn On the other hand, if we replace the base point r by Ψ(δ)r, noting that N(δ) < 0, we obtain that

k−2 n χQ (Cp ) 2 B˘ (ς )=ℓ1ℓ2 χQ(tδf ) N(t) A f Q | | [t] Cl+( ) ∈ XOC − k−2 k 2 2 (n) 2 χQ(u)( 1) [c]ηf (Dtu ςp )(PΨ ), × b× b× − · [u] / ∈OXC OCpn where [c] is the involution on classical modular symbols. Since χQ(δf ) = − k 2 k+j 1 ( 1) 2 φ (δ) = ( 1) 2 − , we conclude that − ∞ − − n k 2 χQ (Cp ) 2 Bϕ (ς )=ℓ ℓ χ (t) N(t) 1 2 Q | |A [t] Cl+( ) ∈ XOC (6.8) j k−2 ( 1) 2 (n) 2 χQ(u)ηf− (Dtuςp )(PΨ ). × b× b× [u] / ∈OXC OCpn RESTRICTION OF HILBERT-EISENSTEIN SERIES 49

The second step is to work on the left hand side of the assertion

− k 2 k−2 2 2 L Ξ˘±/F (Q)= χQ(t) N(t) A N(tp) Ξ˘± (Dt)(Q). L b b× | | · [t] F × F ×/ ∈ X\ OC

± Er (ΞQ) Put ℧ = ± . In view of (6.8), we need to verify the following interpo- Q Ω fQ lation formula

n 2−k ˘± (Dt)(Q)=℧Qα− N(tp) 2 LΞ f Q − 1 k 2 (6.9) 2 + (n) 2 ω− (N(u))ηf (Dtuςp )(PΨ ), × b× b× [u] / ∈OXC OCpn

pn 1 0 1 where ς(n) = if p is split, and ς(n) = if p is inert. p 0− 1 p pn 0 − For d C, it is straightforward to verify that VdΞ± = ℧Q ξ± , and | Q · Vdf Q hence Ξ˘± = ℧ ξ±. It follows that for D = ( r s , g ) D and Q Q · f { } − { } f ∈ 0 P (X,Y ) Lk 2(Zp), we have ∈ Q−

Q P (x, 1)µΞ˘± (D)(x) n Za+p Zp n n n p a p a (6.10) =α− Ξ˘± D P by (6.5) f Q · Q 0 1 | 0 1 n n p a 1 =℧Q α− η± D (P gp− ) by (6.3). · f Q f 0 1 | Now we verify (6.9) in the case where p is split in F . By Deﬁnition 6.7, ± (D )(Q) equals LΞ˘ t

1 k−2 1 k−2 − 2 2 − 2 2 ωp (a)Q x µΞ˘± (Dt)(x) (Q(ϑX (x)) = ωp (x)x ) n n × a+p Zp a (Zp/p Zp) Z ∈ X 1 n − ℧Q p a k 2 1 1 = ω− 2 ( a)η D ((XY ) 2 ς Ψ(t )) n p f± t 0− 1 p− p− αf n × − · | Q a (Zp/p Zp) ∈ X

1 k−2 2 by (6.10). Then (6.9) follows from the equations ωp ( 1) = ( 1) 2 , and − −

1 1 tp 0 1 θ 1 (XY ) ςp− Ψ(tp− ) = (XY ) − = N(tp− ) PΨ(X,Y ). | | 0 tp 1 θ − · − 50 MING-LUNHSIEHANDSHUNSUKEYAMANA

In the inert case, ± (D )(Q) equals LΞ˘ t pn 1 − 1 k−2 2 2 ± ω− (N(a θ)) N(x θ) µΞ˘ (Dt)(x) n Q − a+p Zp − Xa=0 Z pn−1 1 − − 1 1 k 2 0 1 2 2 ± + αf− ω− (N(1 + paθ)) N(1 pxθ) µΞ˘ Dt (x) Q n−1 − Q p 0 a=0 Za+p Zp − X n p 1 − 2−k − 1 n k 2 ℧Q p a 2 =N(t ) 2 ω− 2 (N(a θ))η± D (P ) p αn − f t 0 1 Ψ f Q a=0 X pn−1 1 n 1 k−2 − 1 0 1 p − a + ω 2 (N(1 + paθ))η D (P 2 ) . − f± t p 0 0 1 Ψ a=0 X − We thus obtain (6.9) from the observations below pn a 0 1 U (pn)=Ψ(a θ) U (pn), 0 1 1 − pn 0 1 − 0 1 pn 1 a 0 1 − U (pn) =Ψ(1+ paθ) U (pn). p 0 0 1 1 pn 0 1 − − This veriﬁes (6.9) in both cases and ﬁnishes the proof.

7. Derivative of the twisted triple product p-adic L-function and Stark-Heegner points Factorization of . 7.1. E[a] f In this section, we show that the p-adic L- L φ , function E[a] f in Definition 5.5 can be essentially factorized into a product L φ , of the square root p-adic L-function Ξ˘−/F φ for f over F and the Mazur- + La ⊗ Kitagawa p-adic L-function Lp(Ξ , ω ). We will use an auxiliary p-adic Rankin-Selberg L-function in the proof, so we first recall that for a primitive Hida family g JJqK with some normal domain J finite over Λ, there exists an element ∈ f L (f g) (I J Λ) I Frac I p ⊗ ∈ ⊗ ⊗ ⊗ such that for each point (Q ,Q , P ) X+ X+ X+ with k < k k , 1 2 b Ib J Λ Q2 P Q1 we have the interpolation formula: ∈ × × ≤ Lf (f g)(Q ,Q , P ) p ⊗ 1 2 p kQ1 +kQ2 k L{ }(kP ,πf πg ω− P ) 1+k 2k 2 Q1 Q2 =(√ 1) Q2 − P − × ⊗ (7.1) − · Per†(f Q1 ) 1 kQ1 + kQ2 − γ kP , ̺f ,p πg ,p , × − 2 Q1 ⊗ Q2 RESTRICTION OF HILBERT-EISENSTEIN SERIES 51 where ̺f ,p : Q× C× is the unramified character defined by (5.3) and Q1 p → f γ(s, ̺f ,p πg ,p) is the gamma factor in §2.6.4. We call Lp (f g) the Q1 ⊗ Q2 ⊗ primitive Hida’s three-variable Rankin-Selberg p-adic L-function associated with f and g. Imprimitive three-variable p-adic L-functions (with some Euler factors removed) were first constructed by Hida in [Hid88a, Theorem I], and the primitive ones with the above form of the interpolation formula were proved in [CH20, Theorem 7.1] following the method in [Hid88a]. We first prove a preliminary result: Proposition 7.1. Let f eS(N, 1, I) be a primitive Hida family. For every ∈ Ξ e (N, I)[f] there is an element CΞ Frac I which is holomorphic at every∈ MS arithmetic point Q X+ with the value∈ ∈ I Per†(f Q) + CΞ(Q)= + Er (ΞQ)Er−(ΞQ). Ω Ω− · f Q f Q Proof. Choose a Dirichlet character χ with χ( 1) = 1 and an imaginary quadratic field K where p is split. Let χ :=−χ N− be a finite order K ◦ K/Q Hecke character of AK× . Let g denote a primitive Hida family such that the (p) weight one specialization gQ0 is a p-stabilized theta series θχK associated with χ . Define the two-variable p-adic L-function L (f χ ) by K p /K ⊗ K L (f χ ) := (1 Q 1) Lf (f g) I Λ. p /K ⊗ K ⊗ 0 ⊗ p ⊗ ∈ ⊗ Let X(2) be the set of arithmetic points of weight 2. For P X(2), define Λ ∈b Λ + Lp(Ξ−,χ)Lp(Ξ ,χτK/Q) CΞ,P := (1 P ) Frac(I (P )). ⊗ L (f χ ) ∈ ⊗O O p /K ⊗ K From the interpolation formulae (6.7) and (7.1), we see that

Per†(f Q) + CΞ,P (Q)= + Er (ΞQ)Er−(ΞQ) Ω Ω− · f Q f Q for all Q X+ with k > 2. Hence C is independent of the choice of ∈ I Q Ξ,P P and can be denoted as CΞ. Thanks to Rohrlich’s theorem [Roh84], for any arithmetic point Q X+ and P X(2), one can ﬁnd an odd Dirichlet ∈ I ∈ Λ character χ such that Lp(f /K χK)(Q, P ) = 0, which implies that CΞ is holomorphic at Q. ⊗ 6 Remark 7.2. If the residual Galois representation associated with f is absolutely irreducible and p-distinguished, then the Gorensteiness of the local component of the Hecke algebra T(N, I) corresponding to f is known thanks to the work of Wiles et al. ([Wil95, Corollary 2, page 482]). It follows that the I-module e (N, I) [f] is free of rank one by [Kit94, Lemma 5.11]. MS ± Choose a basis Ξ± in each space. It is determined up to multiple of I×. + Put Ξ=Ξ +Ξ−. Then p-adic error terms Er±(ΞQ) are p-adic units for all 52 MING-LUNHSIEHANDSHUNSUKEYAMANA

+ Q XI by [Kit94, Proposition 5.12], and CΞ is a generator of the congruence ideal∈ C(f) by a result of Hida [Hid88b, Theorem 0.1]. Now we are ready to prove the factorization.

+ Theorem 7.3. Let a be an even integer, φ : Cl ( C ) × an odd character of the exact conductor C, f eS(N, 1, I) aO primitive→ O Hida family of tame conductor N, and Ξ e (N,∈ I)[f]. Then we have ∈ MS + a C [a] = − L (Ξ , ω ) fc , Ξ E ,f Ξ˘ /F φ p 1 ·L φ L ⊗ · · where f (Λ Λ)× and the constant c1 Z(×p) are deﬁned in Proposition 5.8 with j =∈ 2. ⊗ ∈ b Proof. Propositions 5.8, 6.8, (5.3) and (6.7) immediately show that + Ω Ω− f(Q, P )c1 + a f Q f Q · [a] (Q, P )= − (Q)L (Ξ , ω )(Q, P ) , E ,f Ξ˘ /F φ p + L φ L ⊗ Per†(f Q)Er (ΞQ)Er−(ΞQ) which combined with Proposition 7.1 completes our proof.

The derivative of . 7.2. E[2] f We shall keep the notation in §6.4. Let L φ , E be an elliptic curve over Q of conductor pN. There exists a primitive Hida family f IJqK whose specialization f Q at some weight two point + ∈ Q XI is the elliptic newform f associated with E by the modularity theorem∈ [Wil95]. Here I is the local component of T(N, I) corresponding X X (to λf . Let = k Cp k p 1 . We write j : ֒ Spec Λ(Cp { ∈ | | |k ≤ } → for the map k (Qk : [x] x ). Let ℘2 be the kernel of Q2. Then we have I I =7→ Λ since f has7→ rational coeﬃcients. This implies that there ⊂ ℘Q ℘2 .(exists a neighborhood U around 2 X such that j : U ֒ Spec I(Cp Deﬁne an analytic function on U X∈ by → × U X E[a] f (k,s)= E[a] f (Qk,Qs), (k,s) . L φ , L φ , ∈ × Theorem 7.4. Suppose that p is inert in F and φ : Cl+( ) is an OF → O× odd narrow ideal class character, i.e. C = 1. Then E[a]f (2,s) = 0 and L φ

∂ [2] E ,f 2 α(E) s−1 L φ 1 1 mE2 (2,s +1) = (1 + φ(N)− wN ) logE Pφ Lp(E,s) ∆F 2 , ∂k 2 · cf h i where w 1 be the sign of the Fricke involution at N acting on f, • N ∈ {± } Pφ E(Fp) Q(φ) is the Stark-Heegner point in [Dar01, (182)], • L (∈E,s) is the⊗ Mazur-Tate-Titelbaum p-adic L-function for E, • p c Z>0 is the congruence number for f, m Q is the Manin • f ∈ E ∈ × constant for E and 2α(E) = [H (E(C), Z) : H (E(C), Z)+ H (E(C), Z) ]. 1 1 ⊕ 1 − RESTRICTION OF HILBERT-EISENSTEIN SERIES 53

Proof. For each Ξ e (N, Λ) A(U )[f] we put ∈ MS ⊗Λ U p(Ξ/F, φ, k)= Ξ−/F φ(Qk), k . L L ⊗ ∈ Shrinking U if necessary, we may assume that the function (Ξ/F, φ, k) is Lp analytic on U . Since πf is special at the inert prime p, it is well-known that the local root number of the base change BCF (πf ) φ is 1, and hence the φ ⊗ − toric period Bf must vanish by the dichotomy theorem of Saito and Tunnell (See [Sai93] and [Tun83]). Proposition 6.8 shows that (Ξ/F, φ, 2) = 0, and Lp so by Theorem 7.3, we have E[a] f (2,s) = 0 for all even a, and get L φ ,

∂ E[2] f L φ , d p C (2) (2,s +1) = L (Ξ/F, φ, 2) L (Ξ+, ω2)(2,s + 1) f(2,s + 1)c Ξ ∂k dk · p · 1 by Theorem 7.3.

Now we ﬁx the normalization of Ξ. The Λ℘2 -module

e (N, I)±[f] I I = (e (N, Λ)± Λ )[f] MS ⊗ ℘Q MS ⊗ ℘2 is free of rank one. Let Ξ± be the basis normalized so that the weight two ± ξ f √ 1 specialization ΞQ± = Ω± with the periods Ω± = (2π 1)− ΩE±, where ΩE± + − 1 are the plus/minus periods for E such that ΩE and (√ 1)− ΩE− are real and positive. By the inspection on the interpolation (6.7),− we see easily + 2 that the associated Mazur-Kitagawa p-adic L-function Lp(Ξ , ω )(2,s + 1) is the cyclotomic p-adic L-function 2Lp(E,s) for the elliptic curve E. This extra 2 comes from the factor 2 in the deﬁnition of the archimedean Γ-factor s ΓC(s) = 2(2π)− Γ(s). On the other hand, it is clear that f(2,s + 1)c1 = s−1 4 ∆ 2 with a = j = 2, and by the formulae in [Hid81, p.255], we have h F i 2 2 2 α(E) 2 1 + f = cf m− 2− − π− (√ 1)− Ω Ω−. k kΓ0(N) E − E E We thus obtain 3 2 Per (f) ( 2√ 1) f Γ (N) 8c C (2) = † = − − − k k 0 = f . Ξ + 2 1 + 2 α(E) Ω Ω ( 4π ) Ω Ω− m 2 − − − E E E Putting these together, we get the stated formula from the following lemma.

Lemma 7.5. Assumptions being as in Theorem 7.4, if Ξ is normalized as above, then we have d 1 Lp (Ξ/F, φ, 2) = (1 + φ(σ )w ) log P . dk 2 N N E φ

Proof. We will compute the derivative of p(Ξ/F, φ, k) at k = 2 for the GS L normalized Ξ above. Let µΞ− (x,y) be the p-adic measure on L0′ attached to 54 MING-LUNHSIEHANDSHUNSUKEYAMANA

Ξ− introduced in §6.4. By deﬁnition, we have the expression k−2 (Ξ/F, φ, k)= φ(t) ε (N(t)) 2 Lp h cyc i [t] Cl+( ) ∈ XOC k−2 2 GS (x θy)(x θy) µΞ− ( r Ψ(ǫ1)r , Ψ(t)ςf )(x,y). × L′ − − { } − { } Z 0

Here ǫ is the totally positive fundamental unit in × and ς is the finite part 1 OF f of ς GL (Q) defined in §4.1. Choosing a branch of the p-adic logarithm ∈ 2 log : F F , we obtain p× → p bd 1 (7.2) Lp (Ξ/F, φ, 2) = φ(t)(J [t]+ J [t]), dk 2 θ θ [t] Cl+( ) ∈ XOF where for τ C with τ Q , ∈ p 6∈ p GS Jτ [t] := log(x τy)µΞ− ( r Ψ(ǫ1)r , Ψ(t)ςf )(x,y). L′ − { } − { } Z 0 1 T(θ) (p) Let = − GL2(Q) ֒ GL2(Q). Write p and for its J 0 1 ∈ → J J 0 1 image in GL (Q ) and GL (Q(p)) respectivelyb and let τ = 2 p 2 N N 0 ∈ (p) 2 − GL2(Q ) be the Fricke involutionb at N. Since = 1 and ςp = 1, one verifies that J b ς = (p)ς = Ψ(σ )ς τ Jp JJ f J N f · N for an appropriate choice of a finite idele σ F such that (σ F )= N. N ∈ × NOF ∩ − We have (θ) = θ and L′ µΞ (D)(x,y) = 0 as f 2 is new at p. It follows J 0 b b from the U0(N)-invarianceR (6.6) that GS Jθ[t]= logp(x θy)µΞ− ( r Ψ(ǫ1)r , Ψ(t)ς p)(x,y) L′ − { } − { } J Z 0 (7.3) GS 1 = log(x θy)µΞ− ([c]( r Ψ(ǫ1− )r , Ψ(tσN)ςτN ))(x,y) L′ − { }− Z 0 = ( 1) ( 1) w J [tσ ǫ ]. − · − · N · θ N 1 With the fixed choice of periods Ω±, it is straightforward to deduce from [BD09, Corollary 2.6] that the p-adic logarithm of the Stark-Heegner point Pφ is given by

logE Pφ = φ(t)Jθ[t]. [t] Cl+( ) ∈ XOF d p We thus obtain the formula for dkL (Ξ/F, φ, 2) from (7.2) and (7.3). Remark 7.6. The same argument applies to more general ring class characters with split conductor (i.e. C = 1 is a product of primes split in F ), 6 RESTRICTION OF HILBERT-EISENSTEIN SERIES 55 but the formulae are more complicated due to the non-canonical choice of ˘ the test vector Ξ in the construction of Ξ˘−/F φ. L ⊗ References

[BCF20] Iván Blanco-Chacón and Michele Fornea, Twisted triple product p-adic L- functions and Hirzebruch-Zagier cycles, J. Inst. Math. Jussieu 19 (2020), no. 6, 1947–1992. MR 4166999 [BD09] Massimo Bertolini and Henri Darmon, The rationality of Stark-Heegner points over genus fields of real quadratic fields, Ann. of Math. (2) 170 (2009), no. 1, 343–370. MR 2521118 [Bum98] D. Bump, Automorphic forms and representations, first ed., Cambridge Studies in Advanced Mathematics 55, Cambridge University Press, 1998. [Cas73] W. Casselman, On some results of Atkin and Lehner, Mathematische Annalen 201 (1973), 301–314. [CH20] Shih-Yu Chen and Ming-Lun Hsieh, On primitive p-adic Rankin-Selberg L- functions, Development of Iwasawa theory - The Centennial of K. Iwasawa’s Birth, vol. 86, Adv. Stud. Pure Math., no. 11, 2020, pp. 195–242. [Dar01] Henri Darmon, Integration on Hp × H and arithmetic applications, Ann. of Math. (2) 154 (2001), no. 3, 589–639. MR 1884617 [DD06] Henri Darmon and Samit Dasgupta, Elliptic units for real quadratic fields, Ann. of Math. (2) 163 (2006), no. 1, 301–346. MR 2195136 [DPV21] Henri Darmon, Alice Pozzi, and Jan Vonk, Diagonal restrictions of p-adic Eisen- stein families, Math. Ann. 379 (2021), no. 1-2, 503–548. [GS93] R. Greenberg and G. Stevens, p-adic L-functions and p-adic periods of modular forms, Inventiones mathematiace 111 (1993), 407–447. [Hid81] Haruzo Hida, Congruence of cusp forms and special values of their zeta functions, Invent. Math. 63 (1981), no. 2, 225–261. MR 610538 [Hid88a] H. Hida, A p-adic measure attached to the zeta functions associated with two elliptic modular forms. II, Annales de l’institut Fourier 38 (1988), no. 3, 1–83. [Hid88b] , Modules of congruence of Hecke algebras and L-functions associated with cusp forms, American Journal of Mathematics 110 (1988), no. 2, 323–382. [Hid88c] , On p-adic Hecke algebras for GL(2) over totally real fields, Annals of Mathematics 128 (1988), 295–384. [Hid93] , Elementary Theory of L-functions and Eisenstein series, London Math- ematical Society Student Texts, vol. 26, Cambridge University Press, 1993. [Hsi21] Ming-Lun Hsieh, Hida families and p-adic triple product L-functions, American Journal of Mathematics 143 (2021), no. 2, 411–532. [HY20] M.-L. Hsieh and S. Yamana, Four variable p-adic triple product L-functions and the trivial zero conjecture, submitted. arXiv:1906.10474. [Ish17] Isao Ishikawa, On the construction of twisted triple product p-adic L-functions, 2017, Thesis (Ph.D.)–Kyoto University. [Jac72] H. Jacquet, Automorphic Forms on GL(2) II, Lecture Notes in Mathematics, vol. 278, Springer-Verlag, Berlin and New York, 1972. [JL70] H. Jacquet and R. Langlands, Automorphic forms on gl(2), Lecture Notes in Mathematics, vol. 114, Springer-Verlag, Berlin and New York, 1970. [Kit94] Koji Kitagawa, On standard p-adic L-functions of families of elliptic cusp forms, p-adic monodromy and the Birch and Swinnerton-Dyer conjecture (Boston, MA, 1991), Contemp. Math., vol. 165, Amer. Math. Soc., Providence, RI, 1994, pp. 81–110. MR 1279604 [KP19] Rodney Keaton and Ameya Pitale, Restrictions of Eisenstein series and Rankin- Selberg convolution, Doc. Math. 24 (2019), 1–45. MR 3935491 56 MING-LUNHSIEHANDSHUNSUKEYAMANA

[Roh84] David E. Rohrlich, On L-functions of elliptic curves and cyclotomic towers, Invent. Math. 75 (1984), no. 3, 409–423. MR 735333 [Sah16] Abhishek Saha, Large values of newforms on GL(2) with highly ramiﬁed central character, Int. Math. Res. Not. IMRN (2016), no. 13, 4103–4131. MR 3544630 [Sai93] H. Saito, On Tunnell’s formula for characters of GL(2), Compositio Math. 85 (1993), no. 1, 99–108. [Sch02] R. Schmidt, Some remarks on local newforms for GL(2), Journal of Ramanujan Mathematical Society 17 (2002), no. 2, 115–147. [Shi77] G. Shimura, On the periods of modular forms, Mathematische Annalen 229 (1977), 211–221. [Tun83] J. Tunnell, Local ǫ-factors and characters of GL(2), Amer. J. Math. 105 (1983), no. 6, 1277–1307. [Wil88] A. Wiles, On ordinary λ-adic representations associated to modular forms, In- ventiones mathematiace 94 (1988), no. 3, 529–573. [Wil95] , Modular elliptic curves and Fermat last theorem, Annals of Mathematics 141 (1995), no. 3, 443–551.

Institute of Mathematics, Academia Sinica and National Center for The- oretic Sciences, Taipei 10617, Taiwan Email address: [email protected]

Department of Mathematics, Graduate School of Science, Osaka City Uni- versity, 3-3-138 Sugimoto, Sumiyoshi-ku, Osaka 558-8585, Japan Email address: [email protected]