Abstract
Let Γ be a Fuchsian group of genus at least 2 (at least 3 if Γ is non-oriented). We study the spaces of homomorphisms from Γ to finite simple groups G, and derive a number of applications concerning random generation and representation varieties. Precise asymptotic estimates for |Hom(Γ,G)| are given, implying in particular that as the rank of G tends to infinity, this is of the form |G|μ(Γ)+1+o(1), where μ(Γ) is the measure of Γ. We then prove that a randomly chosen homomorphism from Γ to G is surjective with probability tending to 1 as |G|→∞. Combining our results with Lang-Weil estimates from algebraic geometry, we obtain the dimensions of the representation varieties \(\text{Hom}(\Gamma,\bar G)\), where \(\bar G\) is GL n (K) or a simple algebraic group over K, an algebraically closed field of arbitrary characteristic. A key ingredient of our approach is character theory, involving the study of the ‘zeta function’ ζG(s)=∑χ(1)-s, where the sum is over all irreducible complex characters χ of G.
Similar content being viewed by others
References
Aschbacher, M.: On the maximal subgroups of the finite classical groups. Invent. Math. 76, 469–514 (1984)
Azad, H., Barry, M., Seitz, G.M.: On the structure of parabolic subgroups. Commun. Algebra 18, 551–562 (1990)
Benyash-Krivets, V.V., Chernousov, V.I.: Varieties of representations of fundamental groups of compact nonoriented surfaces. (Russian) Mat. Sb. 188, 47–92 (1997); translation in Sb. Math. 188, 997–1039 (1997)
Conder, M.D.E.: Hurwitz groups: a brief survey. Bull. Am. Math. Soc. 23, 359–370 (1990)
Deriziotis, D.I., Michler, G.O.: Character table and blocks of finite simple triality groups 3D4(q). Trans. Am. Math. Soc. 303, 39–70 (1987)
Dixon, J.D.: The probability of generating the symmetric group. Math. Z. 110, 199–205 (1969)
Dornhoff, L.: Group Representation Theory, Part A. Marcel Dekker 1971
Fulman, J., Guralnick, R.: Derangements in simple and primitive groups. In: Ivanov, A., Liebeck, M.W., Saxl, J. (eds.), Groups, Combinatorics and Geometry: Durham, 2001. World Scientific 2003
Fulman, J., Guralnick, R.: The number and sizes of conjugacy classes in finite Chevalley groups with applications to derangements. Preprint
Gorenstein, D., Lyons, R., Solomon, R.: The classification of the finite simple groups, Vol. 3. Math. Surv. Monogr., Vol. 40, No. 3. Am. Math. Soc. 1998
Gluck, D.: Sharper character value estimates for groups of Lie type. J. Algebra 174, 229–266 (1995)
Goldman, W.M.: Topological components of spaces of representations. Invent. Math. 93, 557–607 (1988)
Guralnick, R., Kantor, W.M., Saxl, J.: The probability of generating a classical group. Commun. Algebra 22, 1395–1402 (1994)
Guralnick, R., Lübeck, F., Shalev, A.: Zero-one generation laws for Chevalley groups. To appear
Guralnick, R., Saxl, J., Liebeck, M.W., Shalev, A.: Random generation of finite simple groups. J. Algebra 219, 345–355 (1999)
Kantor, W.M., Lubotzky, A.: The probability of generating a finite classical group. Geom. Dedicata 36, 67–87 (1990)
Kleidman, P.B., Liebeck, M.W.: The Subgroup Structure of the Finite Classical Groups. Lond. Math. Soc. Lect. Note Ser. 129. Cambridge: Cambridge University Press 1990
Landazuri, V., Seitz, G.M.: On the minimal degrees of projective representations of the finite Chevalley groups. J. Algebra 32, 418–443 (1974)
Lang, S., Weil, A.: Number of points of varieties over finite fields. Am. J. Math. 76, 819–827 (1954)
Lawther, R.: Elements of specified order in simple algebraic groups. Trans. Am. Math. Soc. To appear
Lawther, R., Liebeck, M.W., Seitz, G.M.: Fixed point ratios in actions of finite exceptional groups of Lie type. Pac. J. Math. 205, 393–464 (2002)
Liebeck, M.W.: On the orders of maximal subgroups of the finite classical groups. Proc. Lond. Math. Soc. 50, 426–446 (1985)
Liebeck, M.W., Pyber, L.: Upper bounds for the number of conjugacy classes of a finite group. J. Algebra 198, 538–562 (1997)
Liebeck, M.W., Saxl, J.: On the orders of maximal subgroups of the finite exceptional groups of Lie type. Proc. Lond. Math. Soc. 55, 299–330 (1987)
Liebeck, M.W., Seitz, G.M.: Reductive subgroups of exceptional algebraic groups. Mem. Am. Math. Soc., Vol. 121, No. 580. Providence, RI: Am. Math. Soc. 1996
Liebeck, M.W., Seitz, G.M.: The maximal subgroups of positive dimension in exceptional algebraic groups. Mem. Am. Math. Soc., Vol. 169, No. 802, pp. 1–227. Providence, RI: Am. Math. Soc. 2004
Liebeck, M.W., Shalev, A.: The probability of generating a finite simple group. Geom. Dedicata 56, 103–113 (1995)
Liebeck, M.W., Shalev, A.: Classical groups, probabilistic methods, and the (2,3)-generation problem. Ann. Math. 144, 77–125 (1996)
Liebeck, M.W., Shalev, A.: Simple groups, probabilistic methods, and a conjecture of Kantor and Lubotzky. J. Algebra 184, 31–57 (1996)
Liebeck, M.W., Shalev, A.: Simple groups, permutation groups, and probability. J. Am. Math. Soc. 12, 497–520 (1999)
Liebeck, M.W., Shalev, A.: Random (r,s)-generation of finite classical groups. Bull. Lond. Math. Soc. 34, 185–188 (2002)
Liebeck, M.W., Shalev, A.: Fuchsian groups, coverings of Riemann surfaces, subgroups growth, random quotients and random walks. J. Algebra 276, 552–601 (2004)
Liebeck, M.W., Shalev, A.: Character degrees of finite Chevalley groups. Proc. Lond. Math. Soc. To appear
Lübeck, F.: Small degree representations of finite Chevalley groups in defining characteristic. LMS J. Comput. Math. 4, 22–63 (2001)
Lubotzky, A., Magid, A.R.: Varieties of representations of finitely generated groups. Mem. Am. Math. Soc., Vol. 58, No. 336, pp. 1–117. Providence, RI: Am. Math. Soc. 1985
Lulov, N.: Random walks on symmetric groups generated by conjugacy classes. Ph.D. Thesis, Harvard University 1996
Lyndon, R.C.: The equation a2b2=c2 in free groups. Mich. Math. J. 6, 155–164 (1959)
Malle, G., Saxl, J., Weigel, T.: Generation of classical groups. Geom. Dedicata 49, 85–116 (1994)
Mednykh, A.D.: On the number of subgroups in the fundamental group of a closed surface. Commun. Algebra 16, 2137–2148 (1988)
Mulase, M., Penkava, M.: Volume of representation varieties. Preprint
Müller, T.W., Puchta, J.-C.: Character theory of symmetric groups and subgroup growth of surface groups. J. Lond. Math. Soc. 66, 623–640 (2002)
Rapinchuk, A.S., Benyash-Krivetz, V.V., Chernousov, V.I.: Representation varieties of the fundamental groups of compact orientable surfaces. Isr. J. Math. 93, 29–71 (1996)
Shamash, J.: Blocks and Brauer trees for groups of type G2(q). Proc. Symp. Pure Math. 47, 283–295 (1987)
Shinoda, K.: The conjugacy classes of the finite Ree groups of type (F4). J. Fac. Sci., Univ. Tokyo 22, 1–15 (1975)
Springer, T.A., Steinberg, R.: Conjugacy classes. In: Borel, A., et al. (eds.) Seminar on algebraic groups and related topics. Lecture Notes Math., Vol. 131, pp. 168–266. Berlin: Springer 1970
Steinberg, R.: The representations of GL(3,q), GL(4,q), PGL(3,q) and PGL(4,q). Can. J. Math. 3, 225–235 (1951)
Suzuki, M.: On a class of doubly transitive groups. Ann. Math. 75, 105–145 (1962)
Tiep, P.H., Zalesskii, A.E.: Minimal characters of the finite classical groups. Commun. Algebra 24, 2093–2167 (1996)
Wagner, A.: An observation on the degrees of projective representations of the symmetric and alternating groups over an arbitrary field. Arch. Math. 29, 583–589 (1977)
Wall, G.E.: On the conjugacy classes in the unitary, symplectic and orthogonal groups. J. Aust. Math. Soc. 3, 1–62 (1965)
Ward, H.N.: On Ree’s series of simple groups. Trans. Am. Math. Soc. 121, 62–89 (1966)
Wilf, H.S.: The asymptotics of eP(z) and the number of elements of each order in S n . Bull. Am. Math. Soc. 15, 228–232 (1986)
Witten, E.: On quantum gauge theories in two dimensions. Commun. Math. Phys. 141, 153–209 (1991)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Liebeck, M., Shalev, A. Fuchsian groups, finite simple groups and representation varieties. Invent. math. 159, 317–367 (2005). https://doi.org/10.1007/s00222-004-0390-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-004-0390-3