Decompositions of small tensor powers and Larsen’s conjecture

Guralnick, Robert; Tiep, Pham

doi:10.1090/S1088-4165-05-00192-5

Decompositions of small tensor powers and Larsen’s conjecture
HTML articles powered by AMS MathViewer

by Robert M. Guralnick and Pham Huu Tiep

Represent. Theory 9 (2005), 138-208

DOI: https://doi.org/10.1090/S1088-4165-05-00192-5

Published electronically: February 2, 2005

PDF | Request permission

Abstract:

We classify all pairs $(G,V)$ with $G$ a closed subgroup in a classical group $\mathcal G$ with natural module $V$ over $\mathbb C$, such that $\mathcal G$ and $G$ have the same position factors on $V^{\otimes k}$ for a fixed $k\in \{2,3,4\}$. In particular, we prove Larsen’s conjecture stating that for $\dim (V)>6$ and $k=4$ there are no such $G$ aside from those containing the derived subgroup of $\mathcal G$. We also find all the examples where this fails for $\dim (V)\le 6$. As a consequence of our results, we obtain a short proof of a related conjecture of Katz. These conjectures are used in Katz’s recent works on monodromy groups attached to Lefschetz pencils and to character sums over finite fields. Modular versions of these conjectures are also studied, with a particular application to random generation in finite groups of Lie type.

References

M. Aschbacher, On the maximal subgroups of the finite classical groups, Invent. Math. 76 (1984), no. 3, 469–514. MR 746539, DOI 10.1007/BF01388470
Y. Barnea and M. Larsen, Random generation in semisimple algebraic groups over local fields, J. Algebra 271 (2004), no. 1, 1–10. MR 2022476, DOI 10.1016/j.jalgebra.2002.12.001
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, $\Bbb {ATLAS}$ of finite groups, Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups; With computational assistance from J. G. Thackray. MR 827219
Roger W. Carter, Finite groups of Lie type, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1985. Conjugacy classes and complex characters; A Wiley-Interscience Publication. MR 794307
Pierre Deligne, La conjecture de Weil. II, Inst. Hautes Études Sci. Publ. Math. 52 (1980), 137–252 (French). MR 601520, DOI 10.1007/BF02684780
John D. Dixon, The probability of generating the symmetric group, Math. Z. 110 (1969), 199–205. MR 251758, DOI 10.1007/BF01110210

Amer. Math. Soc. Translations

6

William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991. A first course; Readings in Mathematics. MR 1153249, DOI 10.1007/978-1-4612-0979-9
Robert M. Guralnick, Some applications of subgroup structure to probabilistic generation and covers of curves, Algebraic groups and their representations (Cambridge, 1997) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 517, Kluwer Acad. Publ., Dordrecht, 1998, pp. 301–320. MR 1670777, DOI 10.1007/978-94-011-5308-9_{1}7
Robert M. Guralnick, Martin W. Liebeck, Jan Saxl, and Aner Shalev, Random generation of finite simple groups, J. Algebra 219 (1999), no. 1, 345–355. MR 1707675, DOI 10.1006/jabr.1999.7869
Robert M. Guralnick, Kay Magaard, Jan Saxl, and Pham Huu Tiep, Cross characteristic representations of symplectic and unitary groups, J. Algebra 257 (2002), no. 2, 291–347. MR 1947325, DOI 10.1016/S0021-8693(02)00527-6
Robert M. Guralnick and Jan Saxl, Generation of finite almost simple groups by conjugates, J. Algebra 268 (2003), no. 2, 519–571. MR 2009321, DOI 10.1016/S0021-8693(03)00182-0

Trans. Amer. Math. Soc.

356

Christoph Hering, Transitive linear groups and linear groups which contain irreducible subgroups of prime order. II, J. Algebra 93 (1985), no. 1, 151–164. MR 780488, DOI 10.1016/0021-8693(85)90179-6

Zerlegungszahlen endlicher Gruppen vom Lie-Typ in nicht-definierender Charakteristik

Gerhard Hiss and Gunter Malle, Corrigenda: “Low-dimensional representations of quasi-simple groups” [LMS J. Comput. Math. 4 (2001), 22–63; MR1835851 (2002b:20015)], LMS J. Comput. Math. 5 (2002), 95–126. MR 1942256, DOI 10.1112/S1461157000000711
Corneliu Hoffman, Projective representations for some exceptional finite groups of Lie type, Modular representation theory of finite groups (Charlottesville, VA, 1998) de Gruyter, Berlin, 2001, pp. 223–230. MR 1889347, DOI 10.1515/9783110889161.223
James E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, No. 21, Springer-Verlag, New York-Heidelberg, 1975. MR 0396773, DOI 10.1007/978-1-4684-9443-3
G. D. James, On the minimal dimensions of irreducible representations of symmetric groups, Math. Proc. Cambridge Philos. Soc. 94 (1983), no. 3, 417–424. MR 720791, DOI 10.1017/S0305004100000803
Christoph Jansen, Klaus Lux, Richard Parker, and Robert Wilson, An atlas of Brauer characters, London Mathematical Society Monographs. New Series, vol. 11, The Clarendon Press, Oxford University Press, New York, 1995. Appendix 2 by T. Breuer and S. Norton; Oxford Science Publications. MR 1367961
Jens Carsten Jantzen, Representations of algebraic groups, Pure and Applied Mathematics, vol. 131, Academic Press, Inc., Boston, MA, 1987. MR 899071
Nicholas M. Katz, Larsen’s alternative, moments, and the monodromy of Lefschetz pencils, Contributions to automorphic forms, geometry, and number theory, Johns Hopkins Univ. Press, Baltimore, MD, 2004, pp. 521–560. MR 2058618

Moments, Monodromy, and Perversity: a Diophantine Perspective

