Complete reducibility of subgroups of reductive algebraic groups over non-perfect fields. IV: An F₄ example

DOI10.1515/JGTH-2020-0191MaRDI QIDQ2136392zbMATH OpenOpenAlexFDO

Authors Falk Bannuscher, Tomohiro Uchiyama, Alastair J. Litterick

Publication date 10 May 2022

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

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

zbMATH Keywords

G-complete reducibilityimperfect fieldReductive group

Mathematics Subject Classification ID

Linear algebraic groups over arbitrary fields (20G15)

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 example of a connected nonabelian $k$-subgroup $H^{\prime }$ 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^{\prime }$ only.

Review text

This is the fourth paper that the reviewer is aware of in a series by the third author investigating the behaviour of Serre's notion of complete reducibility for subgroups of reductive groups in the presence of inseparable field extensions, see [the third author, J. Algebra 463, 168--187 (2016; Zbl 1360.20046)] for the first in the series. The examples presented in this paper are more examples of subgroups \(H\) and \(H'\) of a simple algebraic group \(G\) (here of type \(F_4\)) over an imperfect field \(k\) of characteristic \(2\) such that \(H\) is \(G\)-completely reducible over \(\bar{k}\) but not \(G\)-completely reducible over \(k\) and, conversely, \(H'\) is \(G\)-completely reducible over \(k\) but not \(G\)-completely reducible over \(\bar{k}\). Of particular note is the fact that \(H\) is the first example of a connected positive-dimensional subgroup exhibiting this behaviour (connected examples like \(H'\) are fairly easy to come by). For Part II and III see [the third author, Commun. Algebra 45, No. 11, 4833--4845 (2017; Zbl 1481.20180); ibid. 47, No. 12, 4928--4944 (2019; Zbl 07122746)].

Recommendations

• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. II.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. I.
• The reductive subgroups of F₄.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. III
• Non-separability and complete reducibility: E_n examples with an application to a question of Külshammer

Cites work

• A geometric approach to complete reducibility.
• Buildings of spherical type and finite BN-pairs
• Closed orbits and uniform S-instability in geometric invariant theory.
• Cocharacter-closure and spherical buildings
• Cocharacter-closure and the rational Hilbert-Mumford theorem
• Complete reducibility and separability.
• Complete reducibility and separable field extensions.
• Complete reducibility in good characteristic
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. I.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. II.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. III
• Complete reducibility, Külshammer's question, conjugacy classes: a D₄ example
• Conjugacy classes of n-tuples in Lie algebras and algebraic groups
• Groupes reductifs
• scientific article; zbMATH DE number 50185 (Why is no real title available?)
• scientific article; zbMATH DE number 3247230 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• scientific article; zbMATH DE number 2213919 (Why is no real title available?)
• Linear algebraic groups.
• Non-G-Completely Reducible Subgroups of the Exceptional Algebraic Groups
• On the smoothness of centralizers in reductive groups.
• Pseudo-reductive groups.
• Receding polar regions of a spherical building and the center conjecture.
• Reducible subgroups of exceptional algebraic groups
• Reductive subgroups of exceptional algebraic groups
• Separability and complete reducibility of subgroups of the Weyl group of a simple algebraic group of type \(E_7\).
• The center conjecture for non-exceptional buildings
• The center conjecture for spherical buildings of types \(F _{4}\) and \(E _{6}\)
• The center conjecture for thick spherical buildings
• The Magma algebra system. I: The user language
• Éléments unipotents et sous-groupes paraboliques de groupes réductifs. I

Cited in

(9)

• Non-separability and complete reducibility: E_n examples with an application to a question of Külshammer
• Complete reducibility and Steinberg endomorphisms.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. I.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. II.
• The reductive subgroups of F₄.
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields. III
• \(G\)-complete reducibility in non-connected groups.
• Complete reducibility, Külshammer's question, conjugacy classes: a D₄ example
• Complete reducibility for Lie subalgebras and semisimplification

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Complete reducibility of subgroups of reductive algebraic groups over non-perfect fields. IV: An \(F_4\) example

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