Showing 1–15 of 15 results for author: Litterick, A

$G$-complete reducibility and saturation

Authors: Michael Bate, Sören Böhm, Alastair Litterick, Benjamin Martin, Gerhard Roehrle

Abstract: Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main th… ▽ More Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main theorem shows that if $K$ is $H$-completely reducible, then the saturation of $K$ in $G$ is completely reducible in the saturation of $H$ in $G$ (which is again a connected reductive subgroup of $G$), under suitable restrictions on $p$, again generalising the known instance for $G = GL(V)$. We also study saturation of finite subgroups of Lie type in $G$. We show that saturation is compatible with standard Frobenius endomorphisms, and we use this to generalise a result due to Nori from 1987 in case $G = GL(V)$. △ Less

Submitted 27 March, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: 15 pages; v2 minor changes; v3 18 pages, various changes; new is Proposition 4.8 which shows that saturation is compatible with standard Frobenius endomorphisms

MSC Class: 20G15; 14L24

Condorcet Domains of Degree at most Seven

Authors: Dolica Akello-Egwell, Charles Leedham-Green, Alastair Litterick, Klas Markström, Søren Riis

Abstract: In this paper we give the first explicit enumeration of all maximal Condorcet domains on $n\leq 7$ alternatives. This has been accomplished by develo** a new algorithm for constructing Condorcet domains, and an implementation of that algorithm which has been run on a supercomputer. We follow this up by the first survey of the properties of all maximal Condorcet domains up to degree 7, with res… ▽ More In this paper we give the first explicit enumeration of all maximal Condorcet domains on $n\leq 7$ alternatives. This has been accomplished by develo** a new algorithm for constructing Condorcet domains, and an implementation of that algorithm which has been run on a supercomputer. We follow this up by the first survey of the properties of all maximal Condorcet domains up to degree 7, with respect to many properties studied in the social sciences and mathematical literature. We resolve several open questions posed by other authors, both by examples from our data and theorems. We give a new set of results on the symmetry properties of Condorcet domains which unify earlier works. Finally we discuss connections to other domain types such as non-dictatorial domains and generalisations of single-peaked domains. All our data is made freely available for other researches via a new website. △ Less

Submitted 12 December, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: Typos corrected, some open problems, a conjecture, and a new figure has been added in the latest version

Complete reducibility in bad characteristic

Authors: Alastair J. Litterick, Adam R. Thomas

Abstract: Let $G$ be a simple algebraic group of exceptional type over an algebraically closed field of characteristic $p > 0$. This paper continues a long-standing effort to classify the connected reductive subgroups of $G$. Having previously completed the classification when $p$ is sufficiently large, we focus here on the case that $p$ is bad for $G$. We classify the connected reductive subgroups of $G$ w… ▽ More Let $G$ be a simple algebraic group of exceptional type over an algebraically closed field of characteristic $p > 0$. This paper continues a long-standing effort to classify the connected reductive subgroups of $G$. Having previously completed the classification when $p$ is sufficiently large, we focus here on the case that $p$ is bad for $G$. We classify the connected reductive subgroups of $G$ which are not $G$-completely reducible, whose simple components have rank at least $3$. For each such subgroup $X$, we determine the action of $X$ on the adjoint module $L(G)$ and on a minimal non-trivial $G$-module, and the connected centraliser of $X$ in $G$. As corollaries we obtain information on: subgroups which are maximal among connected reductive subgroups; products of commuting $G$-completely reducible subgroups; subgroups with trivial connected centraliser; and subgroups which act indecomposably on an adjoint or minimal module for $G$. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 41 pages, comments welcome

MSC Class: 20G07; 20G41

Elementary abelian subgroups: from algebraic groups to finite groups

Authors: Jianbei An, Heiko Dietrich, Alastair J. Litterick

