Home A construction of residues of Eisenstein series and related square-integrable classes in the cohomology of arithmetic groups of low k-rank
Article
Licensed
Unlicensed Requires Authentication

A construction of residues of Eisenstein series and related square-integrable classes in the cohomology of arithmetic groups of low k-rank

  • Neven Grbac EMAIL logo and Joachim Schwermer
Published/Copyright: June 13, 2019

Abstract

The cohomology of an arithmetic congruence subgroup of a connected reductive algebraic group defined over a number field is captured in the automorphic cohomology of that group. The residual Eisenstein cohomology is by definition the part of the automorphic cohomology represented by square-integrable residues of Eisenstein series. The existence of residual Eisenstein cohomology classes depends on a subtle combination of geometric conditions (coming from cohomological reasons) and arithmetic conditions in terms of analytic properties of automorphic L-functions (coming from the study of poles of Eisenstein series). Hence, there are almost no unconditional results in the literature regarding the very existence of non-trivial residual Eisenstein cohomology classes. In this paper, we show the existence of certain non-trivial residual cohomology classes in the case of the split symplectic, and odd and even special orthogonal groups of rank two, as well as the exceptional group of type G2, defined over a totally real number field. The construction of cuspidal automorphic representations of GL2 with prescribed local and global properties is decisive in this context.


Communicated by Freydoon Shahidi


Award Identifier / Grant number: 3628

Award Identifier / Grant number: 9364

Funding statement: The first named author was supported in part by the Croatian Science Foundation (projects 3628 and 9364) and by the University of Rijeka (research grant 13.14.1.2.02). Both authors acknowledge the support obtained within the frame work of the Croatian-Austrian Scientific agreement (HR 17/2014).

A Unitary representations with non-zero cohomology

It is a fundamental problem to determine (up to infinitesimal equivalence) all irreducible unitary representations (π,Hπ) of a real Lie group G with non-vanishing Lie algebra cohomology. A complete solution to this classification problem was given in a constructive approach by Vogan and Zuckerman [66]. An outgrowth of this is the computation of the relative Lie algebra cohomology groups H(𝔤,K,Hπ,KF), where 𝔤 denotes the complexified Lie algebra of the given connected real reductive Lie group, KG a maximal compact subgroup.

Following [45, 68], we briefly review in this appendix the classification in the case where G is the exceptional split real Lie group of type G2. It is a connected group of rkG=2. The Weyl group WG of G is isomorphic to the dihedral group D6 of order 12. Let K be a maximal compact subgroup of G; its Lie algebra 𝔨0 is isomorphic to 𝔰𝔭(1)𝔰𝔭(1).

Let θK be the corresponding Cartan involution and let 𝔤0=𝔨0𝔭0 be the corresponding Cartan decomposition of the Lie algebra 𝔤0 of G2. Given an irreducible unitary representation (π,Hπ) of G with non-vanishing cohomology with respect to a finite-dimensional representation space F, there is a θK-stable parabolic subalgebra 𝔮 of 𝔤. By definition, 𝔮 is a parabolic subalgebra of 𝔤 such that θK𝔮=𝔮, and 𝔮¯𝔮=𝔩 is a Levi subalgebra of 𝔮, where 𝔮¯ refers to the image of 𝔮 under complex conjugation with respect to the real form 𝔤0 of 𝔤. Write 𝔲 for the nilradical of 𝔮. Then 𝔩 is the complexification of a real subalgebra 𝔩0 of 𝔤0. The normalizer of 𝔮 in G is connected since G is, and it coincides with the connected Lie subgroup L of G with Lie algebra 𝔩0. Then F/𝔲F is a one-dimensional unitary representation of L. Write -λ:𝔩 for its differential. Via cohomological induction, the data (𝔮,λ) determine a unique irreducible unitary representation A𝔮(λ) of G so that the Harish-Chandra module of (π,Hπ) is equivalent to the one of A𝔮(λ).

It is worth noting that the Levi subgroup L has the same rank as G, is preserved by the Cartan involution θK, and the restriction of θK to L is a Cartan involution. Moreover, the group L contains a maximal torus TK. This result serves as a guideline to construct all possible θK-stable parabolic subalgebras 𝔮 in 𝔤 up to conjugation by K. There are only finitely many K-conjugacy classes of θK-stable parabolic subalgebras 𝔮 in 𝔤.

