Good filtrations and strong \(F\)-regularity of the ring of \(U_P\)-invariants (Q1950631): Difference between revisions

Let \(k\) be an algebraically closed field, \(G\) a reductive group over \(k\) with unipotent radical \(U\) and \(S\) a \(G\)-algebra. In a previous paper of the author [Math. Z. 235, 605--623 (2001; Zbl 1034.13007)], he extended the characteristic \(p\) notions strongly \(F\)-regular and \(F\)-pure to the setting of \(G\)-algebras using the \(r\)th Steinberg modules \(St_r\) which are induced modules for the weights \((p^r-1) \rho\) where \(\rho\) is the half sum of positive roots. In particular, \(S\) is \(G\)-strongly \(F\)-regular if for any nonzero homogeneous element \(a \in S^G\), there exists some \(r \geq 1\) such that the \((G,S^{(p^{-r})})\)-linear map \(\text{id}\otimes aF^r: St_r \otimes S^{(p^{-r})} \rightarrow St_r \otimes S\) defined by \(\text{id}\otimes aF^r(x \otimes s)=x \otimes as^{p^r}\) is a split monomorphism and \(S\) is \(G\)-\(F\)-pure if there exists an \(r\) such that \(\text{id}\otimes F^r: St_r \otimes S^{(p^{-r})} \rightarrow St_r \otimes S\) defined by \(\text{id}\otimes F^r(x \otimes s)=x \otimes s^{p^r}\) splits. In Theorem 4.12, he proves that for a finitely generated positively graded Gorenstein \(G\)-algebra \(S\) which is both \(G\)-\(F\)-pure and \(F\)-rational, then \(S\) is \(G\)-strongly \(F\)-regular. One consequence, Corollary 4.14, states that for any finite dimensional \(G\)-module \(V\) such that \(S=\text{Sym}\;V\) has a good filtration as a \(G\)-module, then \(S^U\) is finitely generated and strongly \(F\)-regular. The author then uses some results of \textit{S. Donkin} [Math. Z. 198, 117--125 (1988; Zbl 0627.14013)] to prove Corollary 5.5 which states that under the same assumptions as Corollary 4.14 and for a parabolic subgroup \(P\) of \(G\) with unipotent radical \(U_P\) that \(S^{U_P}\) is a finitely generated strongly \(F\)-regular Gorenstein UFD. He concludes the paper with a discussion of the good locus of a \(G\)-module \(M\) and shows in Theorem 7.11 that if \(S\) is a scheme and \(G\) is a reductive \(S\)-group acting trivially on a Noetherian \(S\)-scheme \(X\) then for a locally free coherent \((G, \mathcal{O}_X)\)-module \(M\) the good locus of Sym \(M\) is Zariski open in \(X\).