The subgroup structure of pseudo-reductive groups

2024/06/17 by Bate, Michael, Martin, Ben, Röhrle, Gerhard +1
#20G07 #20G15 #FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.2406.11286

Abstract

Let k be a field. We investigate the relationship between subgroups of a pseudo-reductive k-group G and its maximal reductive quotient G', with applications to the subgroup structure of G. Let k'/k be the minimal field of definition for the geometric unipotent radical of G, and let π':G_k' → G' be the quotient map. We first characterise those smooth subgroups H of G for which π'(H_k')=G'. We next consider the following questions: given a subgroup H' of G', does there exist a subgroup H of G such that π'(H_k')=H', and if H' is smooth can we find such a H that is smooth? We find sufficient conditions for a positive answer to these questions. In general there are various obstructions to the existence of such a subgroup H, which we illustrate with several examples. Finally, we apply these results to relate the maximal smooth subgroups of G with those of G'.

Related

• The Subgroup Structure of Pseudo-Reductive Groups
• On unipotent radicals of pseudo-reductive groups
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields 3
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields IV: An F₄ example
• Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields 2