Abstract: We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral subgroups, we give an effective classification algorithm. For non-toral elementary abelian subgroups, we focus on algebraic groups of exceptional type with a view to… ▽ More We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral subgroups, we give an effective classification algorithm. For non-toral elementary abelian subgroups, we focus on algebraic groups of exceptional type with a view to future applications, and in this case we provide tables explicitly describing the subgroups and their local structure. We then describe how to transfer results to the corresponding finite groups of Lie type using the Lang-Steinberg Theorem; this will be used in forthcoming work to complete the classification of elementary abelian $p$-subgroups for torsion primes $p$ in finite groups of exceptional Lie type. Such classification results are important for determining the maximal $p$-local subgroups and $p$-radical subgroups, both of which play a crucial role in modular representation theory. △ Less

Submitted 26 January, 2024; v1 submitted 4 March, 2023; originally announced March 2023.

Comments: 36 pages, 1 figure. To appear in Transactions of the American Mathematical Society. For associated code, see https://github.com/heikodietrich/toralelabsubgroups

Complete reducibility and subgroups of exceptional algebraic groups

Authors: Alastair J. Litterick, David I. Stewart, Adam R. Thomas

Abstract: This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second part concerns consequences of this theory when $G$ is simple of exceptional type, specifically its role in elucidating the subgroup structure of $G$. The latter su… ▽ More This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second part concerns consequences of this theory when $G$ is simple of exceptional type, specifically its role in elucidating the subgroup structure of $G$. The latter subject has a history going back about sixty years. We give an overview of what is known, up to the present day. We also take the opportunity to offer several corrections to the literature. △ Less

Submitted 8 September, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 43 pages. To appear in the proceedings of Groups St Andrews 2022 in Newcastle

MSC Class: 20G05; 20G41

Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields IV: An $F_4$ example

Authors: Falk Bannuscher, Alastair Litterick, Tomohiro Uchiyama

Abstract: Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present the first example of a connected nonabelian $k$-subgroup $H$ of $G$ that is $G$-completely reducible but not $G$-completely reducible over $k$, and the first exampl… ▽ More Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present the first example of a connected nonabelian $k$-subgroup $H$ of $G$ that is $G$-completely reducible but not $G$-completely reducible over $k$, and the first example of a connected nonabelian $k$-subgroup $H'$ of $G$ that is $G$-completely reducible over $k$ but not $G$-completely reducible. This is new: all previously known such examples are for finite (or non-connected) $H$ and $H'$ only. △ Less

Submitted 7 November, 2021; v1 submitted 27 November, 2020; originally announced November 2020.

Comments: arXiv admin note: text overlap with arXiv:1703.00103, arXiv:1612.05863. To appear in Journal of Group Theory

Complete reducibility: Variations on a theme of Serre

Authors: Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--Röhrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as rela… ▽ More In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--Röhrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as relative complete reducibility and $σ$-complete reducibility, can also be viewed as special cases of this building-theoretic definition, and hence a number of results from these areas are special cases of more general properties. △ Less

Submitted 7 June, 2021; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: 10 pages; v2 small changes; v3 minimal changes; to appear in Manuscripta Math

MSC Class: 20G15; 20G40; 20E42; 51E24

Rigid representations of triangle groups

Authors: Alastair Litterick, Benjamin Martin

Abstract: We prove a generalization of a conjecture of C. Marion on generation properties of finite groups of Lie type, by considering geometric properties of an appropriate representation variety and associated tangent spaces. We prove a generalization of a conjecture of C. Marion on generation properties of finite groups of Lie type, by considering geometric properties of an appropriate representation variety and associated tangent spaces. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Comments: 6 pages

MSC Class: 20H10; 20G40

Relative complete reducibility and normalised subgroups

Authors: Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is comple… ▽ More We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is completely reducible. This allows us to generalise a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as 'rational' versions over non-algebraically closed fields. △ Less

Submitted 28 April, 2020; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 21 pages; v2 several updates and small changes, updated references; v3 small changes, final version to appear in Forum of Mathematics, Sigma

MSC Class: 20G15; 14L24

On relative complete reducibility

Authors: Christopher Attenborough, Michael Bate, Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a na… ▽ More Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a natural generalization of Serre's notion of $G$-complete reducibility. In this paper we revisit this idea, giving a characterization of relative $G$-complete reducibility which directly generalizes equivalent formulations of $G$-complete reducibility. If the ambient group $G$ is a general linear group, this characterization yields representation-theoretic criteria. Along the way, we extend and generalize several results from the aforementioned work of Bate-Martin-Roehrle-Tange. △ Less

