Generalized \(F\)-signature of invariant subrings (Q497709)

Let \(k\) be an algebraically closed field of characteristic \(p>0\), and let \(V\) be a \(d\)-dimensional \(k\)-vector space. Let \(G\) be a finite group of order not divisible by \(p\). Let \(S\) be the symmetric algebra over \(V\), and let \(R=S^G\) be the subring of invariants of \(S\) under the action of \(G\). It was shown in [\textit{K. E. Smith} and \textit{M. Van den Bergh}, Proc. Lond. Math. Soc. (3) 75, No. 1, 32--62 (1997; Zbl 0948.16019)] that \(R\) has finite \(F\)-representation type, that is, there exist finitely generated \(R\)-modules \(M_1,\dots,M_n\) such that, for all integers \(e \geq 1\), one has \(^e R \cong R^{c_{0,e}} \oplus M_1^{c_{1,e}} \oplus \dots \oplus M_n^{c_{n,e}}\). Here, \(^e R\) denotes the module \(R\) via restriction of scalars induced by the \(e\)-th iteration of the Frobenius endomorphism. Since their introduction, modules with finite \(F\)-representation have been studied extensively by several researchers (for example, see [\textit{Y. Yao}, J. Lond. Math. Soc., II. Ser. 72, No. 1, 53--72 (2005; Zbl 1108.13004)]). The limit \(s(R) = \lim_{e \to \infty} c_{0,e}/p^{de}\) is called the \(F\)-signature of \(R\) [\textit{K. Tucker}, Invent. Math. 190, No. 3, 743--765 (2012; Zbl 1271.13012)], and it provides significant information about the singularities of the ring \(R\) (for example, [\textit{I. M. Aberbach} and \textit{G. J. Leuschke}, Math. Res. Lett. 10, No. 1, 51--56 (2003; Zbl 1070.13006)]). In this setup, the \(F\)-signature is equal to \(1/|G|\), and therefore the ring \(R\) is strongly \(F\)-regular. In the present article, the authors study the limits \(s(R,M_i) = \lim_{e \to \infty} c_{i,e}/p^{de}\). They provide a formula for the numbers \(c_{i,e}\) and, in their main theorem, they establish that \(s(R,M_i) = \frac{\text{rank}_R(M_i)}{|G|}\). Since every module \(M_i\) is of the form \(M_i = (S \otimes_k V_i)^G\), for some irreducible \(G\)-representation \(V_i\), they also obtain that \(s(R,M_i) = \frac{\dim_k (V_i)}{|G|}\).