In the given case the construction runs as follows: Fix non-zero elements x,y in 𝔨0, the first one belonging to the first summand, the second to the second, and let i𝔱 be the real vector space spanned by ix,iy. Then 𝔱 is a Cartan subalgebra of 𝔨0, and 𝔱2. We denote the evaluation in the first and second coordinate by e1 and e2, respectively, and we write α1=e2-e1 and α2=3e1-e2. Taking αi,i=1,2, as simple roots, the set Δ+(𝔤,𝔱) of positive roots of 𝔤 with respect to 𝔱 is given as the set

Δ+(𝔤,𝔱)=Δ+(𝔨,𝔱)Δ+(𝔭,𝔱),

where

Δ+(𝔨,𝔱)={α1+α2,3α1+α2},Δ+(𝔭,𝔱)={α1,α2,2α1+α2,3α1+2α2}.

Note that α1 is the short simple root, and α2 is the long simple root. The fundamental dominant weights are Λ1:=2α1+α2 and Λ2:=3α1+α2.

Starting off from an element z𝔱, there is an associated θ-stable parabolic subalgebra 𝔮 of 𝔤 with Levi decomposition 𝔮=𝔩𝔲 defined by 𝔮 = sum of non-negative eigenspaces of ad(z), 𝔩 = centralizer of z, and 𝔲 = sum of positive eigenspaces of ad(z). Let λ be the differential of a unitary character of L, the connected subgroup of G with Lie algebra 𝔩𝔤, such that α,λ|𝔱0 for each root α of 𝔲 with respect to 𝔱. One refers to such a one-dimensional representation λ:𝔩 as an admissible character. A pair (𝔮,λ) of a θ-stable parabolic subalgebra 𝔮 of 𝔤 and an admissible character λ determines a unique irreducible unitary representation A𝔮(λ) of G with non-vanishing cohomology with respect to a suitable finite-dimensional representation (ν,F) of G.

Up to infinitesimal equivalence, if 𝔩𝔨, one obtains discrete series representations, and there are exactly three of them up to infinitesimal equivalence having the same infinitesimal character for a given admissible character λ. Recall that this number is generally given as the ratio |WG/WK|, where WK denotes the Weyl group of K. The only degree in which these three discrete series representations πi,i=1,2,3, have Hj(𝔤,K,HπiF)0 with a suitable coefficient system is j=4.

The trivial representation of G only matters if the coefficient system F is trivial as well. Note that one has Hj(𝔤,K,)= if j=0,4,8 and Hj(𝔤,K,)=0 otherwise.

The most interesting irreducible unitary representations of G=G2 are (up to infinitesimal equivalence) the ones originating in the following way: Consider two elements zj𝔱, j=1,2, with αj(zj)>0 and αk(zj)=0 for kj. We denote the corresponding θ-stable parabolic subalgebra as constructed by 𝔮j,j=1,2. The connected subgroup Lj, j=1,2, is isomorphic to SL2()×U(1). These two algebras 𝔮j, j=1,2, are the only θ-stable parabolic subalgebras of 𝔤 with R(𝔮j)=3. Let λ:𝔩j be an admissible character. Then the corresponding irreducible unitary representation A𝔮j(λ) of G is non-tempered. We summarize this classification result in the case of an arbitrary coefficient system, see [45, 67, 68].

Proposition A.1.