Submitted 30 August, 2019; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: 10 pages; v2 15 pages; substantially revised and expanded version: most results are generalized from the case of a general linear group to an arbitrary connected reductive algebraic group. List of authors expanded. To appear in Quarterly Journal of Mathematics

MSC Class: 20G15; 14L24

Further Rigid Triples of Classes in $G_{2}$

Authors: Matthew Conder, Alastair Litterick

Abstract: We establish the existence of two rigid triples of conjugacy classes in the algebraic group $G_{2}$ in characteristic $5$, complementing results of the second author with Liebeck and Marion. As a corollary, the finite groups $G_{2}(5^n)$ are not $(2,4,5)$-generated, confirming a conjecture of Marion in this case. We establish the existence of two rigid triples of conjugacy classes in the algebraic group $G_{2}$ in characteristic $5$, complementing results of the second author with Liebeck and Marion. As a corollary, the finite groups $G_{2}(5^n)$ are not $(2,4,5)$-generated, confirming a conjecture of Marion in this case. △ Less

Submitted 26 July, 2018; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 5 pages. To appear in International Journal of Group Theory

MSC Class: 20G40 (Primary); 20D06 (Secondary)

Reducible subgroups of exceptional algebraic groups

Authors: Alastair J. Litterick, Adam R. Thomas

Abstract: Let $G$ be a simple algebraic group over an algebraically closed field. A closed subgroup $H$ of $G$ is called $G$-completely reducible ($G$-cr) if, whenever $H$ is contained in a parabolic subgroup $P$ of $G$, it is contained in a Levi factor of $P$. In this paper we complete the classification of connected $G$-cr subgroups when $G$ has exceptional type, by determining the $L_{0}$-irreducible con… ▽ More Let $G$ be a simple algebraic group over an algebraically closed field. A closed subgroup $H$ of $G$ is called $G$-completely reducible ($G$-cr) if, whenever $H$ is contained in a parabolic subgroup $P$ of $G$, it is contained in a Levi factor of $P$. In this paper we complete the classification of connected $G$-cr subgroups when $G$ has exceptional type, by determining the $L_{0}$-irreducible connected reductive subgroups for each simple classical factor $L_{0}$ of a Levi subgroup of $G$. As an illustration, we determine all reducible, $G$-cr semisimple subgroups when $G$ has type $F_4$ and various properties thereof. This work complements results of Lawther, Liebeck, Seitz and Testerman, and is vital in classifying non-$G$-cr reductive subgroups, a project being undertaken by the authors elsewhere. △ Less

Submitted 12 September, 2018; v1 submitted 28 January, 2018; originally announced January 2018.

Comments: Comments: 47 pages. Final version, to appear in Journal of Pure and Applied Algebra. Minor changes with respect to previous version

MSC Class: 20G07; 20G41 (Primary); 20G10 (Secondary)

On finite simple images of triangle groups

Authors: Sebastian Jambor, Alastair Litterick, Claude Marion

Abstract: For a simple algebraic group G in characteristic p, a triple (a,b,c) of positive integers is said to be rigid for G if the dimensions of the subvarieties of G of elements of order dividing a,b,c sum to 2dim G. In this paper we complete the proof of a conjecture of the third author, that for a rigid triple (a,b,c) for G with p>0, the triangle group T_{a,b,c} has only finitely many simple images of… ▽ More For a simple algebraic group G in characteristic p, a triple (a,b,c) of positive integers is said to be rigid for G if the dimensions of the subvarieties of G of elements of order dividing a,b,c sum to 2dim G. In this paper we complete the proof of a conjecture of the third author, that for a rigid triple (a,b,c) for G with p>0, the triangle group T_{a,b,c} has only finitely many simple images of the form G(p^r). We also obtain further results on the more general form of the conjecture, where the images G(p^r) can be arbitrary quasisimple groups of type G. △ Less

