Algebraic groups over finite fields: connections between subgroups and isogenies

DOI10.1515/JGTH-2022-0110MaRDI QIDQ6082369zbMATH OpenOpenAlexFDO

Authors Davide Sclosa

Publication date 6 November 2023

Published in Journal of Group Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2206.14549

zbMATH Keywords

isogenylinear algebraic group over a finite fieldsubgroup

Mathematics Subject Classification ID

Finite simple groups and their classification (20D05) Structure theory for linear algebraic groups (20G07) Linear algebraic groups over finite fields (20G40)

Abstract: Let G be a linear algebraic group defined over a finite field F_q. We present several connections between the isogenies of G and the finite groups of rational points G(F_q^n). We show that an isogeny from G' to G over F_q gives rise to a subgroup of fixed index in G(F_q^n) for infinitely many n. Conversely, we show that if G is reductive the existence of a subgroup of fixed index k for infinitely many n implies the existence of an isogeny of order k. In particular, we show that every infinite sequence of subgroups is controlled by a finite number of isogenies. This result applies to classical groups GLm, SLm, SOm, SUm, Sp2m and can be extended to non-reductive groups if k is prime to the characteristic. As a special case, we see that if G is simply connected the minimal indexes of proper subgroups of G(F_q^n) diverge to infinity. Similar results are investigated regarding the sequence G(F_p) by varying the characteristic p.

Review text

Let \(G\) be a linear algebraic group defined over a finite field \(\mathbb{F}_q\). The author presents several connections between the isogenies of \(G\) and the finite groups of rational points \((G(\mathbb{F}_{q^n}))_{n\geq 1}\). He shows that an isogeny \(\phi:G'\to G\) over \(\mathbb{F}_q\) gives rise to a subgroup of fixed index in \(G(\mathbb{F}_{q^n})\) for infinitely many \(n\). Conversely, he shows that if \(G\) is reductive, the existence of a subgroup \(H_n\) of fixed index \(k\) for infinitely many \(n\) implies the existence of an isogeny of order \(k\). In particular, he shows that the infinite sequence \(H_n\) is covered by a finite number of isogenies. This result applies to classical groups \(\mathrm{GL}_m\), \(\mathrm{SL}_m\), \(\mathrm{SO}_m\), \(\mathrm{SU}_m\), \(\mathrm{Sp}_{2m}\) and can be extended to non-reductive groups if \(k\) is prime to the characteristic. As a special case, if \(G\) is simply connected, the minimal indices of proper subgroups of \(G(\mathbb{F}_{q^n})\) diverge to infinity. Similar results are investigated regarding the sequence \((G(\mathbb{F}_{p}))_p\) by varying the characteristic \(p\).

Recommendations

• Finite subgroups of algebraic groups.
• scientific article; zbMATH DE number 1222251
• scientific article; zbMATH DE number 1222237
• scientific article; zbMATH DE number 774019
• scientific article; zbMATH DE number 754210

Cites work

• A survey of the maximal subgroups of the finite simple groups
• A.D. Alexandrov spaces with curvature bounded below
• Algebraic Groups
• Algebraic Lie algebras
• Endomorphisms of linear algebraic groups
• Essays in the history of Lie groups and algebraic groups
• scientific article; zbMATH DE number 3689557 (Why is no real title available?)
• scientific article; zbMATH DE number 3758571 (Why is no real title available?)
• scientific article; zbMATH DE number 50185 (Why is no real title available?)
• Linear algebraic groups and finite groups of Lie type.
• Linear algebraic groups.
• On algebraic group varieties
• The Character Theory of Finite Groups of Lie Type

Cited in

(1)

• Algebraic groups over finite fields, a quick proof of Lang’s theorem

This page was built for publication: Algebraic groups over finite fields: connections between subgroups and isogenies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6082369)