William M. Kantor and Alexander Lubotzky, The probability of generating a finite classical group, Geom. Dedicata 36 (1990), no. 1, 67–87. MR 1065213, DOI 10.1007/BF00181465
Peter Kleidman and Martin Liebeck, The subgroup structure of the finite classical groups, London Mathematical Society Lecture Note Series, vol. 129, Cambridge University Press, Cambridge, 1990. MR 1057341, DOI 10.1017/CBO9780511629235

The Subgroup Structure of Some Finite Simple Groups

Alexander S. Kleshchev and Pham Huu Tiep, On restrictions of modular spin representations of symmetric and alternating groups, Trans. Amer. Math. Soc. 356 (2004), no. 5, 1971–1999. MR 2031049, DOI 10.1090/S0002-9947-03-03364-6
Vicente Landazuri and Gary M. Seitz, On the minimal degrees of projective representations of the finite Chevalley groups, J. Algebra 32 (1974), 418–443. MR 360852, DOI 10.1016/0021-8693(74)90150-1

J. Amer. Math. Soc.

Wolfgang Lempken, Bernd Schröder, and Pham Huu Tiep, Symmetric squares, spherical designs, and lattice minima, J. Algebra 240 (2001), no. 1, 185–208. With an appendix by Christine Bachoc and Tiep. MR 1830550, DOI 10.1006/jabr.2000.8713
Martin W. Liebeck, The affine permutation groups of rank three, Proc. London Math. Soc. (3) 54 (1987), no. 3, 477–516. MR 879395, DOI 10.1112/plms/s3-54.3.477
Martin W. Liebeck and Gary M. Seitz, Subgroups of exceptional algebraic groups which are irreducible on an adjoint or minimal module, J. Group Theory 7 (2004), no. 3, 347–372. MR 2063402, DOI 10.1515/jgth.2004.012
Martin W. Liebeck and Aner Shalev, The probability of generating a finite simple group, Geom. Dedicata 56 (1995), no. 1, 103–113. MR 1338320, DOI 10.1007/BF01263616
Frank Lübeck, Smallest degrees of representations of exceptional groups of Lie type, Comm. Algebra 29 (2001), no. 5, 2147–2169. MR 1837968, DOI 10.1081/AGB-100002175
Frank Lübeck, Small degree representations of finite Chevalley groups in defining characteristic, LMS J. Comput. Math. 4 (2001), 135–169. MR 1901354, DOI 10.1112/S1461157000000838
K. Magaard, On the irreducibility of alternating powers and symmetric squares, Arch. Math. (Basel) 63 (1994), no. 3, 211–215. MR 1287249, DOI 10.1007/BF01189822

Manuscripta Math.

95

Kay Magaard, Gunter Malle, and Pham Huu Tiep, Irreducibility of tensor squares, symmetric squares and alternating squares, Pacific J. Math. 202 (2002), no. 2, 379–427. MR 1888172, DOI 10.2140/pjm.2002.202.379
Kay Magaard and Pham Huu Tiep, Irreducible tensor products of representations of finite quasi-simple groups of Lie type, Modular representation theory of finite groups (Charlottesville, VA, 1998) de Gruyter, Berlin, 2001, pp. 239–262. MR 1889349, DOI 10.1515/9783110889161.239
Gunter Malle, Almost irreducible tensor squares, Comm. Algebra 27 (1999), no. 3, 1033–1051. MR 1669100, DOI 10.1080/00927879908826479
Gabriele Nebe, E. M. Rains, and N. J. A. Sloane, The invariants of the Clifford groups, Des. Codes Cryptogr. 24 (2001), no. 1, 99–121. MR 1845897, DOI 10.1023/A:1011233615437
A. A. Premet, Weights of infinitesimally irreducible representations of Chevalley groups over a field of prime characteristic, Mat. Sb. (N.S.) 133(175) (1987), no. 2, 167–183, 271 (Russian); English transl., Math. USSR-Sb. 61 (1988), no. 1, 167–183. MR 905003, DOI 10.1070/SM1988v061n01ABEH003200

GAP-Groups, Algorithms, and Programming

Gary M. Seitz, Some representations of classical groups, J. London Math. Soc. (2) 10 (1975), 115–120. MR 369556, DOI 10.1112/jlms/s2-10.1.115
Gary M. Seitz, The maximal subgroups of classical algebraic groups, Mem. Amer. Math. Soc. 67 (1987), no. 365, iv+286. MR 888704, DOI 10.1090/memo/0365
Gary M. Seitz and Alexander E. Zalesskii, On the minimal degrees of projective representations of the finite Chevalley groups. II, J. Algebra 158 (1993), no. 1, 233–243. MR 1223676, DOI 10.1006/jabr.1993.1132
Robert Steinberg, Generators for simple groups, Canadian J. Math. 14 (1962), 277–283. MR 143801, DOI 10.4153/CJM-1962-018-0
Pham Huu Tiep and Alexander E. Zalesskii, Minimal characters of the finite classical groups, Comm. Algebra 24 (1996), no. 6, 2093–2167. MR 1386030, DOI 10.1080/00927879608825690
Pham Huu Tiep and Alexander E. Zalesskii, Some characterizations of the Weil representations of the symplectic and unitary groups, J. Algebra 192 (1997), no. 1, 130–165. MR 1449955, DOI 10.1006/jabr.1996.6943
David B. Wales, Some projective representations of $S_{n}$, J. Algebra 61 (1979), no. 1, 37–57. MR 554850, DOI 10.1016/0021-8693(79)90304-1
David Wales, Quasiprimitive linear groups with quadratic elements, J. Algebra 245 (2001), no. 2, 584–606. MR 1863893, DOI 10.1006/jabr.2001.8935

The Classical Groups

Monath. Math. Phys.

3