Arxiv:1708.02616V5 [Math.NT] 30 Oct 2018 ..Apiain Onnvnsigo Central of Non-Vanishing to Applications 6.3

Home , Jacquet module

arXiv:1708.02616v5 [math.NT] 30 Oct 2018 ..Apiain onnvnsigo central of non-vanishing to Applications 6.3. ..Non-abelian 6.2. .ABrhLmafor Lemma Birch A 2. The algebras Hecke 1.4. Parabolic 1.3. ..Dcmoiino ek polynomials Hecke of 1.6. Decomposition 1.5. pairs 1.2. Hecke Algebras 1.1. Hecke 1. Notation Introduction ..Abelian 6.1. ..Tegnrclynal ordinary nearly generically integral The Zeta local twisted 2.2. The 2.1. .Chmlgclcntuto of construction Cohomological Theorem Control 5. The algebra representations 4.6. Hecke Galois ordinary nearly universal 4.5. The weight of 4.4. Independence cohomology ordinary 4.3. Nearly subgroups 4.2. Arithmetic 4.1. .Universal 4. ..Mdlrsmosin symbols Modular 5.5. ..Itga algebras 3.2. Integral 3.1. 5.4. ..Tetitdgoa eaintegral Zeta global twisted 3. The 2.3. ..Tedsrbto relation distribution 5.3. The symbol modular 5.2. The 5.1. 6. References deformations Symbols non-abelian of via List Non-vanishing 6.4. p p ai Lattices -adic -adic p p p p p adic o iafmle nGL( on families Hida for aust egnrclynon-zero. generically be to values o GL( for o central for Abstract. saiiaini rnia eisrepresentations series principal in -stabilization algebras Hecke -adic itga tutrso ainlrepresentations rational on structures -integral ai aetwists Tate -adic ai hrce varieties character -adic NON-ABELIAN U L L p fntosudrTt wssadt rv h xsec fno of existence the prove to and twists Tate under -functions -functions -operators n p p +1) odnr cohomology -ordinary -adic L epoenwcnrecsbtenseilvle fRankin-S of values special between congruences new prove We p vle:W iesffiin oa odtosfrtitdcent twisted for conditions local sufficient give We -values: × -adic O-AIHN FCENTRAL OF NON-VANISHING L GL( fntosfratmrhcrepresentations automorphic for -functions p L nal riayatmrhcforms automorphic ordinary -nearly n p -functions vrabtaynme ed.Ti losu ocnrlteb the control to us allows This fields. number arbitrary over ) ai families -adic n +1) p AI RANKIN-SELBERG -ADIC p × ai measures -adic GL( p ai ek algebra Hecke -adic AINJANUSZEWSKI FABIAN n .A napiain epoesrn o-aihn results non-vanishing strong prove we application, an As ). L Contents -values AND 1 L n-abelian -VALUES L -FUNCTIONS a Rankin-Selberg ral elberg p -adic hvo of ehavior L L -functions -functions L p - - 52 49 11 10 10 10 49 14 13 36 34 33 31 30 29 29 28 45 27 27 44 24 22 42 39 39 45 62 57 56 55 9 8 8 6 2 2 Fabian Januszewski

Introduction

Fix a rational prime p, a number ﬁeld F/Q and deﬁne the reductive group

G = resF/Q GL(n + 1) × GL(n), n ≥ 1. Consider the Rankin-Selberg L-function L(s, Π⊗Σ) attached to an irreducible cuspidal automorphic representation Π⊗Σ of G(A) in the sense of Jacquet, Piatetski-Shapiro and Shalika [39, 40, 41]. b If Π and Σ are regular algebraicb in the sense of Clozel [6], we expect L(s, Π⊗Σ) to agree (up to shift) with the L-function of the tensor product of the conjectural irreducible motives MΠ and MΣ attached to Π and Σ. In this context, we expect the special valuesb of L(s, Π⊗Σ) to be intricately related to the arithmetic of MΠ and MΣ. In particular, when deforming MΠ and MΣ in p-adic families, we expect these special values to vary p-adically analytically as well.b The aim of this paper is to establish this expected p-adic variation of L-values in the case when Π and Σ are nearly ordinary at p in the sense of [33, 35]. In order to do so, we prove new congruences for the special values under consideration.

Abelian p-adic interpolation. Our results for abelian deformations are the following. Write ∞ ∞ T ⊆ G for the standard diagonal maximal torus and CF (p ) for the ray class group of level p of F . Let E/Qp denote a finite extension which contains the fields of rationality of Π and Σ. Our first main result is (cf. Theorem 6.1 in the text), Theorem A. Let Π⊗Σ be an irreducible regular algebraic cuspidal automorphic representation of G(A) of cohomological weight λ. Assume the following: (i) λ is balancedb (in the sense of eq. (4)). × (ii) Π⊗Σ is nearly ordinary at a prime p and ϑ : T (Qp) → C the corresponding eigenvalue. × × Then there are complex periods Ω±,j ∈ C , indexed by the characters of π0(F ⊗ R) and j ∈ Z b 1 ∞ for which s0 = 2 +j is critical for L(s, Π⊗Σ), and a unique p-adic measure µΠ⊗Σ ∈ O[[CF (p )]] 1 b with the following property. For every s0 = 2 + j critical for L(s, Π⊗Σ), for all finite order Hecke characters χ of F unramified outsideb p∞ and such that χpϑ has fully supported constant conductor, b

j j χ(x)ωF (x)hxiF dµΠ⊗Σ(x) = ∞ b CF (Zp ) n µ − j (n+1)n − (n+1)n(n 1) L(s0, Π⊗Σ ⊗ χ) N(fχϑ) 2 6 · G(χϑµ,ν) · . Ω j µ=1 ν=1 (−1) sgn χ,j Y Y b The notion of fully supported constant conductor is formally defined in section 2.3 in the text. This condition is automatically satisfied whenever the ramification of χ is deep enough (deeper than the Nebentypus’ ramification). For example, if Π is spherical at all places p | p, then every χ ramified at all p | p satisfies this condition. In particular, the interpolation property in Theorem A characterizes the p-adic measure µΠ⊗Σ(x) uniquely and confirms the Conjecture of Coates and Perrin-Riou [10, 11] in the cases whereb the interpolation property is known. We expect an almost identical interpolation property in the case of fully supported but not necessarily constant conductor to hold, whereas in the presence of unramified characters among χϑµ,ν we should see a modified Euler factor of positive degree as a p-adic multiplier as predicted by Coates and Perrin-Riou. For n = 2, i.e. GL(3) × GL(2), this was confirmed in the spherical case in unpublished work of D. Ungemach. By the construction of µΠ⊗Σ(x), Theorem A has a straightforward generalization to finite × slope forms and yields a uniqueb locally analytic distribution on the cyclotomic line Zp , provided Non-abelian p-adic L-functions and non-vanishing of central L-values 3 the slope is bounded above by the number of critical values. However, to keep the exposition and notation simple, we emphasize the nearly ordinary case here. Theorem A improves the main results of [73, 53, 47, 48, 49] in two ways. Firstly, we cover nearly ordinary representations and not only Iwahori spherical representations at places v | p. Secondly, we construct a single p-adic L-function interpolating all critical values at once. In the case n = 1, Theorem A recovers Namikawa’s recent construction of abelian p-adic L-functions for GL(2) over number fields from [64]. In this case, the interpolation formula is known is all cases (cf. loc. cit.). The non-vanishing of the complex periods Ω±,j is an important recent result of Sun [81]. Their dependence on j is studied in [51, 24, 26]. However, as of now there is no integral relation between the various Ω±,j known for n > 1, although our results suggest that such relations should indeed exist (cf. Remark 6.2 in the text). Among all critical values, central L-values are expected to be arithmetically the most inter- esting ones. The Conjecture of Birch and Swinnerton-Dyer and its generalizations suggest that the central value of a motivic L-function should vanish only for specific arithmetic reasons. From an automorphic perspective, non-vanishing of central values is believed to be equivalent to the existence of non-zero periods. For example, by Ginzburg-Jiang-Rallis’ [19], non-vanishing of the central value of L(s, Π⊗Σ) for suitable Π and Σ is equivalent to non-vanishing of certain period integrals on related groups. 1 Since µΠ⊗Σ is determined uniquelyb by the interpolation property for a single critical s0 = 2 +j, we deduce fromb Theorem A the following non-vanishing result (Theorem 6.10 and Corollary 6.11 in the text). Theorem B. Let Π and Σ be irreducible cuspidal regular algebraic automorphic representations of GLn+1(AF ) and GLn(AF ) of balanced weight. Assume that Π and Σ are unitary and that Π and Σ are nearly ordinary at all p | p for some prime p. 1 1 If s0 = 2 is critical for L(s, Π⊗Σ) and if there exists a second critical value s0 6= 2 , then 1 (1) L( , Π⊗Σ ⊗ χ) 6= 0, b 2 generically for χ varying over all finite order Hecke characters of F unramified outside p∞. b Moreover, the vanishing locus is transversal to the cyclotomic line, i.e. (1) holds for all but ′ ′ finitely many characters of the form χ = χ ◦ NF/Q where χ is a Dirichlet character of p-power conductor. We may always pass from general regular algebraic automorphic representations Π and Σ to ′ u −w u −w ′ 1 unitary twists Π = Π ⊗|·|A and Σ =Σ ⊗|·|A for suitable w, w ∈ 2 Z. The existence and location of critical values and the notion of being of balanced weight is entirely governed by the cohomological weights of Π and Σ, i.e. by the infinity types Π∞ and Σ∞. Likewise, being nearly ordinary at places p above p is a local condition on Πp and Σp (cf. section 6.1). Therefore, Theorem B provides sufficient local conditions on Π and Σ for generic non-vanishing of twists. In particular, it is easy to see that if Π and Σ satisfy the hypotheses of Theorem B, then so do Π ⊗ χ′ and Σ ⊗ χ′′ for arbitrary finite order Hecke characters χ′ and χ′′ over F . Theorem B implies simultaneous generic non-vanishing for any finite collection of representations Π1,..., Πr,Σ1,..., Σr on GLn1+1(AF ),..., GLnr+1(AF ), GLn1 (AF ),..., GLnr (AF ), such that the pairs (Πi, Σi) satisfy the hypothesis of Theorem B for the same prime p. We may allow the pairs (Πi, Σi) to live over different number fields Fi, at the cost of obtaining simultaneous non-vanishing only for all but finitely many norm-inflated Dirichlet characters of p-power conductor. Using symmetric power functoriality for GL(2), it is easy to produce automorphic representations Π and Σ satisfying the hypotheses of Theorems A and B. By [18, 55, 56], the symmetric power functoriality Symn from GL(2) to GL(n +1) is known for n ≤ 4 over arbitrary number fields. Thanks to recent progress by Clozel-Thorne [7, 8, 9], we know that Symn exists for n ≤ 8 4 Fabian Januszewski for Hilbert modular forms over totally real fields F under mild hypotheses. Symmetric power lifts preserve near ordinarity and regular algebraicity (cf. Theorem 5.3 and Proposition 5.4 in [68] and Theorem 3.2 in [69]). Using base change in solvable extensions [1], we may produce examples over more general number fields. Iteratively, Theorems A and B imply the existence of p-adic meromorphic L-functions for symmetric power L-functions L(s, Symn f) of non-CM nearly ordinary Hilbert modular cusp forms f over a totally real number field F/Q, which is linearly disjoint from Q(e2πi/35), and 1 ≤ n ≤ 8, provided that f is of sufficiently large parallel weight. Our non-vanishing result also allows for the extension of the rationality results in [68, 69] to central L-values. We refer to [15] for a detailed discussion of examples and applications and a direct construction of p-adic L-functions for odd symmetric powers. The result of Theorem B appears to be new for n> 1, the case n = 1 being to Shimura and Rohrlich [78, 70, 71]. The idea to use congruences to deduce non-vanishing of central L-values goes back to Greenberg [21, 22] (the author kindly thanks Michael Harris for pointing this out). Non-vanishing is known for non-central critical values by results of Jacquet-Shalika [43] and Shahidi [76], generalizing previous results for non-central L-values for GL(n) in [42]. At the moment, the most general result for central values known appears to be due to Luo [60] (see also Nastasescu’s recent thesis [65]). Independently of our work, Sugiyama and Tsuzuki recently established in [80] a non-vanishing result for central values for GL(3) × GL(2) where the representation on the GL(2) factor arises from a cuspidal Maaß form. For yet another analytic approach to non-vanishing for GL(2)×GL(2), and possibly triple products we refer to [84].

Non-abelian p-adic interpolation. In order to study the variation of the above p-adic L-functions in Hida families, we first establish in Theorem 4.14 a control theorem for nearly ordinary cohomology of G following ideas of Hida [27, 28, 29, 30, 31, 32, 33, 35] and using delicate results on the contribution of the residual spectrum of GL(n) to the cohomology of arithmetic groups [43, 44, 63, 17, 75, 26]. Assume F totally real, CM or that Conjecture 4.9 on the existence of Galois representations for torsion classes holds for GL(m) over F (m ≤ n+1) (which is known for F totally real or CM by Scholze’s breakthrough [75]). In this situation, we have a notion of non-Eisenstein maximal ideals m in Hida’s universal nearly ordinary Hecke algebra hord(K∞,∞; O) for G, which are characterized by corresponding to residual Galois representations ρm which are (semi-simplifications of) tensor products of absolutely irreducible residual representations for GL(n + 1) and GL(n) respectively. In particular, the residual representation ρm attached to m itself may be reducible (take a tensor product of symmetric powers of the same 2-dimensional representation for example). We consider universal nearly ordinary cohomology for G Hq0+l0 (K ; O) = lim Hq0+l0 (K ; O/pαO), ord ∞,∞ ←− ord α,α α which is canonically an hord(K∞,∞; O)-module. Its localization at a (contragredient) non- ∨ Eistenstein maximal ideal m is expected to be free of rank 1 over hord(K∞,∞; O)m∨ (cf. Con- jecture 6.4; see Theorem 4.9 in [25] for a partial result towards this conjecture). Independently of this conjecture we show (cf. Theorem 6.3 in the text) Theorem C. Assume p ∤ (n+1)n and let F/Q denote a totally real or CM field or otherwise assume the existence of Galois respresentations for torsion classes. Let m denote a non-Eisenstein maximal ideal in hord(K∞,∞; O). Then there exists an element

univ q0+l0 π0(H(R)) Lp,m ∈ Hord (K∞,∞; O)m∨ with the following interpolation property. For every classical point

ξ ∈ Spec hord(K∞,∞; O)m(E) Non-abelian p-adic L-functions and non-vanishing of central L-values 5

1 of balanced weight λ and Nebentypus ϑ, such that s0 = 2 is critical for L(s, Πξ⊗Σξ), we have Ω−1 · ξ∨(Luniv) = dµ ξ,p p,m Πξ⊗Σξ b C (p∞) Z F b n µ − 1 (n+1)n(n 1) L( 2 , Πξ⊗Σξ) = N(f ) 6 · G(ϑ ) · , ϑ µ,ν Ω µ=1 ν=1 ξ Y Y b where the second identity is valid whenever ϑ has fully supported constant conductor. × × Here Ωξ,p ∈ O[ξ] is a p-adic period and Ωξ ∈ C is a complex period.

By Theorem A, both periods Ωξ,p and Ωξ may be normalized in such a way that they are invariant under twists of Πξ⊗Σξ by finite order Hecke characters χ unramified outside p. Previous results on the variation of special values in Hida families in our setup were limited to the case n = 1 and F totallyb real, cf. [14]. Even for GL(2) over a CM field our results are new. univ A subtle consequence of Theorem C is that the ‘big’ p-adic L-function Lp,m does not see any possible defects to exact control, although we can currently only establish control up to finite error (cf. Theorem 4.14). This is in line with the following expectation. Current methods of establishing R = T theorems usually establish the freeness and cyclicity q +l π (H(R)) 0 0 0 ∨ of Hord (K∞,∞; O)m∨ over hord(K∞,∞; O)m as a byproduct. In this situation, we may univ univ interpret Lp,m as an element of the Hecke algebra, and if R = T is established for m, then Lp,m may also be considered as an element of R (remark that unless the residual Galois representation ρm is absolutely irreducible, we cannot define R as a classical deformation ring). Assuming this freeness, we establish with Theorem 6.7 a refinement of Theorem C, which is in line with general expectations on the existence and properties of genuine p-adic L-functions (cf. Conjecture 4.2.1 and Question 4.4.1 in [34]). As an application of Theorem C, we extend Theorem B to cases where the central value is the only critical value (cf. Corollary 6.16 in the text). Theorem D. Let p ∤ (n + 1)n, F/Q totally real or CM, or assume that Conjecture 4.9 holds for F . Let m denote a non-Eisenstein maximal ideal in hord(K∞,∞; O). Assume that X ⊆ Spec hord(K∞,∞; O)m(E) is an irreducible component containing a classical point ξ of balanced weight such that L(s, Πξ⊗Σξ) admits at least two critical values. Assume furthermore that the classical points in X of balanced cohomological weight λ = 1 λn+1 ⊗ λn, are dense and that their L-functionsb admit s0 = 2 as the unique critical value. Then there exist irreducible regular algebraic cuspidal automorphic representations Π′ and Σ′ of cohomological weights λn+1 and λn contributing to X satisfying 1 (2) L( , Π′⊗Σ′) 6= 0. 2 Furthermore, b 1 (3) L( , Π′⊗Σ′ ⊗ χ) 6= 0. 2 for all but finitely many finite order Hecke characters χ in the cyclotomic line. b In fact, (2) holds generically for classical points ξ of weight λ. By construction, the repre- ′ ′ sentation Π ⊗Σ also contributes to the non-Eisenstein component Spec hord(K∞,∞; O)m. In particular, it is nearly ordinary at p and unramified outside p. Remark thatb for F not totally real, we know that there are components which do not contain a Zariski dense subset of classical points, cf. [3] for the case n = 1, and the same is to be expected for general n.

Outline of the paper. In the first section, we recollect fundamental facts on Hecke algebras and p-stabilization. Our treatment diverges from [73, 53, 47, 48, 49], since p-stabilization 6 Fabian Januszewski may not be achieved by the projectors constructed in loc. cit. due to the arbitrary ramification we allow: The known explicit formulae for the valuation of Whittaker functions (cf. [58, 61, 62]) imply the vanishing of the ordinary projection of the essential vectors in these cases. In section 2, we prove local and global Birch Lemmata for general nearly ordinary automorphic representations in Theorems 2.8 and 2.9. Section 3 contains the fundamental observations on the level of lattices in rational representations of G, which will allow us to prove the congruences which are necessary to establish Theorems A and C. In section 4, exploiting results on the contribution of the residual spectrum of GL(n) to the cohomology of arithmetic groups [43, 44, 63, 17, 75, 26], we establish with Theorem 4.14 a control Theorem for G. We build on Hida’s fundamental work [27, 28, 29, 30, 31, 32] on the case GL(2) and make extensive use of his results for SL(n) and (inner forms of) GL(n) in [33, 35]. Section 5 contains our construction of p-adic measures, both in the Iwasawa algebra for abelian interpolation and also on Hida’s universal nearly ordinary cohomology with torsion coefficients. In this section we use the beautiful formalism of automorphic symbols introduced in [14] in the case of GL(2). Finally, section 6 applies the results of the previous sections to the construction of abelian and non-abelian p-adic L-functions for automorphic representations of G. It also contains our applications to non-vanishing of central L-values. Two local non-vanishing results are crucial to our approach: At places dividing p, we need the results on p-stabilization and on the local zeta integrals from sections 1.6 and 2, and at archimedean places we rely on the non-vanishing results established in [52, 81]. The reader only interested in the construction of abelian p-adic L-functions or the proof of the non-vanishing result in Theorem B may safely skip sections 4.3 to 4.6 and sections 5.5, 6.2 and 6.4. Acknowledgement. The author would like to thank Günter Harder, Haruzo Hida, Claus-Günther Schmidt, Joachim Schwermer, Giovanni Rosso, Binyong Sun, Jack Thorne and Shunsuke Ya- mana for valuable discussions and helpful remarks. The author thanks Michael Harris for pointing out the references to Greenberg’s work [21, 22], as well as for informing the author that Ellen Eischen worked independently on a similar approach to non-vanishing in the case of unitary groups (which in the meantime is also available as preprint [16]). The author thanks the participants of the recent BIRS-CMO workshop on this topic for their interest in this work and the coorganizers for the opportunity to present it in a series of lectures. The author acknowl- edges support from the Max Planck Institute for Mathematics in Bonn while hosting him when part of this work was finalized. Finally, the author thanks his collaborators Mladen Dimitrov and A. Raghuram from [15] for their enthusiasm. Notation

Fields and Algebras. In the body of the paper, F denotes a number field, i.e. a finite extension of Qp or of Q. In the first case, we write O ⊆ F for the valuation ring, p ⊆ O for the maximal ideal, and q = N(p) for the cardinality of the residue field O/p. We normalize the valuation |·| on F in such a way that |̟| = q−1 for a uniformizer ̟ ∈ p. In the case of a number field F/Q, let AF = AQ ⊗Q F denote the ring of adèles over F and (∞) (∞) abbreviate A = AQ. We write AF = AF,∞ ⊗ AF where AF denotes the ring of finite adeles (p∞) over F . More generally, AF denotes the ring of finite adeles outside p, etc. The letter p always denotes a prime in Z. E/Qp is a finite extension whose valuation ring is also denoted by O (there is no confusion possible). We let E denote an algebraic closure and O⊆ E the corresponding valuation ring. Groups. If L is an algebraic or topological group, we write L0 for the connected component 0 der containing the identity, and π0(L)= L/L for the component group. We denote by L = [L,L] Non-abelian p-adic L-functions and non-vanishing of central L-values 7 the derived group. We let Bn denote the standard Borel subgroup of GLn of upper triangular − matrices, Un denotes its unipotent radical and we choose the subgroup Bn ⊆ GLn of lower − triangular matrices as opposite to Bn. Then Tn = Bn ∩ Bn is the standard diagonal torus. W (GLn, Tn) denotes the Weyl group of GLn with respect to Tn, realized as the subgroup of permutation matrices in GLn. It is canonically isomorphic to the symmetric group Sn on {1,...,n}: To each ω ∈ W (GLn, Tn) we associate a permutation σ ∈ Sn via the rule

ω · bk = bσ−1(k) n for 1 ≤ k ≤ n. Here bk denotes the k-th standard basis vector of Z . Then for any a = n −1 (ai)1≤i≤n ∈ A , A a (commutative) ring, we have ωa = (aσ(i))1≤i≤n. The map ω 7→ σ is an isomorphism W (GLn, Tn) → Sn. Let wn ∈ W (GLn, Tn) denote the longest element. It is explicitly given by 1 w = · · . n  ·  1 We have the embedding   jn : GL(n) → GL(n + 1), g 0 g 7→ . 0 1 Set G := resF/Q (GL(n + 1) × GL(n)) for a number ﬁeld F . Consistent with the notation for GLn, let B ⊆ G denote the standard upper triangular Borel subgroup with unipotent radical U, B− its standard opposite of lower triangular matrices, and T = resF/Q Tn+1 × Tn the diagonal torus. The longest element in the Weyl group W (G, T ) with respect to B is denoted

w0 := (wn+1, wn) ∈ G(Z).

Dominance for G and GLn is understood with respect to B and Bn respectively. Write ∆ = jn × 1 : resF/Q GL(n) → G for the diagonal embedding and set

H := ∆(resF/Q GL(n)) ⊆ G for the diagonally embedded copy of GL(n), which we freely identify with the latter. It comes with a distinguished character

NH := NF/Q ◦ det : H → GL1 defined over Q. Write XQ(H) for the lattice of Q-rational characters of H, which is generated by NH . Put H := ker χ. χ∈X\Q(H) e For a dominant weight λ of G, write Lλ,E for the irreducible rational representation of highest weight λ defined over some field E/Q. We call λ balanced, if 0 (4) H (H; Lλ,E) 6= 0. This is the same to say that there is a non-zero H-invariant functional e ⊗j ηj : Lλ,E → E(j) := NH ⊗ E for some j ∈ Z, i.e.

(5) HomH (Lλ,E, E(j)) 6= 0.

We call such a non-zero ηj admissible for λ. We refer to section 2.4.5 of [69] for a straightforward explicit description of condition (5) in terms of highest weights for GL(n). 8 Fabian Januszewski

Let gZ denote the Lie algebra of G over Z, i.e. more precisely we take the restriction of scalars

G = resOF /Z GL(n + 1) × GL(n) of the ring of integers in F to Z of the standard smooth group scheme GL(n + 1) × GL(n) over OF and use the same notation for B, H, ..., with the similar standard choice of smooth models over Z in each case. For any Z-algebra A/Z we set

gA := gZ ⊗Z A, again likewise for the other Lie algebras under consideration. Let U(gA) denote the universal enveloping algebra of gA over A. Matrices. We introduce the matrix 1 . wn . hn :=   ∈ GLn+1(Z). .  .   0 . . . 0 1 n ×  For e = (e1,...,en) ∈ Z and a ∈ A , deﬁne the matrix

e e1 en a := diag(a , . . . , a ) ∈ GLn(A). We consider any δ ∈ Z as the constant tuple denoted (δ) ∈ Zn. Then aδ · ae = a(δ)+e. n The character lattice of Tn is canonically identiﬁed with Z in such a way that the dominant weights for GL(n) with respect to Bn are ordered n-tuples λ = (λ1, . . . , λn) of decreasing integers

λ1 ≥ λ2 ≥···≥ λn.

Then the sum 2ρn of the positive roots of GL(n) is represented by the tuple n 2ρn = (n − 1,n − 3,..., 3 − n, 1 − n) ∈ Z . For x ∈ A× deﬁne

