Absolutely irreducible representations of affine group schemes of finite type over a field

Question

Let $G$ be an affine group scheme of finite type over an algebraically closed field $k$. Suppose that $V$ is a finite dimensional representation of $G$.

For every $k$-algebra $A$ we have the base change representation $V_A = V\otimes_kA$ of the group $G_A = \mathrm{Spec}\, A\times_{\mathrm{Spec}\,k}G$.

Definition 1. $V$ is absolutely irreducible if for every $k$-algebra $A$ there are no nontrivial subspaces $W\nsubseteq V$ such that $W_A = A\otimes_kW$ is $G_A$-stable in $V_A$.

Definition 2. $V$ is absolutely irreducible if for every field extension $L$ of $k$ the representation $V_L$ of the group $G_L$ is irreducible.

Two definitions above capture the same notion. Indeed, if $W_A$ is $G_A$-stable for some $k$-algebra $A$, then pick a nonzero morphism $A\rightarrow L$ into a field $L$ over $k$. Then $W_L$ is $G_L$-stable. So if there are no stable subspaces in the second sense, there are also no stable subspaces in the first. The other implication is trivial.

Fact. Suppose that $G$ is reduced. If $V$ is irreducible, then $V$ is absolutely irreducible.

Sketch of proof. Since $G$ is reduced and $k$ is algebraically closed, we deduce that $V$ is an irreducible representation of the abstract group $G(k)$. Suppose that the dimension of $V$ is $n$ and consider a morphism $\rho:G(k)\rightarrow \mathbb{M}_n(k)$ inducing action of $G(k)$ on $V$. Extend $\rho$ to a morphism of $k$-algebras $\tilde{\rho}:k[G(k)]\rightarrow \mathbb{M}_n(k)$. By Jacobson's density theorem we derive that $\tilde{\rho}$ is surjective. This property is stable under base change. This implies that $V_L$ is irreducible over $G_L(L)$ and hence $V_L$ is irreducible over $G_L$.

Now my question:

Suppose that $G$ is nonreduced. If $V$ is irreducible, then is $V$ absolutely irreducible?

Answer 1

Suppose $G$ is an affine group scheme over an algebraically closed field $k$, and $V$ is a finite dimensional representation of $G$. Let $K$ be an extension of $k$, and assume that $V_K$ is reducible as a representation of $G_K$. Then I claim that $V$ is reducible as a representation of $G$.

Let $r$ be an integer with $0 < r < \dim V$, such that $V_K$ has a $G_K$-invariant $r$-dimensional sub-vector space. Let $\mathbb{G}(r,V)$ the Grassmannian of $r$-dimensional vector spaces of $V$, with its induced action of $G$. Since formation of scheme-theoretic fixed point loci commutes extension of base field, the fix point locus $\mathbb{G}(r,V)^G$ has a $K$-valued point. This means that is non-empty; since it is of finite type, and $k$ is algebraically closed, this means that $\mathbb{G}(r,V)^G$ has a $k$-valued point, so $V$ is reducible.

Answer 2

The classical viewpoint is captured well in the 1962 book Representation Theory of Finite Groups and Associative Algebras by Curtis and Reiner (Wiley), Corollary 29.15. This of course doesn't directly answer the question about non-reduced representations of affine group schemes. But I suspect this generalizes. See for example II, $\S2$ of the 1970 book by Demazure and Gabriel, Groupes Algebriques (Masson, Paris). This book is written in the language of affine group schemes.

(By the way, my comment on the question here was being edited when I was interrupted by a phone call and didn't finish the editing.)