Arxiv:1603.05475V1 [Math.NT]

arXiv:1603.05475v1 [math.NT] 17 Mar 2016 hs rpriswr eie o h rusGL( pro groups local the for a verified essentially were is properties (BD) these while factors, normalizing scalar-valued itdt aaoi ugop frdciegroups reductive of subgroups parabolic to ciated rpristgte ml h ouino h ii utpiiypolmfo problem in sh multiplicity contained cer limit and lattices the defined of operators, of groups solution intertwining we the these imply [FL15], to together and Müller) properties pertaining Werner (BD) and with (TWN) (joint [FLM15] papers aeyfrinrfrso h rusGL( groups the of forms inner for namely NTEAAYI RPRISO NETIIGOPERATORS INTERTWINING OF PROPERTIES ANALYTIC THE ON .Inrfrso GL( of forms Inner 4. .Goa omlzn atr and factors normalizing Global 3. .Teecpinlgroup exceptional The groups 6. Classical 5. .Etmtsfrlgrtmcdrvtvsof derivatives logarithmic for Estimates 2. Introduction 1. References nti ae esuyteaayi rpriso h lblintertw global the of properties analytic the study we paper this In eodnmdato atal upre yagatfo h Miner the from grant a by supported partially author named Second Date hsppri eoe oetbihn rpry(W)i ubro o of number a in (TWN) property establishing to devoted is paper This ac 8 2016. 18, March : us-pi lsia rusadtersmltd rus h exceptio the groups; similitude their and groups classical quasi-split npriua,i sapial otelmtmlilct rbe tde ythe by studied problem Art multiplicity of limit side the spectral to the papers. applicable of earlier is analysis the it in particular, ingredient In key a is estimate n prtr o h olwn eutv rusoe ubrfields number over groups reductive following a the factors for normalizing global operators of ing derivatives logarithmic the of length) Abstract. epoieauiometmt o the for estimate uniform a provide We :GOA OMLZN FACTORS NORMALIZING GLOBAL I: oFedo hhd,frhsucmn 0hbirthday 70th upcoming his for Shahidi, Freydoon To n ) OISFNSADEE LAPID EREZ AND FINIS TOBIAS G G 2 ( F .Poet TN sagoa rprycnenn the concerning property global a is (TWN) Property ). 1. L Introduction Contents fntos18 -functions n 1 n SL( and ) L fntos3 -functions n G n SL( and ) L 1 vrnme fields number over nr oe n nevlo bounded of interval any (over -norm n ,frqaisltcasclgroups classical quasi-split for ), n aStiftung. va ). ne om fGL( of forms inner : scae ointertwin- to ssociated a group nal u’ rc formula. trace hur’s nn prtr asso- operators ining wdta hs two these that owed et.I [FLM15], In perty. F ogunesub- congruence r nteprevious the In . uhr in authors anproperties tain G 2 This . hrcases, ther n ); 27 24 35 34 1 2 TOBIAS FINIS AND EREZ LAPID

and their similitude groups, and for the exceptional group G2. In fact, we prove without any more effort a finer estimate (already mentioned in [FLM15]), which we call property (TWN+). In addition to the application to the limit multiplicity problem, this property may be useful in the study of other asymptotic questions, where it is important to control the dependence on the archimedean parameters. The main examples of such problems are Weyl’s law with remainder term and the asymptotics of Hecke operators in general families [LM09b, Mat13, MT15]. In any case, the results of this paper are sufficient to extend the limit multiplicity results of [FLM15, FL15] to inner forms of GL(n) and SL(n). This will be discussed in a future paper, where we will also study property (BD) for general groups G, and prove a weaker variant. This, together with the results of the current paper, will allow for an extension of the limit multiplicity results to quasi-split classical groups and their similitude groups and G2 (at least under a technical restriction on the congruence subgroups in question). We sketch the definition of property (TWN+), which is explained in more detail in §3 below. As usual, fix a minimal Levi subgroup M0 of G defined over F , and consider a proper Levi subgroup M of G containing M0 and a root α ∈ ΣM . Let Uα be the unipotent subgroup of G corresponding to α, Mα the group generated by M and U±α, and Mˆ α its F -simple normal subgroup generated by U±α. The group M˜ α = Mˆ α ∩ M is a maximal Levi subgroup of Mˆ α. For π ∈ Πdisc(M(A)) let nα(π,s) be the normalizing factor for the global intertwining operators associated to pairs of parabolic subgroups of G adjacent along α. These factors are meromorphic functions of finite order of the complex variable s and satisfy the functional equation |nα(π, it)| = 1 for all t ∈ R. We say that G satisfies property (TWN+) (tempered winding numbers, strong version) if we have the estimate T +1 ′ sc sc |nα(π, it)| dt ≪ log(|T | + Λ(π∞; p ) + level(π; p )) ZT for all π ∈ Πdisc(M(A)) and all real numbers T where the implied constant depends only on G. Here, level(π; psc) is a certain variant of the usual notion of the level of π restricted sc to M˜ α, and Λ(π∞; p ) measures the size of the infinitesimal character of the restriction of π∞ to M˜ α. (See §2.5 for the precise definitions.) We note that property (TWN+) implies property (TWN) introduced in [FLM15, Definition 5.2], and that property (TWN+) has been shown (as a consequence of the theory of Rankin-Selberg L-functions) for the groups GL(n) and SL(n) in [ibid., Proposition 5.5]. Our method of proving (TWN+) for the groups listed above, is to use functoriality to transfer the problem to a well-understood problem for GL(n). We start by an axiomatic treatment of automorphic L-functions in §2, which we then apply to the global normalizing factors in §3. In §4 we will show (TWN+) for inner forms of GL(n) and SL(n) using the Jacquet-Langlands correspondence (obtained in general in [Bad08], [BR10]), which allows us to reduce the problem to known properties of Rankin-Selberg L-functions. In §5, we will consider quasi-split classical groups. We first consider the twisted exterior and symmetric square L-functions for GL(n), as well as the Asai L-function for ResE/F GL(n), using known results obtained by the Langlands-Shahidi method and by the ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 3 study of integral representations. Using Arthur’s work on functoriality from the classical groups to GL(n) [Art13], extended by Mok to unitary groups [Mok15], we will be able once again to reduce the remaining L-functions to Rankin-Selberg L-functions for GL(n). Our approach is based on Arthur’s work, which requires the full force of the stable twisted trace formula. Among the prerequisites of Arthur’s results are [KS99b, She12, Ren97, DM08, LW13, Wal09, Wal08, Wal12, Wal14a, Wal14b, Wal14c, Wal14d, Wal14f, MW14a, Wal14g, Wal14h, Wal14e, MW14b], to mention a few. One may contemplate whether there is a different approach to the problem which avoids functoriality (and is perhaps applicable to other groups). Unfortunately, at the moment we cannot say anything in this direction. For the exceptional group G2, which we treat in §6, we need to consider the (twisted) symmetric cube L-function for GL(2) which was studied by Kim–Shahidi. 1.1. It is a pleasure to dedicate this paper to Freydoon Shahidi for his upcoming 70th birthday. Shahidi’s influence on the field on automorphic forms cannot be overestimated. Needless to say, the current paper also owes a lot to his work. On a personal level it has always been a pleasure to interact with Freydoon and we wish him the very best.

2. Estimates for logarithmic derivatives of L-functions We begin with an axiomatic treatment of automorphic L-functions which isolates the precise properties needed for the main estimate (see Proposition 2.6 below). 2.1. Let us first recall some generalities about L-functions. Let G be a reductive group over a number field F and let A be the ring of adeles of F . Let Afin be the ring of finite × adeles of F and F∞ = F ⊗ R. Let |·|A× be the idele norm on A . Let TG be the Q-split part of the (Zariski) connected component of the center of ResF/Q G (restriction of scalars) ◦ and let AG = TG(R) (topological connected component), viewed as a subgroup of TG(AQ) 1 (and hence of G(A)). Let G(A) ⊂ G(A) be the intersection of the kernels ker |χ|A× as χ ranges over the F -rational characters of G. Then G(A) is the direct product of G(A)1 and ∗ AG. Let aG be the Lie algebra of AG, a real vector space, and aG its dual space. We set ∗ ∗ aG,C = aG ⊗ C. We write Πdisc(G(A)) for the set of equivalence classes of automorphic representations 2 of G(A) which occur in the discrete spectrum of L (AGG(F )\G(A)). We will also write Πcusp(G(A)) for the subset of cuspidal representations. For any π = ⊗vπv ∈ Πdisc(G(A)) let S(π) be the finite set of places of F such that at least one of the following conditions holds: (1) v is archimedean. (2) F/Q is ramified at v. (3) G is ramified at v, i.e., either G is not quasi-split over Fv or G does not split over an unramified extension of Fv. (4) For every hyperspecial maximal compact subgroup Kv of G(Fv), πv does not have a nonzero vector invariant under Kv. (The exclusion of the finite places which are ramified for F is inessential and is only made for convenience.) We write S(π)= S∞ ∪ Sf (π), where S∞ denotes the set of archimedean 4 TOBIAS FINIS AND EREZ LAPID

places of F and Sf (π) denotes the non-archimedean places in S(π). Let SQ,f (π) (or simply SQ,f , if π is clear from the context) be the set of rational primes which lie below the primes in Sf (π). Also set SQ(π)= SQ,f (π) ∪ {∞}. L Let WF be the Weil group of F and let G be the L-group of G (cf. [Bor79]). Let r : L L G → GL(N, C) be a continuous and WF -semisimple N-dimensional representation of G. For any π ∈ Πdisc(G(A)) and any place v of F outside of S(π) we have the Hecke-Frobenius L parameter tπv ∈ G. To each such v we associate the polynomial Pv(X) = det(1−Xr(tπv )) −s −1 of degree N and the local L-factor Lv(s,π,r)= Pv(qv ) . Since π is unitary, the absolute α values of the eigenvalues of r(tπv ) are bounded by qv , where α depends only on G and r ([Lan70], [Bor79]). Therefore, for S ⊃ S(π) the partial L-function

S L (s,π,r)= Lv(s,π,r) vY∈ /S is well-deﬁned as an absolutely convergent product and holomorphic for Re s>α + 1. Because of the unitarity of π, we also have LS(s,π,r∨)= LS(¯s,π,r), where r∨ is the contragredient of r. A cornerstone of the Langlands program is the (largely conjectural) meromorphic continuation of these L-functions with ﬁnitely many poles in C. −s/2 −s As usual, we write ΓR(s) = π Γ(s/2) and ΓC(s) = 2(2π) Γ(s)=ΓR(s)ΓR(s + 1), where Γ(s) is the standard Gamma function.

Deﬁnition 2.1. We say that a pair (G,r) has property (FE), if for any π ∈ Πdisc(G(A)) ∗ there exist rational functions Rp, p ∈ SQ,f (π), an integer m ≥ 1, a constant C∞ ∈ C and ∨ ∨ S parameters α1,...,αm,α1 ,...,αm ∈ C, such that the partial L-function L (s,π,r) admits a meromorphic continuation to C with a functional equation of the form S(π) S(π) ∨ (1) L (s,π,r)= γp(s,π,r) L (1 − s,π,r ), p∈S (π) YQ or equivalently,

S(π) S(π) L (s,π,r)= γp(s,π,r) L (1 − s,π,r¯ ), p∈S (π) YQ −s where for each p ∈ SQ,f (π), γp(s,π,r)= Rp(p ), and m ∨ ΓR(1 − s + αi ) (2) γ∞(s,π,r)= C∞ . ΓR(s + α ) i=1 i Y In general, this property is wide open except for a number of important special cases, some of which will be considered below. 2.2. We first address the uniqueness of the terms in (1). This is of course standard. For completeness we give the details. Lemma 2.2. Assume that (1) is satisfied for some fixed r and π. Then ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 5

(1) The factors γp(s,π,r), p ∈ SQ(π) (and hence the rational functions Rp, p ∈ SQ,f (π)), are uniquely determined up to non-zero constant multiples. (2) The integer m is uniquely determined. (We call it the degree of γ∞.) (3) We have

(3) γp(s,π,r)γp(1 − s,π,r¯ )= const.

for all p ∈ SQ(π). ∨ ∨ (4) The parameters α1 ,...,αm are determined by α1,...,αm (up to permutation). (5) The expression m 1 ∨ 2 (1 + |αi − 1/2|)(1 + |αi − 1/2|) i=1 Y is uniquely determined. It is called the archimedean conductor and denoted by c∞(π,r) (cf. [IS00]). ∨ (6) We say that α1,...,αm are reduced, if αi +αj is not a negative odd integer for any 1 ≤ i, j ≤ m. We may choose the parameters α1,...,αm to be reduced. Moreover, in this case m −1 m ∨ (a) The zeros (resp., poles) of i=1 ΓR(s + αi) (resp., i=1 ΓR(1 − s + αi )) and γ∞(s,π,r), taken with multiplicities, coincide. Q ∨ ∨ Q (b) The multisets {α1,...,αm} and {α1 ,...,αm} are uniquely determined. (c) As a multiset we have ∨ ∨ (4) {α1 ,...,αm} = {α1,..., αm}. Proof. Suppose that we are given a function of the form m ∨ s ΓR(1 − s + αi ) −s φ(s)= CA R˜p(p ), ΓR(s + α ) i=1 i Y p∈SYQ,f (π) where C is a non-zero constant, A is a positive real number and for all p ∈ SQ,f (π), R˜p is a rational function with R˜p(0) = 1. Up to a finite multiset, the zeros of the first product are ≥0 −s given (with multiplicities) by −αi − 2Z , i = 1,...,m, while those of R˜p(p ) are given ˜ by s =(− log xp,i +2πiZ)/ log p, where xp,1,...,xp,dp are the zeros of Rp. Considering only the zeros with Im s sufficiently large, we see that the zeros of each rational function R˜p are determined by φ. Arguing similarly with the poles, we conclude that each R˜p is determined by φ. Furthermore, if we have an equality ′ m Γ (1 − s + α∨) m Γ (1 − s + β∨) (5) R i = CAs R i ΓR(s + α ) ΓR(s + β ) i=1 i i=1 i Y Y for some constants A > 0 and C, then an examination of the zeros and poles shows that ′ ∨ ∨ m = m, and that after possibly reindexing α1,...,αm and α1 ,...,αm we may assume ∨ ∨ that αi − βi,αi − βi ∈ 2Z for all i, in which case ΓR(s + αi)/ΓR(s + βi) and ΓR(1 − s + ∨ ∨ αi )/ΓR(1 − s + βi ) are rational functions in s. Thus A = 1. 6 TOBIAS FINIS AND EREZ LAPID

