×

Representation zeta functions of compact \(p\)-adic analytic groups and arithmetic groups. (English) Zbl 1281.22005

For a group \(G\), let \(r_n(G)\) be the number of isomorphism classes of \(n\)-dimensional irreducible complex representations of \(G\). In this paper, the authors study the representation zeta function \(\zeta_{G}(s):=\sum^{\infty}_{n=1}r_n(G)n^{-s}\) for a rigid group \(G\). One of the reasons to investigate such a zeta function is that the abscissa of convergence \(\alpha(G)\) of \(\zeta_G(s)\) describes the representation growth of \(G\).
The authors first study \(\zeta_{G}(s)\) when \(G\) is a \(p\)-adic analytic pro-\(p\) group which arises from the completions of a global Lie lattice over the ring of integers of a number field; Establishing a method of \(\mathfrak{p}\)-adic integrals generalizing Igusa local zeta functions, they provide a universal formula, obtain a local functional equation and find the finite set of the real parts of possible poles of the zeta function. Furthermore, they obtain explicit formulas when \(G\) is a principal congruence subgroup of \(\mathrm{SL}_3(\mathfrak{o})\) and of \(\mathrm{SU}_3(\mathfrak{O},\mathfrak{o})\). Here \(\mathfrak{o}\) is a compact discrete valuation ring of characteristic zero and \(\mathfrak{O}\) an unramified quadratic extension of \(\mathfrak{o}\).
Next, the authors study \(\zeta_{\Gamma}(s)\) when \(\Gamma\) is an arithmetic subgroup of a connected, simply connected simple algebraic group of type \(A_2\) defined over a number field. For such a group \(\Gamma\), it is known that if \(\Gamma\) has the congruence subgroup property CSP, then \(\zeta_{\Gamma}(s)\) admits an Euler product decomposition. From this fact, combining the above local results together with approximative Clifford theory, they prove that \(\alpha(\Gamma)=1\) when \(\Gamma\) has the CSP. Moreover, as a corollary, they show that Serre’s conjecture, which asserts that an arithmetic subgroup of a connected, simply connected simple algebraic group has the CSP if and only if the latter is of higher-rank, implies Larsen and Lubotzky’s conjecture. Namely, if \(\Gamma_1\) and \(\Gamma_2\) are any two irreducible lattices in a higher-rank semisimple group being products of groups of type \(A_2\), then \(\alpha(\Gamma_1)=\alpha(\Gamma_2)\).

MSC:

22E50 Representations of Lie and linear algebraic groups over local fields
22E55 Representations of Lie and linear algebraic groups over global fields and adèle rings
20F69 Asymptotic properties of groups
22E40 Discrete subgroups of Lie groups
11M41 Other Dirichlet series and zeta functions
20C15 Ordinary representations and characters
20G25 Linear algebraic groups over local fields and their integers
PDFBibTeX XMLCite
Full Text: DOI arXiv Euclid

References:

