Reductive group schemes, the Greenberg functor, and associated algebraic groups (Q436089): Difference between revisions

For \(\mathbf{G}\) an affine smooth group scheme over an Artinian local ring \(A\) with residue field \(k\) algebraically closed, one can associate to it a linear algebraic group \(G\) over \(k\) such that \(G\) is isomorphic to the \(A\)-valued points of \(\mathbf{G.}\) Under this association, \(G\) is the \(k\)-rational points of the group scheme \(\left( \mathcal{\mathfrak{F}}\mathbf{G}\right) \) given by \(\left( \mathcal{\mathfrak{F}}\mathbf{G}\right) \left( R\right) =\mathbf{G}\left( A\otimes_{W_{m}\left( k\right) }W_{m}\left( R\right) \right) ,\) where \(W_{m}\) is the scheme of truncated Witt vectors, and \(m=0\) if char \(A=0;\) otherwise, char \(A\) is a power of some prime \(p\) and we set\(\;\;m=\left( \log_{p}\text{char}A\right) -1.\) This functor coincides with what is usually called the Greenberg functor. The main result of this paper establishes a connection between certain subgroup schemes of \(\mathbf{G}\) and certain subgroups of \(G\). Suppose that \(\mathbf{G}\) is a reductive group scheme, and that \(\mathbf{T}\) is a maximal torus of \(\mathbf{G.}\) Then the above functor maps \(\mathbf{T}\) to a Cartan subgroup of \(G\); furthermore this is a bijective correspondence between maximal tori and Cartan subgroups. As a consequence, all Cartan subgroups are conjugate in \(G\), providing some insight on the groups \(G\) that arise via the Greenberg functor. As a consequence of the proof of this result, it is shown that the normalizer respects the Greenberg functor, explicitly \(N_{\mathbf{G} }\left( \mathbf{H}\right) \left( k\right) =N_{\mathfrak{F}\mathbf{G} }\left( \mathfrak{F}\mathbf{H}\right) \left( k\right) ,\) provided \(N_{\mathbf{G}}\left( \mathbf{H}\right) \) is representable by a closed smooth subscheme of \(\mathbf{G.}\)