The first two parts follow. The third and fourth parts immediately follow from the first part. Moreover, by an easy argument (e.g., [Ser77]) the equality (5) holds if and only if A = 1, ′ ∨ ∨ m = m and after reindexing α1,...,αm and α1 ,...,αm if necessary, there exists 0 ≤ k ≤ m such that ∨ ∨ (1) αi + βi = αi + βi = 1 and αi − βi ∈ 2Z for all i =1,...,k, ∨ ∨ (2) αi = βi and αi = βi for i>k, and, (3) C =(−1)(α1−β1+···+αk−βk)/2. Part 5 follows. Suppose that α1,...,αm are not reduced, so that there exist indices i and j such that ∨ ∨ ∨ αi + αj = 1 − 2k for some positive integer k. We may then replace αi and αj by 1 − αj k and 1 − αi, respectively, and multiply C∞ by (−1) . We may repeat this process until α1,...,αm become reduced. The process must terminate after finitely many steps since ∨ i(αi + αi ) increases by 4k in each step. m ∨ Once α1,...,αm are reduced, the poles of i=1 ΓR(1 − s + αi ) are disjoint from those of Pm m −1 Γ (s+α ). Therefore, the zeros of Γ (s + α ) are precisely those of γ (s,π,r) i=1 R i i=1 QR i ∞ (including multiplicities). In particular, {α1,...,αm} is determined as a multiset, and Qhence (4) follows from (3). Q

Assume that (1) is satisﬁed for some ﬁxed r and π and take α1,...,αm to be reduced (hence uniquely determined). We set

m red L∞ (s,π,r)= ΓR(s + αi), i=1 Y so that

L∞(1 − s,π,r¯ ) γ∞(s,π,r)= c∞ L∞(s,π,r)

with c∞ = ±C∞. In this case the archimedean conductor simpliﬁes to m

(6) c∞(π,r)= (1 + |αi − 1/2|). i=1 Y For p ∈ SQ,f (π) it follows from (3) that we can write in a unique fashion

1 ( −s)ep(π,r) −s s−1 (7) γp(s,π,r)= cpp 2 Pp(p )/P¯p(p ),

∗ where cp ∈ C , ep(π,r) ∈ Z, and Pp is a polynomial with Pp(0) = 1 such that no zeros α −1 and β of Pp satisfy αβ¯ = p . Here P¯ is the polynomial obtained from P by taking complex conjugates of the coeﬃcients. The degree of Pp is the number of zeros (or, equivalently, × poles) of Rp in C (counted with multiplicities), and the integer ep(π,r) is the diﬀerence between the order of Rp at X = 0 and the degree of Pp. We have seen that ep(π,r) and Pp are uniquely determined by π and r. Analogously to the case p = ∞, the zeros of ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 7

−s Pp(p ) are precisely the zeros of γp(s,π,r). Although we expect that ep(π,r) ≥ 0, we do not impose this condition at the outset. We set

red −s −1 Lp (s,π,r)= Pp(p ) , p ∈ SQ,f (π), and deﬁne the reduced completed L-function

red red S(π) L (s,π,r)= Lp (s,π,r) L (s,π,r), p∈S (π) YQ and the reduced epsilon factor

1 1 red ( −s)ep(π,r) −s ǫ (s,π,r)= c∞ cpp 2 = n(π,r) 2 cp, p∈SYQ,f (π) p∈YSQ(π) where

ep(π,r) (8) n(π,r)= p ∈ Q>0 p∈SYQ,f (π) is the arithmetic, or finite, conductor. Thus, we can rewrite (1) as Lred(s,π,r)= ǫred(s,π,r)Lred(1 − s,π,r∨)= ǫred(s,π,r)Lred(1 − s,π,r¯ ). We denote by Lred,f (s,π,r)=( Lred(s,π,r))LS(π)(s,π,r) the “finite” part of Lred. p∈SQ,f (π) p Remark 2.3. In many cases thereQ is an alternative procedure to define a completed L- function

S(π) (9) L(s)= L˜p(s) L (s,π,r), p∈S (π) YQ red ˜ m˜ which may differ from L (s). Here L∞(s)= i=1 ΓR(s +˜αi) with some complex numbers α˜ , and L˜ (s) = P˜ (p−s)−1 for p ∈ S (π), where P˜ are some polynomials satisfying i p p Q,f Q p P˜p(0) = 1. (For brevity, we say that factors L˜p(s), p ∈ SQ(π), of this shape are Euler factors.) The advantage in working with Lred(s) is that it is uniquely determined by the partial L-function LS(π) (and hence by π and r). Of course, it is only defined if property (FE) is known a priori. red In any case, as a consequence of the minimality of the local factors Lp (s), p ∈ SQ(π), the reduced L-function Lred(s) satisfies the following minimality property. Suppose that a function L(s) as in (9) satisfies a functional equation of the form

1 L(s)= cR 2 −sL∨(1 − s) for some c ∈ C∗ and R> 0, where ∨ ˜∨ S(π) ∨ L (s)= Lp (s) L (s,π,r ), p∈S (π) YQ 8 TOBIAS FINIS AND EREZ LAPID

˜∨ for some Euler factors Lp (s), p ∈ SQ(π). Then for each p ∈ SQ,f (π), the polynomial ˜ ˜ red Pp is divisible by Pp and L∞(s)/L∞ (s,π,r) is a polynomial. In particular, the quotient Lred(s)/L(s) is an entire function. Moreover,

n(π,r) ˜ = pdeg Pp−deg Pp R p∈SYQ,f (π) is a positive integer. Consider for example the case of G = GL(n) with the standard representation r = Stn. GJ If π ∈ Πcusp(G(A)) then the completed L-function L (s, π, Stn) was defined and studied by Godement–Jacquet [GJ72]. The Jacquet-Shalika bounds on the local parameters of GJ generic representations imply that L (s, π, Stn) is reduced. On the other hand, for any m> 1 the L-function m m +1 LGJ(s + − j, π, St ), 2 n j=1 Y which is the completed L-function of a residual representation of GL(nm, A), is not reduced. 2.3. Our next task is to apply the standard argument of Riemann and von Mangoldt for estimating the number of zeros of an L-function (cf., e.g., [IK04, §5.3]). For our purposes we will need a weak form of this argument which works under the following supplementary conditions. Definition 2.4. We say that (G,r) satisfies property (FE+), if it satisfies property (FE) and if in addition the following holds. (1) There exists a polynomial P (s), whose degree is bounded in terms of (G,r) only, such that P (s)LS(π)(s,π,r) is an entire function of finite order. (2) The degrees of the polynomials Pp, p ∈ SQ,f , in (7), as well as the degree of the factor γ∞ are bounded in terms of (G,r) only. (3) There exists a real number β depending only on (G,r), such that the zeros of Pp, −β p ∈ SQ,f , have absolute value ≥ p and such that γ∞(s,π,r) has no zeros in the half-plane Re s > β (i.e., the reduced parameters αi satisfy Re αi ≥ −β).

We say that (G,r) has virtually property (FE+), if there exist representations r1 and r2 for which (G,ri) has property (FE+) and r ⊕ r1 = r2.

In practice, we will have deg γ∞ = N[F : Q] ≥ deg Pp for all p ∈ SQ,f (π). However, we do not demand it at the outset. The most elusive condition in property (FE+) is in fact the first one — the boundedness of the number of poles of LS(s,π,r) independently of π. Remark 2.5. It is clear that (G,r) satisfies (FE+) if and only if the same is true for (G,r∨). An analogous remark is applicable for all subsequent properties defined below. We can now state the desired estimate. Recall the archimedean and arithmetic conductors defined in (6) and (8), respectively. Here and throughout we write A ≪ B ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 9 to mean that A is bounded by a constant multiple of B. The implied constant is allowed to depend only on the pair (G,r).

Proposition 2.6. Suppose that (G,r) satisﬁes property (FE+). Then for any π ∈ Πdisc(G(A)) the meromorphic function m(s,π,r)= ǫred(1,π,r)Lred(s,π,r)/Lred(s +1,π,r) satisﬁes |m(it,π,r)| =1 for t ∈ R and T +1 ′ |m (it,π,r)| dt ≪ log(|T | + 2) + log c∞(π,r) + log(n(π,r) p), T ∈ R. T Z p∈SYQ,f (π) Proof. Although the argument is familiar, we will provide the details, since our assumptions are somewhat weaker than usual. Let Λ(s,π,r)= n(π,r)s/2Lred(s,π,r). Then 1 (10) Λ(s,π,r)= ǫred( ,π,r)Λ(1 − s,π,r). 2 Note that m(s,π,r) = Λ(s,π,r)/Λ(−s,π,r) and hence m(s,π,r) is holomorphic on the imaginary axis and has absolute value one there. Moreover, m′(it,π,r) Λ′(it,π,r) = 2Re , t ∈ R. m(it,π,r) Λ(it,π,r) The function Λ(s) = Λ(s,π,r) is a quotient of holomorphic functions of order one, and hence a meromorphic function of order one. For instance, the argument of [GL06, Proposition 1] shows that there exist positive constants c1, c2, c3, depending also on π, such that S(π) max(c2,−c3 Re(s)) P (s)L (s,π,r) ≤ c1(1 + |s|) , s ∈ C. Therefore Λ(s) admits a Hadamard factorization

Λ(s)= ea+bssn(0) [(1 − s/ρ)es/ρ]n(ρ), Yρ6=0 where a, b ∈ C, the product ranges over the zeros and poles of Λ(s) other than 0, and n(ρ) is the order of the function Λ(s) at s = ρ (possibly negative). Also, |n(ρ)| < ∞ |ρ|1+ǫ Xρ6=0 for all ǫ> 0. Thus, Λ′(s) n(0) 1 1 = b + + n(ρ) + , Λ(s) s s − ρ ρ Xρ6=0 and hence Λ′(s) n(ρ) n(ρ) Re = Re + Re b + Re , Λ(s) s − ρ ρ ρ X Xρ6=0 10 TOBIAS FINIS AND EREZ LAPID

where the series of ρ are absolutely convergent because of n(ρ) n(ρ) |Re ρ| n(ρ) Re = ≪ < ∞. ρ |ρ|2 |ρ|2 ρ6=0 ρ6=0 ρ6=0 X X X

Taking the logarithmic derivative of the functional equation (10), we also get Λ′(s) n(ρ) n(ρ) − Re = Re + Re b + Re . Λ(s) 1 − s − ρ ρ ρ X Xρ6=0 n(ρ) Since n(ρ)= n(1 − ρ), we conclude that Re b + ρ6=0 Re ρ = 0, and therefore Λ′(s) 1 P Re(s − ρ) Re = n(ρ) Re = n(ρ) . Λ(s) s − ρ 2 ρ ρ |s − ρ| X X By the second and third condition of Definition 2.4, there exist an integer m ≥ 1 and a constant A ≥ 2, depending only on G and r, such that for all primes p the Euler factor at p red −s −1 A−2 of L (s,π,r) is a product of at most m factors (1 − αp,ip ) with |αp,i| ≤ p for all p and i, and such that the poles of the factor at infinity L∞ lie in the half-plane Re s ≤ A−2. (In fact, we may take A = max(α, β) + 2.) Therefore, the Euler product Lred,f (s,π,r) is absolutely convergent for Re s > A − 1, and because of the condition on L∞ and the functional equation (10), all zeros and poles ρ of Λ(s) lie in the strip 2 − A ≤ Re s ≤ A − 1. By definition, we have Λ′(s) 1 (Lred,f )′(s,π,r) L′ (s,π,r) n ∞ = log (π,r)+ red,f + . Λ(s) 2 L (s,π,r) L∞(s,π,r) The absolute convergence of the Euler product for Re s > A − 1 implies that (Lred,f )′(s,π,r) ζ′(s − A + 2) ≤ −m Lred,f (s,π,r) ζ(s − A + 2)

in this half-plane. Using the fact that Γ′(s )/Γ(s) = log s + O(1/ |s|) for Re s ≥ 1, we get that Λ′(s) Λ′(s) 1 1 m Re ≤ ≤ log n(π,r)+ log c (π,r)+ log |s| + c Λ(s) Λ(s) 2 2 ∞ 2

for Re s ≥ A , where c depends only on G and r. Taking Re s = A, we conclude that A − Re ρ 1 1 m n(ρ) ≤ log n(π,r)+ log c (π,r)+ log(1 + |T |)+ c. 2 2 2 ∞ 2 ρ |A + iT − ρ| X On the other hand, because of the first condition of Definition 2.4, up to finitely many exceptions the poles of Λ(s) can only arise from the poles of the Euler factors Lp(s,π,r)= −s 2 −1 Pp(p ), p ∈ SQ,f (π). Therefore, using the identity n∈Z(1+(n/x) ) = πx coth(πx), we have A − Re ρ mP 1+ p−1 |n(ρ)| ≤ c + log p, |A + iT − ρ|2 2 1 − p−1 ρ:nX(ρ)<0 p∈SXQ,f (π) ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 11 where c again depends only on r. Hence |n(ρ)| (11) ≪ log n(π,r)+ log p + log c (π,r) + log(1 + |T |)+1, 1+(T − Im ρ)2 ∞ ρ X p∈SXQ,f (π) and in particular

(12) |n(ρ)|≪ log n(π,r)+ log p + log c∞(π,r) + log(1 + |T |)+1. ρ:|ImXρ−T |<2 p∈SXQ,f (π) ′ T +1 ′ T +1 Λ (it) We can now estimate T |m (it,π,r)| dt =2 T Re Λ(it) dt by writing ′ R Λ (it) R Re ρ Re = n(ρ) , Λ(it) 2 ρ |it − ρ| X and splitting the sum into two parts according to whether |Im ρ − T | ≥ 2 or |Im ρ − T | < 2. For the ﬁrst sum we have Re ρ |n(ρ)| n(ρ) ≤ 2A |it − ρ|2 1+(T − Im ρ)2 ρ:|Im ρ−T |≥2 ρ:|Im ρ−T |≥2 X X for any t ∈ [T, T +1] and we use (11). For the second sum we use the fact that for ρ = β+iγ with β =6 0 we have T +1 |Re ρ| T +1 |β| (T +1−γ)/|β| 1 dt = dt = dt < π. |it − ρ|2 β2 +(t − γ)2 1+ t2 ZT ZT Z(T −γ)/|β| Thus, T +1 Re ρ n(ρ) dt ≤ π |n(ρ)| , |it − ρ|2 ZT ρ:|Im ρ−T |<2 ρ:|Im ρ−T |<2 X X which is bounded by (12). All in all we get the required estimate.

Remark 2.7. It is clear that in Proposition 2.6 it is in fact sufficient to require that (G,r) has virtually property (FE+). Similarly, it suffices to know that the number of poles of LS(π)(s,π,r) is ≪ log c (π,r) + log(n(π,r) p). ∞ p∈SQ,f (π) In order to make the connection to asymptoticQ problems, we need to control n(π,r) (resp., c∞(π,r)) in terms of the level of π (resp., the size of the infinitesimal character of π∞). Fix once and for all a faithful F -rational representation ρ : G → GL(V ) and an oF -lattice Λ in the representation space V . The stabilizer of Λˆ = ôF ⊗ Λ ⊂ Afin ⊗ V in G(Afin) is an open compact subgroup Kfin, and any maximal compact subgroup of G(Afin) can be realized this way. For any non-zero ideal n of oF let

K(n)= KG(n)= {g ∈ G(Afin): ρ(g)v ≡ v (mod nΛ)ˆ , v ∈ Λˆ} be the principal congruence subgroup of level n, a factorizable normal open subgroup of Kfin. The groups K(n) form a neighborhood base of the identity element in G(Afin). We 12 TOBIAS FINIS AND EREZ LAPID