(6) dx := ∆(diag(x, 1,..., 1)) ∈ G(A),

ρn+((n−1)/2) n n−1 (7) tx := x = diag(x ,x ,...,x) ∈ GLn(A). We also consider the latter element as an element of G(A) via the diagonal embedding. With this notation at hand, set

(8) h := (hnjn(t−1), 1n) ∈ G(Zp).

1. Hecke Algebras

1.1. Hecke pairs. For any Hecke pair (R,S) consider the free Z-module HZ(R,S) over the set of all double cosets RsR, which naturally embeds into the free Z-module RZ(R,S) over the set of the right cosets sR, s ∈ S:

RsR = siR 7→ siR. Gi Xi Identify HZ(R,S) with its image under this embedding. Then HZ(R,S) is the Z-module of R-invariants under the action

R × RZ(R,S) → RZ(R,S), (r, sR) 7→ rsR.

It is well known that HZ(R,S) admits a structure of an associative Z-algebra with multiplication

siR · tjR := sitjR. !   Xi Xj Xi,j This algebra is unitary if and only if R ∩S 6= ∅. For any commutative ring A set

HA(R,S) := HZ(R,S) ⊗Z A.

Then HA(R,S) is an associative A-algebra, the Hecke algebra of the pair (R,S) over A. Non-abelian p-adic L-functions and non-vanishing of central L-values 9

For a locally compact topological group G and a compact open subgroup K ≤ G, the module RA(K, G) may be interpreted as the A-module of locally constant right K-invariant mappings f : G → A with compact support and HA(K, G) is just the submodule of left K-invariant mappings. If A ⊆ C, then multiplication is nothing but convolution

α ∗ β : x 7→ α(g)β(xg−1)dg, ZG where dg is the right invariant Haar measure on G which assigns measure 1 to K. This integral is eventually a ﬁnite sum with integer coeﬃcients. Therefore, this interpretations is valid even without the assumption A ⊆ C.

1.2. p-adic Hecke algebras. Let F/Qp denote a p-adic ﬁeld with integer ring O. Write p ⊆ O for the maximal ideal, ̟ ∈ p for a uniformizer and q = N(p) the norm of p. For any α ≥ α′ ≥ 0 n α write Iα′,α ⊆ GLn(O) for the subgroup of matrices becoming upper triangular modulo p and α′ α′ n n which lies in Un(O/p ) when considered modulo p . Set Iα := I0,α. n Recall that a tuple e = (e1,...,en) ∈ Z is dominant if

e1 ≥ e2 ≥···≥ en. Consider the semigroup

× e n ∆F,n := Tn(O ) · {̟ | e ∈ Z≥0 dominant} ⊆ Tn(F ) and deﬁne the Hecke algebra

n ′ n n n HA(α , α) := HA(Iα′,α,Iα′,α∆F,nIα′,α).

Whenever e is dominant, en ≥ 0 and α> 0 we deﬁne a Hecke operator

e n e n e ′ (9) U̟ := Iα′,α̟ Iα′,α = u̟ Iα ,α, e −e u∈Un(O)/̟GUn(O)̟ which depends on the choice of ̟ whenever α′ > 0. It is well known that these operators commute [37, 23, 33, 35]. Moreover, we have the relation

e e′ e+e′ U̟ · U̟ = U̟ ′ n for any dominant e, e ∈ Z≥0. Therefore, writing

ων := (1,..., 1, 0,..., 0) ν n−ν for the ν-th fundamental weight with ν leading| {z 1’s} and| {zn −} ν tailing 0’s, the operators

ων Vν := U̟ , 1 ≤ ν ≤ n, n generate HA(0, α). e n e n ′ Sending U̟ ∈HA(0, α) to U̟ ∈HA(α , α) deﬁnes an inclusion n n ′ HA(0, α) ⊆ HA(α , α), depending on the choice of uniformizer ̟. We see that

n ′ n n n n α′ (10) HA(α , α) = HA(0, α)[Iα /Iα′,α] = HA(0, α)[Tn(O/p )], which is a ﬁnitely generated commutative A-algebra (cf. [33, 35]). 10 Fabian Januszewski

1.3. Parabolic Hecke algebras. Deﬁne

Bn n Iα′ := Bn(F ) ∩ Iα′,α.

As the notation suggests, this compact open subgroup of Bn(F ) is independent of α. Restriction induces a canonical isomorphism

n ′ ∼ Bn Bn Bn (11) HA(α , α) = HA(Iα′ ,Iα′ ∆F,nIα′ ), which on cosets is explicitly given by the map

n Bn gIα′,α 7→ gIα′ . Existence of the Iwasawa decomposition shows that this is well deﬁned. Set

Bn ′ Bn Bn n Bn HA (α ) := HA(Iα′ ,Iα′ (Tn(F ) ∩ O )Iα′ ).

n ′ Bn ′ Then by (11), HA(α , α) is a subalgebra of HA (α ).

Bn ′ 1.4. The Up-operators. In HA (α ) we have the Hecke operators

1i−1 0 0 Bn Bn U := I ′ 0 ̟ 0 I ′ , 1 ≤ i ≤ n. i α   α 0 0 1n−i e   With (10) we see ′ Bn ′ Bn α HA (α ) = HA (0)[Tn(O/p )]. Proposition 1.1. We have for 0 ≤ ν ≤ n,

ν(ν−1) (12) q 2 · Vν = U1U2 · · · Uν. Proof. The proof of Lemma 4.1 in [53] remains valid in our setting. e e e Set n−1 Up := Vν, ν=1 Y and n ′ Up := Vn · Up = Vν. νY=1 1.5. Decomposition of Hecke polynomials. Consider the standard Hecke operators

ων n Tν := I0,0̟ I0,0 ∈ HA(0, 0) in the spherical Hecke algebra. The reciprocal Hecke polynomial n − ν ν(ν 1) n−ν n ′ (13) HF (X) := (−1) q 2 Tν X ∈HA(α , α) Xν=0 admits a factorization n (14) HF (X)= (X − Ui), Yi=1 e cf. [23, Theorem 2]. Although HF (X) is deﬁned via the spherical Hecke algebra, it is relevant for us in the ramiﬁed case as well due to its relation to the Hodge polygon (cf. [35]). Non-abelian p-adic L-functions and non-vanishing of central L-values 11

1.6. p-stabilization in principal series representations. Let E/Q denote a ﬁeld of characteristic 0. Recall that the norm |·| on F is normalized such that |̟| = q−1 and consider its values in E. For an admissible representation (V,π) of GLn(F ) over E the Jacquet module is deﬁned as

VBn := V/huv − v | u ∈ Un(F ), v ∈ V i.

This is an admissible representation of Tn(F ). For a representation W of Bn(F ) over E, deﬁne the space Un(O) W := {w ∈ W |∀u ∈ Un(O) : uw = w}

Un(O) Bn ′ ′ of invariants. If W is of ﬁnite length, then W is naturally an HE (α )-module for α ≫ 0 suﬃciently large. The operator w 7→ uw du ZUn(O) Un(O) for the normalized Haar measure du on Un(O) is a projector W → W . Therefore, taking invariants is an exact functor and we have an epimorphism

(15) V Un(O) → V Un(O). Bn × × Fix a continuous character λ : Tn(F ) → E , where E is topologized with the discrete topology. We introduce a modified character n n−i λ : diag(t1,...,tn) 7→ |ti| λi(ti), Yi=1 e where λi denotes the restriction of λ to the i-th component of Tn(F ). Considering λ˜ as a character of Bn(F ), define an algebraically induced principal series representation IGLn (λ) := IndGLn(F ) λ, Bn Bn(F ) where IndGLn(F ) denotes unnormalized algebraic induction in the category of smooth represen- Bn(F ) e tations (cf. Définition 1.9 in [6]). Then, if E = C, − 1 n GL |det(·)| 2 ⊗ I n (λ) Bn agrees with the normalized induction of λ from Bn(F ) to GLn(F ). Recall that the Weyl group W (GLn, Tn) acts naturally on the set of characters of Tn(F ) from the right. Then for every ω ∈ W (GLn, Tn), ss ss IGLn (λ) = IGLn (λω) , Bn Bn where the superscript (−)ss denotes semisimplification.

× Proposition 1.2 (Hida). Let E/Q denote a ﬁeld of characteristic 0 and let λ : Tn(F ) → E ω denote a continuous character as above. Assume that the characters λ for ω ∈ W (GLn, Tn) are pairwise distinct. Then (i) The Jacquet module of IGLn (λ) is a semisimple T (F )-module and as such Bn n (16) IGLn (λ) = λω. Bn Bn ω∈WM(GLn,Tn) f ω (ii) Each v in the λ -isotypic component in (16) is a simultaneous eigenvector of Vν , 1 ≤ ν ≤ n, and

f ν(ν−1) − ω ων (17) Vνv = q 2 (λ )(̟ ) · v. 12 Fabian Januszewski

Proof. This is a restatement of Proposition 5.4 and Corollary 5.5 in [35], taking into account that Hida works with a diﬀerent normalization stemming from the right actions considered in loc. cit., where we work with left actions. Hida showed in particular that

Un(O) (18) IGLn (λ) = IGLn (λ) . Bn Bn Bn Bn ′ Bn ′ Therefore, for α suﬃciently large, HE (α ) acts on the Jacquet module canonically.

Let π be a generic irreducible admissible representation of GLn(F ) with Whittaker model W (π, ψ) with respect to a generic character ψ of Un(F ) trivial on Un(O).

Proposition 1.3. Let π be a generic irreducible admissible representation of GLn(F ). As- sume that π occurs as a subquotient of IGLn (λ) for a character λ satisfying the condition Bn ω that λ for ω ∈ W (GLn, Tn) are pairwise distinct. Then every simultaneous Vν-eigenvector W ∈ W (π, ψ)Un(O), 1 ≤ ν

(i) There exists a unique ω ∈ W (GLn, Tn) such that for all 1 ≤ ν ≤ n : ν(ν−1) − ω ων (19) Vν W = q 2 (λ )(̟ ) · W. (ii) W lies in a unique line in W (π, ψ) characterized by (19) and

W (1n) 6= 0. Proof. By equation (5.4) on page 678 of [35] we know that

(20) W (π, ψ)Un(O) = W (π, ψ)Un(O) ⊕ ker W (π, ψ)Un(O) → W (π, ψ)Un(O) , Bn Bn and each Vν acts nilpotently on the second summand on the right hand side. Therefore, by our hypothesis on W , this Whittaker vector maps to a non-zero V -eigenvector W ∈ W (π, ψ)Un(O) ν Bn Bn with same eigenvalue. By the hypothesis on λ, relation (17) shows that there is a unique ω ∈ W (GLn, Tn) satisfying (i), because distinct elements of the Weyl group yield diﬀerent sets of eigenvalues. This also implies the uniqueness of W up to a scalar. This also shows that the Jacquet module of π admits λω as a direct summand. Therefore, by Frobenius reciprocity, π occurs as a submodule of IGLn (λω) and hence occurs as a factor Bn module of IGLn (λωwn ). f Bn For the second statement in (ii), we may assume E = C and realize IGLn (λωwn ) inside the Bn space of functions

ωw {f : GLn(F ) → C |∀g ∈ GLn(F ), b ∈ Bn(F ) : f(bg)= λ]n (b)f(g)}, Remark that for α ≥ 1, the double coset n (21) Bn(F )wnIα,α = Bn(F )wnUn(O) is independent of α. Put

ωw λ]n (b), if g = bwnr, b ∈ Bn(F ), r ∈ Un(O), f0 : g 7→ (0, else.

By construction, f is an element of IGLn (λωwn )Un(O) satisfying 0 Bn ν(ν−1) − ω ων (22) Vνf0 = q 2 λ (̟ ) · f0, 1 ≤ ν ≤ n.

For every f ∈ V supported on Bn(F )wnBn(F ) and g ∈ Bn(F )wnBn(F ), consider for the normalized Haar measure du on Un(F ) the integral

(23) Wf (g) := f(wnug)ψ(u)du. ZUn(F ) Non-abelian p-adic L-functions and non-vanishing of central L-values 13

By a well known result of Rodier, this integral converges and extends uniquely to an intertwining operator IGLn (λωwn ) → IndGLn(F ) ψ, Bn Un(F ) cf. Corollary 1.8 in [5]. By (23), the vector f0 is sent to a Whittaker vector which evaluates at 1n to

Wf0 (1n) = f0(wnu)ψ(u)du ZUn(F ) = du ZUn(O) 6= 0, because the integrand vanishes for u 6∈ Un(O) and assumes the value f0(w0)=1 for u ∈ Un(O). Now since π is a factor module of IGLn (λωwn ), the uniqueness of Whittaker models for Bn IGLn (λωwn ) shows that we have a commutative square Bn GL (F ) IGLn (λωwn ) −−−−→ Ind n ψ Bn Un(F )

 GL n(F ) π −−−−→ Ind ψ y Un (F ) ′ W Therefore, Wf0 maps to a simultaneous eigenvector W of the operators Vν in (π, ψ). By the multiplicity one property of the eigenspaces characterized by (22), there is a non-zero scalar c ∈ F × satisfying W = c · W ′, and therefore ′ W (1) = c · W (1n) = c · Wf0 (1n) 6= 0. This concludes the proof.

Remark 1.4. The relation between the eigenvalues of the operators Vν and the local L-function L(s,π) attached to π as in [20] is the following. Let n 1 L(s,π) = −s , 1 − αiq Yi=1 for αi ∈ C. By Corollary 3.6 in loc. cit. we know that there is a polynomial P (X) ∈ C[X] satisfying P (1) = 1 and P (q−s) L(s,π) = P (q−s) · L s,IGLn (λ) = , Bn n − − n 1 −s 1 − λi(̟)q 2 i=1 × λi(OQ)=1 where the product in the denominator on the right hand side runs over all i for which λi is − − n 1 unramiﬁed. Hence, αi equals either λi(̟)q 2 6= 0 or 0. Assuming without loss of generality that α1,...,αℓ 6= 0 and αℓ+1 = · · · = αn = 0, for some 0 ≤ ℓ ≤ n, we have ℓ = n if and only if π is spherical. Furthermore, π is Iwahori- spherical if and only if the characters λ1, . . . , λn are unramiﬁed.

2. A Birch Lemma for p-nearly ordinary automorphic forms In this section we generalize the Birch Lemma from [47, 48] to arbitrary p-nearly ordinary forms. The local main result is Theorem 2.8, whose proof will occupy section 2.1. The global main result is Theorem 2.9. 14 Fabian Januszewski

2.1. The twisted local Zeta integral. We use the notation of [47, Section 2] in the modified setting of [48] with minor modifications. In particular, in this section F denotes a nonarchimedean local field with valuation ring O ⊆ F . Fix again a uniformizer ̟ ∈ O and write p ⊂ O for the maximal ideal and q = N(p) as before. × × If χ : F → C is a quasi-character, we write fχ for its conductor and assume that it is eχ generated by fχ = ̟ , eχ ≥ 0. By abuse of notation, we occasionally write χ(g) for χ(det(g)), g ∈ GLn(F ). Fix a non-trivial additive character ψ : F → C× of conductor O. The choice of ψ normalizes the Gauß sum 1 G(χ) := χ(x/fχ)ψ(x/fχ) = · χ(x)ψ(x)dx, × × N(fχ) F x+fχ∈X(O/fχ) Z where the second identity is only valid for fχ 6= 1 and dx denotes the additive Haar measure on F which attaches volume 1 to O. Implicit in the second identity is the fact that for any 0 6= g ∈ O, we have with h := f ∩ gO the relation N(h/f ) · χ(g/f ) · G(χ), if f = Og, (24) χ(x/g)ψ(x/g) = χ χ χ × (0, otherwise. x+h∈X(O/h) Extend ψ to Un(F ) by the rule n−1 (25) ψ(u) := ψ(uii+1) Yi=1 for u = (uij) ∈ Un(F ). The Haar measure dg on GLn(F ) is normalized such that the maximal compact subgroup GLn(O) has measure 1. n Denote by I the Iwahori subgroup of GLn(O), i.e. the group of matrices g ∈ GLn(O) that α n become upper triangular modulo p. Fixing another element f = ̟ ∈ O with α ≥ 1, write Iα for the subgroup of elements of GLn(O) lying in Bn(O/f) modulo f := O · f. All quantities that are defined relative to f in [47] keep their meaning, i.e. the matrices An, α Bn, Cn, Dn, En, φn are all defined with respect to f = ̟ . We recall their definition below. In particular, −(n−1) −(n−3) n−3 n−1 Dn := diag(f ,f ,...,f ,f ) ∈ GLn(F ) and for any δ ∈ Z the definition of the linear form δ n×n −δ t λn : F → F, g 7→ ̟ · bn · g · φn, where −n −(n−1) −1 t φn := (f ,f ,...,f ) . Again for δ ∈ Z we have

jn,δ : GLn(F ) → GLn+1(F ), g 0 g 7→ . 0 ̟δ Then jn = jn,0. Deviating slightly from notation in previous works, put

n ℓ Jℓ := ker GLn(O) → GLn(O/f ) . Assume ℓ ≥ 2n. Then h i n n −1 n Jℓ ⊆ Iα ∩ wnDn Iα Dnwn. Non-abelian p-adic L-functions and non-vanishing of central L-values 15

ℓ × Fix a system Rℓ of representatives for O/f and let Rℓ ⊆ Rℓ be a system of representatives × of O/fℓ . To simplify notation in the sequel, we assume that

ℓ−1 (26) 0, ±1, ±f,..., ±f ∈ Rℓ. Set n Rn,ℓ := {(rij) ∈ I | rij ∈ Rℓ}. n n As in [47] (where l is our ℓ), Rn,ℓ is a system of representatives for I /Jℓ and as such may be endowed with the natural group structure which is induced by matrix multiplication modulo fℓ. Deﬁne for any ω ∈ W (GLn, Tn), ω −1 − Rn,ℓ := Rn,ℓ ∩ ω Bn (O)ω. ω Then Rn,ℓ is a subgroup of Rn,ℓ. We consider the action of the compact torus × n Tn(O)= O on GLn(F ), which for γ = (γ1, . . . , γn) ∈ Tn(O) is given by γ γ · : GLn(F ) → GLn(F ), g 7→ g := g · diag(γ1, . . . , γn). ω Then Tn(O) acts naturally on the set of representatives Rn,ℓ via its action on the quotient n n I /Jℓ . This action factors over the ﬁnite torus n ℓ × ℓ Tn(O/f )= O /(1 + f ) .

ω The action of the latter on Rn,ℓ is faithful. We ﬁx a system of representatives Tn,ℓ ⊆ Tn(O) for ℓ Tn(O/f ). If σ ∈ Sn corresponds to ω and σ(n)= n, set ˜ ω ω n−1 n−j Rn,ℓ := {(rij ) ∈ Rn,ℓ | rn1 = f , rnj = −f , 2 ≤ j ≤ n}. ˜ ω Proposition 2.1 (Proposition 2.4 in [47]). If σ(n)= n we have for any r ∈ Rn,ℓ

− ˜ ω n(n 1) # Tn(O) · r ∩ Rn,ℓ = N(f) 2 .

n(n−1) ω 2 In other words, the orbit of r under the action of Tn(O) on Rn,ℓ contains N(f) elements ˜ ω of Rn,ℓ. As in [47], deﬁne the matrices 1 f −1 0 . . . 0 −1 .. . 0 1 −f . .  A := ...... ∈ In, n . . . . 0  . .  . .. −1 . 1 −f    0 ...... 0 1    1 0 ...... 0 .. . f −1 . .  B := .. . ∈ In, n 0 f −1 . .   . . . .   ......   . 0    0 . . . 0 f −1   16 Fabian Januszewski and 1 0 ··· ··· 0 .. .. .  0 . . .  . . . . . n Cn := ...... ∈ I ,  . .     0 · · · 0 1 0   n−1 n−2  f −f . . . −f −1   subject to the convention that B1 = C1 = 11 and B0 := 10. This guarantees that for all n ≥ 0 relation (41) below holds. Deﬁne the projection n×n n−1×n−1 p : F → F , (gij) 7→ (gij)1≤i,j≤n−1. Proposition 2.2 (Proposition 2.5 in [47]). If σ(n)= n, we have for ω˜ := p(ω), r˜ := p(r), ˜ ω ω˜ #Rn,ℓ =#Rn−1,ℓ. Furthermore, the projection p induces a bijection ˜ ω ω˜ p : Rn,ℓ → Rn−1,ℓ and GLn−1(F ) → GLn(F ), g˜ 7→ jn−1(˜g) · Cn induces the inverse of p. Recall the well known decomposition e n (27) GLn(F )= Un(F )̟ ωI .

ω∈W (GLn,Tn) e∈GZn by Iwahori-Matsumoto [37], Proposition 2.33, and Satake [72], section 8.2. The definition of ω Rn,ℓ is justified by the following refinement of (27). e ω Proposition 2.3 (Proposition 2.2 in [47]). The set ̟ ωRn,ℓ is a system of representatives for the double cosets e n n Un(F )̟ ωrJℓ , r ∈ I e n n in Un(F )̟ ωI . Fix an ℓ(e) ≥ 2n for any e ∈ Z . Then e n GLn(F )= Un(F )̟ ωrJℓ(e). e∈Zn ω∈W (GLG n,Tn) ω r∈Rn,ℓ(e) We will also need the following refinement of Proposition 2.3 in [47]. n ω Proposition 2.4. For any e ∈ Z , ω ∈ W (GLn, Tn) and r ∈ Rn,ℓ the measure

dg U (O)̟eωrJn Z n ℓ is independent of ω and r. If e ∈ Zn and ℓ> 0, then n e −e −µ −1 − ℓ(n+1)n dg = [̟ Un(O)̟ : Un(O)] · 1 − N(p) · N(f) 2 . U (O)̟eωrJn Z n ℓ µ=1 Y Proof. The ﬁrst statement and the second in the case e = 0 follows as in Proposition 2.3 in [47]. For general dominant e ∈ Zn, observe that

e −e dg = [̟ Un(O)̟ : Un(O)] · dg, U (O)̟eJn U (O)ωrJn Z n ℓ Z n ℓ whence the claim. Non-abelian p-adic L-functions and non-vanishing of central L-values 17

× × Let θ1,...,θn+1 : F → C denote quasi-characters with conductors dividing f. These characters give rise to a character n+1 × (28) θ : Iα → C , n+1 (rij)ij 7→ θi(rii). Yi=1 ′ ′ Assume furthermore given another set of (ﬁnite order) characters θ1,...,θn again with conductors dividing f. These give likewise rise to a character ′ n × (29) θ : Iα → C . Remark that n+1 n ′ J1 ⊆ ker θ, J1 ⊆ ker θ . −1 Let w and v denote ψ- resp. ψ -Whittaker functions on GLn+1(F ) resp. GLn(F ), with the n+1 n ′ additional property that w and v transform under Iα and Iα (from the right) via θ resp. θ : n+1 (30) ∀g ∈ GLn+1(F ), r ∈ Iα : w(gr) = θ(r) · w(g), n ′ (31) ∀g ∈ GLn(F ), r ∈ Iα : v(gr) = θ (r) · v(g). We need the following statement which generalizes Lemma 2.6 in [47] and Lemma 4.1 in [48]. Lemma 2.5. We have for any δ ∈ Z an identity

w (jn,−δ(g)Cn+1 · Dn+1wn+1) v(g)=

δ ′ −1 (32) ψ λn(gBn) w (jn,−δ(gBn · Dnwn)) v(gBn) · θ (Bn ). Proof. The proof proceeds as the proof of Lemma 4.1 in [48], with the following additional observations: −1 n+1 wn+1Dn+1An+1Dn+1wn+1 ∈ J1 ⊆ ker θ, and ′ −1 v(g) = θ (Bn ) · v(gBn).

Let χ be a quasi-character of F . We suppose that the condition

(33) α ≥ eχ n is satisﬁed in all what follows. Let e ∈ Z , ω ∈ W (GLn, Tn),

(34) ℓ ≥ max{2n,n − e1/α,...,n − en/α}, and δ ∈ Z. ω The decomposition of Rn,ℓ into Tn(O)-orbits leads to partial sums δ e γ e γ Zn(s; w,v,δ,e,ω,r) := ψ(λn(̟ ω r)) · w (̟ ω r · Dnwn) · γ∈TXn,ℓ e γ e γ e γ s− 1 v(̟ ω r) · χ(̟ ω r) · |det(̟ ω r)| 2 , ω for any r ∈ Rn,ℓ and s ∈ C. For any g ∈ GLn+1(F ) set θg(r) := θ(grg−1). n Lemma 2.6. Let s ∈ C, e ∈ Z , ω ∈ W (GLn, Tn), ℓ ∈ Z subject to (34), and δ ∈ Z. Then

(i) Zn(s; w,v,δ,e,ω,r) is independent of the choice of Tn,ℓ. 18 Fabian Januszewski

(ii) Assume that for all 1 ≤ ν ≤ n and µ = n + 1 − ν,

′ (35) eχθµθν > 0,

is satisﬁed. Then Zn(s; w,v,δ,e,ω,r) vanishes unless

(36) en = δ + α · (n + 1 − σ(n)) − e ′ . χθn+1−σ(n)θσ(n) (iii) If conditions (35) and (36) are satisﬁed, and if the exponent in (35) is independent of ν, then Zn(s; w,v,δ,e,ω,r) vanishes unless σ(n)= n and for 1 ≤ ν ≤ n, n−ν (37) |rnν| = f . (iv) If the hypotheses of (iii) are satisﬁed, we may assume without loss of generality that n−1 n −ν (38) rn1 = f , and rnν = −f for 2 ≤ ν ≤ n. If additionally, (35) holds for all 1 ≤ ν ≤ µ ≤ n, then n wn ′ wn ′ ℓ wn ′ Z (s; w,v,δ,e,ω,r) = χθ θ (B ) · χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ) · n n ν ν χθν θν χθν θν ν ν ν=1 Y e e e e s− 1 w (̟ ωr · Dnwn) · v(̟ ωr) · χ(̟ ωr) · |det(̟ )| 2 .

Proof. The claimed property of Zn(s; w,v,δ,e,ω,r) in (i) is clear by deﬁnition. The relation e γ e γ ̟ ω r · Dnwn = ̟ ωr · Dnwn · (wn 1nwn) , with γ n wn 1nwn ∈ Iα , yields

′ wn ′ γ 0 e−(δ) γ Zn(s; w,v,δ,e,ω,r) = χθ (r) · χθ θ ( 1n) · ψ(λn(̟ ω r)) · γ∈TXn,ℓ e e e s− 1 e w (̟ ωr · Dnwn) · v(̟ ω) · |det(̟ )| 2 · χ(̟ ω). Unfolding gives n e−(δ) γ en−δ ν−n−1 ψ(λn(̟ ω r)) = ψ ̟ f rσ(n)ν · γν , νY=1 which in turn shows that

wn ′ γ e−(δ) γ χθ θ ( 1n) · ψ(λn(̟ ω r)) γ∈TXn,ℓ n ′ wn en−δ ν−n−1 (39) = χθνθν (γν ) · ψ ̟ f rσ(n)ν · γν . × ν=1 l Y γν ∈(XO/f )

In the case ν = σ(n), the entry rσ(n)ν is a unit, and hypothesis (35) together with the vanishing relation (24) therefore implies (ii). Under the hypotheses of (iii), if σ(n) 6= n, we have σ(n) < n and we see with (36) that therefore e − δ − α > −e wn ′ . n χθν θν for 1 ≤ ν ≤ n (recall that the right hand side is independent of ν by our hypothesis). In the case ν = n, we obtain

en−δ n−n−1 en−δ −1 −1 ̟ f r · γn ≤ ̟ f < f ′ , σ(n)n χθ1θn whence Zn(s; w,v,δ,e,ω,r ) vanishes by (24). In the case σ(n)= n , by (24) once again any violation of condition (37) implies vanishing of (39). This proves (iii). Non-abelian p-adic L-functions and non-vanishing of central L-values 19

In case (iv), we may by (i) and (37) assume without loss of generality that rn• is chosen as in (38). Then by (24), the value of (39) is given by

n wn ′ wn ′ ℓ wn ′ χθ θ (B ) χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ), n ν ν χθν θν χθν θν ν ν νY=1 and (iv) follows.

