On the involution fixity of exceptional groups of Lie type

The involution fixity ${\rm ifix}(G)$ of a permutation group $G$ of degree $n$ is the maximum number of fixed points of an involution. In this paper we study the involution fixity of primitive almost simple exceptional groups of Lie type. We show that if $T$ is the socle of such a group, then either ${\rm ifix}(T) > n^{1/3}$, or ${\rm ifix}(T) = 1$ and $T = {}^2B_2(q)$ is a Suzuki group in its natural $2$-transitive action of degree $n=q^2+1$. This bound is best possible and we present more detailed results for each family of exceptional groups, which allows us to determine the groups with ${\rm ifix}(T) \leqslant n^{4/9}$. This extends recent work of Liebeck and Shalev, who established the bound ${\rm ifix}(T) > n^{1/6}$ for every almost simple primitive group of degree $n$ with socle $T$ (with a prescribed list of exceptions). Finally, by combining our results with the Lang-Weil estimates from algebraic geometry, we determine bounds on a natural analogue of involution fixity for primitive actions of exceptional algebraic groups over algebraically closed fields.

[1]  Robert A. Wilson,et al.  The Maximal Subgroups of E6(2) and Aut(E6(2)) , 1990 .

[2]  Timothy C. Burness Fixed point ratios in actions of finite classical groups, III , 2007 .

[3]  Gary M. Seitz,et al.  SUBGROUPS OF MAXIMAL RANK IN FINITE EXCEPTIONAL GROUPS OF LIE TYPE , 1992 .

[4]  N. Spaltenstein,et al.  Caractères unipotents de $${}^3D_4 (\mathbb{F}_q )$$ , 1982 .

[5]  R. Lawther,et al.  Sublattices generated by root differences , 2014 .

[6]  Simon P. Norton,et al.  The maximal subgroups of F4(2) and its automorphism group , 1989 .

[7]  Gary M. Seitz,et al.  Fixed point spaces in actions of exceptional algebraic groups , 2002 .

[8]  Gary M. Seitz,et al.  Fixed point ratios in actions of finite exceptional groups of lie type. , 2002 .

[9]  Timothy C. Burness,et al.  On the involution fixity of simple groups , 2020, Proceedings of the Edinburgh Mathematical Society.

[10]  Martin W. Liebeck,et al.  Minimal Degrees of Primitive Permutation Groups, with an Application to Monodromy Groups of Covers of Riemann Surfaces , 1991 .

[11]  Michael Aschbacher,et al.  On the maximal subgroups of the finite classical groups , 1984 .

[12]  Arjeh M. Cohen,et al.  The Local Maximal Subgroups of Exceptional Groups of Lie Type, Finite and Algebraic , 1992 .

[13]  Gunter Malle,et al.  Linear Algebraic Groups and Finite Groups of Lie Type , 2011 .

[14]  N. Iwahori,et al.  The conjugacy classes of the finite Ree groups of type$(F_4)$ , 1975 .

[15]  Ernest E. Shult,et al.  On a class of doubly transitive groups , 1972 .

[16]  B. Cooperstein Maximal subgroups of G2(2n) , 1981 .

[17]  Gunter Malle,et al.  The maximal subgroups of 2F4(q2) , 1991 .

[18]  Timothy C. Burness Fixed point spaces in primitive actions of simple algebraic groups , 2003 .

[19]  Adam R. Thomas,et al.  The Irreducible Subgroups of Exceptional Algebraic Groups , 2013, Memoirs of the American Mathematical Society.

[20]  D. Gorenstein,et al.  The Classification of the Finite Simple Groups , 1983 .

[21]  Gary M. Seitz,et al.  On finite subgroups of exceptional algebraic groups , 1999 .

[22]  T. A. Springer,et al.  The Bruhat order on symmetric varieties , 1990 .

[23]  J. Conway,et al.  ATLAS of Finite Groups , 1985 .

[24]  Roger W. Carter,et al.  Centralizers of Semisimple Elements in Finite Groups of Lie Type , 1978 .

[25]  Timothy C. Burness,et al.  On base sizes for algebraic groups , 2013, 1310.1569.

