Complete reducibility for Lie subalgebras and semisimplification

Michael Bate, Sören Böhm, Benjamin Martin, Gerhard Roehrle* (Corresponding Author), Laura Voggesberger

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Downloads (Pure)

Abstract

Let G be a connected reductive linear algebraic group over a field k. Using ideas from geometric invariant theory, we study the notion of G-complete reducibility over k for a Lie subalgebra h of the Lie algebra g = Lie(G) of G and prove some results when h is solvable or char(k) = 0. We introduce the concept of a k-semisimplification h ′ of h; h ′ is a Lie subalgebra of g associated to h which is G-completely reducible over k. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that h ′ is unique up to Ad(G(k))-conjugacy in g. Moreover, we prove that the two concepts are compatible: for H a closed subgroup of G and H′ a k-semisimplification of H, the Lie algebra Lie(H′ ) is a k-semisimplification of Lie(H).
Original languageEnglish
Article number116
Number of pages27
JournalEuropean Journal of Mathematics
Volume9
Early online date1 Dec 2023
DOIs
Publication statusPublished - 1 Dec 2023

Bibliographical note

Acknowledgments: The research of this work was supported in part by the DFG (Grant #RO 1072/22-1 (project number: 498503969) to G. R¨ohrle). We thank the referees for their careful reading of the paper and their helpful comments clarifying some points. We are especially grateful to one referee for providing us with Proposition 4.4, which is a substantial improvement on a result from the original version.
Funding
Open Access funding enabled and organized by Projekt DEAL.

Keywords

  • Semisimplification
  • G-complete reducibility
  • geometric invariant theory
  • rationality
  • cocharacter-closed orbits
  • degeneration of G-orbits

Fingerprint

Dive into the research topics of 'Complete reducibility for Lie subalgebras and semisimplification'. Together they form a unique fingerprint.

Cite this