Under the hypotheses in statement (iii) of the previous lemma set for γ ∈ Z

n dn,γ := (γ · (n + 1 − i))1≤i≤n ∈ Z .

Lemma 2.7. Assume that for all 1 ≤ µ ≤ n and all 1 ≤ ν ≤ µ :

e wµ ′ > 0. χθν θν

Assume additionally that these exponents are independent of µ and ν. Let fχθθ′ denote the wµ ′ common conductor of χθν θν and deﬁne

γ := α − e wn ′ . χθν θν

n Then for all e ∈ Z , ω ∈ W (GLn, Tn), ℓ ≥ max{2n,n − e1/α,...,n − en/α} and δ ∈ Z, we have

1 e n δ s− 2 vol (Un(O)̟ Jℓ ) · ψ(λn(g)) · w(g · Dnwn) · v(g) · χ(det(g)) · |det(g)| g∈̟eωRω X n,ℓ n µ (n+1)n(n−1) − wµ −1 wµ ′ wµ ′ = N(fχθθ′ ) 2 · θ (Bµ) · N(f wµ ′ ) · χθν θ (f wµ ′ ) · G(χθν θ ) · χθν θν ν χθν θν ν µ=1 ν=1 Y Y e e e e s− 1 w(̟ )v(̟ )χ(̟ ) |̟ | 2 , if (e, ω) = (dn,γ + (δ), 1n) and 0 otherwise.

ω Proof. We proceed by induction on n. If n = 0, then W0 = GL0(O) = {10}, R0 = {10}, 0 Z = {0}. The case ω 6= 10 or e 6= 0 actually never occurs. This concludes the case n = 0. Now let n ≥ 1 and suppose that the claim is true for n − 1. ℓ By the constancy of the partial sums on Tn(O/f )-orbits, we have

1 δ s− 2 −ℓn (40) ψ(λn(g))w(g ·Dnwn)v(g)χ(g) |det(g)| = N(f) · Zn(s; w,v,δ,e,ω,r). g∈̟eωRω r∈Rω X n,ℓ Xn,ℓ

By Lemma 2.6 (iii), we already know that this expression vanishes unless en is given by (36) and σ(n)= n, which we henceforth assume. In that case the summands on the right hand side of (40) vanish unless the representatives r satisfy (37). By Propositions 2.1 and 2.2, the right hand side of (40) therefore simpliﬁes to

− − − n(n 1) − n(n 1) N(f) 2 · Zn(s; w,v,δ,e,ω,r) = N(f) 2 · Zn(s; w,v,δ,e,ω,jn−1,0 (˜r)Cn). r∈R˜ ω Rp(ω) Xn,ℓ r˜∈Xn−1,ℓ

Statement (iv) in Lemma 2.6 together with Lemma 2.5 yields with the abbreviationsω ˜ := p(ω) ande ˜ := (eν)1≤ν≤n−1, and the relation

−1 −1 (41) jn−1,0(Bn−1)Cn = Bn , 20 Fabian Januszewski the identity

