F-rationality of the ring of modular invariants

Abstract

Using the description of the Frobenius limit of modules over the ring of invariants under an action of a finite group on a polynomial ring over a field of characteristic $p>0$ developed by Symonds and the author, we give a characterization of the ring of invariants with a positive dual $F$-signature. Combining this result and Kemper's result on depths of the ring of invariants under an action of a permutation group, we give an example of an $F$-rational, but non-$F$-regular ring of invariants under the action of a finite group.