On Lie algebra modules which are modules over semisimple group schemes (Q6201284): Difference between revisions

Let \(r\in \mathbb{N}\). Let \(G\) be a semisimple group scheme over \(\text{Spec }R\) of rank \(r\), where \(R\) is a normal integral domain; it is an affine smooth group scheme over \(\text{Spec }R\) whose geometric fibers are semisimple groups over algebraically closed fields which admit maximal tori of dimension \(r\). The group \(G\) is called split if it has a maximal torus isomorphic to \(\mathbb{G}^r_{m,R}\) (in the case \(R=\mathbb{Z}\), then \(\mathbb{G}_{m,R} = \text{Spec }\mathbb{Z}[x^{\pm 1}]\)). If \(R\) is connected, let \(d\in \mathbb{N}\) be the relative dimension of \(G\) over \(\text{Spec }R\). Now let \(p\) be a prime. Given a split semisimple group scheme \(G\) over \(R\) which is a faithfully flat \(\mathbb{Z}_{(p)}\)-algebra, M. Loverro and A. Vasiu classify all finite dimensional representations \(V\) of the fiber \(G_K\) of \(G\) over \(K := \text{Frac}(R)\) with the property that the set of lattices of \(V\) with respect to \(R\) which are \(G\)-modules is as well the set of lattices of \(V\) with respect to \(R\) which are \(\text{Lie}(G)\)-modules. The authors apply this classification to get a general criterion of extensions of homomorphisms between reductive group schemes over \(\text{Spec }K\) to homomorphisms between reductive group schemes over \(\text{Spec }R\). They also show that for a simply connected semisimple group scheme over a reduced \(\mathbb{Q}\)-algebra, the category of its representations is equivalent to the category of representations of its Lie algebra.