denote by N(n) = [oF : n] the ideal norm of n. We define the level of an admissible representation π of G(A) by level(π)=N(n), where n is the largest ideal such that πK(n) =6 0. Analogously, for any finite place v of F we define the level levelv(πv) of a smooth representation πv of G(Fv). Thus, level(π) = v levelv(πv) where v ranges over the finite places of F and almost all of the factors are 1. Note that there exists an integer n, Q depending only on G, such that for any π ∈ Πdisc(G(A)) we have:

(13) p divides level(π) for any rational prime p ∈ SQ,f (π) coprime to n.

We fix a maximal compact subgroup K∞ of G(F∞) and set K = K∞Kfin. Fix a Cartan subalgebra hC of the complexified Lie algebra (g∞)C of G(F∞) and a ∗ Euclidean norm k·kC on hC which is invariant under the Weyl group W ((g∞)C, hC). For any (smooth) non-zero representation π of G(F∞), which has an infinitesimal character χπ, we define 2 Λ(π)=1+ kχπk , ∗ where we view χπ as an orbit in hC under W ((g∞)C, hC). Remark 2.8. In [FLM15, §5.1] the slightly different invariant

′ 2 2 Λ (π)=1+ λπ + minkτk is used (and denoted there by Λ(π)), where λπ is the eigenvalue of the Casimir operator of G(F∞), τ ranges over the K∞-types of π and the norm kτk is the one deﬁned by Vogan (cf. [CD84, §2.2]). By a standard argument (cf. [Vog81, §6.5–6.6]), there exist constants c1,c2 > 0, depending only on G, such that ′ 2 ′ c1Λ (π) < Λ(π) 0 (depending only on G and r), such that (14) n(π,r) ≪ level(π)c and

c (15) c∞(π,r) ≪ Λ(π∞) for all π ∈ Πdisc(G(A)). Condition (CC) is certainly expected to hold in general (cf. [BAPS13]), although it is not clear whether, strictly speaking, its non-archimedean part (14) formally follows from Langlands’s principle of functoriality or the local Langlands conjecture for G. For the archimedean part (15) see Remark 2.10 below. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 13

2.4. The standard paradigm for proving (FE) (e.g., through the Langlands-Shahidi method • or an integral representation, cf. [GS88]) goes by deﬁning local factors γv (s,π,r), that satisfy certain properties, most importantly

S • S ∨ (FE’) L (s,π,r)= γv (s,π,r) L (1 − s,π,r ) v∈S Y for any ﬁnite set S ⊃ S(π). (In each particular case the superscript • will be replaced • by an appropriate acronym.) The local factors γv (s,π,r) normally depend on a choice of a character ψv of Fv. We will suppress this choice by taking ψF = ψQ ◦ TrF/Q where 2πi· ψQ = p ψQp is the standard character of Q\AQ (characterized by ψR = e ) and writing

ψF = ⊗ψv, i.e., ψv = ψFv = ψQp ◦ TrFv/Qp , if v lies above p. If we want to emphasize that • Q • γv (s,π,r) depends only on πv (as it is in the usual paradigm) we will write it as γv (s, πv,r). However, we will not make it a part of our requirements. This ﬂexibility will be useful in sections 4 and 5, where we will use functoriality to study analytic properties of L-functions. • In addition to (FE’) we will impose the following conditions on γv (s,π,r) (which for simplicity we denote by (ΓF)). Here, n is a positive integer and β a real number which depend only on (G,r). (In practice n = N = deg r.) • −s (1) For every ﬁnite v, the function γv (s,π,r) is a rational function in qv , and

• ∨ • • Lv(1 − s,π,r ) (16) γv (s,π,r)= ǫv(s,π,r) • , Lv(s,π,r)

where, denoting by ∆v the ideal norm of the diﬀerent of Fv (i.e., the conductor of ψv as above),

• 1 1 • ev(π,r)( 2 −s) N( 2 −s) • −s −1 • ∨ −s −1 ǫv(s,π,r)= cvqv ∆v , Lv(s,π,r)= Pv(qv ) , Lv(s,π,r )= Qv(qv )

• for some ev(π,r) ∈ Z and polynomials Pv and Qv of degree ≤ n satisfying Pv(0) = Qv(0) = 1. (2) For v ∈ S∞ we have

mv ∨ ΓF (1 − s + α ) (17) γ•(s,π,r)= c v v,i v v Γ (s + α ) i=1 Fv v,i Y ∗ ∨ ∨ for some cv ∈ C , αv,1,...,αv,mv ,αv,1,...,αv,mv ∈ C, where mv ≤ n. • (3) For all v ∈ S(π), the function γv (s,π,r) has no zeros for Re s > β. Let us make a few comments about these conditions. • First, as before, we do not impose that ev(π,r) ≥ 0 for v ∈ Sf (π) (although in practice −1 −1 this will always be the case). Also, for v finite we allow Pv(X) and Qv(qv X ) to have • • common zeros. Thus, ev(π,r) does not depend only on the function γv (s,π,r) itself. How- ever, this ambiguity is immaterial for our purpose since different presentations (16) give • rise to values of ev(π,r) which differ by an integer of absolute value ≤ n. 14 TOBIAS FINIS AND EREZ LAPID

Similarly, for v ∈ S∞ we allow the numerator and denominator in the expression (17) to have common poles. We set

mv 1 • ∨ 2 cv(π,r)= (1 + |αv,i − 1/2|)(1 + αv,i − 1/2 ) . i=1 Y • • As in the proof of Lemma 2.2, cv(π,r) depends only on the factor γv (s,π,r) and not on ∨ ∨ the choice of αv,1,...,αv,mv ,αv,1,...,αv,mv . (In practice we always have mv = N.) Note that the functional equation (FE’) implies that for all v∈ / S(π) we have ∨ • Lv(1 − s, πv,r ) γv (s,π,r)= . Lv(s, πv,r) Finally, it implies (FE) with

• γp(s,π,r)= γv (s,π,r) v∈SY(π):v|p for each p ∈ SQ(π), and the second and third conditions of property (FE+) are satisﬁed. Regarding condition (CC), by Remark 2.3 the quotient n(π,r) • qev(π,r) v∈Sf (π) v is a positive integer which divides pn[F :Q]. Therefore, by (13) the non-archimedean p∈SQQ,f (π) part of condition (CC) is implied by the condition Q • (CC’) ev(π,r) ≪ 1 + logqv levelv(πv), v ∈ Sf (π). • • Note that this property (in contrast to the value of ev(π,r) itself) depends only on γv (s,π,r). The archimedean part of condition (CC) is implied by the condition • c (AF) cv(π,r) ≪ Λ(πv) , v ∈ S∞, where c depends only on (G,r). Remark 2.10. In many cases one knows that the archimedean factors are compatible with the Langlands classiﬁcation in the following sense. For v ∈ S∞, let Wv be the Weil group L of Fv and let φv : Wv → G be the Langlands parameter attached to πv. Then • ∨ (CL) γv (s,π,r)= γv(s,r ◦ φv, ψv) := ǫv(s,r ◦ φv, ψv)Lv(1 − s,r ◦ φv)/Lv(s,r ◦ φv), where the L- and ǫ-factors on the right-hand side are as in [Tat79, §3]. It is easy to see that condition (CL) for all v ∈ S∞ implies (AF) (with c = N/2). We sum up the discussion as follows.

Corollary 2.11. For a given pair (G,r), suppose that for all π ∈ Πdisc(G(A)) the following conditions are satisﬁed. (1) There exists a polynomial P (s), whose degree is bounded in terms of (G,r) only, such that P (s)LS(π)(s,π,r) extends to an entire function of ﬁnite order. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 15

• (2) There exist local factors γv (s,π,r) (for all places v of F ) satisfying (FE’), (ΓF), (AF) and (CC’). Then (G,r) satisfies properties (FE+) and (CC). The following observation will be useful. Lemma 2.12. Suppose that for all triplets (M,π,r′), where M is a Levi subgroup of G defined over F (including G itself), π ∈ Πcusp(M(A)) is a cuspidal representation of M(A), ′ and r is an irreducible constituent of r LM , conditions (1) and (2) of Corollary 2.11 are satisfied (with M instead of G and r′ instead of r). Then (G,r) satisfies properties (FE+) and (CC). ∗ Proof. Let π ∈ Πdisc(G(A)). Then there exist σ ∈ Πcusp(M(A)) and λ ∈ aM,C such that π is a subquotient of the representation I(σ, λ) parabolically induced from the twist of σ by the character of M(A)/M(A)1 determined by λ [BJ79, Supplement]. We have S(σ) ⊂ S(π), 2 level(σ) ≪ level(π) and Λ(σ∞)+ kλk ≪ Λ(π∞). Also, by the unitarity of π, kRe λk is k bounded in terms of G only. Decompose r LM = ⊕i=1ri according to the central character, and let β∨ be the element of a corresponding to the central character of r . Then i M i k S(π) S(π) ∨ L (s,π,r)= L (s + hλ, βi i ,σ,ri). i=1 Y We take k • • ∨ γv (s,π,r)= γv (s + hλ, βi i ,σ,ri). i=1 Y Then properties (1) and (2) for (G,π,r) immediately follow from the corresponding properties of (M,σ,ri), i =1,...,k (cf. Remark 2.3). 2.5. At this stage it will be useful to introduce a slight refinement of the notion of level. For the rest of this section let G′ be a closed connected normal subgroup of G and p : H → G′ a finite covering of G′ (with H connected), both defined over F . Note that p(H(F )) is a normal subgroup of G′(F ) and that G′(F )/p(H(F )) is an abelian group of finite exponent (bounded by the size of the kernel of p), and similarly for p(H(A)) ⊂ G′(A). For any π ∈ Πdisc(G(A)) we write level(π; p) = N(n), where n is the largest ideal such that πK(n)∩p(H(A)) =6 0. (Note that the same notion was considered in [FLM15, §5.1], where the notation level(π; p(H(A))) was used.) Analogously, we define levelv(πv; p) for a smooth representation πv of G(Fv). We also set G′ (18) Λ(π ; p)=Λ (π ′ ), ∞ ∞ G (F∞) ′ where on the right-hand side Λ is taken with respect to G . Alternatively, Λ(π∞; p) = 2 ′ ∗ 1+ kχπ∞;pk , where χπ∞;p is the projection of χπ∞ to (hC ∩ Lie(G (F∞))C) .

Lemma 2.13. There exists an integer N1, depending only on p and G, such that for ′ ′ any π ∈ Πdisc(G(A)) there exists σ ∈ Πdisc(G (A)) and a character χ of G (A) trivial on 16 TOBIAS FINIS AND EREZ LAPID

′ G (F )p(H(A)) such that level(σ) divides N1 level(π; p) and σχ is a subrepresentation of G′ π G′(A). In particular, Λ (σ)=Λ(π∞; p). Proof. We first reduce the lemma to the case G′ = G. Namely, we show that there exists ′ an integer N2, depending only on G and G , such that for any π ∈ Πdisc(G(A)) there exists ′ a subrepresentation σ ∈ Πdisc(G (A)) of π|G′(A) with level(σ; p) dividing N2 level(π; p). ′ ′ ′ Let C be the centralizer of G in G. Then CG = G, and therefore G (F∞)C(F∞) has finite index in G(F∞). Since the maximal compact subgroup K∞ meets every connected ′ component of G(F∞), we have G(F∞)= G (F∞)C(F∞)K∞. Combining this fact with the well-known finiteness of the class number of G [PR94, Theorem 8.1], we see that the coset space ′ X = G(F )\G(A)/G (A)C(F∞)K

is ﬁnite. Fix a set of representatives {g1,...,gr} for the classes of X. ′ ′ Let π ∈ Πdisc(G(A)). Note that since CG = G, G(A)/C(A)G (A) is compact, and

therefore, the restriction π G′(A) decomposes into a direct sum of irreducible representations. A Let φ be an automorphic form on G( ) in the isotypic space of π, which is right-invariant under the group K(n) ∩ p( H(Aﬁn)). Then there exist i =1,...,r, k ∈ KM and c ∈ C(F∞), ˜ ′ ′ ˜ such that the function φ := φ(·cgik) does not vanish on G (F )\G (A). The function φ is K n −1 A ˜ clearly invariant under gi ( )gi ∩ p(H( ﬁn)). Decomposing the span of φ G′(A) under ′ A ′ A G ( ) into irreducibles, we obtain an irreducible subrepresentation σ ∈ Πdisc (G ( )) of π|G′(A) such that level(σ; p) divides N2 level(π; p), where the integer N2 depends on G only, as required. So assume from now on that G′ = G. It remains to show that there exists an integer N3, depending only on p, such that for any σ ∈ Πdisc(G(A)) there exists a character × −1 χ : G(A)/G(F )p(H(A)) → C such that level(σχ ) divides N3 level(σ; p). Recall from [FLM15, Lemma 5.1] that −1 levelv(σv; p) = min levelv(σvχv ), χv

where χv ranges over the characters of G(Fv)/p(H(Fv)). Since G(Fv)/p(H(Fv)) is finite for all v, it suffices to show the following assertion. There exists a finite set S0 of finite places of F , depending on p only, such that for any finite set S of finite places of F outside S0 and a family of charactersχ ˜v of G(Fv)/p(H(Fv)) for v ∈ S, there exists a global character × −1 χ : G(A)/G(F )p(H(A)) → C , unramified outside S ∪ S0, such that χvχ˜v is unramified for all v ∈ S. (We use the fact that levelv(πvχv) ≪ levelv(πv) for any character χv of G(Fv)/p(H(Fv)), v ∈ S0.) For convenience we write K˜ = G(F∞)Kfin. We first show that the group (G(F ) ∩ p(H(A))K˜ )/p(H(F )) is finitely generated. Indeed, choose representatives x1,...,xk for the finite double coset −1 space H(F )\H(A)/p (K˜ ), and let yi = p(xi). Then G(F ) ∩ p(H(A))K˜ is the union over i =1,...,k of

G(F ) ∩ p(H(F ))yiK˜ = p(H(F ))(G(F ) ∩ yiK˜ ). ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 17

˜ ˜ ˜ −1 If δi ∈ G(F ) ∩ yiK, then G(F ) ∩ yiK = (G(F ) ∩ δiKδi )δi, which is a coset of a finitely generated group. Our claim follows. Let Γ be the image of G(F ) ∩ p(H(A))K˜ in G(Afin)/p(H(Afin)). Since the latter is abelian of finite exponent, Γ is necessarily finite, and therefore projects injectively into

