BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
David I. Stewart contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions of their irreducible modules.
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known.
Let $k'/k$ be a finite purely inseparable field extension and let $G'$ be a reductive $k'$-group. We denote by $G=\R_{k'/k}(G')$ the Weil restriction of $G'$ across $k'/k$, a pseudo-reductive group. This article gives bounds for the exponent of the geometric unipotent radical $\RR_{u}(G_{\bar{k}})$ in terms of invariants of the extension $k'/k$, starting with the case $G'=\GL_n$ and applying these results to the case where $G'$ is a simple group.
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions to results due to Cline, Parshall, Scott and van der Kallen. Firstly, if G is a connected, reductive algebraic group with Borel subgroup B and Q a unipotent algebraic G-group, we show the restriction map H^1(G,Q)\to H^1(B,Q) is an isomorphism. We also show that this situation admits a notion of rational stability and generic cohomology. We use these results to obtain corollaries about complete reducibility and subgroup structure.
Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let σ:G->G be a strict endomorphism (i. e., the subgroup G(σ) of σ-fixed points is finite). Also, let G_σ be the scheme-theoretic kernel of σ, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(σ),L) of any irreducible kG(σ)-module L is bounded by a constant depending on the root system Φ of G and the integer m. A similar result holds for the degree m cohomology of G_σ. These bounds are actually established for the degree m extension groups Ext^m_{G(σ)}(L,L') between irreducible kG(σ)-modules L and L', with again a similar result holding for G_σ. In these Ext^m results, of interest in their own right, the bounds depend also on L, or, more precisely, on length of the p-adic expansion of the highest weight associated to L. All bounds are, nevertheless, independent of the characteristic p. These results extend earlier work of Parshall and Scott for rational representations of algebraic groups G. We also show that one can find bounds independent of the prime for the Cartan invariants of G(σ) and G_σ, and even for the lengths of the underlying PIMs. These bounds, which depend only on the root system of G and the "height" of σ, provide in a strong way an affirmative answer to a question of Hiss, for the special case of finite groups G(σ) of Lie type in the defining characteristic.
Let G be an exceptional algebraic group defined over an algebraically closed field k of characteristic p>0 and let H be a subgroup of G. Then following Serre we say H is G-completely reducible or G-cr if, whenever H is contained in a parabolic subgroup P of G, then H is in a Levi subgroup of that parabolic. Building on work of Liebeck and Seitz, we find all triples (X,G,p) such that there exists a closed, connected, simple non-G-cr subgroup H<G with root system X.
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. The present paper shows that, for irreducible modules as coefficients, the limits can be eliminated in all but finitely many cases. These exceptional cases depend only on the root system and cohomological degree. In fact, we show that, for sufficiently large r, depending only on the root system and m, and not on the prime p or the irreducible module L, there are isomorphisms H^m(G(p^r),L) -> H^m(G(p^r),L') -> H^m_gen(G,L') -> H^m(G,L'), where the subscript "gen" refers to generic cohomology and L' is a constructibly determined irreducible "shift" of the (arbitrary) irreducible module L for the finite Chevalley group G(p^r). By a famous theorem of Steinberg, both L and L' extend to irreducible modules for the ambient algebraic group G with p^r-restricted highest weights. This leads to the notion of a module or weight being "shifted m-generic," and thus to the title of this paper. Our approach is based on questions raised by the third author in [Stea], which we answer here in the cohomology cases. We obtain many additional results, often with formulations in the more general context of Ext^m_G(q) with irreducible coefficients.
We produce examples in the cohomology of algebraic groups which answer two questions of Parshall and Scott. Specifically, if $G=SL_2$, then we show: (a) $\dim \Ext_G^2(L,L)$ can be arbitrarily large for a simple module $L$; and (b) the sequence $\max_{L-\text{irred}}\dim H^k(G,L)$ grows exponentially fast with $k$.
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>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 parabolic subgroup of $G$; and $G$-reducible if it is in some parabolic of $G$. In this thesis, we consider the case that $G$ is of exceptional type. When $G$ is of type $G_2$ we find all conjugacy classes of closed, connected, reductive subgroups of $G$. When $G$ is of type $F_4$ we find all conjugacy classes of closed, connected, reductive $G$-reducible subgroups $X$ of $G$. Thus we also find all non-$G$-completely reducible closed, connected, reductive 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 in [Ame05] 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 collections 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 maximal reductive 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 semisimple 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 [LS94].