AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
The reductive subgroups of $F_4$
About this Title
David I. Stewart, New College, Oxford, OX1 3BN
Publication: Memoirs of the American Mathematical Society
Publication Year:
2013; Volume 223, Number 1049
ISBNs: 978-0-8218-8332-7 (print); 978-0-8218-9873-4 (online)
DOI: https://doi.org/10.1090/S0065-9266-2012-00668-X
Published electronically: October 9, 2012
Keywords: Algebraic groups,
exceptional groups,
subgroup structure,
positive characteristic,
non-abelian cohomology,
modular representation theory
MSC: Primary 20G07, 20G10, 20G41, 20G30, 18G50
Table of Contents
Chapters
- 1. Introduction
- 2. Overview
- 3. General Theory
- 4. Reductive subgroups of $F_4$
- 5. Appendices
Abstract
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p\geq 0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is contained in a Levi subgroup of that parabolic. A subgroup $X$ of $G$ is said to be $G$-irreducible if $X$ is in no proper parabolic subgroup of $G$; and $G$-reducible if it is in some proper parabolic of $G$. In this paper, we consider the case that $G=F_4(K)$.
We find all conjugacy classes of closed, connected, semisimple $G$-reducible subgroups $X$ of $G$. Thus we also find all non-$G$-completely reducible closed, connected, semisimple subgroups of $G$. When $X$ is closed, connected and simple of rank at least two, we find all conjugacy classes of $G$-irreducible subgroups $X$ of $G$. Together with the work of Amende classifying irreducible subgroups of type $A_1$ this gives a complete classification of the simple subgroups of $G$.
Amongst the classification of subgroups of $G=F_4(K)$ we find infinite varieties of subgroups $X$ of $G$ which are maximal amongst all reductive subgroups of $G$ but not maximal subgroups of $G$; thus they are not contained in any reductive maximal subgroup of $G$. The connected, semisimple subgroups contained in no maximal reductive subgroup of $G$ are of type $A_1$ when $p=3$ and of type $A_1^2$ or $A_1$ when $p=2$. Some of those which occur when $p=2$ act indecomposably on the 26-dimensional irreducible representation of $G$.
We also use this classification to find all subgroups of $G=F_4$ which are generated by short root elements of $G$, by utilising and extending the results of Liebeck and Seitz.
- H. Azad, M. Barry, and G. Seitz, On the structure of parabolic subgroups, Comm. Algebra 18 (1990), no. 2, 551â562. MR 1047327, DOI 10.1080/00927879008823931
- Henning Haahr Andersen, Jens JĂžrgensen, and Peter Landrock, The projective indecomposable modules of $\textrm {SL}(2,\,p^{n})$, Proc. London Math. Soc. (3) 46 (1983), no. 1, 38â52. MR 684821, DOI 10.1112/plms/s3-46.1.38
- Bonnie Amende, G-irreducible subgroups of type A1, ProQuest LLC, Ann Arbor, MI, 2005. Thesis (Ph.D.)âUniversity of Oregon. MR 2707891
- Michael Bate, Benjamin Martin, and Gerhard Röhrle, A geometric approach to complete reducibility, Invent. Math. 161 (2005), no. 1, 177â218. MR 2178661, DOI 10.1007/s00222-004-0425-9
- M. Bate, B. Martin, G. Roehrle, and R. Tange, Closed orbits and uniform s-instability in geometric invariant theory, Trans. Amer. Math. Soc., (to appear).
- Nicolas Bourbaki, ĂlĂ©ments de mathĂ©matique: groupes et algĂšbres de Lie, Masson, Paris, 1982 (French). Chapitre 9. Groupes de Lie rĂ©els compacts. [Chapter 9. Compact real Lie groups]. MR 682756
- Armand Borel and Jacques Tits, Homomorphismes âabstraitsâ de groupes algĂ©briques simples, Ann. of Math. (2) 97 (1973), 499â571 (French). MR 316587, DOI 10.2307/1970833
- Roger W. Carter, Simple groups of Lie type, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1989. Reprint of the 1972 original; A Wiley-Interscience Publication. MR 1013112
- Roger W. Carter, Finite groups of Lie type, Wiley Classics Library, John Wiley & Sons, Ltd., Chichester, 1993. Conjugacy classes and complex characters; Reprint of the 1985 original; A Wiley-Interscience Publication. MR 1266626
- Arjeh M. Cohen and Bruce N. Cooperstein, The $2$-spaces of the standard $E_6(q)$-module, Geom. Dedicata 25 (1988), no. 1-3, 467â480. Geometries and groups (Noordwijkerhout, 1986). MR 925847, DOI 10.1007/BF00191937
- E. Cline, B. Parshall, L. Scott, and Wilberd van der Kallen, Rational and generic cohomology, Invent. Math. 39 (1977), no. 2, 143â163. MR 439856, DOI 10.1007/BF01390106
- Stephen Donkin, On tilting modules for algebraic groups, Math. Z. 212 (1993), no. 1, 39â60. MR 1200163, DOI 10.1007/BF02571640
- E. B. Dynkin, Maximal subgroups of the classical groups, Trudy Moskov. Mat. ObĆĄÄ. 1 (1952), 39â166 (Russian). MR 0049903
- Jens Carsten Jantzen, Representations of algebraic groups, 2nd ed., Mathematical Surveys and Monographs, vol. 107, American Mathematical Society, Providence, RI, 2003. MR 2015057
- Jens Carsten Jantzen, Nilpotent orbits in representation theory, Lie theory, Progr. Math., vol. 228, BirkhĂ€user Boston, Boston, MA, 2004, pp. 1â211. MR 2042689
- 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
- R. Lawther, Jordan block sizes of unipotent elements in exceptional algebraic groups, Comm. Algebra 23 (1995), no. 11, 4125â4156. MR 1351124, DOI 10.1080/00927879508825454
- Martin W. Liebeck and Gary M. Seitz, Subgroups generated by root elements in groups of Lie type, Ann. of Math. (2) 139 (1994), no. 2, 293â361. MR 1274094, DOI 10.2307/2946583
- Martin W. Liebeck and Gary M. Seitz, Reductive subgroups of exceptional algebraic groups, Mem. Amer. Math. Soc. 121 (1996), no. 580, vi+111. MR 1329942, DOI 10.1090/memo/0580
- Martin W. Liebeck and Gary M. Seitz, On the subgroup structure of exceptional groups of Lie type, Trans. Amer. Math. Soc. 350 (1998), no. 9, 3409â3482. MR 1458329, DOI 10.1090/S0002-9947-98-02121-7
- Martin W. Liebeck and Gary M. Seitz, The maximal subgroups of positive dimension in exceptional algebraic groups, Mem. Amer. Math. Soc. 169 (2004), no. 802, vi+227. MR 2044850, DOI 10.1090/memo/0802
- George J. McNinch, Dimensional criteria for semisimplicity of representations, Proc. London Math. Soc. (3) 76 (1998), no. 1, 95â149. MR 1476899, DOI 10.1112/S0024611598000045
- G. D. Mostow, Fully reducible subgroups of algebraic groups, Amer. J. Math. 78 (1956), 200â221. MR 92928, DOI 10.2307/2372490
- R. W. Richardson, Affine coset spaces of reductive algebraic groups, Bull. London Math. Soc. 9 (1977), no. 1, 38â41. MR 437549, DOI 10.1112/blms/9.1.38
- R. W. Richardson, On orbits of algebraic groups and Lie groups, Bull. Austral. Math. Soc. 25 (1982), no. 1, 1â28. MR 651417, DOI 10.1017/S0004972700005013
- Joseph J. Rotman, An introduction to homological algebra, 2nd ed., Universitext, Springer, New York, 2009. MR 2455920
- 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
- J.-P. Serre, 1998 Moursund lectures at the University of Oregon.
- Jean-Pierre Serre, Galois cohomology, Corrected reprint of the 1997 English edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2002. Translated from the French by Patrick Ion and revised by the author. MR 1867431
- David I. Stewart, The second cohomology of simple ${SL}_3$-modules, Comm. Algebra, (to appear).
- David I. Stewart, The reductive subgroups of $G_2$, J. Group Theory 13 (2010), no. 1, 117â130. MR 2604850, DOI 10.1515/JGT.2009.035
- â, On unipotent algebraic $G$-groups and 1-cohomology, Trans. Amer. Math. Soc. (to appear).
- David I. Stewart, The second cohomology of simple $\textrm {SL}_2$-modules, Proc. Amer. Math. Soc. 138 (2010), no. 2, 427â434. MR 2557160, DOI 10.1090/S0002-9939-09-10088-6