G(FS0 )/p(H(FS0 )) for a suitable finite set S0 depending only on p. It is therefore possible ˜ ˜ to extend the character v∈S χ˜v of KS to a character of K/(G(F )p(H(A)) ∩ K), which is trivial on Kv for any v∈ / S ∪ S0. Extending this character to G(A)/G(F )p(H(A)) we obtain the desired χ. Q The last assertion of the lemma is clear, since χ is trivial on the connected component of the identity of G(F∞). The following observation will also be useful. Lemma 2.14. Assume that G′ contains the derived group of G and let Lι : LG → LG′ be the corresponding homomorphism of L-groups. Let r′ be a representation of LG′ and let r = r′ ◦ Lι. Assume that (G,r) satisfies (FE+) and (CC). Then (G′,r′) satisfies (FE+) and (CC). We first need the following standard result. Lemma 2.15. Let T be a torus over F . Then there exists a compact subset C of the D 1 Pontryagin dual T (F∞) = Hom(T (F∞), C ) of T (F∞), such that for any character χ of T (A) there exists a character χ˜ of T (F )\T (A) such that χχ˜ −1 is unramified at all finite −1 places and χ˜∞χ∞ ∈ C. 1 1 1 Proof. Indeed, let T (F∞) = T (F∞) ∩ T (A) . Then X := T (F )T (F∞) v finite T (Ov) is a 1 1 closed subgroup of finite index of T (A) and the group Γ := T (F ) ∩ T (F∞) v finite T (Ov) 1 Q 1 D is a lattice in T (F∞) . Therefore, there exists a compact subset C of (T (F∞) ) , such that its image under the restriction map Q 1 D D (T (F∞) ) → Γ 1 is onto. Thus, there exists a characterχ ˜ of X, trivial on T (F ), whose restriction to T (F∞) 1 is in χ∞C and whose restriction to v finite T (Ov) is χ. Extendingχ ˜ arbitrarily to T (A) and settingχ ˜|A = χ|A , we obtain the assertion. T T Q ′ ′ Proof of Lemma 2.14. We show that for any given π ∈ Πdisc(G (A)) we can find π ∈ A ′ ′ Πdisc(G( )) such that π is a subrepresentation of π G′(A), level(π) ≪ level(π ) and Λ(π∞) ≪ ′ A ′ Λ(π∞). By [HS12, Theorem 4.13, Remark 4.23] there exists π ∈ Πdisc(G( )) such that π ′ occurs in π G′(A). Let T = G/G . As in the proof of [FLM15, Lemma 5.1] we have ′ ′ levelv(πv) ≥ minωv levelv(πv ⊗ ωv), where ωv ranges over the characters of G(Fv)/G (Fv), ′ ′ and similarly for Λ(π∞). Since the map G(Fv)/G (Fv) → T (Fv) is injective, we can vary over the characters of T (Fv) instead. Hence the claim follows from Lemma 2.15. ′ ′ S(π) S(π) ′ ′ Finally, since π occurs in π G′(A) we have S(π ) ⊂ S(π) and L (s,π,r)= L (s, π ,r ). It is now easy to conclude the assertion of the lemma from Remark 2.3.

18 TOBIAS FINIS AND EREZ LAPID

3. Global normalizing factors and L-functions In this section we consider the global normalizing factors associated to intertwining operators. We switch therefore to a slightly different setting. Let G be an isotropic reductive group defined over F , and M a proper Levi subgroup of G containing a fixed maximal F -split torus T0. As usual, we let P(M) be the set of all parabolic subgroups of G, defined over F , with Levi subgroup M. For any P ∈ P(M) with unipotent radical NP let 1 2 − 2 A (P ) be the space of automorphic forms ϕ on NP (A)M(F )\G(A) such that δP ϕ(·k) ∈ 2 Ldisc(AM M(F )\M(A)) for all k ∈ K, where δP denotes the modulus function of P (A). For each pair P, Q ∈ P(M) there is a global intertwining operator 2 2 MQ|P (λ): A (P ) →A (Q), ∗ which has meromorphic continuation in λ ∈ aM,C [Art82, §1]. ∗ Let ΣM ⊂ aM be the set of reduced roots of TM on the Lie algebra of G, and for any P ∈ P(M) let ΣP ⊂ ΣM be the set of reduced roots of TM on the Lie algebra nP of NP . We say that two parabolic subgroups P, Q ∈ P(M) are adjacent along α ∈ ΣM , and write α P | Q, if ΣP ∩ −ΣQ = {α}. The study of the operators MQ|P (λ) reduces to this case. Let π ∈ Πdisc(M(A)). We are interested in the corresponding normalizing factors nα(π,s) introduced by Langlands and Arthur (see [Art82, §6], [Art89]). They are meromorphic functions of a complex variable s, and are closely connected to certain automorphic L- functions studied by Langlands and Shahidi. (As the notation suggests, nα depends only α on α and not on the choice of parabolic subgroups P | Q. The precise definition of nα and its relation to the intertwining operators MQ|P (λ) is described in [ibid.]. We will not need it here.) L To describe the relevant representations of the L-group M, let Uα be the unipotent subgroup of G corresponding to α (so that the eigenvalues of TM on the Lie algebra of Uα are positive integer multiples of α). Let Mα be the group generated by M and U±α. It is a Levi subgroup of G defined over F containing M as a co-rank one Levi subgroup. Let der Mˆ α be the subgroup of Mα ∩ G generated by U±α. By [BT65, Proposition 4.11] Mˆ α is a connected normal subgroup of Mα defined over F . Hence M˜ α := M ∩ Mˆ α is a normal subgroup of M. Moreover, since M has co-rank one in Mα, precisely one simple root β of Mα restricts to α, which implies that the root system of Mˆ α is the irreducible component of the root system of Mα containing β. The group Mˆ α is therefore F -simple, and M˜α is a Levi ˜ ˆ sc subgroup of co-rank one. (In particular, Mα is connected.) Let Mα be the simply connected ˆ sc ˆ sc ˆ cover of Mα, and p : Mα → Mα the natural projection. By abuse of notation we write ˜ sc sc −1 ˜ ˜ sc sc ˜ sc ˜ Mα =(p ) (Mα). (Of course Mα is not semisimple.) We denote by p : Mα → Mα the sc ˜ sc sc ˜ sc sc ˆ sc ˜ restriction of p tofMα . We note that p (Mα (A)) = p (Mα (A)) ∩ Mα(A). L L L L The L-group Mα of Mα admits a parabolic subgroup Pα = M ⋉ Uα corresponding L L to α whose Levif part M is the L-group of M. Thef representation of M relevant for the theory of intertwining operators is (the contragredient of) the adjoint representation L L of M on Lie( Uα). We have a sequence of homomorphisms of reductive groups ˆ sc ։ ˆ ,Mα − Mα ֒−→ Mα ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 19 which restricts to ˜ sc ։ ˜ .Mα − Mα ֒−→ M The dual sequences of homomorphisms of L-groups are L L ˆ L ˆ sc L ˆ ad Mα −→ Mα −→ (Mα )=( Mα) and L L ˜ L ˜ sc L ˜ L ˆ M −→ Mα −→ (Mα )= Mα/Z( Mα), L L respectively. The adjoint action of M on Lie( Uα) clearly factors through the composed L homomorphism. We decompose the contragredient of the adjoint representation of M˜ α L l on Lie( Uα) as ⊕j=1rj, where the (irreducible) subrepresentation rj is the eigenspace of weight −j of the fundamental weight corresponding to α, considered as a cocharacter of L L the center of M˜ α/Z( Mˆα). S The normalizing factor nα(π,s) is closely related to the L-functions L (js,π,rj), j = 1,...,l, which emerged in the famous computation by Langlands of the constant term of the corresponding Eisenstein series [Lan71]. Langlands used this to show the meromorphic continuation of these L-functions to the entire complex plane (at least in the cuspidal case, but the general case follows from the cuspidal case as in the argument of Lemma 2.12). These L-functions are also known to have finite order as meromorphic functions. In the cuspidal case this is [GL06, Theorem 2], which is based on the results of Müller [Mül89, Mül00]. The general case follows once again from the argument of Lemma 2.12. S However, the finer analytic properties of L (s,π,rj), such as properties (FE+) and (CC) considered in this paper, are more elusive (cf. Remark 3.7 below). We now summarize the pertinent properties of the normalizing factors nα(π,s). The first one is the functional equation

nα(π,s)nα(π, −s¯)=1, which is equivalent to

|nα(π, it)| =1, t ∈ R. The second is a factorization

nα(π,s)= nα,v(π,s) v Y as an absolutely convergent product for Re s suﬃciently large. The local factors nα,v(π,s) are assumed to satisfy the following properties. −s (1) For all ﬁnite v, nα,v(π,s) is a rational function in X = qv , whose degree is bounded in terms of G only and which is regular and non-zero at X = 0. (2) If v ∈ S∞, then Nv ΓR(jis + αi) nα,v(π,s)= cv , ΓR(j s + α + 1) i=1 i i Y where cv =6 0, α1,...,αNv ∈ C and the integers Nv ≥ 1 and ji ≥ 1, i = 1,...,Nv, are bounded in terms of G only. 20 TOBIAS FINIS AND EREZ LAPID

sc (3) Write π = ⊗πv. If v is finite, M˜ α is unramified at v and the pull-back πv ◦ p of πv ˜ sc to Mα (Fv) contains an unramified subrepresentation σv, then l L (js,σ ,r ) (19) n (π,s)= v v j . α,v L (js +1, σ ,r ) j=1 v v j Y Remark 3.1. The first and second property are clear from [Art89] (and moreover nα,v(π,s) sc depends only on πv, or in fact on πv ◦ p – cf. [CL14, Theorem 3.3.4]). For v ∈ S∞, by [Art89, §3] we have in fact l L (js,r ◦ φ ) n (π ,s)= v j v , α,v v L (js +1,r ◦ φ ) j=1 v j v Y L where φv : Wv → M is the Langlands parameter associated to πv. However, we will only need the qualitative property stated above. The third property is implicit in [Art89]. We omit the details.

Remark 3.2. We can rewrite the assumption on πv in (3) in an equivalent way by saying that πv|M˜ α(Fv ) contains an irreducible subrepresentation of the form σvχv, where σv is an ˜ ˜ sc ˜ sc unramified representation of Mα(Fv) and χv is a character of Mα(Fv)/p (Mα (Fv)). We now introduce the property (TWN+), which is the main object of this paper. Definition 3.3. The group G satisfies property (TWN+) (tempered winding numbers, strong version) if, for any proper Levi subgroup M of G defined over F , and any root α ∈ ΣM we have the estimate T +1 ′ sc sc |nα(π, it)| dt ≪ log(|T | + Λ(π∞; p ) + level(π; p )) ZT for all π ∈ Πdisc(M(A)) and all real numbers T . sc sc Recall that the invariants Λ(π∞; p ) and level(π; p ) are defined in §2.5. (Of course, the ambient group is M in our case.) As explained in [FLM15, Remark 5.3, part 2], this property implies property (TWN) for G formulated in [ibid., Definition 5.2], which is relevant to the limit multiplicity problem. In view of the description of the unramified factors of nα(π,s), it is no wonder that the property (TWN+) is intimately related to analytic properties of the automorphic L- S functions L (s,π,rj). In the special cases G = GL(n) and G = SL(n) this was spelled out in [ibid., Proposition 5.5]. Here, we will analyze it in the general case. Definition 3.4. We say that G satisfies property (L), if for any standard Levi subgroup ∨ L M, any α ∈ ΣM , and any irreducible constituent r = rj of the representation (Ad Uα ) of L the group M˜ α, the pair (M˜ α,r) satisfies properties (FE+) and (CC). Remark 3.5. It is clear from the definition that property (L) depends only on the derived group of G. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 21

Remark 3.6. We expect that every group satisfies property (L). Using [GS01, Proposition 3.1], it is possible to reduce this question to the constituent r1. Remark 3.7. Suppose that G is quasi-split and that π is a generic cuspidal representation of M(A). (If M is isogenous to a product of general linear groups, then this condition is satisfied for all cuspidal representations π.) By the results of Shahidi, the meromorphic function LS(π)(s,π,r) satisfies then a functional equation of the form (1). Moreover, local Sh factors γv (s, πv,r) are defined and satisfy (FE’), (ΓF) and (CL) [Sha90]. Shahidi’s work also gives that under some mild assumptions which are known in almost all cases (see [KK11] and the references therein), these L-functions admit finitely many poles and are of order one (see [GS01], with some complements in [GL06]). However, the poles are controlled by those of the corresponding Eisenstein series in the right-half plane, and in general it is not clear how to bound the number of the latter in terms of G only. (This is known in several cases and is expected to hold in general.) Therefore, even granted the reduction to the generic case, without additional input we cannot conclude from Shahidi’s work by itself that r has property (FE+). In addition, it is not clear how to approach property (CC’) using the Langlands-Shahidi method (although it is certainly not excluded that this is possible). In the cases at hand we will supplement the information from Shahidi’s work by using integral representations of Rankin–Selberg type, which give better control of the poles of (at least) the partial L-functions as well as of the local γ-factors. We now have the following implication. Proposition 3.8. Suppose that G satisfies property (L). Then it satisfies property (TWN+). This result essentially follows from Proposition 2.6. We first need a simple lemma to account for the ramified local factors. Lemma 3.9. Let P be a polynomial of degree d and let f(s)= P (p−s). Then T +1 f ′(it) Re dt ≤ d(π + log p) f(it) ZT Γ (s+α) for all T ∈ R. Similarly let f(s)= R for some α ∈ C. Then ΓR(s+1+α) T +1 f ′(it) Re dt ≪ 1 f(it) ZT

for all T ∈ R.

Proof. For the ﬁrst part, it is enough to consider the case P (z)=1 − αz with α ∈ C. (The left-hand side vanishes for P (z) = z.) Absorbing the argument of α into T , we may also assume without loss of generality that α ∈ R. Note that then 1 1 1 |1 − α2| log p Re − dt = log p dt 1 − αp−it 2 2 1+ α2 − 2α cos(t log p) Z Z 1+ α t log p = arctan( tan( )) + C, 1 − α 2

22 TOBIAS FINIS AND EREZ LAPID

and hence, since the integrand is periodic with period 2π/ log p, T +1 1 1 1 log p Re − dt ≤ π + log p. 1 − αp−it 2 2 ZT

Thus,

T +1 f ′(it) T +1 αp−it Re dt = log p Re dt ≤ π + log p. f(it) 1 − αp−it ZT ZT

For the second part we can assume once again that α ∈ R . Note that

Γ′ (z) Γ′ (z + 1) ∞ 1 1 ∞ 1 R − R = − = . ΓR(z) ΓR(z + 1) z +2k +1 z +2k (z +2k)(z +2k + 1) k=0 k=0 X X Thus, Γ′ (α + it) Γ′ (α + it + 1) R − R = A + B, ΓR(α + it) ΓR(α + it + 1) 1 1 where upon writing α = n + δ with n ∈ Z and − 2 < δ ≤ 2 , we have