Zn(s; w,v,δ,e,ω,jn−1,0 (˜r)Cn) n 1 en s− wn ′ ′ ℓ wn ′ = |̟ | 2 · χθ θ (B ) · χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ) · n n+1−ν ν χθν θν χθν θν ν ν ν=1 Y 1 e˜ e˜ e˜ e˜ s− 2 w jn,en (̟ ω˜r˜)Cn · Dnwn · v(jn,en (̟ ω˜r˜)Cn) · χ(jn,en (̟ ω˜r˜)Cn) · ̟ n ′ ℓ wn ′ = χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ) · n+1−ν ν χθν θν χθν θν ν ν ν=1 Y 1 en s− en ′ wn ′ |̟ | 2 · χ(̟ ) · χθ (Cn) · χθ θ (Bn) · 1 e˜ e˜ e˜ e˜ s− 2 w jn,en (̟ ω˜r˜)Cn · Dnwn · v(jn,en (̟ ω˜r˜)) · χ(jn,en (̟ ω˜r˜)) · ̟ n ′ ℓ wn ′ = χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ) · n+1−ν ν χθν θν χθν θν ν ν ν=1 Y 1 en s− 2 en ′ −1 wn ′ |̟ | · χ(̟ ) · χθ jn−1,0(Bn−1)Cn · χθ θ (Bn) · −en e˜ e˜ e˜ ψ(λn−1(̟ ω˜rB˜ n−1) · w jn,en (̟ ω˜rB˜ n−1 · Dn−1wn−1) · v(jn,en (̟ ω˜rB˜ n−1)) · 1 e˜ e˜ s− 2 χ(jn,en (̟ ω˜rB˜ n−1)) · ̟ n ′ ℓ wn ′ = χθ θ f wn ′ · N(f /f wn ′ ) · G(χθ θ ) · n+1−ν ν χθν θ ν χθν θν ν ν ν=1 Y 1 en s− en wn |̟ | 2 · χ(̟ ) · θ (Bn) · −en e˜ e˜ e˜ ψ(λn−1(̟ ω˜rB˜ n−1) · w jn,en (̟ ω˜rB˜ n−1 · Dn−1wn−1) · v(jn,en (̟ ω˜rB˜ n−1)) · 1 e˜ e˜ s− 2 χ(jn,en (̟ ω˜rB˜ n−1)) · ̟ ω˜rB˜ n−1 . e˜ Right multiplication by Bn−1 ∈ In−1 permutes the double cosets Un−1(F )̟ rJ˜ n−1,ℓ, but e˜ leaves the double cosets Un−1(F )̟ In−1 invariant, whence induces a permutation of the system ω˜ of representatives Rn−1,ℓ. ω˜ Therefore, summing over allr ˜ ∈ Rn−1,ℓ, gives

−en e˜ ψ λn−1(̟ ω˜rB˜ n−1) · r˜∈R˜ ω˜ Xn−1,ℓ e˜ e˜ w jn−1,en (̟ ω˜rB˜ n−1 · Dn−1wn−1) · v jn−1,en (̟ ω˜rB˜ n−1) · 1 e˜ s− 2 e˜ det( ̟ ω˜rB˜ n−1) · χ(̟ ω˜rB˜ n−1) = ψ λ−en (̟e˜ω˜r˜) · n−1 r˜∈R˜ ω˜ Xn−1,ℓ e˜ e˜ (42) w jn−1,en (̟ ω˜r˜ · Dn−1wn−1) · v jn−1,en (̟ ω˜r˜) · s− 1 det( ̟e˜ω˜r˜) 2 · χ(̟e˜ω˜r˜). By the induction hypothesis this expression vanishes unless

(43) (˜e, ω˜) = (dn−1,en + (en), 1n−1).

With (36) we see that en = γ + δ, whence

(dn−1,γ + (en))i = γ · (n + 1 − i)+ δ

= (dn,γ + (δ))i . Non-abelian p-adic L-functions and non-vanishing of central L-values 21

Therefore, condition (43) is equivalent to

(e, ω) = (dn,γ + (δ), 1n).

Under condition (43), the induction hypothesis shows with Proposition 2.4 that (42) takes the value

n−1 µ − − − ℓn(n 1) − n(n 1)(n 2) −1 N(f) 2 6 · N(f wµ ′ ) · χθν θν µ=1 ν=1 Y Y n−1 µ wµ ′ wµ ′ χθν θ (f wµ ′ ) · G(χθν θ ) · ν χθν θν ν µY=1 νY=1 n−1 1 wµ e e e˜ e˜ s− 2 θ (Bµ) · w(̟ )v(̟ )χ(̟ ) ̟ . µ=1 Y

Whence (40) is given by

− − − − ℓn(n 1) +ℓn− n(n 1)(n 2) + n(n 1) N(f) 2 6 2 · n µ −1 wn ′ wn ′ N f wn ′ · χθ θ f wn ′ · G(χθ θ ) · χθν θν ν ν χθν θν ν ν µY=1 νY=1 n 1 wµ e e e e s− θ (Bµ) · w(̟ ) · v(̟ ) · χ(̟ ) · |̟ | 2 , µ=1 Y and the claim follows by another application of Proposition 2.4.

Recall the deﬁnition of the matrix tx in (7).

Theorem 2.8 (Local Birch Lemma). Let w and v be ψ- (resp. ψ−1-) Whittaker functions on GLn+1(F ) resp. GLn(F ), which satisfy relations (30) and (31). Assume furthermore that χ : F × → C× is a quasi-character with the property that for all 1 ≤ µ ≤ n and all 1 ≤ ν ≤ µ the w µ ′ eχθθ′ conductors of χθν θν are non-trivial, all agree, and are generated by an element fχθθ′ = ̟ . Set fχθθ′ := Ofχθθ′ . Then for every s ∈ C,

s− 1 w (jn,0(g) · hn · jn(t−f )) v (g · tf ) χ(det(g)) |det(g)| 2 dg

Un(F )\ZGLn(F ) n 1 −1 (n+2)(n+1)n 2 −s −µ ′ − 6 = 1 − q · N(fχθθ ) · tfχθθ′ · µY=1 n µ wµ wµ ′ ′ ′ − − θν θν(fχθθ ) · G(χθν θν) · w(jn,0(tff 1 )) · v(tff 1 ). χθθ′ χθθ′ µ=1 ν=1 Y Y We emphasize that there are modiﬁcations in the formulation of Theorem 2.8 compared to previous statements in [74, 47, 48, 49]. In particular, the matrix

hn · jn(t(−1)). plays the role of the matrix hn in loc. cit. 22 Fabian Januszewski

Proof. Introduce the matrix 1 −f −f 2 ··· −f n 0 1 f · · · f n−1 ......  E˜n+1 := . . . . . ∈ Jn+1,1. . . .  . .. ..  . f    0 ··· ··· 0 1    In the notation of [47] this matrix agrees with wn+1En+1. A direct computation shows −1 ˜ (44) hn · jn(tf ) = jn(tf ) · Bn+1 · Dn+1 · wn+1 · En+1. We deduce the relation −1 w (jn(g) · hn · jn(t−f )) = θ(t−1)w jn(g) · jn(tf ) · Bn+1 · Dn+1wn+1 . Together with (41) and the right invariance of the Haar measure dg, we obtain s− 1 w (jn(g) · hn · jn(tf )) v (g · tf ) χ(g) |g| 2 dg Z 1 1 −1 2 −s −1 s− 2 = χ(tf ) |tf | w jn(gBn ) · Cn+1Dn+1wn+1 v(g)χ(g) |g| dg Z 1 1 −1 2 −s s− 2 = χ(tf ) |tf | w (jn(g) · Cn+1Dn+1wn+1) v(gBn)χ(gBn) |gBn| dg Z 1 1 ′ −1 2 −s s− 2 = χθ (Bn)χ(tf ) |tf | w (jn(g) · Cn+1Dn+1wn+1) v(g)χ(g) |g| dg. Z At this point, invoke Lemma 2.5 once again to obtain the expression

1 1 −1 2 −s 0 s− 2 χ(Bn)χ(tf ) |tf | ψ λn(gBn) w (jn(gBn · Dnwn)) v(gBn)χ(g) |g| dg Z 1 1 −1 2 −s 0 s− 2 = χ(tf ) |tf | ψ λn(g) w (jn(g · Dnwn)) v(g)χ(g) |g| dg. Z By Lemma 2.7, we may evaluate the latter integral explicitly as

1 0 s− 2 ψ λn(g) w (jn(g · Dnwn)) v(g)χ(g) |g| dg

Z 1 e n δ s− 2 = vol(Un(O)̟ Jℓ ) · ψ(λn(g)) · w(g · Dnwn) · v(g) · χ(g) · |g| g∈̟eωRω X n,ℓ n µ (n+1)n(n−1) − wµ −1 wµ ′ wµ ′ = N(fχθθ′ ) 6 · θ (Bµ) · N(f wµ ′ ) · χθν θ (f wµ ′ ) · G(χθν θ ) · χθν θν ν χθν θν ν µY=1 νY=1 1 s− 2 w(t −1 )v(t −1 )χ(t −1 ) t −1 . ff ′ ff ′ ff ′ ff ′ χθθ χθθ χθθ χθθ

Finally, remark that n wµ θ(t(−1)) = θ (Bµ), µY=1 and the claim follows. 2.2. The generically nearly ordinary p-adic Hecke algebra. Fix a number ﬁeld F/Q with ring of integers OF and a rational prime p. Put

Fp := F ⊗Q Qp, and Op := OF ⊗Z Zp. Let α α Iα := {r ∈ G(Zp) | r (mod p ) ∈ B(Zp/p Zp)}, Non-abelian p-adic L-functions and non-vanishing of central L-values 23

α′ α′ Iα′,α := {r ∈ Iα | r (mod p ) ∈ U(Zp/p Zp)}, for α ≥ α′ ≥ 0. Deﬁne the semigroup

∆G := ∆Fv,n+1 × ∆Fv,n ⊆ T (Qp), Yv|p and the corresponding Hecke algebra ′ HA(α , α) := HA(Iα′,α,Iα′,α∆GIα′,α). n+1 ′ Then HA(α; , α) is the product of the products of the local Hecke algebras HA (vp(p)α , vp(p)α) n ′ and HA(vp(p)α , vp(p)α) indroduced in section 1.2. Therefore, (10) translates to ′ α′ (45) HA(α , α) = HA(0, α)[Iα/Iα′,α] = HA(0, α)[Tn(Zp/p Zp)], This is a ﬁnitely generated commutative A-algebra. By (45), there is a canonical map α′ ′ h·i : Tn(Zp/p Zp) → HA(α , α), t 7→ hti. Furthermore, we have a canonical isomorphism

U : A[∆G] =∼ HA(0, α) given by ∆G ∋ δ 7→ IαδIα =: U(δ). We deﬁne the generic nearly ordinary p-adic Hecke algebra as the localization ord ′ ′ −1 HA (α , α) := HA(α , α)[U(δ) |δ ∈ ∆G].

If h∆Gi denotes the group generated by ∆G, we obtain a canonical isomorphism ∼ ord A[h∆Gi] = HA (0, α) extending U and (45) extends to ord ′ ord α′ (46) HA (α , α) = HA(0, α) [Tn(Zp/p Zp)]. ′ ord ′ If M is an HA(α , α)-module, then the Hecke module structure on M extends to HA (α , α) if and only if the operators U(δ), δ ∈ ∆G, act invertibly on M. Since ∆G is finitely generated, it suffices to check this for an arbitrary finite set of generators of ∆G, or a product thereof. × α For any character ϑ : T (Qp) → A whose restriction to T (Zp) factors over T (Zp/p Zp), we α consider ϑ|T (Zp) as an algebra homomorphism A[T (Zp/p Zp)] → A. By (45), ϑ then extends to an A-algebra homorphism ϑ : HA(α, α) → A by setting U(δ) 7→ ϑ(δ), δ ∈ ∆G. The values ϑ(δ) being invertible, this extends uniquely to an A-algebra homomorphism ord ϑ : HA (α, α) → A.

In order to streamline notation in the sequel, set for ε = (ε̟)̟|p , e̟ ∈ Z, (47) pε := ̟ε̟ , Y̟|p and deﬁne for α ≥ α′ ≥ 0,α> 0, the Hecke operator ′ Upε = Iα′,α∆(tpε )Iα′,α = u∆(tpε )Iα′,α ∈ HA(α , α). −1 u∈U(Z )/∆(t ε )U(Z )∆(t ) p Gp p pε 24 Fabian Januszewski

Put ′ vp(p) ′ (48) Up := Iα′,αtpIα′,α = Up ⊗ Up ∈ HA(α , α). p|p Y 2.3. The twisted global Zeta integral. Recall from the previous section that F/Q is a number field with ring of integers OF and p denotes a rational prime. Fix a non-trivial additive × × × character ψ : F \AF → C with local factors ψv : Fv → C . Put × ψp := ⊗ψp : Fp → C p|p and assume without loss of generality that ψp is of conductor Op. Let Π and Σ be irreducible cuspidal automorphic representations of GLn+1(AF ) and GLn(AF ) respectively, which we also consider as an automorphic representation Π⊗Σ of G(A). Let S∞ denote the set of infinite places of F and SΠ⊗Σ the set of finite places where Π or Σ ramifies. We make free use of the theory of Rankin-Selbergb L-function L(s, Πb⊗Σ) as developed in [39, 40, 41, 46, 12, 13]. At any archimedean places v ∈ S∞, we consider the smooth models Πbv and Σv, i.e. these are smooth Fréchet representations of GLn+1(Fv) and GLn(Fv) of moderate growth and finite length. They agree with the Casselman-Wallach completions of the subspaces of K-finite vectors. We refer the reader to [4, 2] for the notion of Casselman-Wallach completion. We also write Πv⊗Σv for the completed projective tensor product. This is a Casselman-Wallach representation of G(Fv). Recall thatb Π and Σ are always generic [77]. At any place v of F , consider for any vector W −1 W W −1 Wv ∈ (Πv ⊗ Σv, ψv ⊗ ψv )= (Πv, ψv) ⊗ (Σv, ψv ) in the local Whittaker model of Πv ⊗ Σv (or of Πv⊗Σv for v |∞) the local zeta integral

s− 1 Ψv(s,Wv) := bWv(∆(gv)) |gv| 2 dgv ZUn(Fv)\ GLn(Fv) as in [41]. At archimedean places v, we know that for any Wv the local zeta integral Ψv(s,Wv) satisﬁes an identity

Ψv(s,Wv) =Ωv(s,Wv) · L(s, Πv⊗Σv) for a function Ωv(s,Wv) holomorphic in s. For K-finite Wv, it is known that Ωv(s,Wv) is a 0b polynomial. Moreover, there is a good K-finite test vector Wv trivializing Ωv(s,Wv) [13, 38]. 0 W W −1 At all finite places v, we fix a good tensor Wv ∈ (Πv, ψv) ⊗ (Σv, ψv ) with the property that 0 L(s, Πv ⊗ Σv)=Ψ(s,Wv ). 0 0 0 0 0 We suppose that Wv = Wn+1,v ⊗ Wn,v for spherical Whittaker functions Wn+1,v and Wnv at all places v 6∈ SΠ⊗Σ ∪ S∞. By Shintani’s explicit formula [79], for v 6∈ SΠ⊗Σ ∪ S∞, the local L-function is givenb explicitly by b −s −1 L(s, Πv ⊗ Σv) = det 1(n+1)n − qv (AΠv ⊗ AΣv ) , where Aπq and Aσq denote the corresponding Frobenius-Hecke parameters (Satake parameters) and qv = N(pv). Define the good test vector 0 0 W −1 W := ⊗Wv ∈ (Π⊗Σ, ψ ⊗ ψ ). v Then for any other test vector b W ∈ W (Π⊗Σ, ψ ⊗ ψ−1),

b Non-abelian p-adic L-functions and non-vanishing of central L-values 25

0 which agrees with W at all places outside a ﬁnite set SW , the global zeta integral

s− 1 Ψ(s,W ) := W (∆(g)) |g| 2 dg ZUn(AF )\ GLn(AF ) is well deﬁned: Ψ(s,W ) converges absolutely for Re(s) ≫ 0 and has an Euler product decomposition

Ψ(s,W ) = Ψv(s,Wv) = Ωv(s,Wv) · L(s, Πv⊗Σv). v v Y v∈YSW Y Therefore, b

(49) Ψ(s,W ) = Ω(s,W ) · L(s, Πv⊗Σv) for a function b Ω(s,W ) := Ωv(s,Wv) = Ωv(s,Wv) v Y v∈YSW −s holomorphic in s. Moreover, Ω(s,W ) is a polynomial in s and qv , v ∈ SW ﬁnite, whenever W is K-ﬁnite. By Fourier transform, we may associate to W an automorphic form φW on G(A). Then we have an identity

s− 1 (50) Ψ(s,W ) = Φ(s, φW ) := φW (g) |det(g)| 2 dg ZH(Q)\H(A) for Re(s) ≫ 0, where the right hand side converges absolutely for all s ∈ C and deﬁnes an analytic function in s. Then (49) extends by holomorphic continuation to the identity

(51) Φ(s, φW ) = Ω(s,W ) · L(s, Πv⊗Σv), which is valid for all s ∈ C. × × × b For any quasi-character χ : F \AF → C we identify L(s, Π⊗Σ ⊗ χ) := L(s, Π⊗(Σ ⊗ χ)) = L(s, (Π ⊗ χ)⊗Σ). Then the twisted Whittaker function b b b Wχ : G(A) → C, (g1, g2) 7→ χ(det(g2))W (g1, g2), W −1 is an element of (Π⊗(Σ ⊗ χ), ψ ⊗ ψ ). At all places outside SW ∪ (SΠ⊗Σ ∩ Sχ) the function Wχ coincides with a good test vector for the twisted L-function. b For a ﬁnite set of placesb S of F we write LS(s, Π⊗Σ) for the partial L-functions where the Euler factors at places in S have been removed. Likewise, ΩS(s,W ) denotes the correction factor with the factors for places in S removed. b × × × For a quasi-character ϑ : T (Qp) → C , write ϑµ,ν : Fp → C for the respective (µ,ν)- component according to the decomposition T = Tn+1 × Tn, where 1 ≤ µ ≤ n + 1, 1 ≤ ν ≤ n. × × If χp : Fp → C is another quasi-character, consider χp as a quasi-character of T (Qp) via pullback along the determinant in the second factor. We say that the resulting character χpϑ has constant conductor, if:

We say furthermore that χpϑ has fully supported conductor, if

(F) For all 1 ≤ ν ≤ µ ≤ n, the conductors of the local characters χpϑµ,ν are supported at all p | p. For a character satisfying (C) and (F), let ε (52) fχϑ = p χϑ ∈ Op denote a generator of the conductor fχϑ of any χpϑµ,ν for ν ≤ µ. 26 Fabian Januszewski

α Recall that for α> 0 with the property that f = p is divisible by fϑ the quasi-character ϑ extends to an algebra homomorphism

ϑ : HC(α, α) → C. Recall the definition of the matrix h in (8). We consider h as a diagonally (with respect to the places above p) embedded element in G(Zp) and identify for any f ∈ Fp the element tf ∈ GLn(Fp) with its image under ∆ ◦ (jn × 1) in G(Qp). Let S(p) denote the set of places of F dividing p. Theorem 2.9 (Global Birch Lemma). Let W ∈ W (Π⊗Σ, ψ ⊗ ψ−1) be a Whittaker function with the following properties: S(p) (i) W admits a factorization W = Wp ⊗ W for ab local Whittaker function Wp at p and a Whittaker function W S(p) outside p. (ii) Wp is right invariant under Iα,α for some α ≥ 1. × (iii) Wp is an eigenvector for HC(α, α) for a quasi-character ϑ : T (Qp) → C . × × × Let χ : F \AF → C be a finite order character such that χpϑ has fully supported constant α conductor fχθ dividing f = p for an α> 0 which is sufficiently large satisfying (ii). Then for every s ∈ C,

s− 1 φW (g · htf ) χ(det(g)) |det(g)| 2 dg H(Q)Z\H(A) (n+2)(n+1)n+(n+1)n(n−1) (n+1)n(n−1) 1 −s S(p) − 6 − 6 2 = Ω (s,Wχ) · δ(Wp) · N(f) · N(fχϑ) · tfχθ · n µ α ϑ(tp ) · G(χϑµ,ν ) · L(s, Π⊗Σ ⊗ χ), µY=1 νY=1 where b n −µ −1 δ(Wp) := Wp (1n) · 1 − qv . µ=1 v|p Y Y Remark 2.10. By the discussion preceeding Theorem 2.9, ΩS(p)(s,W ) =Ω (s,W ) · ΩS∞∪S(p)(s,W ). χ ∞ χ,∞ SW ∪Sχ

In particular, if SW ∪ Sχ ⊆ S∞ ∪ S(p), then S(p) (53) Ω (s,Wχ)= Ω∞(s,Wχ,∞). Proof of Theorem 2.9. For Re(s) ≫ 0 we have by (50) and identity

s− 1 φW (g · htf ) χ(g) |g| 2 dg H(Q)Z\H(A) 1 s− 2 = χ(tf ) |tf | · Φ s, φWχ (− · htf ) s− 1 = χ(tf ) |tf | 2 · Ψ (s,Wχ(− · htf )) s− 1 S(p) = χ(tf ) |tf | 2 · Ψp (s,Wχ,p(− · htf )) · Ω (s,Wχ) · L(s, Π⊗Σ ⊗ χ). By holomorphic continuation, this identity extends to all s ∈ C and the value of the expression b s− 1 χ(tf ) |tf | 2 · Ψp (s,Wχ,p(− · htf )) 1 s− 2 = Wv (∆(gv) · hvtfv ) · χv(gv) |gv| dg Un(Fv)\ GLn(Fv) Yv|p Z Non-abelian p-adic L-functions and non-vanishing of central L-values 27 is given by the Local Birch Lemma (Theorem 2.8). Therefore, the global zeta integral evaluates to n −1 (n+2)(n+1)n 1 −s S(p) −µ − 6 2 Ω (s,Wχ) · 1 − qv · N(fχϑ) · tfχθ · µ=1 v|p Y Y n µ Wp t −1 · [ϑµ+1−ν,ν(fχϑ) · G(χϑµ+1−ν,ν )] · L(s, Π⊗(Σ ⊗ χ)). ffχϑ µ=1 ν=1 Y Y ε Recall that ψp(Op)=1 and fχθ = p χθ , whence b

− − Wp t 1 = Wp t εχϑ ffχϑ fp

− −1 −1 − = [U(Zp) : t εχϑ U(Zp)t −ε ] · U εχϑ Wp(1) fp fp χϑ fp − (n+2)(n+1)n+(n+1)n(n 1) −1 = N(f /f) 6 · ϑ(t ) · ϑ(t ) · W (1). χϑ fχϑ f p The observation n µ

ϑ(tfχϑ ) = ϑµ+1−ν,ν(fχϑ) µ=1 ν=1 Y Y concludes the proof.

3. p-adic Lattices In this section we establish a general relation between lattices which will translate into congruences essential to establish the independence of the weight of the non-abelian p-adic L-function we construct.

3.1. Integral algebras. As before, we consider the element tp ∈ GLn(Fp) as a diagonally embedded element tp ∈ G(Qp). For any non-negative integer α ≥ 0 consider the element α gα := h · tp ∈ G(Qp), and set for any subgroup L ⊆ G, α −1 L := gαLgα . and likewise for sub Lie algebras of g with respect to the adjoint action on g. Lemma 3.1. For any α ≥ 0, the subgroups H and B−,α are transversal, i.e. −,α (54) gE = hE ⊕ bE . −,α −,0 − Furthermore, we have bE = bE , and likewise for B replacing B . − Proof. Since tp normalizes B over fields, we are reduced to the case α = 0 and E = Qp. Counting dimensions shows that (54) is equivalent to h h ∩ hb− = 0, Qp Qp which in turn is an easy excercise in linear algebra. By the Poincaré-Birkhoff-Witt Theorem we obtain Corollary 3.2. For any α ≥ 0 we have a canonical isomorphism −,α (55) U(gE) = U(hE) ⊗E U(bE ). Lemma 3.3. For any α ≥ 0 we have α α α −,0 (56) U(uO) ⊆ (O + p U(hO)) ⊗O O + p U(bO ) as subspaces of (55). 28 Fabian Januszewski

Proof. In the case α = 0, it suﬃces to remark that h ∈ G(Zp) and therefore g0 ∈ G(O), whence −,0 (57) gO = hO ⊕ bO , by (54). For α> 0, observe α −α α (58) tp uOtp ⊆ p uO, which implies α α 0 uO ⊆ p uO. Therefore, α α 0 U(uO) ⊆ O + p U(uO) and the claim follows with (57).

3.2. p-integral structures on rational representations. Consider a finite extension E/Qp and let Lλ,E denote a rational representation of G of B-highest weight λ defined over E. Write w0 = (wn+1, wn) ∈ W (G, T ) for the longest element in the Weyl group of G with respect to the torus T corresponding to the diagonal matrices in G and the positive system ∆+ given by our choice of b. The (algebraic) differential of λ is a canonical E-valued character of b (trivial on w0 − the radical), which in turn gives rise to a character λ of bE = w0bEw0. It extends uniquely − w0 α −,α to a character of U(bE) that we denote the same. We pull it back to a character (λ ) of bE . −,α Fix a highest weight vector v0 ∈ Lλ,E once and for all. Then gα · v0 is a BE -highest weight vector of weight λα. w0 × Then any t ∈ T (Qp) acts on v0 via the scalar λ (t) ∈ E . Renormalize its action on Vλ,E by defining

w0 (59) t • v := (−λ )(t) · (tv), v ∈ Vλ,E.

Inside Lλ,E consider the G(O)-lattice Lλ,O generated by v0 ∈ Lλ,E. Then

(60) Lλ,O = U(uO) · v0.

In particular, by (58) and tp • v0 = v0 the lattice Lλ,O is stable under the renormalized action of tp. Recall the deﬁnition of dx in (6) and deﬁne the lattices x,α α Lλ,O := dxh · tp • Lλ,O w0 α = (−λ )(tp ) · dxgα · Lλ,O.

Recall that XQ(H) =∼ Z is generated by NH : H → GL1, and identify the Q-rational characters of H likewise with the H-representations Q(j) for j ∈ Z. Again, A(j) = A ⊗Q Q(j) for any Q-algebra A.

× x,α α,v Proposition 3.4. For all x ∈ O , α ≥ 0 and v ∈ Lλ,O, there is a constant Ωp ∈ O with the following property: For every non-zero H-invariant functional

ηj : Lλ,E → E(j), we have the congruence j α,v α (61) ηj(v) ≡ NF/Q(x) · Ωp · ηj(g0v0) (mod O · p ηj(g0v0)), with

(62) ηj(g0v0) 6= 0.

Furthermore, if v = dx · h · v0 we have α,v (63) Ωp = 1. Non-abelian p-adic L-functions and non-vanishing of central L-values 29

x,α Proof. Observe that for any v ∈ Lλ,O,

x,α w0 α α Lλ,O = (−λ )(tp ) · dx · U(uO) · gαv0. α In particular, we ﬁnd a u ∈ U(uO) with the property that w0 α v = (−λ )(tp ) · dx · u · gαv0. According to Lemma 3.3, applying the decomposition (56) to u, we ﬁnd α α r = r0 + p r1 ∈ O + p U(hO) and α α −,0 s = s0 + p s1 ∈ O + p U(bO ) satisfying the relation u = rs. Therefore,

w0 α α ηj(v) = ηj dx · rs · g0 · (−λ )(tp ) · tp v0 = ηj (dx · rs · g0v0) α α = (s0 + p s1) · (r0 + p r1) · ∆(diag(x, 1,..., 1)) · ηj(g0v0) j α ≡ NH (diag(x, 1,..., 1)) · r0s0 · ηj(g0v0) (mod O · p ηj(g0v0)). This proves the ﬁrst claim. The non-vanishing statement (62) is an immediate consequence of Corollary 3.2.

4. Universal p-ordinary cohomology For a compact open subgroup K ⊆ G(A(∞)) we consider the locally symmetric space

X (K) := G(Q)\G(A)/K · K∞, where s 0 0 e K∞ := Z (R) K∞ ⊆ G(R) s with Z ⊆ G the maximal Q-split torus in the center Z ⊆ G and K∞ ⊆ G(R) a standard max- e (∞) imal compact subgroup. If K = Kn+1 × Kn with compact open subgroups Km ⊆ GLm(AF ), we have

(64) X (K) = Xn+1(Kn+1) × Xn(Kn) with X m m(Km) := GLm(F )\ GLm(AF )/Km · K∞, m s 0 m,0 K := Z (F ⊗ R) K ⊆ GLm(F ⊗ R), ∞ m ∞ e s m Zm ⊆ resF/Q GLm the Q-split center and K∞ ⊆ GLn(F ⊗ R) the corresponding standard maximal compact subgroup.e e 4.1. Arithmetic subgroups. We call K torsion free or neat if for all g ∈ G(A(∞)) the arithmetic group −1 Γg := G(Q) ∩ gKg is torsion free resp. neat in the sense of Pink [67]. Each neat K is torsion-free and has the property that the arithmetic subgroups 0 Γg ⊆ G(R) contain only totally positive elements. Every K contains a neat K of finite index. X Each rational representation Lλ,E gives rise to a sheaf Lλ,E on (K). X For K neat, (K) is a manifold and the sheaf cohomology of Lλ,E is a sum of the cohomolo- gies of the arithmetic subgroups Γg corresponding to K. The sheaf Lλ,E is non-trivial, provided that the algebraicity condition 0 (65) H (Z(Q) ∩ K; Lλ,E) = Lλ,E 30 Fabian Januszewski is satisfied, i.e. the centers of the arithmetic groups Γg act trivially on Lλ,E. Condition (65) only depends on the Zariski closure of Γg in G and therefore is independent of K if K is sufficiently small. A dominant weight λ ∈ XC(resF/Q Tm) of resF/Q GLm corresponds to a tuple λ = (λτ,i)τ:F →C,1≤i≤m m of dominant weights (λτ,1, . . . , λτ,m) ∈ Z , τ : F → C running through all field embeddings. Complex conjugation canonically acts on the set of dominant weights λ via its action on the embeddings τ : F → C, sending τ to τ c, the postcomposition of τ with complex conjugation. Write λc for the complex conjugate weight attached to λ. We say that λ is essentially conjugate self-dual over Q if λ = λ∨,c + (w) for some w ∈ Z. This is the same to say that ∼ ∨,c ⊗w Lλ,C = Lλ,C ⊗ (NF/Q ◦ det) . The absolute Galois group Gal(Q/Q) of Q also acts on the dominant weights λ via its action on resF/Q Tm, which permutes the entries in each tuple (λτ,i)τ:F →C, 1 ≤ i ≤ m via precomposition with τ. We say that λ is arithmetic or strongly pure (in the terminology of [69]), if σ ∨,c σ λ = (λ ) + (wλ) for all σ ∈ Gal(Q/Q) and wλ ∈ Z independent of σ. We call wλ the (purity) weight of λ. In other words, λτ,i + λτ c,m+1−i = wλ, for all τ and all i. We adopt the same terminology for dominant weights λ = λn+1 ⊗ λn of G, that we call arithmetic if λn+1 and λn both are arithmetic. For such a λ, define

wλ := wλn+1 + wλn . Cuspidal cohomology • X Hcusp( (K); Lλ,C) vanishes if λ is not arithmetic (use the K¨unneth Theorem to reduce to Clozel’s ‘Lemme de puret´e’ for GL(n) in [6]). Put

l0 := rk G(R) − rk K∞, and dim X (K) −el q := 0 . 0 2 Then q0 is an integer, which is known as the bottom degree of G, because cuspidal cohomology vanishes in degree q 0, which contain the distinguished Hecke operator Up deﬁned in (48). (∞) ′ Consider any family of compact open subgroups Kα′,α ⊆ G(A ), α ≥ α ≥ 0 and α > 0, (p) (p) which admits a decomposition Kα′,α = Iα′,α × K with K a compact open outside p, trivial ′ K at p and independent of α , α. Deﬁne α0 to be the minimal α0 > 0 such that K0,α0 is neat. Non-abelian p-adic L-functions and non-vanishing of central L-values 31

The cohomology • X ′ H? ( (Kα ,α); Lλ,E) for ? ∈ {−, c, !} is naturally a module over the Hecke algebra of level Kα′,α. At p we renor- ∨ w0 malize the action of Up by multiplication by the scalar λ (tp) = (−λ )(tp). Likewise, we may ′ renormalize every Hecke operator in HO(0, α) ⊆ HO(α , α) via (59). Then HO(0, α) acts on cohomology

• X ′ (66) H? ( (Kα ,α); Lλ,O) with p-integral coeﬃcients p-optimally. Attached to this action is an ordinary projector ep, which projects onto the subspace

• X ′ • X ′ (67) H?,ord( (Kα ,α); Lλ,O) := epH? ( (Kα ,α); Lλ,O) of (66) on which Up acts invertibly. More generally, we will consider the spaces

• X ′ H?,ord( (Kα ,α); Lλ,A) for (68) A ∈ {O/pαO,p−αO/O, O, K/O}, where Lλ,A = Lλ,O ⊗O A. Since Up is a product of the local operators Vν ⊗ 1, 1 ⊗ Vν, 1 ≤ ν ≤ n, and since Vn+1 ⊗ 1 acts ′ invertibly as well (for every place v | p) from section 1.2, the action of HO(α , α) on these nearly ord ′ ordinary cohomology naturally extends to an action of HO (α , α) and

• X ′ ord ′ ′ • X ′ H?,ord( (Kα ,α); A) = HO (α , α) ⊗HO(α ,α) H? ( (Kα ,α); A) as Hecke modules for A ∈ {O/pβO,p−βO/O, O, E/O}. Put

• X ′ • X ′ H?,ord( (Kα ,α); E) := H?,ord( (Kα ,α); O) ⊗O E. Then in all cases, passing to ordinary parts is an exact functor. Proposition 4.1. For A as in (68), any dominant weight λ, and every α ≥ α′ ≥ 0 with K ′′ α ≥ α0 , we have for every α ≥ α a canonical isomorphism

• X ′ • X ′ ′′ H?,ord( (Kα ,α); Lλ,A) = H?,ord( (Kα ,α ); Lλ,A) of Hecke modules. Proof. The proof proceeds as the proof of the isomorphism (4.7c) on p.445 of [33], using the explicit left coset decomposition of the Hecke operators T1, T2, T3 of loc. cit., adapted to right coset decompositions we are working with. Remark 4.2. As in [33], Proposition 4.1 holds for more general coeﬃcient sheaves, in particular for the ones considered in the proof of the Control Theorem (Theorem 4.14) below. 4.3. Independence of weight. Write O[λw0 ] for the O-module of rank 1 on which B− acts via λw0 . We assume that we are given a ﬁxed generator 1 ∈ O[λw0 ], which we use to identify this space with O. Consider the inclusion

w0 i : O[λ ] → Lλ,O, c 7→ c · v0, and the projection w0 p : Lλ,O → O[λ ], which projects T -equivariantly onto the lowest weight space. By our identiﬁcation of O[λw0 ] with O, we obtain maps iλ : O→ Lλ,O, and pλ : Lλ,O → O. 32 Fabian Januszewski

′ K α′ −α′ Theorem 4.3. For α ≥ α ≥ 0, α ≥ α0 , and A ∈ {O/p O,p O/O} the maps iλ and pλ induce isomorphisms

• X ′ • X ′ (69) ιλ : H?,ord( (Kα ,α); A) → H?,ord( (Kα ,α); Lλ,A) and

• X ′ • X ′ (70) πλ : H?,ord( (Kα ,α); Lλ,A) → H?,ord( (Kα ,α); A), which are inverses of each other, Hecke-equivariant outside p, and satisfy

(71) T ◦ ιλ = ιλ ◦ T, and T ◦ πλ = πλ ◦ T, α′ for T ∈HO(0, α) and for every t ∈ T (Zp/p Zp),

w0 w0 (72) hti ◦ ιλ = ιλ ◦ λ (t)hti, and λ (t)hti ◦ πλ = πλ ◦ hti, ′ Proof. We discuss the case A = O/pα O, the other case follow similarly. Consider the short exact sequences ′ ′ α ′ α (73) 0 → O/p O→ Lλ,O/pα O → coker iλ ⊗ O/p O→ 0,

′ ′ α ′ α 0 → ker pλ ⊗ O/p O→ Lλ,O/pα O → O/p O → 0. We have [Iα′,αtpIα′,α] = utpIα,α, −1 u∈U(O)/tGpU(O)tp which shows that ′ • X ′ α H? ( (Kα ,α); coker iλ ⊗ O/p O). α′ is a Up-module, and likewise for ker pλ ⊗ O/p O. ′ w0 α By construction, (−λ )(tp) · tp acts nilpotently on both coker iλ ⊗ O/p O and ker pλ ⊗ α′ O/p O. Therefore, Up acts nilpotently on ′ • X ′ α H? ( (Kα ,α); coker iλ ⊗ O/p O). This shows that ′ • X ′ α H?,ord( (Kα ,α); coker iλ ⊗ O/p O) = 0. Since projection to the ordinary part is an exact functor, the long exact sequence attached to (73) implies that iλ must be an isomorphism of O-modules on the ordinary part. The same argument shows that pλ induces the inverse isomorphism. We introduce for every dominant weight λ the notation ◦ Lλ∨,E := HomE(Lλ,E, E) for the contragredient. It comes with a canonical perfect pairing ◦ h−, −i : Lλ,E ⊗E Lλ∨,E → E.

Define the dual lattice for Lλ,O accordingly as ◦ ◦ Lλ∨,O := {f ∈ Lλ∨,E | f(Lλ,O) ⊆ O}. Then it is easy to check that ◦ h−, −i : Lλ,O ⊗O Lλ∨,O → O ◦ ◦ is still a perfect pairing: As a sublattice of Lλ∨,E is generated by a B-highest weight vector v0 ◦ dual to v0. In particular, Lλ∨,O is canonically identified with the O-dual of Lλ,O. ◦ Along the same lines we see that Lλ∨,O is also canonically identified with the Pontryagin dual of Lλ,E/O and likewise for finite torsion coefficients. Non-abelian p-adic L-functions and non-vanishing of central L-values 33

With this notation at hand, define the universal nearly ordinary cohomology with torsion coeffients as • • H (K ; λ, E/O) := lim H (X (K ′ ); L − ′ ). ord ∞,∞ −→ ord α ,α λ,p α O/O α,α′ Likewise, we obtain with respect to the transfer maps its Pontryagin dual • ∨ • ◦ H (K ; λ , O) := lim H (X (K ′ ); L ∨ ′ ). c,ord ∞,∞ ←− c,ord α ,α λ ,O/pα O α,α′ We also consider the mutually Pontryagin dual nearly ordinary cohomology groups of the form • • ◦ H (K ; λ, O) := lim H (X (K ′ ); L ′ ), ord ∞,∞ ←− ord α ,α λ,O/pα O α,α′ • ∨ • H (K ; λ , E/O) := lim H (X (K ′ ); L ∨ −α′ ). c,ord ∞,∞ −→ c,ord α ,α λ ,p O/O α,α′ ◦ ◦ We define analogously the maps ιλ∨ and pλ∨ as the Pontryagin duals of the maps pλ and ιλ respectively. Then Theorem 4.3 shows

Corollary 4.4. The map πλ induces an isomorphism • • • πλ : H?,ord(K∞,∞; λ, E/O) → H?,ord(K∞,∞; 0, E/O) =: H?,ord(K∞,∞; E/O) respecting the actions of HO(0, α) and of the Hecke operators outside p, and for every t ∈ T (Zp),

w0 λ (t)hti ◦ πλ = πλ ◦ hti. ◦ Likewise, the map πλ induces an isomorphism ◦ • • • πλ : H?,ord(K∞,∞; λ, O) → H?,ord(K∞,∞; 0, O) =: H?,ord(K∞,∞; O) respecting the actions of HO(0, α) and of the Hecke operators outside p, and for every t ∈ T (Zp), ◦ ◦ λ(t)hti ◦ πλ = πλ ◦ hti. 4.4. The universal nearly ordinary Hecke algebra. Put Λ := O[[T (Z )]] = lim O[T (Z /pαZ )]. p ←− p p α ◦ Λ := O[[T (Zp)/T (Zp)tors]] Then Λ is a complete Noetherian semi-local ring with each local factor isomorphic to Λ◦ and ′ each HO(α , α) carries a canonical Λ-module structure. Following Hida, deﬁne the universal nearly ordinary Hecke algebra h?,ord(K∞,∞; O) as the Λ-subalgebra generated by the image of the canonical map

lim H (α′, α) ⊗ H (KS(K), G(AS(K))) → End (H• (K ; E/O)), −→ O O O O ?,ord ∞,∞ "α,α′ # where S(K) denotes the minimal ﬁnite set of places of Q containing p and ∞ and for which there is a factorization Kα′,α = LS(K) × G(Zv) v6∈S(YK),v∤∞ for some compact open subgroup

LS(K) ⊆ G(Qv). v∈S(YK),v∤∞ S(K) S(K) Since HO(K , G(A )) is by deﬁnition a product of spherical Hecke algebras, h?,ord(K∞,∞; O) • is commutative. By Corollary 4.4, H?,ord(K∞,∞; λ, E/O) is an h?,ord(K∞,∞; O)-module, which • diﬀers from H?,ord(K∞,∞; E/O) only in terms of the Λ-action. 34 Fabian Januszewski

4.5. Galois representations. In this section, assume that S(K) = {p, ∞}, i.e. K(p) = G Z(p) is the product of the standard maximal compact open subgroup over all primes ℓ 6= p and (p) b Kα′,α = K × Iα′,α. Then the Hecke algebra of interest is

′ (p∞) ′ ′ HO(Kα ,α, G(A )×∆G) = ⊗v∤p∞ (HO(GLn+1(Ov), GLn+1(Fv)) ⊗HO(GLn(Ov), GLn(Fv)))⊗HO(α , α).

In HO(GLn(Ov), GLn(Fv)), we ﬁnd the standard Hecke operators

ων Tv,ν = GLn(Ov)̟v GLn(Ov), 1 ≤ ν ≤ n. Consider as in (13) the spherical (reciprocal) Hecke polynomial

n ν(ν−1) ν 2 n−ν n ′ HFv,n(X) := (−1) qv TνX ∈HA(α , α). ν=0 X Recall that HFv,n(X) admits a factorization n

HFv,n(X) = (X − Ui) Yi=1 e for Ui in the parabolic Hecke algebra at v. Deﬁne the Hecke polynomial n+1 n Hv(Xe ) := (X−Ui⊗Uj) ∈ (HO(GLn+1(Ov), GLn+1(Fv)) ⊗HO(GLn(Ov), GLn(Fv))) [X]. Yi=1 jY=1 This is the spherical Heckee polynomiale for GLn+1 × GLn over Fv. For 1 ≤ µ ≤ n + 1 and 1 ≤ ν ≤ n, the operators Tv,µ ⊗ 1 and 1 ⊗ Tv,ν act on q X ′ H?,ord( (Kα ,α); Lλ,A) q X for ? ∈ {−, c, !} and A ∈ {O,E,E/O,p−β O/O, O/pβO}. ′ The operators Tv,µ ⊗ Tv,ν for v 6∈ S(p) together with the image of HO(α , α) generate the α′ nearly ordinary Hecke algebra h?,ord(Kα′,α; λ, O) over O[T (Zp/p Zp]. Passing to the projective ′ limit over α , α, we obtain the universal nearly ordinary Hecke algebra h?,ord(K∞,∞; λ, O) over Λ. Recall for λ = 0, deﬁne

h?,ord(K∞,∞; O) := h?,ord(K∞,∞; 0, O). q Finally, for any q ∈ Z, let h?,ord(Kα,α; λ, O) denote the image of the canonical map q X ′ h?,ord(Kα,α; λ, O) → EndO H?,ord( (Kα ,α); Lλ,A). We adopt the same notation for univeral nearly ordinary Hecke algebras. Write λ = λn+1 ⊗ λn for dominant weights λm on resF/Q GLm. Then according to (64), we have a K¨unneth spectral sequence 2 O qn+1 X n+1 qn X n Epq := Tor−p H? ( n+1(Kα,α ); Lλn+1,E/O),H? ( n(Kα,α); Lλn,E/O) q +q =q n+1Mn p+q X =⇒ H? ( (Kα,α); Lλ,E/O). Since O is a principal ideal domain, Tor• vanishes in degrees ≥ 2, whence we deduce a short exact sequence qn+1 X n+1 qn X n 0 → H? ( n+1(Kα,α ); Lλn+1,E/O) ⊗ H? ( n(Kα,α); Lλn,E/O) → q +q =q n+1Mn p+q X O qn+1 X n+1 qn X n H? ( (Kα,α); Lλ,E/O) → Tor1 H? ( n+1(Kα,α ); Lλn+1,E/O),H? ( n(Kα,α); Lλn,E/O) → 0. qn+1+Mqn=q+1 Non-abelian p-adic L-functions and non-vanishing of central L-values 35

In particular, the edge morphism of above spectral sequence provides us with a canonical monomorphism lim Hqn+1 (X (Kn+1); L )⊗lim Hqn (X (Kn ); L ) → lim Hq(X (K ); L ), −→ ? n+1 α,α λn+1,E/O −→ ? n α,α λn,E/O −→ ? α,α λ,E/O q +q =q α α α n+1Mn and likewise for ordinary cohomology. For any field k which is either (an extension of) the residue field of O, or the field E, the Künneth spectral sequence degenerates and induces a canonical isomorphism (74) lim Hqn+1 (X (Kn+1); L )⊗lim Hqn (X (Kn ); L ) =∼ lim Hq(X (K ); L ). −→ n+1 α,α λn+1,k −→ n α,α λn,k −→ α,α λ,k q +q =q α α α n+1Mn In particular, we obtain a canonical isomorphism n+1 n ∼ (75) hord(K∞,∞; k) ⊗ hord(K∞,∞; k) = hord(K∞,∞; k), m of Λ-algebras. Here hord(K∞,∞; k) is the Hecke algebra generated by Tv,m, v 6∈ S(p), and m v|p Hk (α, α) acting on lim Hqm (X (Km ); L ) Q −→ m α,α λm,k α q Xm over the corresponding Iwasawa algebra O[[Tm(Op)]]. Let m denote a maximal ideal in hord(K∞,∞; O) with residue field k. Write S for the set of finite places of F containing the places above p and the places which ramify in F/Q. Assume that (after possibly enlarging k) the following condition is satisfied: (i) There exists a continuous semisimple Galois representation

ρm : Gal Q/F → GL(n+1)n(k),

such that for every ﬁnite place v 6∈ S the image ρm(Frobv) of the geometric Frobenius element has characteristic polynomial

Hv(X) ∈ (hord(K∞,∞; O)/m)[X]. By the Chebotarev density theorem, property (i) characterizes the Galois representation in question uniquely up to isomorphism, provided it exists. According to (75), we ﬁnd (after m possibly enlarging k once again) maximal ideals mm in hord(K∞,∞; O), m ∈ {n,n + 1}, such that condition (i) amounts to (i’) There exist continuous semisimple Galois representations

ρmm : Gal Q/F → GLm(k),

such that for every ﬁnite place v 6∈ Sthe image ρmm (Frobv) of the geometric Frobenius element has characteristic polynomial m HFv,m(X) ∈ (hord(K∞,∞; O)/mm)[X], for m ∈ {n,n + 1}. Remark 4.5. Condition (i’) implies ss

ρm = ρmn+1 ⊗ ρmn . Remark 4.6. Condition (i’) implies that action of O[[Z(Zp)]] ⊆ Λ is compatible with the determinant of ρm in the following sense. On the one hand, we know that for v 6∈ S, (n+1)n ⊗ 2 Tv,n+1 ⊗ 1 ≡ χcyc ⊗ det ρmn+1 (Frobv) (mod m), and n(n−1) ⊗ 2 1 ⊗ Tv,n ≡ χcyc ⊗ det ρmn (Frobv) (mod m). 36 Fabian Januszewski

On the other hand, suitable powers of these Hecke operators away from p may be considered as elements of Λ (as diamond operators).

Deﬁnition 4.7. A maximal ideal m in hord(K∞,∞; O) is called non-Eisenstein, if (i’) is satisﬁed and

(ii) Each ρmm is absolutely irreducible.

Remark 4.8. For m non-Eisenstein, ρm may be reducible (when considering the tensor product of two symmetric powers of the same two-dimensional Galois representation for example). m Conjecture 4.9. For each m ≥ 1 and each maximal ideal mm in hord(K∞,∞; O), there exists a Galois representation ρm as in (i’). For F totally real or a CM field, results of Scholze [75, Corollary 5.4.3] imply the existence of ρmm for all maximal ideals mm, which also ensures the existence of ρm. It is expected that m the representation ρmm lifts to a representation over the localization hord(K∞,∞; O)mm , which is known by Corollary 5.4.4 in loc. cit. modulo a nilpotent ideal of bounded exponent (see also Theorem 5.13 in [66]). Theorem 4.10. Assume that F is totally real, CM or that Conjecture 4.9 holds over F . Let m be a non-Eisenstein maximal ideal in hord(K∞,∞; O). Assume that the residue field k of m embeds into the residue field of E. Then for every E-rational dominant weight λ of G, we have an identity

q X ′ q X ′ (76) Hc ( (Kα ,α); Lλ,E)m = H ( (Kα ,α); Lλ,E)m of localizations at m and if this space is non-zero, then q0 ≤ q ≤ q0 + l0. Furthermore, every absolutely irreducible constituent of (76) is cuspidal. Proof. By (64) and (74), the first statement is a consequence of Theorem 4.2 in [66] (c.f. the proof of Theorem 6.23 in [54] for a sketch of the argument in [66]). For regular λ we may invoke Proposition 4.2 in [59], which says that every automorphic representation contributing to (76) is essentially tempered at infinity (mod center), whence by [85] the localized cohomology vanishes outside the cuspidal range. For general weights λ observe that since we are working with a product of general linear groups, the Künneth formula reduces us to a single copy of GL(n). In this situation, we remark that every irreducible constituent of (76) is strongly inner in the sense of [26], and therefore by the classification of the residual spectrum of [63] combined with the classification result of Jacquet-Shalika in [43, 44] implies that every constituent of (76) is in fact cuspidal. We refer the reader to section 4.3 in Harder-Raghuram [26] for the details of this argument and also to Proposition 4.1 in [17] for an argument along the same lines. Remark 4.11. By [86], every automorphic representation contributing to (76) is in fact cuspidal.

Remark 4.12. The vanishing in degrees

Bn+1(Fv )×Bn(Fv) ′ 4.6. The Control Theorem. At every place v 6∈ S, the parabolic Hecke algebra HO (α , α) at v naturally acts on the cohomology

• X ′ der (∞) (77) H ( (Kα ,α ∩ G (A )); Lλ,A). The canonical inclusion Bn+1(Fv)×Bn(Fv) ′ HO(GLn+1(Ov) × GLn(Ov), GLn+1(Fv) × GLn(Fv)) → HO (α , α) of the spherical Hecke algebra at v of G into the parabolic Hecke algebra induces a canonical ′ action of the spherical Hecke algebra on (77). Likewise, HO(α , α) acts on (77) as well. This remains valid for the more general coeﬃcient systems considered below. × We call a character η : T (Qp) → E locally algebraic if there is an E-rational algebraic × character λ : T → GL1 and a ﬁnite order character ϑ : T (Qp) → E with η = λw0 ϑ. Non-abelian p-adic L-functions and non-vanishing of central L-values 37

Furthermore, η is dominant if λ is a dominant E-rational character of T . Write Pλw0 ϑ ⊆ Λ = w0 w0 O[[T (Zp)]] for the kernel of the algebra homomorphism λ ϑ : Λ → E induced by λ ϑ. Proposition 4.13. The set X 0 reg,bal := {Pλw0 | λ ∈ XC(T ) regular dominant, η0 admissible for λ} of regular dominant arithmetic points for which η0 is admissible is Zariski dense in Spec E[[T (Zp)]].

Proof. Write λ = λn+1 ⊗ λn with regular dominant weights λn+1 and λn of resF/Q Tn+1 and resF/Q Tn, where λm = (λm,τ,i)τ:F →C,1≤i≤m with λm,τ,i ∈ Z and

λm,τ,1 ≥ λm,τ,2 ≥···≥ λm,τ,m, regularity meaning that these inequalities are all strict. Then η0 is admissible for λ if and only if λn+1,τ,1 ≥−λn,τ,n ≥ λn+1,τ,2 ≥···≥−λn,τ,1 ≥ λn+1,τ,n+1, for all embeddings τ : F → C. Therefore, considering T as a maximal torus in resF/Q GL(n+1)n, the semigroup of regular dominant λ for which η0 is admissible is in canonical bijection with a subset of weights of T which are dominant for a suitable choice of Borel in resF/Q GL(n+1)n. In fact, the subset of weights we obtain contains all regular dominant weights of this larger general group. The prime ideals corresponding to the latter set are visibly Zariski dense in Spec E[[T (Zp)]]. For any Λ-module M, set

M[η] := {m ∈M|∀x ∈ T (Zp) : x · m = η(x) · m}. Theorem 4.14. Let F/Q be an arbitrary number field. Assume p ∤ (n + 1)n. Then for any ′ w0 α E-valued locally algebraic character η = λ ϑ of T (Qp) such that ϑ factors over T (Zp/p Zp), ′ K α ≥ α ≥ 0, α ≥ α0 , and λ regular dominant, the canonical map q q 0 X ′ 0 w0 Hord( (Kα ,α); Lλ,E/O)[ϑ] → Hord(K∞,∞; E/O)[λ ϑ] has finite kernel and finite cokernel. Assume F/Q is totally real, CM or that Conjecture 4.9 applies over F . Let m denote a non- Eisenstein maximal ideal in hord(K∞,∞; O). Assume that the residue field k of m embeds into the residue field of E. Then for every E-rational dominant weight λ of G, the canonical map q q 0 X ′ 0 w0 Hc,ord( (Kα ,α); Lλ,E/O)m[ϑ] → Hc,ord(K∞,∞; E/O)m[λ ϑ] has finite kernel and finite cokernel. Proof. Given the general vanishing results of Li-Schwermer in [59] (for the first statement) and the vanishing statement in Theorem 4.10 (for the second statement), the proof proceeds along the lines of Hida’s proof of Theorem 6.2 in [33, 35], adapted to split GL(n), and working with G instead of a single copy of the general linear group. To be more specific, recall that U ⊆ G denotes the unipotent radical of the standard upper triangular Borel. Put ◦ der I0,α := I0,α ∩ G (Zp), and furnish ◦ Yα := I0,α/U(Zp), with the right action of the semigroup

′ ′ ◦ ◦ Iα ,α∆GIα ,α = Iα′,α∆GIα′,α deﬁned by Hida (cf. section 3 in [33] and p. 682 of [35], taking into account that Hida considers right actions of Hecke operators where we consider left actions, which results in the opposite dominance condition in loc. cit.). 38 Fabian Januszewski

Following Hida, define for A ∈ {O,E,E/O}, der I0,α∩G (Zp) Cα(A) := {φ : Yα → A | φ continuous} = ind der A, (B∩G )(Zp) which carries an action of Iα′,α∆GIα′,α by right translation. Hida modified the action of the semigroup Iα,α∆GIα,α on Lλ,E/O by twisting the action of T (Zp) by the character ϑ (cf. page 684 in [35]). The resulting representation is denoted Lλ⊗ϑ,E/O. Put ◦ ′ der Iα′,α := Iα ,α ∩ G (Op) and ◦ der (∞) K•,• := K•,• ∩ G (A ). We observe first that Proposition 4.1 and Theorem 4.1 in [33] are valid for GL(n) both for cohomology with and without compact supports (without the need of localization). These results also extend to G without modification in both cases. Hence Proposition 5.1 of [33] remains valid for G in both cases as well. Given this, Theorem 5.1 of [33] and its proof remain valid without modification for nearly ordinary cohomology of G with and without compact supports. This shows that there is a ◦ ◦ S canonical isomorphism of Iα′,α∆GIα′,α × G(A )-modules q X ◦ ∼ q X ◦ C (78) ιλ : H?,ord( (K∞,∞); Lλ⊗ϑ,E/O) = H?,ord( (K0,1); 1(E/O)) for all degrees q ∈ Z, satisfying

w0 ιλ(λ (t)hti(−)) = htiιλ(−) for any t ∈ T (Zp) and ? ∈ {−, c} (cf. also (6.8) in [35]). This isomorphism is compatible with the isomorphisms constructed in Theorem 4.3. By [59], regularity of λ implies vanishing q X ◦ H ( (Kα′,α); Lλ⊗ϑ,C) = 0, q

q0+l0 q0+l0 ◦ H (K ; O) ⊗ O→ H (X (K ′ ); L ) ⊗ α′ O c,ord ∞,∞ Λ,λϑ c,ord α ,α λ,O O[T (Zp/p Zp)],ϑ with ﬁnite kernel and cokernel whenever λ is regular dominant. Pulling back λϑ to Λ◦, we obtain for general (not necessarily regular) dominant λ, a canonical map q +l q +l 0 0 ◦ 0 0 X ′ ◦ ◦ Hord (K∞,∞; O)m ⊗Λ ,λϑ O→ Hord ( (Kα ,α); Lλ,O)m ⊗Λ ,ϑ O Non-abelian p-adic L-functions and non-vanishing of central L-values 39 with ﬁnite kernel and cokernel.

q0 Proof. It suﬃces to observe that by Poincar´e-Pontryagin duality, the Pontryagin dual of Hord(K∞,∞; E/O) q0+l0 is Hc,ord (K∞,∞; O), and similarly in the second case (the condition of being non-Eisenstein is stable under taking contragredients).

α′ Corollary 4.16. Write Pλϑ for the kernel of λϑ ∈ Spec(Λ) and Pϑ for that of ϑ ∈ Spec(O[T (Zp/p Zp)]). Then we have a canonical isogeny q +l q +l q +l q +l 0 0 0 0 0 0 ′ 0 0 ′ hc,ord (K∞,∞; O)/Pλϑhc,ord (K∞,∞; O) → hc,ord (Kα ,α; λ, O)/Pϑhc,ord (Kα ,α; λ, O) for regular dominant λ and pulling back λϑ to Λ◦, we have a canonical isogeny q +l q +l q +l q +l 0 0 ◦ 0 0 0 0 ′ ◦ 0 0 ′ hord (K∞,∞; O)m/Pλϑhord (K∞,∞; O)m → hord (Kα ,α; λ, O)m/Pϑ hord (Kα ,α; λ, O)m ◦ ◦ with Pλϑ = Pλϑ ∩ Λ0 (likewise for Pϑ ) for general dominant λ.

q0+l0 Corollary 4.17. The universal nearly ordinary Hecke algebra hc,ord (K∞,∞; O) is ﬁnite over q0+l0 ◦ Λ. Likewise, hord (K∞,∞; O)m is ﬁnite over Λ .

q0 Corollary 4.18. Assume n> 2 or F not totally real and p ∤ (n + 1)n. Then Hord(K∞,∞; E/O) q0+l0 is a cotorsion Λ-module, i.e. its Pontryagin dual Hc,ord (K∞,∞; O) is a torsion Λ-module. The same applies in the second case. Proof. The claim follows from the existence of non-arithmetic regular dominant weights λ as observed on p. 690 in [35].

ord The Krull dimension of h (K∞,∞; O) is closely related to the Leopoldt Conjecture, cf. Conjecture 1.1 in [35], see also [54]. q0+l0 q0+l0 The Hecke module Hc,ord (K∞,∞; O) is always a faithful hc,ord (K∞,∞; O)-module by deﬁni- tion. The freeness of universal nearly ordinary cohomology over the universal Hecke algebra turns out to be related to the Leopoldt Conjecture, cf. Theorem 4.9 in [25]. q0+l0 In fact, Theorems 4.10 and 4.14 suggest that the same should apply to hord (K∞,∞; O)m.

5. Cohomological construction of p-adic measures We begin by recalling the construction of abelian p-adic L-functions from [47, 48, 49]. 5.1. The modular symbol. Following the formalism from Sections 5.1 and 6.4 in [49] we (∞) define for any finite adèle g ∈ G(A ) and any O-submodule LO of Lλ,E the translated lattice

gLO := Lλ,E ∩ g · (LO ⊗Z Z), where the intersection takes place in L . We have an associated sheaf gL on X (K) and λ,E⊗QA b O as in loc. cit. we have a canonical morphismb T : t∗L → gL , g g O O of sheaves on X (gKg−1). This morphism allows us to define a normalized pull back operator tλ, sending sections of the sheaf L over an open U ⊆ X (K) to sections of gL over Ug−1 ⊆ g O O X (gKg−1). (∞) We remark that for g1, g2 ∈ G(A ) there is an identity (g1g2)LO = g1(g2LO), and the construction of the translated lattice gLO is functorial in LO. Furthermore, the translated lattice always comes with a canonical map gLO → Lλ,E and we have gLλ,E = Lλ,E for all g ∈ G(A(∞)). As before, let ηj : Lλ,E → E(j) denote a non-zero H-equivariant functional. We fix once ∼ ∼ and for all an isomorphism E(j) = E, which induces isomorphisms A(j) = A. This allows us to identify A(j) and A in the sequel. From this identification and the non-vanishing statement 40 Fabian Januszewski

(62) in Proposition 3.4, we deduce by restriction a p-adically normalized p-adically optimal functional 1,0 ηj,A : Lλ,A → A(j), for A = O and A = E, given by η (v) v 7→ j . ηj(g0v0) Then ηj,A is independent of the choice of ηj and also independent of the identification A(j) = A. The codomain of ηj,A gives rise to a sheaf A(j) on the locally symmetric space Y ′ 0 (L) := H(Q)\H(A)/L · K∞ where L ⊆ H(A(∞)) is any compact open subgroup and ′ K∞ := H(R) ∩ K∞ happens to be a standard maximal compact subgroup. The numerical coincidence we exploit is e dim Y := dim Y (L) = q0, which over Q was first observed in [53], and over general base fields F in [47]. Then

dim X − dim Y = q0 + l0 is the top degree for G. By strong approximation for SL(n), the connected components of Y (L) are parametrized by elements in the class group × × 0 C(L) := F \AF / det(L)F∞. We write Y (L)[x] for the component mapping to x ∈ C(det(L)) under the determinant. We ﬁx once and for all a system of fundamental classes as in [49, Section 5.3]. Then, for each L neat and each x ∈ C(L), we have compatible isomorphisms dim Y Y : Hc ( (L)x; A(j)) → A(j). Y Z (L)[x] Whenever L ⊆ K, the inclusion H → G induces a proper map i : Y (L) → X (K). We need the following generalization of Proposition 3.4 in [74]. Proposition 5.1. For any β ≥ α> 0, the compact open subgroup n −1 Iβ := H(Qp) ∩ gβIαgβ of H(Zp) is independent of α. It satisﬁes n − n −µ −1 β (n+2)(n+1)n+(n+1)n(n 1) (H(Zp) : Iβ) = 1 − qv · p 6 , v|p µ=1 Y Y and n β det Iβ = 1+ p Op. Proof. Set n,1 α Iα,p := {r ∈ GLn(Op) | r (mod p ) ∈ Un(Op)}. − n,1− We denote the opposite group constructed with Un by Iα,p and write ∼ for an identity of subgroups of H(Zp) up to conjugation. Then −1 β n+1,1 −β −1 β n,1 −β gβIαgβ ∩ H(Qp) = hntp Iα,p tp hn ∩ tp Iα,ptp β n+1,1 −β −1 β n,1 −β ∼ wnhntp Iα,p tp (wnhn) ∩ wntp Iα,p(wnt) β n+1,1 −β −1 β n,1− −β = wnhntp Iα,p tp (wnhn) ∩ wntp wnIα,p (wntwn) β n+1,1 −β −1 −β n,1− β = wnhntp Iα,p tp (wnhn) ∩ tp Iα,p tp . Non-abelian p-adic L-functions and non-vanishing of central L-values 41

Now 1 . 1n . wnhn =   , .  .   0 . . . 0 1   and −1 . −1 1 . (wnhn) =  n  . −1   0 . . . 0 1    n,1   For r ∈ Iα,p we have

β −β −1 wnhntp rtp (wnhn) = ij β(j−i) β(n+1−i) p rij + p rin+1 1 ≤ i, j ≤ n, β(j−(n+1)) p rn+1j i = n + 1, 1 ≤ j ≤ n, β(n+1−i) n β(j−(n+1)) β(j−i) p rin+1 + rn+1n+1 − p rn+1j + p rij 1 ≤ i ≤ n, j = n + 1,  j=1 r − n pβ(j−(n+1))r i = j = n + 1. n+1n+1 j=1 Pn+1j  The condition thatP this be an element of H(Qp) is equivalent to the conditions

rn+1j = 0, 1 ≤ j ≤ n,

rn+1n+1 = 1, n β(n+1−i) β(j−i) (79) p rin+1 + 1 − p rij = 0, 1 ≤ i ≤ n. Xj=1 β −β −1 −β n,1− β Therefore, wnhntp rtp (wnhn) lies in tp Iα,p tp if and only if (79) is satisﬁed and

β(n+1−j) α+β(2i−2j) (80) rij + p rin+1 ∈ p O, 1 ≤ i < j ≤ n, β(n+1−i) α (81) rii + p rin+1 ∈ 1+ p O, 1 ≤ i ≤ n, β(n+1−j) β(2i−2j) (82) rij + p rin+1 ∈ p O, 1 ≤ j < i ≤ n.

Conditions (80) and (81) are automatic because β ≥ α. Condition (79) is equivalent to

i−1 n β(j−i) β(j−i) β(n+1−i) rii = 1+ p rij + p rij + p rin+1, Xj=1 j=Xi+1 which in turn is equivalent to

i−1 n β(j−i) β(n+1−j) β(j−i) β(n+1−i) (83) rii = 1+ p (rij + p rin+1)+ p rij − (i − 2) · p rin+1, Xj=1 j=Xi+1 for 1 ≤ i ≤ n. The last two summands in (83) lie in pβO, and by (82), the summands of the frist sum on the right hand side lies in pβ(i−j)O⊆ pβO. This readily implies

β (84) rii ∈ 1+ p O, 1 ≤ i ≤ n. 42 Fabian Januszewski

β n Reversing this argument shows that the diagonal (rii)1≤i≤n may assume any value in (1+p O) . With our previous computation, this shows

β −β −1 β(n+1−j) det wnhntp rtp (wnhn) = det rij + p rin+1 1≤i,j≤n 1≤i,j≤n n β ≡ rii (mod p O) Yi=1 ≡ 1 (mod pβO), n β and the determinant maps Iβ surjectively onto 1 + p O as claimed. The same computation shows that β n+1,1 −β −1 −β n,1− β n −β n,− β wnhntp Iα,p tp (wnhn) ∩ tp Iα,p tp = Iβ,p ∩ tp Iβ,p tp , which consists of matrices s ∈ GLn(O) with entries pβ(j−i)O, i < j, β sij ∈ 1+ p O, i = j, pβ(i−j)O, i > j.

With this explicit description of the intersection the computation of the index is straightforward.

Put

β × × β (p) (p∞) ′ −1 (∞) C(p ) := F \AF /(1 + p O) · det K ∩ H(A ) = C(gβKα ,αgβ ∩ H(A )), where the second identity is a consequence of Proposition 5.1. For any β > 0 and x ∈ C(pβ) we consider the modular symbol λ,j Y P dim X ′ A,x,β : Hc,ord ( (Kα ,α); Lλ,A) → A(j), explicitly deﬁned as

∗ w0 β λ −β φ 7→ ηj,Ai (−λ )(tp ) · tg (Up φ). − ∞ β Y (g K ′ g 1∩H(A( )))[x] Z β α ,α β h i x,β 1,0 By (60), we know that Lλ,A ⊆ Lλ,A and hence

w0 β λ −β x,β 1,0 (85) (−λ )(tp ) · tgβ (Up φ) ∈ Lλ,A ⊆ Lλ,A, Pλ,j whence A,x,β is indeed well deﬁned. Then for any cohomology class φ as above, we obtain an element λ,j Pλ,j β β µA,β(φ) := A,x,β(φ) · x ∈ A(j)[C(p )] := A(j) ⊗O O[C(p )]. β x∈XC(p ) Here the right hand side denotes the tensor product of A(j) with the group ring of the ﬁnite ray class group C(pβ) over A.

λ,j 5.2. The distribution relation. To establish the distribution relation for µA,β we follow the argument in section 6.6 of [48]. The following generalizes Lemma 6.5 in [48] and Lemma 6.1 in [49].

Lemma 5.2. Let u ∈ U(Op). Then for every β > 0: ′ ′′ (i) There exists ku = (ku, ku) ∈ Iα,α satisfying β ′′ −1 β+1 (86) htp · utp = ∆(ku) · htp · ku. Non-abelian p-adic L-functions and non-vanishing of central L-values 43

′ ′′ (ii) For every ku = (ku, ku) ∈ Iα,α satisfying (86) the residue class of the determinant

′ ′′ β+1 det ku ≡ det ku (mod p )

−1 β is uniquely determined by u ∈ U(Op)/tpU(Op)tp and lies in 1+ p Op. (iii) The map −1 β β+1 U(Op)/tpU(Op)tp → (1 + p Op)/(1 + p Op),

′ u 7→ det ku, is a surjective group homomorphism.

Proof. The proof proceeds as the proof of Lemma 6.5 in [48] with the following additional observations:

β β htp · utp = (hnjn(t−1), 1n) · tp utp β = (hn, 1n) · tp (jn(t−1), 1n)utp

β (jn(t−1),1n) = (hn, 1n) · tp u tp · (jn(t−1), 1n), and likewise β+1 β+1 htp = (hn, 1n) · tp · (jn(t−1), 1n),

Therefore, the statement reduces to the same statement with (hn, 1n) replacing h, which is treated in loc. cit. for the compact open I0,α. Hence it suﬃces to remark that the elements ku,w ′ n+1 n and ku,w constructed in said proof lie in Iα,α and Iα,α respectively.

For any β ≥ β′ > 0 the a canonical projection

′ C(pβ) → C(pβ ) induces an O-linear epimorphism

β β β′ resβ′ : A(j)[C(p )] → A(j)[C(p )]. Proposition 5.3. For any cohomology class φ and any β ≥ β′ > 0 we have the distribution relation β′ λ,j λ,j resβ µA,β′ (φ) = µA,β(φ). Proof. It suﬃces to treat the case β = β′ + 1. In this case, the proof proceeds as the proof of Theorem 6.1 in [49], taking into account that equation (18) in loc. cit. remains valid by Proposition 5.1, and Lemma 5.2 and replaces Lemma 6.1 there.

λ,j By Proposition 5.3, we have a projective system (µA,β(φ))β. Put

C (p∞) := lim C (pβ) F ←− F β and µλ,j(φ) := lim µλ,j (φ). A ←− A,β β Thus we obtain an O-linear map

λ,j Y dim X ′ ∞ µA : Hc,ord ( (Kα ,α); Lλ,A) → A(j)[[CF (p )]]. 44 Fabian Januszewski

5.3. p-adic character varieties. Recall that C (p∞) = lim F ×\A×/F 0 (O(p))(1 + pβF ). F ←− F ∞ F p β We have b ∞ rF CF (p ) =∆ × Zp , for a finite group ∆ and an integers rF > 0. The norm map NF/Q : F → Q induces a morphism ∞ ∞ × NF/Q : CF (p ) → CQ(p )= Zp with image of finite index. The decomposition ∞ (87) CQ(p ) = µp−1 × (1 + pZp) ∞ gives rise to two distinguished characters of CF (p ) as follows. Write πi, i ∈ {1, 2}, for the projection onto the i-th factor of the right hand side in (87). Set ∞ ωF := π1 ◦ NF/Q : CF (p ) → Q[µp−1], where µp−1 denotes the group of (p − 1)-st roots of unity and the group µ2 = {±1} for p = 2. Put ∞ × h−iF := π2 ◦ NF/Q : CF (p ) → Cp , where Cp denotes the completion of an algebraic closure of Qp. Here we implicitly embedded × 1+ pZp into Cp canonically. Let X ∞ × F := Homcts(CF (p ), Cp ) ∞ denote the rigid analytic variety of continuous p-adic characters of CF (p ). The space XF is an equidimensional rigid analytic variety of dimension rF with #∆ irreducible components: X rF F = χ0 · (1 + mCp ) χG0∈∆ Inside this space, we have the Zariski denseb set X 0 X F := {χ ∈ F | χ of finite order} of finite order characters. Since rQ = 1, there is canonical projection ∞ cyc ∞ CQ(p )= ∆ × Zp → Zp := CQ (p ). Correspondingly, the cyclotomic line is defined as X cyc cyc ∞ × X Q := Homcts CQ (p ), Cp ⊆ Q. cyc ∞ Finite order characters of CQ (p ) are precisely the Dirichlet characters of p-power order which X cyc are unramified outside p∞. These are Zariski dense in Q . The norm induces a commutative diagram ∗ NF/Q XQ −−−−→ XF

x N ∗ x X0 F/Q X0 Q −−−−→ F We call the image X cyc ∗ X cyc X F := NF/Q( Q ) ⊆ F the cyclotomic line over F . It has a canonical (topological) generator h·iF , the cyclotomic s character of F . All other characters in the cyclotomic line are of the form h·iF for some s ∈ Zp. Non-abelian p-adic L-functions and non-vanishing of central L-values 45

Remark that the set ∗ X cyc,0 X 0 NF/Q( Q ) ⊆ F X cyc of norm-inﬂated Dirichlet characters of p-power order is Zariski dense in F .

5.4. p-adic Tate twists. Recall that we identiﬁed A(j) and A. This allows us to identify the modules A(j) for varying j. Theorem 5.4. Assume that two non-zero H-linear functionals

ηji : Lλ,E → E(ji), i ∈ {1, 2}, are given. Then we have for every Y dim X ′ φ ∈ Hc,ord ( (Kα ,α); Lλ,O) an identity of measures

j2 j2 λ,j1 j1 j1 λ,j2 ωF (x)hxiF µO (φ)(x) = ωF (x)hxiF dµO (φ)(x), ∞ on CF (p ). β Proof. By construction, we have for all β > 0 and all x ∈ CF (p ),

λ,ji ηji (v) µO,β(φ)(x) = ηj1,O(v) = ∈ O(ji) ηji (g0v0) x,β for some vector v ∈ Lλ,O independent of i ∈ {1, 2}. Two applications of the congruence (61) in Proposition 3.4 show:

j2 λ,j1 j2 NF/Q(x) · µO,β (φ)(x) = NF/Q(x) · ηj1,O(v) j1+j2 x,β β ≡ NF/Q(x) · Ωp (mod p O) j1 β ≡ NF/Q(x) · ηj2,O(v) (mod p O)

j1 λ,j2 = NF/Q(x) · µO,β (φ)(x). This proves the claim. 5.5. Modular symbols in p-adic families. We restrict our attention to the nearly ordinary case. For any α ≥ 0, the normalized projections ηj,K and ηj,O induce a canonical projection −α ηj,p−αO/O : Lλ,p−αO/O → p O/O. K β Given β ≥ α ≥ α0 and x ∈ C(p ), relation (85) shows that we may consider the modular Pλ,j −α symbol A,x,β for the case A = p O/O, i.e. we have Pλ,j dim Y X −α α,x,β : Hc,ord ( (Kα,α); Lλ,p−αO/O) → (p O/O)(j), given by

∗ w0 β λ −β φ 7→ η −α i (−λ )(t ) · t (U φ). − j,p O/O p gβ p Y (g K g 1∩H(A(∞))[x] Z β α,α β −α h i We emphasize that here both the O-module p O/O and the level Kα,α depend on α. As before, we obtain elements λ,j Pλ,j −α β µα,β(φ) := α,x,β(φ) · x ∈ (p O/O)(j)[C(p )], β x∈XC(p ) ′ K which in light of Proposition 5.3 satisfy for any β ≥ β ≥ α > α0 the distribution relation, β λ,j λ,j (88) resβ′ µα,β(φ) = µα,β′ (φ). K Therefore, we obtain for each α > α0 an O-linear map Y λ,j dim X ′ −α ∞ µα : Hc,ord ( (Kα ,α); Lλ,p−αO/O) → (p O/O)(j)[[C(p )]]. 46 Fabian Januszewski

′ K By construction, we have for all α ≥ α ≥ α0 , a commutative square µλ,j Y α′ ′ dim X ′ ′ ′ −α ∞ Hc,ord ( (Kα ,α ); Lλ,p−α O/O) −−−−→ (p O/O)(j)[[C(p )]]

 λ,j  dim Y X  µα −α  ∞ Hc,ord ( (Kα,αy ); Lλ,p−αO/O) −−−−→ (p O/O)(yj)[[C(p )]]. This allows us to pass to the direct limit to obtain a map λ,j dim Y ∞ µ : Hc,ord (K∞,∞; Lλ,E/O) → (E/O)(j)[[C(p )]].

Theorem 5.5 (Independence of weight). For any λ for which η0 is admissible we have a commuting square λ,0 dim Y µ ∞ Hc,ord (K∞,∞; Lλ,K/O) −−−−→ (K/O)(0)[[C(p )]]

πλ

 0,0 dim Y  µ ∞ Hc,ord (Ky∞,∞; K/O) −−−−→ (K/O)(0) [[C(p )]], where the map πλ is the isomorphism from Corollary 4.4. λ,0 0,0 λ,0 0,0 Proof. By construction of µ and µ as the inductive limits of the maps µα and µα , the claim is equivalent to the commutativity of the diagram λ,0 dim Y X µα −α ∞ Hc,ord ( (Kα,α); Lλ,p−αO/O) −−−−→ (p O/O)(0)[[C(p )]]

πλ

 0,0  dim Y X  −α µα −α  ∞ Hc,ord ( (Kyα,α); p O/O) −−−−→ (p O/O)y(0)[[C(p )]] K for each α ≥ α0 . On the one hand, this reduces us to the commutativity of

µλ,0 dim Y X α,β −α β Hc,ord ( (Kα,α); Lλ,p−αO/O) −−−−→ (p O/O)(0)[C(p )]

πλ

 0,0  Y µα,β dim X ′ −α −α  β Hc,ord ( (Kyα ,α); p O/O) −−−−→ (p O/Oy)(0)[C(p )] K for all β ≥ α ≥ α0 . And on the other hand, the commutativity of this diagram is by Theorem 4.3 equivalent to the identity Pλ,0 P0,0 (89) α,x,β(ιλ(φ)) = α,x,β(φ), K for all β ≥ α ≥ α0 and φ. To this point, we observe ﬁrst, that the congruence (61) and the relation (63) in Proposition 3.4, imply the identity

w0 −α −α −α ηp−αO/O,0((−λ )(tβ) · gβ(p v0)) = ηp−αO/O,0(p g0v0) ∈ p O/O. −α By the deﬁnition of iλ : p O/O → Lλ,p−αO/O, this implies that the following diagram of Y ′ −1 (∞) sheaves on (gβKα ,αgβ ∩ H(A )

η0,p−αO/O ∗ w0 β λ −α −α i (−λ )(tp ) · tgβ Lλ,p O/O −−−−−−−→ p O/O h i (90) iλ

x η0,p−αO/O i∗t0 p−αO/O −−−−−−−→ p−α O/O gβ  Non-abelian p-adic L-functions and non-vanishing of central L-values 47 commutes. Using the commutativy of (90) and the Hecke equivariance of ιλ, we obtain

∗ w0 β λ −β −α η0,p O/O i (−λ )(tp ) · tgβ (Up ιλ(φ))

∗ h w0 β λ i −β −α = η0,p O/O i (−λ )(tp ) · tgβ (ιλ(Up φ)) ∗ h0 −β i −α = η0,p O/O i tgβ (Up φ) , which proves (89).

K We ﬁx for all α ≥ α0 compatibly isomorphisms dim X ∼ (91) Hc (Kα,α; Qp/Zp) = Qp/Zp.

× Such a compatible choice is unique up to scalars in Zp and we are free to make it compatible with our choice of Haar measure on G(A). By Poincar´e-Pontryagin duality, our choice of (91) allows us to consider µλ,0 as an element of

Y X Y dim ∞ dim −dim ∨ ∞ HomO Hc,ord (K∞,∞; Lλ,E/O), E/O ⊗OO[[C(p )]] = Hord (K∞,∞; Lλ ,O)[[C(p )]], where as before (again via transfer maps)b dim X −dim Y dim X −dim Y ◦ H (K ; L ∨ ) = lim H (X (K ′ ); L ∨ ′ ). ord ∞,∞ λ ,O ←− ord α ,α λ ,O/α O α,α′

Since the interpretation of µλ,0 as an element of this space depends on the choice of isomorphism × in (91), we introduce an ambiguity in the form of a p-adic period in Zp . We remark that while dim Y = q0 is the bottom degree, dim X − dim Y = q0 + l0 is the top degree for G. There is inherent redundancy in this construction: The ambient space containing µλ,0 admits two canonical O[[C(p∞)]]-module structures. To understand their interrelation, consider the map λ,j dim Y Lp : Hc,ord (K∞,∞; Lλ,E/O) → (E/O)(j),

φ 7→ 1dµλ,j(φ) ∞ ZC(p ) Then by the distribution property, for β ≫ 0,

Lλ,j(φ) = lim Pλ,j (φ) ∈ (E/O) . p −→ α,x,β (j) β α x∈XC(p ) λ,j λ+(j),0 λ,j λ+(j),0 By deﬁnition, we may identify µ and µ , whence also Lp and Lp . Therefore, we may and do assume j = 0 in the sequel. As before,

Y X Y dim dim −dim ∨ HomO Hc,ord (K∞,∞; Lλ,E/O), E/O = Hord (K∞,∞; Lλ ,O), whence if η0 is admissible for λ, X Y λ,0 dim −dim ∨ Lp ∈ Hord (K∞,∞; Lλ ,O). Theorem 5.5 implies

Corollary 5.6 (Independence of weight). For any λ for which η0 is admissible,

◦ λ,0 0,0 πλ∨ (Lp ) = Lp . 48 Fabian Januszewski

Consider the diagram

µλ,0 dim Y X E/O ∞ Hc,ord ( (Kα,α); Lλ,E/O) −−−−→ E/O[[CF (p )]]

(92) µ7→ ∞ dµ RCF (p )  λ,0  dim Y  Lp  Hc,ord (K∞y,∞; Lλ,E/O) −−−−→ E/yO which commutes by construction. We consider the composition

φ 7→ dµλ,0 (φ) ∞ E/O ZCF (p ) λ,0 as an element Lp,α of q0+l0 X ◦ dim Y X Hord ( (Kα,α); Lλ∨,O) = HomO(Hc,ord ( (Kα,α); Lλ,E/O), E/O). Then by the commutativity of (92), we obtain Lemma 5.7. The canonical map q0+l0 q0+l0 X ◦ Hord (K∞,∞; Lλ∨,O) → Hord ( (Kα,α); Lλ∨,O) λ,0 λ,0 maps Lp to Lp,α. Remark 5.8. We may reconstruct the full measure λ,0 q0+l0 X ∞ µE/O ∈ Hord ( (Kα,α); O)[[CF (p )]] 0,0 β from Lp as follows. Let χ be an O-valued character with conductor dividing p . After possibly passing to a larger α, we may assume α ≥ β and consider χ as a function on C(det(Kα,α)), which pulls back to a locally constant function on X (Kα,α). Therefore, χ gives rise to a degree zero cohomology class 0 [χ] ∈ H (X (Kα,α); O).

Then the evaluation of µE/O(φ) at the character χ for q0 X φ ∈ Hc,ord( (Kα,α); Lλ,E/O) is given by 0,0 λ,0 Lp (πλ(φ ∪ [χ])) = Lp (φ ∪ [χ]) λ,0 = Lp,α(φ ∪ [χ]) = dµλ,0 (φ ∪ [χ]) ∞ E/O ZCF (p ) = χdµλ,0 (φ). ∞ E/O ZCF (p ) By Theorem 4.10, together with Corollary 5.6 and the Control Theorem in its dual form in Corollary 4.15 we obtain Theorem 5.9. Assume p ∤ (n + 1)n and that F is either totally real, CM, or that conjecture ∨ 4.9 holds for F . Fix a non-Eisenstein maximal ideal m in hord(K∞,∞, O) and write m for the contragredient maximal ideal with contragredient residual Galois representation. Then for every ∨ −1 locally algebraic O-valued character λ ϑ of T (Zp) with dominant λ for which η0 is admissible, K α and α ≥ α0 satisfying fϑ | p , the canonical map

q0+l0 q0+l0 ∨ ◦ ◦ X ◦ ∨ ◦ − Hord (K∞,∞; O)m ⊗Λ Λ /Pλ∨ϑ−1 → Hord ( (Kα,α); Lλ∨,O)m ⊗Λ ,ϑ 1 O 0,0 ◦ λ,0 ◦ maps Lp mod Pλ∨ϑ−1 to Lp,α mod Pϑ−1 . Non-abelian p-adic L-functions and non-vanishing of central L-values 49

6. p-adic L-functions 6.1. Abelian p-adic L-functions for automorphic representations. Recall that F/Q denotes a number field and G = resF/Q GL(n + 1) × GL(n) as before. For any regular algebraic cuspidal automorphic representation Π⊗Σ of G(A) of cohomological weight λ, the action of the finite Hecke algebra on Π⊗Σ is defined over the field of rationality Q(Π, Σ)/Q of Π and Σ, which is a number field by the work of Clozelb [6] (cf. [50] for a globalization of this result). We fix embeddings Q(Π, Σ) → Cband Q(Π, Σ) → E where E/Qp is sufficiently large. This allows us to refer to p-adic absolute values of eigenvalues of Hecke operators acting on Π⊗Σ. We call Π⊗Σ nearly ordinary at a rational prime p if for some α ≫ 0 there is a φ ∈ Π⊗Σ × which is an eigenvector of HQ(Π)(α, α) with eigenvalue ϑ : T (Qp) → Q(Π) satisfyingb b ∨ b (93) |λ (tp)ϑ(tp)|p = 1, for the normalized absolute value | · |p on E. This is the same to say that both Π and Σ are nearly ordinary at p (for the standard Borel subgroups Bn+1 and Bn) in the sense of [35]. We will see in the course of the proof of Theorem 6.1 below that in the nearly ordinary case, ϑ is then uniquely determined by Π⊗Σ. We fix embeddings

b i∞ : Q(Π, Σ) → C, and

ip : Q(Π, Σ) → E. Once appropriately normalized, the special values of the L-function L(s, Π⊗Σ) lie in Q(Π, Σ) and hence also in E provided that λ is balanced in the sense of (4), cf. [69, 51]. In the following we implicitly assume that the a priori complex valued p-adic Nebentypus ϑbof Π⊗Σ also takes values in E. b Theorem 6.1. Let Π⊗Σ be an irreducible regular algebraic cuspidal automorphic representation of G(A) of cohomological weight λ. Assume the following: (i) λ is balanced. b × (ii) Π⊗Σ is nearly ordinary at a prime p and ϑ : T (Qp) → C the corresponding Nebenty- pus. × × Then thereb are complex periods Ω±,j ∈ C , indexed by the characters of π0(F∞) and j ∈ Z ∞ for which (5) is non-zero, and a unique p-adic measure µΠ⊗Σ ∈ O[[CF (p )]] with the following 1 b property. For every s0 = 2 + j critical for L(s, Π⊗Σ), for all ﬁnite order Hecke characters χ of F unramiﬁed outside p∞ and such that χpϑ has fully supported constant conductor fχϑ, b j j χ(x)ωF (x)hxiF dµΠ⊗Σ(x) = ∞ b CF (Zp ) n µ − j (n+1)n − (n+1)n(n 1) L(s, Π⊗Σ ⊗ χ) N(fχϑ) 2 6 · G(χϑµ,ν ) · . Ω j µ=1 ν=1 (−1) sgn χ,j Y Y b Furthermore, µΠ⊗Σ is determined uniquely by the interpolation property for a single critical 1 b s0 = 2 + j.

Previously, Schwab settled the ‘Manin congruences’ for n = 2, λ3 = (2, 1, 0) and λ2 = (1, 0) in her Diploma thesis [82], while the case n = 1 was treated by Namikawa in [64].

Proof. As explained in section 2.3, we may choose at every ﬁnite place v ∤ p of F a good test vector 0 W −1 Wv ∈ (Πv ⊗ Σv, ψv ⊗ ψv ) 50 Fabian Januszewski which is the product of two normalized spherical Whittaker functions whenever Πv and Σv are unramiﬁed. At p we choose an eigenvector W −1 Wp ∈ (Πp ⊗ Σp, ψp ⊗ ψp ) for HC(α, α) with eigenvalue ϑ. From the proof of Proposition 6.4 in [35] we know that at each v | p the representations Πv and Σv are both subquotients of a principal series representation as considered in Proposition 1.3, and that ϑ is uniquely determined by Πp and Σp and the ordinarity condition. Furthermore, Wp lies in a unique line and

Wp(1) 6= 0. Recall that g and k denote the complexified Lie algebras of G(R) and the standard maximal compact K∞ ⊆ G(R) respectively. We set gk := z + k where z is the complexified Lie algebra of × the center Z(R) ⊆ G(R). Then for every character ε : π0(G(R)) → C , the ε-eigenspace 0 dim Y K∞ dim Y W −1 ∗ (94) H (g, gk; (Π∞⊗Σ∞, ψ∞ ⊗ψ∞ )⊗Lλ,C)ε = (g/gk) ⊗ Π∞⊗Σ∞ ⊗ Lλ,C ! ^ ε in cohomology is at mostb one-dimensional. Furthermore, it is non-trivialb if and only if the restriction of ε to π0(GLm(F ⊗ R)) where m ∈ {n + 1,n} is odd, agrees with the restriction of the product of the central characters ωΠ∞⊗Σ∞ ωLλ,C restricted to the subgroup {±1m} ⊆ GLm(F ⊗ R). b For each such ε we pick a generator ϕε,∞ in (94) and fix a non-zero

ηj ∈ HomH (Vλ,C, C(j)), which exists by [52], Theorem 2.3 and [69], Theorem 2.21. Then each ϕε,∞ projects under the map dim Y G ∗ W −1 resH ⊗1 ⊗ ηj,C : (g/gk) ⊗ (Π∞⊗Σ∞, ψ∞ ⊗ ψ∞ ) ⊗ Lλ,C → ^ dim Y b∗ W −1 (h/(gk ∩ h)) ⊗ (Π∞⊗Σ∞, ψ∞ ⊗ ψ∞ ) ⊗ Lλ,C to a vector of the form ^ G coh b resH ⊗1 ⊗ ηj,C(ϕε,∞) = ω∞ ⊗ Wε,∞ ⊗ 1. dim Y ∗ Here, ω∞ is a fixed generator of the line (h/(gk ∩ h)) (independent of ε), 1 ∈ C(j) is a generator as before, and coh,j WV −1 Wε,∞ ∈ (Π∞⊗Σ∞, ψ∞ ⊗ ψ∞ ). The latter vector is commonly refered to as a cohomological test vector. We emphasize that this vector possibly does depend on j. b On the one hand, we obtain for each such ε a global Whittaker vector coh,j coh,j 0 W −1 Wε := Wε,∞ ⊗ Wp ⊗ ⊗v∤p∞Wv ∈ (Π⊗Σ, ψ ⊗ ψ ). By [52, 81] (cf. also section 8 in [49]), we know b coh,j (95) Ω∞(j, Wε,∞ ) 6= 0. Set coh,j coh,j W := Wε . ε X Then for every finite order character χ unramified outside p∞,

S(p) coh,j coh,j Ω j, W = Ω∞ j, Wχ∞ 6= 0, χ only depends on j and χ∞. Non-abelian p-adic L-functions and non-vanishing of central L-values 51

On the other hand, we have cohomology classes 0 dim Y W −1 ϕε,∞ ⊗ Wp ⊗ ⊗v∤p∞Wv ∈ H (g, gk; (Π⊗Σ, ψ ⊗ ψ ) ⊗ Lλ,C)ε, which by inverse Fourier transform give rise to global cohomology classes b dim Y X φε ∈ Hc ( (Kα,α); Lλ,C)ε.

We may normalize the classes φε such that they lie p-optimally in dim Y X φε ∈ Hc ( (Kα,α); Lλ,Q(Π,Σ))ε,

where p-optimality is understood with respect to the embedding ip : Q(Π, Σ) → E (the latter induces a p-adic valuation on Q(Π, Σ)). By the hypothesis (93) on the Up-eigenvalue of Wp, we ﬁnd a preimage dim Y X φΠ⊗Σ := φε ∈ Hc,ord ( (Kα,α); Lλ,O). ε b X The resulting p-adic measure will be indepentent of this choice of preimage. Choose any j as above and put −j −j λ,j µΠ⊗Σ := ωF (−)h−iF µO (φΠ⊗Σ). b b By Theorem 5.4, µΠ⊗Σ is independent of j. Hence, for any χ and any j as in the statement of β the Theorem, if β ≥ bα such that fχϑ | p , then

j j λ,j χ(x)ωF (x)hxiF dµΠ⊗Σ(x) = χdµO (φΠ⊗Σ) ∞ b ∞ b CF (Zp ) CF (Zp ) Pλ,j = χ(x) O,x,β(φΠ⊗Σ) β x∈XC(p ) b ∗ ∨ β λ −β = χ(x) ηj,Oi λ (tp ) · tgβ (Up φΠ⊗Σ) Y −1 (∞) β (gβ Kα,αg ∩H(A ))[x] x∈XC(p ) Z β h i b ∨ β (∞) −1 = λ (tp ) · [H(Z) : H(A ) ∩ gβKα,αgβ ] · j φ ∨ −β −β coh,j g · htpβ χ(det(g)) |det(g)| dg, b λ (tp )Up W ZH(Q)\H(A) (−1)j By Proposition 5.1, (∞) −1 [H(Z) : H(A ) ∩ gβKα,αgβ ] = [H(Z(p)) : K(p) ∩ H(A(p∞))] · [H(Z ) : H(Q ) ∩ g I g−1] b p p β α,α β = [H(Z(p)) : K(p) ∩ H(A(p∞))] · [H(Z ) : In] b p β n (p) (p) (p∞) −µ −1 = [H(Zb ) : K ∩ H(A )] · 1 − qv · µ=1 Yv|p Y − b β (n+2)(n+1)n+(n+1)n(n 1) N(pOp) 6 . By the global Birch Lemma (cf. Theorem 2.9),

−β j ϑ(tp ) φ W coh,j g · htpβ χ(det(g))| det(g)| dg ( )(−1)j ZH(Q)\H(A) (n+2)(n+1) n+(n+1)n(n−1) (n+1)n(n−1) −j −β β −β 6 − 6 = ϑ(tp ) · ϑ(tp ) · N(pOp) · N(fχϑ) · tfχϑ · n µ

Ω (j, W coh,j ) · G(χϑ ) · L(j, Π⊗(Σ ⊗ χ)) ∞ (−1)j χ∞ µ,ν µ=1 ν=1 Y Y b 52 Fabian Januszewski

Collecting terms concludes the proof of existence of µΠ⊗Σ. Using Lemma 10.2 in [29], it is easy to see that the interpolatb ion property in Theorem 6.1 at 1 a single critical s0 = 2 + j determines the measure µΠ⊗Σ uniquely, cf. Corollary 6.9 in [48]. b Remark 6.2. The dependence of the periods Ω±,j on j is studied in [51, 24, 26]. It is a result (n+1)n coh of the author that each ϕ∞,ǫ lies in a Q(Π, Σ, (−1) 2 )-rational structure, and so do Wε,∞ and Wε (cf. [50, 51]). q 6.2. Non-abelian p-adic L-functions. Assume as before that F is totally real, CM or the q +l 0 0 ′ ∨ validity of Conjecture 4.9. Consider a non-Eisenstein component hord (Kα ,α; λ, O)m for a non-Eisenstein maximal ideal m in hord(K∞,∞; O). We also assume that p ∤ (n + 1)n and S(K)= S(p), i.e. K has full level outside p for technical reasons. Then we know by Hida’s Proposition 6.4 or Corollary A.4 in [35], which are applicable in our situation, that for each dominant weight λ, inner nearly ordinary cohomology q +l 0 0 X ′ (96) H!,ord ( (Kα ,α); Lλ∨,E) q +l 0 0 ′ ∨ is a semi-simple h!,ord (Kα ,α; λ , E)-module, each simple cuspidal summand occuring with multiplicity |π0(H(R))|, provided that Kα′,α is neat and E is sufficiently large (we refer to sections 2.3 and 4.3 in [51] and section 4.3 [26] for an explanation of the multiplicity in the case at hand). In particular, by Theorem 4.10, q +l q +l 0 0 X ′ ◦ ∨ 0 0 ′ ∨ ∨ Hord ( (Kα ,α); Lλ∨,O)m = E[π0(G(R))] ⊗ hord (Kα ,α; λ , E)m q +l 0 0 ′ ∨ ∨ as π0(H(R)) × hord (Kα ,α; λ , E)m -modules. Consequently, the space corresponding to the trivial signature at infinity q +l π (H(R)) q +l 0 0 X ′ ◦ 0 0 0 ′ ∨ ∨ (97) Hord ( (Kα ,α); Lλ∨,O)m∨ = hord (Kα ,α; λ , E)m is free of rank one. We remark that the hypothesis p ∤ (n + 1)n implies that p is odd and therefore π0(H(R)) acts semi-simply on the cohomology spaces under consideration. q 0 ′ On the one hand, each E valued point ξ ∈ Spechord(Kα ,α; λ, O)m(E) corresponds bijectively q +l ∨ 0 0 ′ ∨ ∨ to an E valued point ξ ∈ Spechord (Kα ,α; λ , O)m (E), and on the other hand, ξ corresponds bijectively to a cuspidal automorphic representation Πξ⊗Σξ of G(A) defined over E whose contragredient contributes to (96) (cf. Theorem 4.10), by virtue of the embeddings i∞ and ip from the previous section. For notational simplicity, we mab y fix once and for all an (algebraic) embedding iE : E → C. q 0 ′ We call such a ξ a classical point in Spechord(Kα ,α; λ, O)m(E). If we do not assume m to be non-Eisenstein and consider inner cohomology, the representation Πξ⊗Σξ is either cuspidal or residual. By [59], regularity of λ always implies cuspidality of Πξ⊗Σξ. In the cuspidal case, Theorem 6.1 provides us with an abelian p-adic L-function for ξ. In the residualb case, the proof of Theorem 6.1 shows that the modular symbol vanishes identicallyb by Corollary 5.8 in [36]. Back in the non-Eisenstein situation, let q 0 ′ ξ ∈ Spechord(Kα ,α; λ, O)m(E) be a classical point of balanced weight λ and Nebentypus ϑ. By Corollary 4.15,

q0+l0 π0(H(R)) ◦ ◦ q0+l0 ◦ π0(H(R)) ◦ ∼ X ′ ∨ ◦ − Hord (K∞,∞; O)m∨ ⊗Λ Λ /Pλ∨ϑ−1 ⊗OE = Hord ( (Kα ,α); Lλ ,E)m∨ ⊗E⊗OΛ ,ϑ 1 E, and

q0+l0 ◦ π0(H(R)) (98) H (X (K ′ ); L ∨ ) ∨ ⊗ q +l E ord α ,α λ ,O m 0 0 ′ ∨ ∨ ∨ hord (Kα ,α;λ ,O)m ,ξ is of rank 1 over E, cf. (97). The image of

q0+l0 ◦ π0(H(R)) H (X (K ′ ); L ∨ ) ∨ ⊗ q +l O ord α ,α λ ,O m 0 0 ′ ∨ ∨ ∨ hord (Kα ,α;λ ,O)m ,ξ Non-abelian p-adic L-functions and non-vanishing of central L-values 53

0,0 is a canonical O-lattice Oξ in (98). Fix an O-basis bξ ∈ Oξ. Identifying Lp with its image under the canonical projection map q +l q +l π (H(R)) 0 0 ∨ 0 0 0 Hord (K∞,∞; O)m →Hord (K∞,∞; O)m∨ , Theorems 5.9 and 6.1 imply Theorem 6.3. Assume p ∤ (n + 1)n, F totally real, CM or Conjecture 4.9. Let m denote a non-Eisenstein maximal ideal in m in hord(K∞,∞; O). Then the element

0,0 q0+l0 π0(H(R)) Lp ∈ Hord (K∞,∞; O)m∨ has the following interpolation property. For every classical point q 0 ′ ξ ∈ Spechord(Kα ,α; λ, O)m(E) 1 of balanced weight λ and Nebentypus ϑ, such that s0 = 2 is critical for L(s, Πξ⊗Σξ), we have

−1 ∨ 0,0 Ω · ξ ◦ ι ∨ −1 (L ) = dµ · b ξ,p λ ϑ p Πξ⊗Σξ ξ b C (p∞) Z F b n µ − 1 (n+1)n(n 1) L( 2 , Πξ⊗Σξ) = N(f ) 6 · G(ϑ ) · · b , ϑ µ,ν Ω ξ µ=1 ν=1 ξ Y Y b where the second identity is valid whenever ϑ has fully supported constant conductor. −1 × × Here Ωξ,p ∈ O[ξ] is a p-adic period, Ωξ ∈ C is a complex period and both these periods may be normalized in such a way that they are invariant under twists of Πξ⊗Σξ by finite order Hecke characters χ unramified outside p. b By remark 5.8, Ωξ,p invariant under twisting ξ with finite order Hecke characters χ unramified outside p, provided that we choose the test vectors in the construction of the measures for Πξ⊗Σξ (or equivalently, the complex periods Ω±,0) coherently. That this is indeed possible is a consequence of Theorem 6.1. Proofb of Theorem 6.3. For simplicity of notation we may assume that ξ is defined over O, i.e. 0,0 O[ξ]= O. Then by the preceeding discussion and the definition of Lp , we have

◦ 0,0 λ,0 ι ∨ −1 (Lp ) = φ 7→ dµ (φ) , λ ϑ ∞ E/O " ZCF (p ) # q π (H(R)) 0 X ′ 0 where φ ∈ Hc,ord( (Kα ,α); Lλ,E/O)m . We emphasize that any possible defect in the control theorem is absorbed by the commutativity of diagram (92). ∨ ◦ 0,0 Now application of ξ sends ιλ∨ϑ−1 (Lp ) into the rank one O-lattice O · bξ in (98). By ◦ 0,0 Poincar´e-Pontryagin duality this operation corresponds to the precomposition of the map ιλ∨ϑ−1 (Lp )(−) with the dual map q π (H(R)) 0 X ′ 0 ξ : E/O → Hc,ord( (Kα ,α); Lλ,E/O)m . ∨ 0,0 However, appealing to Poincar´eduality over O instead, we see that ξ ◦ιλ∨ϑ−1 (Lp ) corresponds to the map

q π (H(R)) λ,0 0 X ′ 0 H ( (Kα ,α); Lλ,O)m → O(0), φ 7→ dµ (φ), c,ord ∞ O ZCF (p ) evaluated at the element

q +l π0(H(R)) q π0(H(R)) 0 0 X ′ ◦ 0 X ′ ξ ∈ HomO(Hord (Kα ,α); Lλ∨,O)m∨ , O = Hc,ord( (Kα ,α); Lλ,O)m /(torsion). We conclude the proof with the observation that

dµλ,0(φ) = Ω · dµ · η (v ), O ξ,p Πξ⊗Σξ 0,O 0 C (p∞) C (p∞) Z F Z F b e 54 Fabian Januszewski with Ω ∈ O×, since µ is only deﬁned up to p-integral units, since the same applies to ξ,p Πξ⊗Σξ the image of the cohomologyb class φ after inverting p. Πξ⊗Σξ e b To obtain an integral version of Theorem 6.3 we need to formulate

q0+l0 π0(H(R)) Conjecture 6.4. For any non-Eisenstein maximal ideal m in hord(K∞,∞; O), Hord (K∞,∞; O)m∨ q +l 0 0 ∨ is a free module of rank one over hord (K∞,∞; O)m . Remark 6.5. In the totally real case with n = 1, Conjecture 6.4 is known under mild hypotheses on the residual representation ρm and p, cf. Theorem 4.6 in [14]. This result relies on an ‘R = T’ Theorem, which allows allows Dimitrov to interpret his non-abelian p-adic L-function as an element of a universal deformation ring. Remark 6.6. Hansen-Thorne’s Theorem 4.9 in [25] conditionally implies Conjecture 6.4 up to O-torsion in the case F = Q. Following section 5 in [14] and assuming Conjecture 6.4, we deﬁne the universal p-adic L- function q +l univ 0 0 ∨ Lp,m ∈ hord (K∞,∞; O)m 0,0 as the image of Lp under the isomorphism q +l π (H(R)) q +l 0 0 0 0 0 ∨ Hord (K∞,∞; O)m∨ → hord (K∞,∞; O)m . q +l ∨ 0 0 ′ ∨ ∨ Let ξ ∈ Spechord (Kα ,α; λ, O)m (O) denote a classical point of weight λ and Nebentypus −1 ϑ . Assume that η0 is admissible for λ (in particular, λ is balanced). By Theorem 5.9, the canonical isogeny from Corollary 4.16,

q0+l0 q0+l0 q0+l0 q0+l0 ∨ ∨ − ∨ ′ ∨ ∨ − ′ ∨ ∨ hord (K∞,∞; O)m /Pλ ϑ 1 hord (K∞,∞; O)m → hord (Kα ,α; λ , O)m /Pϑ 1 hord (Kα ,α; λ , O)m , −1 univ composed with ξ , maps Lp,m onto

ξ−1 ◦ λ∨ϑ−1(Luniv) =Ω · dµ , p,m ξ,p Πξ⊗Σξ C (p∞) Z F b × where Ωξ,p ∈ O is again a p-adic period. We obtain Theorem 6.7. Assume p ∤ (n + 1)n, F totally real, CM or Conjecture 4.9. Let m denote a non-Eisenstein maximal ideal in m in hord(K∞,∞; O) for which Conjecture 6.4 holds. Then there exists an element q +l univ 0 0 ∨ Lp,m ∈ hord (K∞,∞; O)m with the following interpolation property. For every classical point q +l ∨ 0 0 ′ ∨ ∨ ξ ∈ Spechord (Kα ,α; λ , O)m (O) ∨ −1 1 of balanced weight λ and Nebentypus ϑ , such that s0 = 2 is critical for L(s, Πξ⊗Σξ), we have b Ω−1 · ξ∨ ◦ λ∨ϑ−1(Luniv) = dµ ξ,p p,m Πξ⊗Σξ C (p∞) Z F b n µ − 1 (n+1)n(n 1) L( 2 , Πξ⊗Σξ) = N(f ) 6 · G(ϑ ) · , ϑ µ,ν Ω µ=1 ν=1 ξ Y Y b where the second identity is valid whenever ϑ has fully supported constant conductor. −1 × × Here Ωξ,p ∈ O[ξ] is a p-adic period, Ωξ ∈ C is a complex period and both these periods may be normalized in such a way that they are invariant under twists of Πξ⊗Σξ by ﬁnite order Hecke characters χ unramiﬁed outside p. b Non-abelian p-adic L-functions and non-vanishing of central L-values 55

Remark 6.8. In general, twisting by finite order characters also twists the residual representation ∞ by a character of the finite torsion subgroup ∆ of CF (p ). However, there are only finitely many such twists and hence only a finite set of corresponding non-Eisenstein maximal ideals m1,..., mδ, (1 ≤ δ ≤ |∆[1/p]|), corresponding to finite order twists with characters unramified outside p∞. Let δ n := mi i\=1 Our construction generalizes to Hecke algebras localized at n, i.e. the product of their localizations at each mi, provided that Conjecture 6.4 holds for every mi. By the Chinese Remainder Theorem, we obtain an isomorphism

q0+l0 q0+l0 − ∼ − Hord (K∞,∞; O)n 1 = O[π0(H(R))] ⊗O hord (K∞,∞; O)n 1 , which allows us to deﬁne a p-adic L-function

q0+l0 univ − Lp,n ∈ hord (K∞,∞; O)n 1 ,

q0+l0 ′ ∨ − with the corresponding interpolation property for classical points in Spec hord (Kα ,α; λ , O)n 1 (O). univ Remark 6.9. The interest in considering Lp,n is that it allows us to recover the full abelian p-adic L-functions from Theorem 6.1 as follows. q0+l0 − ∞ The universal nearly ordinary Hecke algebra hord (K∞,∞; O)n 1 carries a canonical O[[CF (p )]]- ∞ algebra structure and any O[[CF (p )]]-algebra homomorphism

q0+l0 − ∞ Ξ : hord (K∞,∞; O)n 1 → O[[CF (p )]] ∞ ∨ for which the composition with the trivial character of CF (p ) yields a classical point ξ of balanced weight, sends Luniv to µ . Likewise, we can recover µ from L0,0 localized at p,n Πξ⊗Σξ Πξ⊗Σξ p n. b b 6.3. Applications to non-vanishing of central L-values. As an application of Theorem 6.1 we prove Theorem 6.10. Let F be a number ﬁeld, Π⊗Σ be a cuspidal automorphic representation of G(A) satisfying the hypotheses of Theorem 6.1. Assume that L(s, Π⊗Σ) admits at least two critical values and that w is even. Then the p-adic measure µ ∈ O[[C (p∞)]] is λ b Π⊗Σ,λ,wλ/2 F X 0 b non-zero. Furthermore, for each χ ∈ F the measure b cyc ∞ χ · µ | cyc ∞ ∈ O[χ][[C (p )]] Π⊗Σ,λ,wλ/2 CQ (p ) F b is non-zero. Proof. We have an identity

(99) h·iF · ωF · χ · µ | cyc ∞ = χ · µ | cyc ∞ Π⊗Σ,λ,wλ/2 CF (p ) Π⊗Σ,λ,1+wλ/2 CF (p ) cyc ∞ b b of measures on CF (p ). We know that the measure

χ · µ | cyc ∞ Π⊗Σ,λ,1+wλ/2 CF (p ) is non-zero by Theorem 6.1, because the complexb L-function in the interpolation formula is non- w zero whenever the real part of s is larger than λ + 1, cf. [43]. Whence χ · µ | cyc ∞ 2 Π⊗Σ,λλ,wλ/2 CF (p ) is non-zero. b Corollary 6.11. For every ﬁnite order Hecke character χ of F we have 1+ w L( λ , Π⊗Σ ⊗ χχ′) 6= 0 2 ′ cyc ∞ C× for all but ﬁnitely many characters χ : CF (pb ) → . 56 Fabian Januszewski

−w Remark 6.12. Π| · | λn+1 ⊗Σ| · |−wλn is unitary and Corollary 6.11 is a non-vanishing statement about the central L-value. By [76] it is known that near-central critical values are always non-zero. b Proof. Remark that if Π⊗Σ satisﬁes the hypotheses of Theorem 6.1, then so does Π⊗Σ ⊗ χ. Assume without loss of generality that χ takes values in E. By the above theorem, cyc ∞ 0b6= µ | cyc ∞ ∈ O[[C (p )]] b Π⊗Σ⊗χ,λ,wλ/2 CF (p ) F b =∼ O[[X]]. By the Weierstrass Peparation Theorem, a non-zero power series in one variable over O admits only ﬁnitely many zeroes and the claim follows. 6.4. Non-vanishing via non-abelian deformations. As an application of Theorems 6.1 and 5.9 we prove (independently of Conjecture 6.4), Theorem 6.13. Let p ∤ (n+1)n, F totally real, CM or assume the validity of Conjecture 4.9 over F . Let m denote a non-Eisenstein maximal ideal in m in hord(K∞,∞; O). Assume the existence of a classical point ξ ∈ Spec hord(K∞,∞; O)m−1 of balanced weight such that L(s, Πξ⊗Σξ) admits at least two critical values. 0,0 q0+l0 π0(H(R)) Then the image Lp,m of Lp in Hord (K∞,∞; O)m−1 is non-zero. Moreover, itsb projection to

q +l π0(H(R)) 0 0 ′ (100) H (K ; O) −1 ⊗ ∞ ∞ O c,ord ∞,∞ m hord(K , ;O)m−1 ,ξ ′ is non-zero for some classical point ξ ∈ Spec hord(K∞,∞; O)m of balanced weight.

Proof. By Theorem 5.5, we may assume without loss of generality that η0 is admissible for the weight λ of ξ. We import the notation of Remark 6.8, i.e. let mi, 1 ≤ i ≤ δ, denote the non-Eisenstein maximal ideals corresponding to finite order twists of the residual representation ρm by characters unramified outside p∞ and of prime-to-p order. From the proof of Theorem 6.10 we deduce that the measure µ is non-zero on every Πξ⊗Σξ cyc ∞ ∞ b translate of CF (p ) in CF (p ). By Theorem 5.9 and Remark 5.8, the non-vanishing of µ on every translate of the Πξ⊗Σξ 0,0 0,0 q0+l0 b ◦ π0(H(R)) cyclotomic line implies that the image Lp,mi of Lp in H (K∞,∞; Lλ,O) ∨ is non-zero c,ord mi for every 1 ≤ i ≤ δ and also non-zero in (100) for some cyclotomic twist ξ′ of ξ by Theorem 6.3. Corollary 6.14. Under the assumptions of Theorem 6.13, for every dominant weight λ and λ,j every ηj admissible for λ, the restriction of µα to the localization λ,j dim Y X π0(H(R)) −α ∞ µα,m : Hc,ord ( (Kα,α); Lλ,p−αO/O)m → (p O/O)(j)[[C(p )]] is non-zero for every sufficiently large α. Remark 6.15. Corollary 6.14 implies the existence of non-zero p-adic L-functions for torsion classes in the absence of classical points. Corollary 6.16. Under the assumptions of Theorem 6.13, let λ denote a balanced cohomological weight for which η0 is the (unique) admissible character. Let furthermore X ⊆ Spec hord(K∞,∞; O)m(E) denote an irreducible component containing the classical point ξ from Theorem 6.13 with the λ property that its subset Xcl ⊆X of classical points of balanced weight λ is Zariski-dense in X . λ Then there exists ξ ∈Xcl such that Πξ⊗Σξ is cuspidal and a Hecke character χ of finite order and unramified outside p∞, satisfying 1 b L( , Π ⊗Σ ⊗ χ) 6= 0. 2 ξ ξ b Non-abelian p-adic L-functions and non-vanishing of central L-values 57

Moreover, 1 L( , Π ⊗Σ ⊗ χχ′) 6= 0 2 ξ ξ for all but ﬁnitely many Hecke characters χ′ ∈ X cyc. b F Proof. Assume to the contrary that 1 L( , Π ⊗Σ ⊗ χ) = 0 2 ξ ξ λ for all ξ ∈Xcl and all χ unramiﬁed outside pb∞. By Theorem 6.1 this implies µ = 0 Πξ⊗Σξ b λ 0,0 for all ξ ∈Xcl. Therefore, the specialization of Lp vanishes at all classical ξ of weight λ in X (cf. Theorem 6.3). λ 0,0 By the Zariski-density of Xcl, this implies that the evaluation of Lp vanishes at all points in X . This contradicts Theorem 6.13. The generic non-vanishing statement on the cyclotomic line follows as in the proof of Theorem 6.10.

List of Symbols

(−)e application of the coroot corresponding to e, page 8 (−)ss semisimpliﬁcation, page 11 (δ) constant tuple (δ) ∈ Zn, page 8 A from section 4 on, A is in {O/pαO,p−αO/O, O, K/O}, page 31 n An matrix in I depending on f, page 15 A(j) codomain of the A-valued j-th power of the Norm character, page 28 β β A(j)[C(p )] the module A(j) ⊗O O[C(p )], page 42

Aπq Satake parameters for πq, page 24 B upper triangular Borel subgroup in G, page 7 B− lower triangular Borel subgroup in G, page 7 n Bn matrix in I depending on f, page 15 Bn standard upper triangular Borel subgroup in GL(n), page 7 − Bn lower triangular Borel subgroup in GL(n), page 7 C(L) class group of level det L, page 40 C(pβ) ray class group of level pβ, page 42 ∞ ∞ CF (p ) ray class group of level p of F , page 43 n Cn matrix in I depending on f, page 16 −(n−1) n−1 Dn diagonal matrix diag(f ,...,f ) ∈ GLn(F ), page 14 E finite extension of Qp, field of coefficients, page 6 En matrix depending on f defined in [47], page 14 ⊗j E(j) one-dimensional H-representation NH , page 7 F number field or finite extension of Qp, page 6 Fp defined as F ⊗Q Qp, page 22 G resF/Q GL(n + 1) × GL(n), page 7 G(χ) Gauß sum of χ with respect to ψ, page 14 H resF/Q GL(n), diagonally embedded into G, page 7 HF (X) reciprocal spherical Hecke polynomial for GL(n) over nonarchimedean field F , page 10 Hv(X) reciprocal spherical Hecke polynomial for G at v, page 34 • • H?,ord(−; −) Up-ordinary part of H? (−; −), page 31 • H? (−; −) sheaf cohomology with support condition ?, page 31 n I Iwahori subgroup of GLn(O), page 14 α Iα elements in G(Zp) which are upper triangular mod p , page 22 n α Iα subgroup of GLn(O), upper triangular mod p , page 9 58 Fabian Januszewski

◦ der I0,α intersection of I0,α with G , page 37 IGLn (λ) unnormalized induction of λ, page 11 Bn α′ Iα′,α elements in Iα which are unipotent mod p , page 23 ◦ ′ dere Iα′,α intersection of Iα ,α with G , page 38 n α α′ Iα′,α subgroup of GLn(O), upper triangular mod p , unipotent mod p , page 9 Bn Iα′ compact open in Bn(F ), page 10 n ℓ Jℓ principal congruence subgroup mod f in GLn(O), page 14 K compact open in G(A(∞), page 29 K∞ standard maximal compact in G(R), page 29 ′ K∞ standard maximal compact in H(R), equals the intersection of H(R) with K∞, page 40 (∞) Kα′,α compact open in G(A ) with p-component Iα′,α, page 30 ◦ der K•,• intersection of K•,• with G , page 38 e (∞) Km compact open in GLm(AF ), a factor of K, page 29 L(s, Π⊗Σ) Rankin-Selberg L-function for the pair (Π, Σ), page 24 L(s,π) L-function of local or global representaiton π with complex variable s, page 13 L0 bidentity component of (topological) group L, page 6 LS(s, Π⊗Σ) global partial Rankin-Selberg L-function with Euler factors at places in S removed, page 25 α L theb gα-conjugate of subgroup L ⊆ G, page 27 Lder derived group of L, page 6 λ,j λ,j Lp integration of µ over trivial character, page 47 Lλ,A tensor product of Lλ,O with A, page 31 Lλ,E irreducible rational G-representation of highest weight λ over the field E, page 7 Lλ,O G(O)-lattice generated by v0, page 28 x,α Lλ,O translation of the lattice Lλ,O by dxgα using normalized T (Qp)-action, page 28 ◦ Lλ∨,A (Pontryagin) dual lattice, page 32 λ,0 λ,0 q0+l0 X Lp,α integration of µE/O against trivial character as an element of Hord ( (Kα,α); Lλ,O), page 48 q +l univ 0 0 ∨ Lp,m p-adic L-function in hord (K∞,∞; O)m , page 54 NH norm character H → GL1, page 7 ∞ ∞ NF/Q norm in F/Q, extended to CF (p ) → CQ(p ), page 44 α′ Pϑ kernel of ϑ, prime ideal in O[T (Zp/p Zp)], page 39 Pλϑ kernel of λϑ, a prime ideal in Λ, page 39 ℓ Rℓ system of representatives for O/f , page 15 × ℓ × Rℓ system of representatives for (O/f ) in Rℓ, page 15 S set of places of F containing S(p) and the finite places ramified in F/Q, page 35 S(K) finite set of places depending on compact open K, page 33 S(p) places in F above p, page 26 S∞ archimedean places of number field F , page 24 Sn symmetric group on {1,...,n}, occationally identified with W (GLn, Tn), page 7 SΠ⊗Σ finite places where Π⊗Σ ramifies, page 24 T b diagonal torus in G, page 7 Tν standard spherical Heckeb operator for GL(n), page 10 T canonical isomorphism t∗L → gL , page 39 g g O O Tn standard diagonal torus in GL(n), page 7 U unipotent radical of B, page 7 U(δ) Iα-double coset corresponding to δ ∈ ∆G, page 23 U(gA) universal enveloping Lie algebra of gA over A, page 8 Un unipotent radical of Bn, page 7 Non-abelian p-adic L-functions and non-vanishing of central L-values 59

Up the Up-operator of level Iα′,α for G(Qp), page 24 Up Up-operator in GL(n), page 10 ′ Up Up-operator in GL(n), including central contribution, page 10 e n ′ U̟ generalized Up-operator in HA(α , α), page 9 Upε Hecke operator of level Iα′,α for G(Qp), page 23 Vν Up operator for GL(n) for ν-th fundamental weight, page 9

VBn Jaquet module of V , page 11 W (GLn, Tn) Weyl group of GL(n) with respect to Tn, page 7 W 0 global good test vector in the Whittaker model, page 24 Un(O) W space of Un(O)-fixed vectors in W , page 11 Wχ global Whittaker function twisted by χ, page 25 coh,j Wε j-th global cohomological Whittaker vector for sign ε, page 50 Wv local Whittaker vector on GLn+1(Fv) × GLn(Fv), page 24 0 Wv good local test vector in the Whittaker model (the new vector in the spherical case), page 24 XQ(H) character lattice of H, page 7 Z center in G, page 29 Z(s; w,v,δ,e,ω,r) local partial sum, page 17 Zs split center in G, page 29 Zm center of GLm, page 29 s Zm split center of resF/Q GLm, page 29 [χ] degree zero cohomology class attached to finite order character χ, page 48 A ring of adèles over Q, page 6 (∞) AF finite adèles over F , page 6 (p∞) AF finite adèles outside p over F , page 6 AF ring of adèles over F , page 6 ∆ diagonal embedding resF/Q GL(n) → G, page 7 ∆+ system of positive roots in b, page 28 ∆G semigroup in T (Qp), page 23 ∆F,n semigroup in Tn(F ), page 9 −1 Γg arithmetic subgroup in G(Q) corresponding to gKg , page 29 Λ completed O-group ring for T (Zp), page 33 ◦ Λ completed O-group ring for T (Zp)/(torsion), page 33 O valuation ring in finite extension of Qp (in E or in F ), page 6 O[λw0 free O-module of rank 1 on which B− acts via λw0 , page 31 Op defined as OF ⊗Z Zp, page 22 Ω(s,W ) ratio of global zeta integral to global L-function, page 25 ΩS(s,W ) ratio of partial zeta integral to partial L-function (outside S), page 25 α,v Ωp p-adic constant, page 28 Ωv(s,Wv) ratio of local zeta integral to local L-function, page 24 Π cuspidal automorphic representation of GLn+1(AF ), page 24 Π⊗Σ cuspidal automorphic representation of G(A) corresponding to Π and Σ, page 24 Ψ(s,W ) global zeta integral for G, page 25 Ψvb(s,Wv) local Rankin-Selberg zeta integral, page 24 Q(Π, Σ) field of rationality of Π⊗Σ, page 49 Σ cuspidal automorphic representation of GLn(A), page 24 N(−) absolute norm of an ideal,b page 9 α non-negative integer, at least as large as α′, page 9 α′ non-negative integer, bounded above by α, page 9 K α0 minimal α0 such that K0,α0 is neat, page 30 χ a local or global quasi-character, page 14 60 Fabian Januszewski

χ(g) χ evaluated at det g, page 14 δ(Wp) complex constant, page 26 ηj H-intertwining Lλ,E → E(j), page 7 ηj,A normalization of ηj, page 40 ιλ map (isomorphism) on (universal nearly) ordinary cohomology induced by iλ, page 32 ◦ ιλ∨ Pontryagin dual to pλ, page 33 λ B-dominant weight of G, page 7 ∨ λ highest weight of the contragredient to Lλ,E, page 31 δ n×n λn map F → F , page 14 α′ ′ h−i canonical map Tn(Zp/p Zp) → HA(α , α), page 23 h−iF torsion free component of cyclotomic character, page 44 g Lie algebra of G, page 8 α l the gα-conjugate of a Lie subalgebra l ⊆ g, page 27 HA(R,S) double coset Hecke algebra over the ring A, page 8 ′ HA(α , α) double coset Hecke algebra of level Iα′,α for G, page 23 n ′ ′ HA(α , α) abstract Hecke algebra for GL(n) of level Iα ,α for cosets represented by ∆F,n, page 9 Bn ′ HA (α ) parabolic Hecke algebra for GL(n), page 10 ord HA generic nearly ordinary p-adic Hecke algebra for G, page 23 • H?,ord(K∞,∞; λ, A) universal nearly ordinary homology of weight λ with coefficients in A ∈ {O, E/O}, page 33 M Hecke module, page 23 M[η] generalized η-eigenspace in M, page 37 RZ(R,S) free Z-module of right cosets sR, page 8 ℓ Tn,ℓ system of representatives for Tn(O/f ), page 15 n Iβ intersection of gβ-conjugate of Iα with H, page 40 n Rn,ℓ matrices in I with entries in Rℓ, page 15 ω −1 − Rn,ℓ defined as the intersection Rn,ℓ ∩ ω Bn (O)ω, page 15 fχ conductor of χ, page 14 m (non-Eisenstein) maximal ideal in hord(K∞,∞; O), page 35 m∨ maximal ideal for contragredient residual representation, page 48 m mm (non-Eisenstein) maximal ideal in hord(K∞,∞; O), page 35 n intersection of maximal ideals mi, page 55 p prime ideal in F dividing p, page 6 Pλ,j A,x,β topological modular symbol, page 42 W (Π⊗Σ), ψ ⊗ ψ−1) global ψ-Whittaker model of Π⊗Σ, page 24 W (π, ψ) ψ-Whittaker model of π, page 12 X (Kb) locally symmetric space for G of level K, page 29 X cyc F cyclotomic line over F , page 44 ∞ XF rigid analytic space of p-adic characters on CF (p ), page 44 X 0 X F finite order characters in F , page 44 X cyc Q cyclotomic line over Q, page 44 Xm(Km) locally symmetric space for GLm(AF ) of level Km, page 29 X 0 reg,bal set or regular dominant arithmetic points for which η0 is admissible, page 37 Y (L) locally symmetric space for H of level L, page 40 λ,j λ,j µ direct limit of µα for α →∞, page 46 λ,j Y dim X ′ ∞ µA torsion measure as a map Hc,ord ( (Kα ,α); Lλ,A) → A(j)[[CF (p )]], page 43 λ,j ∞ µA (φ) A-valued distribution on C(p ), page 43 λ,j β µA,β(φ) A-valued distribution on C(p ), page 42 ∞ µΠ⊗Σ O-valued measure on CF (p ) attached to Π⊗Σ, page 49 λ,jb β µα,β torsion valued distribution on C(p ), page 45 b Non-abelian p-adic L-functions and non-vanishing of central L-values 61

µp−1 p − 1-th roots of unity in Zp, page 44 ω element in W (GLn, Tn) =∼ Sn, realized as permuation matrix in GL(n), page 7 ωF relative Teichm¨uller character, page 44 ων ν-th fundamental weight for GL(n), page 9 E algebraic closure of E, page 6 O valuation ring inside E, page 6

ρmm residual Galois representation of dimension m corresponding to mm, page 35 ρm residual Galois representation of dimension (n + 1)n corresponding to m, page 35 φW cusp form: the inverse Fourier transform of W , page 25 φn column vector depending on f, page 14 φΠ⊗Σ global O-integral cohomology class attached to Π⊗Σ, page 51 π0(bL) group of connected components of (topological) group L, page 6 πλ map (isomorphism) on (universal nearly) ordinaryb cohomology induced by pλ, page 32 ψ a non-trivial character of F (locally) or AF , extended to generic character of Un(F ) (locally) or Un(AF ), page 14 × ψp additive character Fp → C derived from ψ, page 24 rk G(R) split rank of G(R) as real Lie group, page 30 β β β′ resβ′ restriction map A(j)[C(p )] → A(j)[C(p )], page 43 ρn half sum of positive roots in GL(n), page 8 n+1 × θ extension of the characters θ1,...,θn+1 to Iα → C , page 17 ′ ′ ′ n × θ extension of the characters θ1,...,θn to Iα → C , page 17 θg conjugate of θ by g, page 17 × × θµ quasi-character F → C of conductor dividing f, page 17 ′ × × θν quasi-character F → C of conductor dividing f, page 17 Eñ+1 matrix in Jn+1, 1, page 22 ˜ ω n−1 n−2 t Rn,ℓ representatives with fixed last column (f , −f ,..., −1) , page 15 ω˜ projection of ω to GLn−1(F ), page 19 e˜ projection of e to Zn−1, page 19 Lλ,E sheaf associated to Lλ,E, page 29 ε multi-exponent indexed by ̟ | p, page 23 εχϑ multi-exponent in the conductor of (each component of) χpϑ, page 25 ̟ uniformizer of p, page 6 × ϑ (quasi-)character T (Qp) → A , also its canonical extension to HA(α, α) → A, often a p-Nebentypus, page 23 ϑµ,ν the (µ,ν)-component of ϑ, page 25 ⊗ (outer) completed projective tensor product of Casselman-Wallach representations, page 24 H subgroup of H complementary to the maximal Q-split torus in its center, page 7 Kb ∞ standard maximal compact K∞ times connected component of the split center in G, e page 29 m Ke∞ standard maximal compact times (connected component of) the center in GLm(F ⊗Q R), page 29 Uei parabolic Hecke operators, page 10 λ modification of character λ, page 11 beξ a generator of Oξ, page 53 n bek k-th standard basis vector in Z , page 7 dx diagonal matrix with determinant x, page 8 n dn,γ multi-exponent in Z , page 19 dg normalized Haar measure, page 14 n e tuple e = (e1,...,en) ∈ Z , page 8 eχ eχ exponent satisfying fχ = p , page 14 ep Hida’s ordinary projector, page 31 62 Fabian Januszewski fχ power of ̟ generating fχ, page 14 fχϑ generator of the conductor of (each component of) χϑ, page 25 gLO g-translation of lattice LO ⊆ Lλ,E, page 39 γ g right multiplication of g with γ ∈ Tn(O), extended to representatives, page 15 α gα the element h · tp in G(Qp), page 27 h matrix in G(Zp), page 8 hn matrix in GL(n + 1), page 8 i proper map Y (L) → X (K), page 40 i∞ fixed embedding Q(Π, Σ) → C, page 49 iλ inclusion O→ Lλ,O of lowest weight space, page 31 ip fixed embedding Q(Π, Σ) → E, page 49 jn embedding GL(n) → GL(n + 1), page 7 jn,δ map GLn(F ) → GLn+1(F ), page 14 k (extension of the) residue field of O, page 35 l0 length of cuspidal range for G, page 30 p F -linear projection F n × F n → F n−1×n−1, page 16 p a fixed rational prime, page 6 pλ projection Lλ,O → O to lowest weight space, page 31 ◦ pλ∨ Pontryagin dual to ιλ, page 33 q residue field cardinality, page 6 q0 bottom degree for cuspidal cohomology of G, page 30 t • (−) p-normalized action of T (Qp), page 28 n tp the element diag(p ,...,p) diagonally embedded into G(Qp), page 27 n n−1 tx diagonal matrix diag(x ,x ,...,x), page 8 −1 v local ψ -Whittaker function on GLn(F ), page 17 v0 a fixed highest weight vector in Lλ,E, page 28 w local ψ-Whittaker function on GLn+1(F ), page 17 w0 longest Weyl element in W (G, T ), page 7 wλ purity weight of λ, page 30 wn longest Weyl element in W (GLn, Tn), page 7 h?,ord(K∞,∞; O) Hida’s universal nearly ordinary Hecke algebra for G, page 33 h?,ord(K∞,∞; λ, O) Hida’s universal nearly ordinary Hecke algebra of weight λ, page 34 m hord(K∞,∞; k) universal nearly ordinary cohomology for GL(m) with coefficients in k, page 35 1n identity matrix in GL(n), page 8 h?,ord(Kα,α; λ, O) nearly ordinary Hecke algebra of weight λ and level Kα,α, page 34 q h?,ord(Kα,α; λ, O) nearly ordinary Hecke algebra of level Kα,α in cohomological degree q, page 34

References

[1] J. Arthur and L. Clozel. Simple algebras, base change, and the advanced theory of the trace formula, Annals of Mathematics Studies 120. Princeton University Press, 1989. [2] J. Bernstein and B. Krötz. Smooth Fréchet globalizations of Harish-Chandra modules. Israel Journal of Mathematics 199, pages 45-111, 2014. [3] F. Calegari and B. Mazur. Nearly ordinary Galois deformations over arbitrary number fields. Journal of the Inst. of Math. Jussieu 8, pages 99–177, 2009. [4] W. Casselman. Canonical extensions of Harish-Chandra modules to representations of G. Canadian Journal of Mathematics 41, pages 385–438, 1989. [5] W. Casselman and J. Shalika. The unramified principal series of p-adic groups. II. The Whittaker function. Compositio Mathematica 41, pages 207–231, 1980. [6] L. Clozel. Motifs et formes automorphes, Automorphic forms, Shimura varieties, and L- functions I (L. Clozel and J.S. Milne, eds.), Perspectives in Mathematics 10, Academic Press, 1990, pp. 77–159. Non-abelian p-adic L-functions and non-vanishing of central L-values 63

[7] L. Clozel and J. Thorne. Level-raising and symmetric power functoriality I. Compositio Mathematica 150, pages 729–748. [8] L. Clozel and J. Thorne. Level-raising and symmetric power functoriality II. Annals of Mathematics 181, pages 303–359. [9] L. Clozel and J. Thorne. Level-raising and symmetric power functoriality III. To appear in Duke Mathematical Journal 150, pages 1–53. [10] J. Coates, and B. Perrin-Riou. On p-adic L-functions attached to motives over Q. Algebraic number theory, Vol. 17, Adv. Stud. Pure Math., Academic Press, pages 23–54, 1989. [11] J. Coates. On p-adic L-functions attached to motives over Q II. Bol. Soc. Bras. Mat., Vol. 20, No. 1, pages 101-112, 1989. [12] J. W. Cogdell and I. I. Piatetski-Shapiro. Converse theorems for GLn, Publications Mathématiques de l’I.H.E.S.´ 79 (1994), 157–214. [13] J. W. Cogdell and I. I. Piatetski-Shapiro. Remarks on Rankin-Selberg convolutions, Contri- butions to automorphic forms, geometry and number theory (H. Hida, D. Ramakrishnan, and F. Shahidi, eds.), Johns Hopkins University Press, 2004, pp. 255–278. [14] M. Dimitrov. Automorphic symbols, p-adic L-functions and ordinary cohomology of Hilbert modular varieties. American Journal of Mathematics 135, pages 1117–1155, 2013. [15] M. Dimitrov, J. Januszewski and A. Raghuram. L-functions of GL(2n): p-adic properties and nonvanishing of twists. Preprint, pages 1–30. http://arxiv.org/abs/1802.10064 [16] E. Eischen. Nonvanishing theorems for twisted L-functions on unitary groups. Preprint, pages 1–13. http://arxiv.org/abs/1708.04026 [17] J. Franke and J. Schwermer. A decomposition of spaces of automorphic forms, and the Eisenstein cohomology of arithmetic groups. Mathematische Annalen 311, pages 765–790, 1998. [18] S. Gelbart and H. Jacquet. A relation between automorphic representations of GL(2) and GL(3). Ann. Sci. Ecole´ Norm. Sup. (4) 11, pages 471–542, 1978. [19] D. Ginzburg, D. Jiang and S. Rallis. On the non-vanishing of the central value of the Rankin-Selberg L-functions. Journal of the AMS 17, pages 679–722, 2004. [20] R. Godement and H. Jacquet. Zeta Functions of Simple Algebras. Springer Lecture Notes in Mathematics 260, 1972. [21] R. Greenberg. On the Birch and Swinnerton-Dyer conjecture. Inventiones Mathematicae 72, pages 241–265, 1983. [22] R. Greenberg. On the critical values of Hecke L-functions for imaginary quadratic fields. Inventiones Mathematicae 79, pages 79–94, 1985. [23] V. A. Gritsenko. Parabolic extensions of the Hecke ring of the general linear group II. Journal Soviet Math. 62, pages 2869–2882, 1992. [24] H. Grobner and J. Lin. Special values of L-functions and the refined Gan-Gross-Prasad conjecture. Preprint, 2017. [25] D. Hansen and J.A. Thorne. On the GLn-eigenvariety and a conjecture of Venkatesh. Selecta Mathematica 23, pages 1205–1234, 2017. [26] G. Harder and A. Raghuram. Eisenstein cohomology for GLN and ratios of critical values of Rankin-Selberg L-functions. Preprint. http://arxiv.org/abs/1405.6513 [27] H. Hida. Galois representations into GL2(Zp[[X]]) attached to ordinary cusp forms. Inven- tiones Mathematicae 85, pages 545–613, 1986. [28] H. Hida. Iwasawa modules attached to congruences of cusp forms. Annales scientifiques de l’E.N.S.´ 4e série, tome 19, pages 231–273, 1986. [29] H. Hida. On p-adic Hecke Algebras for GL2 over totally real fields. Annals of Mathematics 128, pages 295–384, 1988. [30] H. Hida. On nearly ordinary Hecke algebras for GL(2) over totally real fields. In Algebraic Number Theory — in honor of K. Iwasawa, Advances in Pure Mathematics 17, pages 139–169, 1989. 64 Fabian Januszewski

[31] H. Hida. Modular p-adic L-functions and p-adic Hecke algebras. Sugaku 44 (English transl. in Amer. Math. Soc. Transl. 160, p. 125–154, 1994), pages 289–305, 1992. [32] H. Hida. p-adic ordinary Hecke algebras for GL2. Annales de l’Institut Fourier 44, pages 1289–1323, 1994. [33] H. Hida. Control Theorems of p-nearly ordinary cohomology groups for SL(n). Bulletin de la SociétéMathématique de France 123, pages 425–475, 1995. [34] H. Hida. On the search of genuine p-adic modular L-functions for GL(n). With a correction to: On p-adic L-functions of GL(2) × GL(2) over totally real fields. Mémoirs de la Société Mathématique de France, tome 67, 1996. [35] H. Hida. Automorphic induction and Leopoldt type conjectures for GL(n). SL(n). Asian Journal of Mathematics 2, special issue ‘Mikio Sato: A great Japanese Mathematician of the Twentieth Century’, pages 667–710, 1998. [36] A. Ichino and S. Yamana. Periods of automorphic forms: the case of (GLn+1 × GLn, GLn). Compositio Mathematica 151, pages 665–712, 2015. [37] N. Iwahori and H. Matsumoto. On some Bruhat decomposition and the structure of the Hecke rings of p-adic Chevalley groups. Publ. Math., Inst. Hautes Etud. Sci. 25, pages 5–48, 1965. [38] H. Jacquet. Archimedean RankinSelberg integrals. In ‘Automorphic forms and L-functions, II: Local aspects’, edited by D. Ginzburg et al., Contemp. Math. 489, American Mathe- matical Society, Providence, RI, pages 57–172, 2009. [39] H. Jacquet, I. I. Piatetski-Shapiro, and J. A. Shalika. Automorphic forms on GL(3) I, Annals of Mathematics 109, pages 169–212, 1979. [40] H. Jacquet, I. I. Piatetski-Shapiro, and J. A. Shalika. Automorphic forms on GL(3) II, Annals of Mathematics 109, pages 213–258, 1979. [41] H. Jacquet, I. I. Piatetski-Shapiro, and J. A. Shalika. Rankin-Selberg convolutions, Amer- ican Journal of Mathematics 105, pages 367–464, 1983. [42] H. Jacquet and J. A. Shalika. A non-vanishing Theorem for Zeta Functions of GLn. In- ventiones Mathematicae 38, pages 1–16, 1976. [43] H. Jacquet and J. A. Shalika. On Euler Products and the Classification of Automorphic Representations I. American Journal of Mathematics 103, pages 499–558, 1981. [44] H. Jacquet and J. A. Shalika. On Euler Products and the Classification of Automorphic Representations II. American Journal of Mathematics 103, pages 777-815, 1981. [45] H. Jacquet and J. A. Shalika. The Whittaker models of induced representations. Pacific Journal of Mathematics 109, pages 107–120, 1983. [46] H. Jacquet and J. A. Shalika. Festschrift in Honor of I. I. Piatetski-Shapiro on the occasion of his 60th birthday i, edited by Cartier, P. and Illusie, L. and Katz, N. M. and Laumon, G. and manin, Y. I. and ribet, K. A., Israel Math. Conf. Proc. 2, ch. Rankin-Selberg convolutions: Archimedean theory, pp. 125–207, Weizmann Science Press, Jerusalem, 1990. [47] F. Januszewski. Modular symbols for reductive groups and p-adic Rankin-Selberg convolutions over number fields, Journal für die Reine und Angewandte Mathematik 653, pages 1–45, 2011. [48] F. Januszewski. On p-adic L-functions for GL(n) × GL(n − 1) over totally real fields, International Mathematics Research Notices, Vol. 2015, No. 17, pages 7884–7949. [49] F. Januszewski. p-adic L-functions for Rankin-Selberg convolutions over number fields, Annales Mathématiques du Québec 40, special issue in Honor of Glenn Stevens’ 60th birthday, pages 453–489, 2016. [50] F. Januszewski. Rational Structures on Automorphic Representations. To appear in Math- ematische Annalen, pages 1–77. [51] F. Januszewski. On period relations for automorphic L-functions I. Transactions of the American Mathematical Society, in press. http://arxiv.org/abs/1504.06973 [52] H. Kasten and C.-G. Schmidt. On critical values of Rankin-Selberg convolutions. Interna- tional Journal of Number Theory 9, pages 205–256, 2013. Non-abelian p-adic L-functions and non-vanishing of central L-values 65

[53] D. Kazhdan, B. Mazur, and C.-G. Schmidt. Relative modular symbols and Rankin-Selberg convolutions, Journal für die Reine und Angewandte Mathematik 512, pages 97–141, 2000. [54] C. Khare and J.A. Thorne. Potential Automorphy and the Leopoldt Conjecture. To appear in the American Journal of Mathematics. 50 pages, 2016. [55] H.H. Kim. Functoriality for the exterior square of GL(4) and the symmetric fourth of GL(2). J. Amer. Math. Soc. 16, pages 139–183, 2003. With appendix 1 by D. Ramakrishnan and appendix 2 by Kim and P. Sarnak. [56] H.H. Kim and F. Shahidi. Functorial products for GL(2) × GL(3) and the symmetric cube for GL(2). Annals of Mathematics 155, pages 837–893, 2002. With an appendix by C.J. Bushnell and G. Henniart. [57] K. Kitagawa. On standard p-adic L-functions of families of elliptic cusp forms, p-adic monodromy and the Birch and Swinnerton-Dyer conjecture (B. Mazur and G. Stevens, eds.), Contemporary Mathematics 165, American Mathematical Society, 1994, pp. 81–110. [58] S. Kondo and S. Yasuda. Local L and epsilon factors in Hecke eigenvalues. Journal of Number Theory 132, pages 1910–1948, 2012. [59] J. Li and J. Schwermer. On the Eistenstein cohomology of arithmetic groups. Duke Math- ematical Journal 123, pages 141–169, 2004. [60] W. Luo. Nonvanishing of L-functions for GL(n, AQ). Duke Mathematical Journal 128, pages 199–207, 2005. [61] N. Matringe. Essential Whittaker functions for GL(n). Documenta Math. 18, pages 1191– 1214, 2013. [62] M. Miyauchi. Whittaker functions associated to newforms for GL(n) over p-adic fields. J. Math. Soc. Japan 66, pages 17–24, 2014. [63] C. Moeglin and J.-L. Waldspurger. Le spectre résiduel de GL(n). Annales scientifiques de l’Ecole´ Normale Supérieure, Série 4, Volume 22, pages 605–674, 1989. [64] K. Namikawa. On p-adic L-functions associated with cusp forms on GL2. manuscripta mathematica 153, pages 563–622, 2017. [65] M. M. Nastasescu. Nonvanishing of L-values for GL(n). Thesis, California Institute of Technology, 2016. [66] J. Newton and J.A. Thorne. Torsion Galois representations over CM fields and Hecke algebras in the derived category. Forum of Mathematics, Sigma, 88 pages, 2016. [67] R. Pink. Arithmetical compactification of mixed Shimura varieties. Bonner Mathematische Schriften 209, Dissertation, Universität Bonn, 1989. [68] A. Raghuram. On the Special Values of certain Rankin-Selberg L-functions and Applica- tions to odd symmetric power L-functions of modular forms. International Mathematics Research Notices 2010, pages 334–372, 2010. [69] A. Raghuram. Critical values for Rankin-Selberg L-functions for GL(n) × GL(n − 1) and the symmetric cube L-functions for GL(2). Forum Mathematicum 28, pages 457–489, 2016. [70] D.E. Rohrlich. On L-functions of elliptic curves and cyclotomic towers. Inventiones Math- ematicae 75, pages 409–423, 1984. [71] D.E. Rohrlich. Nonvanishing of L-functions for GL(2). Inventiones Mathematicae 97, pages 381–403, 1989. [72] I. Satake. Theory of spherical functions on reductive algebraic groups over p-adic fields. Publ. Math., Inst. Hautes Etud. Sci. 18, pages 1–69, 1963. [73] C.-G. Schmidt. Relative modular symbols and p-adic Rankin-Selberg convolutions, Inven- tiones Mathematicae 112, pages 31–76, 1993. [74] C.-G. Schmidt. Period relations and p-adic measures, manuscripta mathematica 106, pages 177–201, 2001. [75] P. Scholze. On torsion in the cohomology of locally symmetric varieties, Annals of Mathe- matics 182, pages 945–1066, 2015. [76] F. Shahidi. On certain L-functions. American Journal of Mathematics 103, pages 297–355, 1981. 66 Fabian Januszewski

[77] J. A. Shalika. The multiplicity one theorem for GL(n), Annals of Mathematics 100, pages 273–330, 1974. [78] G. Shimura. On the periods of modular forms. Mathematische Annalen 229, pages 211–221, 1977. [79] T. Shintani. On an explicit formula for class-1 “Whittaker functions” on GLn over P-adic ﬁelds, Proceedings of the Japan Academy 52, 180–182, 1976. [80] S. Sugiyama and M. Tsuzuki. Non-vanishing of central values of certain L-functions on GL(2) × GL(3), Preprint, pages 1–27. https://arxiv.org/abs/1805.00209 [81] B. Sun. The non-vanishing hypothesis at inﬁnity for Rankin-Selberg convolutions. Journal of the American Mathematical Society 30, pages 1–25, 2017. [82] M. Schwab, p-adische L-Funktionen zu modularen Symbolen, Diplomarbeit, Karlsruhe In- stitute of Technology (KIT), 2015. [83] T. Tamagawa. On the ζ-functions of a division algebra. Annals of Mathematics 77, pages 387–405, 1963. [84] J. Van Order. Nonvanishing of self-dual L-values via spectral decomposition of shifted convolution sums. Preprint, pages 1–32. [85] D. Vogan and G. J. Zuckerman. Unitary representations with non-zero cohomology. Com- positio Mathematica 53, pages 51–90, 1984. [86] N. Wallach. On the constant term of a square integrable automorphic form. In Operator Algebras and Group representations, Vol. II, Monographs Stud. Math. 18, Boston, 1984, pages 227-237.

Karlsruher Institut für Technologie, Fakultät für Mathematik, Institut für Algebra und Geome- trie, Kaiserstraße 89-93, 76133 Karlsruhe, Germany. [email protected]