Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of characteristic $p$ (e.g., $G=SL\_n(k)$). Then $G$ is equal to its derived subgroup $[G,G]$. Consequently, the character group $X(G)$ of all algebraic group homomorphisms $G \rightarrow \mathbb{G}\_m$ is trivial, because any character $\chi \in X(G)$ will vanish on the derived subgroup $[G,G]$. (Here $\mathbb{G}\_m$ is the multiplicative group of units in $k$.)


Now I want to think of $G$ as an algebraic group scheme. Thus, $G$ is a representable functor from the category of commutative $k$-algebras to the category of groups. Given a commutative $k$-algebra $A$, $G(A) = \textrm{Hom}\_{k-alg}(k[G],A)$, where $k[G]$ is the (usual) coordinate ring of $G$. For the example $G=SL\_n$, we can be more explicit and say $G(A) = SL\_n(A)$.


Since the characteristic of $k$ is positive, the group $G$ comes equipped with its Frobenius morphism $F: G \rightarrow G$. This is induced by a certain map of $k$-algebras $k[G] \rightarrow k[G]$, which, roughly speaking, is just the $p$-th power map $f \mapsto f^p$. In our example $G(A) = SL\_n(A)$, the image of a matrix $(a\_{ij}) \in SL\_n(A)$ under $F$ is the matrix $(a\_{ij}^p)$.


We can consider the scheme-theoretic kernel $G\_1$ of $F$, and, more generally, the kernel $G\_r$ of the $r$-th iterate $F^r$. These are the Frobenius kernels of $G$. They are normal subgroup schemes of $G$. They are not interesting algebraic groups in the classical sense (e.g., if $A=k$, then $(a\_{ij}^p)=1$ only if $(a\_{ij})=1$ and the kernel is trivial), but they are interesting as algebraic group schemes.



> 
> Let $G\_r$ be the $r$-th Frobenius kernel of $G$. What is the structure of the character group $X(G\_r)$ of algebraic group homomorphisms $G\_r \rightarrow \mathbb{G}\_m$? If $G$ is semisimple and simply-connected, is $X(G\_r)$ trivial?
> 
> 
> 



Character group of Frobenius kernels
It's probably most natural to consider this as a question about the (rational) representations of Frobenius kernels, in the spirit of Jantzen's book *Representations of Algebraic Groups* (Chapter II.3). Given a connected, simply connected semisimple group $G$, the irreducible representations of its Frobenius kernel $G\_r$ are parametrized naturally by $p^r$ of the highest weights for $G$ relative to a fixed maximal torus. Only the zero weight corresponds to a 1-dimensional representation (i.e., character of $G\_r$) because $G$ is semisimple. 


