Let be any commutative unital ring and let be the general linear group scheme on of rank . We study the representation theory of and the symmetric powers , where is the standard right comodule on . We prove a refined Weyl character formula for . There is for any integer a (canonical) refined weight space decomposition where each direct summand is a comodule on . Here is the schematic normalizer of the diagonal torus . We prove a character formula for the direct summands of for any integer . This refined Weyl character formula implies the classical Weyl character formula. As a Corollary we get a refined Weyl character formula for the pull back as a comodule on where is any field. We also calculate explicit examples involving the symmetric powers, symmetric tensors and their duals. The refined weight space decomposition exists in general for group schemes such as and . The study may have applications to the study of groups such as and and quotients where is an arbitrary field (or a Dedekind domain) and is a closed subgroup. The refined weight space decomposition of has a relation with irreducible module over a field of positive characteristic. In an example I prove it recovers the irreducible module .

生成讲解博客的中文版本

生成AI智能校验的中文版本