Hostname: page-component-6898cfcb55-w5hgh Total loading time: 0 Render date: 2026-11-11T21:58:17.574Z Has data issue: false hasContentIssue false

Semisimplification for subgroups of reductive algebraic groups

Published online by Cambridge University Press:  09 November 2020

Michael Bate
Affiliation:
Department of Mathematics, University of York, York YO10 5DD, United Kingdom; E-mail: michael.bate@york.ac.uk
Benjamin Martin
Affiliation:
Department of Mathematics, University of Aberdeen, King’s College, Fraser Noble Building, Aberdeen AB24 3UE, United Kingdom; E-mail: b.martin@abdn.ac.uk
Gerhard Röhrle
Affiliation:
Fakultät für Mathematik, Ruhr-Universität Bochum, Universitätsstraße 150, D-44780 Bochum, Germany; E-mail: gerhard.roehrle@rub.de

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let G be a reductive algebraic group—possibly non-connected—over a field k, and let H be a subgroup of G. If $G= {GL }_n$, then there is a degeneration process for obtaining from H a completely reducible subgroup $H'$ of G; one takes a limit of H along a cocharacter of G in an appropriate sense. We generalise this idea to arbitrary reductive G using the notion of G-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a G-completely reducible subgroup $H'$ of G, unique up to $G(k)$-conjugacy, which we call a k-semisimplification of H. This gives a single unifying construction that extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL _n$ and with Serre’s ‘G-analogue’ of semisimplification for subgroups of $G(k)$ from [19]). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf, and Rousseau.

Information

Type
Algebra
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2020. Published by Cambridge University Press