n+1 (−1) if α< 1 , A = δ+it 2 (0 otherwise, and 1 1 |B| ≤ n + |δ + it +(−1) | −n |α + it +2k||α + it +2k +1| k≥0,kX6=⌊ 2 ⌋ 1 1 ≤ n + ≪ 1. |δ +(−1) | −n |α +2k||α +2k +1| k6=X⌊ 2 ⌋ It remains to note that T +1 1 T +1 dt Re dt = |δ| < π. δ + it δ2 + t2 ZT ZT

Proof of Proposition 3.8. Assume that G satisﬁes property (L), and let M, α, and π ∈

sc ˜ sc ˜ Πdisc(M(A)) be given. We apply Lemma 2.13 with respect to p : Mα → Mα ⊳ M. Let σ ∈ Πdisc(M˜ α(A)) and χ be as in that lemma. Then by Remark 3.2 we have

l LS(σ)(js,σ,r ) (20) n (π,s)= j . α,v LS(σ)(js +1,σ,r ) j=1 j v∈ /YS(σ) Y As in §2.2 deﬁne

l ǫred(1,σ,r )Lred(js,σ,r ) (21) m(σ, s)= j j . Lred(js +1,σ,r ) j=1 j Y ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 23

By Proposition 2.6 we have |m(σ, it)| = 1 for all t ∈ R, and T +1 ′ |m (σ, it)| dt ≪ log(|T | +2)+ [log n(σ, rj) + log c∞(σ, rj)] + log level(σ). T j Z X By condition (CC) for (M˜ α,rj) and Lemma 2.13, for all j we have here sc log n(σ, rj) ≪ log level(σ)+1 ≪ log level(π; p )+1, while M˜ α sc log c∞(σ, rj) ≪ log Λ (σ∞) + 1 = log Λ(π∞; p )+1.

It remains to compare m(σ, s) and nα(π,s). Consider the quotient φ(s)= m(σ, s)/nα(π,s). We have |φ(it)| = 1, and therefore φ′(it)/φ(it) ∈ R for t ∈ R. On the other hand, from (20) and (21) we get that

l red L (js,σ,rj) φ(s)= c p n (π,s)−1 Lred(js +1,σ,r ) α,v j=1 p j Y p∈YSQ(σ) v∈YS(σ) red for some non-zero constant c. By the nature of the local factors Lp (js,σ,rj) and nα,v(π,s), we may conclude from Lemma 3.9 and (13) that T +1 T +1 ′ ′ φ (it) |φ (it)| dt = Re dt ≪G [F : Q]+ log qv T T φ(it) Z Z v∈Sf (σ) X sc ≪ log level(π; p )+1. This concludes the proof of the proposition. Remark 3.10. For Proposition 3.8 to hold, we may replace the condition (FE+) in the definition of property (L) by the weaker condition that (FE+) holds virtually (cf. Remark 2.7). It would be interesting to know whether one can further weaken the assumptions in Proposition 3.8. In the next sections we will prove: Theorem 3.11. The following groups satisfy property (L), and hence also property (TWN+). (1) GL(n) and its inner forms. (2) Quasi-split classical groups. (3) The exceptional group G2. Thus, by Remark 3.5, the same holds for any group whose derived group coincides with the derived group of any one of the groups above. The proof is based on a case-by-case analysis of the L-functions appearing in the definition of property (L). The quasi-splitness assumption in part 3 comes from the fact that we use functoriality to GL(n), which at the moment is only available in this case. (See Remark 5.7 below.) In each case we will use Corollary 2.11 for appropriately defined local factors. We will also often use Lemma 2.12 to reduce to the cuspidal case. 24 TOBIAS FINIS AND EREZ LAPID

4. Inner forms of GL(n) We ﬁrst consider the groups GL(n) and their inner forms. In order to prove Theorem 3.11 in this case, in view of Lemma 2.14 it suﬃces to show the following

Theorem 4.1. Let G = G1 × G2, where Gi is an inner form over F of GL(ni), i = 1, 2,

and r = Stn1 ⊗ Stn2 where Stn is the standard n-dimensional representation of GL(n, C). Then the pair (G,r) satisﬁes properties (FE+) and (CC). This theorem will be proved in the rest of this section.

4.1. We start with the case n2 = 1. Let G be an inner form of GL(n) and let π ∈ Πcusp(GL(n, A)). For any Hecke character χ of F we have S S L (s, π × χ, Stn × St1)= L (s, π ⊗ χ, St),

where π⊗χ denotes the twist of π by χ. Therefore, it suffices to show that (G, Stn) satisfies (FE+) and (CC). The standard L-function for π was studied by Godement–Jacquet [GJ72]. In particular, Stn has property (FE+) and the local factors GJ ∨ GJ GJ L (1 − s, πv , Stn) γ (s, πv, Stn)= ǫ (s, πv, Stn) GJ L (s, πv, Stn) defined by Godement–Jacquet (with respect to the fixed character ψv as in §2.4) satisfy (FE’), (ΓF) and (CL) (and in particular (AF)). (Of course, in the case n = 1 these are Tate’s local factors.) For brevity we write for v finite GJ c(πv) := ev (πv, Stn)

(see (16)). This is the usual conductor of πv. 1 Property (CC’) for (G, Stn) follows from the following standard result.

Lemma 4.2. Let F be a non-archimedean ﬁeld with residue ﬁeld Fq, D a central division algebra over F of degree d and G = GL(m, D). Let OD be the maximal order of D and let ̟D be a prime element of D. Let π be an irreducible representation π of G and let l = min{i ≥ 0 : πKi =06 }, i where K0 = GL(m, OD) and Ki =1+ ̟DMm(OD), i> 0. Then c(π) ≤ n + m(l − 1) where n = md. Proof. The result follows from the relation between conductor and depth proved recently in [BAPS13]. (See also [BF85, Bus87, Bus91, LR03, BH07] and the appendix of [Bad02].) For convenience we provide an easy, self-contained argument.

1 In the case where D = F and πv is generic, it follows from the well-known description of c(πv) due to Jacquet–Piatetski-Shapiro–Shalika [JPSS81a], that c(πv) ≥ logq levelv(πv). In [FLM15, Lemma 5.6] it was asserted that we should always have c(πv ) ≤ logq levelv(πv) for D = F , which is not true. After replacing this incorrect conductor bound by the upper bound n logq levelv(πv) of the current Lemma 4.2, the rest of the argument of [ibid.] goes through without any change. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 25

If l = 0, i.e. if πK0 =6 0, then c(π) = m(d − 1) = n − m [GJ72, §I.6], and the lemma is clear. Assume therefore that l ≥ 1. Let Nrd (resp., Trd) be the reduced norm (resp., trace) on Mm(D). For Φ ∈ S(Mm(D)) and a matrix coeﬃcient f of π let

n−1 Z(s, f, Φ) = f(g)Φ(g) |Nrd(g)|s+ 2 dg. ZG Consider the functional equation Z(1 − s, f ∨, Φ)ˆ Z(s, f, Φ) (22) =(−1)n−mǫGJ(s,π,ψ) , LGJ(1 − s, π∨) LGJ(s, π) where Φˆ is the Fourier transform of Φ given by

Φ(ˆ x)= Φ(y)ψ(Trd(xy)) dy ZMm(D) ∨ for a suitable Haar measure on Mm(D), a non-trivial additive character ψ of F , and f (g)= −1 ∨ f(g ) (a matrix coeﬃcient of π ). Take f to be a bi-Kl-invariant matrix coeﬃcient of π GJ such that f(1)=1 and Φ= 1Kl . Then Z(s, f, Φ) ≡ vol(Kl) so that γ (s, π) is a scalar ∨ multiple of Z(1 − s, f , Φ).ˆ On the other hand, if ψ has conductor OF then Φˆ is supported 1−d−l ∨ ˆ in ̟D Mm(OD) [Wei74, Ch. X, §2, Proposition 5]. Thus, Z(1 − s, f , Φ) is a Laurent i −s series aix in x = q such that ai = 0 for all i > m(d + l − 1). Hence, the left-hand i side of (22) is a Laurent polynomial bix with bi = 0 for all i > m(d + l − 1). Since ǫGJ(s,π,ψP ) = ǫGJ(0,π,ψ)xc(π), we conclude that c(π) ≤ m(d + l − 1) = n + m(l − 1), as required. P

We also remark that for v ∈ S∞ we have 2 n (23) Λ(πv) ≪ c∞(π,r) ≪ Λ(πv) .

4.2. Next consider G = GL(n1) × GL(n2) with the tensor product representation r =

Stn1 ⊗ Stn2 . This L-function was studied independently by Rankin and Selberg for n1 = n2 = 2 ([Ran40, Sel40]) and in the general case by Jacquet, Piatetski-Shapiro and Shalika ([JPSS79a, JPSS79b, JPSS79c, JPSS81b, JS81b, JS81a, JPSS83, JS90b, Jac09], see also [Cog03, Cog08] and the references therein). In particular, they showed that for π, σ cuspidal the function s(s − 1)LS(π)∪S(σ)(s, π × σ, r) is an entire function of order one. Alternatively, this L-function can be also studied using the Langlands–Shahidi method. The local factors arising from either method coincide. We denote them by JPSS,Sh ∨ JPSS,Sh JPSS,Sh L (1 − s, πv × σv,r ) γv (s, πv × σv,r)= ǫv (s, πv × σv,r) JPSS,Sh , L (s, πv × σv,r)

where again implicitly ψv are as in §2.4. These γ-factors satisfy (FE’), (ΓF) and (CL). Thus r has property (FE+). In the non-archimedean case we set for brevity c(πv × σv)= 26 TOBIAS FINIS AND EREZ LAPID

JPSS,Sh ev (πv × σv,r) (see (16)). By a result of Bushnell–Henniart [BH97] we have

(24) c(πv × σv) ≤ n2c(πv)+ n1c(σv). (It is worthwhile to mention that this result does not depend on the Bushnell–Kutzko classiﬁcation of supercuspidal representations [BK93], unlike the lower bound for c(πv × σv) proved in [BHK98].) By Lemma 4.2 we conclude that property (CC’) holds for JPSS,Sh γv (s, πv × σv,r).

4.3. To ﬁnish the proof of Theorem 4.1 in the general case, we ﬁrst recall the Jacquet– Langlands correspondence [JL70, DKV84], proved in this generality by Badulescu–Grbac [Bad08], using results of Arthur–Clozel [AC89], with some complements in [BR10]. Let ′ ′ G = GL(n) and let G be an inner form of G . Then for any π ∈ Πdisc(G(A)) there exists a ′ ′ ′ ′ ′ unique π ∈ Πdisc(G (A)) such that πv = πv for all v where G splits. The representation π is called the Jacquet–Langlands transfer of π and will be denoted by JL(π). For any place v we have

GJ GJ (25) γv (s, πv, ψv)= γv (s, JL(π)v, ψv).

Note that it is not true in general that c(πv) = c(JL(π)v). This is related to the fact that JL(π)v does not depend only on πv. (It is true however that πv is determined by JL(π)v.) For instance, if π is the identity representation of G, then JL(π) is the identity representation of G, so that c(JL(π)v) = 0 for all ﬁnite v. On the other hand, if G does not split at v, then c(πv) > 0. However, as was pointed out after (CC’), this is immaterial for our purposes, since (25) implies that in any case

(26) |c(πv) − c(JL(π)v)| ≤ n.

′ Now let G = G1 × G2 where Gi is an inner form of Gi = GL(ni), i = 1, 2. Let π ∈ Πdisc(G1), σ ∈ Πdisc(G2) and let JL(π) and JL(σ) be their Jacquet–Langlands transfers ′ ′ to G1 and G2, respectively. We have

S(π)∪S(σ) S(π′)∪S(σ′) (27) L (π × σ, Stn1 × Stn2 )= L (JL(π) × JL(σ), Stn1 × Stn2 ). Since we do not have at our disposal an independent theory of Rankin–Selberg convolutions ′ ′ for G1 × G2, we will resort to the one on G1 × G2. That is, we simply deﬁne

JPSS,Sh ◦ JL JPSS,Sh γv (s, π × σ, Stn1 × Stn2 )= γv (s, JL(π)v × JL(σ)v, Stn1 × Stn2 ).

(In fact, these γ-factors depend only on πv and σv, but we do not need to use this fact.) JPSS,Sh These factors satisfy properties (FE’) and (ΓF) by (27) and the fact that γv satisfy ′ ′ JPSS,Sh ◦ JL (FE’) and (ΓF) for G1 × G2. Property (AF) for γv follows from the corresponding JPSS,Sh result for γv and the fact that (under a suitable identiﬁcation) JL(π)v has the same inﬁnitesimal character as πv [BR10]. Combining (24), (26) and Lemma 4.2 (for both πv and JPSS,Sh ◦ JL σv), we conclude property (CC’) for the factors γv . Thus, we can apply Corollary 2.11 to conclude the proof of Theorem 4.1. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 27

5. Classical groups We now consider the case of quasi-split classical groups, i.e. the second part of Theorem 3.11. By a classical group we mean either a symplectic group (which is automatically split), a special orthogonal group, or a unitary group. In the latter case we denote by E the quadratic extension of F pertaining to the hermitian form deﬁning the unitary group (i.e., the quadratic extension over which the group splits). In all other cases let E = F . The L-group of a classical group is equipped with a natural embedding L L CanG : G → ResE/F GL(m), where, if r is the F¯-rank of G, then 2r +1, in the symplectic case, m = 2r, in the orthogonal case, r, in the unitary case. Here, in the unitary case we have  L ResE/F GL(m) ≃ (GL(m, C) × GL(m, C)) ⋊ WF ,

where WF acts on GL(m, C) × GL(m, C) via Gal(E/F ) by permuting the factors. L Let pn : ResE/F GL(n) → GL([E : F ]n, C) be the representation given by the projection L GL(n) → GL(n, C) if E = F , and, in the case E =6 F , by pn((x, y), e) = diag(x, y), x, y ∈ GL(n, C), and I , if the image of σ in Gal(E/F ) is the identity, p (I ,I , σ)= 2n n n n In ( In , otherwise, L using the description of ResE/F GL(n) above. We also consider the representation L Tm,n : (ResE/F GL(m) × ResE/F GL(n)) → GL([E : F ]mn, C) obtained by the composition of pnm with the “tensor product” homomorphism L L (ResE/F GL(m) × ResE/F GL(n)) → ResE/F GL(mn).

In the case E = F , Tm,n = Stm × Stn. Theorem 5.1. The following pairs (G,r) satisfy properties (FE+) and (CC): 2 2 (1) (E = F ), G = GL(n) × GL(1), r = ∧ ⊗ St1, where ∧ is the exterior square representation. 2 2 (2) (E = F ), G = GL(n) × GL(1), r = Sym ⊗ St1, where Sym is the symmetric square representation. ± (3) (E =6 F ), G = ResE/F GL(n), and r = As is either the Asai or the twisted Asai representation (cf. [CPSS11]). ′ ′ (4) G = G × ResE/F GL(n), where G is a quasi-split classical group and r = Tm,n ◦ (CanG′ ⊗ idn). 28 TOBIAS FINIS AND EREZ LAPID

This theorem implies Theorem 3.11 for quasi-split classical groups by the explicit description of the representations appearing in the definition of property (L) (e.g., [Sha10, Appendix C]). Actually, for Theorem 3.11, in the first two parts of Theorem 5.1 it is enough to consider the exterior square and the symmetric square representations them- selves (without the twist), but we include the slightly more general statement since it does not incur additional difficulty and the twisted representations are relevant for the GSpin ± groups (cf. [AS14]). (For the Asai L-function there is no need to consider As × St1, since we can incorporate the twist into the representation.)

5.1. In this subsection we consider the first three cases of Theorem 5.1. By Lemma 2.12 and Theorem 4.1 it is enough to consider the cuspidal case. Let π ∈ Πcusp(GL(n, AE)). By Remark 3.7, the partial L-function has finitely many poles and of order one, and local Sh factors γv (s, π × χ, r) are defined and satisfy (FE’), (ΓF) and (CL). There are several methods to study the poles of L-functions. The results of [Grb11, GS15] address the analytic properties of the completed L-functions. They are rather delicate and rely on Arthur’s endoscopic classification (extended by Mok to unitary groups). For our purposes we only care about the partial L-functions and this can be analyzed using the Rankin–Selberg method in a rather crude form. We summarize it in the following.

Lemma 5.2. Let π ∈ Πcusp(GL(n, AE)) and χ a Hecke character of E. Then the following functions are entire and of ﬁnite order. (In the ﬁrst three cases E = F .)

S 2 (1) s(1 − s)L (s, π × χ, Sym × St1). S 2 (2) s(1 − s)L (s, π × χ, ∧ × St1), (n even). S 2 (3) L (s, π × χ, ∧ × St1) (n odd). S ± (4) s(1 − s)L (s, π × χ, As × St1).

Proof. The most diﬃcult case is the twisted symmetric square, since it involves Eisenstein series on a double cover of GL(n) (introduced in [KP84]). This case was worked out recently by Takeda [Tak14, Tak15] who extended earlier work by Bump–Ginzburg [BG92b].2 The other cases are easier since they involve the well-understood mirabolic Eisenstein series on GL(n). The argument is completely standard. For completeness we include it for the Asai L-function of a representation π ∈ Πcusp(GL(n, AE)). (The twisted Asai L-function is obtained by twisting π.) n For any Schwartz-Bruhat function Φ ∈ S(A ) let EΦ be the normalized Eisenstein series on GL(n, F )\ GL(n, A) given by

s ∗ EΦ(g,s)= Φ(ξtg) |det tg| d t. R>0 n Z ξ∈FX\{0}

2For our purposes we could have avoided this case by using Remark 2.7. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 29

Here we embed R ֒→ F ⊗ R ֒→ A by x 7→ 1 ⊗ x. As for the Riemann zeta function, using the Poisson summation formula we have ∞ s ∗ Φ(0) EΦ(g,s)= Φ(ξtg) |det tg| d t − + 1 n s Z ξ∈FX\{0} ∞ Φ(0)ˆ Φ(ˆ ξtι(g)) |det tg|1−s d∗t + 1 n s − 1 Z ξ∈FX\{0} t −1 where ι(g)= g . In particular, the function s(s − 1)EΦ(g,s) is entire. The Rankin–Selberg integral

(28) ϕ(g)EΦ(g,s) dg ZGL(n,F )\ GL(n,AF ) for a cuspidal automorphic form ϕ on GL(n, E)\ GL(n, AE) is a twisted version of the usual integral for GL(n) × GL(n). It was considered in [Fli88]. Let Nn be the group of upper unitriangular matrices in GL(n). Fix a non-degenerate character ψN of Nn(AE) which is trivial on Nn(A). Let

W (g)= ϕ(ng)ψN (n) dn ZNn(E)\Nn(AE ) be the Fourier coeﬃcient of ϕ. Assume that ϕ corresponds to a factorizable vector in

π = ⊗πv (as an abstract representation). Then we can write W (g)= v Wv(gv) where Wv is in the Whittaker model of πv (with respect to ψN ), and Wv(e) = 1 for all v∈ / S. For v Q Φ= ⊗Φv and Re s large, (28) unfolds to S + L (s, π, As ) Iv(s, Wv, Φv) vY∈S where s Iv(s, Wv, Φv)= Wv(g)Φv(eng) |det g| dg, ZNn(Fv)\ GL(n,Fv) n en is the row vector (0,..., 0, 1) ∈ F . Since s(1 − s)EΦ(g,s) is entire, it remains to show that for any s ∈ C we can choose data Wv, Φv such that Iv(s, Wv, Φv) =6 0. We can write

(29) Iv(s, Wv, Φv)= Jv(Wv,ξ,s)Φv(ξ) dξ, n ZFv where

s−1 Jv(Wv, eng,s) = Wv(pg) |det pg| dp ZNn(Fv)\Pn(Fv) s−1 s−1 −1 = |det g| Wv(tkg) |det t| δBn−1 (t) dt. ZKn−1,v ZTn−1(Fv) Here Pn is the stabilizer of en, Tn−1 is the group of diagonal matrices with 1 in the right bottom corner, Bn−1 is the group of upper triangular matrices of GL(n − 1) embedded in b 0 GL(n) via b 7→ ( 0 1 ) and Kn−1,v is the standard maximal compact subgroup of GL(n − 30 TOBIAS FINIS AND EREZ LAPID

1, Fv). Using the asymptotics of the Whittaker function (see [CS80, LM09a] for the p- adic case, [Wal92, Ch. 15] for the archimedean case), the function Jv(Wv,ξ,s) admits a meromorphic continuation in s. More precisely, in the non-archimedean case there exists −s a polynomial Pv(x) such that for any ﬁxed Wv, Pv(qv )Jv(Wv,ξ,s) is a polynomial in −s n qv which is locally constant in ξ ∈ Fv \ {0}. In the archimedean case, for any real number A there exists a polynomial Pv(s) such that Pv(s)Jv(Wv,ξ,s) is continuous in n (ξ,s) ∈ Fv \{0}×{Re s > A} and holomorphic in s for Re s > A. Hence, Pv(s)Jv(Wv,ξ,s), n n ξ ∈ Fv \{0} is a normal family of analytic functions on Re s > A. Taking Φv ∈ S(Fv \{0}) we infer that in both the archimedean and non-archimedean cases (29) holds for all s. n Assume on the contrary that for some ﬁxed s ∈ C, Iv(s, Wv, Φv) = 0 for all Φv ∈ S(Fv \{0}) and Wv. Varying Φv we infer that Jv(Wv,ξ,s) = 0 for all ξ. In particular,

s−1 Wv(p) |det p| dp =0 ZNn(Fv)\Pn(Fv)

for all Wv. Since we can take Wv such that its restriction to Pv(Ev) is an arbitrary smooth left (Nv(Ev), ψv)-invariant function which is compactly supported modulo Nv(Ev) [GK75, Jac10, Kem15] we get a contradiction. For the twisted exterior square case one can argue in a similar way using the Jacquet– Shalika integral representation [JS90a]. (In the even case, the pole will come from the Eisenstein series as above. In the odd case there is no Eisenstein series and the zeta integral is entire.) The integral Jv in this case involves an extra unipotent integration, but its meromorphic continuation (with the extra uniformity property mentioned above) follows from the argument of [JS90a]. (See [Bel11] for more details.) Alternatively, one can use the Bump-Friedberg integral [BF90] (which does not involve an extra unipotent integration, and hence the argument above applies with little change) to infer that s2(1 − S S 2 S 2 s2)L (s1, π, Stn)L (s2, π × χ, ∧ × St1) (and hence also s(1 − s)L (s, π × χ, ∧ × St1)) is entire. Strictly speaking, only the case χ = 1 is considered, in [BF90] but it is a simple matter to incorporate a non-trivial χ into the integral (and the unramiﬁed calculation is essentially the same). We also remark that in the case where n is odd, it easily follows from the theory of S 2 Eisenstein series that L (s, π ⊗ χ, ∧ ⊗ St1) is holomorphic (see [Kim99] for a more precise result).

We turn to property (CC’). By standard properties of the Shahidi local factors we have

Sh 2 Sh 2 JPSS,Sh ǫv (s, πv × χv, Sym × St1)ǫv (s, πv × χv, ∧ × St1)= ǫv (s, πv × (πv ⊗ χv)). In particular,

Sh 2 Sh 2 JPSS,Sh ev (πv × χv, Sym × St1)+ ev (πv × χv, ∧ × St1)= ev (πv × πv ⊗ χv), and by (24) we conclude that

Sh 2 Sh 2 2 ev (πv ×χv, Sym × St1)+ev (πv ×χv, ∧ ×St1) ≤ n(c(πv)+c(πv ⊗χv)) ≤ 2nc(πv)+n c(χv). ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 31

Sh 2 Sh 2 Both ev (πv ×χv, Sym × St1) and e (πv ×χv, ∧ ×St1) are non-negative by [Hen10] (which relies on the validity of the local Langlands conjecture for GL(n)). Therefore, we infer (CC’) 2 2 for Sym × St1 and ∧ × St1 from the corresponding relation for Stn. Similarly, if v is a place of F which is inert in E and w is the place of E above v then we may view πv as a representation πw of GL(n, Ew) and we have Sh + Sh − JPSS,Sh τ ev (πv, As )+ ev (πv, As )= ew (πw × πw, Tn,n) where τ is the Galois involution of Ew/Fv. Thus, by [Hen10] Sh ± JPSS,Sh τ ev (πv, As ) ≤ ew (πw × πw, Tn,n), and therefore Sh ± τ ev (πv, As ) ≤ n(c(πw)+ c(πw))=2nc(πw).

In the split case, if w1, w2 are the places of E above v (with Ew1 , Ew2 ≃ Fv) and πv =

πw1 ⊗ πw2 then Sh ± Sh ǫv (πv, As )= ǫv (πw1 × πw2 , Stn × Stn) ≤ n(c(πw1 )+ c(πw2 )). ± In both cases the relation (CC’) for As follows from the case of Stn.

′ 5.2. Next we consider the case where G = G ×ResE/F GL(1) and r = Tm,1 ◦(CanG′ ⊗ id1), ′ where G is a classical group and m, Tm,1 and CanG′ are as in the beginning of the section. The L-functions in this case were studied by Piatetski-Shapiro and Rallis using the doubling method [PSR84, GPSR87, PSR86] – see also [LR05] for some complements.3 The analysis of poles was carried out in [GPSR87, KR90] and completed by Yamana in [Yam14]. In PSR particular, r has property (FE+). Let γv (s, π × χ, r) be the local factors conceived by Piatetski-Shapiro–Rallis and explicated in [LR05]. They satisfy properties (FE’), (ΓF), and (CL). We now turn our attention to condition (CC’). It is tempting to try to prove it using the PSR deﬁnition of γv (s, π × χ, r), analogously to Lemma 4.2. However, at this stage we are unfortunately unable to carry this idea through. Instead, we will resort to a diﬀerent approach using Arthur’s work (adapted by Mok to the case of unitary groups) on functoriality for classical groups. First, we recall the following stability result.

Proposition 5.3 ([RS05, Bre08]). Let v be a non-archimedean place and π1, π2 irreducible representations of G(Fv). In the unitary case assume that π1 and π2 have the same central character. Then there exists a constant N = N(π1, π2) such that PSR PSR γv (s, π1 × χ, r)= γv (s, π2 × χ, r) ∗ for any character χ of Ev such that c(χ) > N. We caution that unfortunately there is a mistake in [Bre08] (in both the statement and the proof), but it is easy to ﬁx the argument to obtain the correct statement above. We omit the details.

3See [Gan12, §7.2] for a small correction. 32 TOBIAS FINIS AND EREZ LAPID

The argument of [RS05] explicates N(π1, π2). Moreover, by taking π2 to be a repre- PSR sentation induced from a minimal Levi subgroup of G, in which case γv (s, π2 × χ, r) is computed explicitly in [LR05, Theorem 4], we conclude Corollary 5.4. There exists a constant C > 0 such that for any non-archimedean place ∗ v, any irreducible representation π of G(Fv) and any character χ of Ev such that c(χ) > C level(π) we have PSR Tate m−1 Tate γv (s, π × χ, r)= γv (s, χ) γv (s, χχ1).

Here χ1 is trivial in the symplectic and odd orthogonal cases, while in the even orthogonal m/2 case χ1 is the Hilbert symbol with (−1) D, where D is the discriminant of the quadratic τ form deﬁning G (we denote this quadratic character by τD), and χ1(x)= ωπ(x/x ) in the unitary case. Now we turn to Arthur’s work on classical groups. In order to state the result that we need, denote by Πaut(GL(n, A)) the set of irreducible representations of GL(n, A) which are weakly contained in L2(GL(n, F )\ GL(n, A)). These are the representations which are parabolically induced from some σ ∈ Πdisc(M(A)) where M is a Levi subgroup of GL(n). As explained in [Art13, §1.3], by the Jacquet–Shalika classiﬁcation theorem [JS81b, JS81a] and the Mœglin–Waldspurger description of the discrete spectrum of GL(n) [MW89], for

any finite set S of places of F , any π ∈ Πaut(GL(n, A)) is determined by the collection tπv , ′ v∈ / S ∪ S(π). Given π ∈ Πdisc(G (A)) and σ ∈ Πaut(GL(m, AE)), we say that σ is the ′ transfer of π if for any v∈ / S(π), σv is unramified and CanG (tπv )= tσv . By the above, this condition determines σ and its central character is given by 1, in the symplectic or odd orthogonal case, (30) ωσ = τD, in the even orthogonal case, τ ωπ(x/x ), in the unitary case. We will need the following consequence of Arthur’s work (taking also [Mœg09] into  account).4 ′ Theorem 5.5 ([Art13], [Mok15]). Any π ∈ Πdisc(G (A)) admits a transfer Ar(π) ∈ ′ Πaut(GL(m, AE)). Consequently, for any n ≥ 1 and any π ∈ Πcusp(GL(n, AE)) we have S(σ)∪S(π′) ′ S(σ)∪S(π′) ′ (31) L (s, π × π ,r)= L (s, Ar(π) × π , Tm,n). Thanks to the work of Mœglin and others, a great deal is known about the local representations πv in terms of Ar(π). For our purposes we will only need to know the preservation of γ-factors, namely that PSR GJ (32) γ (s, πv × χv,r)= γ (s, Ar(π)v × χv, Tm,1) ∗ for all v and characters χv of Ev . If πv is unramified, this follows from the multiplicativity properties of the γ-factors on both sides ([GJ72, LR05]). If c(χv) is sufficiently large (with respect to πv and Ar(π)v), then (32) follows from the stability properties of the γ-factors

4We thank Colette Mœglin for helpful discussions on Arthur’s local results in [Art13]. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 33

([JS85] for the left-hand side and Corollary 5.4 for the right-hand side) together with the description of the central character of Ar(π). The general case of (32) for ﬁnite v follows from the special cases above by the argument of [Hen86, Theorem 4.1], namely, by using (31) (for n = 1) and comparing the functional equations S PSR S ∨ L (s, π × χ, r)= γv (s, πv × χv,r) L (1 − s, π × χ, r ) v∈S Y and S GJ S ∨ L (s, Ar(π) × χ, Tm,1)= γv (s, Ar(π)v × χv, Tm,1) L (1 − s, Ar(π) × χ, Tm,1) v∈S Y for suitable Hecke characters χ (with S = S(π) ∪ S(χ)). For archimedean v one can argue in a similar way using Lemma 2.15 (with T being the multiplicative group), replacing Corollary 5.4 by the fact that for any s ∈ C we have GJ it PSR it lim γ (s, Ar(π)v × |·| , Tm,1)/γ (s, πv × |·| , Tm,1)=1. |t|→∞ Indeed, this follows from Stirling’s formula, the description of γGJ and γPSR in the archimedean case and (30). Finally, we prove property (CC’). By (32) it is enough to show that

(33) c(Ar(π)v) ≪ logq level(πv) for every finite place v. We may assume that level(πv) > 0, i.e., that πv is ramified, since otherwise Ar(π)v is also unramified. We use Corollary 5.4 with any χv of conductor C level(πv)+1. We obtain PSR e (πv × χv) ≪ logq level(πv) and hence by (32),

c(Ar(π)v ⊗ χv) ≪ logq level(πv).

Since c(Ar(π)v) ≤ c(Ar(π)v ⊗ χv)+ mc(χv) we deduce that c(Ar(π)v) ≪ logq level(πv) as required. We also note that by (23), and Remark 2.10 for v ∈ S∞ we have

Stm 2 PSR 2 m (34) Λ(Ar(π)v) ≪ cv (Ar(π)v) = cv (πv) ≪ Λ(πv) . 5.3. Finally, consider G = G′ × GL(n) where G′ is a quasi-split classical group and ′ ′ r = Tm,n ◦ (CanG′ ⊗ idn). We argue as in §4.3. Namely, for π ∈ Πdisc(G (A)) and π ∈ Πdisc(GL(n, AE)) we take JPSS,Sh ◦ Ar ′ JPSS,Sh ′ γv (s, π × π ,r) := γv (s, Ar(π)v × πv, Tm,n). JPSS,Sh ◦ Ar By using (33) and (34), properties (ΓF), (AF) and (CC’) hold for γv since they JPSS,Sh hold for γv . Remark 5.6. The same argument will give properties (FE+) and (CC) for (G,r)=(G′ × ′′ ′ ′′ G ,r = Tm,n ◦ (CanG′ ⊗ idn)), where G is a quasi-split classical group and G is an inner form of ResE/F GL(n). 34 TOBIAS FINIS AND EREZ LAPID

Remark 5.7. Once Arthur’s work is extended to general classical groups and their inner forms, Theorem 3.11 will hold for them as well, with the same proof. (The stability argument of [RS05] should carry over to inner forms without too much trouble.) In fact, one can hope that the methods of Arthur carry over to the GSpin groups (as well as their inner forms). By the previous remark, once this is done, Theorem 3.11 and its proof will extend to this case as well. Remark 5.8. One may contemplate whether Arthur’s work (which invokes the full force of the stable twisted trace formula) is absolutely necessary for the question at hand. A possible diﬀerent approach would be to use the Rankin–Selberg integrals that were studied in [GPSR97, GJRS11]. In the case of generic representations, a great deal is known about these L-functions. In the general case, it seems that more input is necessary to address their ﬁner analytic properties. We also mention the recent preprint [CFGK16], where a more uniform approach for these L-functions is laid out. It is yet to be seen whether this sheds any light on the analytic issues at hand.

6. The exceptional group G2

Finally, the last of Theorem 3.11 follows from Theorem 4.1 (for n1 = 2, n2 = 1) and the following Theorem 6.1. The pair (G = GL(2),r = Sym3 ⊗(∧2)−1 = Sym3 ⊗(det)−1), where Sym3 is the (four-dimensional) symmetric cube representation of GL(2), satisﬁes properties (FE+) and (CC):

Of course, it is enough to consider π ∈ Πcusp(GL(2, A)). Once again by Remark 3.7 the Sh S(π) local factors γv (s, πv,r) are deﬁned and satisfy (ΓF) and (CL). The poles of L (s,π,r) (and in fact, of the completed L-function) were analyzed by Kim-Shahidi in [KS99a]. Alter- natively, we can analyze the poles using the symmetric cube lift to GL(4), also due to Kim– ∨ 2 Shahidi [KS02]. Even better, using Remark 3.10 and the fact that r = St2 ⊗ Sym − St2, we do not need any information about the poles of LS(π)(s,π,r) (but we need to know the 2 existence of the symmetric square lift from GL(2) to GL(3) [GJ78] to infer that St2 ⊗ Sym satisﬁes (FE+)). Finally, we prove (CC’). Combining [Sha89, Proposition 2.2] and [Sha90, Theorem 3.5] (applied to the exceptional group G2), we have Sh JPSS,Sh 2 ∨ GJ ∨ γ (s,π,r)= γ (s, π × Sym π, St2 × St3)/γ (s, π, St2 ), where Sym2 π is the symmetric square lift of π to GL(3). Thus, eSh(π,r) ≤ c(π∨ × Sym2 π) ≤ 3c(π)+2c(Sym2 π). Also, GJ 2 JPSS,Sh Tate γ (s, Sym π)= γ (s, π × π)/γ (s,ωπ), and therefore c(Sym2) ≤ c(π × π) ≤ 4c(π). ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 35

We conclude that eSh(π,r) ≤ 11c(π). Remark 6.2. For higher rank exceptional groups, some of the L-functions on the list of [Lan71] can be studied by Rankin–Selberg integrals, at least under a genericity assumption (e.g., [GR00, BG92a, GH08, Gin95], to mention a few). One can also take into account Remark 3.10 to study further cases. However, more work has to be done in order to show that other exceptional groups satisfy properties (L) and (TWN+). We will not pursue this matter here any further.

References [AC89] James Arthur and Laurent Clozel, Simple algebras, base change, and the advanced theory of the trace formula, Annals of Mathematics Studies, vol. 120, Princeton University Press, Princeton, NJ, 1989. MR 1007299 (90m:22041) [Art82] James Arthur, On a family of distributions obtained from Eisenstein series. II. Explicit formu- las, Amer. J. Math. 104 (1982), no. 6, 1289–1336. MR 681738 (85d:22033) [Art89] , Intertwining operators and residues. I. Weighted characters, J. Funct. Anal. 84 (1989), no. 1, 19–84. MR 999488 (90j:22018) [Art13] , The endoscopic classification of representations, American Mathematical Society Col- loquium Publications, vol. 61, American Mathematical Society, Providence, RI, 2013, Orthog- onal and symplectic groups. MR 3135650 [AS14] Mahdi Asgari and Freydoon Shahidi, Image of functoriality for general spin groups, Manuscripta Math. 144 (2014), no. 3-4, 609–638. MR 3227529 [Bad02] Alexandru Ioan Badulescu, Un théorème de finitude, Compositio Math. 132 (2002), no. 2, 177–190, With an appendix by Paul Broussous. MR 1915174 (2003f:20075) [Bad08] , Global Jacquet-Langlands correspondence, multiplicity one and classification of automorphic representations, Invent. Math. 172 (2008), no. 2, 383–438, With an appendix by Neven Grbac. MR 2390289 (2009b:22016) [BAPS13] Paul Baum, Anne-Marie Aubert, Roger Plymen, and Maarten Solleveld, Depth and the local Langlands correspondence, 2013. [Bel11] Dustin Belt, On the holomorphy of exterior-square L-functions, 2011, arXiv:1108.2200. [BF85] C. J. Bushnell and A. Fröhlich, Nonabelian congruence Gauss sums and p-adic simple algebras, Proc. London Math. Soc. (3) 50 (1985), no. 2, 207–264. MR 772712 (86g:11071) [BF90] Daniel Bump and Solomon Friedberg, The exterior square automorphic L-functions on GL(n), Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part II (Ramat Aviv, 1989), Israel Math. Conf. Proc., vol. 3, Weizmann, Jerusalem, 1990, pp. 47–65. MR 1159108 (93d:11050) [BG92a] Daniel Bump and David Ginzburg, Spin L-functions on symplectic groups, Internat. Math. Res. Notices (1992), no. 8, 153–160. MR 1177328 (93i:11060) [BG92b] , Symmetric square L-functions on GL(r), Ann. of Math. (2) 136 (1992), no. 1, 137–205. MR 1173928 (93i:11058) [BH97] C. J. Bushnell and G. Henniart, An upper bound on conductors for pairs, J. Number Theory 65 (1997), no. 2, 183–196. MR 1462836 (98h:11153) [BH07] Colin J. Bushnell and Guy Henniart, Counting the discrete series for GL(n), Bull. Lond. Math. Soc. 39 (2007), no. 1, 133–137. MR 2303528 (2007k:22015) [BHK98] Colin J. Bushnell, Guy M. Henniart, and Philip C. Kutzko, Local Rankin-Selberg convolutions for GLn: explicit conductor formula, J. Amer. Math. Soc. 11 (1998), no. 3, 703–730. MR 1606410 (99h:22022) 36 TOBIAS FINIS AND EREZ LAPID

[BJ79] A. Borel and H. Jacquet, Automorphic forms and automorphic representations, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Cor- vallis, Ore., 1977), Part 1, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, With a supplement “On the notion of an automorphic representation” by R. P. Langlands, pp. 189–207. MR MR546598 (81m:10055) [BK93] Colin J. Bushnell and Philip C. Kutzko, The admissible dual of GL(N) via compact open subgroups, Annals of Mathematics Studies, vol. 129, Princeton University Press, Princeton, NJ, 1993. MR 1204652 (94h:22007) [Bor79] A. Borel, Automorphic L-functions, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 27–61. MR MR546608 (81m:10056) [BR10] A. I. Badulescu and D. Renard, Unitary dual of GL(n) at Archimedean places and global Jacquet-Langlands correspondence, Compos. Math. 146 (2010), no. 5, 1115–1164. MR 2684298 (2011i:22019) [Bre08] Eliot Brenner, Stability of the local gamma factor in the unitary case, J. Number Theory 128 (2008), no. 5, 1358–1375. MR 2406494 [BT65] Armand Borel and Jacques Tits, Groupes réductifs, Inst. Hautes Etudes´ Sci. Publ. Math. (1965), no. 27, 55–150. MR MR0207712 (34 #7527) [Bus87] Colin J. Bushnell, Hereditary orders, Gauss sums and supercuspidal representations of GLN , J. Reine Angew. Math. 375/376 (1987), 184–210. MR 882297 (88e:22024) [Bus91] , Gauss sums and local constants for GL(N), L-functions and arithmetic (Durham, 1989), London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 61–73. MR 1110390 (92c:11138) [CD84] L. Clozel and P. Delorme, Le théorème de Paley-Wiener invariant pour les groupes de Lie réductifs, Invent. Math. 77 (1984), no. 3, 427–453. MR 759263 (86b:22015) [CFGK16] Yuanqing Cai, Solomon Friedbeerg, David Ginzburg, and Eyal Kaplan, Doubling constructions for covering groups and tensor product L-functions, 2016, arXiv:1601.08240. [CL14] Kuok Fai Chao and Wen-Wei Li, Dual R-groups of the inner forms of SL(N), Pacific J. Math. 267 (2014), no. 1, 35–90. MR 3163476 [Cog03] J. W. Cogdell, Analytic theory of L-functions for GLn, An introduction to the Langlands program (Jerusalem, 2001), Birkhäuser Boston, Boston, MA, 2003, pp. 197–228. MR 1990380 [Cog08] , Notes on L-functions for GLn, School on Automorphic Forms on GL(n), ICTP Lect. Notes, vol. 21, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2008, pp. 75–158. MR 2508768 (2011a:22023) [CPSS11] J. W. Cogdell, I. I. Piatetski-Shapiro, and F. Shahidi, Functoriality for the quasisplit classical groups, On certain L-functions, Clay Math. Proc., vol. 13, Amer. Math. Soc., Providence, RI, 2011, pp. 117–140. MR 2767514 (2012f:22036) [CS80] W. Casselman and J. Shalika, The unramified principal series of p-adic groups. II. The Whit- taker function, Compositio Math. 41 (1980), no. 2, 207–231. MR 581582 (83i:22027) [DKV84] P. Deligne, D. Kazhdan, and M.-F. Vignéras, Représentations des algèbres centrales simples p-adiques, Representations of reductive groups over a local field, Travaux en Cours, Hermann, Paris, 1984, pp. 33–117. MR 771672 (86h:11044) [DM08] Patrick Delorme and Paul Mezo, A twisted invariant Paley-Wiener theorem for real reductive groups, Duke Math. J. 144 (2008), no. 2, 341–380. MR 2437683 (2009g:22026) [FL15] Tobias Finis and Erez Lapid, An approximation principle for congruence subgroups II: application to the limit multiplicity problem, 2015, arXiv:1504.04795. [Fli88] Yuval Z. Flicker, Twisted tensors and Euler products, Bull. Soc. Math. France 116 (1988), no. 3, 295–313. MR 984899 (89m:11049) ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 37

[FLM15] Tobias Finis, Erez Lapid, and Werner Müller, Limit multiplicities for principal congruence subgroups of GL(n) and SL(n), J. Inst. Math. Jussieu 14 (2015), no. 3, 589–638. MR 3352530 [Gan12] Wee Teck Gan, Doubling zeta integrals and local factors for metaplectic groups, Nagoya Math. J. 208 (2012), 67–95. MR 3006697 [GH08] David Ginzburg and Joseph Hundley, On certain Rankin-Selberg integrals on GE6, Nagoya Math. J. 191 (2008), 21–78. MR 2451220 (2009j:11079) [Gin95] David Ginzburg, On standard L-functions for E6 and E7, J. Reine Angew. Math. 465 (1995), 101–131. MR 1344132 (96m:11040) [GJ72] Roger Godement and HervéJacquet, Zeta functions of simple algebras, Springer-Verlag, Berlin, 1972, Lecture Notes in Mathematics, Vol. 260. MR MR0342495 (49 #7241) [GJ78] Stephen Gelbart and HervéJacquet, A relation between automorphic representations of GL(2) and GL(3), Ann. Sci. Ecole´ Norm. Sup. (4) 11 (1978), no. 4, 471–542. MR MR533066 (81e:10025) [GJRS11] David Ginzburg, Dihua Jiang, Stephen Rallis, and David Soudry, L-functions for symplectic groups using Fourier-Jacobi models, Arithmetic geometry and automorphic forms, Adv. Lect. Math. (ALM), vol. 19, Int. Press, Somerville, MA, 2011, pp. 183–207. MR 2906909 [GK75] I. M. Gel′fand and D. A. Kajdan, Representations of the group GL(n,K) where K is a local field, Lie groups and their representations (Proc. Summer School, Bolyai János Math. Soc., Budapest, 1971), Halsted, New York, 1975, pp. 95–118. MR 0404534 (53 #8334) [GL06] Stephen S. Gelbart and Erez M. Lapid, Lower bounds for L-functions at the edge of the critical strip, Amer. J. Math. 128 (2006), no. 3, 619–638. MR MR2230919 (2007d:11057) [GPSR87] Stephen Gelbart, Ilya Piatetski-Shapiro, and Stephen Rallis, Explicit constructions of automorphic L-functions, Lecture Notes in Mathematics, vol. 1254, Springer-Verlag, Berlin, 1987. MR MR892097 (89k:11038) [GPSR97] D. Ginzburg, I. Piatetski-Shapiro, and S. Rallis, L functions for the orthogonal group, Mem. Amer. Math. Soc. 128 (1997), no. 611, viii+218. MR 1357823 (98m:11041) [GR00] David Ginzburg and Stephen Rallis, The exterior cube L-function for GL(6), Compositio Math. 123 (2000), no. 3, 243–272. MR 1795291 (2001j:11025) [Grb11] Neven Grbac, On the residual spectrum of split classical groups supported in the Siegel maximal parabolic subgroup, Monatsh. Math. 163 (2011), no. 3, 301–314. MR 2805875 [GS88] Stephen Gelbart and Freydoon Shahidi, Analytic properties of automorphic L-functions, Per- spectives in Mathematics, vol. 6, Academic Press Inc., Boston, MA, 1988. MR MR951897 (89f:11077) [GS01] , Boundedness of automorphic L-functions in vertical strips, J. Amer. Math. Soc. 14 (2001), no. 1, 79–107 (electronic). MR MR1800349 (2003a:11056) [GS15] Neven Grbac and Freydoon Shahidi, Endoscopic transfer for unitary groups and holomorphy of Asai L-functions, Pacific J. Math. 276 (2015), no. 1, 185–211. MR 3366033 [Hen86] Guy Henniart, On the local Langlands conjecture for GL(n): the cyclic case, Ann. of Math. (2) 123 (1986), no. 1, 145–203. MR 825841 (87k:11132) [Hen10] , Correspondance de Langlands et fonctions L des carrés extérieur et symétrique, Int. Math. Res. Not. IMRN (2010), no. 4, 633–673. MR 2595008 (2011c:22028) [HS12] Kaoru Hiraga and Hiroshi Saito, On L-packets for inner forms of SLn, Mem. Amer. Math. Soc. 215 (2012), no. 1013, vi+97. MR 2918491 [IK04] Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory, American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004. MR MR2061214 (2005h:11005) [IS00] H. Iwaniec and P. Sarnak, Perspectives on the analytic theory of L-functions, Geom. Funct. Anal. (2000), no. Special Volume, Part II, 705–741, GAFA 2000 (Tel Aviv, 1999). MR MR1826269 (2002b:11117) 38 TOBIAS FINIS AND EREZ LAPID

[Jac09] HervéJacquet, Archimedean Rankin-Selberg integrals, Automorphic forms and L-functions II. Local aspects, Contemp. Math., vol. 489, Amer. Math. Soc., Providence, RI, 2009, pp. 57–172. MR 2533003 (2011a:11103) [Jac10] , Distinction by the quasi-split unitary group, Israel J. Math. 178 (2010), 269–324. MR 2733072 (2011k:11073) [JL70] H. Jacquet and R. P. Langlands, Automorphic forms on GL(2), Lecture Notes in Mathematics, Vol. 114, Springer-Verlag, Berlin, 1970. MR 0401654 (53 #5481) [JPSS79a] HervéJacquet, Ilja Iosifovitch Piatetski-Shapiro, and Joseph Shalika, Automorphic forms on GL(3). I, Ann. of Math. (2) 109 (1979), no. 1, 169–212. MR 519356 (80i:10034a) [JPSS79b] , Automorphic forms on GL(3). II, Ann. of Math. (2) 109 (1979), no. 2, 213–258. MR 528964 (80i:10034b) [JPSS79c] , Facteurs L et ε du groupe linéaire, C. R. Acad. Sci. Paris Sér. A-B 289 (1979), no. 2, A59–A61. MR 549066 (82c:10038) [JPSS81a] H. Jacquet, I. I. Piatetski-Shapiro, and J. Shalika, Conducteur des représentations du groupe linéaire, Math. Ann. 256 (1981), no. 2, 199–214. MR 620708 (83c:22025) [JPSS81b] HervéJacquet, Ilja I. Piatetski-Shapiro, and Joseph Shalika, Facteurs L et ε du groupe linéaire: théorie archimédienne, C. R. Acad. Sci. Paris Sér. I Math. 293 (1981), no. 1, 13–18. MR 633552 (82i:22021) [JPSS83] H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika, Rankin-Selberg convolutions, Amer. J. Math. 105 (1983), no. 2, 367–464. MR 701565 (85g:11044) [JS81a] H. Jacquet and J. A. Shalika, On Euler products and the classification of automorphic forms. II, Amer. J. Math. 103 (1981), no. 4, 777–815. MR 623137 (82m:10050b) [JS81b] , On Euler products and the classification of automorphic representations. I, Amer. J. Math. 103 (1981), no. 3, 499–558. MR 618323 (82m:10050a) [JS85] HervéJacquet and Joseph Shalika, A lemma on highly ramified ǫ-factors, Math. Ann. 271 (1985), no. 3, 319–332. MR 787183 (87i:22048) [JS90a] , Exterior square L-functions, Automorphic forms, Shimura varieties, and L-functions, Vol. II (Ann Arbor, MI, 1988), Perspect. Math., vol. 11, Academic Press, Boston, MA, 1990, pp. 143–226. MR 1044830 (91g:11050) [JS90b] , Rankin-Selberg convolutions: Archimedean theory, Festschrift in honor of I. I. Piatetski- Shapiro on the occasion of his sixtieth birthday, Part I (Ramat Aviv, 1989), Israel Math. Conf. Proc., vol. 2, Weizmann, Jerusalem, 1990, pp. 125–207. MR 1159102 (93d:22022) [Kem15] Alexander Kemarsky, A note on the Kirillov model for representations of GLn(C), C. R. Math. Acad. Sci. Paris 353 (2015), no. 7, 579–582. MR 3352025 [Kim99] Henry H. Kim, Langlands-Shahidi method and poles of automorphic L-functions: application to exterior square L-functions, Canad. J. Math. 51 (1999), no. 4, 835–849. MR 1701344 [KK11] Henry H. Kim and Wook Kim, On local L-functions and normalized intertwining operators II; quasi-split groups, On certain L-functions, Clay Math. Proc., vol. 13, Amer. Math. Soc., Providence, RI, 2011, pp. 265–295. MR 2767519 [KP84] D. A. Kazhdan and S. J. Patterson, Metaplectic forms, Inst. Hautes Etudes´ Sci. Publ. Math. (1984), no. 59, 35–142. MR 743816 (85g:22033) [KR90] Stephen S. Kudla and Stephen Rallis, Poles of Eisenstein series and L-functions, Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part II (Ra- mat Aviv, 1989), Israel Math. Conf. Proc., vol. 3, Weizmann, Jerusalem, 1990, pp. 81–110. MR MR1159110 (94e:11054) [KS99a] Henry H. Kim and Freydoon Shahidi, Symmetric cube L-functions for GL2 are entire, Ann. of Math. (2) 150 (1999), no. 2, 645–662. MR 1726704 [KS99b] Robert E. Kottwitz and Diana Shelstad, Foundations of twisted endoscopy, Astérisque (1999), no. 255, vi+190. MR 1687096 (2000k:22024) ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 39

[KS02] Henry H. Kim and Freydoon Shahidi, Functorial products for GL2 × GL3 and the symmetric cube for GL2, Ann. of Math. (2) 155 (2002), no. 3, 837–893, With an appendix by Colin J. Bushnell and Guy Henniart. MR 1923967 (2003m:11075) [Lan70] R. P. Langlands, Problems in the theory of automorphic forms, Lectures in modern analysis and applications, III, Springer, Berlin, 1970, pp. 18–61. Lecture Notes in Math., Vol. 170. MR 0302614 (46 #1758) [Lan71] Robert P. Langlands, Euler products, Yale University Press, New Haven, Conn., 1971, A James K. Whittemore Lecture in Mathematics given at Yale University, 1967, Yale Mathematical Monographs, 1. MR 0419366 (54 #7387) [LM09a] Erez Lapid and Zhengyu Mao, On the asymptotics of Whittaker functions, Represent. Theory 13 (2009), 63–81. MR 2495561 (2010b:22024) [LM09b] Erez Lapid and Werner Müller, Spectral asymptotics for arithmetic quotients of SL(n, R)/SO(n), Duke Math. J. 149 (2009), no. 1, 117–155. MR 2541128 (2010h:11083) [LR03] Joshua Lansky and A. Raghuram, On the correspondence of representations between GL(n) and division algebras, Proc. Amer. Math. Soc. 131 (2003), no. 5, 1641–1648. MR 1950297 (2003m:22021) [LR05] Erez M. Lapid and Stephen Rallis, On the local factors of representations of classical groups, Automorphic representations, L-functions and applications: progress and prospects, Ohio State Univ. Math. Res. Inst. Publ., vol. 11, de Gruyter, Berlin, 2005, pp. 309–359. MR 2192828 (2006j:11071) [LW13] Jean-Pierre Labesse and Jean-Loup Waldspurger, La formule des traces tordue d’après le Friday Morning Seminar, CRM Monograph Series, vol. 31, American Mathematical Society, Provi- dence, RI, 2013, With a foreword by Robert Langlands [dual English/French text]. MR 3026269 [Mat13] Jasmin Matz, Weyl’s law for Hecke operators on GL(n) over imaginary quadratic number fields, 2013, arXiv:1310.6525. [Mœg09] Colette Mœglin, Comparaison des paramètres de Langlands et des exposantsa ` l’intérieur d’un paquet d’Arthur, J. Lie Theory 19 (2009), no. 4, 797–840. MR 2599005 (2011f:22020) [Mok15] Chung Pang Mok, Endoscopic classification of representations of quasi-split unitary groups, Mem. Amer. Math. Soc. 235 (2015), no. 1108, vi+248. MR 3338302 [MT15] Jasmin Matz and Nicolas Templier, Sato-Tate equidistribution for families of Hecke-Maass forms on SL(n, R)/SO(n), 2015, arXiv:1505.07285. [Mül89] Werner Müller, The trace class conjecture in the theory of automorphic forms, Ann. of Math. (2) 130 (1989), no. 3, 473–529. MR 1025165 (90m:11083) [Mül00] W. Müller, On the singularities of residual intertwining operators, Geom. Funct. Anal. 10 (2000), no. 5, 1118–1170. MR 1800065 (2002a:22024) [MW89] C. Mœglin and J.-L. Waldspurger, Le spectre résiduel de GL(n), Ann. Sci. Ecole´ Norm. Sup. (4) 22 (1989), no. 4, 605–674. MR 1026752 (91b:22028) [MW14a] Colette Moeglin and Jean-Loup Waldspurger, Stabilisation de la formule des traces tordue VI: la partie géométrique de cette formule, 2014, arXiv:1406.2257. [MW14b] , Stabilisation de la formule des traces tordue X: stabilisation spectrale, 2014, arXiv:1412.2981. [PR94] Vladimir Platonov and Andrei Rapinchuk, Algebraic groups and number theory, Pure and Applied Mathematics, vol. 139, Academic Press Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen. MR 1278263 (95b:11039) [PSR84] I. Piatetski-Shapiro and S. Rallis, L-functions of automorphic forms on simple classical groups, Modular forms (Durham, 1983), Ellis Horwood Ser. Math. Appl.: Statist. Oper. Res., Horwood, Chichester, 1984, pp. 251–261. MR 803369 (86j:11057) [PSR86] , ǫ factor of representations of classical groups, Proc. Nat. Acad. Sci. U.S.A. 83 (1986), no. 13, 4589–4593. MR 848553 (88a:11053) 40 TOBIAS FINIS AND EREZ LAPID

[Ran40] R. A. Rankin, Contributions to the theory of Ramanujan’s function τ(n) and similar arithmeti- cal functions. III. A note on the sum function of the Fourier coefficients of integral modular forms, Proc. Cambridge Philos. Soc. 36 (1940), 150–151. MR 0001249 (1,203d) [Ren97] David Renard, Intégrales orbitales tordues sur les groupes de Lie réductifs réels, J. Funct. Anal. 145 (1997), no. 2, 374–454. MR 1444087 (98k:22061) [RS05] Stephen Rallis and David Soudry, Stability of the local gamma factor arising from the doubling method, Math. Ann. 333 (2005), no. 2, 291–313. MR 2195117 (2006m:22026) [Sel40] Atle Selberg, Bemerkungen über eine Dirichletsche Reihe, die mit der Theorie der Modulformen nahe verbunden ist, Arch. Math. Naturvid. 43 (1940), 47–50. MR MR0002626 (2,88a) [Ser77] Jean-Pierre Serre, Appendice: Relations entre facteurs gamma, Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Springer, Berlin, 1977, pp. 99–102. Lecture Notes in Math., Vol. 627. [Sha89] Freydoon Shahidi, Third symmetric power L-functions for GL(2), Compositio Math. 70 (1989), no. 3, 245–273. MR 1002045 (90m:11081) [Sha90] , A proof of Langlands’ conjecture on Plancherel measures; complementary series for p-adic groups, Ann. of Math. (2) 132 (1990), no. 2, 273–330. MR 1070599 (91m:11095) [Sha10] , Eisenstein series and automorphic L-functions, American Mathematical Society Colloquium Publications, vol. 58, American Mathematical Society, Providence, RI, 2010. MR 2683009 (2012d:11119) [She12] D. Shelstad, On geometric transfer in real twisted endoscopy, Ann. of Math. (2) 176 (2012), no. 3, 1919–1985. MR 2979862 [Tak14] Shuichiro Takeda, The twisted symmetric square L-function of GL(r), Duke Math. J. 163 (2014), no. 1, 175–266. MR 3161314 [Tak15] , On a certain metaplectic Eisenstein series and the twisted symmetric square L- function, Math. Z. 281 (2015), no. 1-2, 103–157. MR 3384864 [Tat79] J. Tate, Number theoretic background, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sym- pos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 3–26. MR 546607 (80m:12009) [Vog81] David A. Vogan, Jr., Representations of real reductive Lie groups, Progress in Mathematics, vol. 15, Birkhäuser Boston, Mass., 1981. MR 632407 (83c:22022) [Wal92] Nolan R. Wallach, Real reductive groups. II, Pure and Applied Mathematics, vol. 132, Academic Press Inc., Boston, MA, 1992. MR 1170566 (93m:22018) [Wal08] J.-L. Waldspurger, L’endoscopie tordue n’est pas si tordue, Mem. Amer. Math. Soc. 194 (2008), no. 908, x+261. MR 2418405 (2011d:22020) [Wal09] , A` propos du lemme fondamental pondérétordu, Math. Ann. 343 (2009), no. 1, 103–174. MR 2448443 (2010c:22013) [Wal12] Jean-Loup Waldspurger, La formule des traces locale tordue, 2012, arXiv:1205.1100. [Wal14a] , Stabilisation de la formule des traces tordue I: endoscopie tordue sur un corps local, 2014, arXiv:1401.4569. [Wal14b] , Stabilisation de la formule des traces tordue II: intégrales orbitales et endoscopie sur un corps local non-archimédien; définitions et énoncés des résultats, 2014, arXiv:1401.7127. [Wal14c] , Stabilisation de la formule des traces tordue III: intégrales orbitales et endoscopie sur un corps local non-archimédien; réductions et preuves, 2014, arXiv:1402.2753. [Wal14d] , Stabilisation de la formule des traces tordue IV: transfert spectral archimédien, 2014, arXiv:1403.1454. [Wal14e] , Stabilisation de la formule des traces tordue IX: propriétés des intégrales orbitales pondérées ω-equivariantes sur le corps réel, 2014, arXiv:1412.2565. ANALYTIC PROPERTIES OF INTERTWINING OPERATORS I 41

[Wal14f] , Stabilisation de la formule des traces tordue V: intégrales orbitales et endoscopie sur le corps réel, 2014, arXiv:1404.2402. [Wal14g] , Stabilisation de la formule des traces tordue VII: descente globale, 2014, arXiv:1409.0960. [Wal14h] , Stabilisation de la formule des traces tordue VIII: l’application ǫM˜ sur un corps de base local non-archimédien, 2014, arXiv:1410.1124. [Wei74] AndréWeil, Basic number theory, third ed., Springer-Verlag, New York, 1974, Die Grundlehren der Mathematischen Wissenschaften, Band 144. MR 0427267 (55 #302) [Yam14] Shunsuke Yamana, L-functions and theta correspondence for classical groups, Invent. Math. 196 (2014), no. 3, 651–732. MR 3211043

Universitat¨ Leipzig, Mathematisches Institut, Postfach 100920, D-04009 Leipzig, Ger- many E-mail address: [email protected] Department of Mathematics, Weizmann Institute of Science, Rehovot 7610001, Israel E-mail address: [email protected]