Varieties of $G_r$-summands in Rational $G$-modules

TL;DR

This paper studies the varieties of $G_r$-summands in rational $G$-modules for a simple algebraic group, exploring their properties and implications for representation theory and conjectures like Donkin's tilting module conjecture.

Contribution

It introduces a variety structure on $G_r$-summands, analyzes their properties, and connects these to the extension of $G_r$-decompositions to $G$-decompositions, including implications for Donkin's conjecture.

Findings

Variety structure on $G_r$-summands established

Conditions for extending $G_r$-decompositions to $G$-decompositions identified

Equivalence between Donkin's conjecture and linearizability of certain $G$-actions shown

Abstract

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with $r$-th Frobenius kernel $G_r$. Let $M$ be a $G_r$-module and $V$ a rational $G$-module. We put a variety structure on the set of all $G_r$-summands of $V$ that are isomorphic to $M$, and study basic properties of these varieties. We give a few applications of this work to the representation theory of $G$, primarily in providing some sufficient conditions for when a $G_r$-module decomposition of $V$ can be extended to a $G$-module decomposition. In particular we are interested in connections to Donkin's tilting module conjecture, and more generally to the problem of finding a $G$-structure for the projective indecomposable $G_r$-modules. To that end, we show that Donkin's conjecture is equivalent to determining the linearizability or non-linearizability of $G$-actions on certain affine spaces.