Let G be the split simple real Lie group of type G2, g its complexified Lie algebra, and KG a maximal compact subgroup. Let (ν,F) be an irreducible finite-dimensional representation of G with highest weight Λ=c1Λ1+c2Λ2, c1,c2 non-negative integers. Then we have:

  1. Fix the index j{1,2}. If the integral coefficient ci=0,ij, then there exists an admissible character χj:𝔩j with regard to 𝔮j such that the corresponding irreducible non-tempered representation A𝔮j(χj), as constructed above, occurs with

    Hq(𝔤,K,A𝔮j(χj)F)={if q=3,5,0𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒.
  2. If both integral coefficients c10,c20, then there is no irreducible unitary representation (π,H) of G with Hq(𝔤,K,πF)0 for q=3,5.

Remark A.2.

Observe the shift in indices: This occurs as well if we describe the two non-tempered representation as Langlands quotients of principal series representations (see [45, 7.7.(3)]). We have

J(P2,σ,12ρP2~)=A𝔮1(χ1),J(P1,σ,12ρP1~)=A𝔮2(χ2).

Here we use the notation used in Section 7 for the principal series representations.

Acknowledgements

We thank Don Blasius for a helpful discussion concerning monomial representations. A large part of the work on this paper has been done during several visits of the first named author to the Erwin Schrödinger Institute in Vienna. He would like to thank the Institute for the hospitality and wonderful working environment. Both authors benefited from a stay at the MPI Mathematik in Bonn in the fall 2014. Some research related to this paper was carried through by the second named author during a stay at the Department of Mathematics, Ohio State University. He thanks James Cogdell for his generous hospitality, and the Institute of Mathematics.

References

[1] J. Arthur and L. Clozel, Simple Algebras, Base Change, and the Advanced Theory of the Trace Formula, Ann. of Math. Stud. 120, Princeton University, Princeton, 1989. 10.1515/9781400882403Search in Google Scholar

[2] A. I. Badulescu, Global Jacquet–Langlands correspondence, multiplicity one and classification of automorphic representations. With an appendix by N. Grbac, Invent. Math. 172 (2008), no. 2, 383–438. 10.1007/s00222-007-0104-8Search in Google Scholar

[3] A. I. Badulescu and D. Renard, Unitary dual of GL(n) at Archimedean places and global Jacquet–Langlands correspondence, Compos. Math. 146 (2010), no. 5, 1115–1164. 10.1112/S0010437X10004707Search in Google Scholar

[4] A. Borel and W. Casselman, L2-cohomology of locally symmetric manifolds of finite volume, Duke Math. J. 50 (1983), no. 3, 625–647. 10.1215/S0012-7094-83-05029-9Search in Google Scholar

[5] A. Borel, J.-P. Labesse and J. Schwermer, On the cuspidal cohomology of S-arithmetic subgroups of reductive groups over number fields, Compos. Math. 102 (1996), no. 1, 1–40. 10.1007/978-3-642-41240-0_35Search in Google Scholar

[6] A. Borel and J. Tits, Compléments à l’article: “Groupes réductifs”, Publ. Math. Inst. Hautes Études Sci. 41 (1972), 253–276. 10.1007/BF02715545Search in Google Scholar

[7] D. Bump, Automorphic Forms and Representations, Cambridge Stud. Adv. Math. 55, Cambridge University, Cambridge, 1997. 10.1017/CBO9780511609572Search in Google Scholar

[8] C. J. Bushnell and G. Henniart, The Local Langlands Conjecture for GL(2), Grundlehren Math. Wiss. 335, Springer, Berlin, 2006. 10.1007/3-540-31511-XSearch in Google Scholar

[9] C. Chevalley, Deux théorèmes d’arithmétique, J. Math. Soc. Japan 3 (1951), 36–44. 10.2969/jmsj/00310036Search in Google Scholar

[10] L. Clozel, On the cuspidal cohomology of arithmetic subgroups of SL(2n) and the first Betti number of arithmetic 3-manifolds, Duke Math. J. 55 (1987), no. 2, 475–486. 10.1215/S0012-7094-87-05525-6Search in Google Scholar

[11] J. W. Cogdell, H. H. Kim, I. I. Piatetski-Shapiro and F. Shahidi, Functoriality for the classical groups, Publ. Math. Inst. Hautes Études Sci. 99 (2004), 163–233. 10.1007/s10240-004-0020-zSearch in Google Scholar

[12] P. Deligne, La conjecture de Weil. I, Publ. Math. Inst. Hautes Études Sci. 43 (1974), 273–307. 10.1007/BF02684373Search in Google Scholar

[13] M. Dimitrov and D. Ramakrishnan, Arithmetic quotients of the complex ball and a conjecture of Lang, Doc. Math. 20 (2015), 1185–1205. 10.4171/dm/516Search in Google Scholar

[14] J. Franke, Harmonic analysis in weighted L2-spaces, Ann. Sci. Éc. Norm. Supér. (4) 31 (1998), no. 2, 181–279. 10.1016/S0012-9593(98)80015-3Search in Google Scholar

[15] J. Franke, A topological model for some summand of the Eisenstein cohomology of congruence subgroups, Eisenstein Series and Applications, Progr. Math. 258, Birkhäuser, Boston (2008), 27–85. 10.1007/978-0-8176-4639-4_2Search in Google Scholar

[16] J. Franke and J. Schwermer, A decomposition of spaces of automorphic forms, and the Eisenstein cohomology of arithmetic groups, Math. Ann. 311 (1998), no. 4, 765–790. 10.1007/s002080050208Search in Google Scholar

[17] S. Gelbart and H. Jacquet, A relation between automorphic representations of GL(2) and GL(3), Ann. Sci. Éc. Norm. Supér. (4) 11 (1978), no. 4, 471–542. 10.24033/asens.1355Search in Google Scholar

[18] R. Godement and H. Jacquet, Zeta Functions of Simple Algebras, Lecture Notes in Math. 260, Springer, Berlin, 1972. 10.1007/BFb0070263Search in Google Scholar

[19] N. Grbac, Correspondence between the residual spectra of rank two split classical groups and their inner forms, Functional Analysis IX, Various Publ. Ser. (Aarhus) 48, University of Aarhus, Aarhus (2007), 44–57. Search in Google Scholar

[20] N. Grbac, On the residual spectrum of split classical groups supported in the Siegel maximal parabolic subgroup, Monatsh. Math. 163 (2011), no. 3, 301–314. 10.1007/s00605-010-0215-ySearch in Google Scholar

[21] N. Grbac, The Franke filtration of the spaces of automorphic forms supported in a maximal proper parabolic subgroup, Glas. Mat. Ser. III 47(67) (2012), no. 2, 351–372. 10.3336/gm.47.2.10Search in Google Scholar

[22] N. Grbac and H. Grobner, The residual Eisenstein cohomology of Sp4 over a totally real number field, Trans. Amer. Math. Soc. 365 (2013), no. 10, 5199–5235. 10.1090/S0002-9947-2013-05796-0Search in Google Scholar

[23] N. Grbac and J. Schwermer, An exercise in automorphic cohomology—the case GL2 over a quaternion algebra, Arithmetic Geometry and Automorphic Forms, Adv. Lect. Math. (ALM) 19, International Press, Somerville (2011), 209–252. Search in Google Scholar

[24] N. Grbac and J. Schwermer, On residual cohomology classes attached to relative rank one Eisenstein series for the symplectic group, Int. Math. Res. Not. IMRN 2011 (2011), no. 7, 1654–1705. 10.1093/imrn/rnq136Search in Google Scholar

[25] N. Grbac and J. Schwermer, Eisenstein series, cohomology of arithmetic groups, and automorphic L-functions at half-integral arguments, Forum Math. 26 (2014), no. 6, 1635–1662. 10.1515/forum-2012-0050Search in Google Scholar

[26] H. Grobner, Automorphic forms, cohomology and CAP representations. The case GL2 over a definite quaternion algebra, J. Ramanujan Math. Soc. 28 (2013), no. 1, 19–48. Search in Google Scholar

[27] H. Grobner, Residues of Eisenstein series and the automorphic cohomology of reductive groups, Compos. Math. 149 (2013), no. 7, 1061–1090. 10.1112/S0010437X12000863Search in Google Scholar

[28] H. Grobner, A cohomological injectivity result for the residual automorphic spectrum of GLn, Pacific J. Math. 268 (2014), no. 1, 33–46. 10.2140/pjm.2014.268.33Search in Google Scholar

[29] G. Harder, Eisenstein cohomology of arithmetic groups. The case GL2, Invent. Math. 89 (1987), no. 1, 37–118. 10.1007/BF01404673Search in Google Scholar

[30] H. Jacquet and R. P. Langlands, Automorphic Forms on GL(2), Lecture Notes in Math. 114, Springer, Berlin, 1970. 10.1007/BFb0058988Search in Google Scholar

[31] H. Jacquet and J. A. Shalika, A non-vanishing theorem for zeta functions of GLn, Invent. Math. 38 (1976/77), no. 1, 1–16. 10.1007/BF01390166Search in Google Scholar

[32] H. Jacquet and J. A. Shalika, On Euler products and the classification of automorphic representations. I, Amer. J. Math. 103 (1981), no. 3, 499–558. 10.2307/2374103Search in Google Scholar

[33] H. H. Kim, The residual spectrum of Sp4, Compos. Math. 99 (1995), no. 2, 129–151. Search in Google Scholar

[34] H. H. Kim, The residual spectrum of G2, Canad. J. Math. 48 (1996), no. 6, 1245–1272. 10.4153/CJM-1996-066-3Search in Google Scholar

[35] H. H. Kim, Residual spectrum of odd orthogonal groups, Int. Math. Res. Not. IMRN 2001 (2001), no. 17, 873–906. 10.1155/S1073792801000435Search in Google Scholar

[36] H. H. Kim and F. Shahidi, Symmetric cube L-functions for GL2 are entire, Ann. of Math. (2) 150 (1999), no. 2, 645–662. 10.2307/121091Search in Google Scholar

[37] T. Konno, The residual spectrum of Sp(2), unpublished manuscript (1994). Search in Google Scholar

[38] B. Kostant, Lie algebra cohomology and the generalized Borel–Weil theorem, Ann. of Math. (2) 74 (1961), 329–387. 10.2307/1970237Search in Google Scholar

[39] J.-P. Labesse and R. P. Langlands, L-indistinguishability for SL(2), Canad. J. Math. 31 (1979), no. 4, 726–785. 10.4153/CJM-1979-070-3Search in Google Scholar

[40] J.-P. Labesse and J. Schwermer, On liftings and cusp cohomology of arithmetic groups, Invent. Math. 83 (1986), no. 2, 383–401. 10.1007/BF01388968Search in Google Scholar

[41] R. P. Langlands, Euler Products, Yale University, New Haven, 1971. Search in Google Scholar

[42] R.P. Langlands, Letter to Armand Borel, 25. October 1972. 10.1080/00431672.1972.9931622Search in Google Scholar

[43] R. P. Langlands, On the Functional Equations Satisfied by Eisenstein Series, Lecture Notes in Math. 544, Springer, Berlin, 1976. 10.1007/BFb0079929Search in Google Scholar

[44] R. P. Langlands, On the classification of irreducible representations of real algebraic groups, Representation Theory and Harmonic Analysis on Semisimple Lie Groups, Math. Surveys Monogr. 31, American Mathematical Society, Providence (1989), 101–170. 10.1090/surv/031/03Search in Google Scholar

[45] J.-S. Li and J. Schwermer, Constructions of automorphic forms and related cohomology classes for arithmetic subgroups of G2, Compos. Math. 87 (1993), no. 1, 45–78. Search in Google Scholar

[46] J.-S. Li and J. Schwermer, On the Eisenstein cohomology of arithmetic groups, Duke Math. J. 123 (2004), no. 1, 141–169. 10.1215/S0012-7094-04-12315-2Search in Google Scholar

[47] C. Mœglin and J.-L. Waldspurger, Le spectre résiduel de GL(n), Ann. Sci. Éc. Norm. Supér. (4) 22 (1989), no. 4, 605–674. 10.24033/asens.1595Search in Google Scholar

[48] C. Mœglin and J.-L. Waldspurger, Décomposition spectrale et séries d’Eisenstein, Progr. Math. 113, Birkhäuser, Basel, 1994. Search in Google Scholar

[49] T. Oda and J. Schwermer, Mixed Hodge structures and automorphic forms for Siegel modular varieties of degree two, Math. Ann. 286 (1990), no. 1–3, 481–509. 10.1007/BF01453584Search in Google Scholar

[50] I. Piatetski-Shapiro, Work of Waldspurger, Lie Group Representations. II (College Park 1982/1983), Lecture Notes in Math. 1041, Springer, Berlin (1984), 280–302. 10.1007/BFb0073151Search in Google Scholar

[51] J. Rohlfs and B. Speh, Pseudo-Eisenstein forms and the cohomology of arithmetic groups III: Residual cohomology classes, On Certain L-functions, Clay Math. Proc. 13, American Mathematical Society, Providence (2011), 501–523. Search in Google Scholar

[52] R. D. Schafer, An Introduction to Nonassociative Algebras, Pure Appl. Math. 2, Academic Press, New York, 1966. Search in Google Scholar

[53] J. Schwermer, Kohomologie arithmetisch definierter Gruppen und Eisensteinreihen, Lecture Notes in Math. 988, Springer, Berlin, 1983. 10.1007/BFb0070268Search in Google Scholar

[54] J. Schwermer, On arithmetic quotients of the Siegel upper half-space of degree two, Compos. Math. 58 (1986), no. 2, 233–258. Search in Google Scholar

[55] J. Schwermer, Eisenstein series and cohomology of arithmetic groups: The generic case, Invent. Math. 116 (1994), no. 1–3, 481–511. 10.1007/BF01231570Search in Google Scholar

[56] J. Schwermer, On Euler products and residual Eisenstein cohomology classes for Siegel modular varieties, Forum Math. 7 (1995), no. 1, 1–28. 10.1515/form.1995.7.1Search in Google Scholar

[57] F. Shahidi, On certain L-functions, Amer. J. Math. 103 (1981), no. 2, 297–355. 10.2307/2374219Search in Google Scholar

[58] F. Shahidi, Local coefficients as Artin factors for real groups, Duke Math. J. 52 (1985), no. 4, 973–1007. 10.1215/S0012-7094-85-05252-4Search in Google Scholar

[59] F. Shahidi, On the Ramanujan conjecture and finiteness of poles for certain L-functions, Ann. of Math. (2) 127 (1988), no. 3, 547–584. 10.2307/2007005Search in Google Scholar

[60] F. Shahidi, Third symmetric power L-functions for GL(2), Compos. Math. 70 (1989), no. 3, 245–273. Search in Google Scholar

[61] F. Shahidi, A proof of Langlands’ conjecture on Plancherel measures; complementary series of 𝔭-adic groups, Ann. of Math. (2) 132 (1990), 273–330. 10.2307/1971524Search in Google Scholar

[62] F. Shahidi, Twisted endoscopy and reducibility of induced representations for p-adic groups, Duke Math. J. 66 (1992), no. 1, 1–41. 10.1215/S0012-7094-92-06601-4Search in Google Scholar

[63] A. J. Silberger, Introduction to Harmonic Analysis on Reductive p-adic Groups, Math. Notes 23, Princeton University, Princeton, 1979. Search in Google Scholar

[64] J. T. Tate, Fourier analysis in number fields, and Hecke’s zeta-functions, Algebraic Number Theory, Academic Press, London (1967), 305–347. Search in Google Scholar

[65] D. Trotabas, Non annulation des fonctions L des formes modulaires de Hilbert au point central, Ann. Inst. Fourier (Grenoble) 61 (2011), no. 1, 187–259. 10.5802/aif.2601Search in Google Scholar

[66] D. A. Vogan, Jr. and G. J. Zuckerman, Unitary representations with nonzero cohomology, Compos. Math. 53 (1984), no. 1, 51–90. Search in Google Scholar

[67] C. Waldner, Geometric cycles and the cohomology of arithmetic subgroups of the exceptional group G2, J. Topol. 3 (2010), no. 1, 81–109. 10.1112/jtopol/jtp035Search in Google Scholar

[68] C. Waldner, Geometric cycles with local coefficients and the cohomology of arithmetic subgroups of the exceptional group G2, Geom. Dedicata 151 (2011), 9–25. 10.1007/s10711-010-9516-5Search in Google Scholar

[69] J.-L. Waldspurger, Correspondances de Shimura et quaternions, Forum Math. 3 (1991), no. 3, 219–307. 10.1515/form.1991.3.219Search in Google Scholar

[70] A. Weil, On a certain type of characters of the idèle-class group of an algebraic number-field, Proceedings of the International Symposium on Algebraic Number Theory, Science Council of Japan, Tokyo (1956), 1–7. 10.1007/978-1-4757-1705-1_75Search in Google Scholar

[71] S. Žampera, The residual spectrum of the group of type G2, J. Math. Pures Appl. (9) 76 (1997), no. 9, 805–835. 10.1016/S0021-7824(97)89971-0Search in Google Scholar

Received: 2019-01-31
Revised: 2019-03-15
Published Online: 2019-06-13
Published in Print: 2019-09-01

© 2019 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 3.11.2025 from https://www.degruyterbrill.com/document/doi/10.1515/forum-2019-0029/html?lang=en
Scroll to top button