The subgroup structure of pseudo-reductive groups

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bate, Michael, Martin, Ben, Röhrle, Gerhard, Sercombe, Damian
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917737905782784
author Bate, Michael
Martin, Ben
Röhrle, Gerhard
Sercombe, Damian
author_facet Bate, Michael
Martin, Ben
Röhrle, Gerhard
Sercombe, Damian
contents 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'} \to 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'$.
format Preprint
id arxiv_https___arxiv_org_abs_2406_11286
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle The subgroup structure of pseudo-reductive groups
Bate, Michael
Martin, Ben
Röhrle, Gerhard
Sercombe, Damian
Group Theory
20G15, 20G07
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'} \to 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'$.
title The subgroup structure of pseudo-reductive groups
topic Group Theory
20G15, 20G07
url https://arxiv.org/abs/2406.11286