[26]  Aner Shalev,et al.  Fixed points of elements of linear groups , 2011 .

[27]  Michael Giudici,et al.  Classical Groups, Derangements and Primes , 2016 .

[28]  Helmut Bender,et al.  Transitive gruppen gerader ordnung, in denen jede involution genau einen punkt festläβt , 1971 .

[29]  Roger W. Carter,et al.  Finite groups of Lie type: Conjugacy classes and complex characters , 1985 .

[30]  Christian Ronse On permutation groups of prime power order , 1980 .

[31]  George Lusztig,et al.  Character sheaves, V , 1985 .

[32]  Marc Perret,et al.  NUMBER OF POINTS OF PRYM VARIETIES OVER FINITE FIELDS , 2006, Glasgow Mathematical Journal.

[33]  R. Lawther,et al.  Unipotent classes in maximal subgroups of exceptional algebraic groups , 2009 .

[34]  Gunter Malle,et al.  Die unipotenten charaktere von 2F4(q2) , 1990 .

[35]  Gary M. Seitz,et al.  The maximal subgroups of positive dimension in exceptional algebraic groups , 2004 .

[36]  Gary M. Seitz,et al.  A survey of maximal subgroups of exceptional groups of Lie type , 2002 .

[37]  M. Liebeck,et al.  Maximal subgroups of exceptional groups of Lie type, finite and algebraic , 1990 .

[38]  P. B. Kleidman The maximal subgroups of the Chevalley groups G2(q) with q odd , 1988 .

[39]  Michael Aschbacher,et al.  Corrections to “Involutions in Chevalley groups over fields of even order” , 1976, Nagoya Mathematical Journal.

[40]  Alfred Bochert Ueber die Zahl der verschiedenen Werthe, die eine Function gegebener Buchstaben durch Vertauschung derselben erlangen kann , 1889 .

[41]  M. Liebeck,et al.  Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras , 2012 .

[42]  Michael Giudici,et al.  Low-dimensional classical groups , 2016 .

[43]  Ross Lawther,et al.  Correction to 'Jordan block sizes of unipotent elements in exceptional algebraic groups' , 1998, Communications in Algebra.

[44]  Alexandre V. Borovik Jordan subgroups and orthogonal decompositions , 1989 .

[45]  Aner Shalev,et al.  On fixed points of elements in primitive permutation groups , 2015 .

[46]  I. G. MacDonald,et al.  Lectures on Lie Groups and Lie Algebras: Simple groups of Lie type , 1995 .

[47]  Gary M. Seitz,et al.  Subgroups of exceptional algebraic groups which are irreducible on an adjoint or minimal module , 2004 .

[48]  Camille Jordan Théorèmes sur les groupes primitifs. , 1871 .

[49]  Martin W. Liebeck,et al.  The Subgroup Structure of the Finite Classical Groups , 1990 .

[50]  Gary M. Seitz,et al.  On the subgroup structure of exceptional groups of Lie type , 1998 .

[51]  J. Saxl,et al.  The Fixity of Permutation Groups , 1995 .

[52]  P. B. Kleidman,et al.  The maximal subgroups of the Steinberg triality groups 3D4(q) and of their automorphism groups , 1988 .

[53]  Aner Shalev,et al.  Base sizes for simple groups and a conjecture of Cameron , 2009 .

[54]  L. Babai On the Order of Uniprimitive Permutation Groups , 1981 .

[55]  JOHN BAMBERG,et al.  SIMPLE GROUPS, PRODUCT ACTIONS, AND GENERALIZED QUADRANGLES , 2017, Nagoya Mathematical Journal.

[56]  Aner Shalev,et al.  Fuchsian groups, finite simple groups and representation varieties , 2005 .

[57]  Alfred Bochert Ueber die Zahl der verschiedenen Werthe, die eine Function gegebener Buchstaben durch Vertauschung derselben erlangen kann , 1897 .

[58]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[59]  S. Lang,et al.  NUMBER OF POINTS OF VARIETIES IN FINITE FIELDS. , 1954 .

[60]  Kay Magaard,et al.  On the Minimal Degree of a Primitive Permutation Group , 1998 .