Generalized Levi factor actions on the Lie algebra of an algebraic group (Q1372665): Difference between revisions

Let \(G\) be a simple algebraic group over an algebraically closed field \(K\) of characteristic \(p\), and let \(\text{Lie} (G)\) denote the Lie algebra of \(G\). For a fixed maximal torus \(T\) of \(G\), let \(\Phi\) be the root system associated with \(G\) and \(T\). Let \(\Phi^+\) be a given positive root system of \(\Phi\), and let \(\Pi\) be a simple root system of \(\Phi\) determined by \(\Phi^+\). Let \(\alpha_0\) be the largest root in \(\Phi^+\). and let \(\widetilde{\Pi}= \Pi\cup \{-\alpha_0\}\). For a subset \(\widetilde{J}\) of \(\widetilde{\Pi}\), let \(J= \widetilde{J}\cap \Pi\), and let \(\Phi_{\widetilde{J}}\) (resp. \(\Phi_J\)) be the subsystem of \(\widetilde{\Phi}\) generated by \(\widetilde{J}\) (resp. by \(J\)). For each \(\alpha\in \Phi_{\widetilde{J}}\), let \(X(\alpha)= \{x_\alpha(t)\mid t\in K\}\). Let \(\widetilde{L}+ \langle T,X(\alpha)\mid \alpha\in \Phi_{\widetilde{J}} \rangle\) and \(L= \langle T,X(\alpha)\mid \alpha\in \Phi_J\rangle\). Suppose that \(G= (\text{type} (G), \text{char} (K))\) is not of type \((B_n,2)\), \((C_n,2)\), \((F_4,2)\), \((G_2,2)\) or \((G_2,3)\). Then, in this paper, it is proved that as a \(K[\widetilde{L}]\)-module, \(\text{Lie}(G)= \text{Lie}(L) \oplus V\) where \(V\) is a completely reducible \(K[\widetilde{L}]\)-module, and the precise descriptions of \(V\) are given.