[1] N. Avni, Arithmetic groups have rational representation growth , Ann. of Math. (2) 174 (2011), 1009-1056. · Zbl 1244.20043
[2] N. Avni, B. Klopsch, U. Onn, and C. Voll, On representation zeta functions of groups and a conjecture of Larsen-Lubotzky , C. R. Math. Acad. Sci. Paris 348 (2010), 363-367. · Zbl 1186.22018
[3] N. Avni, B. Klopsch, U. Onn, C. Voll, “Representation zeta functions of some compact \(p\)-adic analytic groups” in Zeta functions in algebra and geometry , Contemp. Math. 566 , Amer. Math. Soc., Providence, 2012, 295-330. · Zbl 1281.22004
[4] N. Avni, B. Klopsch, U. Onn, C. Voll, Representation zeta functions for \(\operatorname{SL}_{3}\) and \(\operatorname{SU}_{3}\) , preprint, 2012. · Zbl 1281.22004
[5] H. Bass, A. Lubotzky, A. R. Magid, and S. Mozes, “The proalgebraic completion of rigid groups” in Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part II (Haifa, 2000) , Geom. Dedicata 95 , Springer, Dordrecht, 2002, 19-58. · Zbl 1059.20036
[6] W. Borho, Über Schichten halbeinfacher Lie-Algebren , Invent. Math. 65 (1981/82), 283-317. · Zbl 0484.17004
[7] J. Brill, On the minors of a skew-symmetrical determinant , Proc. London Math. Soc. 34 (1904), 103-111. · JFM 34.0189.02
[8] A. Broer, Decomposition varieties in semisimple Lie algebras , Canad. J. Math. 50 (1998), 929-971. · Zbl 0928.17020
[9] C. J. Bushnell and P. C. Kutzko, The Admissible Dual of \(\mathrm{GL}(N)\) via Compact Open Subgroups , Ann. of Math. Stud. 129 , Princeton Univ. Press, Princeton, 1993. · Zbl 0787.22016
[10] J. W. S. Cassels and A. Fröhlich, eds., Algebraic Number Theory , 2nd revised ed., London Math. Soc., London, 2010. · Zbl 1213.11001
[11] J. Denef, On the degree of Igusa’s local zeta function , Amer. J. Math. 109 (1987), 991-1008. · Zbl 0659.14017
[12] J. Denef, Report on Igusa’s local zeta function , Astérisque 201-203 (1991), 359-386, Séminaire Bourbaki 1990/91, no. 741. · Zbl 0749.11054
[13] J. Denef and D. Meuser, A functional equation of Igusa’s local zeta function , Amer. J. Math. 113 (1991), 1135-1152. · Zbl 0749.11053
[14] J. Dixon, M. P. F. du Sautoy, A. Mann, and D. Segal, Analytic Pro-\(p\) Groups , 2nd ed., Cambridge Stud. Adv. Math. 61 , Cambridge Univ. Press, Cambridge, 1999. · Zbl 0934.20001
[15] M. du Sautoy and F. Grunewald, Analytic properties of zeta functions and subgroup growth , Ann. of Math. (2) 152 (2000), 793-833. · Zbl 1006.11051
[16] M. du Sautoy, F. Grunewald, “Zeta functions of groups and rings” in International Congress of Mathematicians, Vol. II , Eur. Math. Soc., Zürich, 2006, 131-149. · Zbl 1112.20024
[17] V. Ennola, On the conjugacy classes of the finite unitary groups , Ann. Acad. Sci. Fenn. Ser. A I 313 (1962), 13 pp. · Zbl 0105.02403
[18] J. González-Sánchez, On \(p\)-saturable groups , J. Algebra 315 (2007), 809-823. · Zbl 1161.20024
[19] J. González-Sánchez, Kirillov’s orbit method for \(p\)-groups and pro-\(p\) groups , Comm. Algebra 37 (2009), 4476-4488. · Zbl 1201.20022
[20] J. González-Sánchez and B. Klopsch, Analytic pro-\(p\) groups of small dimensions , J. Group Theory 12 (2009), 711-734. · Zbl 1183.20030
[21] M. J. Greenberg, Schemata over local rings , Ann. of Math. (2) 73 (1961), 624-648. · Zbl 0115.39004
[22] B. H. Gross and G. Nebe, Globally maximal arithmetic groups , J. Algebra 272 (2004), 625-642. · Zbl 1113.20040
[23] P. Heymans, Pfaffians and skew-symmetric matrices , Proc. London Math. Soc. (3) 19 (1969), 730-768. · Zbl 0182.05102
[24] R. E. Howe, On representations of discrete, finitely generated, torsion-free, nilpotent groups , Pacific J. Math. 73 (1977), 281-305. · Zbl 0387.22005
[25] R. E. Howe, Kirillov theory for compact \(p\)-adic groups , Pacific J. Math. 73 (1977), 365-381. · Zbl 0385.22007
[26] E. Hrushovski and B. Martin, Zeta functions from definable equivalence relations , preprint, [math.LO].
[27] B. Huppert, Character Theory of Finite Groups , de Gruyter Exp. Math. 25 , de Gruyter, Berlin, 1998. · Zbl 0932.20007
[28] J. Igusa, An Introduction to the Theory of Local Zeta Functions , AMS/IP Stud. Adv. Math. 14 , Amer. Math. Soc., Providence, 2000. · Zbl 0959.11047
[29] I. M. Isaacs, Counting characters of upper triangular groups , J. Algebra 315 (2007), 698-719. · Zbl 1127.20031
[30] A. Jaikin-Zapirain, Zeta function of representations of compact \(p\)-adic analytic groups , J. Amer. Math. Soc. 19 (2006), 91-118. · Zbl 1092.20023
[31] N. Kawanaka, “Generalized Gel’fand-Graev representations and Ennola duality” in Algebraic Groups and Related Topics (Kyoto/Nagoya, 1983) , Adv. Stud. Pure Math. 6 , North-Holland, Amsterdam, 1985, 175-206. · Zbl 0573.20038
[32] H. D. Kloosterman, The behaviour of general theta functions under the modular group and the characters of binary modular congruence groups. I , Ann. of Math. (2) 47 (1946), 317-375; II , 376-447. · Zbl 0063.03262
[33] B. Klopsch, On the Lie theory of \(p\)-adic analytic groups , Math. Z. 249 (2005), 713-730. · Zbl 1065.22005
[34] M. Larsen and A. Lubotzky, Representation growth of linear groups , J. Eur. Math. Soc. (JEMS) 10 (2008), 351-390. · Zbl 1142.22006
[35] M. Lazard, Groupes analytiques \(p\)-adiques , Inst. Hautes Études Sci. Publ. Math. 26 (1965), 389-603. · Zbl 0139.02302
[36] M. W. Liebeck and A. Shalev, Character degrees and random walks in finite groups of Lie type , Proc. London Math. Soc. (3) 90 (2005), 61-86. · Zbl 1077.20020
[37] A. Lubotzky and B. Martin, Polynomial representation growth and the congruence subgroup problem , Israel J. Math. 144 (2004), 293-316. · Zbl 1134.20056
[38] A. Lubotzky and D. Segal, Subgroup Growth , Progr. Math. 212 , Birkhäuser, Basel, 2003.
[39] F. Lübeck, Character degrees and their multiplicities for some groups of Lie type of rank \(<9\) , online data, (accessed 10 October 2012).
[40] D. Meuser, The meromorphic continuation of a zeta function of Weil and Igusa type , Invent. Math. 85 (1986), 493-514. · Zbl 0571.12009
[41] A. Moretó, “Characters of \(p\)-groups and Sylow \(p\)-subgroups” in Groups St. Andrews 2001 in Oxford, Vol. II , London Math. Soc. Lecture Note Ser. 305 , Cambridge Univ. Press, Cambridge, 2003, 412-421. · Zbl 1085.20504
[42] V. Platonov and A. Rapinchuk, Algebraic Groups and Number Theory , Pure Appl. Math. 139 , Academic Press, Boston, 1994. · Zbl 0841.20046
[43] I. Reiner, Maximal Orders , London Math. Soc. Monogr. Ser. 5 , Academic Press, London, 1975.
[44] W. Scharlau, Quadratic and Hermitian Forms , Grundlehren Math. Wiss. 270 , Springer, Berlin, 1985. · Zbl 0584.10010
[45] J.-P. Serre, Le problème des groupes de congruence pour \(\operatorname{SL}_{2}\) , Ann. of Math. (2) 92 (1970), 489-527. · Zbl 0239.20063
[46] J.-P. Serre, Local Fields , Grad. Texts in Math. 67 , Springer, New York, 1979.
[47] R. Stanley, Combinatorics and Commutative Algebra , 2nd ed., Progr. Math. 41 , Birkhäuser Boston, Boston, 1996. · Zbl 0838.13008
[48] R. Stanley, Enumerative Combinatorics, Vol. 1 , Cambridge Stud. Adv. Math. 49 , Cambridge Univ. Press, Cambridge, 1997. · Zbl 0889.05001
[49] W. Veys and W. A. Zúñiga-Galindo, Zeta functions for analytic mappings, log-principalization of ideals, and Newton polyhedra , Trans. Amer. Math. Soc. 360 (2008), no. 4, 2205-2227. · Zbl 1222.11141
[50] C. Voll, Functional equations for zeta functions of groups and rings , Ann. of Math. (2) 172 (2010), 1181-1218. · Zbl 1314.11057
[51] H. Weyl, The Classical Groups. Their Invariants and Representations , Princeton Univ. Press, Princeton, 1997. · Zbl 1024.20501
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.