Submitted 23 June, 2017; originally announced June 2017.

On Non-Generic Finite Subgroups of Exceptional Algebraic Groups

Authors: Alastair J. Litterick

Abstract: The study of finite subgroups of a simple algebraic group $G$ reduces in a sense to those which are almost simple. If an almost simple subgroup of $G$ has a socle which is not isomorphic to a group of Lie type in the underlying characteristic of $G$, then the subgroup is called non-generic. This paper considers non-generic subgroups of simple algebraic groups of exceptional type in arbitrary chara… ▽ More The study of finite subgroups of a simple algebraic group $G$ reduces in a sense to those which are almost simple. If an almost simple subgroup of $G$ has a socle which is not isomorphic to a group of Lie type in the underlying characteristic of $G$, then the subgroup is called non-generic. This paper considers non-generic subgroups of simple algebraic groups of exceptional type in arbitrary characteristic. A finite subgroup is called Lie primitive if it lies in no proper subgroup of positive dimension. We prove here that many non-generic subgroup types, including the alternating and symmetric groups $\text{Alt}_{n}$, $\text{Sym}_{n}$ for $n \ge 10$, do not occur as Lie primitive subgroups of an exceptional algebraic group. A subgroup of $G$ is called $G$-completely reducible if, whenever it lies in a parabolic subgroup of $G$, it lies in a conjugate of the corresponding Levi factor. Here, we derive a fairly short list of possible isomorphism types of non-$G$-completely reducible, non-generic simple subgroups. As an intermediate result, for each simply connected $G$ of exceptional type, and each non-generic finite simple group $H$ which embeds into $G/Z(G)$, we derive a set of feasible characters, which restrict the possible composition factors of $V \downarrow S$, whenever $S$ is a subgroup of $G$ with image $H$ in $G/Z(G)$, and $V$ is either the Lie algebra of $G$ or a non-trivial Weyl module for $G$ of least dimension. This has implications for the subgroup structure of the finite groups of exceptional Lie type. For instance, we show that for $n \ge 10$, $\text{Alt}_n$ and $\text{Sym}_n$, as well as numerous other almost simple groups, cannot occur as a maximal subgroup of an almost simple group whose socle is a finite simple group of exceptional Lie type. △ Less

Submitted 3 September, 2018; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: 158 pages; final version in Memoirs of the AMS. Minor edits with respect to the previous version

MSC Class: 20G15; 20E07

Journal ref: Mem. Amer. Math. Soc. 253 (2018), no. 1207, vi+156 pp

Complete Reducibility in Good Characteristic

Authors: Alastair J. Litterick, Adam R. Thomas

Abstract: Let $G$ be a simple algebraic group of exceptional type, over an algebraically closed field of characteristic $p \ge 0$. A closed subgroup $H$ of $G$ is called $G$-completely reducible ($G$-cr) if whenever $H$ is contained in a parabolic subgroup $P$ of $G$, it is contained in a Levi subgroup of $P$. In this paper we determine the $G$-conjugacy classes of non-$G$-cr simple connected subgroups of… ▽ More Let $G$ be a simple algebraic group of exceptional type, over an algebraically closed field of characteristic $p \ge 0$. A closed subgroup $H$ of $G$ is called $G$-completely reducible ($G$-cr) if whenever $H$ is contained in a parabolic subgroup $P$ of $G$, it is contained in a Levi subgroup of $P$. In this paper we determine the $G$-conjugacy classes of non-$G$-cr simple connected subgroups of $G$ when $p$ is good for $G$. For each such subgroup $X$, we determine the action of $X$ on the adjoint module $L(G)$ and the connected centraliser of $X$ in $G$. As a consequence we classify all non-$G$-cr connected reductive subgroups of $G$, and determine their connected centralisers. We also classify the subgroups of $G$ which are maximal among connected reductive subgroups, but not maximal among all connected subgroups. △ Less

Submitted 2 October, 2023; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 67 pages. v2 appeared in Trans. Amer. Math. Soc. This version includes a corrigendum, detailing two classes of subgroups which were omitted from the published version