\(F\)-rationality of the ring of modular invariants (Q2357076): Difference between revisions

One of the important aspects of invariant theory is, study of ring theoretic properties of invariant subrings under the action of algebraic groups. The author of the paper under review considers \(F\)-rationality of invariant subrings under the action of finite groups on polynomial rings. Here \(F\) stands for Frobenius. Let \(F\) be an algebraically closed field of characteristic \(p>0\), and \(V=F^d\), and \(G\) a finite subgroup of \(\mathrm{GL}(V)\) without pseudo-reflections. Let \(B=\mathrm{sym}(V)\), the symmetric algebra of \(V\), and \(A=B^G\), the ring of invariants. If \(p\) doesn't divide the order of \(G\), then \(A\) is a direct summand subring of \(B\), and is strongly \(F\)-regular [\textit{M. Hashimoto}, ``Equivariant class group. III: Almost principal fiber bundles'', Prperint, \url{arXiv:1503.02133}; \textit{M. Hashimoto} and \textit{Y. Nakajima}, J. Algebra 443, 142--152 (2015; Zbl 1329.13010)]. If \(p\) divides the order of \(G\), it has been proven that \(A\) is not a direct summand subring of \(B\) hence \(A\) is not weakly \(F\)-regular [\textit{A. Broer}, Transform. Groups 10, No. 1, 5--27 (2005; Zbl 1106.13004)]. The author of the paper under review uses the characterization and \textit{G. Kemper}'s result on the depth of the ring of invariants under the action of certain groups of permutations to show that when \(A\) is \(F\)-rational [J. Algebra 245, No. 2, 463--531 (2001; Zbl 1031.13002)]. The author gives example of \(F\)-rational \(A\) for \(p\geq 5\).